Miracle-dz/UniFAR-FTUs huggingface dataset:
A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements

Many organizations specialize in the development of families of software systems, called software product lines (SPLs), for one or more domains (e.g., automotive, telephony, health care). SPLs are commonly developed as a shared set of assets representing the common and variable aspects of an SPL, and individual products are constructed by assembling the right combinations of assets. The feature-oriented software development (FOSD) paradigm advocates the use of system features as the primary unit of commonality and variability among the products of an SPL [2]. A feature represents a coherent and identi able bundle of system functionality [89], such as call waiting in telephony and cruise control in an automobile. Furthermore, FOSD advocates feature-oriented artifacts (FOAs); that is, software-development artifacts that explicate features, so that a clear mapping is established between a feature and its representation in di erent artifacts. The thesis rst identies the problem of developing a suitable language for expressing feature-oriented models of the functional requirements of an SPL, and then presents the feature-oriented requirements modelling language (FORML) as a solution to this problem. FORML's notation is based on standard software-engineering notations (e.g., UML class and state-machine models, feature models) to ease adoption by practitioners, and has a precise syntax and semantics to enable analysis. The novelty of FORML is in adding feature-orientation to state-of-the-art requirements modelling approaches (e.g., KAOS [91]), and in the systematic treatment of modelling evolutions of an SPL via enhancements to existing features. An existing feature can be enhanced by extending or modifying its requirements. Enhancements that modify a feature's requirements are called intended feature interactions. For example, the call waiting feature in telephony intentionally overrides the basic call service feature's treatment of incoming calls when the subscriber is already involved in a call. FORML prescribes di erent constructs for specifying di erent types of enhancements in state-machine models of requirements. Furthermore, unlike some prominent approaches (e.g., AHEAD [11], DFC [94]), FORML's constructs for modelling intended feature interactions do not depend on the order in which features are composed; this can lead to savings in analysis costs, since only one rather than (possibly) multiple composition orders need to be analyzed. A well-known challenge in FOSD is managing feature interactions, which, informally de ned, are ways in which di erent features can in uence one another in de ning the overall properties and behaviours of their combination [93]. Some feature interactions are intended, as described above, while other feature interactions are unintended : for example, the cruise control and anti-lock braking system features of an automobile may have incompatible a ects on the automobile's acceleration, which would make their combination inconsistent.
Interaction of murine dendritic cells with collagen up‐regulates allostimulatory capacity, surface expression of heat stable antigen, and release of cytokines

In vivo, dendritic cells (DC) reside in direct proximity to extracellular matrix (ECM) proteins. Because ECM proteins affect morphology and function of a number of cell types, this study investigated potential effects of ECM proteins on functional properties of DC. DC were generated from murine bone marrow cultures, supplemented with granulocyte‐macrophage colony‐stimulating factor, and subsequently cultured on tissue culture plates coated with various ECM proteins. Among the ECM proteins tested, collagen (COL) up‐regulated the T cell stimulatory capacity of DC. This effect was accompanied by sustained surface expression of the co‐stimulatory molecule heat stable antigen on DC and by enhanced release of interleukin‐1 and interleukin‐6, respectively. Because fibronectin or solubilized COL were unable to cause similar changes in DC phenotype or function, we conclude that adherence to COL interferes specifically with DC function. These data suggest that ECM proteins may be involved in regulation of DC phenotype as well as in their functional activation. J. Leukoc. Biol. 60: 465–472; 1996.
Allergens associated with baker's asthma

The paper by Lavaud et al. (7) reports two cases of soybean-lecithin-induced asthma in bakers, and suggests that "in cases of concomitant allergy, its inclusion in the battery of tests could avoid some failures of immunotherapy'', in reference to a paper published by us in 1990 (1). Specific immunotherapy has been considered to be a suitable approach when avoiding allergens is not possible or when appropriate medications fail to control asthma symptoms (6). In our paper, 20 bakers with occupational asthma were treated with a standardized wheat flour extract and 10 with placebo in a double-blind clinical trial. Our study showed by objective measurements that immunotherapy with wheat fiour resulted in a successful clinical and immune response in asthmatic patients. This response was associated with a reduction of symptoms and need of drugs, and a reduction of absence from work. We also conducted a study on the detection of adverse effects after 2 years of hyposensitization to wheat fiour, and we concluded that this immunotherapy gave remarkable clinical improvement without severe reactions (2). If Lavaud et al. (7) know studies in which immunotherapy with wheat fiour failed, these should have been cited.
The Legionella pneumophila Dps homolog is regulated by iron and involved in multiple stress tolerance

Iron homeostasis is essential to almost all organisms. In this study, we identified the putative homolog of the iron‐storage protein‐encoding gene, dpsL, in the intracellular pathogen Legionella pneumophila and demonstrated its expression under iron‐limited conditions and its responses to multiple stresses. Quantitative real‐time PCR analysis indicated that the expression of dpsL was enhanced under iron limitation regardless of the growth phase. Compared with the wild‐type cells, the cells devoid of dpsL were heat and H2O2‐sensitive. In contrast to the dps mutants of other bacteria, the growth of the dpsL mutant in an iron‐deprived medium was delayed but finally reached the same cell density as wild‐type cells during the stationary phase of growth. The finding that the dpsL mutant is salt resistant suggested the involvement of DpsL in virulence. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
CLOSER 2014 Discovering Secure Service Compositions

Security is an important concern for service based systems, i.e., systems that are composed of autonomous and distributed software services. This is because the overall security of such systems depends on the security of the individual services they deploy and, hence, it is difficult to assess especially in cases where the latter services must be discovered and composed dynamically. This paper presents a novel approach for discovering secure compositions of software services. This approach is based on secure service orchestration patterns, which have been proven to provide certain security properties and can, therefore, be used to generate service compositions that are guaranteed to satisfy these properties by construction. The paper lays the foundations of the secure service orchestration patterns, and presents an algorithm that uses the patterns to generate secure service compositions and a tool realising our entire approach.
Fading Memories

Objective: This longitudinal study examines the recall accuracy of childhood ADHD symptoms in late adolescence and early adulthood by youth and their parents, compared with reports obtained during childhood. Method: Participants (N = 94) are initially evaluated when they are aged between 7 and 11 and reassessed when they are aged between 16 and 22 years. All participants meet full DSM-IV diagnostic criteria for ADHD in childhood. Assessments at baseline and follow-up include clinical interviews and ADHD checklists. Results: Results indicate that both youth and their parents have limited retrospective recall of childhood symptoms. Current ADHD symptoms improve accuracy of recall. Specifically, when current symptoms are endorsed, participants are more likely to recall clinically significant childhood ADHD symptoms. Conclusion: These results suggest that late adolescents and young adults with ADHD and their parents have limited ability to accurately recall childhood symptoms, with reporting of past symptoms influenced by reports of severity of current symptoms. (J. of Att. Dis. 2010; 14(1) 7-14)
RAPID COMMUNICATION: Blockade of nociceptin/orphanin FQ transmission in rat substantia nigra reverses haloperidol‐induced akinesia and normalizes nigral glutamate release

We recently showed that pharmacological blockade of nociceptin/orphanin FQ (N/OFQ) peptide (NOP) receptors located in the substantia nigra stimulates the nigrostriatal dopaminergic pathway and motor behavior (Marti et al. J. Neurosci. 2004, 24, 6659–6666). To investigate whether such motor‐stimulating action was dependent on functional dopaminergic transmission, the selective NOP receptor peptide antagonist [Nphe1,Arg14,Lys15]N/OFQ‐NH2 (UFP‐101) was microinjected into the substantia nigra reticulata of rats made cataleptic by systemic haloperidol administration. UFP‐101 reduced haloperidol‐induced akinesia as measured by immobility time in the bar test. UFP‐101 also induced contralateral turning in cataleptic rats. To investigate the mechanisms involved in the anti‐akinetic action of UFP‐101, nigral glutamate release was monitored by microdialysis technique. The anti‐akinetic action of UFP‐101 correlated with normalization of nigral glutamate release, previously elevated by haloperidol injection. We conclude that endogenous N/OFQ in the substantia nigra sustains akinesia generated by impaired DA transmission and subthalamic nucleus overactivation. NOP receptor antagonists may be beneficial in the symptomatic therapy of parkinsonism, via normalization of subthalamonigral glutamatergic transmission.
Importance of Si surface flatness to realize high-performance Si devices utilizing ultrathin films with new material system

The importance of Si surface flatness on metal-oxide-semiconductor field-effect transistor (MOSFET) characteristics with ultrathin hafnium oxynitride (HfON) high-k gate insulator formed by electron cyclotron resonance (ECR) plasma sputtering was described. The surface roughness of Si substrate was reduced by Ar/4.9%H2 annealing utilizing conventional rapid thermal annealing (RTA) system. Si surface root-mean-square (RMS) roughness was well controlled by changing the annealing temperature from 700 to 1000°C. Si surface RMS roughness after 1000°C/1 hr annealing was 0.078 nm for Si(100) and 0.082 nm for Si(110), respectively. Clear dependence of electrical characteristics of MOS diodes such as equivalent oxide thickness (EOT) and leakage current on the surface RMS roughness of Si(100) and Si(110) was observed, and the electrical characteristics were remarkably improved by decreasing of surface RMS roughness. The MOSFET characteristics with HfON gate insulator fabricated on Si(100) substrates after flattening process were also improved.
Execution Times Reconstruction in a LTI System Real-time Simulation

A Real-time System (RTS) interacts with physical world by sensors, actuators, Analogical/Digital and Digital/Analogical convertors processing its requirements through Real-time Tasks (RTT). Each RTT is formed by an instances set with at least three time constraints: arrival time, execution time and deadline time. In this sense, it is important to propose a model to describe the behavior of this time constraints; specifically the execution time. The parameter model estimator considered is a digital filter based on Instrumental Variable to use on Autoregressive Moving Average Model (ARMA) (1, 1). The execution times were measured as experimental techniques using QNX 6.5 Neutrino real-time operating system in an AMD Phenom™ 9950 processor with speed of 2.6 GHz and 4GB in RAM memory with a different execution time measurement method. This paper presents a state of the art of Real-time task model, the execution times measurements, execution time model, experimental validation of the minimal probabilistic characteristics to use the Instrumental Variable estimator, experimentation and results. The algorithm was efficient because the execution time reconstructed converges to the execution time measured.
Reconfiguration of Synchronous Real-Time Operating System

Real-time scheduling is the theoretical basis of real-time systems engineering. Earliest Deadline first EDF is an optimal scheduling algorithm for uniprocessor real-time systems. The paper deals with Reconfigurable Uniprocessor embedded Real-Time Systems classically implemented by different OS tasks that the authors suppose independent, synchronous and periodic to meet functional and temporal properties described in user requirements. They define two forms of automatic reconfigurations which are applied at run-time: Addition-Remove of tasks or just modifications of their temporal parameters: WCET and/or Periods. The authors define a new semantic of the reconfiguration where a crucial criterion to consider is the automatic improvement of the system's feasibility at run-time by using an Intelligent Agent that automatically checks the system's feasibility after any reconfiguration scenario to verify if all tasks meet the required deadlines. To handle all possible reconfiguration solutions, the authors propose an agent-based architecture that applies automatic reconfigurations to re-obtain the system's feasibility and satisfy user requirements. Therefore, they developed the tool RT-Reconfiguration to support these contributions that they apply on the running example system and the authors apply the Real-Time Simulator, Cheddar to check the whole system behavior and evaluate the performance of the algorithm. They present simulations of this architecture where the agent that implemented is evaluated.
Towards a Residential Air-Conditioner Usage Model for Australia

Realistic models of occupant behaviour in relation to air-conditioner (a/c) use are fundamentally important for developing accurate building energy simulation tools. In Australia and elsewhere, such simulation tools are inextricably bound both in legislation and in the design of new technology, electricity infrastructure and regulatory schemes. An increasing number of studies in the literature confirm just how important occupants are in determining overall energy consumption, but obtaining the data on which to build behaviour models is a non-trivial task. Here data is presented on air-conditioner usage derived from three different types of case study analyses. These are: (i) use of aggregate energy consumption data coupled with weather, demographic and building statistics across Australia to estimate key predictors of energy use at the aggregate level; (ii) use of survey data to determine characteristic a/c switch on/off behaviours and usage frequencies; and (iii) use of detailed household level sub-circuit monitoring from 140 households to determine a/c switch on/off probabilities and their dependence on different building and occupant parameters. These case studies are used to assess the difficulties associated with translation of different forms of individual, aggregate and survey based information into a/c behaviour simulation models. Finally a method of linking the data gathering methodologies with the model development is suggested. This method would combine whole-of-house “smart”-meter data measurements with linked targeted occupant surveying.
Ju l 2 01 1 Strong Plasmonic Enhancement of Photovoltage in Graphene

T. J. Echtermeyer, L. Britnell, P. K. Jasnos, A. Lombardo, R. V. Gorbachev, A. N. Grigorenko, A. K. Geim, A. C. Ferrari, and K. S. Novoselov Department of Engineering, University of Cambridge,Cambridge CB3 0FA, UK School of Physics & Astronomy, University of Manchester, Oxford Road, Manchester M13 9PL, UK and Centre for Mesoscience & Nanotechnology, University of Manchester, Oxford Road, Manchester, M13 9PL, UK
Design Optimization of Integrated Magnetic Core Inductors

This paper presents a design study of novel geometrical configurations for miniaturized toroidal planar core thin-film inductors. A standard core with square-shaped toroidal geometry is compared with a new core with serpentine toroidal geometry. A design procedure is provided to maximize the inductance value of a square toroid in a certain footprint area. In addition, the mathematical model of the inductor demonstrates the possibility to further increase the maximum inductance value for closed or air-gap core inductors in a given footprint area (up to 35% in 16 mm2), by means of a more efficient use of the core surface area in the case of serpentine geometry, assuming the same coupling factor for both windings. Furthermore, the presented serpentine geometry increases performances in terms of magnetic energy density and quality factor, while retaining higher inductance values, at the cost of a limited increase of layout complexity. This paper also provides a more accurate estimation of the inductance of a square-shaped toroidal inductor based on the evaluation of the mean magnetic path length accounting for the non-uniformity of the magnetic flux density in the core cross section and for the corner effect.
Community involvement and self-rated health status: findings from a cross-sectional survey in Central Sydney.

A sense of community and community involvement are said to have positive effects on health status; however, research supporting such associations is inconclusive. This article uses data from the 1998 NSW Health Survey—an annual telephone survey of approximately 17 000 residents throughout the State—to investigate the association between sense of community and community involvement and self-reported health.
Heterodyne Method for Time Resolved Spectral Analysis of Fast Laser Wavelength Switching

We present a highly sensitive heterodyne method for time resolved optical spectrum analysis of fast laser wavelength switching. The method achieves signal-to-noise ratios in excess of 50 dB and allows, for the first time, the direct measurement of the dynamic sidemode suppression ratio during fast laser channel transitions. Wavelength range and accuracy are determined by the reference external cavity laser, while temporal and wavelength resolution are set by electronic filtering.
Quantum tomography of a nonlinear photonic circuit by classical sum-frequency generation measurements

We propose and demonstrate a new method for the characterization of nonlinear multimode integrated devices that reconstruct the biphoton state produced trough spontaneous parametric down-conversion (SPDC) using classical sum-frequency generation measurements. The proposed method is experimentally demonstrated by predicting the state generated from a multi-channel integrated nonlinear waveguide device.
Does foraging mode mould morphology in lacertid lizards?

Evolutionary changes in foraging style are often believed to require concurrent changes in a complex suite of morphological, physiological, behavioural and life‐history traits. In lizards, species from families with a predominantly sit‐and‐wait foraging style tend to be more stocky and robust, with larger heads and mouths than species belonging to actively foraging families. Here, we test whether morphology and foraging behaviour show similar patterns of association within the family Lacertidae. We also examine the association of bite force abilities with morphology and foraging behaviour. Lacertid lizards exhibit considerable interspecific variation in foraging indices, and we found some evidence for a covariation between foraging style and body shape. However, the observed relationships are not always in line with the predictions. Also, the significance of the relationships varies with the evolutionary model used. Our results challenge the idea that foraging style is evolutionarily conservative and invariably associated with particular morphologies. It appears that the flexibility of foraging mode and its morphological correlates varies among lizard taxa.
Resection of carcinoids in the duodenal bulb using the band ligation technique with the Duette mucosectomy device

using the band ligation technique with the Duette mucosectomy device Carcinoids are the most frequently occurring neuroendocrine tumors of the gastrointestinal tract, and they are usually located in areas that are difficult to access and treat using conventional endoscopic devices (e.g., small bowel and appendix) [1]. When presence of localized disease is confirmed with endoscopic ultrasonography, local treatment by endoscopic resection is an accepted treatment option [2, 3]. Although the freehand snare technique has been most frequently used to resect duodenal carcinoids, the results are often suboptimal [3]. Therefore, complete endoscopic resection using endoscopic submucosal dissection (ESD) and endoscopic mucosal resection (EMR) techniques has been advocated [4]. ESD has the appeal of potential en bloc R0 resection, however, it is associated with a high risk of perforation in the duodenum, of up to 20% [3]. Other resection techniques include the freehand EMR resection after prior submucosal injection and the cap-assisted suck and cut technique; these resection techniques may not be appropriate to resect encapsulated submucosal tumors such as carcinoids [3]. Here we present the use of the band and resect EMR technique for a duodenal carcinoid. A 53-year-old-woman was found to have duodenal carcinoids during an esophagogastroduodenoscopy (EGD) for dyspepsia. EGD showed two 10-mm submucosal lesions in the duodenal bulb located at the 12 o’clock and 3 o’clock positions (●" Fig.1). Endoscopic ultrasonography revealed well-circumscribed, hypoechoic lesions with regular margins, arising from the mucosa and with no involvement of the muscularis propria, measuring 12×9mm and 8×7mm, respectively. For resection, a gentle submucosal cushion was first created using 2mL of salineIndigo carmine-epinephrine 1:10000 solution. Next, the lesion was targeted with the distal cap and mild suction applied until half of the mucosal cap was filled with tissue. Two bands were released (●" Fig.2) to avoid slippage of the tumor. Subsequently, the 5-Fr hexagonal snare was advanced to grasp it above the first rubber band. Standard snare polypectomy was carried out using Endocut (Erbe Vio, 60W). The resection margins were clear of residual neoplastic tissue and the carcinoid was mounted on a cork and sent for pathological examination (●" Fig.3). The final histopathological analysis revealed a classic carcinoid (●" Fig.4). Fig.3 a Band mucosectomy showing a clear mucosectomy side without any residual neoplastic tissue. b The resected specimen pinned on cork. Fig.1 Indigo-carmine-guided chromoendoscopy in a 53-year-old-woman with duodenal carcinoids showing a smooth, round, superficial subepithelial mass with some central dimpling. Fig.2 The subepithelial mass was sucked into the clear distal cap, and two rubber bands were deployed to create a pseudopolyp for subsequent resection.
Remote Manager Discovery Client Discovery Client Kernel Kernel Node 2 Node 1 App 1 App 2 Request Manager Request Manager Discovery Server Remote

This paper presents the design, implementation, and evaluation of a service discovery system for the one.world pervasive computing operating system. Our system allows clients to find services via a central server and provides an integrated interface for sending events to remote locations. This interface is implemented via a late-binding mechanism, which allows clients to send events directly to the server where they are subsequently sent to the appropriate service. Our system aims to make configuration automatic for the server as well as the client, and this paper presents a leadership election protocol elect a server whenever one is not present. Server performance, election duration, and election scalability are evaluated.