• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 25
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 42
  • 11
  • 10
  • 9
  • 8
  • 7
  • 7
  • 7
  • 6
  • 6
  • 5
  • 5
  • 5
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Higher-Order Path Orders Based on Computability

KUSAKARI, Keiichirou 01 February 2004 (has links)
No description available.
12

A Higher-Order Knuth-Bendix Procedure and Its Applications

CHIBA, Yuki, KUSAKARI, Keiichirou 01 April 2007 (has links)
No description available.
13

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Technique

SAKAI, Masahiko, KUSAKARI, Keiichirou 01 February 2009 (has links)
No description available.
14

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

KUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki 12 1900 (has links)
No description available.
15

Junior High School Students Present Works in New Theme-type of Composition - Regard Multi-type Composition of A Certain Topic as the Example

Kang, Shun-tien 19 July 2010 (has links)
I divided this new type of composition, multi-type composition of a certain topic, into five categories, and the composition themes were designed in person by me; I also put them into practice in my teaching procedure in the junior high school composition class. After finishing collecting student works, I spent very long time classifying and commenting on them, and finally found that students had quite excellent performing in two respects, one is confirming the main ideas of the composition themes and how students chose their composition materials is the other. In this thesis I shall present the result of my study completely, including my designed composition themes, the teaching procedures of every theme, student works and given comments of those works.
16

A Study Focused on Rearranging the Dispatching Rules by Simulation Analysis to Improve the Performance of Batch-Typed Flowshop Manufacturing Systems

Pan, Yu-Sheng 10 August 2011 (has links)
In most of the manufacturing operations, production management staffs usually empirical rules or pilot run experiment results to decide production scheduling. However, the former methodology could go with high risk and uncertainty; the latter might partially verify some schedules and products due to the restricted manufacturing resources, and could easily cause delivery delay. This research performed a design of experimentation by computer simulation tool to develop a micro resistance manufacturing process model and compared the performance measurements among different dispatching rules so as to find the process bottleneck. Meanwhile, this research implemented the TOC (Theory of Constraints) theory to improve the manufacturing process and studied the efficiency of the improved process. This experiment took five performance measurements: product throughout, mean flowing time, mean tardiness time, mean queued job quantity and resources utilization in order to validate the results of the various dispatching rules and its performance simulating the real production process and further expects this model to become a reference scheduling model for batch-typed manufacturing processes. Additional production factors are also included into our experiments. For example, the proportion of product types produced, production timings of orders, manufacturing equipments operation time, numbers of manufacturing equipment and order delivery due date. The experiment results exhibit multi-type products of batch-typed flow shop manufacturing could use different dispatching rules based on product requirements to achieve production optimization and output maximization. TOC and adjustments of bottleneck machines can alleviate manufacturing equipment loading and reduce job queue quantity.
17

光学式マイクロ三軸触覚センサの試作

大岡, 昌博, OHKA, Masahiro, 東岡, 制, HIGASHIOKA, Isamu, 壁下, 寿登, KABESHITA, Hisanori, 三矢, 保永, MITSUYA, Yasunaga 10 1900 (has links)
No description available.
18

Guiding Play: Preschool Teachers' Facilitation of Gender-Typed and Gender Neutral Activities with Boys, Girls, and Mixed-Sex Groups

January 2014 (has links)
abstract: Preschool teachers have the opportunity to facilitate children's play with a variety of classroom activities. Preschool activities can be categorized as masculine, feminine, and gender-neutral based on children's preferences. Understanding how and why teachers facilitate children's play with feminine, masculine, and gender-neutral activities is important because children's engagement in gender typed activities has been linked to cognitive development. The current study extends previous and outdated research on teachers' engagement in gender-typed classroom activities by using a teacher-focal observational coding system and survey data to assess the frequency at which, with whom, and why teachers facilitate feminine, masculine, and gender-neutral activities. Results reveal teachers facilitate gender-neutral and masculine activities more frequently than feminine activities. However, facilitation of these activities is qualified by with whom the teacher interacts and the classroom context. During free play, teachers facilitate gender-typed activities in stereotypic ways, facilitating masculine activities with boys more than with girls and feminine activities with girls more than with boys. Although, during structured settings, teachers do not facilitate masculine and feminine activities at different frequencies. Finally, in both free play and structured settings, teachers' gender attitudes do not seem to be strong predictors of their facilitation of gender-typed and gender-neutral activities with the exception of teachers' facilitation of feminine activities during structured settings. The present findings address important issues in educational and developmental research by investigating teachers' gendered classroom practices. / Dissertation/Thesis / Masters Thesis Family and Human Development 2014
19

Sex-Typed Occupational Aspiration of College Students

Hafer, Myra Wyatt 05 1900 (has links)
This study examines occupational aspiration and choice of traditional first-time college students utilizing longitudinal data from the Cooperative Institutional Research Program (CIRP). Focus is given to beliefs about the importance of family and money in relation to selection of an occupation that is classified as sex-typed. Change from one occupational category to another is also considered. The dissonance between students' beliefs about the importance of family and money as associated with their sex-typed occupational choice is explored. Understanding students' occupational plans that subsequently determine future prestige, wealth, and status is vital to higher educational professionals who facilitate students in their career selection and major. Therefore, environmental factors of satisfaction with career counseling and academic advising are examined. The U.S. Census Equal Employment Opportunity (EEO) data is applied in the classification of sex-typed occupations. Race and ethnicity is investigated to determine if the same gender patterns exist among cultural groups with regards to their occupational selection. The results indicate that students' occupational aspirations were influenced by their belief regarding the importance of family or money. In addition, their beliefs regarding family and money changed after four years of college with family increasing in importance. Strong beliefs that were, either concordant or discordant with relation to students' gender and occupational choice predicted change after four years of college. Also, race and ethnicity showed some relation to sex-typed occupational aspirations of students. Being Hispanic predicted female sex-typed occupations, while being Asian predicted male sex-typed occupations. However, the results of this study may have been compromised by the extremely skewed representation of an elitist student sample. Thus, future research that includes a more diverse student sample (race/ethnicity, social class, and geographical location) was recommended for validation of this study's findings.
20

TYPED VS UNTYPED PROGRAMMING LANGUAGES

Bni, Ouail, Matusiak, Artur Kamil January 2022 (has links)
TypeScript (TS) has been growing in popularity since its release in October 2012. It is beingadopted by many tech companies who specialize in web development. However, migrating old JSprojects to TS can be challenging and time consuming which can prove problematic due to limitedtime at the developers’ disposal.The aim of this study is to find out what the benefits of using TS over JS are, and their relationto Software Sustainability. By developing a migration tool that helps with automating the migrationprocess we investigate if such a tool would bring benefits to Axis Communications AB; especially,their web developers who work with JS and TS.After the development of the artifact, a focus group consisting of six experienced web developersand one tester was invited to a workshop in order to evaluate it. The workshop consisted of threeparts: Five open questions, a demo presentation of the artifact, and an artifact evaluation basedon the system dimensions: goal, environment, structure, activity, and evolution, by using the fivepoints Likert scale.Results from the workshop allowed us to understand better the needs and the challenges faced byAxis developers during software maintenance. Furthermore, the results indicated that the artifactnot only helps with improvements in terms of code maintenance but also indirectly improves codegreenability which in itself lowers CO2 emissions as a result.Migrating JS to TS improves some aspects of code maintenance and maintainability, and ourartifact helps with the automation of that migration process. With JavaScript, companies have tobalance sustainability with greenability. Fortunately, by adding green maintenance practices andusing TypeScript it is easier to keep that stability.

Page generated in 0.0397 seconds