Miracle-dz/UniFAR-FTUs huggingface dataset:
Comparing Argument Structure in Chinese Verb Taxonomy and Chinese Propbank

In this paper, we compare the use of argument structure in Chinese verb sense taxonomy (CVT), which is a hierarchy structure constituted by verb lexical classes, and Chinese Propbank (CPB). The major difference of the usage of argument structure between these two independent resources is: CVT uses argument structure to cluster verb senses, while CPB uses it to distinguish verb senses from each other. First, we introduce these two language resources, the use of argument structure in them is then presented and discussed. In the end, we find there is way to link these two independent resources.
MMW Ultra-Compact  ${\rm N}$-Way Transformer PAs Using Bowtie-Radial Architecture in 65-nm CMOS

In this letter, the bowtie-radial and balanced dual-radial PA architectures are proposed to combine 4-way and 8-way power units. Moreover, they also make breakthrough on the power area density (PAD) performances of N-way combined PAs. These two CMOS PAs can both achieve the highest output power of 26.1 dBm at 23.5 GHz with PAD of 635 mW/mm2 and 23 dBm at 60 GHz with PAD of 277 mW/mm2, respectively.
Teaching Social Studies with Technology: New Research on Collaborative Approaches

MEETING THE DEMANDS OF TEACHING in the digital age requires the identification of effective types of educational technology and ways of encouraging its use, and that was the aim of a "Preparing Tomorrow's Teachers to use Technology (PT3)" grant to the University of Michigan-Dearborn, from the United States Department of Education. This grant funded a four-year program involving not only public school teachers in the Detroit area, but also the faculty in the education and social sciences departments of the university. Dubbed "The MITTEN Program," it explored how the planned integration of new forms of technology affects instruction in social studies in elementary, middle, and high schools. What follows is a report on the outcomes of that project. Between September 1,2001 and April 30, 2005, a total of 257 educators in all of the core academic subject areas participated in seven cohort groups. In social studies, twenty-five full-time public school teachers, twenty-five pre-service teachers, five faculty members, and three field supervisors of student teachers were involved. The data presented in this study were gathered from surveys administered before and after people participated in the program, journal entries, reflections articulated in electronic portfolios and at meetings, and technology projects. The first half of the survey asked nine questions designed to measure the partici-
Behavioural and neural correlates of sensorimotor timing and error correction

Timing is essential for human movement and cognition and is affected in many psychiatric and neurological disorders. The aim of this thesis was to determine the behavioural and neural correlates of sensorimotor timing and of temporal error correction. Motor timing can be studied using a sensorimotor synchronization (SMS) task. In SMS, timing accuracy is assessed during synchronized finger tapping with a regular pacing stimulus and error correction performance is measured based on responses following induced local timing shifts. Study one addressed the effects of task-related and subject-specific factors on SMS performance and showed that tapping variability was reduced during bimanual SMS, compared with unimanual SMS. Study two examined the role of the primary and pre-motor cortices in SMS using theta burst transcranial magnetic stimulation (TBS). The findings suggested that the left-lateralized pre-motor cortex may play a role in temporal error correction. This hypothesis was tested in study three which confirmed that suppression TBS over the left pre-motor significantly affected error correction responses following supraliminal timing shifts. Study four used functional magnetic resonance imaging (fMRI) to determine the neural correlates of timing and error correction. It was shown that connectivity emerges in a cortico- cerebellar network including the left-lateralized cerebellum and frontal regions during the correction of supraliminal timing shifts. Study five further examined the role of functional connectivity using fMRI and revealed that interhemispheric connectivity between the primary motor cortices was significantly greater during bimanual SMS, compared with unimanual SMS. Lastly, studies six and seven addressed the efficacy of TBS and showed that the local distribution of subarachnoid cerebrospinal fluid can significantly alter TBS-induced stimulation. In the general discussion it is suggested that sensorimotor timing and error correction may be achieved using internal feedforward models in the cerebellum that inform movement initiation controlled by the left pre-motor cortex.
Implementation of real time feature extraction of ECG using discrete wavelet transform

An Electrocardiogram (ECG) signals commonly change their statistical property over time and are highly nonstationary signals. Growing of embedded technology have provide possibility for use powerful tools to analysis ECG. For the analysis of ECG signals wavelet transform is a powerful tool. In this paper, we proposed Implemented an automatic real time ECG feature extraction system based on discrete wavelet transform for detection and extraction of P wave, QRS complex, number of heart beats. This system performs ECG processing, display using dual-core OMAP3-based embedded system. Our experiments have shown result of evaluated performance and limitation for using OMAP3 standalone real time system to analysis ECG signals.
Graph-based specification and simulation of featherweight Java with around advice

In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transformations. We introduce a notion of correctness of our specification with respect to an existing semantics and claim a number of advantages over traditional mathematical notations, that come forth from the executable nature of graph-transformation-based semantics. Using test programs as graphs during specification of the semantics, simulation can help in verifying the correctness of the rules simply by testing, increasing the rigorousness of the specification process. Also, execution of the semantics results in a state space that can be used for analysis and verification, giving rise to an effective method for aspect program verification. As a criterion for correctness, we use a structural operational semantics of this language from the so-called Common Aspect Semantics Base.
Finite-state transducer inference for a speech-input Portuguese-to-English machine translation system

Statistical techniques and grammatical inference have been used for dealing with automatic speech recognition with success, and can also be used for speech-to-speech machine translation. In this paper, new advances on a method for finite-state transducer inference are presented. This method has been tested experimentally in a speech-input translation task using a recognizer that allows a flexible use of models by means of efficient algorithms for on-thefly transducer composition. These are the first reported results of a speech-to-speech translation task involving European Portuguese input that we know of.
Analysis of the Pull-In Phenomenon in Microelectromechanical Varactors

High-Q factor voltage controlled oscillators (VCO) need a wide tuning range and low phase noise over gigahertz ranges of frequency which depends on the tunability of the capacitors in the LC tank circuit. The reasons behind the development of a micro electro mechanical (MEM) varactor were the difficulties encountered in the realization of on-chip variable capacitors having low phase noise and high quality factors with a wide tuning range in the span of frequencies over process and temperature variations. This paper presents an efficient closed-form model for determination of the pull-in voltage in a surface micro machined MEM varactor which is a factor directly affecting the tunability of the device. The nonlinear spring hardening effects associated with proper load-deflection characteristics of clamped plates and the electrostatic spring softening effects due to the parallel-plate and fringing field capacitances have been taken into account with the dimensions of the device optimized through finite element analysis (FEA).
Threshold and Asymmetric Volatility in Taiwan Broiler Farm Price Changes

The broiler industry is one of the most important livestock industries in Taiwan. Analyzing broiler farm price information could help Taiwan government to make broiler price stabilization programs. The objective of this paper is to investigate threshold and asymmetric volatility characteristics in the broiler farm price changes. It is found that the ESTAR model is more suitable for analyzing broiler farm price changes. The threshold estimate obtained for the ESTAR-GJR (1,1) model was 22.48, but asymmetric volatility in broiler farm price changes was not significant.
Cytosolic O‐glycosylation is abundant in nerve terminals

Phosphorylation plays a key role in regulating growth cone migration and protein trafficking in nerve terminals. Here we show that nerve terminal proteins contain another abundant post‐translational modification: β‐N‐acetylglucosamine linked to hydroxyls of serines or threonines (O‐GlcNAc1). O‐GlcNAc modifications are essential for embryogenesis and mounting evidence suggests that O‐GlcNAc is a regulatory modification that affects many phosphorylated proteins. We show that the activity and expression of O‐GlcNAc transferase (OGT) and N‐acetyl‐β‐d‐glucosaminidase (O‐GlcNAcase), the two enzymes regulating O‐GlcNAc modifications, are present in nerve terminal structures (synaptosomes) and are particularily abundant in the cytosol of synaptosomes. Numerous synaptosome proteins are highly modified with O‐GlcNAc. Although most of these proteins are present in low abundance, we identified by proteomic analysis three neuron‐specific O‐GlcNAc modified proteins: collapsin response mediator protein‐2 (CRMP‐2), ubiquitin carboxyl hydrolase‐L1 (UCH‐L1) and β‐synuclein. CRMP‐2, which is involved in growth cone collapse, is a major O‐GlcNAc modified protein in synaptosomes. All three proteins are implicated in regulatory cascades that mediate intracellular signaling or neurodegenerative diseases. We propose that O‐GlcNAc modifications in the nerve terminal help regulate the functions of these and other synaptosome proteins, and that O‐GlcNAc may play a role in neurodegenerative disease.
tert-Butyl 4-formyl-1H-imidazole-1-carboxylate

In the crystal structure of the title compound, C9H12N2O3, weak intermolecular C—H⋯O hydrogen bonds link the molecules into chains. Further weak C—H⋯O hydrogen bonds together with π–π interactions [centroid–centroid distance = 3.672 (4) Å] between neighbouring chains lead to a double-chain structure propagating in [100].
A fine grained access control and flexible revocation scheme for data security on public cloud storage services

Cloud computing based storage services have rapidly spread in the market due to their promising capabilities and features. However, the security challenge of outsourcing sensitive data for sharing on the cloud which is not fully controlled by the data owners is still open. In this paper, we present negative and positive attributes in attribute based encryption to support fine grained access control and flexible revocation. The framework is designed to shift the key security roles, such as authentication and key management, from the cloud to be shared between data owners and a trusted third party. Furthermore, this research aims to enable data owner to do most of the heavy re-encryption tasks using the cloud resources and without revealing his data or attributes to the cloud. We propose a flexible revocation solution which enables the owner to revocate users without the need for re-encrypting all the affected files or regenerating system and users' keys. We highlight the performance of our scheme by analyzing its computational complexity.
The Ecb's Two Pillars

This Paper suggests a formal interpretation of the ECB’s two-pillar framework for monetary policy. I decompose inflation in the euro area into high- and low-frequency (or short-run and medium/long-run) components, which are correlated with monetary growth and the output gap, respectively. I proceed to propose and estimate a ‘two-pillar’ Phillips curve that assumes that money causes prices. While the model fits well and the causality assumption seems compatible with the 1980-90 data, there appears to be reverse causality from prices to money in the 1991-2001 period, which would invalidate my model.
Automatically Generating Predicates and Solutions for Configuration Troubleshooting

Technical support contributes 17% of the total cost of ownership of today's desktop computers [12], and troubleshooting misconfigurations is a large part of technical support. For information systems, administrative expenses, made up almost entirely of people costs, represent 60-80% of the total cost of ownership [5]. Prior work [21, 24] has created promising tools that automate troubleshooting, thereby saving users time and money. However, these tools assume the existence of predicates, which are test cases painstakingly written by an expert. Since both experts and time are in short supply, obtaining predicates is difficult. In this paper, we propose a new method of creating predicates that infers predicates by observing the actions of ordinary users troubleshooting misconfigurations. We report on the results of a user study that evaluates our proposed method. The main results were: (1) ourmethod inferred predicates for all configuration bugs studied with very few false positives, (2) using multiple traces improved results, and, surprisingly, (3) our method identified the correct solutions applied by users who fixed the misconfigurations in the study.
Automatic Detection of Miscommunication in Spoken Dialogue Systems

In this paper, we present a data-driven approach for detecting instances of miscommunication in dialogue system interactions. A range of generic features that are both automatically extractable and manually annotated were used to train two models for online detection and one for offline analysis. Online detection could be used to raise the error awareness of the system, whereas offline detection could be used by a system designer to identify potential flaws in the dialogue design. In experimental evaluations on system logs from three different dialogue systems that vary in their dialogue strategy, the proposed models performed substantially better than the majority class baseline models.
On Representing Incomplete Information in a Relational Data Base

Precise conditions are formulated which should be satisfied in a semantically meaningful extension of the usual relational operators of projection, selection, union and join, from operators on relations to operators on tables with "null values" of various kinds allowed. These conditions require that our system be safe in the sense that no incorrect conclusion is derivable by using a specified subset Omega of the relational operators; and that it be complete in the sense that all valid conclusions expressible by relational expressions using operators in Omega are in fact derivable in our system. Examples of three such systems are studied in more detail. The effect of dependencies of various kinds is briefly discussed.
The transcription factors Pap1 and Prr1 collaborate to activate antioxidant, but not drug tolerance, genes in response to H2O2

In response to hydrogen peroxide (H2O2), the transcription factor Pap1 from Schizosaccharomyces pombe regulates transcription of genes required for adaptation to oxidative stress and for tolerance to toxic drugs. H2O2 induces oxidation of Pap1, its nuclear accumulation and expression of more than fifty Pap1-dependent genes. Oxidation and nuclear accumulation of Pap1 can also be accomplished by genetic inhibition of thioredoxin reductase. Furthermore, genetic alteration of the nuclear export pathway, or mutations in Pap1 nuclear export signal trigger nuclear accumulation of reduced Pap1. We show here that a subset of Pap1-dependent genes, such as those coding for the efflux pump Caf5, the ubiquitin-like protein Obr1 or the dehydrogenase SPCC663.08c, only require nuclear Pap1 for activation, whereas another subset of genes, those coding for the antioxidants catalase, sulfiredoxin or thioredoxin reductase, do need oxidized Pap1 to form a heterodimer with the constitutively nuclear transcription factor Prr1. The ability of Pap1 to bind and activate drug tolerance promoters is independent on Prr1, whereas its affinity for the antioxidant promoters is significantly enhanced upon association with Prr1. This finding suggests that the activation of both antioxidant and drug resistance genes in response to oxidative stress share a common inducer, H2O2, but alternative effectors.
Increasing your brain potential: Transcranial Direct Current Stimulation for enhancement of behavior and event-related potentials in tests of attention and impuslivity

Cognitive control of attention and decision making is a defining feature of the human intellect. Our ancestors’ survival in the past and our success as individuals today is reliant on our ability to respond to stimuli in the environment, learn from our mistakes, and make complex decisions based on cognitive deliberation, rather than impulsiveness. This study examined the effectiveness of Transcranial Direct Current Stimulation (tDCS) for modulation of cognitive control of attention and impulsiveness. It was hypothesized that anodal tDCS of the right VLPFC would enhance cognitive control of attention and impulsiveness, that tDCS would enhance ERP responses related to cognitive control, and that both tDCS conditions would exhibit effects in these domains. Each of these hypotheses was supported by the results of this study, though there are caveats to the interpretation of these findings and further research is warranted. Despite these limitations, basic scientific and clinical implications of this research are significant. This study lends further support to the role of right VLPFC in cognitive control, demonstrates the effectiveness of tDCS for modulation of cognitive control, and suggests an effect of tDCS on impulsive decision making that may be related to effects on cognitive control of attention.
Spread of (Mis)Information in Social Networks

We provide a model to investigate the tension between information aggregation and spread of misinformation in large societies (conceptualized as networks of agents communicating with each other). Each individual holds a belief represented by a scalar. Individuals meet pairwise and exchange information, which is modeled as both individuals adopting the average of their pre-meeting beliefs. When all individuals engage in this type of information exchange, the society will be able to effectively aggregate the initial information held by all individuals. There is also the possibility of misinformation, however, because some of the individuals are "forceful," meaning that they influence the beliefs of (some) of the other individuals they meet, but do not change their own opinion. The paper characterizes how the presence of forceful agents interferes with information aggregation. Under the assumption that even forceful agents obtain some information (however infrequent) from some others (and additional weak regularity conditions), we first show that beliefs in this class of societies converge to a consensus among all individuals. This consensus value is a random variable, however, and we characterize its behavior. Our main results quantify the extent of misinformation in the society by either providing bounds or exact results (in some special cases) on how far the consensus value can be from the benchmark without forceful agents (where there is efficient information aggregation). The worst outcomes obtain when there are several forceful agents and forceful agents themselves update their beliefs only on the basis of information they obtain from individuals most likely to have received their own information previously.
Higgs mechanism and bulk gauge boson masses in the Randall-Sundrum model

Assuming the breaking of gauge symmetries by the Higgs mechanism, we consider the associated bulk gauge boson masses in the Randall-Sundrum background. With the Higgs field confined on the TeV-brane, the W and Z boson masses are naturally an order of magnitude smaller than their Kaluza-Klein excitation masses. The electroweak precision data require the lowest excited state to lie above about 30 TeV, with fermions on the TeV-brane. This bound is reduced to about 10 TeV if the fermions reside sufficiently close to the Planck-brane. Thus, some tuning of parameters is needed. We also discuss the bulk Higgs case, where the bounds are an order of magnitude smaller.
SEBS module BEAM : a practical tool for surface energy balance estimates from remote sensing data

The SEBS algorithm [1] is an extension of the SEBI concept with a dynamic model for thermal roughness [2], the Bulk Atmospheric Similarity (BAS) theory [3] for PBL scaling and the Monin-Obukhov Atmospheric Surface Layer (ASL) similarity for surface layer scaling. SEBS can be used for local and regional scaling under all atmospheric stability regimes thus providing a link for radiometric measurements and atmospheric models. SEBS is implemented as a “BEAM” module for ATSR [10]. ATSR imagery is radiometrically calibrated and atmospherically for the pre-processing. Meteorological information and radiatives maps complete the input dataset. SEBS results in maps of Rn, LE, H, G, Hwet and Hdry limit, evaporative fraction, AET instantaneous and daily, and complementary files as standard outputs.
Capturing Topology in Graph Pattern Matching

Graph pattern matching is often defined in terms of subgraph isomorphism, an np-complete problem. To lower its complexity, various extensions of graph simulation have been considered instead. These extensions allow pattern matching to be conducted in cubic-time. However, they fall short of capturing the topology of data graphs, i.e., graphs may have a structure drastically different from pattern graphs they match, and the matches found are often too large to understand and analyze. To rectify these problems, this paper proposes a notion of strong simulation, a revision of graph simulation, for graph pattern matching. (1) We identify a set of criteria for preserving the topology of graphs matched. We show that strong simulation preserves the topology of data graphs and finds a bounded number of matches. (2) We show that strong simulation retains the same complexity as earlier extensions of simulation, by providing a cubic-time algorithm for computing strong simulation. (3) We present the locality property of strong simulation, which allows us to effectively conduct pattern matching on distributed graphs. (4) We experimentally verify the effectiveness and efficiency of these algorithms, using real-life data and synthetic data.