Miracle-dz/UniFAR-FTUs huggingface dataset:
Matching Biomedical Ontologies Through Compact Hybrid Evolutionary Algorithm

Over the recent years, the biomedical ontologies have been developed to support a variety of applications. However, the subjectivity of diﬀerent biomedical ontology designers leads to the generation of heterogeneous biomedical ontologies. In order to support the cooperations among the heterogeneous biomedical ontologies, it’s necessary to identify the correspondences out of semantically identical entities of them, so-called biomedical ontology matching. In this paper, we propose a compact hybrid Evolutionary Algorithm (chEA), which utilizes a probabilistic representation of the population to perform the optimization process, and introduces a local search strategy to improve the eﬃciency. The Anatomy track and Large Biomed track, which are provided by the Ontology Alignment Evaluation Initiative (OAEI 2017), are utilized to test the performance of chEA. The experimental results show the eﬀectiveness of our approach.
Spanish-Swedish neural machine translation for the civil engineering domain

This project explores domain adaptation of state-of-the-art neural machine translation. We develop a total of four self-attention-based NMT systems for Swedish-Spanish: two general out-domain systems (one in each translation direction) and two in-domain systems (also one in each translation direction). We adapt our in-domain systems for the Civil Engineering domain. Apart from out-domain parallel data, we collect and use indomain monolingual data that we translate creating two synthetic parallel in-domain corpora with the original sentences as target language. All four systems are tested and compared with automatic evaluation metrics. The Spanish-to-Swedish systems are also evaluated manually by a post-editing task measuring the systems productivity. Results show that our four systems perform similarly, all of them outperforming significantly Google Translate. The productivity test indicates, however, that post-editing domainspecific text benefits from domain-adapted MT.
Writing from the Body

We can’t escape our bodies, even though there are times when we might want to. Fundamental to our experience, identity, and expression, bodies can also be a source of contention and oppression: we can be defined and controlled by them. This course explores representations of the body through captivating novels, poems, and a few essays, as well as films and photography. We’ll watch one protagonist switch gender and adventure through four centuries, another struggle with a facial disfigurement that will devastatingly circumscribe her life. We’ll become more alert to the way in which bodies are gazed upon, surveilled, and policed. We’ll investigate our relationship with our own bodies and the bodies of others, assessing whether empathy is a redemptive relationship of attunement or perhaps an act of trespass. We’ll wonder over the binaries and boundaries, politics and pain, the erotics, the robotics, and even the boundlessness of our bodies.
Cost analysis of block failure stabilization in heap leach pads

In designing heap leach pads it is very common to use liners composed of a geomembrane over a low permeability soil or soil liner. A granular overliner is used on top of the geomembrane in order to prevent damage from the impact of the oversize ore. In general, the upper interface, geomembrane versus overliner or ore, will usually provide higher shear strength than the clayey soil in contact with a textured geomembrane used as a soil liner due to its granular nature. Therefore, in order to prevent any heap leach pad instability at the interface, the shear strength of the lower interface should be improved, or the block failure surface may be modified by cuts or fills. The research performed by Ayala et al. (2014) is updated by including more results of large direct shear tests of interfaces composed of textured LLDPE geomembrane and soil liner. The curves related to the variation of the interface shear strength due to geomembrane asperity height, soil liner classification, and normal stress are used as a way to perform a comparative analysis of the stability of heap leach pads in design or in construction stages. The stabilization measurements of two heap leach pads were studied and contrasted in order to find which was the most effective action for maintaining an acceptable static factor safety for the block failure stability analysis. This included an assessment related to the best cost-effective alternative for stabilization between geometry modifications and interface improvements. 2-D limit equilibrium method slope stability analysis was employed in both cases for assessing different stabilization solutions on heap leach pad block failure slope stability; a cost estimate of each action proposed was obtained and compared to the other. The criteria for the stabilization works were related to the following: grading geometry modifications (without including heap geometry, thus conservation of the heap capacity); interface shear strength enhancement based on the updated information; and the use of both options. Key design issues related to the cost benefits of stabilization work are recommended when low factors of safety for block failure stability are encountered during a heap leach pad project. HEAP LEACH SOLUTIONS, 2015 • RENO, NEVADA, USA
Challenges in Designing Exploit Mitigations for Deeply Embedded Systems

Memory corruption vulnerabilities have been around for decades and rank among the most prevalent vulnerabilities in embedded systems. Yet this constrained environment poses unique design and implementation challenges that significantly complicate the adoption of common hardening techniques. Combined with the irregular and involved nature of embedded patch management, this results in prolonged vulnerability exposure windows and vulnerabilities that are relatively easy to exploit. Considering the sensitive and critical nature of many embedded systems, this situation merits significant improvement. In this work, we present the first quantitative study of exploit mitigation adoption in 42 embedded operating systems, showing the embedded world to significantly lag behind the general-purpose world. To improve the security of deeply embedded systems, we subsequently present µArmor, an approach to address some of the key gaps identified in our quantitative analysis. µArmor raises the bar for exploitation of embedded memory corruption vulnerabilities, while being adoptable on the short term without incurring prohibitive extra performance or storage costs.
Chapter 8 . Co-design as an emerging distributed dialogical process between users and designers

In this paper we propose the following four key assumptions, illustrated with three examples, to analyse, organise and monitor design processes involving users: 1) users redesign the designers’ technology by using it; the coupling of the technology with the users’ new activity is thus at the core of the process; 2) design is a process distributed among various people whose interdependence has to be taken into account during the process; 3) developing both the technology and the activities implies various levels of dialogue that we define, drawing on Bakthin’s work; 4) focusing on one of these levels, we argue that it is crucial to highlight the various actors' differing perspectives during the design process. 1 INRA, UR1326 Sciences en Société, F-77420 Champs-sur-Marne, France, corresponding author pbeguin@grignon.inra. fr Published under the Creative Commons licence Attribution-NonCommercial-NoDerivs 2.0 France 155
Chironomidae feeding habits in different habitats from a Neotropical floodplain : exploring patterns in aquatic food webs

Ecological studies on food webs have considerably increased in recent decades, especially in aquatic communities. Because Chironomidae family are highly specious, occurring in almost all aquatic habitats is considered organisms-key to initiate studies on ecological relationships and trophic webs. We tested the hypothesis that the diversity of the morphospecies diet reflects differences on both the food items available among habitats and the preferences of larval feeding. We analyzed the gut content of the seven most abundant Chironomidae morphospecies of the different habitats from the Upper Paraná River. We categorized the food items found into algae, fungal spores, fragments of plants, algae and animal fragments and sponge spicules. We observed the algae predominance in the gut content of morphospecies from lakes. Considering the different regions from each lake, we registered the highest food abundance in the littoral regions in relation to the central regions. From the variety of feeding habits (number of item kinds), we classified Chironomus strenzkei, Tanytarsus sp.1, Procladius sp.1 as generalist morphospecies. We found a nested pattern between food items and Chironomidae morphospecies, where some items were common to all taxa (e.g., Bacillariophyceae algae, especially), while others were found in specific morphospecies (e.g., animals fragments found in Procladius sp.1). The algae represented the most percentage of gut contents of Chironomidae larvae. This was especially true for the individuals from littoral regions, which is probably due to the major densities of algae associated to macrophytes, which are abundant in these regions. Therefore, the feeding behavior of these morphospecies was generalist and not selective, depending only of the available resources.
DESIGN AND VALIDATION OF AN ALIGNMENT FREE CANCELABLE FINGERPRINT TEMPLATE PROTECTION SCHEME By BADIUL ALAM A dissertation submitted to the Department of Electrical and Electronics

ii ACKNOWLEDGEMENTS iv PERMISSION SHEET v APPROVAL SHEET vi DECLARATION vii TABLE OF CONTENTS viii LIST OF TABLES x LIST OF FIGURES xi CHAPTER 1.0 INTRODUCTION 1 1.1 Background 1 1.2 Fingerprint Recognition System 2 1.3 Problem Statement 6 1.4 Objectives 8 1.5 Contributions 9 1.6 Organisation of the Dissertation 10 2.0 LITERATURE REVIEW 11 2.1 Description of Fingerprint Datasets 14 2.2 Biometric Template Protection Techniques 17 2.2.1 Feature Transformation 18 2.2.1.1 Cancelable Biometrics 19 2.2.1.2 Salting Approach 20 2.2.2 Biometric Cryptosystems 20 2.2.2.1 Key Binding 21 2.2.2.2 Key Generation 21 2.3 Existing Registration-Free Fingerprint Template Protection Schemes 22 2.4 Existing Registration Based Fingerprint Template Protection Schemes 29 2.5 Summary of Literature Review 30 3.0 METHODOLOGY 33 3.1 The Specification of the Proposed Method 33 3.1.1 Steps to Generate C-PGTQ Template 34 3.1.1.1 Set Pre-Defined Radius 34 3.1.1.2 Reference Minutia Based Polar Transform 35 3.1.1.3 Polar Transformation 36 ix 3.1.1.4 3-Tuple Based Quantisation 36 3.1.1.5 Bit-String Generation 38 3.1.2 Protected PGTQ (P-PGTQ) 38 3.1.3 Cancelable PGTQ (2C-PGTQ) 39 3.1.3.1 Discrete Fourier Transforms 39 3.1.3.2 Random Projection 40 3.2 Matching of Templates at Different Phases 41 3.2.1 Matching of C-PGTQ Templates t 42 3.2.2 Matching of P-PGTQ Templates T 44 3.2.3 Matching of 2C-PGTQ Templates ω 44 3.3 Application to Key Binding Scheme 45 4.0 RESULTS AND DISCUSSION 48 4.1 The Recognition Performance of C-PGTQ Templates 49 4.2 The Recognition Performance of P-PGTQ Templates 50 4.3 The Recognition Performance of 2C-PGTQ Templates 51 4.4 Recognition Performance Comparison with Other Existing Schemes 52 4.5 Security Analysis of the Proposed Scheme 54 4.5.1 Non-Invertibility 55 4.5.2 Revocability 57 4.5. 3 Non-Linkability 62 4.6 EER Result of Key Binding Application 66 5.0 CONCLUSION 67 5.1 Conclusion 67 5.2 Future Work 68 REFERENCES 69 LIST OF PUBLICATION 82
Effects of Al 2 O 3 Particle on Convective and Radiative Heat Flux to Rocket Base Surface

An exhausted plume of rocket transfers a lot of heat to rocket base surface. The effects of Al2O3 particles and radiation heat transfer of plume are considered to study the heat flux to the base surface. Nonequilibrium 2D-axisymmetric Navier-Stokes equation with kω-SST turbulent model is solved in the numerical analysis. As a radiation heat transfer model, P-1 radiation model is employed
Surround-Screen Mobile Based Projection: Design and Implementation of Mobile Cave Virtual Reality

Virtual reality (VR) is the employment of computer devices to simulate real or imaginary environments. Conventional user interfaces stress the usage of screen displays to interact with the developed environment. The prospect of VR enables the user to be virtually inside the environment. Cave automatic virtual reality environment (CAVE) is one kind of room-shaped VR technology that displays the environment on its walls. We observe some common limitations in the existing CAVE technology, such as fixed space requirements, and the difficulty in moving it. In this paper, we present a novel mobile-CAVE system that uses light-weighted materials and portable powered devices. It solves the limitation of re-using the allocated space by packing it and the ability to move it easily. We have assessed our technology by performing usability analysis, power consumption, and mobility experimental study. The profound experiments demonstrated the efficiency of the proposed technology in comparison with the former CAVE system.
Proceedings of the SAB'06 Workshop on Adaptive Approaches for Optimizing Player Satisfaction in Computer and Physical Games

In this paper, we suggest that Evolutionary Algorithms could be utilized in order to let the COMMONS GAME, one of the popular environmental games, become much more exciting. In order to attain this objective, we utilize Multi-Objective Evolutionary Algorithms to generate various skilled players. Further, we suggest that Evolutionary Programming could be utilized to find out an appropriate point of each card at the COMMONS GAME. Several game playings utilizing the new rule of the COMMONS GAME derived confirm the effectiveness of our approach.
Use of the industrial X-ray computed microtomography to address scientific questions in developmental biology

X-ray computed microtomography (microCT) that allows to extract quantitative 3D information about various objects is already a well-established and widely used industrial technique for non-destructive testing, materials characterization and dimensional metrology. On the other hand, modern developmental biology requires both qualitative and quantitative three-dimensional information about the studied objects, which is not provided by conventional 2D imaging methods. In addition, the complexity of biological structures often requires a more comprehensive methodology to compare shapes and sizes. Our approach is to connect these two worlds, i.e. to apply procedures and analysis routinely used or developed for industrial computed tomography to address scientific questions in developmental biology. This approach, which is based on the long-term experience of the CEITEC BUT Brno micro/nanoCT research team on both, industrial and scientific application of X-ray microCT, brings new possibilities in imaging, data processing and evaluation of 3D biological models. Here we present 3D structures that were analysed by different approaches on the selected examples from developmental biology. In addition, quantitative analysis usually used in industry were applied to segmented 3D models e.g. wall thickness analysis of facial cartilage, shape comparisons of nasal capsules, automatic quantification of the cells in the salamander limb etc. A complete procedure consisting of staining, microCT measurement and subsequent data processing is discussed.
Conference on International Research on Food Security, Natural Resource Management and Rural Development Wildlife value, trophy hunting and rural development – with illustrations from Tanzania

Since the late 1980s slogans like ‘use it or lose it’ or ‘conservation through sustainable use’ emphasized the economic use of wildlife for conservation and rural development. In addition, a stronger involvement of local communities instead of displacement and curtailing of their access stands behind these approaches. However, the sustainable use is facing several problems. Wildlife is threatened by a rapidly growing population, an expansion of agricultural areas and poaching. Parks and reserves are expensive to manage but overwhelmingly underfunded and economically inefficient. Hence, the challenge is to establish wildlife as an economic option and benefit for the population by using their ‘comparative advantage’ (CHILD, 2000). Therefore, quantification of economic values of wildlife has become increasingly important. However, as ASAFU-ADJAYE (1998: 228) remarks: “there has been a tendency to undervalue wildlife habitats and species in public as well as private decisions”. So, lack of economic valuations impairs decision makers’ ability to compare benefits and costs of wildlife options. Additionally, it is also important to clarify the relationship between wildlife related activities and benefits generated by them. It must be recognized that the potential value of wildlife has to be taken as a starting point for rural livelihoods and development. Therefore, the question is: What value has wildlife for local communities in surrounding areas of national parks and how valuable is wildlife for rural development? One possible option is trophy hunting (tourism, sport or safari hunting) which describes hunting by paid tourists “typically with the objective of selecting individuals with exceptional physical attributes [. ] and usually in the company of a professional hunting guide” (LINDSEY ET AL., 2007: 456). Trophy hunting can and already plays a significant role for rural development and conservation. But the scientific literature and policy makers criticize insufficient and rarely existing valuations of trophy hunting (HUMAVINDU AND BARNES, 2003; LINDSEY ET AL., 2006).
BRAID : A Web Audio Instrument Builder with Embedded Code Blocks

Braid (Browser Audio Interface and Database) is a web audio instrument-building environment developed with the NexusUI platform. To identify the requirements of such an environment, the utility of NexusUI as an audio interface engine for browser-based projects is reviewed. The addition of inline web audio within a drag-and-drop interface-building environment is discussed. A consideration of a modified Model-View-Controller architecture to integrate DSP code and interface is followed by an examination of the workflow of designing browser-based instruments within Braid. Finally, a database for saving and sharing web audio instruments for performance or audience distribution is described.
Timed-Elastic Smooth Curve Optimization for Mobile-Base Motion Planning

This paper proposes the use of piecewise $\mathrm{C}^{n}$ smooth curve for mobile-base motion planning and control, coined Timed-Elastic Smooth Curve(TESC) planner. Based on a Timed-Elastic Band, the problem is defined so that the trajectory lies on a spline in SE (2) with non-vanishing n-th derivatives at every point. Formulated as a multi-objective nonlinear optimization problem, it allows imposing soft constraints such as collision-avoidance, velocity, acceleration and jerk limits, and more. The planning process is realtime-capable allowing the robot to navigate in dynamic complex scenarios. The proposed method is compared against the state-of-the-art in various scenarios. Results show that trajectories generated by the TESC planner have smaller average acceleration and are more efficient in terms of total curvature and pseudo-kinetic energy while being produced with more consistency than state-of-the-art planners do.
SPECT System Design Optimisation for a Simultaneous SPECT/MRI Clinical Scanner

The aim of this project was to optimize the design of a Single Photon Emission Computed Tomography (SPECT) insert based on high-resolution detectors and a high-sensitivity collimator, for a Magnetic Resonance Imaging (MRI) scanner, in order to perform simultaneous human brain SPECT/MRI and improve radionuclide-based therapies for glioma patients. The radionuclides of interest are 99mTc, 111In and 123I. Specific emphasis was given to the collimator and overall system design, data simulation and performance assessment, which would feed directly into the European-funded INSERT project. The SPECT insert was to consist of a stationary system with SiPM-based photodetectors, insensitive to magnetic fields. Regarding the design, a number of system and collimator geometries were evaluated considering the restricted space in the MRI bore and the limited angular sampling. High sensitivity was prioritised over high spatial resolution, because of the clinical application. Gamma shielding design was also addressed. Analytical calculations of system sensitivity and resolution, in addition to Monte Carlo simulations, were performed to compare various slit-slat and pinhole collimator designs. A new collimator design was proposed: multi-mini-slit slit-slat (MSS) collimator. The MSS has multiple mini-slits, some of which are shared between adjacent detectors, and they are embedded in the slat component, allowing for longer slats in comparison to a standard slit-slat collimator. The MSS design demonstrated to have the best overall performance, and the final system design consisted of a partial ring with 20 detectors. A framework for geometrical calibration of the system was developed and assessed, utilising a single prototype detector equipped with a prototype collimator. This framework takes advantage of the specific collimator design to estimate geometrical parameters from independent measurements of calibration phantoms. Experimental evaluation with tomographic acquisition of phantoms demonstrated the applicability of the new collimation concept, confirming the superiority of the MSS design over equivalent pinhole collimation.