Miracle-dz/UniFAR-FTUs huggingface dataset:
The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms

Compilers for higher-order programming languages like Scheme, ML, and Lisp can be broadly characterized as either "direct compilers" or "continuation-passing style (CPS) compilers", depending on their main intermediate representation. Our central result is a precise correspondence between the two compilation strategies. Starting from the theoretical foundations of direct and CPS compilers, we develop relationships between the main components of each compilation strategy: generation of the intermediate representation, simplification of the intermediate representation, code generation, and data flow analysis. For each component, our results pinpoint the superior compilation strategy, the reason for which it dominates the other strategy, and ways to improve the inferior strategy. Furthermore, our work suggests a synthesis of the direct and CPS compilation strategies that combines the best aspects of each. The contributions of this thesis include a comprehensive analysis of the properties of the CPS intermediate representation, a new optimal CPS transformation and its inverse, a new intermediate representation for direct compilers, an equivalence between the canonical equational theories for reasoning about continuations and general computational effects, a sound and complete equational axiomatization of the semantics of call-by-value control operators, a methodology for deriving equational logics for imperative languages, and formal relationships between code generators and data flow analyzers for direct and CPS compilers. These contributions unify concepts in two distinct compilation strategies, and can be used to compare specific compilers.
ANALYZING RESPONSES TO OPEN ENDED QUESTIONS FOR SPIRIT USING ASPECT ORIENTED SENTIMENT ANALYSIS

Animesh Jain M.S., Purdue University, May 2014. Analyzing Responses to Open-Ended Questions for SPIRIT using Aspect-Oriented Sentiment Analysis. Major Professor: Alka R. Harriger. Open ended questions provide an effective way of measuring the attitude and perception of respondents towards a topic. Surprising Possibilities Imagined and Realized through Information Technology (SPIRIT) was a program (2008-2012) that employed open-ended questions to gauge program participants’ attitudes related to computing. SPIRIT sought to increase the interest of high school students, especially female students, towards computing courses and careers. Preand post-attitude surveys were used during the program to measure the changes in attitudes of the participants towards IT and also to analyze the impact different sessions had on different demographic groups of participants. The open-ended survey questions from SPIRIT provide the data needed for this study’s analysis. SPIRIT’s external evaluator employed the constant comparison method to analyze the participant data. This study analyzed those same responses using aspect-oriented sentiment analysis to make reporting and decision making for such programs easier and more objective than human evaluation of open-ended feedback. The approach identified the aspect of each phrase or statement made in the responses and then quantitatively classified the sentiment of each aspect. Thus, the study’s approach not only solves the problem of objectively analyzing the open-ended responses of participants of short term
Artificial Intelligence Applications and Innovations: Proceedings of the 5th IFIP Conference on Artificial Intelligence Applications and Innovations

This book constitutes the refereed proceedings ofthe 5th IFIP Artificial Intelligence Innovations and Applications Conference held in Thessaloniki, Greece. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Tools for Characterizing Distributed Shared Memory Applications

In order to support the design of future distributed shared memory (DSM) systems, we have developed a set of tools for characterizing DSM applications. These tools enable collecting and analyzing data, instruction, and I/O stream traces of DSM applications. They give characterization for several aspects of DSM applications including communication and sharing patterns. They also enable evaluating the performance of these applications on various DSM design alternatives. This report describes the implementation of these tools, their usage, and the format of their output les.
A 2-D PROCESSOR ARRAY FOR MASSIVELY PARALLEL IMAGE PROCESSING

The concept of introducing image processing logic within the spatial gaps of an array of photodiodes is the key factor behind the presented work. A two-dimensional massively parallel image processing paradigm based on 8×8 pixel neighborhood digital processors has been designed. A low complexity processor array architecture along with its instruction set has been designed and fully verified on a FPGA platform. Various image processing tests have been run on the FPGA platform to demonstrate the functionality of a design that uses 12 parallel processors. The test results indicate that the architecture is scalable to support high frame rates while allowing for flexible processing due to inherent pro-grammability at a high level. The gate level logic synthesis results of the processor targeting a 0.13 µm CMOS technology indicates a low silicon area complexity, allowing for image sensor integration. iii DEDICATION This thesis is dedicated to my beloved parents Jagdish Nelliparthi and Radha Rani Nelliparthi. A special dedication to my maternal great-grandmother late Srimathi Durgamma Thirumareddy, my paternal great-grandfather late Sri Lak-shmiah Naidu Nelliparthi, my maternal grandfather late Sri Appa Rao Thiru-mareddy, my paternal grandfather Sri Lakshmiah Venkata Rao Nelliparthi and my sister late Kumari Swapna Rani Chirugudu. iv ACKNOWLEDGMENTS Firstly, I would like to express my deep gratitude to my adviser Dr. Sina Balkir and I am indebted for his continuous support, valuable guidance and encouragement throughout my Masters program. Also, I am indebted to my co-adviser Dr. Michael W. Hoffman for his continued guidance, support and invaluable inputs throughout my Thesis work. I would like to thank committee member Dr. Khalid Sayood for providing critical review and recommendations for my thesis. A special thanks to Mr. Nathan Schemm and Mr. Daniel J. White for their valuable assistance for this work. Also, I would like to acknowledge the support of the faculty and staff of Electrical Engineering Department. Finally, I am grateful to my parents, friends and well-wishers for their love, support, patience and encouragement they provided me with, in achieving my Masters degree.
Finding structure in language

Since the Chomskian revolution, it has become apparent that natural language is richly struc¬ tured, being naturally represented hierarchically, and requiring complex context sensitive rules to define regularities over these representations. It is widely assumed that the richness of the posited structure has strong nativist implications for mechanisms which might learn natural language, since it seemed unlikely that such structures could be derived directly from the ob¬ servation of linguistic data (Chomsky 1965). This thesis investigates the hypothesis that simple statistics of a large, noisy, unlabelled corpus of natural language can be exploited to discover some of the structure which exists in natural language automatically. The strategy is to initially assume no knowledge of the structures present in natural language, save that they might be found by analysing statistical regularities which pertain between a word and the words which typically surround it in the corpus. To achieve this, various statistical methods are applied to define similarity between statistical distributions, and to infer a structure for a domain given knowledge of the similarities which pertain within it. Using these tools, it is shown that it is possible to form a hierarchical classi¬ fication of many domains, including words in natural language. When this is done, it is shown that all the major syntactic categories can be obtained, and the classification is both relati¬ vely complete, and very much in accord with a standard linguistic conception of how words are classified in natural language. Once this has been done, the categorisation derived is used as the basis of a similar classification of short sequences of words. If these are analysed in a similar way, then several syntactic categories can be derived. These include simple noun phrases, various tensed forms of verbs, and simple prepositional phrases. Once this has been done, the same technique can be applied one level higher, and at this level simple sentences and verb phrases, as well as more complicated noun phrases and prepositional phrases, are shown to be derivable.
UNIDADES FRASEOLÓGICAS ESPECIALIZADAS E TÉCNICAS TRADUTÓRIAS

The main object of study of the present research was Specialized Phraseological Units (SPU) in a context of Spanish to Portuguese translation, aiming at identifying the techniques used to establish equivalents. Such structures are important because they are inherent to specialized texts and usually offer some difficulty for the translation process in terms of their recognition and transposition into another language. For this study, we subscribe to the Communicative Theory of Terminology and to the contribution of Hurtado Albir (2001), who considers translation a communicative as well as a textual and cognitive process. The corpus from which the SPU analyzed were extracted was formed by books about Education written in Spanish as well as their translations into Portuguese; the total of words amounted to about one million in each language. We analyzed the original units and their translations, identifying the techniques used by the translators to establish equivalents. The techniques follow four models for categorization present in the works of Vinay and Darbelnet (1958), Barbosa (1990), Aubert (1998), and Hurtado Albir (2001). Based on our analysis, we put forward a new categorization of techniques, according to the revision performed.
ALIGNING LEARNER PREFERENCES FOR INFORMATION SEEKING, INFORMATION SHARING AND MOBILE TECHNOLOGIES

This paper reports on the development of a new information communications technology (ICT) learning preference survey, its cross-validation with attitudes towards mobile learning, and new perspectives on information seeking, information sharing, and mobile access derived from the relationships uncovered. The Information and Communications Technology Learning (ICTL) survey instrument is designed to measure learners’ preferences and information behavior for learning, knowledge acquisition, and sharing in the Web 2.0 technology pervasive environments of the twenty-first century. The instrument development process includes analysis for reliability and validity of instrument scales. The multi-step refinement process revealed two constructs with, respectively, very good and respectable measurement properties: Information Sharing (alpha = .83) and Information Seeking (alpha = .71). Cross-validation with a newly established mobile learning instrument confirms that both the Information Sharing and Information Seeking scales of ICTL have significant (p < .001) alignment with mobile learning attitudes. Implications of findings are discussed.
Explicit building-block multiobjective genetic algorithms: theory, analysis, and development

Abstract : This dissertation research emphasizes explicit Building Block (BB) based MO EAs performance and detailed symbolic representation. An explicit BB-based MOEA for solving constrained and real-world MOPs is developed the Multiobjective Messy Genetic Algorithm II (MOMGA-II) which is designed to validate symbolic BB concepts. The MOMGA-II demonstrates that explicit BB-based MOEAs provide insight into solving difficult MOPs that is generally not realized through the use of implicit BB-based MOEA approaches. This insight is necessary to increase the effectiveness of all MOEA approaches. In order to increase MOEA computational efficiency parallelization of MOEAs is addressed. Communications between processors in a parallel MOEA implementation is extremely important, hence innovative migration and replacement schemes for use in parallel MOEAs are detailed and tested. These parallel concepts support the development of the first explicit BB-based parallel MOEA the pMOMGA-II. MOEA theory is also advanced through the derivation of the first MOEA population sizing theory. The multiobjective population sizing theory presented derives the MOEA population size necessary in order to achieve good results within a specified level of confidence. Just as in the single objective approach the MOEA population sizing theory presents a very conservative sizing estimate. Validated results illustrate insight into building block phenomena good efficiency excellent effectiveness and motivation for future research in the area of explicit BB-based MOEAs. Thus the generic results of this research effort have applicability that aid in solving many different MOPs.
A Segment Algorithm for Extracting Item Blocks based on Mobile Devices in the Web Contents

Users are able to search and read interesting items and hence click hyperlink linked to the item which is detailed content unit such as menu, login, news, video, etc. Small screen like mobile device is very difficult to viewing all web contents at once. Browsing and searching for interesting items by scrolling to left and right or up and down is discomfort to users in small screen. Searching and displaying directly the item preferred by users can reduces difficulty of interface manipulation of mobile device. To archive it, web contents based on desktop will be segmented on a per-item basis which component unit of web contents. Most segment algorithms are based on segment method through analysis of HTML code or mobile size. However, it is difficult to extract item blocks. Because present web content is getting more complicated and diversified in structure and content like web portal services. A web content segment algorithm suggested in this paper is based on extracting item blocks is component units of web contents.
Continuous quality assessment of MPEG2 video with reduced reference

We propose an objective quality metric with reduced reference for color video that provides quality score highly correlated with human judgments. Since the size of the reduced reference data is very small (12 features per frame) and computationally simple, such a metric could be very useful to monitor quality for transmission services. The main novelties of the approach rely not only on the original way to proceed with color using a psychovisual colorspace but overall on a new promising idea to deal with the critical steps of comparison, combination and temporal pooling according to high level human visual system behavior. We show that time delay neural networks (TDNN) topology is well suited to achieve these latter steps.
A Course in Statistics with R

"A Course In Statistics With R" offers a comprehensive course in Statistics at the masters level. R is emerging as the computational language of the Statistics community and we have embedded it as the grammar of the book. We begin with the basic functions and then use the software in cleaning and preparing the available data sets in a "ready-form" for statistical inference. Probability Models and Statistical Inference (including estimation and testing hypotheses) are deliberated in a way which will streamline understanding of the theory and its nuances. Linear models, Design of Experiments, Multivariate Statistics, Sampling Theory, Categorical Data Analysis, and Generalized Linear Models have been addressed in a pedagogical manner which facilitates a strong understanding of the applied aspects of the subject. Further, a rigorous introduction of Bayesian Inference, Simulation, and Stochastic Processes consolidates the requirement of a masters student. It would suffice to say that the book is constructed with the aim of being a useful source of understanding Statistics with R.
Direct constraints on the impact of TP-AGB stars on the SED of galaxies from near-infrared spectroscopy

Abstract We present new spectro-photometric NIR observations of 16 post-starburst galaxies especially designed to test for the presence of strong carbon features of thermally pulsing AGB (TP-AGB) stars, as predicted by recent models of stellar population synthesis. Selection based on clear spectroscopic optical features indicating the strong predominance of stellar populations with ages between 0.5 and 1.5 Gyr and redshift around 0.2 allows us to probe the spectral region that is most affected by the carbon features of TP-AGB stars (unaccessible from the ground for z ~ 0 galaxies) in the evolutionary phase when their impact on the IR luminosity is maximum. Nevertheless, none of the observed galaxies display such features. Moreover the NIR fluxes relative to optical are consistent with those predicted by the original Bruzual & Charlot (2003) models, where the impact of TP-AGB stars is much lower than has been recently advocated.
PERBAIKAN INISIALISASI K - MEANS MENGGUNAKAN GRAF

K-Means adalah salah satu algoritma clustering yang sangat popular karena kesederhanaan dan kemampuannya dalam menangani data dengan skala besar. Namun demikian algoritma ini sangat sensitif terhadap centroid awal. Perbedaan centroid awal akan memberikan perbedaan hasil clustering dan apabila centroid awal yang diberikan adalah centroid yang tidak baik maka dapat dipastikan hasil clusteringnya juga tidak baik. Artikel ini memuat sebuah metode baru yang dikembangkan penulis untuk meningkatkan kualitas centroid awal melalui teknik perbaikan k yang didasarkan pada graf hutan yang minimum (minimum forest graf). Hasil percobaan yang telah dilakukan menunjukkan bahwa metode inisialisasi menggunakan graf hutan yang minimum menghasilkan centroid awal yang lebih baik dan konsisten dibandingkan metode Forgy. Disamping itu jumlah perulangan yang harus dilakukan dalam proses clustering dengan menggunakan metode ini adalah lebih sedikit (rerata 3,2) dibandingkan metode Forgy (rerata 6,4).
Dynamic Replication Algorithm in Data Grid: Survey

Data Grid is an infrastructure that manages huge amount of data files, and provides intensive computational resources across geographically distributed collaboration. It is not enough to provide convenient accessibility to these data by only high speed network and large mainframe systems. For improving the performance of file accesses and to ease the sharing amongst distributed collaboration, such a system needs replication services. Data replication is a common method used to improve the performance of data access in distributed systems. In this paper, we present a survey of some related previous works and highlight some various algorithms that have been proposed by other researchers. A dynamic replication model based on mathematical concepts is proposed. The main purpose of this model is find out the popular file using the concept of exponential decay/growth. We estimate the next number of access for the file.
A computer model of the human precision grip

The term precision grip refers to the fine human grip between the pulps of the index finger and the thumb. It is used for the manipulation of small and discrete objects, e.g., lifting an object from a table. The precision grip is composed of two orthogonal force components: the grip force (squeeze) in the normal direction, and the load force (lift) in the tangential/vertical direction. Complex sensory and cognitive mechanisms form internal neural representations of the objects physical properties (e.g., its weight, size, and surface friction), which are used to adjust the force output both in feedback and feedforward modes [1]. The circuits controlling the precision grip involve several cortical areas, and is conveyed through the descending cortico-motoneuronal system. Here, a computer simulation model of the human precision grip is presented. The hand is represented by a non-linear model of the lift force, and a linear grip force generator. The lift force and the vertical movement are based on a lumped parameter agonist-antagonist biomechanical Hill-model [2], where the parameters are taken from the litterature. The grip force generator, however, generates isometric forces only, i.e., no grip movements are involved. In humans, the precision grip is a rather complex multijoint function known to involve approximately 15 muscles. The parameters for the grip force generator are therefore extracted from two specially designed grip force experiments, as described below (see System identification). System identification
Developing a mediation framework for context-aware applications : an exploratory action research approach

This thesis takes an exploratory approach to the study of context-aware applications. Such applications use physical conditions from sensors together with human factors such as social setting as cues for adapting in behavior during use. Given this adapting behavior, context-aware applications take a significantly more active role than traditional applications. Through the active role, context-aware applications have the ability to mediate the creation of additional meaning. It is this mediation ability which provides the three research objectives of this thesis: [1] to develop a mediation framework that captures the tension between design time intentions and use time perceptions, [2] to use this mediation framework when identifying mediation roles that context-aware applications may take, and [3] to use these mediation roles for illustrating design implications on context-aware applications in complex environments. These research objectives are inductively developed based on an action research study involving three industrial organizations and one research institute. Together, these collaborating partners design, assess, and analyse the outcome of a context-aware application. This application is intended for use by passengers in cars and strives to motivate increased interaction in a way that is contextually informed, but that promotes cautious driving. Using this application together with nine others, the mediation framework is applied, finding eight characterizing mediation roles that context-aware applications may hold. The eight mediation roles are then used to define design implications. Finally, as part of the post-mortem reflection on the action research study, an exploratory action research approach is suggested.
The threeparttable package

This package facilitates tables with titles (captions) and notes. The title and notes are given a width equal to the body of the table (a tabular environment). By itself, a threeparttable does not float, but you can put it in a table or a table* or some other floating environment. (This causes extra typing, but gives more flexibility.) Inside a threeparttable there should be a caption, followed by a tabular environment (tabular, tabular*, tabularx or the like), possibly followed by a series of itemized tablenotes. (The caption may also go after the tabular environment.) For example: