Miracle-dz/UniFAR-FTUs huggingface dataset:
Applying MDA approach for the SA forum platform

The Application Interface Specification of the Service Availability Forum is a set of relatively new but well elaborated service specifications that facilitate the creation of highly available, fault tolerant applications. Even if not many, but there exist applications developed based on the specifications; however, a systematic way for creating those has not been published yet. This work describes a model-driven framework for the development of AIS based applications. It enables the creation and manipulation of the application models that are used for the generation of system configuration and component code skeletons, and which can be used for the automatic checking of correctness and various other non-functional requirements.
A Conserved Rule for Pancreatic Islet Organization

Morphogenesis, spontaneous formation of organism structure, is essential for life. In the pancreas, endocrine , , and cells are clustered to form islets of Langerhans, the critical micro-organ for glucose homeostasis. The spatial organization of endocrine cells in islets looks different between species. Based on the three-dimensional positions of individual cells in islets, we computationally inferred the relative attractions between cell types, and found that the attractions between homotypic cells were slightly, but significantly, stronger than the attractions between heterotypic cells commonly in mouse, pig, and human islets. The difference between cell attraction and cell attraction was minimal in human islets, maximizing the plasticity of islet structures. Our result suggests that although the cellular composition and attractions of pancreatic endocrine cells are quantitatively different between species, the physical mechanism of islet morphogenesis may be evolutionarily conserved.
Acquisition of Syntactic Simplification Rules for French

Text simplification is the process of reducing the lexical and syntactic complexity of a text while attempting to preserve (most of) its information content. It has recently emerged as an important research area, which holds promise for enhancing the text readability for the benefit of a broader audience as well as for increasing the performance of other applications. Our work focuses on syntactic complexity reduction and deals with the task of corpus-based acquisition of syntactic simplification rules for the French language. We show that the data-driven manual acquisition of simplification rules can be complemented by the semi-automatic detection of syntactic constructions requiring simplification. We provide the first comprehensive set of syntactic simplification rules for French, whose size is comparable to similar resources that exist for English and Brazilian Portuguese. Unlike these manually-built resources, our resource integrates larger lists of lexical cues signaling simplifiable constructions, that are useful for informing practical systems.
A pilot study on the incidence of severe photosensitivity reactions leading to hospitalization linked to topical ketoprofen and other medications in selected European regions

The aim of this study was to assess the prevalence of exposure to topical nonsteroidal anti‐inflammatory drugs (NSAIDs), particularly ketoprofen, in a convenience sample of the population, to obtain estimates of the incidence of severe photosensitivity leading to hospitalization, and to assess causative factors in three catchment areas: the Paris metropolitan area, the Lombardy region (Italy) and the Prague area. All cases of severe photosensitivity not explained by underlying conditions and admitted to hospitals in the selected areas were included in the study. Controls were patients consecutively admitted to hospitals, in the same areas, for an acute condition or for an elective procedure not suspected of being related to medication use. From October 2012 to September 2013, 920 controls were recruited (median age 44 years, 50.8% females); 8 severe photosensitivity cases were reported in the population aged 18–74 years of the 3 geographical areas during the 1‐year surveillance period, corresponding to an incidence rate of 4.81 cases per 10 million person‐years (95% confidence interval – CI, 2.07–9.48). Six controls reported 1‐month exposure to topical ketoprofen, with an estimated prevalence of 0.65% (95% CI, 0.24–1.42). The population attributable risk for severe photosensitivity reactions linked to ketoprofen was 11.92% (95% CI, −0.12–52.99). This study was conducted in selected European areas and showed that the incidence of severe photosensitivity reactions leading to hospitalization as well as the exposure rate to topical ketoprofen were low. Among topical NSAIDs, topical ketoprofen was the leading cause of photosensitivity reactions but accounted for a limited number of hospitalized cases. Probably most of the relevant reactions were managed in the outpatient setting and a community based case–control study is advisable.
Optimum Integrated Link Scheduling and Power Control for Multihop Wireless Networks

In this paper, a new mathematical programming formulation is developed for minimizing the schedule length in multihop wireless networks based on the optimal joint scheduling of transmissions across multi-access communication links and the allocation of transmit power levels while meeting the requirements on the signal-to-interference-plus-noise ratio at intended receivers. The authors prove that the problem can be represented as a mixed-integer linear programming (MILP) and show that the latter yields a solution that consists of transmit power levels that are "strongly Pareto optimal". It was demonstrated that the MILP formulation can be used effectively to derive optimal scheduling and power levels for networks with as many as 30 designated communication links. The authors show that the MILP formulation can also be effectively solved to provide upper and lower bounds (corresponding to an approximation factor Delta) for the optimum schedule length of networks with as many as 100 designated links. It is proved that the integrated link scheduling and power control problem (ILSP) is NP-complete. Consequently, a heuristic algorithm of polynomial complexity is developed and investigated for solving the problem in a timely and practical manner. The algorithm is based on the properties of a novel interference graph, i.e., the "generalized power-based interference graph", whose "chromatic" and "independence numbers" provide fundamental bounds for the ILSP. It is demonstrated that the frame length of schedules realized by the heuristic scheme resides in the 25th percentile of those attained by the optimal mechanism for randomly generated topologies with as many as 30 designated communication links. Furthermore, it is shown that the algorithm significantly outperforms a corresponding algorithm presented in the literature
Integrating task and software development for object-oriented applications

We describe an approach to developing object-oriented applications that seeks to integrate the design of user tasks with the design of software implementing these tasks. Using the Scenario Browser an experimental environment for developing Small talk applications a designer employs a single set of task scenarios to envision and reason about user needs and concerns and to experiment with and refine object-oriented software abstractions. We argue that the shared context provided by the scenarios promotes rapid feedback between usage and software concerns, so that mutual constraints and opportunities can be recognized and addressed early and continuingly in the development process.
Dipole scattering from a coated perfect electromagnetic conducting sphere

An exact solution to the problem of scattering of an electromagnetic field incident from an arbitrarily located and arbitrarily oriented dipole by a coated perfect electromagnetic conducting (PEMC) sphere is obtained by expressing the fields associated with the problem in terms of appropriate spherical vector wave functions and a set of expansion coefficients. The coefficients associated with the incident field are known, but the coefficients associated with the fields scattered outside the coated sphere and the fields transmitted inside the coating are unknown. These unknown expansion coefficients are obtained by imposing the relevant boundary conditions at the surface of the sphere and at the interface between the coating and the exterior region. Results are presented as far field patterns and as the ratio of the total power radiated with the dipole in the presence of the coated PEMC sphere, to the power radiated by the dipole alone, when the dipole is located both inside and outside the coating.
Quasi-chemical theories of associated liquids

It is shown how traditional development of theories of fluids based upon the concept of physical clustering can be adapted to an alternative local clustering definition. The alternative clustering definition can preserve a detailed valence description of the interactions between a solution species and its near-neighbours, i.e., cooperativity and saturation of coordination for strong association. These clusters remain finite even for condensed phases. The simplest theory to which these developments lead is analogous to quasi-chemical theories of cooperative phenomena. The present quasi-chemical theories require additional consideration of packing issues because they do not impose lattice discretizations on the continuous problem. These quasi-chemical theories do not require pair decomposable interaction potential energy models. Since calculations may be required only for moderately sized clusters, it is suggested that these quasi-chemical theories could be implemented with computational tools of current mo.
Memory stones: an intuitive copy-and-paste method between multi-touch computers

When we use a combination of personal computing devices, such as mobile phones, tablets, notebooks, and desktop PCs, we often want to transfer information from one device to another.Though a copy-and-paste function on the same computing device is easy it becomes cumbersome in a multiple computing environment, where we have to first locate and then select the target device from a list of devices on a network, even if the device is right in front of us.This paper proposes a novel direct manipulation technique for executing copy-and-paste operations between multi-touch devices. Under our interface concept, dubbed "Memory Stones," a user can "pick up" a data object displayed on one device screen, "carry" it to another device screen, and "put down" the object on that device using only his or her fingers.During this copy-and-paste operation, the user is invited to pantomime the act of carrying a tangible object (the "stone") and to keep his or her fingertip positions unchanged. The system identifies the source and target devices by matching the shape of the polygon formed by the fingertips when touching the respective screens. We have developed a prototype system for small-to-large-sized multi-touch computers including smartphones, tablets, notebooks, and desktop PCs, and have carried out a preliminary evaluation of its feasibility.
Partitioning of IGFBP-5 actions in myogenesis: IGF-independent anti-apoptotic function

Igfbp5 is upregulated during the differentiation of several key cell lineages and in some tumours; the function of IGFBP-5 in these physiological and pathological situations is unknown. Since IGFBP-5 contains sequence motifs consistent with IGF-independent actions, the aim of these studies was to distinguish between IGF-dependent and -independent actions of IGFBP-5. Myc-tagged wild-type (termed wtIGFBP-5) and non-IGF binding mouse Igfbp5 (termed mutIGFBP-5) cDNAs were generated and used to transfect C2 myoblasts, a cell line that undergoes differentiation to myotubes in an IGF- and IGFBP-5-regulated manner. WtIGFBP-5, but not mutIGFBP-5, inhibited myogenesis, as assessed by cell morphology, MHC immunocytochemistry and caveolin 3 expression. However, both wt- and mutIGFBP-5 increased cell survival and decreased apoptosis, as indicated by decreased caspase-3 activity and cell surface annexin V binding. Further examination of apoptotic pathways revealed that wt- and mutIGFBP-5 ameliorated the increase in caspase-9 but not the modest increase in caspase-8 during myogenesis, suggesting that IGFBP-5 increased cell survival via inhibition of intrinsic cell death pathways in an IGF-independent manner. The relationship between IGF-II and IGFBP-5 was examined further by cotransfecting C2 myoblasts with antisense Igf2 (previously established to induce increased cell death) and Igfbp5; both wt- and mutIGFBP-5 conferred equivalent protection against the decreased cell survival and increased apoptosis. In conclusion, we have partitioned IGFBP-5 action in myogenesis into IGF-dependent inhibition of differentiation and IGF-independent cell survival. Our findings suggest that, by regulation of cell survival, IGFBP-5 has an autonomous role in the regulation of cell fate in development and in tumourigenesis.
The emotion of fear among schoolteachers: sources and coping strategies

ABSTRACT The work environment is characterised by various situations that stimulate fear and anxiety which are common in many organisations, including schools. Thus, the aim of this study was to investigate the fears felt by elementary and high school teachers and trace its features and sources. Based on interviews with 12 Israeli schoolteachers, we found three areas in which our interviewees reported feeling some sort of fears: teacher–student interactions, professional domain, and teacher’s interactions with other school members. Likewise, two strategies to cope with fears appeared in the interviewees’ accounts, ranging from passive strategies that avoid facing the source of the fear directly (e.g. transition to another school, emotional disconnection) to more active ones (e.g. involving colleagues, humour) directed at the source of the fear. Some practical and empirical suggestions are provided.
Utilizing Domain Knowledge in Neural Network Models for Peptide-Allele Binding Prediction

We developed Radial Basis Function Neural Networks (RBFNN) for allele-peptide binding prediction. We explored utilizing prior domain knowledge in order to optimize the prediction. We investigated the effect of encoding of inputs of the RBFNN considering chemical properties of amino acids, detecting motifs in alleles and reducing the dimensionality based on common motifs discovered. We also explored a number of parameters such as the data set size, unknown-binding data generation, model architecture and training algorithms. Our approach improved the prediction accuracy of peptide-allele binding reaching up to 90% for our best models.
Deviation Inequalities for Exponential Jump-diffusion Processes

In this note we obtain deviation inequalities for the law of exponential jump-diffusion processes at a fixed time. Our method relies on convex concentration inequalities obtained by forward/backward stochastic calculus. In the pure jump and pure diffusion cases, it also improves on classical results obtained by direct application of Gaussian and Poisson bounds.
On the Influence of Parameters in Particle Swarm Optimisation Algorithm for Job Shop Scheduling

Particle Swarm Optimization (PSO) is one of the latest nature inspired meta-heuristic algorithms based on the metaphor of social interaction and communication such as bird flocking and fish schooling. PSO is a population based algorithm for finding optimal regions of complex search spaces through interaction of individuals in the population. In PSO, a set of randomly generated solutions (initial swarm) navigate in the design space towards the optimal solution over a number of iterations (moves) based on large amount of information about the design space that is assimilated and shared by the members of the swarm. The solution of PSO depend on the parameter setting such as swarm size, number of generations, inertia factor, self confidence factor and swarm confidence factor. This work describes the study on the influence of parameter settings in PSO algorithm in solving the Static Job Shop Scheduling Problem, which is a NP-hard combinatorial problem. Performance of the algorithm is tested on benchmark problems. The influence of each PSO parameter on the performance of algorithm is studied in detail. Key-Words:Combinatorial optimization, nature inspired meta-heuristic, PSO, Scheduling, Job shop, parameter tuning
Linking objects in videos by importance sampling

We present an approach to create hyper-links between video segments that contain objects of interest, based on video structuring, object definition, and stochastic object localization in the video structure. Localization is formulated in the metric mixture model framework, which allows for the joint probabilistic modeling of a (user-defined) set of color appearance exemplars and their geometric transformations. Candidate object configurations are drawn from a prior distribution using importance sampling - which guides the search towards regions of the configuration space likely to contain the correct object configuration, thus avoiding exhaustive processing - and evaluated using Bayes' rule. Results of linking real objects (with changes of size and pose) in several home videos illustrate the performance of the method.
Finding the Silent Message: Nurses’ Experiences of Non-Verbal Communication Preceding a Suicide

Suicidal individuals often communicate their intention to commit suicide, but not necessarily verbally. Psychiatric nurses play a central role in the care of patients exhibiting suicidal behaviour or thoughts. Thus, the aim of this study was to explore nurses’ experiences of the indirect messages about forthcoming suicide from patients’ everyday life before they committed suicide. A qualitative design was used with a phenomenological hermeneutical approach. Seven nurses working in specialist psychiatric care were interviewed about their experience of the phenomenon communication about suicide. Results show how the nurses noticed changes in patients just before they committed suicide. These changes included rapid improvement, disguise of real feelings, and unreceptiveness to further treatment or encouragements. The nurses also described patients becoming aware of painful life conditions of losing hope and confidence in the future and experiencing feelings of powerlessness or an inability to influence the situation. Their last moments were characterised by a greater preoccupation with thoughts about death and finding ways to express farewells. This manifested itself in practical preparations and expressing gratitude to people, which was understood by the nurses as a way of saying goodbye. This study shows that it is possible for skilled staff to develop an understanding of a suicidal patient’s internal state and to recognise the non-verbal messages of someone who later committed suicide. The knowledge of how patients prepare and act before suicide could be used to complement a structural suicide risk assessment.
Authentication techniques in smart grid: a systematic review

Smart Grid (SG) provides enhancement to existing grids with two-way communication between the utility, sensors, and consumers, by deploying smart sensors to monitor and manage power consumption. However due to the vulnerability of SG, secure component authenticity necessitates robust authentication approaches relative to limited resource availability (i.e. in terms of memory and computational power). SG communication entails optimum efficiency of authentication approaches to avoid any extraneous burden. This systematic review analyses 27 papers on SG authentication techniques and their effectiveness in mitigating certain attacks. This provides a basis for the design and use of optimized SG authentication approaches.
Detection versus Estimation in Event-Related fMRI: Choosing the Optimal Stimulus Timing

With the advent of event-related paradigms in functional MRI, there has been interest in finding the optimal stimulus timing, especially when the interstimulus interval is varied during the imaging run. Previous works have proposed stimulus timings to optimize either the estimation of the impulse response function (IRF) or the detection of signal changes. The purpose of this paper is to clarify that estimation and detection are fundamentally different goals and to determine the optimal stimulus timing and distribution with respect to both the accuracy of estimating the IRF and the power of detection assuming a particular hemodynamic model. Simulated stimulus distributions are varied systematically, from traditional blocked designs to rapidly varying event related designs. These simulations indicate that estimation of the hemodynamic impulse response function is optimized when stimuli are frequently alternated between task and control states, with shorter interstimulus intervals and stimulus durations, whereas the detection of activated areas is optimized by blocked designs. The stimulus timing for a given experiment should therefore be generated with the required detectability and estimation accuracy.
Indices of muscle and liver dysfunction after surviving hemorrhage and prolonged hypotension.

BACKGROUND This study determined the long-term effects of prolonged hypotension (PH) on liver, muscle, and kidney dysfunction. The hypothesis was that longer duration of PH after hemorrhage will result in greater organ dysfunction. METHODS Baboons were sedated and hemorrhaged (30% blood volume). Systolic blood pressure greater than 80 mm Hg was maintained for 1 hour (1 hr-PH; n = 5), 2 hours (2 hr-PH; n = 5), or 3 hours (3 hr-PH; n = 5). After PH, hemorrhage volume was replaced. Animals were recovered and monitored for 21 days. Control animals were hemorrhaged and immediately resuscitated (0 hr-PH, n = 3). Data are Mean ± Standard Deviation, and analyzed by 2-way repeated measures ANOVA and Holm-Sidak test. RESULTS Hemorrhage resulted in mild hypotension. Minimal resuscitation was required during the hypotensive phase, and survival rate was 100%. Significant increases (p < 0.001) in alanine aminotransferase, aspartate aminotransferase, creatine phosphokinase, and lactate dehydrogenase occurred on Day 1 after PH, and were significantly greater (p < 0.001) in the 2 hr- and 3 hr-PH groups than the 0 hr-PH group. Maximum alanine aminotransferase levels (U/L) were 140 ± 56 (0 hr-PH), 170 ± 130 (1 hr-PH), 322 ± 241 (2 hr-PH), and 387 ± 167 (3 hr-PH). Maximum aspartate aminotransferase levels (U/L) were 218 ± 44 (0 hr-PH), 354 ± 219 (1 hr-PH), 515 ± 424 (2 hr-PH), and 711 ± 278 (3 hr-PH). Maximum creatine phosphokinase values (U/L) were 7834 ± 3681 (0 hr-PH), 24336 ± 22268 (1 hr-PH), 50494 ± 67653 (2 hr-PH), and 59857 ± 32408 (3 hr-PH). Maximum lactic acid dehydrogenase values (U/L) were 890 ± 396 (0 hr-PH), 2055 ± 1520 (1 hr-PH), 3992 ± 4895 (2 hr-PH), and 4771 ± 1884 (3 hr-PH). Plasma creatinine and blood urea nitrogen were unaffected by PH (p > 0.10). CONCLUSION These results indicate that PH up to 3 hours in duration results in transient liver and muscle dysfunction that was most severe after 2 hr-PH and 3 hr-PH. Prolonged hypotension produced minimal effects on the kidney. LEVEL OF EVIDENCE Basic science research, Level of evidence not required for basic science research.
Interferometric Synthetic Aperture Sonar

Interferometric Synthetic Aperture Sonar (ISAS) offers the possibility of high resolution, three-dimensional images of objects on the ocean floor. The height of objects is identified from the phase difference between two synthetic aperture images of the object obtained using two receivers separated by a short distance. A central problem is the need to unwrap the phase difference in the presence of noise to obtain an unambiguous height estimate. This paper presents an end-to-end simulation of ISAS processing algorithms. The algorithms presented have been shown to work on real sonar data also.