Miracle-dz/UniFAR-FTUs huggingface dataset:
The Impact of Structured Support Groups for Pregnant South African Women Recently Diagnosed HIV Positive

The authors of this study evaluated a structured 10-session psychosocial support group intervention for newly HIV-diagnosed pregnant South African women. Participants were expected to display increases in HIV disclosure, self-esteem, active coping and positive social support, and decreases in depression, avoidant coping, and negative social support. Three hundred sixty-one pregnant HIV-infected women were recruited from four antenatal clinics in Tshwane townships from April 2005 to September 2006. Using a quasi-experimental design, assessments were conducted at baseline and two and eight months post-intervention. A series of random effects regression analyses were conducted, with the three assessment points treated as a random effect of time. At both follow-ups, the rate of disclosure in the intervention group was significantly higher than that of the comparison group (p < 0.001). Compared to the comparison group at the first follow-up, the intervention group displayed higher levels of active coping (t = 2.68, p < 0.05) and lower levels of avoidant coping (t = −2.02, p < 0.05), and those who attended at least half of the intervention sessions exhibited improved self-esteem (t = 2.11, p < 0.05). Group interventions tailored for newly HIV positive pregnant women, implemented in resource-limited settings, may accelerate the process of adjusting to one's HIV status, but may not have sustainable benefits over time.
Towards a factored analysis of legged locomotion models

In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of the spring loaded inverted pendulum (SLIP) with different leg recirculation strategies. We obtain a necessary condition for the asymptotic stability of those models, which is formulated as an exact algebraic expression despite the non-integrability of the SLIP dynamics. We outline the application of this analysis of other models of legged locomotion and it importance for the stability of legged robots and animals.
Making Multi-Dimensional Trust Decisions on Inter-Enterprise Collaborations

Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability challenges involved in connecting different information and communication systems. Trust or lack thereof forms a pragmatic challenge: partners must continuously evaluate whether they trust each other enough to collaborate in the face of risk. Supporting technology is needed for making trust-based decisions on routine business transactions and observing the business peers for malicious or incorrect behaviour on interactions. We present a trust model for automating routine decision-making which considers both risk probabilities and tolerance valuations in the enterprise, and is dynamically updated based on new experience gathered both locally and from third parties.
Metabolomic Profiling in Cattle Experimentally Infected with Mycobacterium avium subsp. paratuberculosis

The sensitivity of current diagnostics for Johne's disease, a slow, progressing enteritis in ruminants caused by Mycobacterium avium subsp. paratuberculosis (MAP), is too low to reliably detect all infected animals in the subclinical stage. The objective was to identify individual metabolites or metabolite profiles that could be used as biomarkers of early MAP infection in ruminants. In a monthly follow-up for 17 months, calves infected at 2 weeks of age were compared with aged-matched controls. Sera from all animals were analyzed by 1H nuclear magnetic resonance spectrometry. Spectra were acquired, processed, and quantified for analysis. The concentration of many metabolites changed over time in all calves, but some metabolites only changed over time in either infected or non-infected groups and the change in others was impacted by the infection. Hierarchical multivariate statistical analysis achieved best separation between groups between 300 and 400 days after infection. Therefore, a cross-sectional comparison between 1-year-old calves experimentally infected at various ages with either a high- or a low-dose and age-matched non-infected controls was performed. Orthogonal Projection to Latent Structures Discriminant Analysis (OPLS DA) yielded distinct separation of non-infected from infected cattle, regardless of dose and time (3, 6, 9 or 12 months) after infection. Receiver Operating Curves demonstrated that constructed models were high quality. Increased isobutyrate in the infected cattle was the most important agreement between the longitudinal and cross-sectional analysis. In general, high- and low-dose cattle responded similarly to infection. Differences in acetone, citrate, glycerol and iso-butyrate concentrations indicated energy shortages and increased fat metabolism in infected cattle, whereas changes in urea and several amino acids (AA), including the branched chain AA, indicated increased protein turnover. In conclusion, metabolomics was a sensitive method for detecting MAP infection much sooner than with current diagnostic methods, with individual metabolites significantly distinguishing infected from non-infected cattle.
An Algorithm for Computing the Rst Homology Groups of Cdgas with Linear Diierential. Supported by a Grant from the Junta De Andaluc A

We design here a primary platform for computing the basic homological information of Commutative Di erential Graded Algebras (brie y, CDGAs), endowed with linear di erential. All the algorithms have been implemented in the framework settled by Mathematica, so that we can take advantage of the use of symbolic computation and many other powerful tools this system provides. Working in the context of CDGAs, Homological Perturbation Theory ([8], [9],[17]) supplies immediately a general algorithm computing the 1-homology of these objects at graded module level. But this process, already sketched by Lambe in [12], often bears high computational charges and actually restricts its application to the low dimensional homological calculus. Although we already know the work of Lambe on Axiom (earlier known as \Scratchpad", [11],[13]), our goal is to implement new functions on Mathematica, starting from the theoretical approach settled in [2]. This paper is devoted to design and analyze a particular Mathematica \package" for computing the basic homological information of CDGAs endowed with linear di erential. What we do here, indeed, is to compute the di erential operator and not the homology itself, actually. The full homological information may be reached by only applying Veblen's algorithm (see [19]). In this sense, it may be an Partially supported by PAICYT n. FQM-0143, Spain 2Partially supported by project DGYCI n. PB97-1025-C02-02, Spain 3 Supported by a grant from the Junta de Andaluc a Preprint submitted to IMS'99 27 August 1999 interesting e ort to implement a routine for computing the Smith normal form of a given matrix, which was not our goal here. Nevertheless, homological information is available by knowing the di erential operator. All the functions and formulas below may be implemented in di erent notebooks, so that each of them can be independently executed. The paper is organized as follows. In Section 1, we give some preliminaries of Di erential Homological Algebra. This section is just necessary for getting a basic knowledge about what a homological model of a CDGA is, and how to compute its homology groups. Sections 2 to 8 are devoted to construct the seven elemental functions which lead to de ne the di erential operator on the homological model. From this data, we may de ne the function computing that di erential operator, in the same way it is done in [1]. Last section includes the full code of the programme.
Setup time, hold time and clock-to-Q delay computation under dynamic supply noise

This paper discusses how to cope with dynamic power supply noise in FF timing estimation. We first review the dependence of setup and hold time on supply voltage, and point out that setup time is more sensitive to supply voltage than hold time and hold time at nominal voltage is reasonably pessimistic. We thus propose a procedure to estimate setup time and clock-to-Q delay taking into account given voltage drop waveforms using an equivalent DC voltage approach. Experimental results show that the proposed procedure estimates setup time and clock-to-Q delay fluctuations well with 5% and 3% errors on average.
Impact of Systematic Isolation of Superior Vena Cava in Addition to Pulmonary Vein Antrum Isolation on the Outcome of Paroxysmal, Persistent, and Permanent Atrial Fibrillation Ablation: Results from a Randomized Study

Impact of the Systematic Isolation of the Superior Vena Cava. Background: Pulmonary veins (PVs) have been shown to represent the most frequent sites of ectopic beats initiating paroxysmal atrial fibrillation (AF). However, additional non‐PV triggers, arising from different areas, have been reported as well. One of the most common non‐PV sites described is the superior vena cava.
Improving Separability of Structures with Similar Attributes in 2D Transfer Function Design

The 2D transfer function based on scalar value and gradient magnitude (SG-TF) is popularly used in volume rendering. However, it is plagued by the boundary-overlapping problem: different structures with similar attributes have the same region in SG-TF space, and their boundaries are usually connected. The SG-TF thus often fails in separating these structures (or their boundaries) and has limited ability to classify different objects in real-world 3D images. To overcome such a difficulty, we propose a novel method for boundary separation by integrating spatial connectivity computation of the boundaries and set operations on boundary voxels into the SG-TF. Specifically, spatial positions of boundaries and their regions in the SG-TF space are computed, from which boundaries can be well separated and volume rendered in different colors. In the method, the boundaries are divided into three classes and different boundary-separation techniques are applied to them, respectively. The complex task of separating various boundaries in 3D images is then simplified by breaking it into several small separation problems. The method shows good object classification ability in real-world 3D images while avoiding the complexity of high-dimensional transfer functions. Its effectiveness and validation is demonstrated by many experimental results to visualize boundaries of different structures in complex real-world 3D images.
Maternal smoking during pregnancy, behavioral problems and school performances of their school-aged children.

BACKGROUND Child behavior and school performance is influenced by many genetic and environmental factors including prenatal exposure to chemical neurotoxins contained in cigarette smoke. The European Longitudinal Study of Pregnancy and Childhood (ELSPAC) prospective study which in the Czech Republic incorporates a cohort of children born in the years 1991/2 in Brno city and the Znojmo district also allows to analyze the relationships between prenatal cigarette smoke exposure and the occurrence of behavior and learning disorders. METHODS Using questionnaires repeatedly filled in by teachers and investigation protocols performed by research team workers data for the Brno sample of children was collected on the occurrence of signs indicating more serious problems with school assignment fulfilling and behavior disorders in the childrens' 8, 11 and 13 years of age. According to mothers' statements about their smoking behavior during pregnancy, the children were divided into two groups: prenatally exposed and non-exposed. The frequency differences of individual traits were evaluated in the SPSS statistical program (Pearson's chi2 test and linear associations, probability relations). RESULTS In the ELSPAC study set the occurrence of inferior schoolwork performance evaluated based on term-report grades was more frequent in children prenatally exposed to mothers' smoking, along with more frequently diagnosed disorders which to significant extent implicate these inferior results and also special care needs occurred more frequently when compared to their peers born to non-smoking mothers. In the prenatally exposed subset also more frequent occurrence of various signs characterizing behavior disorders including attention disorders, hyperactivity, aggressiveness and signs of delinquency behavior were recorded. CONCLUSIONS The Czech ELSPAC cohort confirmed the results of other studies; within it was documented that children born to smoking mothers have more frequent behavioral problems and problems with fulfilling their school assignments in the school age period.
C-Reactive Protein in Hypertensive Disorders in Pregnancy

Hypertension is the most frequent medical complication of pregnancy. A recent report demonstrates the flogistic pathogenesis of pregnancy-induced hypertension. Because C-reactive protein (CRP) is a marker of inflammation, it can be used in the differential diagnosis of hypertensive disorders of pregnancy. A total of 322 pregnant women at 24 to 32 weeks’ gestation were enrolled. The control group (A) comprised 190 women. Sixty-three women had preeclampsia (PE, group B), 31 women presented transient hypertension (TH, group C), 19 had HELLP syndrome (HS, group D) and 19 had chronic hypertension (CH, group E). CRP serum concentrations were significantly higher in groups B, C, and D in comparison with the group A. In the whole population, systolic and diastolic pressure value inversely correlate with weight at delivery and weeks of gestation at delivery. CPR levels in patients with PE and HS inversely correlate with birth weight and gestational week at delivery. Normal plasma levels of CRP may be an important marker of differential diagnosis between TH and CH. In TH, PE, and HS, CRP levels were higher than in the control and CH groups, suggesting that inflammation may be the common pathogenetic cause of TH and PE. Finally CRP levels in preeclampsia are believed to correlate with preeclamptic process severity.
A Pattern based Software Engineering Tool for Grid Environments

A pattern-based software engineering tool for constructin g workflow based applications is described. The tool provides a novel way of compos ing applications executing over Grid resources. The tool provides a structured desi gn approach, centered on the manipulation of patterns through pre-defined pattern op erators. Patterns and operators are divided into two categories: structural and behav ioural. Structural operators act upon structural patterns to build reusable architectur s. Behavioural patterns define the data and control flow dependencies between components in the architecture. Components within a pattern are subsequently instantiated wit h particular executables, and behavioural operators allow subsequent execution control and reconfiguration of the application.
Design of multiband implantable loop antenna for in body applications

In this paper, a flexible loop implantable antenna is proposed for in body applications. The proposed antenna covers the Med Radio band (401-406MHZ) which is the standard band for Bio Implantable applications, ISM bands at 433-434.8MHz and 902-928MHz. The antenna is made of biocompatible loss free polyamide hollow cylindrical substrate of relative permittivity 3.5 having a size of 3.3 mm radius, height of 15 mm and thickness of 0.0254mm. The patch is wrapped over the cylindrical polyimide substrate. The simulated antenna is having two bands 272 - 458MHz resonates at 347 MHz and also covers bandwidth range 751 - 1015MHz having proper VSWR throughout the bandwidth. The Radiation pattern of this antenna is unidirectional having a gain of -32.15dB at 404.5MHz.
Shape retrieval using deep autoencoder learning representation

Deep learning has shown to be very effective in variety of applications including image classification and object recognition. In this paper we use deep autoencoder for compact shape representation learning and image retrieval. In this method the autoencoder is a 4-layer coding network, and the original shape images after scale normalization are used to pre-train the autoencoder in an unsupervised way. Then fine-tuning procedure is executed on the 4-layer coding network to refine the learned weight matrixes. Finally a learned 40-dimension vector for each shape image is used as its features, and the similarity between any two shapes is measured using standard cosine similarity. The image retrieval performance of the proposed method is evaluated on the Swedish leaf database using precision and recall measurement, and compared with the classical Fourier shape descriptor. The experimental results indicate that the proposed method reaches the higher precision at the same recall value among compared methods.
Scheduling of Embedded Controllers Under Timing Contracts

Timing contracts for embedded controller implementation specify the constraints on the time instants at which certain operations are performed such as sampling, actuation, computation, etc. Several previous works have focused on stability analysis of embedded control systems under such timing contracts. In this paper, we consider the scheduling of embedded controllers on a shared computational platform. Given a set of controllers, each of which is subject to a timing contract, we synthesize a dynamic scheduling policy, which guarantees that each timing contract is satisfied and that the shared computational resource is allocated to at most one embedded controller at any time. The approach is based on a timed game formulation whose solution provides a suitable scheduling policy. In the second part of the paper, we consider the problem of synthesizing a set of timing contracts that guarantee at the same time the schedulability and the stability of the embedded controllers.
Multiple Pre/Post Specifications for Heap-Manipulating Methods

Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of each method before it is systematically verified. In this paper, we advocate for multiple pairs of pre/post conditions to be associated with each method which provides a way for such specification to be used in more scenarios. Multiple pre/post specifications are important for heap-manipulating programs where they can be precisely expressed using separation logic. This work highlights the importance of multiple pre/post specifications, and a methodology to capture them via set of states during proof search.
Impact Of Noise Cancellation Scheme On Performance Enhancement Of MIMO-OFDM Wireless Communication System

Multiple Input Multiple Output (MIMO) Multiple Input Multiple Output (MIMO) systems offer a considerable enhancement of data throughput and link range without requirement of additional bandwidth or transmit power under implementation of multiple antennas both at transmitter and receiver. In view of improving performance of MIMO wireless communication system, noise and interference reduction play a vital role in effective transmission of data in various forms such as audio, video, text, image etc. In this research paper, a comprehensive study has been made on implementation of various noise and interference reduction techniques for performance improvement of a simulated MIMOOFDM wireless communication system. From the study, it has been ratified and explored that a significant noise and interference reduction is observed in case of implementing LMS scheme with Zero Forcing (ZF) channel equalization/signal detection technique. Keywords—MIMO-OFDM, LMS Algorithm, Signal Detection, System Model, Simulation Parameters, Simulation, Performance Evaluation
Research on Reliability Model of Large-Scale Wireless Sensor Networks

In this paper, we consider the problem of how to measure the reliability of the large-scale wireless sensor networks, which is a fundamental requirement of wireless sensor networks deployment. Sensing coverage and network connectivity are key QoS requirements of wireless sensor networks, while network lifetime based on energy efficiency and invulnerability based on fault-tolerance are two main factors to measure network reliability. Therefore a novel reliability model to prolong the network lifetime and improve robust ability of wireless sensor network is proposed in detail, which is based on certain K-coverage and K-connectivity constraints in order to support different QoS requirements with various applications or environments. Afterwards, a wireless sensor network example is simulated in the article to validate the reliability model, and the relationship between reliability value and sensor density is studied further. Topology control algorithm with this reliability model as optimization objective is under working
Decomposition Instead of Self-Composition for k-Safety

We describe a novel technique for proving k-safety properties (non-interference, determinism, etc.) via a decomposition that enables one to leverage non-relational reasoning techniques. The key is the inter-operation of the following principles. First, we observe that many k-safety properties of interest have a particular structure that we call ψ-quotient partitionability where ψ is a k-ary formula. Second, we develop a partitioning strategy of execution traces based on the k-safety property Φ of interest such that if ψ holds for k traces then they must be in the same partition. Finally, within a partition component Ti, we observe that we can prove k-safety by instead proving a universal property: all traces within the partition satisfy some common property Pi, chosen to be strong enough that it implies the k-safety property Φ of any k-tuple of traces in components Ti. We apply this strategy to the task of discovering timing side channels. A key feature of our approach is a demanddriven partitioning strategy that uses high/low-annotated regex-like trails to reason about one partition component of execution traces at a time. We have applied our technique in a prototype implementation tool called Blazer, based on WALA, PPL, Z3, and the brics automaton library. We have proved non-interference of (or synthesized an attack specification for) 25 programs written in Java bytecode, including 7 classic examples from the literature, and 6 examples extracted from the DARPA STAC challenge problems.
The 26S Proteasome Rpn10 Gene Encoding Splicing Isoforms: Evolutional Conservation of the Genomic Organization in Vertebrates

Abstract Recognition of polyubiquitinated substrates by the 26S proteasome is a key step in the selective degradation of various cellular proteins. The Rpn10 subunit of the 26S proteasome can bind polyubiquitin conjugates in vitro.We have previously reported the unique diversity of Rpn10, which differs from other multiple proteasome subunits, and that the mouse Rpn10 mRNA family is generated from a single gene by developmentally regulated alternative splicing. To determine whether such alternative splicing mechanisms occur in other species, we searched for Rpn10 isoforms in databases and in our original PCR products. Here we report the genomic organization of the Rpn10 gene in lower vertebrates and provide evidence for the competent generation of distinct forms of Rpn10 by alternative splicing through evolution.