Safe Concurrency Introduction through Slicing

Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible

The Effect of Ethanol Evaporation on the Properties of Inkjet Produced Liposomes

Background: Inkjet method has been used to produce nano-sized liposomes with a uniform size distribution. However, following the production of liposomes by inkjet method, the solvent residue in the product could have a significant effect on the properties of the final liposomes. Objective: This research paper aimed to find a suitable method to remove ethanol content and to study its effect on the properties of the final liposomal suspension. Method: Egg phosphatidylcholine and lidocaine were dissolved in ethanol; and inkjet method at 80 kHz was applied to produce uniform droplets, which were deposited in an aqueous solution to form liposomes. Dry nitrogen gas flow, air-drying, and rotary evaporator were tested to remove the ethanol content. Liposome properties such as size, polydispersity index (PDI), and charge were screened before and after ethanol evaporation. Results: Only rotary evaporator (at constant speed and room temperature for 2 hours) removed all of the ethanol content, with a final drug entrapment efficiency (EE) of 29.44 ± 6.77%. This was higher than a conventional method. Furthermore, removing ethanol led to liposome size reduction from approximately 200 nm to less than 100 nm in most samples. Additionally, this increased the liposomal net charge, which contributed to maintain the uniform and narrow size distribution of liposomes. Conclusion: Nano-sized liposomes were produced with a narrow PDI and higher EE compared to a conventional method by using an inkjet method. Moreover, rotary evaporator for 2 hours reduced effectively the ethanol content, while maintaining the narrow size distribution

Fast and economic immobilization methods described for non-commercial Pseudomonas lipases

There is an increasing interest to seek new enzyme preparations for the development of new products derived from bioprocesses to obtain alternative bio-based materials. In this context, four non-commercial lipases from Pseudomonas species were prepared, immobilized on different low-cost supports, and examined for potential biotechnological applications. Results: To reduce costs of eventual scaling-up, the new lipases were obtained directly from crude cell extracts or from growth culture supernatants, and immobilized by simple adsorption on Accurel EP100, Accurel MP1000 and Celite (R) 545. The enzymes evaluated were LipA and LipC from Pseudomonas sp. 42A2, a thermostable mutant of LipC, and LipI. 3 from Pseudomonas CR611, which were produced in either homologous or heterologous hosts. Best immobilization results were obtained on Accurel EP100 for LipA and on Accurel MP1000 for LipC and its thermostable variant. Lip I. 3, requiring a refolding step, was poorly immobilized on all supports tested ( best results for Accurel MP1000). To test the behavior of immobilized lipases, they were assayed in triolein transesterification, where the best results were observed for lipases immobilized on Accurel MP1000. Conclusions: The suggested protocol does not require protein purification and uses crude enzymes immobilized by a fast adsorption technique on low-cost supports, which makes the method suitable for an eventual scaling up aimed at biotechnological applications. Therefore, a fast, simple and economic method for lipase preparation and immobilization has been set up. The low price of the supports tested and the simplicity of the procedure, skipping the tedious and expensive purification steps, will contribute to cost reduction in biotechnological lipase-catalyzed processes

The SEEMP Approach to Semantic Interoperability for E-Employment

SEEMP is a European Project that promotes increased partnership between labour market actors and the development of closer relations between private and public employment services, making optimal use of the various actors’ specific characteristics, thus providing job-seekers and employers with better services. The need for a flexible collaboration gives rise to the issue of interoperability in both data exchange and share of services. SEEMP proposes a solution that relies on the concepts of services and semantics in order to provide a meaningful service-based communication among labour market actors requiring a minimal shared commitment

The Fourth Law of Behavior Genetics

Behavior genetics is the study of the relationship between genetic variation and psychological traits. Turkheimer (2000) proposed “Three Laws of Behavior Genetics” based on empirical regularities observed in studies of twins and other kinships. On the basis of molecular studies that have measured DNA variation directly, we propose a Fourth Law of Behavior Genetics: “A typical human behavioral trait is associated with very many genetic variants, each of which accounts for a very small percentage of the behavioral variability.” This law explains several consistent patterns in the results of gene-discovery studies, including the failure of candidate-gene studies to robustly replicate, the need for genome-wide association studies (and why such studies have a much stronger replication record), and the crucial importance of extremely large samples in these endeavors. We review the evidence in favor of the Fourth Law and discuss its implications for the design and interpretation of gene-behavior research.Economic

SEEMP: A marketplace for the Labour Market

Employment Services are an important topic in the agenda of local governments and in the EU due to their social implications, such as sustainability, workforce mobility, workers’ re-qualification paths, training for fresh graduates and students. Many administrations started their own E-Government projects whose imitations emerge as the demand of workers mobility increases. The SEEMP system presented in this paper overcomes this issue in different ways: starting bilateral communications with near-border similar offices, building a federation of the local employment services, and merging isolate trials. The SEEMP approach relies on a distributed semantic service oriented infrastructure able to federate local projects, in order to create geographically aggregated services for employment by leveraging existing local ones. The social and technical aspects of the SEEMP project are presented, showing how the SEEMP system is integrated with National level systems

Beyond the required LISA free-fall performance: new LISA pathfinder results down to 20 μHz

In the months since the publication of the first results, the noise performance of LISA Pathfinder has improved because of reduced Brownian noise due to the continued decrease in pressure around the test masses, from a better correction of noninertial effects, and from a better calibration of the electrostatic force actuation. In addition, the availability of numerous long noise measurement runs, during which no perturbation is purposely applied to the test masses, has allowed the measurement of noise with good statistics down to 20  μHz. The Letter presents the measured differential acceleration noise figure, which is at (1.74±0.05)  fm s^{-2}/sqrt[Hz] above 2 mHz and (6±1)×10  fm s^{-2}/sqrt[Hz] at 20  μHz, and discusses the physical sources for the measured noise. This performance provides an experimental benchmark demonstrating the ability to realize the low-frequency science potential of the LISA mission, recently selected by the European Space Agency

The LISA pathfinder mission

ISA Pathfinder (LPF), the second of the European Space Agency's Small Missions for Advanced Research in Technology (SMART), is a dedicated technology validation mission for future spaceborne gravitational wave detectors, such as the proposed eLISA mission. LISA Pathfinder, and its scientific payload - the LISA Technology Package - will test, in flight, the critical technologies required for low frequency gravitational wave detection: it will put two test masses in a near-perfect gravitational free-fall and control and measure their motion with unprecedented accuracy. This is achieved through technology comprising inertial sensors, high precision laser metrology, drag-free control and an ultra-precise micro-Newton propulsion system. LISA Pathfinder is due to be launched in mid-2015, with first results on the performance of the system being available 6 months thereafter. The paper introduces the LISA Pathfinder mission, followed by an explanation of the physical principles of measurement concept and associated hardware. We then provide a detailed discussion of the LISA Technology Package, including both the inertial sensor and interferometric readout. As we approach the launch of the LISA Pathfinder, the focus of the development is shifting towards the science operations and data analysis - this is described in the final section of the paper

Disentangling the magnetic force noise contribution in LISA pathfinder

Magnetically-induced forces on the inertial masses on-board LISA Pathfinder are expected to be one of the dominant contributions to the mission noise budget, accounting for up to 40%. The origin of this disturbance is the coupling of the residual magnetization and susceptibility of the test masses with the environmental magnetic field. In order to fully understand this important part of the noise model, a set of coils and magnetometers are integrated as a part of the diagnostics subsystem. During operations a sequence of magnetic excitations will be applied to precisely determine the coupling of the magnetic environment to the test mass displacement using the on-board magnetometers. Since no direct measurement of the magnetic field in the test mass position will be available, an extrapolation of the magnetic measurements to the test mass position will be carried out as a part of the data analysis activities. In this paper we show the first results on the magnetic experiments during an end- to-end LISA Pathfinder simulation, and we describe the methods under development to map the magnetic field on-board