Miracle-dz/UniFAR-FTUs huggingface dataset:
2 A Component Model Based on Services : Kmelia

Component-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The current work addresses the composability of components and their services. A component model (Kmelia) is introduced; an associated formalism, simple but expressive is introduced; it describes the services as extended LTSs and their structuring as components. The composability of components is defined on the basis of the composability of services. To ensure the correctness of component composition, we check that an assembly is possible via the checking of the composability of the linked services, and their behavioural compatibility. In order to mechanize our approach, the services and the components are translated into the Lotos formalism. Finally the Lotos CADP toolbox is used to perform experiments.
Data rate estimates, range calculations and spectrum demand for new elements of systems beyond IMT-2000

Research activities on systems beyond third generation mobile communication started already around 1999. The major drivers for these systems are the increasing demand for personal mobile communications with respect to performance, applications, traffic, and ease of use including communications involving machines. Cost reduction in terms of more bits for the same money is a major requirement to enable the economic success of future systems. From the user perspective increasing personal mobility enforces mobile communications in business and the private sector. ITU-R WP8F, ITU-T SSG and bodies like WWRF are currently working on the vision of systems beyond IMT-2000 on a global basis, and are defining basic requirements. New elements of these systems for the mobile access (up to 100 Mbps peak cell capacity) and the nomadic/wireless local area access (up to 1 Gbps peak cell capacity) are being discussed. These requirements result in a significant reduction of the covered range and, thereby, in the cell size compared to the third generation. In addition, a huge amount of spectrum is required to enable these requirements. The impact on attainable range and spectrum demand for a new mobile broadband access element is investigated. The nomadic/wireless local area access is not considered.
Gaze-typing for Everyday Use Keyboard Usability Observations and a " Tolerant ' ' Keyboard Prototype

Gaze-typing opens up a new input channel, but its keyboard designs are not ready for everyday use. To investigate the gazetyping keyboards for such use that are easy to learn, fast to type, and robust to use differences, I analyzed the usability of three widely used gaze-typing keyboards by a user study with typing performance measurements, synthesized the design space of everyday used gaze-typing keyboards under the topics of typing schemes and keyboard letter layouts, feedback, ease of text editing, and system design. In particular, I found gazetyping keyboards need “tolerant” designs that allow implicit gaze control and balance between input ambiguity and typing efficiency. Therefore, I prototyped a gaze-typing keyboard using a shape-writing scheme meant for everyday typing by gaze gestures, with the adaption on segmenting the gaze locus when writing a word from continuous gaze data stream. The system affords real-time shape-writing in the speed of 11.70 WPM and the error rate of 0.14 evaluated with an experienced user and supports to type 20000+ words from the lexicon.
Recent advances in personalizing cardiac arrest resuscitation

Cardiac arrest remains a significant cause of death and disability throughout the world. However, as our understanding of cardiac arrest and resuscitation physiology has developed, new technologies are fundamentally altering our potential to improve survival and neurologic sequela. Some advances are relatively simple, requiring only alterations in current basic life support measures or integration with pre-hospital organization, whereas others, such as extra-corporeal membrane oxygenation, require significant time and resource investments. When combined with consistent rescuer and patient-physiologic monitoring, these innovations allow an unprecedented capacity to personalize cardiac arrest resuscitation to patient-specific pathophysiology. However, as more extensive options are established, it can be difficult for providers to incorporate novel resuscitation techniques into a cardiac arrest protocol which can fit a wide variety of cases with varying complexity. This article will explore recent advances in our understanding of cardiac arrest physiology and resuscitation sciences, with particular focus on the metabolic phase after significant ischemia has been induced. To this end, we establish a practical consideration for providers seeking to integrate novel advances in cardiac arrest resuscitation into daily practice.
Preparing Your Article or Abstract

This formatted document contains examples of many of the elements of an abstract or technical paper, including multiple authors, CCS concepts and keywords, sections and subsections, formulae, tables, figures, enumeration environments, and citations and references. Of particular note to authors preparing work for publication at an event sponsored by ACM SIGGRAPH are the citations and references; although the ACM article default is for numbered citations and references, we use the “author year” citation and reference style.
Techniques for educational items projection

This thesis studies the problematics of item similarities in educational systems and visualization of these items based on their similarities. First, we describe various measures that use learners’ performance data or text of the items for computation of the similarities. Second, we evaluate these measures mainly using results from clustering and visualization techniques, where the computed similarities are used as input. Then, we compare and study two different techniques used for data projection, which can provide us valuable insights into the data of the systems. The measures and the visualization techniques are evaluated on the data from the system Umíme česky. The results show that t-SNE is a good technique for projection of data and that the appropriate choice of similarity measure is crucial.
Chapter 2 A Northeast Saharan Perspective on Environmental Variability in North Africa and its Implications for Modern Human Origins

In this chapter, we recall a record of Saharan dust supply into the eastern Mediterranean Sea (ODP Site 967) to document Middle-Late Pleistocene environmental variations in the Northeast Sahara (NES). Distinctive dust flux minima ca. 330, 285, 240, 215, 195, 170, 125, 100, and 80 ka attest to the expansion of subtropical savannah landscapes throughout the NES during boreal summer insolation maxima, which drove penetration of the West African summer monsoon front up to 25–278N. Such ‘‘green Sahara’’ periods broadly correlate with U-series ages of lacustrine and spring carbonates scattered throughout the NES, which are often associated with Acheulean and Mousterian archaeological sites that attest to widespread occupation of the area during pluvial episodes. In contrast, Aterian sites are linked to spring deposits and mountain areas during a prolonged period of hyperarid climate, which suggests adaptation to desert conditions. The Site 967 dust record has important implications for understanding the evolution and population dynamics of modern humans in Africa. Thus, the monsoon-driven alternation of ‘‘green Sahara’’ and hyperarid desert conditions throughout North Africa, combined with similarly paced environmental variations within tropical Africa, provides a favorable scenario for the speciation of H. sapiens, for a gradual accumulation of African modern behaviors as a whole, and for frequent out of Africa dispersals of modern human populations.
Evaluation of Viral Migration of Different Variants of Equid Alphaherpesvirus 1 in the Central Nervous System of Hamsters by Immunohistochemistry

The intranasal inoculation of equid alphaherpesvirus1 (EHV-1) Brazilian variants A4/72, A9/92, A3/97, Iso72/10 and the Argentine variant AR4 in a Syrian hamster model Mesocricetus auratus induced severe encephalitis. Clinical signs included weight loss, lethargy, somnolence, anorexia, and intense salivation two days post-inoculation (dpi), followed by neurological signs such as loss of proprioception, walking in circles, spastic paralysis, seizures, recumbency and death at 3rd dpi (A9/92 and A4/72 variants) and 4th dpi. Respiratory signs such as dyspnea and serosanguinous nasal discharge were also observed. Histopathological changes in brain included mixed inflammatory infiltrate with predominance of mononuclear cells, neuronal degeneration, liquefactive necrosis, hemorrhagic foci, leptomeningitis, perivascular edema, mononuclear infiltration, and perivascular cuffing. Immunohistochemical examination showed viral replication in neurons restrict predominantly to olfactory bulb and frontal cortex (variants AR4 and A3/97) and in groups of cells from distant regions, such as the caudal diencephalon and rostral mesencephalon (variants Iso72/10) and absence of viral antigen labeling of variants A9/92 and A4/72 despite these variants were the most neurovirulent, so new experiments not staggered in days but in hours post inoculation are needed to better understand the viral migration of these variants.
2 Learning About Physical Processes via Bayes ’ Theorem 2 . 1 Bayes ’ Theorem

In this report we discuss the use of Bayesian hierarchical modelling as a tool to integrate physical and statistical models in geophysics. We demonstrate Bayes’ theorem as a means to learn about physical processes, developing a simple example concerned with friction on slopes to illustrate the ideas. Some more complex examples drawn from the literature are summarised; we then use these ideas to develop a candidate framework for climate forecasting. We also consider methods for fitting physical-statistical models.
The possibilities and limitations of heterogeneous process migration

Heterogeneous Process Migration is a technique that allows an active program to move between computers of differing architectures. While the program is executing, a migration tool will pause the program, locate the data values within the program's memory, convert them to a suitable format for the destination machine, then reconstruct the program on the destination machine so that it will continue executing correctly. Although a small number of heterogeneous migration mechanisms have been proposed, few of them have been constructed, and none have yet resulted in a mature and efficient implementation. The Tui system has been constructed to provide an efficient migration tool for use on four common architectures within the Unix environment. Implementation lessons were learned while optimizing the Tui system to gain performance. Tui has been used to derive a definition of migratibility. All other migration implementations have assumed that the program must be written in a type-safe language, or in a type-safe subset of a language. Since Tui has been designed to support heterogeneous migration of common languages that are non-type-safe, a survey of non-migratible language features has been undertaken. From this study, a definition for migratibility has been created, a framework for designing a migration tool has been given, and a comparison between migratibility and type-safety has shown that the two concepts are similar, yet different.
A static model for reverse engineering of software threads and their interactions

Reverse Engineering is a process of analyzing the subject system to identify its components, and relationships so as to represent the system at higher levels of abstractions to help developers understand the system for later maintenance and enhancement. Many software systems deployed in both military and industrial domains are very complex and comprise of multiple threads of control. Such systems are expensive and time consuming to build and must be evolved to meet new challenges. Hence, the challenge lies in discovering the information about the threads and their interactions for later maintenance and enhancement activities. In this paper, we have proposed a static model that analyses C++ multithreaded LINUX source code, extracts information about threads, their interactions and record their understanding. The extracted information is used for pictorial presentation and program comprehension. The details obtained from multithreaded source code is helpful in clear understanding of architecture of threads and their interactions resulting into reduced effort in maintenance and enhancement of software.
Paper — In Vitro Development of Equine Oocytes from Preserved Ovaries after Intracytoplasmic Sperm Injection

In this study, we evaluated the meiotic competence of equine oocytes from ovaries preserved for one day. We also investigated fertilization, cleavage rate, developmental competence and freezability of equine embryos after intracytoplasmic sperm injection (ICSI). After collection from ovaries, the oocytes were classified into two groups comprised of those having compact cumulus layers (Cp) or those having expanded cumulus layers (Ex). Oocytes with a first polar body were subjected to fertilization by ICSI using frozen-thawed stallion spermatozoa and were then cultured in CR1aa medium. The rates of metaphase II-stage oocytes, normal fertilization and cleavage were not significantly different between the two oocyte categories (38.5, 70.0 and 48.7% for CP and 43.5, 60.0 and 58.8% for Ex, respectively). However, the blastocyst development rate of Ex was significantly (P<0.05) higher than that of Cp (25.5 vs. 7.7%). Three Cp-derived and 12 Ex-derived early blastocysts were cryopreserved using the slow cooling protocol, and all of them developed to hatching blastocysts after thawing. These results suggest that equine oocytes fertilized by ICSI can develop to the preimplantation stage in culture conditions similar to those used in the bovine. Furthermore, the Ex oocytes had higher developmental competence than the Cp oocytes, and the in vitro-produced blastocysts had high viability after freezing and thawing.
Adaptive System for Learning Programming

This thesis presents an adaptive learning system for introductory programming. To support learning and motivation, the system uses block-based programming, a novel grid-world programming game, and progress visualization based on mastery learning. By adapting difficulty of tasks to the current skills, the system helps the students to immerse in the problem-solving activity and achieve the state of flow. Collected data are used in offline analyses leading to insights that help to iteratively improve the system.
Digital WPI Major Qualifying Projects ( All Years ) Major Qualifying Projects April 2009 Almost Independent Binary Random Variables

A collection C of binary n-tuples, C ⊆ {0, 1}, is considered pairwise independent if for every i and j (1 ≤ i < j ≤ n), Prc∈C [(ci, cj) = α] = 2 −2 for any α ∈ {0, 1}. Likewise, C is considered t-wise independent if the projection onto any t coordinates is uniformly distributed in {0, 1} as c is chosen uniformly from the sample space C. Notice that for a collection C to be t-wise independent, |C| must greater than 2; for certain applications, this is much too large. The aim of this project is to decrease the size of |C| while still allowing the projection onto any t coordinates to appear uniformly distributed in {0, 1}. In this paper we explore several concepts of almost t-wise independence. For example, we may require that for every t coordinates i1, . , it and every α ∈ {0, 1}, ∣∣Prc∈C [(ci1 , ci2 , . . . , cit) = α]− 2−t∣∣ ≤ for some given > 0. I will be presenting two definitions for almost t-wise independence. Through coding theory tools, such as Delsarte’s linear programing bound and sphere-packing bounds, I will show bounds imposed on the size of C based on those definitions. Through known constructions of almost independent binary random variables, I will then demonstrate how the definitions and bounds I established apply to these pseudo-random collections of binary n-tuples.
Automated Self-Monitoring of Calorie Estimation on Food

The survey paper summarizes the overall consumption of food to know whether it is healthy or not. Research shows that food logging is beneficial in promoting weight loss. This work investigates the feasibility of crowd sourcing to approximately predict the calories in the meal images. Crowd sourcing uses ‘understanding of the troops’ to allow a group of persons to complete an activity to reach a goal or to solve a problem. The research shows all the different ways which are implemented to analyze the food content. The different implemented ways like Amazon Mechanical Turk, Modified Nutrient Profiling Index (MNPI) and Traffic Light Diet approach (TLD). The objectives were, 1) To determine if a crowd of experts and non-experts can approximately estimate the calorie content in images of meals, 2) To determine if the analyzing group of non-experts calorie estimation can be used to adjust calorie content in images of meals to promote accuracy.
IMPROVING POSTOPERATIVE RESPIRATORY OUTCOME 5 RC 1

Many factors responsible for PPCs are related to disruption of the normal activity of the respiratory muscles, disruption that begins with the induction of anesthesia and that may continue into the postoperative period [2]. At high doses, anesthetics attenuate the activities of all respiratory muscles. However, at moderate depths of anesthesia, anesthetics may produce respiratory depression by altering the distribution and timing of neural drive to the respiratory muscles, rather than by producing a global depression of activity. Thus, perioperative respiratory muscle dysfunction is in many cases more a matter of a lack of coordination than a lack of overall activity. As with other complex systems, this lack of coordination reduces efficiency, in this instance producing hypoventilation. In addition, deformation of the chest wall alters the underlying lung, decreasing the functional residual capacity and producing atelectasis in dependent lung regions. These and other effects produce the ventilation-perfusion inequalities characteristic of anesthesia.
A Novel Compact Frequency Reconfigurable Antenna for VHF/UHF/L-Band Airborne Applications

In this letter, we propose a novel frequency reconfigurable antenna design for aircraft and drone telecommunication that covers the applied VHF/UHF/Lbands. The proposed structure is a Reduced-Size Edge-Shorted dipole/monopole antenna and consists of metallic line, notch, and metal reflector, making it easy to combine directional, high-gain, low cross-polarization and wide bandwidth. The antenna is frequency-reconfigurable using a PIN diode switch. In the ON state, the antenna operates as a dipole-traveling antenna and covers 30–400 MHz. In the OFF state, the antenna operates as an Edge-Folded monopole antenna and covers 500–1220 MHz. This work proposes a technique for size reduction using side slot and for gain equalization using switchable folded wing based on Smart Geometry Reconfiguration. The proposed antenna has VSWR< 2 for all bands. Antenna gain is less than 1.56 dBi at 30– 400 MHz and 4.56 dBi at 500–1220 MHz.
A Call Admission Control with Dynamic Bandwidth Allocation for providing delay guarantees in IEEE 802 . 11 e Networks

The 802.11e working group has recently proposed innovative functionalities in order to support delay-sensitive multimedia applications, such as real-time voice and video, in Wireless Local Area Networks (WLANs). This paper proposes an innovative dynamic bandwidth allocation algorithm along with a measurement based CAC algorithm for providing delay guarantees to real-time media flows in IEEE 802.11e networks. These algorithms have been implemented in the ns-2 simulator and extensive computer simulations have been carried out to assess their validity. Simulation results have shown that proposed algorithms guarantee bounded delays for multimedia flows, whereas, analogous algorithms proposed by the 802.11e working group fail in presence of high network loads. Keywords— QoS, WLANs, 802.11e networks, Feedback Control
Power line Compromising Emanations Analysis

The paper presents an innovative method used to analyze the video-compromising signals that computer equipment generates during normal operation. It presents the measurement results achieved for conducted emissions for a commercial laptop using a shielded power source and a commercial transformer as well as conducted emissions generated by a display unit which is connected to a laptop and is alternatively powered by a commercial and a shielded cable. In order to perform these tests, there were selected several graphical images consisting of horizontal bars of various widths to facilitate the detection and evaluation of the compromising video signal level. Cuvinte cheie: emisii compromiţătoare, refacerea semnalului video, emisii conduse, sursă alimentare, cablu alimentare, imagine de test.
Research on the Teaching of SPOC-based Flipped Classroom of College English

With the changing demand for the talents of modern society, traditional classroom teaching has seriously hindered the improvement of college English education and the cultivation of student’s comprehensive English quality. The SPOC (Small Private Online Course) combines the advantages of MOOC (Massive Open Online Courses) and real classroom, forming a new mixed teaching model, which is conducive to improving the quality of college English teaching. This paper analyses the characteristics of SPOC teaching model, and points out the construction strategies of SPOC-based college English flipped classroom teaching model, which can provide some references for the relevant researchers.
INTEGRATING INTERMITTENT WIND POWER ON DISTRIBUTION NETWORKS USING DYNAMIC REACTIVE POWER AND ENERGY STORAGE

The role and application of energy storage and dynamic reactive power support for integrating wind power plants on distribution feeders are discussed in this paper. A well-engineered energy storage plant can help alleviate some of the problems encountered with the integration of intermittent wind resources and at the same time make the wind power plants more cost effective and dispatchable in existing distribution system. The intent of this paper is to demonstrate these features by means of a planned application of a D-STATCOM and Battery Energy Storage System (BESS) in a region with high penetration levels of wind. Firstly, the paper describes the integration challenges of integrating intermittent wind power, followed by possible mitigation measures. Thirdly, a specific application of a DSTATCOM with a BESS is included, the different possible revenue streams are calculated, and a plan to measure the field performance of the device is described.
Maximizing a preference relation on complete chains and lattices

Maximization of a preference relation on a given family of subsets of its domain defines a choice function. Assuming the domain to be a poset or a lattice, and considering subcomplete chains or sublattices as potential feasible sets, we study conditions ensuring the existence of optima, as well as properties of the choice function conducive to monotone comparative statics. Concerning optimization on chains, quite a number of characterization results are obtained; when it comes to lattices, we mostly obtain sufficient conditions. JEL Classification Numbers: C 61; D 11.