Miracle-dz/UniFAR-FTUs huggingface dataset:
TOMLAB - An Environment for Solving Optimization Problems in MATLAB

TOMLAB is a general purpose, open and integrated MATLAB environment for solving optimization problems on UNIX and PC systems. TOMLAB has meny systems and driver routines for the most common optimization problems and more than 50 algorithms implemented in the toolbox NLPLIB and the toolbox OPERA. NLPLIB TB 1.0 is a MATLAB toolbox for non-linear programming and parameter estimation and OPERA TB 1.0 is a MATLAB toolbox for operational research, with emphasis on linear and discrete optimization. Of special interest in NLPLIB TB 1.0 are the algorithms for general and separable nonlinear least squares parameter estimation. TOMLAB is using MEX-le interfaces to call solvers written in C/C++ and FORTRAN. Currently MEX-le interfaces have been developed for the commercial solvers MINOS, NPSOL, NPOPT, NLSSOL, LPOPT, QPOPT and LSSOL. From TOMLAB it is also possible to call routines in the MathWorks Optimization Toolbox. Interfaces are available for the model language AMPL and the CUTE (Constrained and Unconstrained Testing Environment). Optimization problems may be either be deened in MATLAB code or in the CUTE SIF language or AMPL model language. Included in TOMLAB are many example and demonstration les. The motivation for TOMLAB is to simplify the research and solution of practical optimization problems, giving easy access to all types of solvers; at the same time having full access to the power of MATLAB. Using MATLAB as an environment for solving optimization problems ooers much more possibilities for analysis , then currently available in modeling languages like AIMMS, AMPL, ASCEND, GAMS and LINGO.
Using the Hough transform to detect fish in Freshwater Creek

We present a fish detection method capable of detecting fish profiles in underwater video while filtering out complicated unwanted images such as fish tails, otters, juvenile fish and turbulent water. Also, fish attributes, such as size and orientation, are automatically displayed as fish are detected. This method utilizes the Hough transform to automatically detect fish profiles. We display the results of this method applied to images from Freshwater Creek and discuss benefits from using the Hough transform to detect fish. We also discuss strengths of the method along with future applications, including the possibility of implementing a real-time detection scheme based on this method. iv AKNOWLEDGEMENTS I would like to acknowledge all my friends (including the fabulous teachers and staff in the Math department-you're all one of a kind! ) and family for listening to my constant ramblings about my thesis when I am sure most of you would have rather run for the hills. I would also like to acknowledge my committee members who each showed so much patience. Each invested so much time and I am incredibly grateful for that. Earning my masters has meant so much to me and I know how lucky I am to have all these people in my life. Last, but of course not least, I would like to throw out a big hug and kiss to my partner (in life, love and math! ). He has literally experienced the same ups and downs having written a thesis himself and is unmatched in his stability and wisdom. He not only listened, but provided valuable feedback when my frustrations clouded my thoughts.
Cohort Life Tables Based on Annual Life Tables for the Japanese Nationals Covering the Years 1891-1982

On the basis of a relatively rich accumulation of period life tables for Japanese nationals over the past 90 years a complete set of annual life tables has been prepared by single years of age for the 92 years from 1891-1982 with necessary interpolations as well as extrapolations. Using a large matrix of death probabilities q subscript x superscript (t) where t=1891-1982 and x=0-110 (produced from the tables mentioned above) cohort life table data has been computed for Japanese nationals as much as possible. Unreliability of early death statistics necessitated some revision of the life tables. The representative time point for any period was its midpoint. Linear interpolations and extrapolations were made to obtain q subscript x data from overlapping life tables. Cubic spline interpolation was used for 1901-1939. Interpolations were used to compensate for fluctuations after 1947. A discussion of cohort life table calculation and a listing of calculations by other authors is followed by appendices containing the tables themselves. Tables are for: 1) probability of dying; 2) period life table data; 3) cohort life table data; 4) period probability of dying in 10-year and 15 year age intervals; and 4) cohort probability of dying in 10-year and 15-year age intervals.
Improving TCP Performance in High Bandwidth High RTT Links Using Layered Congestion Control

In this paper, we propose Layered TCP (LTCP for short), a simple layering technique for the congestion window response of TCP to make it more scalable in highspeed, high RTT networks. LTCP is a two dimensional congestion control framework the macroscopic control uses the concept of layering to quickly and efficiently make use of the available bandwidth whereas microscopic control extends the existing AIMD algorithms of TCP to determine the per-ack behavior. We provide the general intuition and framework for the LTCP protocol modifications in this paper. Then, using a simple design, we illustrate the effectiveness of using layering for improving the efficiency, without sacrificing the convergence properties of TCP. We assess the RTT unfairness with the chosen design and show that by using a simple RTT compensation factor, the RTT unfairness can be assured to be no worse than that of unmodified TCP. Evaluation of the specified design is based on analyses and ns-2 based simulations. We show that LTCP has promising convergence properties, is about an order of magnitude faster than TCP in utilizing high bandwidth links, employs few parameters and is easy to understand. The choice of parameters can be influenced to reduce the RTT unfairness, compared to TCP or other highspeed solutions. The flexible framework opens a whole class of design options for improving the performance of TCP in highspeed networks.
Filimage : Systme Multimdia de Rsum Automatique et Multilinguisme

The present invention relates to the use of deactivatable biocides for hydrocarbonaceous products, in particular, rapidly biodegradable hydrocarbonaceous products. The present invention also relates to methods of inhibiting growth and reproduction of microorganisms in hydrocarbonaceous products, in particular, in rapidly biodegradable hydrocarbonaceous products, containing minor amounts of aqueous liquids. The deactivatable biocides of the present invention may be derived from a Fischer-Tropsch process.
Etude et prédiction d'attention visuelle avec les outils d'apprentissage profond en vue d'évaluation des patients atteints des maladies neuro-dégénératives. (Study and prediction of visual attention with deep learning networks in view of assessment of patients with neurodegenerative diseases)

Cette these est motivee par le diagnostic et l’evaluation des maladies neuro-degeneratives et dans le but de diagnostique sur la base de l’attention visuelle.Neanmoins, le depistage a grande echelle de la population n’est possible que si des modeles de prediction automatique suffisamment robustes peuvent etre construits. Dans ce contexte nous nous interessons `a la conception et le developpement des modeles de prediction automatique pour un contenu visuel specifique a utiliser dans l’experience psycho-visuelle impliquant des patients atteints des maladies neuro-degeneratives. La difficulte d’une telle prediction reside dans une tres faible quantite de donnees d’entrainement. Les modeles de saillance visuelle ne peuvent pas etre fondes sur les caracterisitiques “bottom-up” uniquement, comme le suggere la theorie de l’integration des caracteristiques. La composante “top-down” de l’attention visuelle humaine devient preponderante au fur et a mesure d’observation de la scene visuelle. L’attention visuelle peut-etre predite en se basant sur les scenes deja observees. Les reseaux de convolution profonds (CNN) se sont reveles etre un outil puissant pour predire les zones saillantes dans les images statiques.Dans le but de construire un modele de prediction automatique pour les zones saillantes dans les videos naturels et intentionnellement degradees, nous avons concu une architecture specifique de CNN profond. Pour surmonter le manque de donnees d’apprentissage,nous avons concu un systeme d’apprentissage par transfert derive de la methode de Bengio.Nous mesurons ses performances lors de la prediction de regions saillantes. Les r´esultatsobtenus sont int´eressants concernant la r´eaction des sujets t´emoins normaux contre leszones d´egrad´ees dans les vid´eos. La comparaison de la carte de saillance pr´edite des vid´eosintentionnellement d´egrad´ees avec des cartes de densit´e de fixation du regard et d’autresmod`eles de r´ef´erence montre l’int´erˆet du mod`ele d´evelopp´e.
Coping with machine translation

Perhaps the title of this paper seems a bit strange, in fact somewhat "trendy" as we say in the United States. "Coping" is certainly a popular Twentieth Century word, having gained widespread usage in the last two decades as a modern technical society has called upon all of us to learn to "cope". The title of this presentation has a dual significance because machine translation is part of this technological onslaught, but the dictionary definition of coping as well is applicable to our subject. "Coping" is defined as a struggle to contend on equal terms or with some success. Certainly, we are now "coping" with machine translation, yes struggling, but still meeting with some success.
New Term Weighting Formulas for the Vector Space Method in Information Retrieval

The goal in information retrieval is to enable users to automatically and accurately find data relevant to their queries. One possible approach to this problem i use the vector space model, which models documents and queries as vectors in the term space. The components of the vectors are determined by the term weighting scheme, a function of the frequencies of the terms in the document or query as well as throughout the collection. We discuss popular term weighting schemes and present several new schemes that offer improved performance.
The Geometry Proof Tutor: An "Intelligent" Computer-based Tutor in the Classroom

Imagine a standard-track geometry class in which it is common for students to come to class early to work on constructing proofs, often continuing to work after the class is dismissed. Imagine a class in which you can spend significant amounts of time working one-on-one with students while the rest of the class is actively engaged in con structing challenging proofs. A fantasy? This scenario actually happened in my ge ometry classes throughout six months of regular use of a computer-based, "artificially intelligent" tutoring system in a Pittsburgh Public School classroom (Schofield and Ver ban, in press). Constructing proofs in geometry has al ways been a difficult learning task for our students and a difficult teaching task for teachers. The constructive-deductive pro cess, which may seem both obvious and beautiful to a mathematician, seems strange and foreign to many high school students. Insights into the mental processes involved in constructing proofs and tools to help teach this difficult skill would greatly benefit classroom instruction. This article describes an "intelligent" computer-based tutoring system for proof construction and its exper imental use in a public high school class room. After a brief discussion of some theory describing students' development of geomet ric concepts, I shall describe the tutoring
Global geometry optimization of atomic and molecular clusters by genetic algorithms

One of the numerous NP-hard global optimization problems in theoretical chemistry is that of finding the global minimum energy structure of an atomic or molecular cluster. This paper describes our method of solving this problem with specialized genetic algorithms, both on the level of empirical model potentials and in combination with extremely expensive calculations from first principles. Discussing several current application examples, we show that our approach is a valuable new tool in hot topics of cluster chemistry.
EL NÚMERO TRES A LOS TRES AÑOS DE EDAD: UNA APROXIMACIÓN MULTIDIMENSIONAL A LA REPRESENTACIÓN NUMÉRICA

Teniendo en cuenta que incluso los bebes establecen discriminaciones cuantitativas en configuraciones de hasta 3 unidades, resulta interesante estudiar al comenzar a adquirir un lenguaje numerico como los ninos se manejan en situaciones que involucran distintas representaciones simbolicas de esa cantidad. Indagamos las relaciones entre el dominio del 3 en varias tareas representacionales por parte de ninos de tres anos de edad. Entrevistamos individualmente 33 ninos, solicitandoles que expresen su edad y la cantidad de 3 puntos en la cara de un dado, usen esa representacion cuantitativa como instruccion para desplazar un juguete por un camino, y cuenten los pasos del camino. Los resultados indican que la construccion de representaciones simbolicas convencionales para los primeros tres numeros constituye un genuino desafio cognitivo para los ninos a los tres anos de edad. Esta construccion se apoya en diversas vias de acceso y progresa en forma no sincronica. El dominio del conteo verbal hasta “tres” seria previo a la expresion correcta de la propia edad, y esta antecederia la cuantificacion de tres unidades visuales. El uso simbolico de esa coleccion como instruccion supone desafios mucho mayores, y no se basa en forma estricta en los logros en las demas tareas. Palabras Clave Numero, Desarrollo, Temprana infancia Abstract NUMBER THREE AT AGE THREE: A MULTIDIMENSIONAL APPROACH TO NUMBER REPRESENTATION Takingintoaccountthatbabiesestablishquantitativediscriminations among displays of up to 3 units, it is particularly interesting to study how upon the advent of numerical language, young children handle situations involving various symbolic representations for such a quantity. In this study we explore the relations among children’s mastery of 3 in several representational tasks at age 3. We individually interviewed 33 children. We asked them to express their age and the quantity of 3 dots on a die, to use such a representation as an instruction to move a toy forward on a path, and to count the setps on the path. Results show that constructing conventional symbolic representations for the first three “natural” numbers involves a true cognitive challenge for children at the age of three. This construction is based on various ways of access and progress in a non-syncronic way. Mastery of verbal counting up to three seems to be previous to the correct expression of the own age, which in turn appears to precede the quantification of 3 visual units. The symbolic use of such a collection as an instruction presents a greater challenge and is not based on mastering the other tasks. Key Words Number, Development, Early childhood
La position internationale de la Grèce

Cet article se concentre sur les trois principaux axes de la politique exterieure grecque: (i) son integration au sein de l'Union europeenne en tant que membre a part entiere et en tant que membre de l'union economique et monetaire; (ii) ses efforts pour jouer un role regional dans les balkans, et les difficultes rencontrees en raison des particularites de la region et les positions prises sur un certain nombre de questions politiques la concernant; (iii) La tentative, initiee par le gouvernement, avec l'accord des autres pouvoirs politiques, d'un "rapprochement" avec la Turquie afin de surmonter la longue crise concernant la determination du statut legal de l'Egee et du reglement de la question chypriote. La conclusion a laquelle parvient l'auteur est que la Grece s'est alignee sur les autres pays de l'Union europeenne, a participe, quoi qu'avec quelques difficultes, a la reconstruction de la region, et a insiste sur le fait que la seule solution acceptable a la crise greco-turque consistait en un reglement pacifique des problemes.
Parallel inverse iteration with reorthogonalization

A parallel method for finding orthogonal eigenvectors of real symmetric tridiagonal is described. The method uses inverse iteration with repeated Modified Gram-Schmidt (MGS) reorthogonalization of the unconverged iterates for clustered eigenvalues. This approach is more parallelizable than reorthogonalizing against fully converged eigenvectors, as is done by LAPACK`s current DSTEIN routine. The new method is found to provide accuracy and speed comparable to DSTEIN`s and to have good parallel scalability even for matrices with large clusters of eigenvalues. We present al results for residual and orthogonality tests, plus timings on IBM RS/6000 (sequential) and Intel Touchstone DELTA (parallel) computers.
A brief methodology for researching and evaluating serious games and game- based learning

In this chapter, the authors present a methodology for researching and evaluating Serious Games (SG) and digital (or other forms of) Game-Based Learning (GBL). The methodology consists of the following elements: 1) frame-reflective analysis; 2) a methodology explicating the rationale behind a conceptual-research model; 3) research designs and data-gathering procedures; 4) validated research instruments and tools; 5) a body of knowledge that provides operationalised models and hypotheses; and 6) professional ethics. The methodology is intended to resolve the dilemma between the “generality” and “standardisation” required for comparative, theory-based research and the “specificity” and “flexibility” needed for evaluating specific cases. Igor Mayer Delft University of Technology, The Netherlands Geertje Bekebrede Delft University of Technology, The Netherlands Harald Warmelink Delft University of Technology, The Netherlands Qiqi Zhou Delft University of Technology, The Netherlands
Toward truly "memetic" memetic algorithms: discussion and proof of concepts

A manual steering wheel or the like is connected through a rotatable flexible cable and a double-acting free wheeling clutch to a rotatable element controlling the position of a steering member such as a boat's rudder. A servo motor is also connected through the clutch to the rotatable element, and starting, stopping, and the direction of operation of the motor are controlled by electric pole changing spring contacts associated with the wheel. The connection of the steering wheel to the rotatable element is directly through the free wheel element of the clutch, while the servo motor is connected to the rotatable element through the other rotary element of the clutch. This permits the servo motor normally to drive the rudder in response to steering wheel motion, but direct manual steering is enabled should the servo motor operate too slowly or not at all.
A Survey on a State of the Practice in Video Game Development

Abstract Video Game Software Development is a promisingarea of empirical research because our rst obser-vations in industry environment identi ed a lackof a systematic process and method support andrarely conducted/documented studies. Neverthe-less, video games - speci c types of software prod-ucts - focus strongly on user interface and gamedesign. Thus, engineering processes, methods forgame construction and veri cation/validation, andbest-practices, derived from traditional software en-gineering, might be applicable in context of videogame development. We selected the Austrian gamesindustry as a manageable and promising startingpoint for systematically capturing the state-of-thepractice in Video game development. In this paperwe present the survey design and report on the rstresults of a national survey in the Austrian gamesindustry. The results of the survey showed that theAustrian games industry is organized in a set ofsmall and young studios with the trend to ad-hocand exible development processes and limitationsin systematic method support.
Data Temporal Consistency in Hard Real-Time Systems

This thesis studies the performance of concurrency control algorithms in maintaining temporal consistency of data in hard real-time systems. In our model, a hard real-time system consists of periodic tasks which are either sensor transactions, read-only transactions or update transactions. Such periodic transactions are typically scheduled by priority-driven, preemptive algorithms. Transactions may share data with each other, and concurrency control algorithms are used to ensure data integrity. Temporal consistency of data, defined in terms of age and dispersion of data, indicates whether the data read by real-time transactions is sufficiently up-to-date for the application. More precisely, data objects are inconsistent when their ages and dispersions are greater than the absolute and relative thresholds allowed by the application. Real-time transactions must read temporally consistent data in order to deliver correct results. Based on this model, we have evaluated the performance of two well-known classes of concurrency control algorithms that handle multiversion data: the two-phase locking and the optimistic algorithms, as well as the well-known priority-driven, preemptive scheduling algorithms: the rate-monotone and earliest-deadline-first algorithms. The effect of using the priority inheritance and stack-based protocols with lock-based concurrency control is also studied. Our simulation results indicate how well data temporal consistency is maintained for different workload characteristics. By avoiding undesirable parameters and choosing the appropriate algorithms, we can make it easier to maintain data temporal consistency in hard real-time systems.
In Principle Based Parsing

Principle-based parsing without overgeneration. Dekang Lin. Department of Computing Science, University of Manitoba Winnipeg, Manitoba, Canada, l~3T 2N2 E-mail: lindek@cs.umanitoba. ca. 1. Abstract. Overgeneration is the main source of computational complexity in previous principle-based parsers. This paper presents a message passing algorithm for principle-based parsing that avoids the overgenera-tion problem. Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English. It argues that differences in the kind of information being computed, whether lexical, structural or syntactic, play a crucial role in the mapping from grammatical theory to parsing algorithms. The direct encoding of homogeneous classes of information has computational and cognitive advantages, which are discussed in detail. This paper outlines the major computational advantages of principle-based parsing, its differences from the usual rule-based approach, and surveys several existing principle-based parsing systems used for handling languages as diverse as Warlpiri, English, and Spanish, as well as language translation. Advanced Search Search Within This Collection DSpace@MIT Search (Ex: crystalline silicon solar)
Sicherheit und Kryptografie in Java

In the representative embodiment of the present invention disclosed herein, a uniquely-arranged corral is formed of a plurality of pivotally-intercoupled upright panels which are adapted to be folded together into a compact assembly. In this manner, when the assembly is placed in a typical horse trailer, the trailer interior is appropriately divided into two side-by-side stalls of a comfortable size. On the other hand, when the assembly is unloaded from the trailer, its unique self-supporting arrangement allows the several panels to be easily extended for providing a sturdy, well-proportioned, divided corral of about five times the area occupied by the folded assembly within the trailer.