Miracle-dz/UniFAR-FTUs huggingface dataset:
Extension of Generalized Modeling and Application to Problems from Cell Biology

Mathematical modeling is an important tool in improving the understanding of complex biological processes. However, mathematical models are often faced with challenges that arise due to the limited knowledge of the underlying biological processes and the high number of parameters for which exact values are unknown. The method of generalized modeling is an alternative modeling approach that aims to address these challenges by extracting information about stability and bifurcations of classes of models while making only minimal assumptions on the specific functional forms of the model. This is achieved by a direct parameterization of the Jacobian in the steady state, introducing a set of generalized parameters which have a biological interpretation. In this thesis, the method of generalized modeling is extended and applied to different problems from cell biology. In the first part, we extend the method to include also the higher derivatives at the steady state. This allows an analysis of the normal form of bifurcations and thereby a more specific description of the nearby dynamics. In models of gene-regulatory networks, it is shown that the extended method can be applied to better characterize oscillatory systems and to detect bistable dynamics. In the second part, we investigate mathematical models of bone remodeling, a process that renews the human skeleton constantly. We investigate the connection between structural properties of mathematical models and the stability of steady states in different models. We find that the dynamical system operates from a stable steady state that is situated in the vicinity of bifurcations where stability can be lost, potentially leading to diseases of bone. In the third part of this thesis, models of the MAPK signal transduction pathway are analyzed. Since mathematical models for this system include a high number of parameters, statistical methods are employed to analyze stability and bifurcations. Thereby, the parameters with a strong influence on the stability of steady states are identified. By an analysis of the bifurcation structure of the MAPK cascade, it is found that a combination of multiple layers in a cascade-like way allows for additional types of dynamic behavior such as oscillations and chaos. In summary, this thesis shows that generalized modeling is a fruitful alternative modeling approach for various types of systems in cell biology.
Symbolic Optimization and Analysis of Numerical Dynamics Solutions

Abstract : A symbolic interpreter for the optimization and analysis of numerical dynamics solutions is presented. The interpreter is intended to address the order of magnitude performance disconnect between the numerical environments which support most general purpose dynamics implementations and the speed of heavily customized domain specific tools and/or symbolic implementations. Unlike other symbolic environments, the objective of this implementation is to be integrated and interchangeable within procedural numerical source code thereby enabling an auto-code feature within any software with only minor cosmetic modifications. Specifically, the interpreter generates efficient simulations via symbolic optimizations which include removal of trivial and identity operations, removal of redundant calculations, identification of constants and preprocessing steps, and culling of extraneous computations. The construction of the directed graph of symbolic computations also presents interesting opportunities for complexity analysis, optimal hybrid methods, and tailored fine grain parallel implementations.
NEOCLASSICAL CHOREOGRAPHY IN THE CONTEXT OF CIRCUS GENRES: FEATURES OF DANCE AND PLASTICS IN THE CIRCUS

In the article the principle of constructing circus representations using the priyom of neoclassical choreography is analyzed. The analysis of researches on the given problem is given. The importance of research in this problem is being clarified, since it is little studied. Specify the formal technical features of this priyom. Examples of circus representations are given. A comparison of visual representation of different genres of circus art is conducted. Keywords: choreography, neoclassic, circus art, scenic representation, circus number, circus genres, gymnastics, acrobatics, stage plastic artistic culture.
A rule-based approach for automatically identifying gene and protein names in MEDLINE abstracts

Identifying gene and protein terms is important for obtaining biological knowledge from literature. We have developed GPmarkup (for gene and proteinname mark up), a system that automaticall y identifies gene and protein terms and maps gene and protein symbols (e.g., DR3) to names (e.g., Death Receptor 3) in MEDLINE abstracts.
Lossless video compression in an FPGA for reducing DDR memory bandwidth usage

We show that a hardware implementation of a lossless image compression scheme can be used as means for lowering DDR memory bandwidth usage from a video stream. A prediction scheme based on LOCO-I is used to reduce correlative redundancy between sequential pixels, before the data is encoded by Golomb coding. The data packages after source coding contain a continuous stream of prefix codes, in order to eliminate the header data imposed by more advanced packing schemes. This in turn results in a higher demand on the decoding side in terms of resource usage, because of the need for high parallelism when a new prefix code is counted and decoded each clock cycle. The test images are reduced in size by 49-84%, depending on their inherent complexity. Resource consumption for this design amounts to 10100 Logic Elements (synthesized for an Altera Cyclon III FPGA - EP3C80F484C6), with a operating frequency of 152,86 MHz for a throughput of 458 MB/s. These numbers can be improved by reducing the algorithm complexities. LE usage is reduced to 4695, while accomplishing a image size reduction of 34-59%. We present a way to increase decompression throughput by adding parallel decoder modules. Those changes will increase throughput to a multiple of 458 MB/s while worsening the compression somewhat. LE cost increases depending on the level of parallelism.
Selection of Software for Patron Use in Libraries

THE LIBRARIAN WHO SEEKS to develop a collection of computer files seems faced with a formidable and often unfamiliar task. This article provides an in-depth study of the selection process for patron-use software programs and data files. It begins with an analysis of the unique characteristics of sof tware-its function, its format, and its mode of publication/distribution. The author discusses whether selection and acquisition can be integrated into existing practices or must be treated in a unique manner. The article covers aspects of the selection process, including the development of a collection policy, the assignment of selection decisions, methods of financing purchases, selection criteria, and the evaluation of individual pieces of software. Sources of information-descriptive, evaluative, and anecdotal-on computer files are listed and described. Acquisition and collection evaluation issues are also discussed.
Computer systems and software engineering : state-of-the-art

1. The Evolution of Data Memory and Storage: An Overview W.E. Proebster. 2. Optimizing Logic for Speed, Size, and Testability R.K. Brayton, A. Saldanha. 3. VLSI Architectures for Digital Video Signal Processing P. Pirsch. 4. Compiler Techniques for Massive Parallel Architectures L. Thiele. 5. Programmable Cellular Neural Networks T. Roska. 6. Developments in Parallel Programming Languages R.H. Perrott. 7. Load Balancing Grid-Oriented Applications on Distributed Memory Parallel Computers D. Roose, J. De Keyser, R. Van Driessche. 8. Strategic Decision Analysis and Group Decision Support S. French. 9. Ten Years of Advances in Machine Learning Y. Kodratoff. 10. Designing Logic Programming Languages J.W. Lloyd. 11. Efficient Bottom-up Evaluation of Logic Programs R. Ramakrishnan, D. Srivastava, S. Sudarshan. 12. Proving Correctness of Executable Programs K. Lester. 13. Direct Manipulation as a Basis for Constructing Graphical User Interfaces Coupled to Application Functions J. van den Bos. 14. Visualization of Volumetric Medical Image Data K.J. Zuiderveld, M.A. Viergever. 15. Scientific Visualization J.J. van Wijk. 16. Picture Archiving and Communications Systems R. Mattheus.
Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2

Les travaux developpes dans cette these visent a assister le processus d’ingenierie des exigences temporelles pour les systemes complexes a contraintes de temps. Nos contributions portent sur trois volets : la specification des exigences, la modelisation du comportement et la verification. Pour le volet specification, une nouvelle classification des exigences temporelles les plus communement utilisees a ete proposee. Ensuite, afin de cadrer l’utilisateur durant l’expression des exigences, une grammaire de specification a base de motifs predefinis en langage naturel est developpee. Les exigences generees sont syntaxiquement precises et correctes quand elles sont prises individuellement, neanmoins cela ne garantie pas la coherence de l’ensemble des exigences exprimees. Ainsi, nous avons developpe des mecanismes capables de detecter certains types d’incoherences entre les exigences temporelles. Pour le volet modelisation du comportement, nous avons propose un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporises. L’idee etant de manipuler une notation assez intuitive et de generer automatiquement des modeles formels qui se pretent a la verification. Finalement, pour le volet verification, nous avons adopte une technique de verification a base d’observateurs et qui repose sur le model-checking. Concretement, nous avons elabore une base de patterns d’observation (ou observateurs) ; chacun des patterns developpes est relatif a un type d’exigence temporelle dans la nouvelle classification. Ainsi, la verification est reduite a une analyse d’accessibilite des etats correspondants a la violation de l’exigence associee
Aspects of Knowledge Transfer in eXtreme Programming

The reason why software projects remain vulnerable to failure is essentially based on a knowledge management (KM) problem. One observation, however, is that the research in this area assumes, or is restricted to, traditional software development approaches. By excluding newer ways of developing software, such as agile software development, important aspects of KM in software engineering have been omitted. In this paper, a theoretical analysis of extreme Programming (XP) from a KM perspective is presented. The aim is to gain understanding of how the two ﬁelds relate but also to investigate to what extent aspects of KM can be beneﬁcial to XP. The result shows that XP is more aligned with KM than expected. More importantly, the result suggests that a creative approach to KM can generate improved efﬁciency, higher productivity and higher quality in multi-team XP projects. A framework that can be used to analyse how XP supports KM in multi-team settings is also proposed.
A little history of the World Wide Web

Doug Engelbart prototypes an "oNLine System" (NLS) which does hypertext browsing editing, email, and so on. He invents the mouse for this purpose. See the Bootstrap Institute library. Ted Nelson coins the word Hypertext in A File Structure for the Complex, the Changing, and the Indeterminate. 20th National Conference, New York, Association for Computing Machinery, 1965. See also: Literary Machines, a hypertext bibliography. Andy van Dam and others build the Hypertext Editing System and FRESS in 1967.
Scientific visualization using Pixar's RenderMan

This thesis will attempt to visualize astrophysical data that is proprocessed and formatted by the Spiegel software using Pixar’s RenderMan. The output will consist of a large set of points and data associated with each point. The goal is to create images that are both informative and aesthetically pleasing to the viewer. This has been done many times before with software rendering and APIs such as OpenGL or JOGL. This thesis will use Pixar’s Photorealistic RenderMan, or PRMan for short, as a renderer. PRMan is an industry proven standard renderer that is based on the RenderMan Interface Specification which has been in development since 1989. The original version was released in September of 1989 and the latest specification, version 3.2 was published in 2005. Since aesthetics is a subjective quality based on the viewers’ preference, the only way to determine if an image is aesthetically pleasing is to survey a general population. The thesis includes an experiment to assess the quality of the new renders.
Principles of modeling uncertainties in spatial data and analyses

Overview Introduction Sources of Uncertainty in Spatial Data and Spatial Analysis Mathematical Foundations Modeling Uncertainties in Spatial Data Modeling Positional Uncertainty in Spatial Data Modeling Attribute Uncertainty Modeling Integrated Positional and Attribute Uncertainty Modeling Uncertain Topological Relations Modeling Uncertainties in Spatial Model Uncertainty in Digital Elevation Models Modeling Uncertainties in Spatial Analyses Modeling Positional Uncertainties in Overlay Analysis Modeling Positional Uncertainty in Buffer Analysis Modeling Positional Uncertainty in Line Simplification Analysis Quality Control of Spatial Data Quality Control for Object-Based GIS Data Quality Control for Field-Based GIS Data Improved Interpolation Methods for Digital Elevation Model Presentation of Data Quality Information Visualization of Uncertainties in Spatial Data and Analyses Metadata on Spatial Data Quality Web Service-Based Spatial Data Quality Information System Epilog
Gesture-Based OLAP Navigation on Touchscreen Devices

This report describes the design and development of a dashboard that visualizes OnLine Analytical Processing information. Users are able to navigate through the information using touch-based gestures. The source of the information is a Customer Relationship Management tool. This information is made accessible using a Data Warehouse and a Data Mart. Before the design and implementation of the dashboard was started a few other steps were required. The first step in this process was to map out the situation at the start as well as the information needs of the end user. The design of the dashboard, comprised of a visualization and set of gesture interactions, is based on the information needs of the end user. The design was implemented using standardized web technologies. This approach has resulted in a web application usable on mobile as well as desktop devices with touchscreens. Finally an end user validation of the system was performed to determine whether the application fulfills the needs determined at the beginning. Testing with the dashboard revealed that there were a few points on which the dashboard can be improved. Users want to explore the information with more detail. Another point is that the users required more axes to fulfill their information need. Users found the system easy to work with and the dashboard invited them to explore the information.
PRIS at TREC 2012 KBA Track

Abstract : Our system to KBA Track at TREC2012 is described in this paper, which includes preprocessing, index building, relevance feedback and similarity calculation. In particular, the Jaccard coefficient was applied to calculate the similarities between documents. We also show the evaluation results for our team and the comparison with the best and median evaluations.
Nominal Sets: Names and Symmetry in Computer Science

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.
The Influence of Teachers' Perceptions on Usage of an Educational Technology: A Study of Project LISTEN's Reading Tutor

This study looked at factors influencing teachers’ perception and usage of Project LISTEN’s Reading Tutor, a computerized tutor used with elementary students in 9 classroom-based, 10 computer lab-based, and 3 specialist-room school settings. Thirteen interviews and 22 survey responses (of a possible 28 teachers) examined teachers’ perception of the Reading Tutor and suggested that teachers’ belief in the Tutor influenced their usage of it (r = .46, p < .03). Three factors seemed to influence teacher belief: 1) perceived ease of use (r = .52, p < .01), 2) teachers’ reported experience with computers (r = .41, p < .04) and instructional technology (r = .48, p < .03), and 3) perceived technical problems such as frequency of technical problems (r = -.44, p < .04) and speed with which problems were fixed (r = .49, p < .02). Analysis of these factors suggested four themes that cut-across factors and seem to influence the way teachers evaluate and use the Reading Tutor – the technology’s degree of convenience, competition from other educational priorities and practices, teacher experience and/or interest with technology, and data available to teachers and the way teachers prioritize that data. These results suggest that improving convenience of the Reading Tutor, instituting specialized training programs, and improving feedback mechanisms for teachers by providing relevant, situated data may influence teacher belief in the Reading Tutor and thereby increase teacher usage. This study contributes to current literature on educational technology usage by supporting previous literature suggesting that teacher belief in the importance of a technology influences their use of it. One unique feature of this study is that is uses both quantitative and qualitative methods to look at the research questions from two different research perspectives.
PROCEEDINGS OF THE HUMAN FACTORS SOCIETY-32nd ANNUAL MEETING1988 THE EFFECTS OF FORMAT IN COMPUTER-BASED PROCEDURE DISPLAYS

Two experiments were conducted to investigate display variables likely to influence the effectiveness of computer-based procedure displays. In Experiment 1, procedures were presented in three formats, Text, Extended-Text, and Flowchart. Text and Extended-Text are structured prose formats which differ in the spatial density of presentation. The Flowchart format differs from the Text format in both syntax and spatial representation. Subjects were required to use the procedures to diagnose a hypothetical system anomaly. The results indicate that performance was most accurate with the Flowchart format. Although overall completion times did not differ significantly across formats, the Flowchart format required significantly less time for step implementation. In Experiment 2, procedure window size was varied (6-line, 12-line, and 24-line) in addition to procedure format. In the six line window condition, Experiment 2 replicated the findings of Experiment 1. Procedures in the Flowchart format were completed with greater accuracy than procedures in either of the text formats. As predicted, completion times for Flowchart procedures decreased with increasing window size; however, accuracy of performance decreased substantially. Implications for the design of computer-based procedure displays are discussed.
Towards a Unified Radio Power Management Architecture for Wireless Sensor Networks

In many wireless sensor networks, energy is an extremely limited resource. While many different power management strategies have been proposed to help reduce the amount of energy wasted, application developers still face two fundamental challenges when developing systems with stringent power constraints. First, existing power management strategies are usually tightly coupled with network protocols and other system functionality. This monolithic approach has led to standalone solutions that cannot easily be reused or extended to other applications or platforms. Second, different power management strategies make different and sometimes even conflicting assumptions about the rest of the system with which they need to interact. Without knowledge of which strategies are interoperable with which set of network stack protocols it is dificult for application developers to make informed decisions as to which strategy is most appropriate for their particular application. To address these challenges, we propose a Unified Power Management Architecture (UPMA) that supports the flexible composition of different power management strategies based on application requirements. We envision this architecture to consist of both low level programming interfaces, as well as high level modeling abstractions. These abstractions characterize the key properties of different applications, network protocols, and power management strategies. Using these properties, configuration tools can be created that match each application with the most appropriate network protocol and power management strategy suited to its needs.
Analyse des facteurs de qualité des IRM sacro-iliaques : impact de la séquence et de l’antenne sur la qualité d’image selon le morphotype

But. Determiner la modalite technique d’exploration optimale de l’IRM des sacro-iliaques enfonction du morphotype du patient, chez les patients adresses pour recherche despondylarthropathie.Sujets et methodes. 121 patients adresses pour une IRM des sacro-iliaques a la recherched’une sacro-iliite inflammatoire ont beneficie sur une IRM 3T de plusieurs typesd’acquisition. Des sequences ponderees T2 FSE avec saturation du signal de la graisse, ontete realisees de maniere conventionnelle d’une part, puis avec une acquisition specifiqueresistante aux mouvements d'autre part. Chacune de ces deux sequences ont ete acquises avec deux types d’antennes (antenne corps et antenne flexible surfacique). Le poids et la taille de chaque patient etaient enregistres. La qualite d’image etait evaluee par 2 lecteurs independants selon une echelle en 4 grades. Un modele de regression lineaire a ete utilise pour etudier les facteurs influencant la qualite d’image. La confiance en la presence d’un oedeme osseux etait egalement evaluee de maniere subjective, par une echelle en 3 grades.Resultats. L’utilisation de l’antenne corps permet une amelioration de la qualite d’imagecomparativement a l’antenne surfacique flexible, de 14.1 a 30.4 % pour le lecteur 1 et de 14.6 a 25.7 % pour le lecteur 2 (p < 0.0001). Il y avait egalement une difference significative en terme de qualite selon le type de sequence utilisee (p = 0.0046). La presence d’un oedeme osseux etait identifiee chez 40 patients avec une bonne correlation inter observateur et une meilleure confiance dans le diagnostic avec l’utilisation de l’antenne corps et de la sequence resistante aux artefacts de mouvement (kappa 0.990). Conclusion. Les acquisitions realisees avec l’antenne corps et la sequence T2 resistante auxmouvements permettent une meilleure qualite d’image que celles realisees avec l’antenne de surface, et les sequences T2 conventionnelles
The Klingon Dictionary: English/Klingon Klingon/English

"The Klingon Dictionary" is the first comprehensive sourcebook for Klingon language and syntax, including fundamental rules of grammar as well as words and expressions that illustrate the complex nature of Klingon culture. It features a precise pronunciation guide, rules for proper use of affixes and suffixes, and a small phrasebook with Klingon translations for essential expressions such as "Activate the transport beam", "Always trust your instincts", and the ever-popular "Surrender or die! "