Miracle-dz/UniFAR-FTUs huggingface dataset:
Some applications of Ball’s extension theorem

<p>We present two applications of Ball’s extension theorem. First we observe that Ball’s extension theorem, together with the recent solution of Ball’s Markov type <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3. org/1998/Math/MathML" alttext="2"> <mml:semantics> <mml:mn>2</mml:mn> <mml:annotation encoding="application/x-tex">2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> problem due to Naor, Peres, Schramm and Sheffield, imply a generalization, and an alternative proof of, the Johnson-Lindenstrauss extension theorem. Second, we prove that the distortion required to embed the integer lattice <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3. org/1998/Math/MathML" alttext="left-brace 0 comma 1 comma ellipsis comma m right-brace Superscript n"> <mml:semantics> <mml:mrow> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mo>…<! -- … --></mml:mo> <mml:mo>,</mml:mo> <mml:mi>m</mml:mi> <mml:msup> <mml:mo fence="false" stretchy="false">}</mml:mo> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">\{0,1,\ldots ,m\}^n</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, equipped with the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3. org/1998/Math/MathML" alttext="script l Subscript p Superscript n"> <mml:semantics> <mml:msubsup> <mml:mi>ℓ<! -- ℓ --></mml:mi> <mml:mi>p</mml:mi> <mml:mi>n</mml:mi> </mml:msubsup> <mml:annotation encoding="application/x-tex">\ell _p^n</mml:annotation> </mml:semantics> </mml:math> </inline-formula> metric, in any <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3. org/1998/Math/MathML" alttext="2"> <mml:semantics> <mml:mn>2</mml:mn> <mml:annotation encoding="application/x-tex">2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-uniformly convex Banach space is of order <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3. org/1998/Math/MathML" alttext="min left-brace right-brace comma n minus minus 121 p comma m minus minus 12 p"> <mml:semantics> <mml:mrow> <mml:mo movablelimits="true" form="prefix">min</mml:mo> <mml:mrow> <mml:mo>{</mml:mo> <mml:msup> <mml:mi>n</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mfrac> <mml:mn>1</mml:mn> <mml:mn>2</mml:mn> </mml:mfrac> <mml:mo>−<! -- − --></mml:mo> <mml:mfrac> <mml:mn>1</mml:mn> <mml:mi>p</mml:mi> </mml:mfrac> </mml:mrow> </mml:msup> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>m</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>1</mml:mn> <mml:mo>−<! -- − --></mml:mo> <mml:mfrac> <mml:mn>2</mml:mn> <mml:mi>p</mml:mi> </mml:mfrac> </mml:mrow> </mml:msup> <mml:mo>}</mml:mo> </mml:mrow> </mml:mrow> <mml:annotation encoding="application/x-tex">\min \left \{n^{\frac 12-\frac {1}{p}},m^{1-\frac {2}{p}}\right \}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. </p>
Summarizing patient daily activities for clinical pathway mining

Clinical Pathway is ubiquitous and plays an essential role in clinical workflow management. The combination of topic modeling and process mining is an efficient approach to get a non-static and topic-based process model. Topic modeling is used to group the activities of each clinical day into the latent topics, and process mining is used to generate a concise workflow model based on these topics. However, because of the specificity of clinical data, it usually suffers from the performance of topic modeling. In this paper, we take an important clinical practice, all the same activities in one clinical day tend to represent the same clinical goal, into account to enhance the effectiveness of topic modeling. The experiments on real data show significant performance gains of our approach.
Visual Explanation of Mathematics in Latent Semantic Analysis

Latent Semantic Analysis (LSA) is a widely used method in text mining fields to extract the latent concept. The mathematical technique behind LSA is Singular Value Decomposition (SVD) in which the key concept is the eigen values. It is difficult to understand the underlying mathematics for general people, not proficient in mathematics. One reason might be that the linear algebra textbooks available in the market are not written for non - mathematics majors. We have proposed a visualization of the mathematical process behind LSA to make it easily understandable to people, novice in mathematics. In this paper, we proposed visualization of the eigen values and eigenvectors.
Profiling Node Conditions of Distributed System with Sequential Pattern Mining

Recently, with wide-spread of distributed systems, distributed monitoring systems are needed to mange such systems. However, since monitoring architecture of distributed system faces a huge amount of log data which come from local computing nodes, information aggregation is fundamental scheme for monitoring distributed system. In this paper, we preset a novel approach for extracting computing node-condition profiles by using sequential pattern mining, which is one of data mining techniques. Extracted computing node condition profiles represent node condition patterns which are occurred in many computing nodes frequently. Thus, extracted profiles enable summarized distributed system conditions to be small sized and easy-understandable information.
A Novel Method for Fast Configuration of Energy Storage Capacity in Stand-Alone and Grid-Connected Wind Energy Systems

In this paper, a novel method is proposed and applied to quickly calculate the capacity of energy storage for stand-alone and grid-connected wind energy systems, according to the discrete Fourier transform theory. Based on practical wind resource data and power data, which are derived from the American Wind Energy Technology Center and HOMER software separately, the energy storage capacity of a stand-alone wind energy system is investigated and calculated. Moreover, by applying the practical wind power data from a wind farm in Fujian Province, the energy storage capacity for a grid-connected wind system is discussed in this paper. This method can also be applied to determine the storage capacity of a stand-alone solar energy system with practical photovoltaic power data.
User behavior analysis based on Identity management systems ’ log data

Identity Management Systems (IdM systems) are repositories where users’ security credentials are kept and managed. One of many tasks performed by IdM system is an authentication and authorization of users while they are using applications. In case where IdM systems are organized as central repository, which means that authentications and authorizations for different applications are carried out on one central IdM system. This case is common for enterprises with more than 50 employees where various aspects of users’ behavior can be analyzed. By applying machine learning method SVM (Support Vector Machines) on IdM system log data with application on searching employees that are acting enthusiastically within working day, we showed that analysis of IdM systems log data can be successfully applied for analyzing employees behavior within an enterprise.
A Case Study of Collaboration and Reputation in Social Web Search

Although collaborative searching is not supported by mainstream search engines, recent research has highlighted the inherently collaborative nature of many Web search tasks. In this article, we describe HeyStaks, a collaborative Web search framework that is designed to complement mainstream search engines. At search time, HeyStaks learns from the search activities of other users and leverages this information to generate recommendations based on results that others have found relevant for similar searches. The key contribution of this article is to extend the HeyStaks social search model by considering the search expertise, or reputation, of HeyStaks users and using this information to enhance the result recommendation process. In particular, we propose a reputation model for HeyStaks users that utilise the implicit collaboration events that take place between users as recommendations are made and selected. We describe a live-user trial of HeyStaks that demonstrates the relevance of its core recommendations and the ability of the reputation model to further improve recommendation quality. Our findings indicate that incorporating reputation into the recommendation process further improves the relevance of HeyStaks recommendations by up to 40%.
From LFG Structures to TIGER Treebank Annotations

The Tiger project aims at creating a large German tree-bank of newspaper text by exploiting two diierent annotation methods: (i) an interactive combination of a cascaded probabilistic parser and layer-by-layer human annotation (Plaehn and Brants 2000); (ii) full parsing with a symbolic LFG grammar (Lexical Functional Grammar), followed by semi-automatic disambiguation and automatic transfer into the Tiger format. In this talk we want to report on the second line of research. Using a grammar for corpus annotation is especially suited for high quality annotation: (i) amount of available information: besides information about constituency, the LFG grammar provides functional, lemma, and morphological information; (ii) consistency: a grammar annotates in a much more consistent way than any human annotator. Even the mistakes a grammar produces are much more systematic than the ones done by a human annotator. This makes error correction fairly easy. Finally, using both annotation methods on each sentence adds an important element of quality control, since the dominating error types for the two methods are largely complementary; hence, errors will be detected that may be systematically overlooked under the standard cross-checking annotation scheme with two human annotators using the same annotation tool. The German LFG grammar applied in parsing was developed independently in the Pargram project, using the Xe-rox Linguistic Environment (XLE). The grammar output (pairs of constituent structures and functional structures) is usually ambiguous. A constraint ranking system inspired by Optimality Theory (OT) suppresses certain ambiguities automatically (cf. Frank et al. (2001)). A human annota-tor picks the correct reading which is then converted to the TIGER export format. Despite many diierences in details, the syntactic analyses of the LFG grammar and the Tiger graph representation are very similar at the level of functional/dependency structure. Both model a dependency structure at a comparable degree of granularity. The diierences between the two representation schemes fall in two categories: (A) formalism-inherent diierences and (B) diierences in rep-resentational convention or linguistic analysis. The former diierences remain constant, while the latter diierences can change due to modiications of the grammar or the tree-bank scheme. To be able to adjust the mapping easily, we implemented the mapping routine in a modular way, keeping apart diierent conversion steps (which also allows for separate testing). The (B) part of the format conversion is performed within the formal framework of LFG. So we could exploit an existing system for modifying grammatical analyses within a linguistic formalism: the …
Self assembly of particles using phononic crystal slabs

By numerically studying the acoustic radiation forces on particle above the phononic crystal slabs (PCS), we show that a guided resonant mode of PCS yields a resonantly-enhanced, stably trapped acoustic radiation force on the particle. These trapping patterns and acoustic radiation force dependent on the wavelength, particle size, and particle material are investigated, respectively. It is shown that tuning the wavelength of incident acoustic wave may thus allow the formation and reconfiguration of patterns. We expect that this system may thus allow to realize self-assembly particles.
U-V-disparity: an efficient algorithm for stereovision based scene analysis

Reliable understanding of the 3D driving environment is vital for obstacle detection and adaptive cruise control (ACC) applications. Laser or millimeter wave radars have shown good performance in measuring relative speed and distance in a highway driving environment. However the accuracy of these systems decreases in an urban traffic environment as more confusion occurs due to factors such as parked vehicles, guardrails, poles and motorcycles. A stereovision based sensing system provides an effective supplement to radar-based road scene analysis with its much wider field of view and more accurate lateral information. This paper presents an efficient solution using a stereovision based road scene analysis algorithm, which employs the "U-V-disparity" concept. This concept is used to classify a 3D road scene into relative surface planes and characterize the features of road pavement surfaces, roadside structures and obstacles. Real-time implementation of the disparity map calculation and the "U-V-disparity" classification is also presented.
Search based hierarchy generation for reverse engineered state machines

Abstraction is a valuable tool that can play an important role in reducing the cost of maintenance of software systems. Despite the cost reduction abstract documentation can provide, the cost of generating documentation that offers an implementation-independent overview of the system often outweighs it. This has been the motivating force for tools and techniques that reduce the cost of documentation generation, including this work. State machines offer an ideal level of abstraction and techniques to infer them from machines are already mature. Despite this, the abstraction state machines provide is restricted as they become unmanageable when they are of any significant size. As a result, inference tools are only ideal for those who are already familiar with the system. This work focuses on making state machines useful for larger systems. In order to do so the complexity of a machine needs to be reduced; this is realised by introducing a hierarchy to the machine, making them closer to Harel's Statechart formalism (without concurrency).
Image Forgery Localization via Integrating Tampering Possibility Maps

Over the past decade, many efforts have been made in passive image forensics. Although it is able to detect tampered images at high accuracies based on some carefully designed mechanisms, localization of the tampered regions in a fake image still presents many challenges, especially when the type of tampering operation is unknown. Some researchers have realized that it is necessary to integrate different forensic approaches in order to obtain better localization performance. However, several important issues have not been comprehensively studied, for example, how to select and improve/readjust proper forensic approaches, and how to fuse the detection results of different forensic approaches to obtain good localization results. In this paper, we propose a framework to improve the performance of forgery localization via integrating tampering possibility maps. In the proposed framework, we first select and improve two existing forensic approaches, i.e., statistical feature-based detector and copy-move forgery detector, and then adjust their results to obtain tampering possibility maps. After investigating the properties of possibility maps and comparing various fusion schemes, we finally propose a simple yet very effective strategy to integrate the tampering possibility maps to obtain the final localization results. The extensive experiments show that the two improved approaches used in our framework significantly outperform the state-of-the-art techniques, and the proposed fusion results achieve the best $\mathrm {F_{1}}$ -score in the IEEE IFS-TC Image Forensics Challenge.
Pregnancy history and current use of contraception among women of reproductive age in Burundi, Kenya, Rwanda, Tanzania and Uganda: analysis of demographic and health survey data

Objective To examine the relationship between pregnancy history and the use of contraception among women of reproductive age (15–49 years) in East Africa. Methods Demographic and Health Surveys data from Burundi (2010), Kenya (2008–2009), Rwanda (2010), Tanzania (2010) and Uganda (2011) were used in the analysis. Logistic regression was used to determine the effects of women's pregnancy history on their use of contraception. Setting Burundi, Kenya, Rwanda, Tanzania and Uganda. Participants 3226, 2377, 4396, 3250 and 2596 women of reproductive age (15–49 years) from Burundi, Kenya, Rwanda, Tanzania and Uganda, respectively, were included in the analysis. Results Women who had experienced a mistimed pregnancy were more likely to use a modern contraceptive method during their most recent sexual encounter in Kenya, Rwanda, Burundi and Uganda. Other significant correlates of women's contraceptive use were: desire for more children, parity, household wealth, maternal education and access information through radio. In-country regional differences on use of modern contraceptive methods were noted across five East African countries. Conclusions Women's birth histories were significantly associated with their decision to adopt a modern contraceptive method. This highlights the importance of considering women's birth histories, especially women with mistimed births, in the promotion of contraceptive use in East Africa. Variations as a result of place of residency, educational attainment, access to family planning information and products, and wealth ought to be addressed in efforts to increase use of modern contraceptive methods in the East African region.
Collaborative study of GENIEfy Earth System Models using scripted database workflows in a Grid-enabled PSE

The integration of compute and data grids into a common problem solving environment enables collaboration between members of the GENIEfy project. In addition, state-of-the-art optimisation algorithms complement the component framework to provide a comprehensive toolset for Earth system modelling. In this paper, we present for the first time, the application of the non-dominated sorting genetic algorithm (NSGA-II) to perform a multi-objective tuning of a 3D atmosphere model. We then demonstrate how scripted database workflows enable the collective pooling of available resource at distributed client sites to collaboratively progress ensembles of simulations through to completion on the computational grid. A systematic study of the oceanic thermohaline circulation in a hierarchy of 3D atmosphere-ocean-sea-ice models is presented providing evidence for bi-stability in the Atlantic Meridional Overturning Circulation.
An adaptable cat-inspired leg design with frequency-amplitude coupling

In this work, a novel, adaptable robotic leg design capable of varying stride length w.r. t. frequency of motion is presented. The leg model which is inspired from domestic cats, is comprised of a four bar linkage mechanism with an actuator at hip joint rotating in only one direction. Furthermore, it consists of an elastic link attached to the motor that moves at a controlled uniform speed. This link has a direct effect on the foot curve and responds to the changes of velocity autonomously; the faster the speed, the longer the link gets. This property in turn imparts adaptability to the leg. The adaptability of the leg along with the architecture and actuation method can facilitate the control problem and the development of energy efficient and fast running robots. In this paper, the leg mechanism is described and a prototype of a single leg has been developed. The results of running and experiments validate the effectiveness of the mechanism. As results of the experiments, running at a wide range of speeds and autonomously changing stride length w.r. t. running velocity are realized by the proposed leg.
The Positive Effects of Priming Exercise on Oxygen Uptake Kinetics and High-Intensity Exercise Performance Are Not Magnified by a Fast-Start Pacing Strategy in Trained Cyclists

The purpose of this study was to determine both the independent and additive effects of prior heavy-intensity exercise and pacing strategies on the VO2 kinetics and performance during high-intensity exercise. Fourteen endurance cyclists (VO2max = 62.8±8.5 mL.kg−1.min−1) volunteered to participate in the present study with the following protocols: 1) incremental test to determine lactate threshold and VO2max; 2) four maximal constant-load tests to estimate critical power; 3) six bouts of exercise, using a fast-start (FS), even-start (ES) or slow-start (SS) pacing strategy, with and without a preceding heavy-intensity exercise session (i.e., 90% critical power). In all conditions, the subjects completed an all-out sprint during the final 60 s of the test as a measure of the performance. For the control condition, the mean response time was significantly shorter (p<0.001) for FS (27±4 s) than for ES (32±5 s) and SS (32±6 s). After the prior exercise, the mean response time was not significantly different among the paced conditions (FS = 24±5 s; ES = 25±5 s; SS = 26±5 s). The end-sprint performance (i.e., mean power output) was only improved (∼3.2%, p<0.01) by prior exercise. Thus, in trained endurance cyclists, an FS pacing strategy does not magnify the positive effects of priming exercise on the overall VO2 kinetics and short-term high-intensity performance.
Object Detection and Recognition by Image Parsing using Matlab Wavelet Technique

These systems propose a general framework for parsing images into regions and objects. In this framework, the detection and recognition of objects proceed simultaneously with image segmentation in a competitive and cooperative manner. This approach illustrates natural images of complex city scenes where the objects of primary interest are faces and text. This method makes use of bottom,up proposals combined with top,down generati ve models algorithm which is guaranteed to converge to the optimal estimate asymptotically. More precisely, it is define generative models for faces, text, and generic regions- e.g. shading, texture, and clutter. These models are activated by bottom,up proposals. This system illustrate the advantages and importance of combining bottom,up and Top,down models and of performing segmentation and object detection/recognition simultaneously.
Signal Selection Based on Stochastic Resonance

Noise aids the encoding of continuous signals into pulse sequences by way of stochastic resonance and endows the encoding device with a preferred frequency. We study encoding by a threshold device based on the Ornstein-Uhlenbeck process, equivalent to the leaky integrate-and-fire neuron model. Preferred frequency, optimum noise intensity, and optimum signal-to-noise ratio are shown to be linearly related to the AC amplitude of the input signal. The DC component of the input tunes the device either into transmission (preferred frequency nearly independent of signal amplitude) or selection mode (frequency rising with amplitude). We argue that this behavior may facilitate selective signal processing in neurons.