Miracle-dz/UniFAR-FTUs huggingface dataset:
Formal Model for Business-aware Transaction Management

Currently, Service Based Applications (SBAs) concentrate on composing software services into business processes. However, a few languages explicitly define business artifacts [6] including critical business activities, business events, business data, QoS requirements and SLAs. This is surprising since end-toend processes typically involve well defined standard processes or segments( (eg. payment processing, shipping and tracking.). Additionnally, SLA is a key concept in end-to-end processes. Furthermore, no well defined language enables an holistic (choreographic) description of these necessarily related granular business tenets in an end-to-end process constellation [19]. However this is critical for obtaining a reliable message level protocol, tackling monitoring issues, and enabling reuse. Last, although declarative languages exist for service composition [17] to tackle flexibility issue and reuse, they are not business aware and do not emphasize on the key concept of transaction and SLAs [19] for SBA. However Business Transaction and SLAs concepts often need to be declarative [20], [5], [19] and seems convenient for reuse. To illustrate some of the above remarks, we considere the standard BPEL [18] and a current technique for monitoring and recovery. In BPEL, focus is on messages and control flow rather than on active business object [6]. But business analyst may wish focusing only on the effect of business transaction such as ” Shipping” on corresponding real object such as ”good” (standed by a business object), rather than dealing systematically with the manipulation of numerous Business document (or attributes) aliases while sending messages. Enforcing message dependencies should be presented as an enactement of a stronger declarative business goal. Moreover, different encoding may satisfy business requirement. For instance, it is not possible to specify in a direct way in BPEL the business compliance pattern of ”prerequisite” wich means that, the absence of one activity implies that another is also absent. Last, The ” mixing” of SAGA style [9] with fault-handler mechanism coming from programing community (C++, Java) [18], is an ad-hoc approach [12]. Furthermore, BPEL does not tackle decentralized distributed transactional coordination mechanism. In [3], monitoring techniques enable separation between monitoring data from analysis. However, the business artifact dependencies maps, are not considered as a
Neuron sparseness versus connection sparseness in deep neural network for large vocabulary speech recognition

Exploiting sparseness in deep neural networks is an important method for reducing the computational cost. In this paper, we study neuron sparseness in deep neural networks for acoustic modeling. For the feed-forward stage, we only activate neurons whose input values are larger than a given threshold, and set the outputs of inactive nodes to zero. Thus, only a few nonzero outputs are fed to the next layer. Using this method, the output vector of each hidden layer becomes very sparse, so that the computational cost of the feed-forward algorithm can be reduced by adopting sparse matrix operations. The proposed method is evaluated in both small and large vocabulary speech recognition tasks, and results demonstrate that we can reduce the nonzero outputs to fewer than 20% of the total number of hidden nodes, without sacrificing speech recognition performance.
NOS1AP Is a Genetic Modifier of the Long-QT Syndrome

Background— In congenital long-QT syndrome (LQTS), a genetically heterogeneous disorder that predisposes to sudden cardiac death, genetic factors other than the primary mutation may modify the probability of life-threatening events. Recent evidence indicates that common variants in NOS1AP are associated with the QT-interval duration in the general population. Methods and Results— We tested the hypothesis that common variants in NOS1AP modify the risk of clinical manifestations and the degree of QT-interval prolongation in a South African LQTS population (500 subjects, 205 mutation carriers) segregating a founder mutation in KCNQ1 (A341V) using a family-based association analysis. NOS1AP variants were significantly associated with the occurrence of symptoms (rs4657139, P=0.019; rs16847548, P=0.003), with clinical severity, as manifested by a greater probability for cardiac arrest and sudden death (rs4657139, P=0.028; rs16847548, P=0.014), and with greater likelihood of having a QT interval in the top 40% of values among all mutation carriers (rs4657139, P=0.03; rs16847548, P=0.03). Conclusions— These findings indicate that NOS1AP, a gene first identified as affecting the QTc interval in a general population, also influences sudden death risk in subjects with LQTS. The association of NOS1AP genetic variants with risk for life-threatening arrhythmias suggests that this gene is a genetic modifier of LQTS, and this knowledge may be clinically useful for risk stratification for patients with this disease, after validation in other LQTS populations.
Pentoxifylline and electromagnetic field improved bone fracture healing in rats

Background The aim of this study was to evaluate the effects of a phosphodiesterase inhibitor pentoxifylline (PTX), electromagnetic fields (EMFs), and a mixture of both materials on bone fracture healing in a rat model. Materials and methods Eighty male Wistar rats were randomly divided into four groups: Group A, femur fracture model with no treatment; Group B, femur fracture model treated with PTX 50 mg/kg/day intraperitoneal injection; Group C, femur fracture model treated with EMF 1.5±0.2 Mt/50 Hz/6 hours/day; and Group D, femur fracture model treated with PTX 50 mg/kg/day intraperitoneal injection and EMF 1.5±0.2 Mt/50 Hz/6 hours/day. Results Bone fracture healing was significantly better in Group B and Group C compared to Group A (P<0.05), but Group D did not show better bone fracture healing than Group A (P>0.05). Conclusion It can be concluded that both a specific EMF and PTX had a positive effect on bone fracture healing but when used in combination, may not be beneficial.
The Interplay between Circadian System, Cholesterol Synthesis, and Steroidogenesis Affects Various Aspects of Female Reproduction

Circadian aspect of reproduction has gained much attention in recent years. In mammals, it is very important that the timing of greatest sexual motivation is in line with the highest fertility. Peripheral clocks have been found to reside also in reproductive organs, such as the uterus and ovary. The timing signal from the suprachiasmatic nucleus is suggested to be transmitted via hormonal and neural mechanisms, and could thus mediate circadian expression of target genes in these organs. In turn, estrogens from the ovary have been found to signal back to the hypothalamus, completing the feedback loop. In this review we will focus on the interplay between clock and estrogens. Estradiol has been directly linked with expression of Per1 and Per2 in the uterus. CLOCK, on the other hand, has been shown to alter estradiol signaling. We also present the idea that cholesterol could play a vital role in the regulation of reproduction. Cholesterol synthesis itself is circadially regulated and has been found to interfere with steroidogenesis in the ovary on the molecular level. This review presents a systems view on how the interplay between circadian clock, steroidogenesis, and cholesterol synthesis affect various aspects of mammalian reproduction.
Million Module March: Scalable Locomotion for Large Self-Reconfiguring Robots

Self-reconfiguring robots have the potential to explore highly variable terrain, operating as parallel groups or combining to surmount large obstacles. If the modules are at a smaller scale, they may also be able to physically render arbitrary shapes in an interactive way. In order to realize these capabilities, groups with large numbers of modules must be used, and algorithms to control such large groups must be extremely scalable in order to be executed on simple modules. In this work, we present an algorithm for locomotion of lattice-based self-reconfiguring robots that uses constant memory per module with execution times that are sublinear in the number of modules. The algorithm is inspired by reinforcement learning and uses dynamic programming to plan module paths in parallel. We have also developed a novel localized cooperation scheme that allows the modules to move both without disconnecting the system and with small amounts of communication. The combined algorithm is able to direct locomotion over arbitrary obstacles, and due to continuous replanning the goal can be moved at any time to `joystick' the robot over the environment. The formulation of the goal used in the planning also encourages dynamic stability. We have developed both centralized and decentralized implementations in simulation, as well as an implementation for the Superbot system, and present empirical results showing the sublinear nature of our technique.
Coexistence of an endocrine tumour in a serous cystadenoma (microcystic adenoma) of the pancreas, an unusual association

A pancreatic endocrine tumour arising within a serous cystadenoma is reported. A 49 year old woman was admitted with a history of epigastric pain, nausea, vomiting, and weight loss of two months duration. She had been diabetic for 12 years. An epigastric mass was palpated in the physical examination, and computed tomography revealed a multiloculated cystic lesion in the pancreas. Pathological examination of the pancreatic tumour revealed the coexistence of a serous cystadenoma and an endocrine tumour. The endocrine tumour, which was located inside the serous cystadenoma, was 1 cm in diameter. The first case of a serous cystadenoma of the pancreas containing a pancreatic endocrine tumour was reported in the literature recently. This paper reports another incidentally found pancreatic endocrine tumour arising within a serous cystadenoma.
MyVLE: A case study in building a universal telematic education environment for a small university

Here we report on the design, building and testing of MyVLE, an internet-based e-learning system that provides a universal telematic education environment for educators. The system was designed from first principles with strong support for numerical disciplines integrated at the outset. From a pedagogical aspect the system is unrestricted in so far as possible to allow various theories of learning to be explored as different disciplines may demand. We consider it a universal system in that it supports broad-spectrum flexible learning from purely online to blended, without administrative overhead. Key features of the environment include interactive forums, comprehensive equation support, interactive testing, digital drop off boxes, integration with existing university computer systems, comprehensive marking management and user interaction statistics. The system was built extremely quickly and inexpensively through an agile software engineering process. The finished environment was tested in a pilot study across 2,700 students over 24 months across 29 disparate courses in a variety of modes. Results suggest that the system performed extremely well. This work should be of interest to researchers in e-learning as a consequence of the finished system's modest build cost, rapid deployment, scalable architecture, pedagogical flexibility and recorded impact.
The risk of infertility among hairdressers. Five-year follow-up of female hairdressers in a Danish national registry.

BACKGROUND One in seven married couples is involuntarily infertile. Several chemical exposures in the work environment have been hypothesized to affect female reproduction, and some are present in products used in hairdressing and related trades. Recent Swedish findings indicate that employment in hairdressing poses a risk for female reproductive function. This study examined the possible association between work as a hairdresser and subsequent hospital contact due to female infertility. METHODS A cohort of all women in Denmark aged 20-44 years on 1 January 1998 (baseline) and registered as economically active hairdressers, according to national registers, was formed to calculate age-standardized risk ratios (RRs) for hospital contacts due to female infertility during a 5-year follow-up period. Hairdressers were compared to a standard population, that is, all economically active women in Denmark aged 20-44 years at baseline, and to women working as shop assistants. RESULTS Sixty-eight cases of hospital contact due to female infertility were observed among the female hairdressers. On the basis of the standard population, the expected number was 73.27, which gives an observed RR of 0.928 (95% CI: 0.72-1.18). Hairdressers and shop assistants exhibited similar rates of hospital contact due to female infertility (1.01; 95% CI: 0.77-1.29). CONCLUSION The findings are not corroborating the hypothesis that hairdressers are at increased risk of infertility, but small risks in the entire group or high risks in small subgroups may not be detected by the study.
Health-related quality of life measurement in children and adolescents: a systematic review of generic and disease-specific instruments.

OBJECTIVE To identify currently available generic and disease-specific health-related quality of life (HRQOL) instruments for children and adolescents up to 19 years old, to describe their content, and to review their psychometric properties. STUDY DESIGN Previous reviews on the subject and a new literature review from 2001 to December 2006 (MEDLINE, the ISI Science Citation Index, HealthSTAR and PsycLit) were used to identify measures of HRQOL for children and adolescents. The characteristics (country of origin, age range, type of respondent, number of dimensions and items, name of the dimensions and condition) and psychometric properties (reliability, validity, and sensitivity to change) of the instruments were assessed following international guidelines published by the Scientific Committee of the Medical Outcomes Trust. RESULTS In total, 30 generic and 64 disease-specific instruments were identified, 51 of which were published between 2001 and 2005. Many generic measures cover a core set of basic concepts related to physical, mental and social health, although the number and name of dimensions varies substantially. The lower age limit for self-reported instruments was 5-6 years old. Generic measures developed recently focused on both child self-report and parent-proxy report, although 26% of the disease-specific questionnaires were exclusively addressed to proxy-respondents. Most questionnaires had tested internal consistency (67%) and to a lesser extent test-retest stability (44.7%). Most questionnaires reported construct validity, but few instruments analyzed criterion validity (n = 5), structural validity (n = 15) or sensitivity to change (n = 14). CONCLUSIONS The development of HRQOL instruments for children and adolescents has continued apace in recent years, particularly with regard to disease-specific questionnaires. Many of the instruments meet accepted standards for psychometric properties, although instrument developers should include children from the beginning of the development process and need to pay particular attention to testing sensitivity to change.
Automated Generation of Functional Test Cases and Use Case Diagram using SRS Analysis

testing mainly consists of three types of approaches i.e. specification based testing, model based testing and coding based testing. In specification based testing, major concern is to find the missing logic defects that cannot be find by using other types of testing. Specification testing mainly uncovers the specification problems in Software Requirement Specification (SRS). An approach for the generation of functional test cases from SRS has been presented in this paper. This approach will help to achieve the early detection of faults and will reduce the time, cost and effort of the developer. Proposed model will automatically generate the functional requirements from the SRS. Template for Use Case diagram will be automatically generated from the functional requirements. Activity diagram will be used to generate the Activity Dependent Table (ADT) and hence Activity Dependent Graph (ADG) will be generated from ADT. Functional test paths will be generated by applying the Depth First Search Algorithm (DFS) as a searching algorithm. Finally we will generate the test cases from the functional test paths. KeywordsUse Case Diagram, Activity Diagram,DFS
Novel Setup for High Performance Simultaneous 3D EBSD and 3D EDS Acquisition

A high resolution scanning electron microscope (SEM) combined with a focused ion beam (FIB) is used for high precision tomography using FIB slicing and SEM observation of the slice. The FIB-SEM can be further equipped with analytical methods like energy-dispersive X-ray spectrometer (EDS) for the determination of elemental composition or electron backscattered diffraction analyzer (EBSD) to observe crystal orientation. This multi-modal method results in three-dimensional microanalysis, i.e. combined 3D EDS and 3D EBSD. These techniques are already well established with FIB-SEM tomography [1].
Prediction of shear strength of reinforced concrete beams without shear reinforcement considering bond action of longitudinal reinforcements

The shear strength of concrete beams without shear reinforcement is determined by the shear strength of the concrete compressive zone, the shear force due to dowel action, and the shear force due to aggregate interlock. The existing models and formulas to predict shear strength of concrete beams based on geometric theories related to beam action and arch action that only consider shear resistance in relation to arch action while neglecting dowel action and aggregate interlock have been unable to accurately explain the shear resistance mechanism. This study proposes a more rational shear strength prediction formula that reflects the contribution of each component by linking the bond characteristics of longitudinal reinforcements based on the size effect and stress changes in longitudinal reinforcement to dowel action. The precision of the proposed formula was assessed by carrying out experiments with the shear-span-to-depth ratio (a/d = 2.0, 2.5, 3.0, and 4.0) as a variable. A ratio of shear bond failure distance to effective depth and the shear strength of concrete beams without shear reinforcement were compared to those obtained from the proposed prediction formula. As a result, it was confirmed that the proposed formula gives rational predictions for each shear contribution and exhibits a high accuracy compared to previous experimental results.
Variability analysis of TiN FinFET SRAM cell performance and its compensation using Vth-controllable independent double-gate FinFET

Variability of the TiN FinFET SRAM cell performance is comprehensively studied. It is found that the static noise margin (SNM) variation of the SRAM cell is due to the Vth variation of FinFETs caused by the work function variation (WFV) of the TiN metal-gate. It is experimentally demonstrated that the Vth-controllable independent-double-gate (IDG) FinFET technology successfully compensates not only the random variation but also the systematic variation problems in SRAM performance. As a result, IDG-FinFET technology enables 0.5 V SRAM operation with a high cell stability.
10-Gigabit iWARP Ethernet: Comparative Performance Analysis with InfiniBand and Myrinet-10G

iWARP is a set of standards enabling remote direct memory access (RDMA) over Ethernet. iWARP supporting RDMA and OS bypass, coupled with TCP/IP offload engines, can fully eliminate the host CPU involvement in an Ethernet environment. With the iWARP standard and the introduction of 10-Gigabit Ethernet, there is now an alternative path to the proprietary interconnects for high-performance computing, while maintaining compatibility with existing Ethernet infrastructure and protocols. Recently, NetEffect Inc. has introduced an iWARP-enabled 10-Gigabit Ethernet channel adapter. In this paper we assess the potential of such an interconnect for high-performance computing by comparing its performance with two leading cluster interconnects, infiniband and myrinet-10G. The results show that the NetEffect iWARP implementation achieves an unprecedented latency for Ethernet, and saturates 87% of the available bandwidth. It also scales better with multiple connections. At the MPI level, iWARP performs better than infiniband in queue usage and buffer re-use.
Bearing and Gear Fault Detection Using Artificial Neural Networks

Rotating machinery plays an important role in industrial applications. When these machines recently are getting more complicated, fault diagnosis techniques have become more and more significant. In order to keep the machine performing at its best, one of the principal tools for the diagnosis of rotating machinery problems is the vibration analysis, which can be used to extract the fault features and then identify the fault patterns. In addition, there is a demand for techniques that can make decision on the running health of the machine automatically and reliably. Artificial intelligent techniques have been successfully applied to automated detection and diagnosis of machine conditions. They largely increase the reliability of fault detection and diagnosis systems. Accordingly, the aim of this paper is to apply a feed-forward efficient neural network to classify a large number of vibration signals acquired from rotating machinery in different states: normal, good gear but faulty bearing, good bearing but faulty gear and faulty gear and bearing. The parameters given to the neural networks have been extracted from the power spectral density of the signals. The main impact of this neural network is to generate answers that give the combined state of gears and bearings simultaneously whereas most of previous neural networks have focalized mainly on gears or on bearings alone.
Model checking of control-finite CSP programs

The authors investigate an automatic verification mechanism for control-finite communicating sequential processes (CSP) programs by using the model checking technique. CSP programs with variables and usual sequential constructs are transformed into transition systems to apply the model checking technique. More specifically, binding of variables are attached to states and sequential statements are treated uniformly as events in a parallel environment. With this transformation, the system can be viewed as implementing the model checker for a static version of value-passing CCS. Another characteristic of the system is that the CSP programs to be verified are not limited to finite-state, but can be control-finite, CSP programs are control-finite if their control flow is finite. The model checker was implemented and various examples of parallel programming were verified. <<ETX>>
Mote Herding for Tiered Wireless Sensor Networks

We propose Mote Herding, a new system architecture for large scale, heterogeneous sensor networks. Mote herding uses a mix of many 8-bit sensor nodes (motes) and fewer but more powerful 32-bit sensor nodes (microservers). Mote herding groups motes into flocks that are connected via a multihop network to a microserver acting as a shepherd. Shepherds exploit their greater communications and compute power to form an overlay network, with many flocks joining to form a herd. By keeping each flock small and utilizing several shepherds, the herd can support many nodes with better latency, reliability, and energy efficiency than homogeneous architectures.
Powder Mixed EDM Stirrer Designing and Simulation

This paper analyzes the falling process of powder for EDM mixed with powder, and proposes a stirring method for keeping equal powder concentration. Designing and imitating the stirring trough for EDM working fluid. It’s optimized that the radius of sphere bottom R=0.8T, the radio of deep and diameter is 0.8, The rotate speed n equals 20 rad/s, and the impeller is part from the bottom 100 to 150 millimeter, the whole circulation speed is good and it’s benefit for the powder equal suspend.