Miracle-dz/UniFAR-FTUs huggingface dataset:
Robust Feature Correspondences for Vision-Based Navigation with Slow Frame-Rate Cameras

We propose a vision-based inertial system that overcomes the problems associated with slow update rates in navigation systems based on high-resolution cameras. Due to bandwidth limitations in current camera interfaces, like Firewire or USB, an increase in the camera resolution results in a drop of the effective frame-rate from the sensor. This increases the correspondence problem for point features in consecutive images due to significant motion of the features. We solve the correspondence problem for very significant motion of point features between consecutive images by analyzing the motion blur to estimate the current motion parameters. The proposed algorithm can be used to track the position of point features in video images originating from slow frame-rate cameras. The system is validated on real images from a camera moved by a mobile system, but it can be used for any type of motion ranging from flying systems to mobile robots operating in outdoor or indoor environments
Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming

Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an important problem, which is made very difficult by the highly dynamic nature of the language, particularly its support for runtime code generation. As a first step towards dealing with this, we propose to investigate security analyses for languages with more principled forms of dynamic code generation. To this end, we present a static information flow analysis for a dynamically typed functional language with prototype-based inheritance and staged metaprogramming. We prove its soundness, implement it and test it on various examples designed to show its relevance to proving security properties, such as noninterference, in JavaScript. To our knowledge, this is the first fully static information flow analysis for a language with staged metaprogramming, and the first formal soundness proof of a CFA-based information flow analysis for a functional programming language.
Design methods for augmented reality in-vehicle infotainment systems

We have experienced rapid development of augmented reality (AR) systems and platforms in the automotive industry. However, to bring AR into production cars, we still face a range of challenges to design an AR system that meets vehicle specific requirements. Based on our experience with an AR prototype car, we analyze the influence of augmented reality on the design of the in-vehicle electric/electronic (E/E) architecture.
Nickel nanowire synthesis for next-generation transparent conductors

Nowadays, transparent and touch-related interaction are two significant trends in information and communication technologies (ICTs). For this reason new alternatives to indium-tin oxide (ITO) are being developed, with this work focusing on one possible approach, based on nickel nanowire networks. These are interesting because of its characteristic high conductivity derived from the metal properties, while having the advantage of the chosen material existing with a large abundance, with much lower cost than materials like indium or silver. Several methods for producing these structures were studied. Initially by an hydrothermal process that proved necessary to have a good control of the applied magnetic field, allowing to obtain nanowires with diameters of 800nm but with a wide variety of lengths. To assure a better process control another route was explored, based on electrodeposition using a mold, varying the reaction time, the applied current and also the electrolyte concentration. For this mold was firstly used an anodized alumina membrane that revealed to require a good etching process of the contact in the mold for a good separation to occur between this and the final product. This resulted in nanowires with about 200 nm diameter and lengths around 60 μm. Finally, alternative materials were used for molds, such as wax, polydimethilsiloxane (PDMS) and epoxi-based photoresist (SU-8), but all resulted in low aspect ratio structures. This work opens pathways for low cost conductive nanostructures, with applications ranging from transparent conductors to 3D interconnectivity in integrated circuits.
Global Stabilization of the Chemostat with Delayed and Sampled Measurements and Control

The classical model of the chemostat with one substrate, one species and a Haldane type growth rate function is considered. The input substrate concentration is supposed to be constant and the dilution rate is considered as the control. The problem of globally asymptotically stabilizing a positive equilibrium point of this system in the case where the measured concentrations are delayed and piecewise constant with a piecewise constant control is addressed. The result relies on the introduction of a dynamic extension of a new type.
Development of crizotinib, a rationally designed tyrosine kinase inhibitor for non‐small cell lung cancer

Non‐small cell lung cancer (NSCLC) is the number one cause of global mortality. Despite aggressive treatment, the prognosis is dismal. Patients with advanced NSCLC have a median survival of 4 months from the time of diagnosis. Fortunately, molecularly based approaches to drug discovery have yielded a tyrosine kinase inhibitor, crizotinib, which significantly prolongs median progression‐free survival in a subset of patients. Although initial clinical trial results demonstrate crizotinib has a promising role to play in NSCLC treatment, development of resistance leaves much to be elucidated about how to effectively combat this deadly disease. In this review, we follow the discovery and development of crizotinib from bench to bedside and provide an example of successful bottom‐up drug design. Then, we explore the clinical trial results that fast‐tracked its eventual use as a frontline therapy for sensitive NSCLC patients and the development of resistance. Lastly, we discuss the potential for future uses of crizotinib both within and beyond NSCLC.
A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning

A significant open problem of case based reasoning system is a construction of better knowledge base. We propose a new framework for constructing alternative knowledge base in case based reasoning system based on rough sets and formal concept analysis. Our framework first applies rough set theory for discovering reduced cases required in a case based reasoning system. We then achieve further hierarchical structure of knowledge base using formal concept analysis. The result is the concept lattice knowledge base embedded to our proposed case based reasoning system. A part of case based reasoning system is developed with an example throughout. We also discuss how our proposed framework can be beneficial for a case based reasoning system.
Sensory dermatomal representation in the medial lemniscus.

BACKGROUND Restricted sensory deficits along the somatotopic topography of the medial lemniscus rarely develop in medial medullary infarction. We describe a patient with medial medullary infarction who presented with dermatomal sensory deficits caused by a medial lemniscal lesion. CASE DESCRIPTION A 58-year-old man presented with sudden right-sided hemiparesis and paresthesia. He had noticed the paresthesia below the level of the right L5 dermatome, where his vibration and position senses were mildly diminished. His paresthesia was more severe over the right calf and foot. Magnetic resonance images of the brain showed an acute small infarct in the medial-ventral portion of the left rostral medulla oblongata. A nerve conduction study and electromyography showed no abnormalities. At follow-up, the patient's motor and sensory deficits had improved considerably. CONCLUSIONS The patient showed lemniscal sensory deficits below the right L5 dermatome that were caused by the partial involvement of the medial lemniscus. These findings suggest that lemniscal sensory dermatomal representation is preserved at least up to the level of the medulla oblongata.
Effective HyperSpectral Image Segmentation Using Multi-scale Geometric Analysis

The wide availability of multispectral images has fostered the development of new algorithms for remote sensing applications. These applications range from agricultural and environmental to military use. Nevertheless, the analysis of such voluminous data requires advanced analysis and computational methodologies as well as advanced hardware and computational methods. In this paper we introduce a new state-of-the-art method for segmentation of Hyperspectral images which uses both spectral and spatial information simultaneously. The proposed methodology is based on a multiscale geometric transformation, called the Beamlet Transform, and the Beamlet Decorated Recursive Dyadic Partitioning (BDRDP). The method is applicable for both mono-spectral and multispectral images where each pixel has its corresponding spectral profile vector. The proposed segmentation method is especially effective when the underlying image consists of relatively large segments with smooth boundaries. In this case, it performs exceptionally well even when the Signal to Noise Ratio (SNR) is extremely low. The method is unsupervised and assumes no prior knowledge of the image characteristics or features. Furthermore, it involves a free sensitivity parameter which allows fine tuning for a specific application, and thus improving segmentation results. Despite of being relatively complex and sophisticated, the proposed segmentation algorithm has a low computational complexity of . This is achieved by implicit computations through the Pseudo-Polar Fast Fourier transform (PPFFT). In order to validate the efficiency of our method, we have used the Lark algorithm which also combines spectral and spatial analysis but lacks the multi-scale property, for segmentation of multi-spectral images and compared its performance to the method proposed in this paper. These comparisons showed that our new proposed method outperforms the Lark algorithm and emphasized the effectiveness of multi-scale analysis. The proposed method was successfully applied to real aerial multi-spectral imagery for the application of estimating nitrogen levels in agricultural areas.
Relationship-aware sequential pattern mining

Relationship-aware sequential pattern mining is the problem of mining frequent patterns in sequences in which the events of a sequence are mutually related by one or more concepts from some respective hierarchical taxonomies, based on the type of the events. Additionally events themselves are also described with a certain number of taxonomical concepts. We present RaSP an algorithm that is able to mine relationship-aware patterns over such sequences; RaSP follows a two stage approach. In the first stage it mines for frequent type patterns and {\em all} their occurrences within the different sequences. In the second stage it performs hierarchical mining where for each frequent type pattern and its occurrences it mines for more specific frequent patterns in the lower levels of the taxonomies. We test RaSP on a real world medical application, that provided the inspiration for its development, in which we mine for frequent patterns of medical behavior in the antibiotic treatment of microbes and show that it has a very good computational performance given the complexity of the relationship-aware sequential pattern mining problem.
Partial unconditionality of weakly null sequences

Presentamos un marco combinatorio para estudiar subsucesiones de una sucesion dada en un espacio de Banach, con particular enfasis sobre las sucesiones que son debilmente nulas. Nos centramos principalmente en varias formas de incondicionalidad, y para ello introducimos una noci? on abstracta de incondicionalidad parcial, que cubre la mayoria de los tipos de incondicionalidad parcial conocidos. Tambien desarrollamos un marco combinatorio apropiado para el estudio de las subsucesiones, que trata sobre familias de conjuntos finitos de numeros naturales. En dicho marco la nocion de barrera introducida por Nash-Williams es principal.
DoCoDeMo Phone : An Imperceptible Approach for Privacy Protection

Privacy protection on user context is one of the most important issues in ubiquitous and pervasive computing. This paper describes a new privacy protection approach that not only filters and reduces the granularity of context information to correct access level granularity, but also intelligently replace the filtered-out context information with the artificial context information considered appropriate by its user. The benefit of this new approach is that people who are accessing the filtered context information cannot detect if the context information has been filtered, i.e., filtering becomes imperceptible. Based on this new approach, we have designed, implemented, and conducted preliminary evaluation of the DoCoDeMo phone, which allows a user to imperceptibly conceal his/her surrounding ambient sound from the callers, without the callers knowing the presence of filtering.
Decision Support Systems in a Tourism Destination: Literature Survey and Model Building

Information and communication technologies have profound implications for the tourism industry. They are being used extensively in a great variety of functions and count innumerable applications. Among these, Decision Support Systems (DSS) can play a fundamental role for their capacity to give organizations and people managing tourism destinations the possibility to base all the decisions concerning policies, infrastructure development and stakeholders progress on sound and rational bases. Aim of this paper is to present an overview of DSS usage in tourism management organizations and to portray a general framework for the design of an effective practical implementation. Initial considerations on development issues are addressed.
P2P-based Contents Distribution Method Using Network Coordinates System

Recently, new services based on a real-time information related with human activities have become available over the Internet. An infrastructure of such a service must be able to accommodate a large number of real-time content distributions and must allow the subscribers to start receiving the desired contents quickly. In this study, a new content distribution system using peer-to-peer technologies is proposed in order to satisfy these requirements. Especially, the system adopts a location-aware server selection with a network coordinates system. A realistic computer simulation shows that the system achieves real-time locating of the desired contents without degrading end-to-end streaming delay of contents.
Reversible Causal Mechanisms in Bayesian Networks

Causal manipulation theorems proposed by Spirtes et al. in the context of directed probabilistic graphs, such as Bayesian networks, do not model so called reversible causal mechanisms, i.e., mechanisms that are capable of working in several directions, depending on which of their variables are manipulated exogenously. An example involving reversible causal mechanisms is the power train of a car: normally the engine moves the transmission which, in turn, moves the wheels; when the car goes down the hill, however, the driver may want to use the power train to slow down the car, i.e., let the wheels move the transmission, which then moves the engine. Reversible causal mechanisms are modeled quite naturally in the context of equilibrium structural equation models. In this paper, we investigate whether Bayesian networks are capable of representing reversible causal mechanisms. Building on the result of Druzdzel and Si-mon (1993), which shows that conditional probability tables in Bayesian networks can be viewed as descriptions of causal mechanisms, we study the conditions under which a conditional probability table can represent a reversible causal mechanism.
Nonparametric Sparse Matrix Decomposition for Cross-View Dimensionality Reduction

Cross-view data are collected from two different views or sources about the same subjects. As the information from these views often consolidate and/or complement each other, cross-view data analysis can gain more insights for decision making. A main challenge of cross-view data analysis is how to effectively explore the inherently correlated and high-dimensional data. Dimension reduction offers an effective solution for this problem. However, how to choose right models and parameters involved for dimension reduction is still an open problem. In this paper, we propose an effective sparse learning algorithm for cross-view dimensionality reduction. A distinguished character of our model selection is that it is nonparametric and automatic. Specifically, we represent the correlation of cross-view data using a covariance matrix. Then, we decompose the matrix into a sequence of low-rank ones by solving an optimization problem in an alternating least squares manner. More importantly, a new and nonparametric sparsity-inducing function is developed to derive a parsimonious model. Extensive experiments are conducted on real-world data sets to evaluate the effectiveness of the proposed algorithm. The results show that our method is competitive with the state-of-the-art sparse learning algorithms.
A modified planar monopole antenna for UWB applications

In this paper, we present a novel design of printed monopole antenna for UWB applications. The radiating element of the proposed antenna is composed of an octagonal patch fed by a 50 ohm microstrip. It has a very compact size of 20mm×12mm, which can be integrated easily with other RF front-end circuits. The antenna parameters and performances have been investigated through a large amount of EM simulations. It has been demonstrated that the proposed antenna provides an ultra wide bandwidth from 2.95 GHz to 13.35 GHz, completely covering the range set by the Federal Communication Commission (FCC) for UWB operations (3.1GHz to 10.6GHz). It also enjoys advantages such as low profile, low cost, high gain and satisfactory radiation characteristics.
Analysis on Phosphorus Removal from Domestic Wastewater Treatment Plant by Biological Aerated Filter

Hydrolysis acidification / pre-denitrification biological aerated filter was adopted in a domestic wastewater treatment plant. The effluent was accorded with a standard in the Integrated Wastewater Discharge Standard（GB18918-2002）, in which the effluent phosphorus was demanded below 0.5mg/L. Through analysis on the process biological phosphorus removal, biological method can be found to total phosphorus 1.5 mg/L. If you reach level to an emissions standards, phosphorus chemical experiment research, finally determined by strategy for the CN pool, point for adding potions FeCl3, dosing quantity for 35mg/L.
Development of UV-assisted ozone steam etching and investigation of its usability for SU-8 removal

We have developed ultraviolet (UV)-assisted ozone steam etching as a novel SU-8 removal technology. This technology is expected to remove SU-8 at a higher etch rate compared to a conventional wafer cleaning process based on ozone water immersion. An etching apparatus prototyped in this study achieves an etch rate greater than 100 nm min−1 by intermittently rotating an SU-8-coated substrate on a spinner for spinning out the etching products under UV irradiation. Its complete removability is also verified by analyzing the surfaces of etched samples via scanning electron microscopy and x-ray photoelectron spectroscopy. In a micromolding process, the non-swelling removability is successfully demonstrated by removing a SU-8 sacrificial mold and leaving electroplated metal mushroom microstructures without destruction. Such a structure cannot be released by conventional resist strippers, because it is lifted up due to resist swelling. We believe this etching technology becomes a viable option to remove chemically-stable polymers such as SU-8 in microelectromechanical systems.
Intracellular Forms of Adenovirus Deoxyribonucleic Acid I. Evidence for a Deoxyribonucleic Acid-Protein Complex in Baby Hamster Kidney Cells Infected with Adenovirus Type 12

The total intracellular deoxyribonucleic acid (DNA) from baby hamster kidney cells abortively infected with 3H-adenovirus type 12 was analyzed in dye-buoyant density gradients. Between 10 and 20% of the cell-associated radioactivity derived from viral DNA bands in a density position which is 0.043 to 0.085 g/cm3 higher than that of viral DNA extracted from purified virions. The DNA in the high-density region (HP-fraction) is almost completely absent when DNA, ribonucleic acid (RNA) or protein synthesis is chemically inhibited in separate experiments. The HP-fraction is not found when the virus does not adsorb to and enter the cell. The DNA in the HP-fraction appears as early as 2 hr after inoculation. At 2 hr after infection, the HP-fraction is present both in the nucleus and the cytoplasm. This DNA hybridizes exclusively with viral DNA and sediments at approximately the same rate in both neutral and alkaline sucrose density gradients. Electron microscopy has revealed no circular DNA molecules in this fraction. Evidence indicates that the viral DNA in the HP-fraction exists in a complex with protein and possibly RNA. The protein component of the complex is resistant to enzymatic digestion, whereas the complex is susceptible to ribonuclease treatment. Digestion with deoxyribonuclease reduces the amount of DNA found in the HP-fraction. The structure and biological function of this complex are currently being investigated.
Parent's responses to nutrient claims and sports celebrity endorsements on energy-dense and nutrient-poor foods: an experimental study

Abstract Objective To assess parents’ responses to common, potentially misleading strategies for marketing energy-dense and nutrient-poor (EDNP) child-oriented foods. Design Between-subjects online experiment to test whether nutrient claims and sports celebrity endorsements on the front of packs of EDNP products lead parents to prefer and rate these foods more favourably. Setting Australia. Subjects A total of 1551 parents of children aged 5–12 years, who were the main household grocery buyers. Results Inclusion of nutrient claims or sports celebrity endorsements on EDNP products led parents to perceive these products to be more nutritious than if they did not include such promotions. When asked to choose between a pair of different products (EDNP v. healthier), 56 % of parents did not read a nutrition information panel (NIP) before making their choice and this did not differ by promotion condition. These parents were more likely to choose an EDNP product if it included a nutrient claim (OR = 1·83, 95 % CI 1·31, 2·56; P < 0·001) or sports celebrity endorsement (OR = 2·37, 95 % CI 1·70, 3·32; P < 0·001). Sports celebrity endorsements also enhanced parent's perceptions of typical consumers of the product, perceptions of product healthiness and quality, as well as purchase intentions. Conclusions Nutrient claims and sports celebrity endorsements tip consumer preferences towards EDNP products bearing such promotions, especially among the majority who do not read the NIP. As parents largely determine what foods are available to children at home, it is critical that initiatives aimed at reducing the persuasive impact of food marketing include this target group.
Assessment of Historical Heavy Metal Pollution of Land in the Proximity of Industrial Area of Targoviste, Romania

Contamination of soil and water with organic and inorganic pollutants is a subject of interest to European policy, looking for new ways of preventing pollution and remediating polluted sites. Source and type of contamination influences the nature of pollution and methods of remediation. Thus, accidental discharge can be isolated more easily from a small area of soil, while the contamination of water is more difficult to control. Deposition of particulate matter can contaminate wide surfaces with low concentrations of contaminants. However, particulate matter is the main source of contamination of soils with heavy metals.