Miracle-dz/UniFAR-FTUs huggingface dataset:
The Gnowsis Semantic Desktop for Information Integration

To integrate office appliances, there are different standards, consisting of data formats and communication protocols. The WWW and Semantic Web standards are already designed for worldwide integration and can be transferred to office integration. We present our vision of the Semantic Desktop – a Semantic Web enhanced desktop environment. Central is the idea of taking know-how from the Semantic Web to tackle personal information management. The architecture is based on a Semantic Web Server running as Desktop service. Existing desktop applications (email client, browser, office applications) are integrated. The semantic glue between them is expressed with ontologies. This architecture will enable us to create tools for information management faster and cheaper. Based on the local Semantic Desktop Servers, teams of knowledge workers can set up peer-to-peer connections. Distributed Organisational Memories can be based on Semantic Desktops. The gnowsis framework is an open source project led by the DFKI that realizes parts of this vision. Gnowsis was used to test our ideas and allow others to experiment.
Just-in-time sampling and pre-filtering for wearable physiological sensors: going from days to weeks of operation on a single charge

Continuous monitoring of human physiology and behavior in natural environments via unobtrusively wearable wireless sensors is witnessing rapid adoption in both consumer health-care and in scientific studies, since those portable and long-running devices can provide critical information for diagnosis and early prevention of disease, as well as invaluable data for scientific studies. Due to the requirement of continuous monitoring, these sensors, all operating on small wearable batteries, require frequent recharging. Lowering this recharging burden is essential for their widespread adoption. In this paper we explore mechanisms for significantly enhancing the lifetime of these wearable sensors at the cost of a small loss in their sensing accuracy. We propose two ideas that build upon our observation that collecting bursts of samples over short periods of time is sufficient to capture the most interesting and informative part of the signal. In the first part of this paper, we propose a general methodology for reconstructing bandlimited signals accurately from such short bursts of samples. While this reconstruction task is in nature an ill-conditioned problem, we show that the insertion of an analog "modulated pre-filter" hardware module before the ADC can almost surely alleviate this conditioning problem. In the second part of this paper, we describe just-in-time sampling, which by sampling in short bursts at the "right" times, can accurately track R-wave peaks in ECG signals. Using simulations on publicly available traces as well as self-collected data, we show the efficacy of this technique.
A fault-tolerant control of inverse system based on LS-SVM and BBO

For the significance of the Near Space Hypersonic Vehicle(NSHV) at aspect of military and civilian and the huge losses of personnel and property when a fault occurs, it is significant to conduct fault-tolerant research for NSHV and avoid some catastrophic events. This paper presents a fault-tolerant control scheme of inverse system based on improved Least Squares Vector Machine(LS-SVM). The control system takes advantage of the superiority of LS-SVM in solving small sample, high dimension and local minima problems and uses the Biogeography-Based Optimization (BBO) to optimize parameters of SVM for the advantage of BBO in optimizing parameters. Then the inverse system based on LS-SVM is built. Finally, the simulation of NSHV in longitudinal channel demonstrated the effectiveness of the fault-tolerant control method.
A Critique of Tiebout's Theory of Local Public Expenditures

The last section of this paper presents a rigorous version of Tiebout's theory of local public goods. It is shown that equilibria exist and are Pareto optimal. This rigorous theory follows closely the more rigorous part of Tiebout's work. This rigorous theory makes a number of very special assumptions which make local public goods essentially private. The body of this paper presents a series of examples, which show that if one tries to generalize the rigorous version of Tiebout's theory in a number of interesting directions, then equilibria may no longer exist or may not be Pareto optimal. The conclusion is that Tiebout's idea does not lead to a satisfactory general theory of local public goods. THE GOAL OF THIS PAPER is to point out that Tiebout's notion of equilibrium with local governments does not have the nice properties of general competitive equilibrium, except under very restrictive assumptions. Tiebout [39] suggested that there are competitive forces which tend to make local governments allocate resources in a Pareto optimal fashion. Consumers choose to live in those towns with the mix of taxes and public goods they prefer. Local governments choose this mix so as to attract inhabitants. This idea may seem intriguing, for it suggests that the invisible hand solves an important part of Samuelson's perplexing public goods problem [32]. Tiebout, in fact, makes an argument which is nearly rigorous. I give a rigorous version of his argument at the end of the paper. However in this rigorous version, so many restrictive assumptions are made that public goods become essentially private. In the body of the paper, I give a series of examples with which I try to convince the reader that one is forced to adopt Tiebout's restrictive assumptions. The idea is that if one changes any of his assumptions, then either equilibria may not exist or may not be Pareto optimal. My examples are presented in the context of a general class of Tiebout models. I consider several subclasses, one of which is the special case considered by Tiebout. In each of the subclasses except that considered by Tiebout, I give a counterexample either to the existence of equilibrium or to its Pareto optimality. The subclasses are so chosen that the difficulties they reveal would be shared by any reasonable Tiebout model which differed from his special case. I believe that my examples controvert Tiebout's suggestion [39, last paragraph] that his theory compares favorably with competitive equilibrium theory. Most of the examples in this paper have already appeared in the literature. I cite related work as I go along. What is new here is that I assemble the examples in a unified argument.
Arbitrage hedging strategy and one more explanation of the volatility smile

We present an explicit hedging strategy, which enables to prove arbitrageness of market incorporating at least two assets depending on the same random factor. The implied Black-Scholes volatility, computed taking into account the form of the graph of the option price, related to our strategy, demonstrates the "skewness" inherent to the observational data.
Supporting fast search in time series for movement patterns in multiple scales

An important investigation of time series involves searching for \movement" patterns, such as \going up" or \going down" or some combinations of them. Movement patterns can be in various scales: a large scale pattern may cover a long time period, while a small scale pattern usually covers a short time period. This paper considers such scale requirement. More speciically, a pattern is deened as a regular expression of letters, where each letter describes a movement direction and covers a speciied length of time (called pattern unit length). To nd if a time series (or a part of it) matches a pattern, the time series is rst partitioned into consecutive sub-series of the unit length, and for each sub-series, the direction of its best tting line is taken as the movement direction of the sub-series if the distance between the best tting line and the sub-series is within a speciied tolerance (tolerance requirement). A direct implementation of pattern search will undoubtedly yield poor performance if the number of time series or the length of them is large. This paper introduces a pre-computation and indexing method to facilitate fast evaluation of pattern queries in user-speciied scales. An eecient pre-computation algorithm is given to nd the movement directions for all the sub-series that satisfy the tolerance requirement. Bounding triangles are used to represent clusters of sub-series. Relational database is then used to store these bounding triangles and relational operations are employed to facilitate the evaluation of pattern queries. The paper also reports some experiments performed on a real-life data set to show the eeciency and the scalability of the algorithms. 1 Introduction Time series data are important for many application domains ranging from nancial to scientiic applications. For example, trading prices of a stock market can be interesting to a nancial application and temperatures of the Earth's atmosphere may be crucial in an Earth science application.
Research on a statistical and adaptive

The paper researches on a statistical and adaptive increment control method based on control-cell. The method achieves perfect real-time control effect. The statistical control tactics and its optimum condition are established. The method for obtaining statistical figure of quantization control is given. The relationship between regulated increment and control parameters is found, with the parameters including average deviation statistics, statistical trend, statistics overshoot, and end deviation. The design of statistical and and adaptive memory incremental controller is carried out. The control method is easy to realize on micro-processor, which is fast, high-efficient, and accurate for control of analog signals.
The Luminosity Function of the Fossil Group RX J1552.2+2013

We determine the first fossil group luminosity function based on spectroscopy of the member galaxies. The fossil group RX J1552.2+2013 has 36 confirmed members, is at a mean redshift of 0.136, and has a velocity dispersion of 623 km s-1 (or 797 km s-1 if four emission-line galaxies in the outskirts of the velocity distribution are included). The luminosity function of RX J1552.2+2013, measured within the inner region of the system (∼ Rvir) in the range -23.5 < M < -17.5, is well fitted by a Schechter function with M = -21.3 ± 0.4 and α = -0.6 ± 0.3 or by a Gaussian function centered on M = -20.0 ± 0.4 with σ = 1.29 ± 0.24 i′ mag (H0 = 70 km s-1 Mpc-1, ΩM = 0.3, and ΩΛ = 0.7). The luminosity function obtained from a photometric survey in the g′, r′, and i′ bands (and statistical background correction) confirms the spectroscopically determined results. There is a significant dip in the luminosity function at M = -18 mag, as is also observed for other clusters. RX J1552.2+2013 is a rich, red-galaxy-dominated system, with at least 19 galaxies with magnitudes between m3 and m3 + 2, within a surveyed circular area of radius 625 h kpc centered on the peak of the X-ray emission. Its mass, ∼3 × 1014 M⊙, M/L of 507 M⊙/LB⊙, and LX of 6.3 × 1043 h ergs s-1 (bolometric) are more representative of a fossil cluster than of a fossil group. The central object of RX J1552.2+2013 is a cD galaxy that may have accreted the more luminous (∼L*) former members of the group. Although dynamical friction and subsequent merging are probably the processes responsible for the lack of bright galaxies in the system, for the fainter members there must be another mechanism in action (perhaps tidal disruption) to deplete intermediate-luminosity galaxies (M ≈ -18) from the fossil group.
Impact of Quality of Work Life on Mental Health among Teaching Professionals in Indian Higher Learning Institutions: An Empirical Analysis

The rationale behind this study is to determine the level and relationship between Quality of Work Life (QWL) and Mental Health among teaching professionals in higher learning institutions of Tamilnadu, India. A survey instrument was used to measure the perception of teaching professionals concerning their level of QWL and its relationship to mental health. A total of 320 sets of questionnaire were distributed to teaching professionals in selected faculties and 164 useable questionnaires were used for statistical analysis. Based upon the study, the levels of QWL were found to be favorable and Mental Health among staff members was moderate. Practical implications, limitations of the study and suggestions for future research are offered. (K.G. Senthilkumar, S. Chandrakumaramangalam, L. Manivannan, S. Malliga. Impact of Quality of Work Life on Mental Health among Teaching Professionals in Indian Higher Learning Institutions: An Empirical Analysis. Life Sci J 2012; 9(4):3398-3404). (ISSN: 1097-8135). http://www.lifesciencesite. com. 504
25Gb/s 3.6pJ/b and 15Gb/s 1.37pJ/b VCSEL-based optical links in 90nm CMOS

Future high-performance computing systems require sub-2pJ/bit power efficiencies at >;10Gb/s [1-2]. The best reported optical link efficiencies at these data rates are ≥2.5pJ/bit [1-4]. This paper describes two VCSEL-based multimode (MM) fiber optical links achieving sub-2pJ/bit power efficiency from 15Gb/s to 22Gb/s. The links realized in 90nm CMOS share the same TX but use two different RXs that explore different aspects of the power/BW/area tradeoff.
Assessing the security of internet-connected critical infrastructures

Because the Internet of Things (IoT) pervasively extends to all facets of life, the “things” are increasingly extending to include the interconnection of the Internet to critical infrastructures (CIs) such as telecommunication, power grid, transportation, e-commerce systems, and others. The objective of this paper is twofold: (i) addressing IoT from a CI protection (CIP) and connectivity viewpoint, and (ii) highlighting the need for security quantification to improve the quality of protection (QoP) of CIs. Using a financial infrastructure as an example, a CIP and trust quantification perspective is built up. To this end, we are developing a novel security metrics-based approach to assess and thereon enhance the CIP. We focus on the communication level of the CI where IoT is playing an increasingly important role with respect to sensing and communication across CI elements. Determining the security and dependability level of the communication over the CI constitutes a basic precondition for assessing the QoP of the whole CI, which is needed for any efforts to improve this QoP. Because metrics play a central role for such quantification, this paper develops their QoP use from an IoT perspective, and a reference implementation along with experimental results is presented. Copyright © 2012 John Wiley & Sons, Ltd.
Ribotyping of Clostridium difficile strains associated with nosocomial transmission and relapses in a Swedish County

Clostridium difficile is an emerging threat in hospital environments. To analyse possible transmission and to distinguish between relapse and reinfection a collection of C. difficile isolates, sampled from 162 consecutive episodes of C. difficile infection, were PCR ribotyped. Two ribotypes (001 and 012) were prone to cause nosocomial acquisition. Moreover, ribotype 001 had a tendency to cause relapses as almost one in two patients with this ribotype had one or more relapses. By using PCR ribotyping strains inclined to cause relapses and strains associated with hospital transmission might be detected. This enables optimized hygiene measures and may improve the choice of treatment regimen.
An energy efficient framework for detection and monitoring of forest fire using mobile agent in wireless sensor networks

Forest fire (or wildfire) has been a great threat to the depleting greenery of the earth. If reserved forests of any country catches wildfire, it suffers great damage. So, it is essential to detect the fire early in order to preserve the forest. Wireless Sensor Networks (WSNs) has been a boon in wildfire detection and monitoring. Timely detection of wildfire is possible with the use of WSN. The use of Mobile Agent (MA) in WSN has helped in increasing the lifetime of energy. This paper introduces a framework that incorporates the use of MA in WSN that can help in faster detection of forest fire and monitoring of it with minimum consumption of energy.
Modeling of multi-mode properties in high-power VCSELs

For many applications of Vertical-Cavity Surface-Emitting Lasers (VCSELs) it is important to obtain high power of emitted light. Due to the laser thermal properties that limit maximum current density in the active region, high power emission requires large laser apertures. This results in appearance of multiple transverse optical modes, which very often are undesirable. In the talk we present important aspects of modeling these modes with advanced self-consistent software and we will also show some propositions of possible measures that can be taken to increase modal selectivity and reduce number of modes. We illustrate these general concepts with examples of modeling gallium-nitride VCSELs.
Modular fine-grained concurrency verification

Traditionally, concurrent data structures are protected by a single mutual exclusion lock so that only one thread may access the data structure at any time. This coarse-grained approach makes it relatively easy to reason about correctness, but it severely limits parallelism. More advanced algorithms instead perform synchronisation at a finer grain. They employ sophisticated synchronisation schemes (both blocking and non-blocking) and are usually written in low-level languages such as C. This dissertation addresses the formal verification of such algorithms. It proposes techniques that are modular (and hence scalable), easy for programmers to use, and yet powerful enough to verify complex algorithms. In doing so, it makes two theoretical and two practical contributions to reasoning about fine-grained concurrency. First, building on rely/guarantee reasoning and separation logic, it develops a new logic, RGSep, that subsumes these two logics and enables simple, modular proofs of finegrained concurrent algorithms that use complex dynamically allocated data structures and may explicitly deallocate memory. RGSep allows for ownership-based reasoning and ownership transfer between threads, while maintaining the expressiveness of binary relations to describe inter-thread interference. Second, it describes techniques for proving linearisability, the standard correctness condition for fine-grained concurrent algorithms. The main proof technique is to introduce auxiliary single-assignment variables to capture the linearisation point and to inline the abstract effect of the program at that point as auxiliary code. Third, it demonstrates this approach by proving linearisability of a collection of concurrent list and stack algorithms, as well as providing the first correctness proofs of the RDCSS and MCAS implementations of Harris et al. Finally, it describes a prototype safety checker, SmallfootRG, for fine-grained concurrent programs that is based on RGSep. SmallfootRG proves simple safety properties for a number of list and stack algorithms and verifies the absence of memory leaks.
The Bone Marrow-Derived Stromal Cells: Commitment and Regulation of Adipogenesis

Bone marrow (BM) microenvironment represents an important compartment of bone that regulates bone homeostasis and the balance between bone formation and bone resorption depending on the physiological needs of the organism. Abnormalities of BM microenvironmental dynamics can lead to metabolic bone diseases. BM stromal cells (also known as skeletal or mesenchymal stem cells) [bone marrow stromal stem cell (BMSC)] are multipotent stem cells located within BM stroma and give rise to osteoblasts and adipocytes. However, cellular and molecular mechanisms of BMSC lineage commitment to adipocytic lineage and regulation of BM adipocyte formation are not fully understood. In this review, we will discuss recent findings pertaining to identification and characterization of adipocyte progenitor cells in BM and the regulation of differentiation into mature adipocytes. We have also emphasized the clinical relevance of these findings.
Lane Markings From Satellite

In this project we attempt to apply techniques from digital image processing and machine learning to extract lane marking information from the satellite images obtained from Google Maps. Edge detectors are used to reduce the amount of pixels that need to be examined. Histogram of Oriented Gradients are used as our feature descriptors and Hough transform is used to obtain the final marking of lanes.
Sum rate of two-way MIMO AF relay networks with transmit/receive zero-forcing

The sum rate of multiple-input multiple-output (MIMO) amplify-and-forward (AF) two-way relay networks (TWRNs) with transmit/receive zero-forcing (ZF) is analytically studied. Specifically, the exact sum rate expressions are derived for uncorrelated and semi-correlated Rayleigh fading cases in closed-form. Moreover, the closed-form upper and lower bounds of the sum rate are derived for doubly-correlated Rayleigh fading. In particular, these sum rate bounds are tight, and consequently, serve as benchmarks providing valuable insights into practical MIMO AF TWRN system-design. All the analyses are verified by using Monte-Carlo simulations.
Nonparametric Goodness of Fit Test for Regression Using Local Residuals by Neighbor Join Methods

Since Sir Francis Galton presented his rudimentary idea of regression line in 1877, regression analysis has become a center of statistical analysis in both observational studies and experimental studies. With the advance of computational environment, more generalized and sophisticated models than simple linear regression, such as multivariate, polynomial, exponential, logistic, time-series, semi-parametric (Proportional Hazards Regression) and general nonlinear regression, were encompassed. It is because regression analysis provides the conceptual simplicity of using an equation to represent a relationship between predictor variables and their associated response. (1) However, as much as attractive it is, regression can be easily misused. Regression which is the core of parametric methods builds upon certain underlying assumptions even in its most general form. Therefore, any regression model cannot be validated unless reasonable satisfaction of those assumptions.
Automatic cymbal classification using non-negative matrix factorization

Several musical instrument classifiers have been proposed. While many approaches in sound-feature extraction and in sound classification have been successfully used, most focus on distinguishing different harmonic instruments such as the violin and the flute, whose sounds have very different characteristics. On the other hand, much less attention has been given to percussion instruments, especially if we consider the discrimination of instruments of the same type, like the cymbals in a drum kit. Here, we propose a classifier that is able to distinguish this latter type of instruments. The classifier is able to distinguish sounds with very similar properties, like sounds produced by instruments with similar geometry that differ in material or size. In particular it is able to distinguish sounds from the cymbals in a drum kit. Instead of using a set of predefined features, the classifier learns spectral features from the data using non-negative matrix factorization. This work is important to fill the gap on percussion instrument classification and transcription (since most music transcribers focus on harmonic instruments).