Miracle-dz/UniFAR-FTUs huggingface dataset:
Swivel Seating in Large Lecture Theaters and Its Impact on Student Discussions and Learning

Well-designed university buildings and physical environments have a documented positive impact on student participation, engagement, and feelings of support and belonging. These factors are known to improve learning; however, it is hard to document the direct impact architecture has on student learning outcomes. Information on how specific design choices impact student learning would be tremendously beneficial to the development of new projects, and outcome data from prior remodeling projects could be used to inform the myriad choices architects and universities must make for new designs. This paper compares two different designs of remodeled, large lecture-theater designs: one with traditional tiered rows and one with swivel seating to facilitate face-to-face discussions during lectures and the impact these designs had on student learning. Both highand low-performing students appear to have benefited from the swivel-seat discussions by the end of the semester, with potentially a larger benefit for stronger students.
Redetermination of a-ammonio-a-methylpropionoate

# 2002 International Union of Crystallography Printed in Great Britain ± all rights reserved The redetermined structure of the title compound, C4H9NO2, comprises a simple amino acid derivative arranged in an extensive hydrogen-bonded network, with the three hydrogen-bond donor elements (NÐH) associating with the two hydrogen-bond acceptor elements (carboxylate O atoms). The addition of one CÐH O close contact results in both carboxylate O atoms being involved in three-centre hydrogenbonding associations.
Vingeragnosie in de gezonde populatie in relatie met links-rechts oriëntatie en lichaamslokalisatie

4 Inleiding 5 Methode 8 Participanten 8 Procedure 8 Meetinstrumenten 9 Statische analyse 11 Resultaten 13 Vingergnosis 13 Relatie met links rechts orientatie en lichaamslokalisatie 14 Discussie 17 Referenties 20 Appendix 1 22 Appendix 2 23 Appendix 3 25 Appendix 4 31
Measuring Ripple Effect on Software Maintenance

The Halstead and McCabe metrics give us information about the complexity of individual modules but not about modules interacting with each other. The ripple effect metric relates directly to the maintainer's task, if a change is made in one part of a system what is the likelihood of this causing a knock-on effect in a different part of the system via parameter passing or global variables? This paper gives an introduction to software maintenance models, the part that impact analysis plays within these models and a description of the ripple effect measure. Yau and Collofello's ripple effect measure seems to be a promising approach, but can be prohibitively expensive to compute. We have an approximation which appears to be acceptably accurate.
Network representation of the game of life

The Game of Life (Life) is one of the most famous cellular automata. The main purpose of this article is to present a network representation of Life as an application of the approach proposed in our previous papers. This network representation has made it possible to investigate Life using a network theory. Some well-known Life patterns are illustrated by using the corresponding clustered networks. The visualization of Life’s rest state reveals the underlying tension as a complex network. The typical network parameters show the characteristics of Life as a Wolfram’s class IV rule. In particular, the in -degree distribution of the derived network from a Life’s rest state shows a scale-free nature, which could be related to the evidence of self-organized criticality .
Timing tasks-a concept to reduce operator's workload in complex missions

Distribution of tasks among different operational phases of complex human-machine systems is proposed as a means to balance operator's workload over the operation cycle. The objective of this approach is to enable novice users to bring forward the execution of predictable tasks. This approach is motivated by the observation that expert user can indeed anticipate a situation so as to bring forward tasks. An analysis of tasks in complex environments such as power plants and flight decks is presented and prerequisites for the approach of task timing are identified. Expert systems are described as one possible way of providing novice users with the experienced user's knowledge required for executing tasks in advance. As an application example, task analysis of the approach phase of flights in commercial aviation is outlined. An expert system is introduced that supports route planning tasks in an earlier flight phase in which more mental resources are available than in the high-work-load approach phase.
Kamenné suroviny předneolitického osídlení v jižních Čechách

Surovinove spektrum jihoceských předneolitických lokalit je neobycejně pestre diky využivani lokalnich neobvyklých materialů. Z nich je třeba zdůraznit křemicite zvětraliny serpentinitů a dalsich metamorfovaných hornin (opaly, chalcedony, plazmy, siliciofity) a mineraly pegmatitů (křisťal, růženin, citrin, zahněda). Byly rovněž stipany lokalni křemence typu Lipnice, zřejmě jen ojediněle vltaviny, unikatni je využivani kyselých žlných subvulkanitů, nepodařilo se urcit provenienci vrstevnatých rohovců typu Putim. Z importovaných surovin sehraly nejvýznamnějsi roli silicity bavorske jury, ktere pochazeji hlavně z izolovaných reliktů u Pasova (ortenburska jura, typ Flintsbach), deskovitý rohovec (plattensilex)z Franske Alby, eraticke silicity ze sedimentů kontinentalniho zaledněni s. Cech nebo Německa, rohovec typu Ceský kras, křemence Mostecka, radiolarity, ojediněle rohovce typu Krumlovský les, obsidian, radiolarit typu Szentgal, silicity krakovsko-censtochovske jury,cokoladový silicit.
Internacionalização dos Programas de Pós-Graduação Stricto Sensu em Administração no Brasil

A teoria da internacionalizacao e muito aplicada a empresas, entretanto e possivel emprega-la tambem em outras areas, como a de ensino. Com o crescimento da competitividade, as universidades precisam ampliar seu campo de atuacao, e a internacionalizacao pode ser uma importante estrategia para auxilia-las nesta tarefa. Enfocando os programas de pos-graduacao stricto sensu em Administracao avaliados no trienio 2010-12 com notas 6 e 7 pela CAPES - os unicos considerados com elevado grau de internacionalizacao - a presente pesquisa verifica em que medida o grau de internacionalizacao desses programas reflete seu desempenho geral. O metodo utilizado e a de metodos multiplos, sendo que, para a construcao do banco de dados, foram extraidas informacoes do site da CAPES e de curriculos Lattes . Verificou-se que nao ha uma padronizacao na maneira como os programas informam suas acoes de internacionalizacao, e que nao ha um elevado alcance de cumprimento de todos os indicadores de internacionalizacao propostos pela CAPES. No total, os quatro programas alcancaram apenas 10 dos 14 indicadores propostos pela CAPES, o que corresponde a 71,5% dos indicadores.
A Mashup of Techniques to Create Reference Architectures

Abstract : A reference architecture is a complex and high-risk artifact. It is essential to the successful definition and management of a set of architectures that share common attributes and assets. You simply cannot afford to get it wrong, but there are few techniques that have been specifically aimed at defining reference architectures. We have developed a mashup of existing techniques that supports an architecture team in organizing the inputs required to create a robust reference architecture. This mashup takes advantage of several proven, widely used architecture methods. This approach allows the architecture-definition team to incrementally define the appropriate abstractions and patterns and to organize the information so that it is accessible and actionable. The resulting technique has been applied to a large development effort aimed at creating a family of embedded computing architectures and applications for the DoD. The mashup is proving to be effective at focusing the team and giving them practical and proven tools for coordinating their work and making meaningful progress.
Remote Repair of OS State Using Backdoors

Backdoors is a novel architectural approach that enables remote monitoring and recovery/repair of the software state of a system without using its processors or relying on its OS resources. We have implemented a Backdoors prototype in the FreeBSD kernel using Myrinet NICs for remote access to the target machine. In a previous paper we have shown how Backdoors can be used for recovery of useful OS and application state from a failed system. In this paper, we describe how a Backdoors architecture can be used to detect and repair damage to the OS state of a computer system. We present two case studies of remote repair of an OS subject to resource depletion (fork bomb and memory hog) to the point where it cannot perform useful work and local repair is impossible. We show that our prototype detects OS resource exhaustion efficiently and it successfully recovers the affected machine.
Speaker independent isolated word recognition

The work presented in this thesis concerns the recognition of isolated words using a pattern matching approach. In such a system, an unknown speech utterance, which is to be identified, is transformed into a pattern of characteristic features. These features are then compared with a set of pre-stored reference patterns that were generated from the vocabulary words. The unknown word is identified as that vocabulary word for which the reference pattern gives the best match. One of the major difficul ties in the pattern comparison process is that speech patterns, obtained from the same word, exhibit non-linear temporal fluctuations and thus a high degree of redundancy. The initial part of this thesis considers various dynamic time warping techniques used for normalizing the temporal differences between speech patterns. Redundancy removal methods are also considered, and their effect on the recognition accuracy is assessed. Although the use of dynamic time warping algorithms provide considerable improvement in the accuracy of isolated word recognition schemes, the performance is ultimately limited by their poor ability to discriminate between acoustically similar words. Methods for enhancing the identification rate among acoustically similar words, by using common pattern features for similar sounding regions, are investigated. Pattern matching based, speaker independent systems, can only operate with a high recognition rate, by using multiple reference patterns for each of the words included in the vocabulary. These patterns are obtained from the utterances of a group of speakers. The use of multiple reference patterns, not only leads to a large increase in the memory requirements of the recognizer, but also an increase in the computational load. A recognition system is proposed in this thesis, which overcomes these difficulties by (i) employing vector quantization techniques to reduce the storage of reference patterns, and (ii) eliminating the need for dynamic time warping which reduces the computational complexity of the system. Finally, a method of identifying the acoustic structure of an utterance in terms of voiced, unvoiced, and silence segments by using fuzzy set theory is proposed. The acoustic structure is then employed to enhance the recognition accuracy of a conventional isolated word recognizer.
Implementing Total Quality Leadership in a Naval Computer and Telecommunications Activity

Abstract : The way that Total Quality Leadership (TQL) is implemented is unique to each command implementing it because it must be tailored to the command. However, some types of problems and pitfalls are more common than others. This thesis presents a case study of the implementation of TQL at one Naval Computer and Telecommunications Activity based on personal interview and command documentation. The implementation of TQL at this command is compared with a change process modal and analyzed against it. Recommendations for corrections and alternative courses of action are provided.
Mismatch: Form-Function Incongruity and the Architecture of Grammar

Linguistic mismatch phenomena involve semiotic functions that attach to forms in defiance of grammatical design features. Noun phrases, when used as predicates, are one example. How do predicate nominals correspond to our theories of what nouns mean? How do such phenomena challenge traditional conceptions of grammar? How do competing theories of the syntax-semantics interface stand up when confronted with mismatch phenomena? "Mismatch" addresses these questions through the efforts of some of the most original thinkers in semantic and semantic theory, exploring a wide variety of mismatch phenomena in a broad sampling of languages.
Reconstruction volumétrique par l'algorithme du flot maximum dans un graphe

We present a passive 3D reconstruction technique based on the maximum-fiow algorithm. Starting with a set of calibrated images, we globally search for the most probable 3D model given the photoconsistency constraint — i.e., the projected color of any point in the scene is coherent with the lighting model and the spatial continuity constraint. This search is done radially from the origin of the reconstruction volume; therefore we impose a topology constraint on the objects that can be reconstructed. Occlusion is managed iteratively: we initially assume that there is no occlusion and we reflue the visibility information based on the flrst solutions. Our method is fast and robust when dealing with simple objects, even in difficult conditions.
Une infrastructure flexible de collecte et de traitement de données d'un réseau de capteurs urbain mutualisé. (A flexible gateway receiver architecture for the urban sensor networks)

Dans les reseaux de capteurs urbains, les nœuds emettent des signaux en utilisant plusieurs protocoles de communication qui coexistent. Ces protocoles etant en evolution permanente, une approche orientee radio logicielle semble etre la meilleure maniere d’integrer tous les protocoles sur la passerelle collectant les donnees. Tous les signaux sont donc numerises en une fois. La grande plage dynamique des signaux recus est alors le principal probleme : ceux-ci peuvent etre recus avec une puissance tres variable selon les conditions de propagation. Dans le cas d’une reception simultanee, le Convertisseur Analogique-Numerique (CAN) doit etre capable d’absorber une telle dynamique. Une premiere etude est menee afin d’etablir les caracteristiques requises du CAN sur une passerelle d’un tel reseau de capteurs. La resolution minimale de 21 bits obtenue s’averant trop importante pour etre atteinte au vu de l’etat de l’art actuel, deux approches differentes sont explorees pour reduire la plage dynamique des signaux avant la numerisation. La premiere approche s’appuie sur la technique du companding. Des lois de compression connues sont explorees afin d’etudier leur viabilite dans le cas de la numerisation de signaux multiples, et deux nouvelles implementations sont proposees pour la plus performante d’entre elles. La deuxieme technique proposee consiste en une nouvelle architecture de reception utilisant deux voies de reception. La premiere d’entre elles est dediee au signal le plus fort sur la bande : celui-ci est demodule et sa frequence d’emission est mesuree. A partir de cette mesure, la seconde branche est reconfiguree de maniere a attenuer ce signal fort, en reduisant ainsi la plage dynamique. Les autres signaux sont ensuite numerises sur cette branche avec une resolution du CAN reduite. Cette deuxieme approche semblant plus prometteuse, elle est testee en experimentation. Sa viabilite est demontree avec des scenarios de reception de signaux predefinis representant les pires cas possibles.
NATURAL LANGUAGE PARSERS A "Course in Cooking

There are numerous technical reports about particular parsers and each conference on computational linguistics adds a few more to the list. It is not our aim to survey this huge variety of existing implementations. What we want to achieve is a basic understanding of the essentials and to provide guidance for evaluating existing parsers as well as for putting together new ones. For that purpose we have to take apart the known algorithms, identify the issues that arise in any parser development, and compare the alternative solutions that exist for each identified task. Metaphorically speaking, this paper should be read like a cookbook, and the reader is encouraged to recombine the various ingredients in order to "cook" a new parser.
Irish sign language : a cognitive linguistic account

1. Introduction 2. What is a signed language? 3. The Social Context 4. Irish Sign Language and other signed languages 5. Phonetics and Phonology 6. Morphology 7. The ISL lexicon 8. Syntax 9. Semantics 10. Discourse 11. Towards a Cognitive Account of Signed Languages 12. Conclusion.
Socio-Technical Pattern Language Proposal

We are exploring and developing a socio-technical Pattern Languages, associated tools and methodologies to support their use in software design, and developing software components that can be used to develop applications based on the Pattern Language. Although we see many uses for such a language, our initial focus is on providing support throughout the software devopment process including inventing new applications, requirements definition, design, project management,coding, testing, documentation, maintenance, and even sales and marketing. We focus initially in the socio-technical domain partly because it matches our own previous research and experience but mainly because we feel this particular domain is timely; customer demand is high; considerable knowledge relevant to designing such systems exist, but that knowledge does not yet exist in a form that is useful and useable for developers.
DCFI: Control Flow Integrity for Modern Windows Applications

Author(s): Hawkins, Byron | Advisor(s): Demsky, Brian | Abstract: Control flow integrity or CFI has emerged as an important technique forpreventing attacks on software. Previous approaches relied on staticanalysis and thus largely target static binaries and are limited in howtightly they can constrain a program's runtime behavior. Unfortunately,modern Windows applications make extensive use of dynamically generatedcode. We introduce a new dynamic analysis based approach in DCFI tocontrol flow integrity that precisely learns a program's behavior bymonitoring previous executions. DCFI is the first approach todemonstrate CFI in the presence of dynamic code generation and/orself-modifying code and is immune to recent variations on ROP attacksthat thwart previous CFI approaches. DCFI underapproximates the legalexecutions of software applications and thus can potentially buildtighter constraints than static approaches. As DCFI's knowledge of aprogram becomes more complete, it tightens its constraints on aprogram's execution, making successful attacks progressively moredifficult.We have implemented DCFI in DynamoRIO. Our experiences using DCFIindicate that it can protect modern desktop applications with dynamiccode generation engines including the latest versions of Microsoft Word,Microsoft Excel, Microsoft PowerPoint, Microsoft Outlook, Google Chrome,and Adobe Acrobat. Experiments also show that DCFI effectively detectsknown exploits.
Digital Media Processing: DSP Algorithms Using C

Multimedia processing demands efficient programming in order to optimize functionality. Data, image, audio, and video processing, some or all of which are present in all electronic devices today, are complex programming environments. Optimized algorithms (step-by-step directions) are difficult to create but can make all the difference when developing a new application.This book discusses the most current algorithms available that will maximize your programming keeping in mind the memory and real-time constraints of the architecture with which you are working. A wide range of algorithms is covered detailing basic and advanced multimedia implementations, along with, cryptography, compression, and data error correction. The general implementation concepts can be integrated into many architectures that you find yourself working with on a specific project. Analog Devices' BlackFin technology is used for examples throughout the book. *Discusses how to decrease algorithm development times to streamline your programming*Covers all the latest algorithms needed for contrained systems*Includes case studies on WiMAX, GPS, and portable media players
Multidimensional Travel Decision-Making: Descriptive Behavioural Theory and Agent-Based Models

Abstract Purpose This chapter explores a descriptive theory of multidimensional travel behaviour, estimation of quantitative models, and demonstration in an agent-based microsimulation. Theory A descriptive theory on multidimensional travel behaviour is conceptualised. It theorizes multidimensional knowledge updating, search start/stopping criteria, and search/decision heuristics. These components are formulated or empirically modelled and integrated in a unified and coherent approach. Findings The theory is supported by empirical observations and the derived quantitative models are tested by an agent-based simulation on a demonstration network. Originality and value Based on artificially intelligent agents, learning and search theory, and bounded rationality, this chapter makes an effort to embed a sound theoretical foundation for the computational process approach and agent-based microsimulations. A pertinent new theory is proposed with experimental observations and estimations to demonstrate agents with systematic deviations from the rationality paradigm. Procedural and multidimensional decision-making are modelled. The numerical experiment highlights the capabilities of the proposed theory in estimating rich behavioural dynamics.
A Hedonic Approach to Estimating Software Cost Using Ordinary Least Squares Regression and Nominal Attribute Variables

Abstract : Software spending is increasing within the DoD, NASA, and other technologically advanced organizations, with significant effects on program budgets. Cost estimators must have the best tools available. However, many current models are problematic due to inaccuracy and unavailability of the input parameters, the technical expertise and expense required to operate them, and the difficulty in explaining their outputs. Two databases were analyzed: 60 NASA/JPL software projects and 116 projects from the International Software Benchmarking and Standards Group database. Models developed using ordinary least squares regression employed parameters representing the presence of project characteristics. The models' predictive characteristics were compared based on the source database, project size, model transformations, and the variable combinations. COCOMO 81 estimates were calculated for comparison for the NASA/JPL projects. Few of the models met the mean absolute percentage error (MAPE) standard of 25 percent or less; however, managers may find mean error (ME) to be a better metric for evaluating software cost models. ME results for the NASA/JPL projects suggest that managers may prefer the simpler categorical models to the more complex models for smaller programs. The best of these models had 223.4 person-months, or 86.3 percent less error on average than the COCOMO based regression.