Miracle-dz/UniFAR-FTUs huggingface dataset:
Online Planning to Control a Packaging Infeed System

In this paper, we investigate a novel application of online planning and scheduling: controlling an automated infeeder for a packaging line of food and consumer packaged goods. In this system, products arrive continuously at high-speed from the end of the production line and need to be arranged into a specific configuration for downstream primary and secondary packaging machines. In collaboration with a domain expert from the packaging industry, we developed an innovative design for a reconfigurable parallel infeed system using a matrix of interchangeable smart belts. We also adapted our online model-based Plantrol planner to this domain. Our planner can control various configurations of the new in-feed system through simulation both in nominal planning and when runtime failures occur. We are also building a small physical prototype to validate the new design and our sofeware framework.
Optimization of a Dipole With Partially Keystoned Cable for the SIS 300

The last stage of the GSI Fast-Pulsed Synchrotron Project for FAIR (Facility for Antiproton and Ion Research) is the SIS 300 ring, which will use superconducting dipoles with 100mm aperture, 6 T magnetic field amplitude and 1 T/s field ramp rate. Stringent requirements on physical parameters and on the dependable service of the dipole necessitated using a cable with increased current carrying capability and low dynamic losses. A suitable geometry of the superconducting cable was found in that used for the outer layer of the Large Hadron Collider superconducting main dipole, supplemented by a stainless steel core for the reduction of the transverse contact resistance between the strands. The shape of the partially keystoned cable demands numerical methods for the optimization of the geometry in adaptation to the wide aperture dipole. The main characteristics of the optimized 2D and 3D geometry of the dipole are presented. Two grades of iron yoke steel were analyzed for use, in view of their resulting field quality. Thermal analysis of the dipole was carried out
Detection of logical coupling based on product release history

Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems-those consisting of several millions of lines-at the code level faces many problems. An alternative approach is to concentrate on the system's building blocks such as programs or modules as the unit of examination. We present an approach that uses information in a release history of a system to uncover logical dependencies and change patterns among modules. We have developed the approach by working with 20 releases of a large Telecommunications Switching System. We use release information such as version numbers of programs, modules, and subsystems together with change reports to discover common change behavior (i.e. change patterns) of modules. Our approach identifies logical coupling among modules in such a way that potential structural shortcomings can be identified and further examined, pointing to restructuring or reengineering opportunities.
Human-competitive evolved antennas

Abstract We present a case study showing a human-competitive design of an evolved antenna that was deployed on a NASA spacecraft in 2006. We were fortunate to develop our antennas in parallel with another group using traditional design methodologies. This allowed us to demonstrate that our techniques were human-competitive because our automatically designed antenna could be directly compared to a human-designed antenna. The antennas described below were evolved to meet a challenging set of mission requirements, most notably the combination of wide beamwidth for a circularly polarized wave and wide bandwidth. Two evolutionary algorithms were used in the development process: one used a genetic algorithm style representation that did not allow branching in the antenna arms; the second used a genetic programming style tree-structured representation that allowed branching in the antenna arms. The highest performance antennas from both algorithms were fabricated and tested, and both yielded very similar performance. Both antennas were comparable in performance to a hand-designed antenna produced by the antenna contractor for the mission, and so we consider them examples of human-competitive performance by evolutionary algorithms. Our design was approved for flight, and three copies of it were successfully flown on NASA's Space Technology 5 mission between March 22 and June 30, 2006. These evolved antennas represent the first evolved hardware in space and the first evolved antennas to be deployed.
Inflation and Individual

We study the inflation hedging ability of individua l stocks. While the poor inflation hedging ability of the aggregate stock market has long been documen ted, there is considerable heterogeneity in how individual stock returns covary with inflation. St ocks with good inflation-hedging abilities since 1990 have had higher returns, on average, than stoc ks with low inflation betas and tend to be drawn from the Oil and Gas and Technology sectors. Howev er, we show that the time variation of stock inflation betas is substantial. This makes it diff icult to construct portfolios of stocks that are go od inflation hedges out of sample. This is true for p tfolios constructed on past inflation betas, sect or portfolios, and portfolios constructed from high-pa ying dividend stocks.
Informative household recommendation with feature-based matrix factorization

In this paper, we describe our solutions to the first track of CAMRa2011 challenge. The goal of this track is to generate a movie ranking list for each household. To achieve this goal, we propose to use the ranking oriented matrix factorization and the matrix factorization with negative examples sampling. We also adopt feature-based matrix factorization framework to incorporate various contextual information to our model, including user-household relations, item neighborhood, user implicit feedback, etc. Finally, we elaborate two kinds of methods to recommend movies for each household based on our models. Experimental results show that our proposed approaches achieve significant improvement over baseline methods.
Does External Counterpulsation Augment Mean Cerebral Blood Flow in the Healthy Brain? Effects of External Counterpulsation on Middle Cerebral Artery Flow Velocity and Cerebrovascular Regulatory Response in Healthy Subjects

Background and Purpose:External counterpulsation (ECP) noninvasively improves myocardial and organ perfusion via diastolic augmentation. The effects on cerebral blood flow velocities (CBFV) and hemodynamics are controversial. In this study, the effect of active ECP treatment on CBF in healthy subjects was continuously measured. Methods: In 9 healthy volunteers (mean age 34.1 ± 11.1 years, 4 females), 20-min active ECP treatment was performed. CBFV in the middle cerebral artery were detected via transcranial Doppler. CBFV were registered continuously before, during and after ECP. The protocol was repeated twice. Results: At onset of ECP, immediate changes in CBFV were observed: peak diastolic blood flow velocities increased from baseline to treatment (63 vs. 76 cm/s; p < 0.001) and diastolic blood flow augmentation was maintained throughout ECP. Peak systolic (87 vs. 78 cm/s; p < 0.001) and end-diastolic velocities (40 vs. 28 cm/s; p < 0.001) decreased significantly, while mean CBFV maintained constant (59 vs. 58 cm/s; not significant). The pulsatility index and resistance index as indirect parameters for peripheral vascular resistance increased during ECP (pulsatility index 0.79 vs. 0.89, p < 0.001; resistance index 0.54 vs. 0.64; p < 0.001). Conclusions: ECP did not increase mean CBFV in healthy subjects even though peak diastolic CBFV were significantly augmented. Changes in CBFV and transcranial Doppler waveform characteristics suggest that the mean flow of the middle cerebral artery is maintained stable via cerebrovascular autoregulatory mechanisms.
Data Management Issues in Disconnected Sensor Networks

The possibility of disconnection is one of the fundamental new networking problems presented by sensor networks. The goal of this paper is to address the problem of result collection in periodically disconnected sensor networks, focusing, in particular, on opportunities for in-network processing. Our hypothesis is that, through careful augmentation of the networking layer underneath the declarative query processor, it will be possible to expose information that will make the query processor able to adapt to and handle disconnections.
What and Where : Construction Plans for Cells and Organisms

F. Neidhardt Cells come in a dazzling variety of shapes and sizes. Even so, their molecular inventories share many common features, reflecting the underlying biochemical unity of life. In this chapter, we introduce the bacterium Escherichia coli (commonly abbreviated as E. coli ) as our biological standard ruler. This cell serves as the basis for a first examination of the inventory of cells and will permit us to get a sense of the size of cells and the nature of their contents. Using simple estimates, we will take stock of the genome size, numbers of lipids and proteins, and the ribosome content of bacteria. With the understanding revealed by E. coli in hand, we then take a powers-of-10 journey down and up from the scale of individual cells. Our downward journey will examine organelles within cells, macromolecular assemblies ranging from ribosomes to viruses and then the macromolecules that are the engines of cellular life. Our upward journey from the scale of individual cells will examine the biological structures resulting from multicellularity, this time with an emphasis on how cells act together in contexts ranging from bacterial biofilms to the networks of neurons in the brain.
Energy efficient on-sensor processing in Body Sensor Networks

Body Sensor Networks (BSNs) have tremendous potential in facilitating the real-time monitoring of the health of an individual in their own environment. However to truly exploit this potential, the powerful signal processing and analysis techniques available in the hospital environment must also be deployed in BSNs. In this paper, techniques in algorithm development, communications, hardware architecture and circuit design are described that will achieve the necessary power savings to make intelligent BSNs a reality.
Identification of crucial microRNAs and genes in hypoxia-induced human lung adenocarcinoma cells

Background Variations of microRNA (miRNA) expression profile in hypoxic lung cancer cells have not been studied so far. Therefore, using miRNA microarray technology, this study aimed to study the miRNA expression profile and investigate the potential crucial miRNAs and their target genes in hypoxia-induced human lung adenocarcinoma cells. Materials and methods Based on miRNA microarray, miRNA expression profiling of hypoxia-induced lung adenocarcinoma A549 cells was obtained. After identification of differentially expressed miRNAs (DE-miRNAs) in hypoxic cells, target genes of DE-miRNAs were predicted, and functional enrichment analysis of targets was conducted. Furthermore, the expression levels of DE-miRNAs and their target genes were validated by real-time quantitative polymerase chain reaction. In addition, using miRNA mimics, the effect of overexpressed DE-miRNAs on A549 cell behaviors (cell proliferation, cell cycle, and apoptosis) was evaluated. Results In total, 14 DE-miRNAs (nine upregulated miRNAs and five downregulated miRNAs) were identified in hypoxic cells, compared with normoxic cells. Target genes of both upregulated and downregulated miRNAs were enriched in the functions such as chromatin modification, and pathways such as Wnt signaling pathway and transforming growth factor (TGF)-β signaling pathway. The expression levels of several miRNAs and their target genes were confirmed, including hsa-miR-301b/FOXF2, hsa-miR-148b-3p/WNT10B, hsa-miR-769-5p/(SMAD2, ARID1A), and hsa-miR-622. Among them, hsa-miR-301b was verified to regulate FOXF2, and hsa-miR-769-5p was verified to modulate ARID1A. In addition, the overexpression of hsa-miR-301b and hsa-miR-769-5p significantly affected the cell cycle of A549 cells, but not cell proliferation and apoptosis. Conclusion miRNA expression profile was changed in hypoxia-induced lung cancer cells. Those validated miRNAs and genes may play crucial roles in the response of lung cancer cells to hypoxia.
A service infrastructure for the Internet of Things based on XMPP

Following the vision of an Internet of Things (IoT) real world objects are integrated into the Internet to provide data as sensors and to manipulate the real world as actors. While current IoT approaches focus on the integration of things based on service technologies, scenarios in domains like smart cities, automotive or crisis management require service platforms involving real world objects, backend-systems and mobile devices. In this paper we introduce a service platform based on the Extensible Messaging and Presence Protocol (XMPP) for the development and provision of services for such pervasive infrastructures. We argue for XMPP as protocol for unified, real-time communication and introduce the major concepts of our platform. Based on two case studies we demonstrate real-time capabilities of XMPP for remote robot control and service development in the e-mobility domain.
Regulation of D1 Dopamine Receptor Trafficking and Signaling by Caveolin-1

There is accumulating evidence that G protein-coupled receptor signaling is regulated by localization in lipid raft microdomains. In this report, we determined that the D1 dopamine receptor (D1R) is localized in caveolae, a subset of lipid rafts, by sucrose gradient fractionation and confocal microscopy. Through coimmunoprecipitation and bioluminescence resonance energy transfer assays, we demonstrated that this localization was mediated by an interaction between caveolin-1 and D1R in COS-7 cells and an isoform-selective interaction between D1R and caveolin-1α in rat brain. We determined that the D1R interaction with caveolin-1 required a putative caveolin binding motif identified in transmembrane domain 7. Agonist stimulation of D1R caused translocation of D1R into caveolin-1-enriched sucrose fractions, which was determined to be a result of D1R endocytosis through caveolae. This was found to be protein kinase A-independent and a kinetically slower process than clathrin-mediated endocytosis. Site-directed mutagenesis of the caveolin binding motif at amino acids Phe313 and Trp318 significantly attenuated caveolar endocytosis of D1R. We also found that these caveolin binding mutants had a diminished capacity to stimulate cAMP production, which was determined to be due to constitutive desensitization of these receptors. In contrast, we found that D1Rs had an enhanced ability to maximally generate cAMP in chemically induced caveolae-disrupted cells. Taken together, these data suggest that caveolae has an important role in regulating D1R turnover and signaling in brain.
Validation of trace-driven simulation models: more on bootstrap tests

Trace-driven or correlated inspection simulation means that the simulated and the real systems have some common inputs (say, arrival times) so the two systems' outputs are cross-correlated. To validate such simulation models, this paper formulates six validation statistics, which are inspired by practice and statistical analysis; for example, the simplest statistic is the difference between the average simulated and real responses. To evaluate these validation statistics, the paper develops novel types of bootstrapping based on subruns. Three basic bootstrap procedures are devised, depending on the number of simulation replicates: one, two, or more replicates. Moreover, for the case of more than two replicates the paper considers conditional versus unconditional resampling. These six validation statistics and four bootstrap procedures are evaluated in extensive Monte Carlo experiments with single-server queueing systems. The main conclusion is that bootstrapping of the simplest validation statistic gives the correct type I error probability, and has relatively high power.
A discriminative approach to structured biological data

This paper introduces the first author’s PhD project which has just got out of its initial stage. Biological sequence data is, on the one hand, highly structured. On the other hand there are large amounts of unlabelled data. Thus we combine probabilistic graphical models and semi-supervised learning. The former to handle structured data and the latter to deal with unlabelled data. We apply our models to genotypephenotype modelling problems. In particular we predict the set of Single Nucleotide Polymorphisms which underlie a specific phenotypical trait.
Repolarization Reserve Evolves Dynamically During the Cardiac Action Potential: Effects of Transient Outward Currents on Early Afterdepolarizations

Background—Transient outward K currents (Ito) have been reported both to suppress and to facilitate early afterdepolarizations (EADs) when repolarization reserve is reduced. Here, we used the dynamic clamp technique to analyze how Ito accounts for these paradoxical effects on EADs by influencing the dynamic evolution of repolarization reserve during the action potential. Methods and Results—Isolated patch-clamped rabbit ventricular myocytes were exposed to either oxidative stress (H2O2) or hypokalemia to induce bradycardia-dependent EADs at a long pacing cycle length of 6 s, when native rabbit Ito is substantial. EADs disappeared when the pacing cycle length was shortened to 1 s, when Ito becomes negligible because of incomplete recovery from inactivation. During 6-s pacing cycle length, EADs were blocked by the Ito blocker 4-aminopyridine, but reappeared when a virtual current with appropriate Ito-like properties was reintroduced using the dynamic clamp (n=141 trials). During 1-s pacing cycle length in the absence of 4-aminopyridine, adding a virtual Ito-like current (n=1113 trials) caused EADs to reappear over a wide range of Ito conductance (0.005–0.15 nS/pF), particularly when inactivation kinetics were slow (&tgr;inact≥20 ms) and the pedestal (noninactivating component) was small (<25% of peak Ito). Faster inactivation or larger pedestals tended to suppress EADs. Conclusions—Repolarization reserve evolves dynamically during the cardiac action potential. Whereas sufficiently large Ito can suppress EADs, a wide range of intermediate Ito properties can promote EADs by influencing the temporal evolution of other currents affecting late repolarization reserve. These findings raise caution in targeting Ito as an antiarrhythmic strategy.
Transcriptome Analysis of a Rotenone Model of Parkinsonism Reveals Complex I-Tied and -Untied Toxicity Mechanisms Common to Neurodegenerative Diseases

The pesticide rotenone, a neurotoxin that inhibits the mitochondrial complex I, and destabilizes microtubules (MT) has been linked to Parkinson disease (PD) etiology and is often used to model this neurodegenerative disease (ND). Many of the mechanisms of action of rotenone are posited mechanisms of neurodegeneration; however, they are not fully understood. Therefore, the study of rotenone-affected functional pathways is pertinent to the understanding of NDs pathogenesis. This report describes the transcriptome analysis of a neuroblastoma (NB) cell line chronically exposed to marginally toxic and moderately toxic doses of rotenone. The results revealed a complex pleiotropic response to rotenone that impacts a variety of cellular events, including cell cycle, DNA damage response, proliferation, differentiation, senescence and cell death, which could lead to survival or neurodegeneration depending on the dose and time of exposure and cell phenotype. The response encompasses an array of physiological pathways, modulated by transcriptional and epigenetic regulatory networks, likely activated by homeostatic alterations. Pathways that incorporate the contribution of MT destabilization to rotenone toxicity are suggested to explain complex I-independent rotenone-induced alterations of metabolism and redox homeostasis. The postulated mechanisms involve the blockage of mitochondrial voltage-dependent anions channels (VDACs) by tubulin, which coupled with other rotenone-induced organelle dysfunctions may underlie many presumed neurodegeneration mechanisms associated with pathophysiological aspects of various NDs including PD, AD and their variant forms. Thus, further investigation of such pathways may help identify novel therapeutic paths for these NDs.
Relative pose problem for non-overlapping surveillance cameras with known gravity vector

We present a method for estimating the relative pose of two calibrated or uncalibrated non-overlapping surveillance cameras from observing a moving object. We show how to tackle the problem of missing point correspondences heavily required by SfM pipelines and how to go beyond this basic paradigm. We relax the non-linear nature of the problem by accepting two assumptions which surveillance scenarios offer, i.e. the presence of a moving object and easily estimable gravity vector. By those assumptions we cast the problem as a Quadratic Eigenvalue Problem offering an elegant way of treating nonlinear monomials and delivering a quasi closed-form solution as a reliable starting point for a further bundle adjustment. We are the first to bring the closed form solution to such a very practical problem arising in video surveillance. Results in different camera setups demonstrate the feasibility of the approach.
Developing migratable multicloud applications based on MDE and adaptation techniques

Developing software for the cloud usually implies using the tools and libraries supplied by cloud vendors for each of their platforms. This strongly couples the software to specific platforms and penalizes its migration or interoperability with external cloud services, in what is known as vendor lock-in. Under these circumstances multicloud applications become difficult to build and maintain since they require multidisciplinary teams with expertise on multiple platforms, and the redevelopment of some components if the cloud deployment scenario is altered. The MULTICLAPP framework described in this paper tackles these issues by presenting a three-stage development process that allows multicloud applications to be developed without being coupled to any concrete vendor. MDE and adaptation techniques are used throughout the software development stages in order to abstract the software from each vendor's service specifications. As a result of this, multicloud applications or their subcomponents can be reassigned to different cloud platforms without having to undergo a partial or complete redevelopment process.
Emerging trends in mobile technology development: from healthcare professional to system developer

Previous attempts to involve doctors and nurses with healthcare organisation information technology initiatives have often proved futile. Often this has been because healthcare professionals do not perceive any direct benefit for them at the point of care. Traditional, static implementations of clinical information systems have been driven by hospital administration in an attempt to reduce costs. Mobile clinical applications on the other hand have been driven by the early adopters, the healthcare professionals themselves in an attempt to streamline their own individual work practices. Not only are they researching and purchasing the mobile clinical applications, several have begun developing the applications themselves. This paper explores the emerging trend of healthcare professionals developing mobile applications themselves and harnessing their profession to market these applications. Using diffusion of innovation theory (DOI) the trend is analysed to see how this diffusion differs from the earlier attempts to implement static clinical information systems and explores further research in the use of mobile applications by healthcare professionals.