Miracle-dz/UniFAR-FTUs huggingface dataset:
Intrusion Tolerance in Large Scale Networks

The growing reliance on wide-area services demands highly available systems that provide a correct and uninterrupted service. Therefore, Byzantine Fault-Tolerant (BFT) algorithms have received considerable attention in the last years. A service is replicated over several servers and can survive even in the presence of a bounded number of Byzantine failures. The main motivation for this thesis is that for a replicated service to be fault-tolerant, common mode failures have to be avoided. More specifically, the thesis is concerned with common mode failures caused by natural disasters, power outages and physical attacks, which have to be prevented by scattering replicas geographically. This requires the sites where the replicas reside to be connected by a wide-area network (WAN) like the Internet. Unfortunately, when the replicas are distributed geographically the performance of current BFT algorithms is affected by the lower bandwidths, and the higher and more heterogeneous network latencies. In order to deal with these limitations this thesis introduces novel BFT algorithms that are simultaneously efficient and secure. Some algorithms of this thesis are based on a hybrid fault model, i.e., considering that a part of the system is secure by construction. A notable contribution of this thesis is the definition and implementation of a minimal trusted service: the Unique Sequential Identifier Generator (USIG). The thesis describes how to implement a 2 f + 1 Byzantine consensus algorithm using a 2 f + 1 reliable multicast algorithm that requires a trusted service, that is an abstract version of the USIG. Then, the USIG service and the reliable multicast primitive are applied as a core component to implement two novel BFT algorithms introduced in this thesis: MinBFT and MinZyzzyva. These BFT algorithms are minimal in terms of number of replicas, complexity of the trusted service used, and number of communication steps. In order to mitigate performance degradation attacks, this thesis proposes the use of a rotating primary defining a novel BFT algorithm, Spinning, that is less vulnerable to attacks caused by a faulty primary and attains a throughput similar to the baseline algorithm in the area. Finally, the mechanisms and techniques developed in this thesis are combined in order to define EBAWA, a novel BFT algorithm that is suitable for supporting the execution of wide-area replicated services. KEY-WORDS: distributed systems, intrusion tolerance, dependability, security, Byzantine fault tolerance
Campylobacter the showae Human sp . nov . , Isolated Oral Cavity from YUMIKO ETOH , ' "

Nine Campylobacter-like strains were isolated from human gingival crevices and characterized. These strains were gram-negative, straight rods that were motile by means of multiple unipolar flagella. They were asaccharolytic and preferred an anaerobic atmosphere rather than a microaerophilic atmosphere for growth, and their growth was stimulated by formate and fumarate. These strains were biochemically similar to Campylobacter curvus and Campylobacter rectus, but were clearly distinguishable from these organisms by the number of flagella (two to five flagella at one end of the cell), by being catalase positive, by their whole-cell protein profiles, by their Western blot (immunoblot) patterns, and on the basis of DNA-DNA homology data. They could also be differentiated from the other species of the genus CampyZobacter. The nine Campylohcterlike strains were compared with two strains (FDC 286 and VPI 10279) representing a previously described but unnamed WolinelZu sp, The nine isolates and strains FDC 286 and VPI 10279 were found to be members of a single species. The 16s rRNA sequences of two strains of the newly identified species were compared with the rRNA sequences of 21 reference Campylobacter, Wolinelh, and Helicobacter species in order to generate a phylogenetic tree. We propose the name Campylobacter showae for the newly identified strains; strain SU A4 (= ATCC 51146) is the type strain of this new species.
Open Goal-Based Scenarios: An Architecture for Hybrid Learning Environments

We describe a software toolkit called Indie, for building hybrid Investigate and Decide (Indie) learning environments. In Indie learning environments, students can run simulated experiments, construct reports arguing for different claims, and submit these reports for critiquing. The Indie learning environment is one example of the Goal-based Scenario (GBS) learn-by-doing environments. Previous examples of GBS systems have been self-contained software-based learning environments. The content of the learning environments is always pre-defined, which leaves little space for open-ended activities. We overcome this problem by creating an architecture for hybrid GBS's that provide the option for having human coaching in the learning environments. This brings the possibility of having open-ended activities in GBS's as well as the opportunity for incrementally augmenting the content at instruction time. Indie has been used to construct Corrosion Investigator, a learning environment for engineering undergraduates in the domain of biofilms.
Des pierres dans la mémoire

Depuis que les canons s'y sont tus et que Beyrouth est entree de plain-pied dans l'aventure de sa reconstruction, le rapport a la memoire y est au coeur de tous les questionnements : comment lire ces fragments, geles dans la pierre, alors que les bribes du passe, recomposees avec oublis et lacunes, semblent former une serie de parcours qui ne se recouvrent pas et esquisser, derriere la ville reelle, les contours d'une multitude de villes possibles ?
System for Measuring the Walking Speed of a Human Subject on a Force Plate

SYSTEM FOR MEASURING THE WALKING SPEED OF A HUMAN SUBJECT ON A FORCE PLATE ABSTRACT. This paper presents the development of a system for measuring the walking speed on a force plate that measures ground reaction. The walking speed measurement system must meet the following criteria: minimal impact on the force plate, easy installation/dismantling, speed must be detected "without contact" and speed of subject must be detected irrespective of the subject's clothing colour, it must provide the possibility of using several types of force plate, it must allow the addition of new functions and have a competitive price. Ground reaction force was measured using the AMTI's AccuGait force plate and the NetForce component, while analysis was performed using the BioAnalysis module. To assess the three components of the ground reaction force provided by the force plate, for a subject not wearing shoes, walking at different speeds, two measurement sessions were organized: placing optical barriers of the walking speed measurement system at distances of 2.5 m and 0.7 m, respectively. Upon analyzing the values ? obtained in this case study, we can observe an increase in values of the following components: vertical component, Fz, medio-lateral component, Fy and anterior-posterior component, Fx at the speed of 2.33 m/s, compared to those obtained at 0.6 m/s. By comparing values provided by the force plate with optical barriers of the walking speed measurement system placed at distances of 2.5 m and 0.7 m, respectively, very small differences can be noticed. Therefore, the position of optical barriers does not affect the measurement of ground reaction force components.
VLSI implementation of low-power cost-efficient lossless ECG encoder design for wireless healthcare monitoring application

An efficient VLSI architecture of a lossless ECG encoding circuit is proposed for wireless healthcare monitoring applications. To reduce the transmission and storage data, a novel lossless compression algorithm is proposed for ECG signal compression. It consists of a novel adaptive rending predictor and a novel two-stage entropy encoder based on two Huffman coding tables. The proposed lossless ECG encoder design was implemented using only simple arithmetic units. To improve the performance, the proposed ECG encoder was designed by pipeline technology and implemented the two-stage entropy encoder by the architecture of a look-up table. The VLSI architecture of this work contains 3.55 K gate counts and its core area is 45987 µm2 synthesised by a 0.18 µm CMOS process. It can operate at 100 MHz processing rate with only 36.4 µW. The data compression rate reaches an average value 2.43 for the MIT-BIH Arrhythmia Database. Compared with the previous low-complexity and high performance techniques, this work achieves lower hardware cost, lower power consumption, and a better compression rate than other lossless ECG encoder designs.
Comparison of Vascular Hot Spots Method with Randomly Chosen Microscopic Fields Method in the Morphometric Assessment of Neovascularization in OSCC

Background : Despite all efforts made to develop predictive biomarkers for antiangiogenic therapies, no unambiguous markers have been identified so far. The most widely used method of quantifying neovascularity is immunohistochemistry, by which microvessel density is determined using endothelial markers, such as CD34. There are several methods to morphometrically assess neovascularization in OSCC. Aims and Objectives: To compare vascular hot spots method with randomly chosen microscopic fields method in the morphometric assessment of neovascularization in OSCC. Methods : Our study included 30 paraffin embedded tissue blocks of diagnosed cases of OSCC and 10 controls. Tissue sections of 4μ thickness were taken and immunostaining by anti CD34 monoclonal antibody was performed to demonstrate endothelial cells. Endothelial areas and Microvascular density was assessed by hot spot method and randomly chosen microscopic fields method using computerized image morphometric analysis and. The obtained results were tabulated and compared. Results : A statistically significant difference was found between normal mucosa and carcinoma (P<0.001). Endothelial areas values measured by the hot spot method were superior than the values obtained by the random field method. Conclusion : Among both the methods, hot spots method was found to be superior than random chosen microscopic fields method.
Linking Teaching and Research in the Biosciences

Abstract Research is so inextricably embedded within the teaching in the bioscience disciplines that many of us do not question that there is linkage between teaching and research? we simply know that it is true as part of our discipline culture. We, as bioscientists, have written this essay for the bioscience academic community. We start from the point of view that the link between research and teaching is embedded but not necessarily made explicit and that the link could be exploited more effectively for the benefit of staff and students. We have attempted to articulate the development of understanding and skills of a bioscience undergraduate through the course of their degree. However, our main aim is to challenge bioscience colleagues to review and evaluate existing links and think about ways of developing and integrating new links into their teaching practice.
Nissan Leaf On-Board Diagnostic Bluetooth Utility

Statement of Disclaimer Since this project is a result of a class assignment, it has been graded and accepted as fulfillment of the course requirements. Acceptance does not imply technical accuracy or reliability. Any use of information in this report is done at the risk of the user. These risks may include catastrophic failure of the device or infringement of patent or copyright laws. California Polytechnic State University at San Luis Obispo and its staff cannot be held liable for any use or misuse of the project. The team's sponsor, John Dunning, owns an Electric Vehicle. The electric vehicle market is young, as is the research and testing on the cars themselves. Most EV owners know the most expensive component in their vehicles is the battery, and would like to know when the battery will fail. By experimenting with data from the OBD II port in Dr. Dunning's Nissan Leaf (2013 EV) the team will create a Android app to interface with a Bluetooth module to receive OBD data. The program will collect data focused on battery pack voltage, battery pack current, motor RPM, and state of charge to help John Dunning find trends in the battery over time. Hopefully, these trends can be used to estimate the life of his battery.
Child outcomes after parental separation: variations by contact and court involvement

This report presents findings from the Millennium Cohort Study (MCS). It describes variations in contact between children and non-resident parents, and use of court for settling contact or financial arrangements. The report also explores gaps in different child outcomes by their parents’ marital status and whether post-separation contact with non-resident parents is associated with children’s outcomes at age 11.
Contributions to the design and analysis of nondestructive evaluation experiments

Probability of detection (POD) is commonly used to measure a nondestructive evaluation (NDE) inspection procedure's performance. Due to inherent variability in the inspection procedure caused by variability in factors such as operators and crack morphology, it is important, for some purposes, to model POD as a random function. Traditionally, inspection variabilities are pooled and an estimate of the mean POD is reported. In some applications it is important to know how poor typical inspections might be and this question is answered by estimating a quantile of the POD distribution. This paper shows how to t a proper model to repeatedmeasures hit-miss data and considers estimation of the mean POD as well as quantiles of the POD distribution for binary (hit-miss) NDE data. We also show how to compute credible intervals for these quantities using a Bayesian estimation approach.
INFLUENCE DE LA COUCHE D'ENTROPIE SUR L'ECHELLE DE LA REGION SEPAREE EN AERODYNAMIQUE HYPERSONIQUE

Viscous hypersonic interaction has been reexamined within the framework of the Triple Deck Theory, the Upper Deck being considered to lie in the entropy layer. The nose bluntness is accounted for by modifying the usual scales Le probleme de l'interaction visqueuse hypersonique est examine dans le cadre du schema de Triple Couche en tenant compte de l'existence de la couche d'entropie. Les echelles habituelles sont alors modifiees et font apparaitre dans le cas de la plaque plane l'effet de l'epaisseur d'emoussement du nez
I 在視訊壓縮標準 H . 264 / AVC 下的一個有效率畫面內編碼方 法 An Efficient Intra-frame Encoding Process For Video Compression Standard H . 264 / AVC 研 究 生:陳致生 Student :

Two international organizations named ISO/IEC and ITU-T had developed the H.264/AVC video coding standard that is the newest one by now. Although H.264/AVC can achieve higher coding efficiency than the previous standards, its encoding time complexity is unbearable. In this thesis, we will present an efficient algorithm for the intra mode decision which has nine prediction modes for a 4x4 block coding, and four prediction modes for a 16x16 block coding. A Fast Intra-mode Filtering Method (FIFM) is provided to quickly find out the candidate modes, and the spatial coherence is utilized to achieve some earlier termination. Experimental results show that the proposed algorithm can reduce the time complexity about 28.288% with 0.056dB loss of PSNR and 0.939% increment of bit-rate comparing with the RDO full search scheme. This result also shows that the proposed method is superior to the algorithm proposed by Pan et. al. under the same encoding conditions.
Aliye Öztan. Archaeological Investigations at Köşk Höyük, Niğde

Kosk Hoyuk est situe dans le district de Bor dans la province de Nigde. Ce site remonte au neolithique tardif. Apres avoir ete abandonne au Ve mill. , il fut reoccupe beaucoup plus tard a l’epoque achemenide (Late Iron Age Period). Les perturbations dues aux constructions romaines interdisent la reconstitution d’un plan coherent pour cette phase. Certains tessons de ceramique indiquent une importation du monde grec.
A new dynamic output feedback compensator design for pole assignment

This paper proposes a new approach which is applicable for any open loop system either with more outputs than inputs or with at least one stable transmission zero, for the design of dynamic output feedback compensator (DOFC) and for pole assignment. Although this DOFC cannot always guarantee arbitrary pole placement of the feedback system, it has three unique advantages: (1) the DOFC poles are part of the feedback system poles and thus the DOFC stability is guaranteed; (2) this new DOFC can implement state feedback control which is most powerful and whose design is well developed; (3) the design is decoupled into two pole assignment problems of orders r and n, respectively while the existing design has order n+r, where n and r are the orders of open loop system and DOF, respectively.
Teaching young learners English : from theory to practice

Preface About the Authors Chapter 1: Teaching English to Young learners around the World: An Introduction Chapter 2: Basic Principles of Teaching English to Young Learners (TEYL) Chapter 3: Contextualizing Instruction: Creating Thematic Units and Lesson Plans Chapter 4: Teaching Listening and Speaking Chapter 5: Teaching Reading and Writing Chapter 6: Storytelling Chapter 7: Assessment Chapter 8: Classroom Management Chapter 9: Twenty-First-Century Skills in Teaching English to Young Learners (TEYL) Chapter 10: Professional Development Worksheets Index
PROJECT TEAM: LEADING AN INNOVATION TOWARDS A VISUAL AND TANGIBLE MATH

Abstract In high school and college, the teaching and learning of Math usually lacks relating to a daily reality. Students live the learning of Math as a rigid routine for solving exercises, mostly in an algebraic way. The absence of meaning when we teach, makes Math something outside of our world. The Math in classroom is not an interesting subject and, as a matter of fact, the idea we leave in students about Math is not fair. Could it be possible to change this? It is our claim that today, with the emergent digital technologies, we could conceive a different way to perceive Math learning. That is the aim of our group TEAM: Tecnologia Educativa para el Aprendizaje de las Matematicas (Educational Technology for Mathematics Learning). Certainly, learning outcomes are not just a question of using technology. We are concerned with the conceptualization of a didactic strategy including technology for the student interaction with the mathematical knowledge. Understanding technology as an instrument (not as tool), should include the promotion of a thinking process to learn through technology interaction. Mathematical knowledge is now available through digital means. Today we have an opportunity to make Math a visual and tangible matter that students could reach using the kind of devices they use ordinarily. We look forward to bring a new meaning for the students’ interaction with Math; one that they could better appreciate. We look forward to strengthen our educational innovation team aiming to transform the teaching and learning of Algebra, Analytic Geometry, Geometry and Calculus through the integration of digital technologies. Concerning research, we care for the promotion of mathematical cognitive skills not presented in curriculum as a content to be learned. Basic skills for understanding Math as a way of thinking the world are useful in the process of problem solving. And those skills exceed the algebraic representation of Math. Today we have an Augmented Reality Application dealing with the development of spatial visualization skills. We are also working with Kinect sensor to bring gestural aspects into the graphical representation of Math. As this two examples show, by adding digital technology to the learning process we are encouraging students to focus in visual and gestural components when interacting with mathematical content. Our purpose is to present TEAM as has been working until now. We attended several calls looking for grants that keep us together as a research group. Members of TEAM are students of the PhD Program for Innovation in Education and their thesis include the design and development of this kind of technological products for the learning of Math. Keywords: Digital technology, educational innovation, visual, gestural, research group.
An improved correlation method for character recognition. A proposal of reciprocal feature extraction

Presentation d'un appariement de segments comme methode de correlation dans un espace de caracteristiques. Cet article propose une extraction de caracteristiques reciproques qui extrait de maniere simultanee et utilise les caracteristiques d'espaces concaves, qui n'ont pas ete utilise de maniere simultanee
Ethical Issues in Dementia Care: Making Difficult Decisions

because the book, necessarily, is precise and thus demanding in what the reader needs to do to become proficient in critical thinking skills. Possibly of greater concern, the author does not acknowledge the cultural bias of both the valuing of a certain mix of skills we call critical thinking, the content for the exercises (which is drawn from Anglo-Saxon material), and the westernised, individualistic assumptions regarding the reader’s practice and motivations. The focus is predominantly on critical skills for use in the written medium. This is my main disappointment, that the text does not explicitly address the link between critical thinking and practice skills such as reflection and active learning in practice. It also leaves unaddressed the link between critical thinking and critical theory and thus loses the opportunity to make the text more relevant for tertiary teaching in professions like social work, nursing, and education. In this way, the skills are presented as atheoretical when, in fact, they do tend to require a willingness to recognise competing, differently valued viewpoints and ways of understanding the world. It could be that an openness to learning critical thinking skills is prefaced by a critical worldview and at least a humanist regard for the people and their work that we may be critiquing. Otherwise, there is a risk of the depoliticising of the rationality of critical thinking, which may not always serve the most vulnerable or the best interests of society.
Putting the ‘C’ in ICT: using computer conferencing to foster a community of practice among student teachers

Abstract The expansion of communications technology has created countless new possibilities for using on-line communication in many areas of education. The focus of this article is on the use of on-line conferencing by a cohort of students studying for the Postgraduate Certificate in Education at the University of Ulster in Northern Ireland. This on-line discussion was initially developed with the primary aims of fostering skills in information and communications technology, providing a venue for reflective practice and reducing the sense of isolation often felt by students when they are dispersed throughout Northern Ireland on teaching practice. Involvement with the discussions convinced the author that the conferencing was also helping to build a community of practice among student teachers. Indeed, the content of participant dialogues suggests that this is the case, with the salient elements of such communities, namely, mutual engagement, joint enterprise and shared repertoire, being readily apparent therein. There is some evidence that the conference also facilitated the process of brokering by which students shared their experiences of the communities of practice within each of their schools; this process, however, may have been limited by the ‘open’ nature of the conferences. That students found the conferencing valuable is evident from the volume and nature of the on-line dialogue, and from their enthusiasm to continue on-line discussions once in post