pinecone/core-2020-05-10-deduplication huggingface dataset:
FlexiView: A Magnet-Based Approach for Visualizing Requirements Artifacts

Requirements engineers create large numbers of artifacts when eliciting and documenting requirements. They need to navigate through these artifacts and display information details at points of interest for reviewing or editing information. [Question/problem] Traditional visualization mechanisms such as scrolling and opening multiple windows lose context when navigating and can be cumbersome to use, hence. On the other hand, focus+context approaches can display details in context, but they distort the data shown (e.g., fisheye views) or result in a large display canvas which again requires scrolling (e.g., zooming in ADORA). [Principal ideas/results] We are developing a novel method for displaying just the information needed to perform an intended task. Our method partitions the available screen space into regions. The boundaries of regions are simulated with a model consisting of virtual magnetic balls and springs that behaves like a physical system. This model supports the requirements engineer in selecting how the relevant information should be displayed. [Contribution] In this paper, we present preliminary results on how our conceptual solution works and what benefits are expected
The computer-controlled multicompartmental dynamic model of the gastrointestinal system SIMGI

The SIMGI (SIMulator Gastro-Intestinal) is an automated gastrointestinal in vitro model designed to dynamically simulate the physiological processes taking place during digestion in the stomach and small intestine, as well as to reproduce the colonic microbiota responsible for metabolic bioconversions in the large intestine. This computer-controlled system is a flexible modulating system that combines a gastric compartment that operates with peristaltic mixing movements, a reactor simulating the small intestine and three-stage continuous reactors that reproduce the colon region-specific microbiota. The compartments designed for digestion (stomach and small intestine) and fermentation (colon) can be connected to operate jointly. Alternatively, the digestion and fermentation processes can proceed independently. This section describes the conditions needed to inoculate, stabilize and differentiate the fecal microbiota in the SIMGI system, as well as the steps to follow in order to test the stabilized colonic microbiota with different food ingredients and/or by modifying the caloric intake in the nutrition media.Open Access: This chapter is distributed under the terms of the Creative Commons Attribution Noncommercial License.Peer Reviewe
Optimal Control of Tuberculosis: A Review

We review the optimal control of systems modeling the dynamics of
tuberculosis. Time dependent control functions are introduced in the
mathematical models, representing strategies for the improvement of the
treatment and cure of active infectious and/or latent individuals. Optimal
control theory allows then to find the optimal way to implement the strategies,
minimizing the number of infectious and/or latent individuals and keeping the
cost of implementation as low as possible. An optimal control problem is
proposed and solved, illustrating the procedure. Simulations show an effective
reduction in the number of infectious individuals.Comment: This is a preprint of a paper whose final and definite form will be
  published in the volume 'Mathematics of Planet Earth' that initiates the book
  series 'CIM Series in Mathematical Sciences' (CIM-MS) published by Springer.
  Submitted Aug 2013; Revised and Accepted June 201
A Bayesian Modelling of Wildfires in Portugal

In the last decade wildfires became a serious problem in Portugal due to
different issues such as climatic characteristics and nature of Portuguese forest. In
order to analyse wildfire data, we employ beta regression for modelling the proportion
of burned forest area, under a Bayesian perspective. Our main goal is to find
out fire risk factors that influence the proportion of area burned and what may make
a forest type susceptible or resistant to fire. Then, we analyse wildfire data in Portugal
during 1990-1994 through Bayesian beta models t
Detonation wave solutions and linear stability in a four component gas with bimolecular chemical reaction

Publicado em "Mathematics of energy and climate change : International Conference and Advanced School Planet Earth". Series : CIM series in mathematical sciences, vol. 2, ISBN 978-3-319-16120-4We consider a four component gas undergoing a bimolecular chemical reaction of type A1 + A2 = A3 + A4, described by the Boltzmann equation (BE) for chemically reactive mixtures. We adopt hard-spheres elastic cross sections and modified line-of-centers reactive cross sections depending on both the activation energy and geometry of the reactive collisions. Then we consider the hydrodynamic limit specified by the reactive Euler equations, in an earlier stage of the chemical reaction, when the gas is far from equilibrium (slow chemical reaction). In particular, the rate of the chemical reaction obtained in this limit shows an explicit dependence on the reaction heat and on the activation energy. Starting from this kinetic setting, we study the dynamics of planar detonation waves for the considered reactive gas and characterize the structure of the steady detonation solution. Then, the problem of the hydrodynamic linear stability of the detonation solution is treated, investigating the response of the steady solution to small rear boundary perturbations. A numerical shooting technique is used to determine the unstable modes in a pertinent parametric space for the considered problem. Numerical simulations are performed for the Hydrogen-Oxygen system and some representative results are presented, regarding the steady detonation wave solution and linear stability.Fundação para a Ciência e a Tecnologia (FCT
Mathematical aspects of coagulation-fragmentation equations

We give an overview of the mathematical literature on the coagulation-like equations, from an analytic deterministic perspective. In Section 1 we present the coagulation type equations more commonly encountered in the scientific and mathematical literature and provide a brief historical overview of relevant works. In
Section 2 we present results about existence and uniqueness of solutions in some of those systems, namely the discrete Smoluchowski and coagulation-fragmentation: we start by a brief description of the functional spaces, and then review the results on existence of solutions with a brief description of the main ideas of the proofs. This part closes with the consideration of uniqueness results. In Sections 3 and 4 we are concerned with several aspects of the solutions behaviour.We pay special attention
to the long time convergence to equilibria, self-similar behaviour, and density conservation or lack thereof
Seismic vulnerability of existing masonry buildings: Nonlinear parametric analysis

Existing masonry structures are usually associated to a high seismic vulnerability, mainly due to the properties of the materials, weak connections between floors and load-bearing walls, high mass of the masonry walls and flexibility of the floors. For these reasons, the seismic performance of existing masonry structures has received much attention in the last decades.
This study presents the parametric analysis taking into account the deviations on features of the gaioleiro buildings - Portuguese building typology. The main objective of the parametric analysis is to compare the seismic performance of the structure as a function of the variations of its properties with respect to the response of a reference model. The parametric analysis was carried out for two types of structural analysis, namely for the non-linear dynamic analysis with time integration and for the pushover analysis with distribution of forces proportional to the inertial forces of the structure. The Young's modulus of the masonry walls, Young's modulus of the timber floors, the compressive and tensile non-linear properties (strength and fracture energy) were the properties considered in both type of analysis. Additionally, in the dynamic analysis, the influences of the vis-cous damping and of the vertical component of the earthquake were evaluated. A pushover analysis proportional to the modal displacement of the first mode in each direction was also carried out.
The results shows that the Young's modulus of the masonry walls, the Young's modulus of the timber floors and the compressive non-linear properties are the pa-rameters that most influence the seismic performance of this type of tall and weak existing masonry structures. Furthermore, it is concluded that that the stiffness of the floors influences significantly the strength capacity and the collapse mecha-nism of the numerical model. Thus, a study on the strengthening of the floors was also carried out. The increase of the thickness of the timber floors was the strengthening technique that presented the best seismic performance, in which the reduction of the out-of-plane displacements of the masonry walls is highlighted.(undefined
Fragility curves and loss estimation for traditional timber-framed masonry buildings in Lefkas, Greece

The 2003 earthquake in the Greek island of Lefkas, has revived the interest for the local anti-seismic technique based on the use of timber-framed masonry, whose adequate performance during the earthquake revealed the merits of this rather sophisticated, albeit traditional, construction. A key feature of the Lefkas structures is their dual structural system. The secondary system is activated once the ground storey stone masonry piers of the primary system (which includes timber-framed masonry in all storeys) fail. In this regard, two different structural models are presented herein to simulate the response of each system. A macro-model based on nonlinear (NL) strut elements and point plastic hinges is intended to model the timber-framed masonry. NL analyses are carried out for one, two and three storey buildings, which represent the most common cases in Lefkas. Furthermore, an investigation is carried out regarding the foundation of the buildings resting on soft alluvial deposits. Pushover curves are derived from the NL analyses of the buildings and are then converted to capacity curves using the characteristics of the predominant mode. On these curves four damage states (slight damage, moderate damage, heavy damage, and collapse) are defined on the basis of criteria related to the actual response of the building. Then, fragility curves in terms of spectral displacement are generated, adopting a log-normal statistical distribution. These curves are converted into PGA values using a selected response spectrum. Utilising these fragility curves a seismic loss scenario for the 2003 Lefkas earthquake is developed for the timber-framed masonry stock of Lefkas city
Perspectives on transport of water versus transport over water

This book aims at stimulating discussion between researchers working on state of the art approaches for operational control and design of transport of water on the one hand and researchers working on state of the art approaches for transport over water on the other hand. The main contribution of the book as a whole is to present novel perspectives ultimately leading to the management of an envisioned unified management framework taking the recent advances from both worlds as a baseline.\ud
The book is intended to be a reference for control-oriented engineers who manage water systems with either or both purposes in mind (transport of water, transport of goods over water).  It highlights the possible twofold nature of water projects, where water either acts as primary object of study or as a means. The book is dedicated to comparing and relating to one another different strategies for (operational) management and control of different but strongly related systems in the framework of the water. In that sense, the book presents different approaches treating both the transport of water and transport over water.  It compares the different approaches within the same field, highlighting their distinguishing features and advantages according to selected qualitative indices, and demonstrates the interaction and cross-relations between both fields.  It will also help to determine the gaps and common points for both fields towards the design of such a unifying framework, which is lacking in the literature. Additionally, the book looks at case studies where the design of modeling/control strategies of either transport of water or transport over water have been proposed, discussed or simulated.Peer ReviewedPostprint (author's final draft
Women’s Access to Land and Economic Empowerment in Selected Nigerian Communities

Despite various land policies that prescribe rights to land in many societies, women remain marginalized in access to and economic utilization of land. This is widespread in rural communities where informal institutions such as customs and traditions subsist. In most of these communities, the patriarchal structure of families is championed by the informal institutions that support male dominance. This study focuses on economic empowerment of women as it encapsulates sustainable wealth of women. It provides answers to two main research questions: a) what kind of relationship exists between land access and empowerment of women? And b) how important are individual and household attributes in informing women’s empowerment through land rights? The empirical results of this study provide some new insights as they demonstrate how land rights influence women’s economic empowerment. The study also finds that women’s earning capacity reduces when they take up the responsibility of becoming the heads of households and that their income increases as they become more educate
Sign language recognition using convolutional neural networks

There is an undeniable communication problem between the Deaf community and the hearing majority. Innovations in automatic sign language recognition try to tear down this communication barrier. Our contribution considers a recognition system using the Microsoft Kinect, convolutional neural networks (CNNs) and GPU acceleration. Instead of constructing complex handcrafted features, CNNs are able to auto- mate the process of feature construction. We are able to recognize 20 Italian gestures with high accuracy. The predictive model is able to gen- eralize on users and surroundings not occurring during training with a cross-validation accuracy of 91.7%. Our model achieves a mean Jaccard Index of 0.789 in the ChaLearn 2014 Looking at People gesture spotting competition
Continuous gesture recognition from articulated poses

International audienceThis paper addresses the problem of continuous gesture recognition from articulated poses. Unlike the common isolated recognition scenario, the gesture boundaries are here unknown, and one has to solve two problems: segmentation and recognition. This is cast into a labeling framework, namely every site (frame) must be assigned a label (gesture ID). The inherent constraint for a piece-wise constant labeling is satisfied by solving a global optimization problem with a smoothness term. For efficiency reasons, we suggest a dynamic programming (DP) solver that seeks the optimal path in a recursive manner. To quantify the consistency between the labels and the observations, we build on a recent method that encodes sequences of articulated poses into Fisher vectors using short skeletal descriptors. A sliding window allows to frame-wise build such Fisher vectors that are then classified by a multi-class SVM, whereby each label is assigned to each frame at some cost. The evaluation in the ChalearnLAP-2014 challenge shows that the method outperforms other participants that rely only on skeleton data. We also show that the proposed method competes with the top-ranking methods when colour and skeleton features are jointly used
Towards Predicting Good Users for Biometric Recognition Based on Keystroke Dynamics

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-16181-5_54Proceedings in Computer Vision - ECCV 2014 Workshops held in Zurich (Switzerland) on 2015.This paper studies ways to detect good users for biometric recognition based on keystroke dynamics. Keystroke dynamics is an active research field for the biometric scientific community. Despite the great efforts made during the last decades, the performance of keystroke dynamics recognition systems is far from the performance achieved by traditional hard biometrics. This is very pronounced for some users, who generate many recognition errors even with the most sophisticate recognition algorithms. On the other hand, previous works have demonstrated that some other users behave particularly well even with the simplest recognition algorithms. Our purpose here is to study ways to distinguish such classes of users using only the genuine enrollment data. The experiments comprise a public database and two popular recognition algorithms. The results show the effectiveness of the Kullback-Leibler divergence as a quality measure to categorize users in comparison with other four statistical measures.This work has been partially supported by projects Bio-Shield (TEC2012-34881) from Spanish MINECO and BEAT (FP7-SEC-284989) from EU
An efficient and flexible FPGA implementation of a face detection system

This paper proposes a hardware architecture based on the object detection system of Viola and Jones using Haar-like features. The proposed design is able to discover faces in real-time with high accuracy. Speed-up is achieved by exploiting the parallelism in the design, where multiple classifier cores can be added. To maintain a flexible design, classifier cores can be assigned to different images. Moreover using different training data, every core is able to detect a different object type. As development platform, the Zynq-7000 SoC from Xilinx is used, which features an ARM Cortex-A9 dual-core CPU and a programmable logic (FPGA). The current implementation focuses on the face detection and achieves a real-time detection at the rate of 16.53 FPS on image resolution of 640×480 pixels, which represents a speed-up of 6.46 times compared to the equivalent OpenCV software solution
Modular Acquisition and Stimulation System for Timestamp-Driven
  Neuroscience Experiments

Dedicated systems are fundamental for neuroscience experimental protocols
that require timing determinism and synchronous stimuli generation. We
developed a data acquisition and stimuli generator system for neuroscience
research, optimized for recording timestamps from up to 6 spiking neurons and
entirely specified in a high-level Hardware Description Language (HDL). Despite
the logic complexity penalty of synthesizing from such a language, it was
possible to implement our design in a low-cost small reconfigurable device.
Under a modular framework, we explored two different memory arbitration schemes
for our system, evaluating both their logic element usage and resilience to
input activity bursts. One of them was designed with a decoupled and latency
insensitive approach, allowing for easier code reuse, while the other adopted a
centralized scheme, constructed specifically for our application. The usage of
a high-level HDL allowed straightforward and stepwise code modifications to
transform one architecture into the other. The achieved modularity is very
useful for rapidly prototyping novel electronic instrumentation systems
tailored to scientific research.Comment: Preprint submitted to ARC 2015. Extended: 16 pages, 10 figures. The
  final publication is available at link.springer.co
On Distant Speech Recognition for Home Automation

The official version of this draft is available at Springer via http://dx.doi.org/10.1007/978-3-319-16226-3_7International audienceIn the framework of Ambient Assisted Living, home automation may be a solution for helping elderly people living alone at home. This study is part of the Sweet-Home project which aims at developing a new home automation system based on voice command to improve support and well-being of people in loss of autonomy. The goal of the study is vocal order recognition with a focus on two aspects: distance speech recognition and sentence spotting. Several ASR techniques were evaluated on a realistic corpus acquired in a 4-room flat equipped with microphones set in the ceiling. This distant speech French corpus was recorded with 21 speakers who acted scenarios of activities of daily living. Techniques acting at the decoding stage, such as our novel approach called Driven Decoding Algorithm (DDA), gave better speech recognition results than the baseline and other approaches. This solution which uses the two best SNR channels and a priori knowledge (voice commands and distress sentences) has demonstrated an increase in recognition rate without introducing false alarms
Activating Generalized Fuzzy Implications from Galois Connections

This paper deals with the relation between fuzzy implications and Galois connections, trying to raise the awareness that the fuzzy implications are indispensable to generalise Formal Concept Analysis. The concrete goal of the paper is to make evident that Galois connections, which are at the heart of some of the generalizations of Formal Concept Analysis, can be interpreted as fuzzy incidents. Thus knowledge processing, discovery, exploration and visualization as well as data mining are new research areas for fuzzy implications as they are areas where Formal Concept Analysis has a niche.F.J. Valverde-Albacete—was partially supported by EU FP7 project LiMoSINe, (contract 288024). C. Peláez-Moreno—was partially supported by the Spanish Government-CICYT project 2011-268007/TEC.Publicad
On Conjectures in t-Norm Based Fuzzy Logics

This paper is a humble homage to EnricTrillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of thesemodels, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics.We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence operators definable in these logics, namely the ones corresponding to the so-called truth-preserving and degree-preserving consequence relations. We pay special attention to the particular cases of three prominent fuzzy logics: Gödel, Product and Łukasiewicz logics © 2015 Springer International Publishing Switzerland.This work has been partially supported by the Spanish projects TIN2012-39348-C02-01 and TIN2011-29827-C02-01Peer Reviewe
Bayesian Survival Model based on Moment Characterization

Bayesian nonparametric marginal methods are very popular since they lead to
fairly easy implementation due to the formal marginalization of the
infinite-dimensional parameter of the model. However, the straightforwardness
of these methods also entails some limitations: they typically yield point
estimates in the form of posterior expectations, but cannot be used to estimate
non-linear functionals of the posterior distribution, such as median, mode or
credible intervals. This is particularly relevant in survival analysis where
non-linear functionals such as e.g. the median survival time, play a central
role for clinicians and practitioners. The main goal of this paper is to
summarize the methodology introduced in [Arbel et al., Comput. Stat. Data. An.,
2015] for hazard mixture models in order to draw approximate Bayesian inference
on survival functions that is not limited to the posterior mean. In addition,
we propose a practical implementation of an R package called momentify designed
for moment-based density approximation, and, by means of an extensive
simulation study, we thoroughly compare the introduced methodology with
standard marginal methods and empirical estimation.Comment: 12 pages, 3 figures. arXiv admin note: substantial text overlap with
  arXiv:1405.662