Miracle-dz/UniFAR-FTUs huggingface dataset:
En-route descent trajectory synthesis for air traffic control automation

This paper discusses en-route trajectory synthesis that is key to the Center-TRACON Automation System developed at NASA Ames for air traffic control automation. Based on trajectories produced in the Trajectory Synthesizer (TS) module, computer advisories are generated that help controllers to produce a safe, efficient, and expeditious flow of traffic for the extended terminal area. TS synthesizes trajectories from the initial position to the final position in the en-route area for one aircraft at a time by integrating a set of simplified point-mass equations. Specifically, TS separates the horizontal path from the vertical trajectory. The horizontal path is constructed from specified waypoints using straight lines and constant-radius turns. The vertical trajectory is divided into a series of flight segments. Three types of flight profiles are defined by connecting selected segments in a pre-determined order: fast, nominal and slow. Each profile can produce a certain range of arrival times. In numerical computations, a second-order Runge-Kutta scheme is used for integrating equations of motion. A regula falsi iterative scheme is employed to determine the speed that will meet a specified arrival time. Two flight scenarios are used to illustrate the TS solution procedure.
An Efficient Scheme for Dynamic Data Replication

This paper presents an efficient scheme for dynamic replication of data in distributed environments. The aim of the scheme is to increase system performance by intelligent data placement so as to optimize the message traffic in the network. Research in the recent past has comparatively focussed very little on using replication for increasing performance but has instead been directed more at improving system availability through replication. However, with the advent of mobile or nomadic computing, research in replication needs to change direction-- the underlying assumption of high speed networks no longer hold true. Wireless networks not only have lower bandwidth but are also very expensive to use. In such an environment, it is imperative that data be distributed intelligently to achieve a good system performance in terms of message costs and turnaround time. Besides, with mobility introduced in the system, earlier static schemes for improving performance (e.g., the File Allocation Problem) are no longer applicable. As a first step, we propose a totally distributed dynamic replication scheme, which uses a finite automaton based technique to learn access patterns. This accrued information is then used to predict future access sequences and dynamically reorder-- replicate or delete copies of data in the network, in anticipation of predicted accesses, to reduce network message costs. Being distributed, each node of the network bases its decision to replicate or delete an existing copy solely on local information. Our algorithm is also integrated and corrects some of the drawbacks of earlier theoretical work in this area. Finally, we present some preliminary simulation results which show that our scheme is very promising.
A robust data mining approach for formulation of geotechnical engineering systems

Purpose – The complexity of analysis of geotechnical behavior is due to multivariable dependencies of soil and rock responses. In order to cope with this complex behavior, traditional forms of engineering design solutions are reasonably simplified. Incorporating simplifying assumptions into the development of the traditional models may lead to very large errors. The purpose of this paper is to illustrate capabilities of promising variants of genetic programming (GP), namely linear genetic programming (LGP), gene expression programming (GEP), and multi‐expression programming (MEP) by applying them to the formulation of several complex geotechnical engineering problems.Design/methodology/approach – LGP, GEP, and MEP are new variants of GP that make a clear distinction between the genotype and the phenotype of an individual. Compared with the traditional GP, the LGP, GEP, and MEP techniques are more compatible with computer architectures. This results in a significant speedup in their execution. These method.
Literacy Instruction in the Wake of Common Core State Standards.

LITERACY INSTRUCTION IN THE WAKE OF COMMON CORE STATE STANDARDS by Jennifer Barrett-Mynes As teachers modify their instruction to meet English Language Arts (ELA) Common Core State Standards (CCSS), how do these modifications influence literacy instruction and learning opportunities afforded to students? While the CCSS standardized objectives for literacy instruction, the enacted curriculum is uniquely shaped by teachers and their students (Coburn, 2001; Datnow & Castellano, 2000; Smagorinsky, Lakly, & Johnson 2002). This study describes how two elementary school teachers in one school: (a) perceived the ELA CCSS and their influence on instruction and the enacted curriculum; (b) adapted and aligned literacy instruction to respond to implementation of the CCSS; and (c) created instruction and literacy learning opportunities influenced by the ELA CCSS. To investigate the rich, nested levels of context in which teachers used the ELA CCSS to construct literacy instruction and learning opportunities for children, I applied a sociocultural framework and Engestrom’s third generation Cultural Historical Activity Theory (CHAT) model to create a theory-driven description of how teachers approached CCSS implementation and literacy instruction. Case study and CHAT methodologies were used to address the questions focused on instructional implementation of ELA CCSS and literacy learning. I analyzed data from interviews, observations, and documents through grounded theory’s constant comparative analysis (Charmaz, 2006) to uncover specific themes related to CHAT. Once I identified activities based on my constant comparison analysis, I performed a CHAT analysis on the selected activities (Yamagata-Lynch, 2010). Findings from this study provide information about the implementation of the ELA CCSS in literacy instruction and the enacted literacy curricula. Findings suggest that multiple levels of context influenced the ELA CCSS implementation, including teachers’ perceptions (Coburn, 2001; Maloch & Bomer, 2012). They also suggest that while teachers may teach from a standardized curriculum, the literacy learning opportunities differ in each class (Pacheco, 2010). LITERACY INSTRUCTION IN THE WAKE OF COMMON CORE STATE STANDARDS by Jennifer Barrett-Mynes
Using Web Blogs as a tool to Encourage pre-class Reading, post-class Reflections and Collaboration in Higher Education

This paper reports on the students' experiments of using blogs to encourage themselves to do pre-class reading assignment and reflections after class. The sample in the study included five ESL (English as a Second Language) graduate students in a course of teaching methods, and 90 software engineering students in an undergraduate information technology program. Results indicated that there was a positive attitude towards the use of blogs for pre-class preparation and post-class reflections. However, considering the successful experience, it is important to consider the class size, students' educational level, and the type of reading assignment.
Optimum Release Policies for a Software System with a Scheduled Software Delivery Time

Optimum release policies minimizing the total expected software cost with a scheduled software delivery time are discussed. Such cost considerations enable us to make a release decision as to when to transfer a software system from testing phase to operational phase. The underlying reliability model describing a software error occurrence phenomenon is a software reliability growth model based on a non-homogeneous Poisson process. It is assumed that the penalty cost functions due to delay for a scheduled software delivery time are proportional and exponential to time, respectively. We consider two cases; when the scheduled software delivery time is a constant and when it is a random variable with an arbitrary distribution. Four useful theorems are derived to determine optimum release times of a software system for operational use. Numerical examples are shown to illustrate the results.
Product flow, breadth and complexity of business processes: An empirical study of 15 business processes in three organizations

Describes an empirical study of 15 business processes in three organizations. Business process data were collected in the context of action research projects where the researcher was involved in organizational development activities. Suggests that business processes tend to cut across different departments owing to a contemporary phenomenon ‐ the specialization of knowledge. This leads to the specialization of work with the multiplication of functions and departments in organizations. Also suggests that 70 per cent or more of the product flow through business processes in organizations is made up of information. Discusses organizational implications of these results as regards organizational design and business process redesign focus.
Deepening Understanding of Inquiry Teaching and Learning with E-Portfolios in a Teacher Preparation Program

This paper describes the first stages of a project focusing on the use of preservice-teacher-generated e-Portfolios as a means of documenting and assessing inquiry-based teaching and learning. The project is designed to explore ways in which preservice teacher-created e-Portfolios can be used to (1) document how inquiry lives in practice, and (2) help university instructors and practitioners in the field assess the knowledge, skills, and attributes of preservice teachers who are participating in an inquiry based teacher preparation program.
Object-Oriented Analysis and Design with Applications

I. CONCEPTS. 1. Complexity. The Inherent Complexity of Software. The Structure of Complex Systems. Bringing Order to Chaos. On Designing Complex Systems. Sidebar: Categories of Analysis and Design Methods. 2. The Object Model. The Evolution of the Object Model. Elements of the Object Model. Applying the Object Model. Sidebar: Foundations of the Object Model. 3. Classes and Objects. The Nature of an Object. Relationships Among Objects. The Nature of a Class. Relationships Among Classes. The Interplay of Classes and Objects. On Building Quality Classes and Objects. Sidebar: Invoking a Method. 4. Classification. The Importance of Proper Classification. Identifying Classes and Objects. Key Abstractions and Mechanisms. Sidebar: A Problem of Classification. II. THE METHOD. 5 . The Notation. Elements of the Notation. Class Diagrams. State Transition Diagrams. Object Diagrams. Interaction Diagrams. Module Diagrams. Process Diagrams. Applying the Notation. 6 . The Process. First Principles. The Micro Development Process. The Macro Development Process. 7. Pragmatics. Management and Planning. Staffing. Release Management. Reuse. Quality Assurance and Metrics. Documentation. Tools. Special Topics. The Benefits and Risks of Object-Oriented Development. III. APPLICATIONS. 8. Data Acquisition: Weather Monitoring Station. Analysis. Design. Evolution. Maintenance. Sidebar: Weather Monitorint Station Requirements. 9. Frameworks: Foundation Class Library. Analysis. Design. Evolution. Maintenance. Sidebar: Foundation Class Library Requirements. 10. Client/Server Computing: Inventory Tracking. Analysis. Design. Evolution. Maintenance. Sidebar: Inventory Tracking System Requirements. 11. Artificial Intelligence Cryptanalysis. Analysis. Design. Evolution. Maintenance. Sidebar: Cryptanalysis Requirements. 12. Command and Control Traffic Management. Analysis. Design. Evolution. Maintenance. Sidebar: Traffic Management System Requirements. Afterword. Appendix: Object-Oriented Programming Languages. A.1 Concepts. A.2 Smalltalk. A.3 Object Pascal. A.4 C++. A.5 Common Lisp Object System. A.6 Ada. A.7 Eiffel. A.8 Other Object-Oriented Programming Languages. Notes. Glossary. Classified Bibliography. A. Classification. B. Object-Oriented Analysis. C. Object-Oriented Applications. D. Object-Oriented Architectures. E. Object Oriented Databases. F. Object-Oriented Design. G. Object-Oriented Programming. H. Software Engineering. I. Special References. J. Theory. K. Tools and Environments. Index. 0805353402T04062001
Removing Size as a Determinant of Quality: A Per Capita Approach to Ranking Doctoral Programs in Finance

Rankings of finance doctoral programs generally fall into two categories: a qualitative opinion survey or a quantitative analysis of research productivity. The consistency of these rankings suggests either the best programs have the most productive faculty, or that the university affiliations most often seen in publications are correlated with institutional quality, which biases the rankings towards larger programs. The authors introduce a per capita measure of research output to evaluate finance programs in a context that removes absolute size as a variable. The results indicate that smaller programs in the field are frequently overlooked in traditional rankings.
Mathematical Morphology : A Tool for Automated GIs Data ~ cquisition from Scanned Thematic Maps

Over several years, the demand for digital data has grown as geographical information systems were implemented. Because of the cost of database creation, data acquisition should unquestionably be automated as much as possible. Today, scanning devices produce a huge amount of data that still needs complex processing. This paper proposes an original approach using image processing tools coming from Mathematical Morphology theory to acquire GIs data from scanned thematic maps. These tools are used in order to obtain a segmentation prior to radiometric analysis. To illustrate the methodology, a subset of the Belgian soil map is treated.
Mètodes i tècniques de recerca en els articles de documentació periodística a Espanya (1997-2002)

Es presenta la relacio dels articles sobre documentacio periodistica publicats en revistes i actes de congressos a l'Estat espanyol durant el periode 1997-2002 i una relacio dels que han seguit un proces de recerca cientifica. Es presenten i comenten els resultats de l'analisi de contingut dels articles seleccionats en funcio de diversos parametres: proporcio d'articles de recerca, metodes i tecniques de recerca seguits, autoria, lloc de treball dels autors, tipologia de publicacions i distribucio per anys. Finalment, s'anoten unes conclusions sobre la recerca en documentacio periodistica en el periode estudiat.
Rule-based controller design algorithm for discrete event manufacturing systems

A modern system theory point of view is offered for the design of sequencing controllers for discrete event manufacturing systems, whereby the controller is considered as separate from the workcell. The controller has a rule-based structure with inner loops where no shared-resource conflict resolution is required, and extra control inputs in an outer loop to resolve conflict and remove deadlock (where needed). The controller design is based on the required task sequence and the available resources; it is described by linear (i.e. matrix) and nonlinear logical equations. The controller-workcell interaction expressed both in qualitative and quantitative terms supports a rigorous analysis of conflicts and deadlock. Three methods for conflict and deadlock resolution related to current work are efficiently incorporated in the general design framework. The design algorithm naturally accommodates a performance analysis in terms of the (R,max,+) representation as a consequence of the link established between that approach and the rule-based controller equations. Compatibility with other analysis/design techniques is briefly addressed.
Understanding business intelligence system continuance intention

There is currently a trend for companies to invest in business intelligence (BI) systems to enhance their management decision-making capability. Even though a great deal of attention has been paid to the practical decision-making benefits of BI system adoption, there is still a lack of research to investigate factors that affect users’ intention to continue using BI systems after they had already adopted the systems. Therefore, the aim of the study is to examine post-adoption cognitive beliefs and factors influencing users’ intention to continue using BI systems. This study compares three theoretical models, namely, the Expectation-Confirmation Model of IS Continuance (ECM), the Technology Acceptance Model (TAM), and a synthesized model combining ECM and TAM to examine which model can best explain users’ intentions to continue using BI systems. Survey data collected from 330 respondents in the Taiwanese electronics industry were examined using structural equation modeling. Our findings indicate that the synthesized model was the most parsimonious and had a greater explanatory power than the TAM and ECM models. The results suggest that users’ continuance intention is determined by perceived usefulness and satisfaction. Several implications and limitations of this study are discussed.
Antimalarial Drug Discovery: Structural Insights

Ondanks rapporten over de eliminatie van malaria uit verschillende regio’s, blijft de ziekte een vernietigende invloed hebben op de wereld. Jaarlijks worden er nog steeds miljoenen mensen geinfecteerd en sterven er honderdduizenden mensen aan de ziekte. Daarnaast belemmert het de ontwikkeling van de aangedane, endemische gebieden. De opkomende fenotypische- en klinische resistentie tegen de beschikbare medicatie zorgt ervoor dat een toevoer van nieuwe medicijnen hard nodig is. De wedloop tegen resistentie vraagt om grote inzet op versnelling van de ontdekking en validatie van nieuwe geneesmiddeltargets, parallel aan de ontwikkeling van nieuwe geneesmiddelen, afgifte-strategieen en het voorkomen van resistentie. Dit proefschrift is primair gericht op het leveren van structurele informatie voor de identificatie van geneesmiddeltargets en het ontwikkelen van validatiemethodiek. Wij bieden een vernieuwende methode aan voor specifieke modulatie van eiwitactiviteit: de Protein Interference Assay (PIA). Deze techniek maakt gebruik van structurele informatie over een eiwitsysteem om functionele mutanten te genereren. De mutanten zijn in staat om zich samen te voegen met hun wild-type tegenhangers, waardoor de eiwitactiviteit verandert. Dit creeert de mogelijkheid om uiterst specifiek te interfereren met de eiwitactiviteit in vitro. Bovendien is er de mogelijkheid tot in(ex) vivo interferentie, door deze mutanten tot overexpressie te brengen in Plasmodium parasieten, gevolgd door fenotype-analyse en targetvalidatie. Omdat de target-eiwitten worden onderzocht middels hun mutagene kopieen, worden er een aantal algemene uitdagingen omzeild zoals de peperdure ontwikkeling van een enzymremmer, onbetrouwbare genetische manipulatietechnieken, of dubbelzinnige in vivo resultaten vanwege slecht transport, chemische afbraak van geneesmiddelen of localisatieproblemen. Voorts wordt er structureel onderzoek gerapporteerd over verscheidene veelbelovende geneesmiddeltargets voor Plasmodium falciparum.
Video-rate passive millimeter-wave imager

Passive millimeter-wave imager (PMI) technology provides a powerful sensor capability for military and commercial imaging applications in adverse weather. Recent advances in high-frequency antennas, MMW electronics, and high-speed signal processing, have brought real-time, high-contrast, high-resolution, wide-field of view PMI into the realm of technological feasibility. However, the prohibitive cost and volume of previous PMI architectures have proved impractical for all but a few scientific implementations. This situation has precluded PMI usage in several applications with demonstrable benefits, such as aircraft landing, and radio-silent airborne surveillance/battle damage assessment. A new PMI architecture has been demonstrated with a high frame rate (30 Hz) with order of magnitude reductions in cost and volume relative to previous designs. Highlights of this new PMI architecture will be presented along with examples of video-rate imaging data representing its current capability for airborne imaging.
Real-Time Localization of Planar Targets on Power-Constrained Devices

In this thesis we present a method for detecting planar targets in real-time on powerconstrained, or low-powered, hand-held devices such as mobile phones. We adopt the feature recognition (also referred to as feature matching) approach and employ fast-to-compute local feature descriptors to establish point correspondences. To obtain a satisfactory localization accuracy, most local feature descriptors seek a transformation of the input intensity patch that is invariant to various geometric and photometric deformations. Generally, such transformations are computationally intensive, hence are not ideal for real-time applications on limited hardware platforms. On the other hand, descriptors which are fast to compute are typically limited in their ability to provide invariance to a vast range of deformations. To address these shortcomings, we have developed a learning-based approach which can be applied to any local feature descriptor to increase the system’s robustness to both affine and perspective deformations. The motivation behind applying a learning-based approach is to transfer as much of the computational burden (as possible) onto an offline training phase, allowing a reduction in cost during online matching. The approach comprises of identifying keypoints which remain stable under artificially induced perspective transformations, extracting the corresponding feature vectors, and finally aggregating the feature vectors of coincident keypoints to obtain the final descriptors. We strictly focus on objects which are planar, thus allowing us to synthesize images of the object in order to capture the appearance of keypoint patches under several perspectives.
Distributed consensus and hard real-time systems

The first part gives an overview of the literature on Distributed Consensus, focusing on deterministic algorithms that tolerate benign failures. These algorithms are intended for lock-step synchronous systems, which have easy timing characteristics. The second part shows that algorithms presented in the first part, can be used in practical hard real-time systems. This is made possible by a simulation algorithm. We determine under what conditions a simulation is possible, and what its efficiency is.
An automated small-signal frequency-domain analyzer for general periodic-operating systems as obtained via time-domain simulation

An accurate small-signal frequency-domain analyzer is constructed and automated through the use of time-domain simulation. Since the algorithm is based on computer time-domain simulation, it can handle arbitrary PWM and resonant-converter topology, any mode of operation, and arbitrary control scheme. The effect of parasitic elements on the small-signal frequency response can also be examined. <<ETX>>
Strategies used by students to compare two data sets

One of the common tasks of inferential statistics is to compare two data sets. Long before formal statistical procedures, however, students can be encouraged to make comparisons between data sets and therefore build up intuitive statistical reasoning. Such tasks also give meaning to the data collection students may do. This study describes the answers given by beginning university students to tasks involving comparing data sets in graphical form, originally designed for students between Grades 3 to 9. The results show that whereas all the students had successfully completed either pre-tertiary mathematics or a bridging mathematics course many had similar difficulties to students of a younger age. In particular, they did not use a measure of centre or proportional reasoning when appropriate.