Miracle-dz/UniFAR-FTUs huggingface dataset:
Support for consistency-preserving dynamic reconfigurations in distributed systems

The author presents a model with its linguistic and operational support for implementing consistency-preserving reconfigurations of distributed applications. This model extends the configuration-programming approach, where a distributed program is implemented at a programming and a configuration level and where dynamic changes are expressed only at the configuration level, i.e. as modifications of the connectivity structure among the parallel executing components. In this approach, besides the communication interface, every component of the application owns a reconfiguration interface, which defines the reconfiguration-specific interactions between the application processes and the reconfiguration processing. With such an interface, application and reconfiguration concerns can be well separated and existing applications can be easily upgraded to support consistency-preserving reconfigurations. <<ETX>>
Electronic model of a neuronal sinapsis of voltage to frequency, and frequency to voltage conversion

In this work we present the results of a study of neurons with synapses of the frequency-voltage type response, and the effects of the autosynapse that give us responses of long period. We also present the effects of synapse frequency/voltage-voltage/frequency in the phenomena of autosynapse in neuron cascades. We also studied the effects of the time constant involved in the synapses and their effects on the response of the neurons, in the autosynapse as well as in the neuron oscillatory cascades. All the studies in this first approximation were accomplished with electronic circuits that model the neurons and its synapses.
Semantic Interoperability For Legacy Databases

Glass or ceramic-to-metal composites or seals wherein the glass or ceramic is bonded to a copper base alloy having a thin film of Al2O3 on its surface. The Al2O3 film comprises at least 10 percent, up to 100 percent, of the oxide film thickness on the metal. The copper base alloy preferably contains 2 to 10 percent aluminum with C.D. A. Alloy 638 being the most preferred alloy. The invention also includes the process of bonding the glasses or ceramics to the metal. Substantial mismatch between the coefficient of thermal expansion of the glasses or ceramics and the copper base alloys may be tolerated in accordance with this invention.
3D Modeling with Support Vector Machines

We developed a new approach based on Support Vector Machines (SVM) to model solids defined by a set of points on their surface. In problems of classification, regression and support of distribution, SVM are focused in the hyper-planes of maximum margin in the feature space. However, the forms that could be described by these surfaces when they return to the input space have not been studied in depth. In this paper, these surfaces are used to model complex objects, connected or non- connected, with a great amount of points, in order of tens of thousands, and with various topologies (hollow, branches, etc.). Two constrains were kept: 1) The use of traditional algorithms of SVM theory; and 2) The design of the appropriate training sets from the object. This combination produced a novel tool and the results obtained illustrated the potential of the proposed method. Therefore, this new application of SVM of Vapnik is capable of creating surfaces of decision and estimation functions, which are well fitted to objects of complex topology.
A speech recognizer optimally combining learning vector quantization, dynamic programming and multi-layer perceptron

The authors give a detailed description of a new hybrid system for acoustic decoding. The system features cooperation between a multilayer perceptron (MLP) and an adaptive dynamic programming (DP) module. They show how to train the whole system in an optimal way using an adaptive gradient technique. The DP module optimizes cost functions inspired from k-means and learning vector quantization (LVQ). This module allows the training of synthetic references which incorporate discriminant information and improves the performance and/or speed of usual dynamic programming systems. The authors analyze and provide solutions to some problems which may occur when training the whole hybrid system and show that they are common to many modular architectures. These theoretical issues are illustrated through experiments on an isolated-word database. <<ETX>>
The effect of ISR on OFMSW during acidogenic fermentation for the production of AD precursor: kinetics and synergies

Acidogenic fermentation of the organic fraction of municipal solid waste (OFMSW) and its components (food waste, paper waste) was studied in a batch percolator reactor without artificial pH adjustment. The effect of inoculum to substrate ratio on process performance, in terms of pH, hydrolysis and volatile fatty acid (VFA) production, has been investigated. The inoculum to substrate ratio (ISR) was varied from 0 to 0.36 VS/VS and at optimized conditions for fermentation of OFMSW, with ISR 0.23, pH, hydrolysis and acidification yield were 5.5, 625 mg sCOD per g BD VS and 408 mg g−1 BD VS respectively. Due to the uplift of pH from 4 to 5.5 because of addition of ISR, the VFA composition was dominated mostly by butyric, acetic acids and propionic acid. Kinetics regarding rate of hydrolysis and acidification were calculated and reported. A significant synergistic effect was noticed in the acidification and hydrolysis, which were 1.76 and 1.35 fold higher than individual components (paper waste and food waste) of OFMSW, respectively and approximately 70% of biodegradable solid carbon solubilized into the liquid carbon within a short retention time of 78 h.
AVR microcontroller simulator for software implemented hardware fault tolerance algorithms research

Reliability of new, advanced electronic systems becomes a serious problem especially in places like accelerators and synchrotrons, where sophisticated digital devices operate closely to radiation sources. One of the possible solutions to harden the microprocessor-based system is a strict programming approach known as the Software Implemented Hardware Fault Tolerance. Unfortunately, in real environments it is not possible to perform precise and accurate tests of the new algorithms due to hardware limitation. This paper highlights the AVR-family microcontroller simulator project equipped with an appropriate monitoring and the SEU injection systems.
A SIMPLE TECHNIQUE FOR ON-TABLE CONFIRMATION OF LOCKING SCREW PLACEMENT FOR CANNULATED INTRAMEDULLARY NAILS

Background : Locked intramedullary nailing is the standard of care for femoral and tibial shaft fractures. Correct placement of locking screws is often an ordeal followed at times by a tormenting wait for check radiographs to confirm whether or not the locking screws were correctly placed. Objective : We present a simple, inexpensive, fool-proof technique that confirms the correct placement of the locking screws on table thus allowing for revision at the time of surgery in case the locking screw missed the locking hole in the nail. Methods : The basis of this technique is that a screw or drill bit in the locking hole prevents advancement of a guide wire beyond the level of the screw or drill bit. The maximal length of wire that goes in is marked prior to locking. The most distal distal lock is placed first. If the lock is in place, then less of the guide wire will go in than what went in in the first instance. The length of wire that goes in up to the most distal lock is then marked and used to confirm the placement of the proximal distal lock. In the same manner, the distal proximal lock is placed followed by the most proximal lock in that order. Results : We have used this technique to confirm placement of locking screws in thirty nailing procedures and on all occasions, check radiographs confirmed that the locking screws were correctly placed as confirmed by this technique. Conclusion : This technique enables the surgeon to confirm correct placement of locking screws on table. It can be used with any cannulated nailing system. It is simple, in-expensive and foul-proof. As an adjunct during closed nailing under image intensification, the technique helps reduce operating time and exposure to radiation.
Dynamic multi-agent architecture for multimedia multimodal dialogs

There is a real need for clear and sound design specifications of dynamic architecture for multimedia multimodal dialogs. These specifications must take into account the dynamic aspect in order to satisfy quality attributes such as adaptability, maintainability and understandability. Multimodal systems featuring fusion for natural human-computer interaction involve complex intelligent architectures to handle unexpected errors and mistakes made by users. These architectures should react to events that occur simultaneously with eventual redundancy from different input media. In this paper, dynamic based intelligent agent architectures for multimedia multimodal dialog protocols are proposed Global agents are decomposed into relevant sub-agents, called components. Each sub-agent is modeled separately. Timed colored Petri nets are used to specify the structure and behavior of each agent in our architecture and to prove that this architecture satisfies the desired structural and behavioral properties. This paper describes work in progress and presents a sound idea of designing dynamic architecture using agents for multimedia applications.
Presupuesto parcial en un rodeo Aberdeen Angus con doble dosis de PGF2α de diferentes marcas comerciales

En el mercado se encuentran diferentes marcas comerciales de prostaglandina F2α (PGF2α), las cuales varian mucho en su precio, y por esto cuando se realiza este protocolo de sincronizacion, nace la inquietud de hacer la comparacion entre una marca de produccion nacional y otra importada. Los objetivos del trabajo fueron comparar los porcentajes de presentacion de celo y prenez posterior a un tratamiento con doble dosis de PGF2α, y posteriormente calcular el presupuesto parcial utilizando dos PGF2α de diferentes marcas comerciales y precio.El ensayo se realizo en vaquillonas Aberdeen Angus negro, de 20 meses de edad promedio, con una condicion corporal promedio de 4 (escala del 1 al 5), en un establecimiento ubicado en el partido de General Pueyrredon. Se realizo previamente una revisacion preservicio, mediante la estimacion del Grado de desarrollo reproductivo, descartando animales que padecian la condicion de freemartinismo, y los que poseian infantilismo. A los animales aptos se les aplico la primera dosis de PGF2α en el momento de la revisacion, administrando a la mitad (n=95) de los animales la PGF2α A (importada) y a la otra mitad (n=96) la PGF2α B (nacional). La segunda dosis de PGF2α se aplico 13 dias despues de la primera. La deteccion de celo se realizo durante 96 horas mediante observacion visual, con ayuda de pintura. La inseminacion artificial se realizo con la regla am-pm con semen de cuatro toros de probada fertilidad y el diagnostico de gestacion se realizo a los 45 dias de la IA. Los resultados fueron analizados con tablas y graficos de Excel, y se calcularon Test de chi2 para establecer si habia diferencias estadisticamente significativas en las distintas variables observadas, y como herramienta economica para establecer si convenia una PGF2α o la otra se utilizo el presupuesto parcial. Se calcularon los costos totales de cada uno de los protocolos y con la cantidad de vaquillonas prenadas se determino el costo por vientre prenado (CVP) de cada laboratorio usado. Los resultados fueron levemente mejores cuando se utilizo la PGF2α de origen nacional.
A platform for distributing and reasoning with OWL-EL knowledge bases in a peer-to-peer environment

Memory exhaustion is a common problem in tableau-based OWL reasoners, when reasoning with large ontologies. One possible solution is to distribute the reasoning task across multiple machines. In this paper, we present, as preliminary work, a prototypical implementation for distributing OWL-EL ontologies over a Peer-to-Peer network, and reasoning with them in a distributed manner. The algorithms presented are based on Distributed Hash Table (DHT), a common technique used by Peer-to-Peer applications. The system implementation was developed using the JXTA P2P platform and the Pellet OWL-DL reasoner. It remains to demonstrate the efficiency of our method and implementation with respect to stand alone reasoners and other distributed systems.
The effect of structure and isomerism on the vapor pressures of organic molecules and its potential atmospheric relevance

Abstract Knudsen Effusion Mass Spectrometry (KEMS) was used to find the solid state vapor pressures of a range of atmospherically relevant organic molecules from 298 K to 333 K. The selection of species analyzed allowed for the effect of structural isomerism, specifically positional isomerism, and stereoisomerism, specifically geometric isomerism, on solid state vapor pressure to be investigated. In addition, the effect of varying the number of carboxylic acid groups present within a molecule’s structure and of varying alkyl chain length was assessed. The solid state vapor pressures were converted to subcooled liquid vapor pressures using experimental heat of fusion and melting point values. The resulting subcooled liquid vapor pressures were found to be up to 7 orders of magnitude lower than the vapor pressures estimated from models. Some of this variation between experimentally determined subcooled liquid vapor pressures and predicted vapor pressures, which use group contribution methods, can be attributed to the effects of isomerism which are largely not taken into account in models. Whilst these techniques might have both structural and parametric uncertainties, of the compound classes tested, a general inverse relationship between melting point and solid state vapor pressure was observed. Within each compound class the variations in vapor pressure can be attributed to the number and size of functional groups present and the relative positions of those functional groups to each other both positionally and geometrically. These two factors impact upon both the molecules’ dipole moments and upon their ability to interact both intramolecularly and intermolecularly via hydrogen bonding, thus explaining the differences in observed vapor pressure. Partitioning calculations using a range of condensed mass loadings show that whilst using vapor pressure values derived from models would put most of the compounds in the vapor phase, using the experimental values obtained here would mean a significant fraction of the organic molecules would be in the condensed phase. This could have a significant impact upon the formation and nature of atmospheric aerosol, and comparisons with ambient data obtained from other mass spectrometry techniques during bonfire night in Manchester in 2016 are made in an attempt to assess this potential atmospheric importance.
The influence of health systems on breast, cervical and colorectal cancer screening: an overview of systematic reviews using health systems and implementation research frameworks

Objectives Screening for breast, cervical and colorectal cancer in an average-risk population is widely recommended in national and international guidelines although their implementation varies. Using a conceptual framework that draws on implementation and health systems research, we provide an overview of systematic literature reviews that address health system and service barriers or facilitators to effective cancer screening. Methods Using a systematic approach, we searched Cochrane Database of Systematic Reviews, Ovid Medline, Ovid Embase, Web of Science, PsychInfo and other internet sources. We included systematic reviews of screening interventions (i.e. targeting people at average risk) for breast, cervical and colorectal cancer. The analysis included 90 systematic reviews. Results This review identified a multitude of barriers and facilitators affecting the health system, the capabilities of individuals in the system and their intentions. A large proportion of the available evidence focused on uptake. The reviews demonstrated that health system factors influenced participation, as well as quality and effectiveness of the service provided. The barriers with the biggest impact were knowledge/education, mainly of clients but also providers (capability barriers) and beliefs and values (intention barriers) of the eligible population. These findings complement the usual focus on psychological and social barriers to informed participation by individuals that dominate the screening literature. The facilitators with the most supporting evidence were educational interventions (overcoming capability and intention barriers), invitation letters, reminders and appointments. These were mainly directed at eligible individuals and, to a lesser extent, to providers and healthcare professionals. Only a small number of reviews, mainly from Europe, specified organized, rather than opportunistic, screening programmes. In those, low participation was the most frequently cited barrier and invitation letters (including physician endorsement, phone calls and reminders to non-responders and healthcare professionals) were the most prevalent facilitators. Conclusion Despite evidence of barriers and facilitators to screening participation and opportunistic screening, further health systems research covering the entire screening system for organized programmes is required.
Learner Media Preferences in an Evidence-Based Practice Asynchronous Web Module

Evidence-based practice (EBP) is considered an integral element of healthcare education today. Using an asynchronous online tutorial may be an effective and efficient way to introduce EBP to students. The primary purpose of this case study was to identify student preference for delivery format of an online EBP tutorial by comparing interactive web modules with PDF text modules. The secondary purpose was to demonstrate student mastery of subject matter. A first year cohort (N=50) of doctor of physical therapy students was enrolled in a self-paced, online EBP tutorial consisting of five modules, each produced in both an interactive and a text format. The students were randomly allocated into two groups. A cross-over design alternated the module format between groups for the first four modules, then students chose their preferred format for module five. Pre/post surveys revealed most students preferred having both the interactive and text formats available, and accessed both when given a choice. Pre/post test scores indicated that all students achieved content mastery with no significant difference between groups. Students preferred having a choice of delivery methods. Type of delivery method did not significantly impact learning.
Stability of linear time varying multiple input multiple output continuous time learning control systems: a sufficient condition

Repeated accurate path tracking has many control applications. Manufacturing CNC machines or cycling actuators are examples. Effectiveness is limited to model accuracy, and complete information is not always available. Also, parameters may drift over time. Repeated operations permits control signal adjustments between cycles using trajectory error information. Learning systems are well suited for this situation. This paper proposes a sufficient condition for stability of linear time varying multiple input multiple output (MIMO) learning control systems. <<ETX>>
ROBUSTSPEAKERRECOGNITIONWITH CROSS-CHANNELDATA: MIT-LLRESULTSON THE 2006NISTSREAUXILIARYMICROPHONE TASK*

Oneparticularly difficult challenge forcross-channel speaker verification istheauxiliary microphone taskintroduced inthe 2005and2006NISTSpeaker Recognition Evaluations, where training usestelephone speech andverification usesspeech from multiple auxiliary microphones. Thispaperpresents two approaches tocompensate fortheeffects ofauxiliary microphones onthespeech signal. Thefirst compensation methodmitigates session effects through LatentFactorAnalysis (LFA)and Nuisance Attribute Projection (NAP). Thesecondapproach operates directly ontherecorded signal withnoisereduction techniques. Results arepresented thatshowareduction inthe performance gapbetween telephone andauxiliary microphone data. IndexTerms Speaker recognition, Speech enhancement, Microphones, Acoustic noise
State space modeling and active control of slosh

The wave motion of fluids in finite containers, called slosh, is known to have adverse effects on the dynamics of aerospace vehicles and tanker trucks as well as on large storage tanks during earthquakes. This paper investigates slosh from an active feedback control perspective, and considers two possible active control methods for attenuating the response of the fluid to an external disturbance acceleration acting on the tank. The first method uses surface pressure control, whereas the second method uses a flap actuator on the surface of the fluid. In the first part of the paper we derive a state space model of slosh in a tank of rectangular cross section. This model is then used to design feedback controllers using LQG synthesis, and simulation results are presented to demonstrate the closed-loop performance.
CHEMICAL GENETIC REGULATION OF MALONYL-COA DECARBOXYLASE IN SKELETAL MUSCLE INSULIN RESISTANCE

ii ACKNOWLEDGEMENT. iv LIST OF FIGURES.vii CHAPTER I. Overview.1 The Obesity, Insulin Resistance, and Type 2 Diabetes Epidemic.2 Insulin and Glucagon.6 Insulin Signaling.7 Metabolism of Substrates for Energy Usage: β-Oxidation.10 Metabolism of Substrates for Energy Storage: De Novo Fatty Acid Synthesis.12 Malonyl-CoA: A Dynamic Signaling Molecule.12 ACC and MCD Regulate Malonyl-CoA Concentration.15 Malonyl-CoA Targets CPT1.16 Metabolic Fuel Switching.18 Development of Chemical-Genetic Approaches to Study Metabolism.23 Overview of Shield-1 Chemical-Genetic System.24 II. Targeted Chemical-Genetic Regulation of Protein Stability In Vivo.26 Summary.27 Introduction.28 Results.29 Discussion.34
Integrated displays of multiparameter and multimodality images

Two specific approaches to integrated displays of multiparameter and multimodality tomographic images are proposed and illustrated. Such integration enables the radiologist to see the combined information that these displays only crudely afford when viewed individually. With color coding, the gray-scale values of the pixels in the separate images control the color values of corresponding pixels in a single color picture. With geometric coding, the gray-scale values from the separate images control the geometry of a graphic icon at corresponding locations in the combined image. These techniques are applies to create integrated displays of two-parameter magnetic resonance images of two medical cases. <<ETX>>
Prevention and Detection of Financial Statement Fraud – An Implementation of Data Mining Framework

Every day, news of financial statement fraud is adversely affecting the economy worldwide. Considering the influence of the loss incurred due to fraud, effective measures and methods should be employed for prevention and detection of financial statement fraud. Data mining methods could possibly assist auditors in prevention and detection of fraud because data mining can use past cases of fraud to build models to identify and detect the risk of fraud and can design new techniques for preventing fraudulent financial reporting. In this study we implement a data mining methodology for preventing fraudulent financial reporting at the first place and for detection if fraud has been perpetrated. The association rules generated in this study are going to be of great importance for both researchers and practitioners in preventing fraudulent financial reporting. Decision rules produced in this research complements the prevention mechanism by detecting financial statement fraud.