Miracle-dz/UniFAR-FTUs huggingface dataset:
Innehåll och yta i läsbarhetsanalys

A readability algorithm evaluates a text and gives it a numerical value to reflect the it’s readability. This paper discusses the readability algorithm LIX and the concept of readability. It also proposes some alternative readability algorithms and evaluates whether these algorithms can assess readability better than LIX. The evaluation was conducted with texts from two distinct categories. Every text in the first category has a corresponding text in the second one with a similar content but written in a way deemed as less readable. The materialcategorized as more readable consists of texts awarded with ”Klarsprakskristallen”, an annual award to governmentbodies, such as Riksbanken, which has made outstanding efforts to enhance the readability of their publications.The texts classified as less readable consists of corresponding publications from these bodies, published before they were given this award.The results of our study showed that all the algorithms for the majority of the texts could determine which text was more readable. However, in a signed-rank test at a 5 % significance level we could not reject the theory that the algorithms were not able to determine which text was more readable. A unigram algorithm showed results closest to the desired statistical significance, since it was ableto determine which of the texts was most readable at a significance level of 8 %.
Using State Merging and State Pruning to Address the Path Explosion Problem Faced by Symbolic Execution

Abstract : Symbolic execution is a promising technique to discover software vulnerabilities and improve the quality of code. However, symbolic execution su ers from a path explosion problem where the number of possible paths within a program grows exponentially with respect to loops and conditionals. New techniques are needed to address the path explosion problem. This research presents a novel algorithm which combines the previously researched techniques of state merging and state pruning. A prototype of the algorithm along with a pure state merging and pure state pruning are implemented in the KLEE symbolic execution tool with the goal of increasing the code coverage. Each algorithm is tested over 66 of the GNU COREUTILS utilities. State merging combined with state pruning outperforms the unmodified version of KLEE on 53% of the COREUTILS. These results confirm that state merging with pruning has viability in addressing the path explosion problem of symbolic execution.
FUNCTION MODELING EXPERIMENTS.

Abstract : The results of an experimental investigation of the capabilities and the limitations of trainable machines for use in function modeling have been presented. In the simpler experiments the data used for training were noise-free. Here the structure of the machine set the fundamental limitation on the possible performance. In the prediction experiments, random fluctuations in the data also limited performance. Modified training rules, which have not yet been theoretically justified, were developed to cope with the second limitation. Elementary functions were approximated in many of the function modeling experiments; for these functions, the use of a learning machine instead of more conventional methods cannot be justified. However, for more difficult applications, such as those encountered in the prediction experiments, the machine performance was sufficiently good to make the speed advantages of a training machine a significant consideration. Viewed as a statistical procedure, this technique is essentially a non-parametric procedure that can be efficiently performed by a special-purpose computer of the type currently being constructed for pattern recognition problems. (Author)
Agromine associant plantes hyperaccumulatrice de nickel et légumineuse, comme service écosystémique des sols ultramafiques

L’application de l’agromine a des zones ultramafiques delaissees constitue un enjeu majeur a la vue des surfaces potentiellement valorisables. Par contre, les sols ultramafiques sont particuliers avec de fortes concentrations en metaux et une quasi absence de matiere organique. Malgre tout, la mise en place de l’agromine a deja donne de bons resultats, couplee avec l’application d’herbicides et une fertilisation minerale. Notre defi a ete de developper une agromine durable par la mise en place d’agro-ecosystemes bases sur l’introduction d’une legumineuse en association avec une plante hyperaccumulatrice et la suppression de tout intrant chimique. Nos resultats ont confirme clairement que l'introduction d'une legumineuse dans l’agromine a ameliore la production de biomasse de Alyssum murale et les rendements de nickel par rapport a sa monoculture fertilisee et non fertilisee. Nos travaux ont egalement montre que l'insertion d'une legumineuse dans l’agromine permet d’ameliorer la structure du sol avec des agregats plus stables. De plus, de meilleures teneurs en carbone, azote et en matiere organique ont ete detectees. L’ensemble de ces elements conduit ainsi a une amelioration globale de la structure du sol, de sa fertilite et de son biofonctionnement. Correlativement, nos resultats ont mis en evidence les effets positifs de ces nouvelles pratiques, a la fois sur la taille, la diversite et les acitivites liees aux cycles biogeochimiques des communautes bacteriennes. D’un point de vue econonique, l’introduction de la legumineuse dans l’agromine implique un gain financier et de temps du fait de la reduction de l'application d’engrais et de produits phytosanitaires. Enfin, tous ces avantages conduisent a une rehabilitation des sols ultramafiques avec une restauration de leurs qualites physique, chimique et biologique, tout en permettant a ces sols particuliers d’offrir plusieurs services ecosystemiques
Implementing a Distributed Execution Service for a Grid Broker

Grid middleware such as OurGrid offer solutions for executing parallel tasks on a grid system. In such systems, users submit their applications for executions through a client broker. MyGrid is the client broker used for the OurGrid system; it is in charge of managing task executions that a user has submitted. Although the broker is able to detect task failures and reschedule them, MyGrid itself constitutes a single point of failure from the user perspective. If it fails, all knowledge of task executions is lost. Moreover, MyGrid is also a bottleneck, since hundreds, or even thousands, of executions could potentially be spawned by an application and need to be managed at the same time by a single broker. In this paper we present the design and implementation of a fault-tolerant distributed execution service that allows for load balancing and improves MyGrid performance. A checkpointing mechanism is used to ease the implementation of the service and to further increase system reliability.
Cognitive linguistics, second language acquisition, and foreign language teaching

This book shows that the notions developed within the Cognitive Linguistics movement afford an insightful perspective on several important areas of second language acquisition and pedagogy. The key concepts commonly invoked in cognitive analyses such as the usage-based conception of grammar, the radial organization of categories, metaphors, or cultural scripts, do not only represent powerful constructs within which the process of second language acquisition can be valuably investigated, but also allow teachers to successfully introduce problematic material in the foreign language classroom.
Life and Death

While these legacies give the region a harsh reputation, the circle of life and death is a necessary part of all environments. In the Big Bend, this desert dichotomy is best characterized by two plants: the agave (also known as the century plant) and the resurrection plant. The agave, after a life span of twenty to thirty years, shoots up a bloom stalk over fi fteen feet tall, then dies. On the other hand, the resurrection plant is a humble, often-overlooked example of desert fl ora. The plant adopts a withered appearance much of the year, brightly springing to life only after heavy rain.
Systematic Support of Parallel Bit Streams in LLVM

Parabix (parallel bit stream) technology uses the single-instruction multiple-data (SIMD) capabilities of commodity processors for high-performance text processing. LLVM is a widely-used compilerinfrastructure that includes support for SIMD operations on vectors. This thesis investigates the feasibility of modifying LLVM to incorporate all the SIMD processing requirements of Parabix both to increase the portability of applications and to create additional opportunities to optimize those operations in the context of code generation. Our modifications include redefining type legality and lowering for vectors of small elements as well as insertion of logic to recognize and properly handle Parabix-critical operations. Experiments on the X86/SSE2 architecture show a speedup over the unmodified LLVM of about 300 times for some micro-benchmarks and demonstrate Parabix application performance substantially better than with the unmodified LLVM. We also demonstrate performance scaling in switching from X86/SSE2 to X86/AVX2 without any change in source code.
Modelo estrutural para compartilhamento de arquivos peer-to-peer

The file sharing process has evolved significantly since the creation of the first personal computers to the present days. Such evolution begun with the possibility of data sharing among the users of a same supercomputer, passed through the creation of removable storage devices and, after that, took advantage in the technology advances in computer networks. In this last phase, it is possible to distinguish two different approaches one based on a client-server architecture, and another aiming to use the peer-to-peer concepts for data access. The growth in the adoption of peer-to-peer approaches, however, still have not been enough to guarantee the primary goal of this approach, which is to simplify access to shared data, due to the existence of multiple incompatible peer-to-peer networks. In this context, this dissertation presents a completely decentralized and autonomic approach to data indexing and access. In this sense, this approach intends to provide mechanisms to access data stored on independent peer-to-peer networks using industry standards, and offering access to such data to user and system applications, such as the web browsers, which was the focus of study case in this work, and made possible to verify all it’s benefits and feasibility.
Analysis and optimal design of micro-energy harvesting systems for wireless sensor nodes

Presently, wireless sensor nodes are widely used and the lifetime of the system is becoming the biggest problem with using this technology. As more and more low power products have been used in WSN, energy harvesting technologies, based on their own characteristics, attract more and more attention in this area. But in order to design high energy efficiency, low cost and nearly perpetual lifetime micro energy harvesting system is still challenging. This thesis proposes a new way, by applying three factors of the system, which are the energy generation, the energy consumption and the power management strategy, into a theoretical model, to optimally design a highly efficient micro energy harvesting system in a real environment. In order to achieve this goal, three aspects of contributions, which are theoretically analysis an energy harvesting system, practically enhancing the system efficiency, and real system implementation, have been made. For the theoretically analysis, the generic architecture and the system design procedure have been proposed to guide system design. Based on the proposed system architecture, the theoretical analytical models of solar and thermal energy harvesting systems have been developed to evaluate the performance of the system before it being designed and implemented. Based on the model’s findings, two approaches (MPPT based power conversion circuit and the power management subsystem) have been considered to practically increase the system efficiency. As this research has been funded by the two public projects, two energy harvesting systems (solar and thermal) powered wireless sensor nodes have been developed and implemented in the real environments based on the proposed work, although other energy sources are given passing treatment. The experimental results show that the two systems have been efficiently designed with the optimization of the system parameters by using the simulation model. The further experimental results, tested in the real environments, show that both systems can have nearly perpetual lifetime with high energy efficiency.
Interactive Design for New Media and the Web

From the Publisher: This new edition of Designing Interactive Digital Media is significantly expanded with the latest interactive features of DVD, as well as the newest techniques and technologies used for other forms of digital rendering. Included among the many enhancements to the new edition are sections on user participation in e-commerce, 3D graphics and animation, polling and use of cookies, new design templates, html and intranet learning games. The companion Website shows numerous examples discussed in the text of all types of programs and their applications.
Reading and Communication in the Modern Languages Classroom.

This paper reviews the current crisis in reading ability decline in British primary schools and how modern language teaching methods are remedying this crisis, specifically the problems in exam and syllabus design. It is suggested that the juxtaposition of phonic and psycholinguistic methods in'teaching reading are the root of the continuing question of primacy of structure and meaning. In addition, casual reading may not be a normal pastime of modern students, they may be given insufficient time for reading lessons, and they may not be taught how to read in the first place. Texts used for reading may not allow the full development of comprehension skills. A more refined teaching approach to reading is presented in which reading is based on the type of reading that learners should be doing and when and how, rather than organized around a multitude of activities and exercises. The practical application of reading in the modern languages classroom is discussed, in particular, ways of reading and the content and form of a modern languages program. (Contains 18 references.) (NAV) Reproductions supplied by EDRS are the best that can be made from the original document. *********************************************************************** Reading and Communication in the Modern Language Classroom
TSUBAKI: An Open Search Engine Infrastructure for Developing Information Access Methodology

Due to the explosive growth in the amount of information in the last decade, it is getting extremely harder to obtain necessary information by conventional information access methods. Hence, creation of drastically new technology is needed. For developing such new technology, search engine infrastructures are required. Although the existing search engine APIs can be regarded as such infrastructures, these APIs have several restrictions such as a limit on the number of API calls. To help the development of new technology, we are running an open search engine infrastructure, TSUBAKI, on a high-performance computing environment. In this paper, we describe TSUBAKI infrastructure.
KOMPLEKSITAS LANGGAM DALAM RANCANGAN ARSITEKTUR KERATON YOGYAKARTA

Sebuah objek arsitektural dapat dipandang sebagai sebuah artefak. Sebuah artefak dapat dipandang sebagai sebuah tanda. Sebuah tanda akan memiliki ekspresi tertentu. Dan sebuah tanda juga mengandung makna tertentu. Hal tersebut menjadikan penelusuran tentang penafsiran makna dalam sebuah karya arsitektur harus melalui tanda dan artefak fisik-visual. Sebagai sebuah tanda, karya arsitektur, bisa jadi secara visual mengandung ekspresi yang jelas, tegas, dan simpel. Tetapi, bisa jadi artefak tersebut mengandung ekspresi yang tidak sederhana, rumit atau komplek. Sebagai objek studi, adalah Keraton Yogyakarta, secara visual merupakan sekumpulan artefak yang merupakan pertemuan langgam tradisional Jawa dengan Kolonial Belanda. Pertemuan antara ke dua langgam dalam rancangan pada Keraton Yogyakarta memunculkan kompleksitas ekspresi. Penelitian ini bertujuan untuk mengidentifikasi pola pertemuan ke dua langgam yang ada pada rancangan arsitektur Keraton Yogyakarta dan menafsirkan ekspresi yang terkandung di dalamnya. Metode yang digunakan adalah deskriptif kualitatif. Teknik observasi dilakukan dengan cara pengamatan visual, pembuatan dokumentasi, wawancara dengan nara sumber, mengkaji literatur terkait. Hasil dari penelitian ini adalah pada Tratag Pagelaran, Tratag Sitihinggil, dan Bangsal Ponconiti, elemen-elemen berlanggam Eropa hadir memperelok bangunan gedung berlanggam arsitektur Jawa, yang berkonsep naungan, tanpa dinding pelingkup, secara keseluruhan memiliki ekspresi ‘ringan’. Sedangkan pada Gedong Purwaretna dan Gedong Jene, sosok bangunan gedung berlanggam Kolonial Belanda sangat dominan, dengan ekspresi ‘berat’ yang dipercantik dengan ornamentasi berlanggam tradisional Jawa. Meskipun secara visual ke dua langgam memiliki karakter yang berbeda, tetapi dalam akulturasi keduanya di Keraton Yogyakarta memiliki ekspresi yang unity. Kata kunci: kompleksitas, langgam arsitektur, Keraton Yogyakarta
Computational Fluid-Structure Interaction: Methods and Applications

Computational Fluid-Structure Interaction: Methods and Applications takes the reader from the fundamentals of computational fluid and solid mechanics to the state-of-the-art in computational FSI methods, special FSI techniques, and solution of real-world problems. Leading experts in the field present the material using a unique approach that combines advanced methods, special techniques, and challenging applications.
Recordings in the human temporal lobe : data analysis and spike sorting

Recordings in the Human Temporal Lobe: Data Analysis and Spike Sorting Carlos Pedreira Gallego In the present thesis we study the recording of neurons in the human medial temporal lobe (MTL). We take a dual approach to the topic concordant to the scientific nature of the problem. On the one hand, the MTL is one of the most studied structures on the brain, strongly correlated to the formation and retrieval of conscious memories. On the other hand, the direct recording of neurons is a challenging operation requiring advanced methods of signal processing. We used recordings from electrodes implanted in epileptic patients to study the behaviour of MTL neurons with strong responses to visual stimuli. We studied how the repeated stimulus presentation modulated the firing of these neurons. The results showed decreased activity with each presentation and differences between areas in the line of the suggested roles in previous works. We analysed the performance provided by the algorithms used for the extraction of single unit activity out of the signal recorded by electrodes in the brain: a process called spike sorting. The results quantified an inherent limitation to these algorithms, with a maximum number of detected units and significantly reduced performance for those neurons with low firing rate. In summary, the work presented here contributes to the understanding of the ongoing processes in MTL neurons and the problematic of recording the activity of neurons, in especial the ones with low levels of activity.
A Bayesian Model to Predict Content Creation with Two-Sided Peer Influence in Content Platforms

While prior research has studied the motivations of individuals to consume content on social media platforms, limited work exists on how contributors are motivated to create content. We examine the role of peer influence in content production on YouTube, where content creators are competing for attention. Given that content creation efforts are driven not only by their personal preferences, but also by the content creation decisions of others in the network neighbors, we develop a new method to analyze discrete choice decisions (such as creating content or not) in a networked environment with panel data. We face a novel set of big data challenges, i.e., both statistical and quantitative, in estimating peer influence. We face computational challenges in that we cannot reasonably estimate peer influence over the entire YouTube network, which has billions of nodes. We employ graph sampling methods to address this issue. Identification of social influence in large-scale social networks such as YouTube is difficult due to the interdependence in decisions of users, correlations between the video's observable and unobservable characteristics and attributes over time. These patterns cannot be modeled with existing autocorrelation models. We design a new method, the Network Auto-Probit Model with Fixed Effects (NAFE), to identify peer influence among content creators on YouTube. Implications for research and practice are also discussed.
Vascular ring anomaly in a patient with phosphomannomutase 2 deficiency: A case report and review of the literature

Congenital disorders of glycosylation (CDG) are a group of metabolic disorders well known to be associated with developmental delay and central nervous system anomalies. The most common CDG is caused by pathogenic variants in the phosphomannomutase 2 gene (PMM2), which impairs one of the first steps of N‐glycosylation and affects multiple organ systems. Cardiac involvement can include pericardial effusion, cardiomyopathy, and arrhythmia, while an association with cardiovascular congenital anomalies is not well studied.
DISRUPTIVE EFFECTS BETWEEN MULTI-MODAL TASKS. IN: ENGINEERING PSYCHOLOGY AND COGNITIVE ERGONOMICS. VOLUME SIX. INDUSTRIAL ERGONOMICS, HCI, AND APPLIED COGNITIVE PSYCHOLOGY

This paper describes a series of experiments that examined the potential interference between concurrent tasks involving information processing in different modalities. Results suggest that interference does occur and it increases as the memory load increases in the tasks. It was concluded that this may present problems for interface developers working on development of multi-modal interfaces based on the assumption of independent processing across specific types of task in different modalities.
An Algebraic Semantics of Predicate Abstraction for PML

We give a semantics of abstraction in PML (Pointer Manipulation Language) given by Takahashi et al. This is an instance of unifying theory for abstraction of reactive systems given by the second author et al., as every model of PML induces a model of Rμ , a modal logic with ﬁxpoints studied by the second author. It gives the proof of the correctness of predicate abstraction used in MLAT.
A TIME SERIES FORECASTING MODEL FOR EQUIPMENT FAILURE PREDICTION USING IOT SENSOR DATA

A BSTRACT . The manuscript presents a conceptual IoT transformation model to transform grain industry into an IoT compliant entity. The cost factor in grain industry is directly dependent upon the grain storage available and an optimal inventory management. The grain industry operators are always focusing on the cost reduction in the supply chain. Understanding connection between re-ceival, outturn, inside storage capacity and between storage site movements can give us bits of knowledge that can be helpful in getting ready for the next harvest season, assessing the throughput limit of the framework, connection among the inventory.The study dives into the important pillars of grain inventory management and propose a forecasting model.