Miracle-dz/UniFAR-FTUs huggingface dataset:
Tracking and Synchronization of the Yeast Cell Cycle Using Dielectrophoretic Opacity † ‡ Lab on a Chip

Cell cycle synchronization is an important tool for the study of the cell division stages and signalling. It provides homogeneous cell cultures that are of importance to develop and improve processes such as protein synthesis and drug screening. The main approach today is the use of metabolic agents that block the cell cycle at a particular phase and accumulate cells at this phase, disturbing the cell physiology. We provide here a non-invasive and label-free continuous cell sorting technique to analyze and synchronize yeast cell division. By balancing opposing dielectrophoretic forces at multiple frequencies, we maximize sensitivity to the characteristic shape and internal structure changes occurring during the yeast cell cycle, allowing us to synchronize the culture in late anaphase. The ability to reproduce is a fundamental property of life. Mitosis as the means of cellular reproduction of eukaryotic cells has been the subject of intense investigations. A large part of this research has been done using budding yeast cells because of their well-known genetics, robustness and characteristic shape changes during the mitotic cell cycle, 1–3 allowing the development of a broad range of large-scale methods to study eukaryotic cell biochemistry. 4 Many of these approaches depend on cell synchronization in order to dissect mechanisms specific to certain stages of the cell cycle. For yeast cells, two major types of synchronization methods are known: 5,6 invasive methods synchronize whole cultures by means of cell cycle arrest induced by mating factor alpha 7 or a temperature rise in conditional mutants, 8 whereas elutriation selects a subset of small, and hence young cells. 9,10 Cell cycle arrest methods yield highly synchronized cultures, but as detailed gene expression analysis shows, they also interfere with the natural cell cycle, leading to cyclic expression patterns that might not exist in freely growing yeast. 10 For detailed investigation of the unperturbed cell division machinery, it would be desirable to dispose of a non-invasive selection method providing cells in active division in addition to the young cells accessible by elutriation. We demonstrate the synchronization of a yeast cell culture in late anaphase by using electrical forces based on dielectrophoresis. The technique makes use of the characteristic variation of cell geometry and structure , 3,11 and hence of the electrical properties of budding yeast cells throughout their division cycle, 12 to achieve continuous sorting on chip. Dielectrophoresis designates the force exerted on particles by inhomogeneous, and generally alternating, electric …
Account matching across heterogeneous networks

Due to the development of web services, many social network sites, as well as online shopping sites have been booming in the past decade, where it is a common phenomenon that people are likely to use multiple services at the same time. Discovering the correspondence between accounts of a same individual is a crucial prerequisite for many interesting cross network applications, such as improving the recommendation performance of the online shopping sites by using extra information from social network services. In this paper, we propose a gametheoretic method to identify correlation accounts of individuals between social network sites and online shopping sites with stable matching model, incorporating accounts profiles as well as historical behaviors. The results show that our method identifies up to 70% of correlation accounts between Facebook and eBay, one of the most popular social network sites and online shopping sites in the world, respectively.
Multidisciplinary Design Process of a 6-Slot 2-Pole High-Speed Permanent-Magnet Synchronous Machine

High-speed permanent-magnet synchronous machines (HS PMSMs) are a popular topology among modern electrical machines. Suitable applications for such machines are low-power vacuum pumps, compressors, and chillers. This paper describes a systematic design methodology for an HS PMSM using two case studies. The design process for such high-speed (HS) machines is multidisciplinary and highly iterative due to the complex interaction of the many design variables involved. Consequently, no single optimum solution exists, and multiple possible solutions can meet the customer requirements. Practical solutions should be within acceptable thermal limits, should be energy-efficient, and should be rigid enough to withstand the forces exerted during operation. The proposed design flow is divided into steps that are presented in this paper in the form of a flowchart with emphasis on mechanical aspects. Each step represents a task for a thermal, mechanical, or electrical engineer. The features of each step and the prerequisites for moving to the next step are discussed. The described methodology was implemented in the design of two HS PMSMs. The output performance results of the design flow are compared with measured results of the prototypes. The design process described in this paper provides a straightforward procedure for the multidisciplinary design of HS permanent magnet electrical machines.
PAPER Special Section on Novel Device Architectures and System Integration Technologies A VLSI Spiking Feedback Neural Network with Negative Thresholding and Its Application to Associative Memory

SUMMARY An integrate-and-fire-type spiking feedback network is discussed in this paper. In our spiking neuron model, analog information expressing processing results is given by the relative relation of spike firing. Therefore, for spiking feedback networks, all neurons should fire (pseudo-)periodically. However, an integrate-and-fire-type neuron generates no spike unless its internal potential exceeds the threshold. To solve this problem, we propose negative thresholding operation. In this paper, this operation is achieved by a global excitatory unit. This unit operates immediately after receiving the first spike input. We have designed a CMOS spiking feedback network VLSI circuit with the global excitatory unit for Hopfield-type associative memory. The circuit simulation results show that the network achieves correct association operation.
Car-to-Cloud Communication Traffic Analysis Based on the Common Vehicle Information Model

Although connectivity services have been introduced already today in many of the most recent car models, the potential of vehicles serving as highly mobile sensor platform in the Internet of Things (IoT) has not been sufficiently exploited yet. The European AutoMat project has therefore defined an open Common Vehicle Information Model (CVIM) in combination with a cross-industry, cloud-based big data marketplace. Thereby, vehicle sensor data can be leveraged for the design of entirely new services even beyond traffic-related applications (such as localized weather forecasts). This paper focuses on the prediction of the achievable data rate making use of an analytical model based on empirical measurements. For an in-depth analysis, the CVIM has been integrated in a vehicle traffic simulator to produce CVIM-compliant data streams as a result of the individual behavior of each vehicle (speed, brake activity, steering activity, etc.). In a next step, a simulation of vehicle traffic in a realistically modeled, large-area street network has been used in combination with a cellular Long Term Evolution (LTE) network to determine the cumulated amount of data produced within each network cell. As a result, a new car-to-cloud communication traffic model has been derived, which quantifies the data rate of aggregated car-to-cloud data producible by vehicles depending on the current traffic situations (free flow and traffic jam). The results provide a reference for network planning and resource scheduling for car-to-cloud type services in the context of smart cities.
Expression of lipocortins in human bronchial epithelial cells: effects of IL-1β , TNF-α, LPS and dexamethasone

In this study, we investigated the expression of lipocortin I and II (annexin I and I in the human bronchial epithelium, both in vivo and in vitro. A clear expression of lipocortin I and II protein was found in the epithelium in sections of bronchial tissue. In cultured human bronchial epithelial cells we demonstrated the expression of lipocortin I and II mRNA and protein using Northern blotting, FACScan analysis and ELISA. No induction of lipocortin I or II mRNA or protein was observed after incubation with dexamethasone. Stimulation of bronchial epithelial cells with IL-1β, TNF-α or LPS for 24 h did not affect the lipocortin I or II mRNA or protein expression, although PGE2 and 6-keto-PGF1α production was significantly increased. This IL-1β- and LPS-mediated increase in eicosanoids could be reduced by dexamethasone, but was not accompanied by an increase in lipocortin I or II expression. In human bronchial epithelial cells this particular glucocorticoid action is not mediated through lipocortin I or II induction.
A Tcl/Tk BASED USER INTERFACE FOR MULTI-AGENT SYSTEMS

The main goal of this paper is to present a user interface for a multi-agent system “MACIV” [1]. The aim of the MACIV project is the design and implementation of a computer system, mainly based on Distributed Artificial Intelligence techniques, enabling a decentralised management of different resources in Civil Construction Companies. The user interface is implemented using the Tcl and Tk packages [3]. A novel characteristic of this work is the use of Tcl and Tk packages for creating a user interface for a dynamic application a multi-agent system. The most frequent use of Tcl and Tk is for static applications: all the information about a window is set before it appears on the screen and rarely changed after that. In our case, the number of windows and their moment of apparition on screen is dynamically changed.
A Model to Predict Total Chlorine Residue in the Cooling Seawater of a Power Plant Using Iodine Colorimetric Method

A model experiment monitoring the fate of total residue oxidant (TRO) in water at a constant temperature and salinity indicated that it decayed exponentially with time, and with TRO decaying faster in seawater than in distilled water. The reduction of TRO by temperature (°K) was found to fit a curvilinear relationship in distilled water (r2 = 0.997) and a linear relationship in seawater (r2 = 0.996). Based on the decay rate, flow rate, and the length of cooling water flowing through at a given temperature, the TRO level in the cooling water of a power plant could be estimated using the equation developed in this study. This predictive model would provide a benchmark for power plant operators to adjust the addition of chlorine to levels necessary to control bio-fouling of cooling water intake pipelines, but without irritating ambient marine organisms.
Hope and Fear for Discriminative Training of Statistical Translation Models

In machine translation, discriminative models have almost entirely supplanted the classical noisy-channel model, but are standardly trained using a method that is reliable only in low-dimensional spaces. Two strands of research have tried to adapt more scalable discriminative training methods to machine translation: the first uses log-linear probability models and either maximum likelihood or minimum risk, and the other uses linear models and large-margin methods. Here, we provide an overview of the latter. We compare several learning algorithms and describe in detail some novel extensions suited to properties of the translation task: no single correct output, a large space of structured outputs, and slow inference. We present experimental results on a large-scale Arabic-English translation task, demonstrating large gains in translation accuracy.
LNgen: Tool Support for Locally Nameless Representations MS-CIS-10-24

Given the complexity of the metatheoretic reasoning about current programming languages and their type systems, techniques for mechanical formalization and checking of such metatheory have received much recent attention. In previous work, we advocated a combination of locally nameless representation and coﬁnite quantiﬁcation as a lightweight style for carrying out such formalizations in the Coq proof assistant. As part of the presentation of that methodology, we described a number of operations associated with variable binding and listed a number of properties, called “infrastructure lemmas”, about those operations that needed to be shown. The proofs of these infrastructure lemmas are straightforward but tedious. Inthiswork, we present LNgen, a prototype tool for automatically generating statements and proofs of infrastructure lemmas from Ott language speciﬁcations. Furthermore, the tool also generates a recursion scheme for deﬁning functions over syntax, which was not available in our previous work. LNgen works in concert with Ott to eﬀectively alleviate much of the tedium of working with locally nameless syntax. For the case of untyped lambda terms, we show that the combined output from the two tools is sound and complete, with LNgen automatically proving many of the key lemmas. We prove the soundness of our representation with respect to a fully concrete representation, and we argue that the representation is complete—that we generate the right set of lemmas—with respect to Gordon and Melham’s “Five Axioms of Alpha-Conversion. ”
vMerger: Server Consolidation in Virtualized Environment

In virtualized clusters, applications are deployed in virtual machines (VMs). Resource can be configured dynamically with the varying workloads. When workloads become low, applications can be consolidated on smaller number of nodes. Much more tasks can be processed in clusters. Virtualized clusters have better scalability than traditional clusters. In this paper, we present a server consolidation manager vMerger to improve the scalability of clusters. Linear programming is used for finding new mapping of VMs to smaller number of nodes. An optimized topological-sorting-based migration order generation method is designed to change VM distribution from current mapping to new mapping. The experimental results show that, vMerger effectively improves the scalability of clusters using server consolidation.
Online Routing in Triangulations

We consider online routing strategies for routing between the vertices of embedded planar straight line graphs. Our results include (1) two deterministic memoryless routing strategies, one that works for all Delaunay triangulations and the other that works for all regular triangulations, (2) a randomized memoryless strategy that works for all triangulations, (3) an O(1) memory strategy that works for all convex subdivisions, (4) an O(1) memory strategy that approximates the shortest path in Delaunay triangulations, and (5) theoretical and experimental results on the competitiveness of these strategies.
SLA-tree: a framework for efficiently supporting SLA-based decisions in cloud computing

As cloud computing becomes increasingly important in database systems, many new challenges and opportunities have arisen. One challenge is that in cloud computing, business profit plays a central role. Hence, it is very important for a cloud service provider to quickly make profit-oriented decisions. In this paper, we propose a novel data structure, called SLA-tree, to efficiently support profit-oriented decision making. SLA-tree is built on two pieces of information: (1) a set of buffered queries waiting to be executed, which represents the scheduled events that will happen in the near future, and (2) a service level agreement (SLA) for each query, which indicates the different profits for the query for varying query response times. By constructing the SLA-tree, we efficiently support the answering of certain profit-oriented "what if" questions. Answers to these questions in turn can be applied to different profit-oriented decisions in cloud computing such as profit-aware scheduling, dispatching, and capacity planning. Extensive experimental results based on both synthetic and real-world data demonstrate the effectiveness and efficiency of our SLA-tree framework.
Estrogen attenuates integrin-beta(3)-dependent adventitial fibroblast migration after inhibition of osteopontin production in vascular smooth muscle cells.

BACKGROUND Previous in vitro studies have suggested that estrogen attenuates the vascular injury response by modulating vascular smooth muscle cell (VSMC) expression of soluble factor(s) directing migration of adventitial fibroblasts. Previous in vivo studies have established a role for osteopontin (OPN) and its integrin receptors after vascular injury. In this study, we examined OPN expression in activated VSMCs, its modulation by estrogen, and its effects on adventitial fibroblast migration. In addition, the relative functional roles of beta(1)- and beta(3)-integrin-matrix interactions were examined. METHODS AND RESULTS Primary cultures of VSMCs and adventitial fibroblasts were derived from female Sprague-Dawley rats. Serum-activated VSMCs expressed high levels of OPN mRNA and secreted protein that was effectively inhibited by estrogen treatment (10(-7) mol/L). Compared with VSMCs, fibroblasts expressed similar levels of integrins alphanu and beta(1) and higher levels of integrin-beta(3). Exogenous OPN (5.0 to 40 microg/mL) directed fibroblast migration in a dose-dependent fashion. Anti-beta(3)-integrin antibody (F11) pretreatment markedly inhibited adventitial fibroblast migration directed by exogenous OPN or VSMC-conditioned medium in a dose-dependent manner. In contrast, anti-beta(1)-integrin antibody (Ha2/5) did not affect fibroblast migration. Similarly, pretreatment with either linear or cyclic RGD peptides (10 to 1000 micromol/L) inhibited fibroblast migration directed by OPN or VSMC-conditioned medium in a dose-dependent manner. CONCLUSIONS These observations suggest that estrogen indirectly attenuates integrin-beta(3)-dependent adventitial fibroblast migration after inhibition of OPN expression in VSMCs.
Reducing Blocking Risks of Atomic Transactions in MANETs Using a Backup Coordinator

In this paper, the authors present a probabilistic model to evaluate the reliability of the atomic commit for distributed transactions in mobile ad-hoc networks (MANETs). This model covers arbitrary MANET scenarios as well as strict and semantic transaction models. The authors evaluate the approach to integrate a backup coordinator to reduce blocking risks. For the purpose of showing an example of a MANET scenario, the authors illustrate how the considered blocking probability is very low.
Measuring product happiness

The broadening of scope from usability to user experience we have witnessed in the CHI community represents a shift to a more holistic appreciation of how objects and technology can be purposeful to the people that use them. A recent extension of this development is to also pay attention to the question how technology affects the subjective wellbeing or happiness of users. This work in progress paper describes a theoretical model of product attribute categories relevant for product happiness and the development of a scale that aims at measuring the happiness impact of products based on this model. First, the hypothesized model is presented that proposes three different types of product qualities: pragmatic, hedonic and eudaimonic. Second, the development process of a happiness scale is explained. Finally an overview of the future steps is given.
An Object-Oriented Implementation of Machine Translation Systems

In this paper, we describe an implementation of object-oriented knowledge sources and functions for knowledge-based machine translation, where the meanings of sentences are represented by conceptual "objects. " While parsing and generation are viewed as mappings between syntactic and conceptual representations, such functions as paraphrasing, abstraction, and information filtering are implemented as "methods" in conceptual objects. By incorporating set constructors, variables, and functions as "meta" objects, we show that broad-coverage conceptual representations can be compositionally defined for natural language sentences. Specifications for mapping between syntactic and conceptual representations are used to control the paraphrasing process. Our approach is compatible with bidirectional machine translation and massively parallel processing
Extraction in software watermarking

The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyrights is software watermarking which embeds secret messages into software to identify its owners and developers. While digital watermarking for media such as video, audio, and text is a popular research field, software watermarking is still a relatively new scientific area. The key concepts in software watermarking are informal; some are even confusing. Formalizing these fundamental terms would facilitate the research in this field. In this paper, we formally define the following concepts involved in embedding watermarks into and extracting watermarks from a program in software watermarking: embedding, set of candidate watermarks, representative set, representative degree, extracting, extractability, blindly extractability, and representative extracting.Through the concepts of the representative sets and the representative degree of an embedding algorithm and a program, we characterize the intrinsic property of an extractable embedding algorithm for software watermarking. Furthermore, the concept of the representative extracting algorithm is used to show the best thing we can get for a general software watermarking embedding algorithm.
Inhibitory Effect of Nasal Intermittent Positive Pressure Ventilation on Gastroesophageal Reflux

Non-invasive intermittent positive pressure ventilation can lead to esophageal insufflations and in turn to gastric distension. The fact that the latter induces transient relaxation of the lower esophageal sphincter implies that it may increase gastroesophageal refluxes. We previously reported that nasal Pressure Support Ventilation (nPSV), contrary to nasal Neurally-Adjusted Ventilatory Assist (nNAVA), triggers active inspiratory laryngeal closure. This suggests that esophageal insufflations are more frequent in nPSV than in nNAVA. The objectives of the present study were to test the hypotheses that: i) gastroesophageal refluxes are increased during nPSV compared to both control condition and nNAVA; ii) esophageal insufflations occur more frequently during nPSV than nNAVA. Polysomnographic recordings and esophageal multichannel intraluminal impedance pHmetry were performed in nine chronically instrumented newborn lambs to study gastroesophageal refluxes, esophageal insufflations, states of alertness, laryngeal closure and respiration. Recordings were repeated without sedation in control condition, nPSV (15/4 cmH2O) and nNAVA (~ 15/4 cmH2O). The number of gastroesophageal refluxes recorded over six hours, expressed as median (interquartile range), decreased during both nPSV (1 (0, 3)) and nNAVA [1 (0, 3)] compared to control condition (5 (3, 10)), (p < 0.05). Meanwhile, the esophageal insufflation index did not differ between nPSV (40 (11, 61) h-1) and nNAVA (10 (9, 56) h-1) (p = 0.8). In conclusion, nPSV and nNAVA similarly inhibit gastroesophageal refluxes in healthy newborn lambs at pressures that do not lead to gastric distension. In addition, the occurrence of esophageal insufflations is not significantly different between nPSV and nNAVA. The strong inhibitory effect of nIPPV on gastroesophageal refluxes appears identical to that reported with nasal continuous positive airway pressure.