Miracle-dz/UniFAR-FTUs huggingface dataset:
A Mobile Augmented Reality User Interface for Terrestrial Navigation

To date augmented realities are typically operated in only a small de ned area, in the order of a large room. This paper reports on our investigation into expanding augmented realities to the outdoor environment. The project entails providing visual navigation aids to users. A wearable computer system with a see-through display, digital compass, and a di erential GPS are used to provide visual cues while performing a standard orienteering task. This paper reports the outcomes of a set of trials using an o the shelf wearable computer, equipped with a custom built navigation software package, \map-in-the-hat. "
Modeling Interference in Wireless Ad Hoc Networks

We present interference analysis for wireless ad hoc networks and show that, depending on the path loss parameter (alpha), the average signal to noise and interference ratio (SNIR) either remains constant, or decays, when the number of interferers scales to infinity in the network, for nodes communicating with their close neighbors. Thus, communication is feasible in dense networks as long as alpha > 2 and a node attempts to transmit to other nodes located close enough so that interference can be overcome. An analytical model for interference is described and Monte-Carlo simulations validate our results.
Eecient Mining of Emerging Patterns: Discovering Trends and Diierences

We introduce a new kind of patterns, called emerging patterns (EPs), for knowledge discovery from databases. EPs are deened as itemsets whose supports increase signiic-antly from one dataset to another. EPs can capture emerging trends in timestamped databases, or useful contrasts between data classes. EPs have been proven useful: we have used them to build very powerful classiiers, which are more accurate than C4.5 and CBA, for many datasets. We believe that EPs with low to medium support, such as 1%{ 20%, can give useful new insights and guidance to experts, in even \well understood" applications. The eecient mining of EPs is a challenging problem, since (i) the Apriori property no longer holds for EPs, and (ii) there are usually too many candidates for high dimensional databases or for small support thresholds such as 0.5%. Naive algorithms are too costly. To solve this problem, (a) we promote the description of large collections of itemsets using their concise borders (the pair of sets of the minimal and of the maximal itemsets in the collections). (b) We design EP mining algorithms which manipulate only borders of collections (using our multi-border-diierential algorithm), and which represent discovered EPs using borders. All EPs satisfying a constraint can be eeciently discovered by our border-based algorithms, which take the borders, derived by Max-Miner, of large itemsets as inputs. In our experiments on large and high dimensional datasets including the US census and Mushroom datasets, many EPs, including some with large cardinality, are found quickly. We also give other algorithms for discovering general or special types of EPs.
Image-based versatile LU information: A multidimensional classification scheme to support local planning in Indonesia

Land-cover (LC) and Land-use (LU) are recognised as important factors in environmental assessment and planning. However, different applications normally require different LC/LU information contents. Various planning tasks might face difficulties when two or more LC/LU maps with different classification schemes share the same area of interest. Consequently, redundant works on LC/LU surveys of the area are carried out in order to make sure that the collected LC/LU maps to be used contain relevant information. In order to overcome such problem, a versatile LU information system (VLUIS) is developed. The VLUIS is mainly developed based on remotely sensed imagery. Its versatility is characterised by the following aspects: (a) multilevel categorisation with respect to particular range of spatial resolution; (b)multiple attributes of LC and LU contained in a classification scheme, represented by five LU dimensions, i.e. spectral, spatial, temporal, ecological, and socio-economic function; (c)layer stack data storing model for those dimensions enabling flexible attribute retrieval through a spatial query for relevant applications. In this paper, examples of extraction methods using remotely sensed imagery, i.e. Landsat TM/ETM (30 m) and Quickbird (2.4 m) are given, particularly for the first dimension of the VLUIS. Semarang area in Central Java, Indonesia, was chosen due to its relatively complex LU phenomena within a narrow strip of image coverage. The use of the VLUIS is put in the context of refinement of the KDLD (Key Dataset for Local Development), which has been developed by various local governments in Indonesia. As compared to Landsat TM/ETM+-based image processing, the use of high-spatial resolution imagery such as Quickbird multispectral requires more complex spatial analysis in order to derive versatile LU dataset.
Calcium Waves in Retinal Glial Cells

Calcium signals were recorded from glial cells in acutely isolated rat retina to determine whether Ca2+ waves occur in glial cells of intact central nervous system tissue. Chemical (adenosine triphosphate), electrical, and mechanical stimulation of astrocytes initiated increases in the intracellular concentration of Ca2+ that propagated at ∼23 micrometers per second through astrocytes and Müller cells as intercellular waves. The Ca2+ waves persisted in the absence of extracellular Ca2+ but were largely abolished by thapsigargin and intracellular heparin, indicating that Ca2+ was released from intracellular stores. The waves did not evoke changes in cell membrane potential but traveled synchronously in astrocytes and Müller cells, suggesting a functional linkage between these two types of glial cells. Such glial Ca2+ waves may constitute an extraneuronal signaling pathway in the central nervous system.
Identification of a novel distal regulatory element of the human Neuroglobin gene by the chromosome conformation capture approach

Neuroglobin (NGB) is predominantly expressed in the brain and retina. Studies suggest that NGB exerts protective effects to neuronal cells and is implicated in reducing the severity of stroke and Alzheimer's disease. However, little is known about the mechanisms which regulate the cell type-specific expression of the gene. In this study, we hypothesized that distal regulatory elements (DREs) are involved in optimal expression of the NGB gene. By chromosome conformation capture we identified two novel DREs located −70 kb upstream and +100 kb downstream from the NGB gene. ENCODE database showed the presence of DNaseI hypersensitive and transcription factors binding sites in these regions. Further analyses using luciferase reporters and chromatin immunoprecipitation suggested that the −70 kb region upstream of the NGB gene contained a neuronal-specific enhancer and GATA transcription factor binding sites. Knockdown of GATA-2 caused NGB expression to drop dramatically, indicating GATA-2 as an essential transcription factor for the activation of NGB expression. The crucial role of the DRE in NGB expression activation was further confirmed by the drop in NGB level after CRISPR-mediated deletion of the DRE. Taken together, we show that the NGB gene is regulated by a cell type-specific loop formed between its promoter and the novel DRE.
SciQL: a query language for unified scientific data processing and management

Science is more and more data-driven. This means, that a significant part of a scientist's work is dedicated to accessing, visualizing, integrating and analyzing data from a possibly wide range of heterogeneous sources. In this paper we propose SciQL, a query language that supports scientists in this task and allows them to focus on their main purpose, i.e., on doing research. SciQL sits between scientists or data processing tools on the one hand and different data sources on the other hand in order to decouple users from technical aspects of accessing data. It allows users to express their data management, refinement, transformation, processing procedures and visualizations in SciQL regardless of the syntax and capabilities of the underlying physical data source sources. This way scientists and client tools deal with only one language to interact with different data sources, e.g., text files, spreadsheets, relational DBMSs, or MapReduce systems. To achieve this, SciQL provides various constructs among them Schema Definition, (e.g., schema design and Data transformation), Data Retrieval (connecting to various data sources and formats, filtering, joining, grouping), Data Manipulation (e.g. Updating, deleting, versioning and provenance) and Visualization commands and data structures can be named. In this paper, we will discuss the general idea why we believe SciQL is needed, and explain the goals and the steps we intend to take in order to achieve these aims.
Logic Synthesis via Hamming Clustering

The synthesis of digital circuits for the solution of binary classiﬁcation problems is performed by employing a new learning method, named Hamming Clustering : it proceeds by generating clusters of input patterns that belong to the same class and are close each other according to the Hamming distance. In polynomial time, a digital circuit is obtained, neglecting redundant inputs irrelevant to the classiﬁcation process, exhibiting generalization ability and allowing a direct extraction of the underlying rules.
Effect of Folic Acid and Betaine Supplementation on Flow-Mediated Dilation: A Randomized, Controlled Study in Healthy Volunteers

Objectives: We investigated whether lowering of fasting homocysteine concentrations, either with folic acid or with betaine supplementation, differentially affects vascular function, a surrogate marker for risk of cardiovascular disease, in healthy volunteers. As yet, it remains uncertain whether a high concentration of homocysteine itself or whether a low folate status—its main determinant—is involved in the pathogenesis of cardiovascular disease. To shed light on this issue, we performed this study. Design: This was a randomized, placebo-controlled, double-blind, crossover study. Setting: The study was performed at Wageningen University in Wageningen, the Netherlands. Participants: Participants were 39 apparently healthy men and women, aged 50–70 y. Interventions: Participants ingested 0.8 mg/d of folic acid, 6 g/d of betaine, and placebo for 6 wk each, with 6-wk washout in between. Outcome Measures: At the end of each supplementation period, plasma homocysteine concentrations and flow-mediated dilation (FMD) of the brachial artery were measured in duplicate. Results: Folic acid supplementation lowered fasting homocysteine by 20% (−2.0 μmol/l, 95% confidence interval [CI]: −2.3; −1.6), and betaine supplementation lowered fasting plasma homocysteine by 12% (−1.2 μmol/l; −1.6; −0.8) relative to placebo. Mean (± SD) FMD after placebo supplementation was 2.8 (± 1.8) FMD%. Supplementation with betaine or folic acid did not affect FMD relative to placebo; differences relative to placebo were −0.4 FMD% (95%CI, −1.2; 0.4) and −0.1 FMD% (−0.9; 0.7), respectively. Conclusions: Folic acid and betaine supplementation both did not improve vascular function in healthy volunteers, despite evident homocysteine lowering. This is in agreement with other studies in healthy participants, the majority of which also fail to find improved vascular function upon folic acid treatment. However, homocysteine or folate might of course affect cardiovascular disease risk through other mechanisms.
Improved Optimistic Mirror Descent for Sparsity and Curvature

Online Convex Optimization plays a key role in large scale machine learning. Early approaches to this problem were conservative, in which the main focus was protection against the worst case scenario. But recently several algorithms have been developed for tightening the regret bounds in easy data instances such as sparsity, predictable sequences, and curved losses. In this work we unify some of these existing techniques to obtain new update rules for the cases when these easy instances occur together. First we analyse an adaptive and optimistic update rule which achieves tighter regret bound when the loss sequence is sparse and predictable. Then we explain an update rule that dynamically adapts to the curvature of the loss function and utilizes the predictable nature of the loss sequence as well. Finally we extend these results to composite losses.
Effective Power Optimization Under Timing and Voltage-Island Constraints Via Simultaneous $V_{dd}$,  $V_{th}$ Assignments, Gate Sizing, and Placement

We present a physical-synthesis based power optimization technique that simultaneously explores the four transforms, multiple Vdd, multiple Vth , cell sizing, and placement, to find a minimum power solution under timing and other constraints. The optimal selection of the design options of all transforms for all cells in the circuit is solved using a new optimization technique called discretized network flow that we have recently developed. Among the constraints we consider, timing and the voltage-island constraints are the two most important and complex ones. The voltage-island constraint specifies the maximum allowed number of voltage islands in the layout, and the requirement that each island be rectangular. We develop an approach that along with the option selection process can simultaneously determine the voltage islands needed, as well as satisfy all given constraints. Experimental results on ISCAS'89 and Faraday benchmarks show that compared to an initial wire length (WL)-optimized placement with high supply and low threshold voltage levels, we obtain a power reduction by up to 42% and an average of 30% for the same delay as that of the initial design. These improvements are also 44-50% relatively better than the improvements yielded by sequentially applying the four power reduction transforms, which is the currently standard method for applying multiple transforms. Finally, compared to an industry tool Synopsys IC Compiler (ICC) that also applies all four transforms, our method reduces power by an additional amount of up to 19%, and an average of 16%.
A Bit-Encoding Approach for Frequent Sequence Mining

Sequential pattern mining is an important data mining problem with broad applications. And the classic algorithm for this problem is PrefixSpan, which is a projection-based, sequential pattern-growth approach. But it must scan projected database once in order to find a local frequent item, it may cost much time when the database is large. In this paper, we propose an encoding-based, sequential pattern-growth approach for efficient mining of sequential patterns, PSBE (PrefixSpan with Bit-Encoding), which can find local frequent item with little cost. In this approach, we encode the database with 0,1 bits, build encoded database, and use the framework of PrefixSpan to find out sequential patterns. We can improve the PrefixSpan by the property of encoding. Our experiment shows that PSBE outperforms the PrefixSpan algorithm.
INVESTIGATING THE ROLES OF MECHANORECEPTIVE CHANNELS IN TACTILE APPARENT MOTION PERCEPTION: A VIBROTACTILE STUDY

Tactile apparent motion (TAM) is a perceptual phenomenon in which consecutive presentation of multiple tactile stimuli creates an illusion of motion. Employing a novel tactile display device, the Latero, allowed us to investigate this. The current study focused on the Rapidly Adapting (RA) channel and Slowly Adapting I (SAI) channel on the index finger. The experiment implemented vibrotactile masking stimuli to target the mechanoreceptive channels with the goal of gaining better insight into the involvement of mechanoreceptive channels in the perception of TAM. Masking stimuli were used because previous studies have used them to differentiate between different channels; a certain masking stimulus will impact a mechanoreceptive channel more than others. The experiment began by measuring participants’ threshold for TAM stimuli by varying the stimulus intensity in a two-choice task (left vs right); participants received test trials consisting of TAM stimuli with 25 Hz and 6 Hz testing for the RA and SAI channels, respectively. Next, participants performed a series of test trials with vibrotactile masking stimuli that preceded the TAM stimuli mentioned above. The vibrotactile masking stimulus varied in duration (4 seconds vs 8 seconds) and intensity (two times vs three times the intensity of the TAM stimuli). The results suggest that there was no difference in accuracy when testing for the RA and SAI channels. The results also showed that the introduction of the masking stimuli significantly lowered accuracy. Overall, neither the RA nor the SAI channel may be uniquely involved in TAM perception. However, further improvement on the current design may aid in isolating each channel to help better understand the channel’s role in TAM perception.
Beyond the Standard Model

These lectures constitute a short course in ``Beyond the Standard Model`` for students of experimental particle physics. The author discusses the general ideas which guide the construction of models of physics beyond the Standard model. The central principle, the one which most directly motivates the search for new physics, is the search for the mechanism of the spontaneous symmetry breaking observed in the theory of weak interactions. To illustrate models of weak-interaction symmetry breaking, the author gives a detailed discussion of the idea of supersymmetry and that of new strong interactions at the TeV energy scale. He discusses experiments that will probe the details of these models at future pp and e{sup +}e{sup {minus}} colliders.
Autonomous position holding and point to point flying control of quadrotor UAVs

Position holding, also called hovering, is a key specification of rotor based aircraft. Its control problem for small quadrotor UAVs (unmanned aerial vehicles) is addressed in this paper. Given the flight dynamics of quadrotors, the P+D+DD based position holding control laws are presented. For the resultant two loop overall configuration, the outer loop controls the throttle magnitude required to reach the target position and generates the reference attitude command for the inner loop, while the inner attitude loop ensures that aircraft's thrust is orientated to the target. The control algorithm is validated via a serial of field tests on a platform developed, including position holding and point to point navigation, showing the effectiveness of the approaches. Some implementation issues, such as translation velocity estimation, its Kalman filter design and multiple sensor data fusion are also addressed.
Formal Methods for Verifications of Reactive Systems

This chapter deals with the use of two verification approaches: theorem proving and model checking. The authors focus on the Event-B method by using its associated theorem proving tool (Click_n_Prove), and on the language TLA+ by using its model checker TLC. By considering the limitation of the Event-B method to invariance properties, the authors propose to apply the language TLA+ to verify liveness properties on a software behavior. The authors extend first the expressivity and the semantics of a B model (called temporal B model) to deal with the specification of fairness and eventuality properties. Second, they give transformation rules from a temporal B model into a TLA+ module. The authors present in particular, their prototype system called B2TLA+, that they have developed to support this transformation; then they can verify these properties thanks to the model checker TLC on finite state systems. For the verification of infinite-state systems, they propose the use of the predicate diagrams. The authors illustrate their approach on a case study of a parcel sorting system.
The Mouse Functional Genome Database (MfunGD): functional annotation of proteins in the light of their cellular context

MfunGD () provides a resource for annotated mouse proteins and their occurrence in protein networks. Manual annotation concentrates on proteins which are found to interact physically with other proteins. Accordingly, manually curated information from a protein–protein interaction database (MPPI) and a database of mammalian protein complexes is interconnected with MfunGD. Protein function annotation is performed using the Functional Catalogue (FunCat) annotation scheme which is widely used for the analysis of protein networks. The dataset is also supplemented with information about the literature that was used in the annotation process as well as links to the SIMAP Fasta database, the Pedant protein analysis system and cross-references to external resources. Proteins that so far were not manually inspected are annotated automatically by a graphical probabilistic model and/or superparamagnetic clustering. The database is continuously expanding to include the rapidly growing amount of functional information about gene products from mouse. MfunGD is implemented in GenRE, a J2EE-based component-oriented multi-tier architecture following the separation of concern principle.
Wave-Number Explicit Convergence Analysis for Galerkin Discretizations of the Helmholtz Equation (extended version)

In this paper, we develop a new stability and convergence theory for highly indefinite elliptic partial differential equations by considering the Helmholtz equation at high wave number as our model problem. The key element in this theory is a novel k-explicit regularity theory for Helmholtz boundary value problems that is based on decomposing the solution into in two parts: the first part has the H2-Sobolev regularity expected of elliptic PDEs but features k-independent regularity constants; the second part is an analytic function for which k-explicit bounds for all derivatives are given. This decomposition is worked out in detail for several types of boundary value problems including the case Robin boundary conditions in domains with analytic boundary and in convex polygons. As the most important practical application we apply our full error analysis to the classical hp-version of the finite element method (hp-FEM) where the dependence on the mesh width h, the approximation order p, and the wave number k is given explicitly. In particular, under the assumption that the solution operator for Helmholtz problems grows only polynomially in k, it is shown that quasi-optimality is obtained under the conditions that kh/p is sufficiently small and the polynomial degree p is at least O(log k). AMS Subject Classification: 35J05, 65N12, 65N30
Organizational change and commitment: Effects on well-being, turnover intent and quality of care in Spanish and Swedish eldercare

Frequent organizational changes have been a rule rather than an exception in many European countries for decades. The present study investigates how affective organizational commitment relates to and moderates the effects of having been exposed to organizational restructuring on employee well-being, quality of care and turnover intentions among 530 eldercare employees in Sweden and Spain. The results show that there was a main effect of employees’ experiences of being affected by change on well-being and turnover intentions but not on quality of care. Restructuring changes were moderated by affective commitment on turnover intentions. However, the buffering effect of affective commitment in terms of protecting employees from turnover intentions was weak.