Miracle-dz/UniFAR-FTUs huggingface dataset:
A scheme for comparative evaluation of diverse parsing systems

We argue that the current dominant paradigm in parser evaluation work, which combines use of the Penn Treebank reference corpus and of the Parseval scoring metrics, is not well-suited to the task of general comparative evaluation of diverse parsing systems. We propose an alternative approach which has two key components. Firstly, we propose parsed corpora for testing that are much flatter than those currently used, whose “gold standard” parses encode only those grammatical constituents upon which there is broad agreement across a range of grammatical theories. Secondly, we propose modified evaluation metrics that require parser outputs to be ‘faithful to’, rather than mimic, the broadly agreed structure encoded in the flatter gold standard analyses.
Fibroblastic cell cycling in collagen gels

Abstract. Quiescent C3H10T1/2 mouse fibroblasts resume DNA synthesis and proliferation following incubation in medium containing fresh serum both when grown in monolayer and when grown in a collagen matrix. We observed that the rate of DNA synthesis is reduced at high initial cell densities and low initial collagen concentrations. In a collagen matrix, fibroblasts contract the matrix causing an increase in cell density and collagen concentration. We studied the chronological relationship between the kinetics of DNA synthesis and the collagen matrix contraction. The rate of collagen collection per cell changes in time, dependent on initial cell and collagen concentration. The kinetics of the collagen collection showed a positive correlation with the kinetics of DNA synthesis, 16 h later.
Coding and decoding in the Evolution of communication: Information richness and Referentiality

Bernat Corominas Murtra, Jordi Fortuny Andreu, and Ricard Solé 3, 4 ICREA-Complex Systems Lab, Universitat Pompeu Fabra (GRIB), Dr Aiguader 80, 08003 Barcelona, Spain Centre de Lingǘıstica Teòrica (CLT), Facultat de Lletres, Edifici B, Universitat Autònoma de Barcelona, 08193 Bellaterra (Barcelona), Spain Santa Fe Institute, 1399 Hyde Park Road, Santa Fe NM 87501, USA Institut de Biologia Evolutiva. CSIC-UPF. Passeig Maritim de la Barceloneta, 37-49, 08003 Barcelona, Spain.
Patient perceptions of remote monitoring for nocturnal home hemodialysis

Adoption of nocturnal home hemodialysis (NHHD) has been slow, due in part to patient‐perceived barriers, such as anxiety and lack of self‐efficacy. This study investigates patient perception of remote monitoring in addressing these barriers. Perceptions of remote patient monitoring (RPM) were studied through a quantitative survey and qualitative interviews. The NHHD and conventional hemodialysis (CHD) were included in the survey (209 in total). Twenty semistructured interviews were conducted as well as a focus group that included NHHD patients and family caregivers. The CHD patients had greater interest in adopting NHHD with RPM than without (1.90±1.37 vs. 1.71±1.28, P<0.002), with the negative intensity ratio declining from 10.50 to 5.56. Interest in RPM was correlated with interest in NHHD (r=0.768, P<0.001). Other significant factors correlated with interest in NHHD include the belief that remote monitoring will ease the performing of NHHD (r=0.452, P=0.001) and the belief that RPM should be mandatory (r=0.541, P=0.000). Qualitative findings supported three themes: (1) There is an expectation for the use of RPM, (2) RPM should be used at a minimum transitionally, and (3) RPM acts as a surrogate support of family‐caregivers. The RPM may lower perceived barriers to the adoption of NHHD, in part through its surrogate support of family caregivers. However, RPM alone is likely insufficient to alter patients' attitudes to undergo NHHD. RPM is a common expectation of CHD patients considering the therapy, at a minimum during the transitional phase.
Real-Time Hand Tracking and Gesture Recognition System

In this paper, we introduce a hand gesture recognition system to recognize real time gesture in unconstrained environments. The system consists of three modules: real time hand tracking, training gesture and gesture recognition using pseudo two dimension hidden Markov models (P2-DHMMs). We have used a Kalman filter and hand blobs analysis for hand tracking to obtain motion descriptors and hand region. It is fairy robust to background cluster and uses skin color for hand gesture tracking and recognition. Furthermore, there have been proposed to improve the overall performance of the approach: (1) Intelligent selection of training images and (2) Adaptive threshold gesture to remove non-gesture pattern that helps to qualify an input pattern as a gesture. A gesture recognition system which can reliably recognize single-hand gestures in real time on standard hardware is developed. In the experiments, we have tested our system to vocabulary of 36 gestures including the America sign language (ASL) letter spelling alphabet and digits, and results effectiveness of the approach.
Precise Identification of the Worst-Case Voltage Drop Conditions in Power Grid Verification

Identifying worst-case voltage drop conditions in every module supplied by the power grid is a crucial problem in modern IC design. In this paper we develop a novel methodology for power grid verification which is based on accurately constructing the space of current variations of the supplied modules and locating its precise points that yield the worst-case voltage drop conditions. The construction of the current space is performed via plain simulation and statistical extrapolation using results from extreme value theory. The method overcomes limitations of past methods which either relied on loosely bounding the worst-case voltage drop, or abstracted the current space in a vague and incomplete set of bound-type constraints. Experimental results verify the potential of the proposed method to identify worst-case conditions and demonstrate the pessimism inherent in previous bound-type approaches
KNOT MUTATION: 4-GENUS OF KNOTS AND ALGEBRAIC CONCORDANCE

Kearton observed that mutation can change the concordance class of a knot A close examination of his example reveals that it is of 4-genus 1 and has a mutant of 4-genus 0. The first goal of this paper is to show by examples that for any pair of nonnegative integers m and n there is a knot of 4-genus m with a mutant of 4-genus n. A second result is a crossing change formula for the algebraic concordance class of a knot, which is then applied to prove the invariance of the algebraic concordance class under mutation. We conclude with an application of crossing change formulas to give a short new proof of Long's theorem that strongly positive amphicheiral knots are algebraically slice.
Assigning and Visualizing Music Genres by Web-based Co-Occurrence Analysis

Abstract We explore a simple, web-based method for predicting the genre of a given artist based on co-occurrence analysis, i.e. analyzing co-occurrences of artist and genre names on music-related web pages. To this end, we use the page counts provided by Google to estimate the relatedness of an arbitrary artist to each of a set of genres. We investigate four different query schemes for obtaining the page counts and two different probabilistic approaches for predicting the genre of a given artist. Evaluation is performed on two test collections, a large one with a quite general genre taxonomy and a quite small one with rather specific genres. Since our approach yields estimates for the relatedness of an artist to every genre of a given genre set, we can derive genre distributions which incorporate information about artists that cannot be assigned a single genre. This allows us to overcome the inflexible artist-genre assignment usually used in music information systems. We present a simple method to visualize such genre distributions with our Traveller’s Sound Player. Finally, we briefly outline how to adapt the presented approach to extract other properties of music artists from the web.
A 3-D Ultrasound Robotic Prostate Brachytherapy System With Prostate Motion Tracking

This paper describes a new 3-D ultrasound robotic prostate brachytherapy system. It uses a stationary 3-D ultrasound probe rigidly fixed to a robotic needle insertion mechanism. The novelty of the system is its ability to track prostate motion intraoperatively to allow the dose planning and needle trajectories or depths to be adapted to take into account these motions. Prostate tracking is done using a fast 3-D ultrasound registration algorithm previously validated for biopsy guidance. The 7-degree-of-freedom (7-DOF) robot and ultrasound probe are calibrated together with an accuracy of 0.9 mm, allowing the needles to be precisely inserted to the seed targets chosen in the reference ultrasound image. Experiments were conducted on mobile, deformable synthetic prostate phantoms using a prototype laboratory system. Results showed that, with prostate motions of up to 7 mm, the system was able to reach the chosen targets with less than 2-mm accuracy in the needle insertion direction. This measured accuracy included extrinsic measurement errors of up to 1.1 mm. A preliminary cadaver feasibility study was also described in preparation for more realistic experimentation of the system.
Approximately optimal algorithms for scheduling a single machine with general convex resource functions

This paper studies batch-scheduling problems with different resource-allocation polices and general convex (g-conv) resource functions to minimise the total completion time. To reflect the focused batch-scheduling problems more appropriately in real-life production systems, two different resource-allocation policies were introduced and the g-conv resource function, which has been proven to be more implementable than previous resource functions in the literature, was employed. The authors proposed a novel concept of resource sensitivity according to the unique characteristic of the problems, in order to illustrate the differences in the time-compression effects among various jobs. Through the analysis of the properties for optimal solutions, the authors deduced the construction of the equivalent relations among these effects and consequently developed two approximately optimal algorithms, which have reasonably great accuracies. For performance comparison, other state-of-the-art algorithms were introduced, which are extensively applied for solving continuous optimisation problems. The results showed that the proposed algorithms outperform the compared approaches with respect to both solution quality and stability.
Reel to Reel Coated Conductor Fabrication by Evaporation

The commercial development of coated conductors is rapidly progressing. As a result we present an economic route to produce second generation HTS tape from the initial substrate preparation to the final metal coating. The most important and technically challenging steps are the deposition of an oriented buffer layer and the superconductor film in a reel-to-reel configuration. New evaporation techniques have been developed to enable reliable, high rate tape coating. Highly oriented MgO - buffer layers are realized by inclined substrate deposition (ISD) and DyBCO is deposited by simple e-gun evaporation yielding critical currents beyond 200 A/cm. Coated conductors have been fabricated up to 40 m length and are currently tested in a variety of applications
Imaging the Intracranial Atherosclerotic Vessel Wall Using 7T MRI: Initial Comparison with Histopathology

In this preliminary study, 7T imaging was capable of identifying not only intracranial wall thickening but different plaque components such as foamy macrophages and collagen. Signal heterogeneity was typical of advanced atherosclerotic disease. BACKGROUND AND PURPOSE: Several studies have attempted to characterize intracranial atherosclerotic plaques by using MR imaging sequences. However, dedicated validation of these sequences with histology has not yet been performed. The current study assessed the ability of ultra-high-resolution 7T MR imaging sequences with different image contrast weightings to image plaque components, by using histology as criterion standard. MATERIALS AND METHODS: Five specimens of the circle of Wills were imaged at 7T with 0.11 × 0.11 mm in-plane-resolution proton attenuation–, T1-, T2-, and T2*-weighted sequences (through-plane resolution, 0.11–1 mm). Tissue samples from 13 fiducial-marked locations (per specimen) on MR imaging underwent histologic processing and atherosclerotic plaque classification. Reconstructed MR images were matched with histologic sections at corresponding locations. RESULTS: Forty-four samples were available for subsequent evaluation of agreement or disagreement between plaque components and image contrast differences. Of samples, 52.3% (n = 23) showed no image contrast heterogeneity; this group comprised solely no lesions or early lesions. Of samples, 25.0% (n = 11, mostly advanced lesions) showed good correlation between the spatial organization of MR imaging heterogeneities and plaque components. Areas of foamy macrophages were generally seen as proton attenuation–, T2-, and T2*- hypointense areas, while areas of increased collagen content showed more ambiguous signal intensities. Five samples showed image-contrast heterogeneity without corresponding plaque components on histology; 5 other samples showed contrast heterogeneity based on intima-media artifacts. CONCLUSIONS: MR imaging at 7T has the image contrast capable of identifying both focal intracranial vessel wall thickening and distinguishing areas of different signal intensities spatially corresponding to plaque components within more advanced atherosclerotic plaques.
Exploring the Importance of Individual Differences to the Automatic Estimation of Emotions Induced by Music

The goal of this study was to evaluate the impact of the inclusion of listener-related factors (individual differences) on the prediction of music induced affect. A group of 24 subjects listened to a set of music excerpts previously demonstrated to express specific emotional characteristics (in terms of Arousal and Valence), and we collected information related to listeners' stable (personality, emotional intelligence, attentiveness, music preferences) and transient (mood, and physiological activity) states. Through a series of regression analysis we identified those factors which have a significant explanatory power over the affective states induced in the listeners. Our results show that incorporating information related to individual differences permits to identify more accurately the affective states induced in the listeners, which differ from those expressed by the music.
Byzantine vector consensus in complete graphs

Consider a network of <i>n</i> processes, each of which has a <i>d</i>-dimensional vector of reals as its <i>input</i>. Each process can communicate directly with all the processes in the system; thus the communication network is a <i>complete graph</i>. All the communication channels are reliable and FIFO (first-in-first-out). We prove that in a synchronous system, <i>n</i>≥ max(3<i>f</i>+1, (<i>d</i>+1)<i>f</i>+1) is necessary and sufficient for achieving Byzantine vector consensus. In an asynchronous system, it is known that <i>exact</i> consensus is impossible in presence of faulty processes. For an asynchronous system, we prove that <i>n</i>≥ (<i>d</i>+2)<i>f</i>+1 is necessary and sufficient to achieve <i>approximate</i> Byzantine vector consensus. Our sufficiency proofs are constructive. We prove sufficiency by providing explicit algorithms that solve exact BVC in synchronous systems, and approximate BVC in asynchronous systems.
Preserving Area Coverage in Sensor Networks with a Realistic Physical Layer

We consider the problem of activity scheduling and area coverage in sensor networks, and especially focus on problems that arise when using a more realistic physical layer. Indeed, most of the previous work in this area has been studied within an ideal environment, where messages are always correctly received. In this paper, we argue that protocols developed with such an assumption can hardly provide satisfying results in a more realistic world. To show this, we replace the classic unit disk graph model by the lognormal shadowing one. The results show that either the resulting area coverage is not sufficient or the percentage of active nodes is very high. We thus present an original method, where a node decides to turn off when there exists in its vicinity a sufficiently reliable covering set of neighbors. We show that our solution is very efficient as it preserves area coverage while minimizing the quantity of active nodes.
Fermi surface reconstruction and multiple quantum phase transitions in the antiferromagnet CeRhIn5

Significance Conventional, thermally driven continuous phase transitions are described by universal critical behavior that is independent of microscopic details of a specific material. An analogous description is lacking for phase transitions that are driven at absolute zero temperature by a nonthermal control parameter. Classification of quantum-driven phase transitions is a fundamental but open problem that arises in diverse contexts and multiple classes of materials. Here we report the first observation, to our knowledge, of a sharp Fermi surface reconstruction while applying a strong magnetic field to suppress an antiferromagnetic transition to zero temperature. These experiments demonstrate that direct measurements of the Fermi surface can distinguish theoretically proposed models of quantum criticality and point to a universal description of quantum phase transitions. Conventional, thermally driven continuous phase transitions are described by universal critical behavior that is independent of the specific microscopic details of a material. However, many current studies focus on materials that exhibit quantum-driven continuous phase transitions (quantum critical points, or QCPs) at absolute zero temperature. The classification of such QCPs and the question of whether they show universal behavior remain open issues. Here we report measurements of heat capacity and de Haas–van Alphen (dHvA) oscillations at low temperatures across a field-induced antiferromagnetic QCP (Bc0 ≈ 50 T) in the heavy-fermion metal CeRhIn5. A sharp, magnetic-field-induced change in Fermi surface is detected both in the dHvA effect and Hall resistivity at B0* ≈ 30 T, well inside the antiferromagnetic phase. Comparisons with band-structure calculations and properties of isostructural CeCoIn5 suggest that the Fermi-surface change at B0* is associated with a localized-to-itinerant transition of the Ce-4f electrons in CeRhIn5. Taken in conjunction with pressure experiments, our results demonstrate that at least two distinct classes of QCP are observable in CeRhIn5, a significant step toward the derivation of a universal phase diagram for QCPs.
Dynamic Configuration of Partitioning in Spark Applications

Spark has become one of the main options for large-scale analytics running on top of shared-nothing clusters. This work aims to make a deep dive into the parallelism configuration and shed light on the behavior of parallel spark jobs. It is motivated by the fact that running a Spark application on all the available processors does not necessarily imply lower running time, while may entail waste of resources. We first propose analytical models for expressing the running time as a function of the number of machines employed. We then take another step, namely to present novel algorithms for configuring dynamic partitioning with a view to minimizing resource consumption without sacrificing running time beyond a user-defined limit. The problem we target is NP-hard. To tackle it, we propose a greedy approach after introducing the notions of dependency graphs and of the benefit from modifying the degree of partitioning at a stage; complementarily, we investigate a randomized approach. Our polynomial solutions are capable of judiciously use the resources that are potentially at user’s disposal and strike interesting trade-offs between running time and resource consumption. Their efficiency is thoroughly investigated through experiments based on real execution data.
Twitter corpus creation: The case of a Malay Chat-style-text Corpus (MCC)

In recent years, social networks, microblogs, and short message service have deeply penetrated peoples lives, and thus, chat-style text is a common phenomenon. This chat-style text has many unknown features for linguists, which can be discovered by analyzing a chat-style corpus. The process of constructing a corpus conforms to specific corpus criteria, such as representativeness, sampling, variety, and chronology. Up to now, literature does not provide specific corpus criteria for creating a chat-style-text corpus. In contrast to related work, corpus criteria for creating a chat-style corpus are provided. An exhaustive and reliable Malay chat-style text corpus is still lacking. Thus, the provided criteria are used to demonstrate the process of constructing a Twitter corpus known as the Malay Chat-style Corpus (MCC). The MCC, which has 1 million twitter messages, consists of 14,484,384 word instances, 646,807 terms and metadata, such as posting time, used twitter client application, and type of Twitter message (simple Tweet, Retweet, Reply). Furthermore, the results of the analysis of the MCC reveal characteristics of the corpus including the most frequent terms and collocations, Zipf law diagram, Twitter peak hours, and percentages of message types. Finally, representativeness of the corpus is evaluated by employing cartography and automatic language identification methods. This corpus and the process of corpus creating are valuable for researchers working in linguistics, natural language processing, and data mining.
INSIDE: INstruction Selection/Identification & Design Exploration for extensible processors

This paper presents the INSIDE system that rapidly searches the design space for extensible processors, given area and performance constraints of an embedded application, while minimizing the design turn-around-time. Our system consists of a) a methodology to determine which code segments are most suited for implementation as a set of extensible instructions, b) a heuristic algorithm to select pre-configured extensible processors as well as extensible instructions (library), and c) an estimation tool which rapidly estimates the performance of an application on a generated extensible processor. By selecting the right combination of a processor core plus extensible instructions, we achieve a performance increase on average of 2.03x (up to 7x) compared to the base processor core at a minimum hardware overhead of 25% on average.
The Cardinality Balanced Multi-Target Multi-Bernoulli Filter and Its Implementations

It is shown analytically that the multitarget multiBernoulli (MeMBer) recursion, proposed by Mahler, has a significant bias in the number of targets. To reduce the cardinality bias, a novel multiBernoulli approximation to the multi-target Bayes recursion is derived. Under the same assumptions as the MeMBer recursion, the proposed recursion is unbiased. In addition, a sequential Monte Carlo (SMC) implementation (for generic models) and a Gaussian mixture (GM) implementation (for linear Gaussian models) are proposed. The latter is also extended to accommodate mildly nonlinear models by linearization and the unscented transform.
Report on the CLEF-IP 2012 Experiments: Exploring Passage Retrieval with the PIPExtractor

This technical report presents the work carried out for the Patent Pas- sage Retrieval track of CLEF-IP 2012. Our aim was to create IR-Platform inde- pendent module for the Passage Retrieval process. For the Document retrieval Method - a Language Model based on IPC classes and for the Passage Retrieval a Passage Intellectual property Extractor (PIPExtractor) was implemented. Top- ics with the main language other than English were semi-manually translated by accessing the EPO Google Translation. We submitted five official runs one re- trieving only document and four retrieving Passages.