nils-herrmann/clean_scirepeval huggingface dataset:
The EPAC Corpus: Manual and Automatic Annotations of Conversational Speech in French Broadcast News

This paper presents the EPAC corpus which is composed by a set of 100 hours of conversational speech manually transcribed and by the outputs of automatic tools (automatic segmentation, transcription, POS tagging, etc.) applied on the entire French ESTER 1 audio corpus: this concerns about 1700 hours of audio recordings from radiophonic shows. This corpus was built during the EPAC project funded by the French Research Agency (ANR) from 2007 to 2010. This corpus increases significantly the amount of French manually transcribed audio recordings easily available and it is now included as a part of the ESTER 1 corpus in the ELRA catalog without additional cost. By providing a large set of automatic outputs of speech processing tools, the EPAC corpus should be useful to researchers who want to work on such data without having to develop and deal with such tools. These automatic annotations are various: segmentation and speaker diarization, one-best hypotheses from the LIUM automatic speech recognition system with confidence measures, but also word-lattices and confusion networks, named entities, part-of-speech tags, chunks, etc. The 100 hours of speech manually transcribed were split into three data sets in order to get an official training corpus, an official development corpus and an official test corpus. These data sets were used to develop and to evaluate some automatic tools which have been used to process the 1700 hours of audio recording. For example, on the EPAC test data set our ASR system yields a word error rate equals to 17.25%.
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor

hypervisor as a nondeterministic sequential program  prove invariant properties of individual ϋobjects and compose them 14 Phase1 Startup Phase2 Intercept Phase3 Exception Proofs HW initiated concurrent execution Concurrent execution HW initiated sequential execution Sequential execution  Intro.  Motivating. Ex. 
Independently Controllable Factors

It has been postulated that a good representation is one that disentangles the underlying explanatory factors of variation. However, it remains an open question what kind of training framework could potentially achieve that. Whereas most previous work focuses on the static setting (e.g., with images), we postulate that some of the causal factors could be discovered if the learner is allowed to interact with its environment. The agent can experiment with different actions and observe their effects. More specifically, we hypothesize that some of these factors correspond to aspects of the environment which are independently controllable, i.e., that there exists a policy and a learnable feature for each such aspect of the environment, such that this policy can yield changes in that feature with minimal changes to other features that explain the statistical variations in the observed data. We propose a specific objective function to find such factors and verify experimentally that it can indeed disentangle independently controllable aspects of the environment without any extrinsic reward signal.
Boosting concolic testing via interpolation

Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major limitations is path-explosion that limits the generation of high coverage inputs. Since its inception several ideas have been proposed to attack this problem from various angles: defining search heuristics that increase coverage, caching of function summaries, pruning of paths using static/dynamic information etc. 
 We propose a new and complementary method based on interpolation, that greatly mitigates path-explosion by subsuming paths that can be guaranteed to not hit a bug. We discuss new challenges in using interpolation that arise specifically in the context of concolic testing. We experimentally evaluate our method with different search heuristics using Crest, a publicly available concolic tester.
Traumatic hemipelvectomy with free gluteus maximus fillet flap covers: a case report.

Traumatic hemipelvectomy is an uncommon and life threatening injury. We report a case of a 16-year-old boy involved in a traffic accident who presented with an almost circumferential pelvic wound with wide diastasis of the right sacroiliac joint and symphysis pubis. The injury was associated with complete avulsion of external and internal iliac vessels as well as the femoral and sciatic nerves. He also had ipsilateral open comminuted fractures of the femur and tibia. Emergency debridement and completion of amputation with preservation of the posterior gluteal flap and primary anastomosis of the inferior gluteal vessels to the internal iliac artery stump were performed. A free fillet flap was used to close the massive exposed area.



traumatic hemipelvectomy, amputation, and free gluteus maximus fillet flap.
An Intelligent Location Management approaches in GSM Mobile Network

Location management refers to the problem of updating and searching the current location of mobile nodes in a wireless network. To make it efficient, the sum of update costs of location database must be minimized. Previous work relying on fixed location databases is unable to fully exploit the knowledge of user mobility patterns in the system so as to achieve this minimization. The study presents an intelligent location management approach which has interacts between intelligent information system and knowledge-base technologies, so we can dynamically change the user patterns and reduce the transition between the VLR and HLR. The study provides algorithms are ability to handle location registration and call delivery.
Lambda-Policy Iteration: A Review and a New Implementation

In this paper we discuss λ-policy iteration, a method for exact and approximate dynamic programming. It is intermediate between the classical value iteration (VI) and policy iteration (PI) methods, and it is closely related to optimistic (also known as modified) PI, whereby each policy evaluation is done approximately, using a finite number of VI. We review the theory of the method and associated questions of bias and exploration arising in simulation-based cost function approximation. We then discuss various implementations, which offer advantages over well-established PI methods that use LSPE(λ), LSTD(λ), or TD(λ) for policy evaluation with cost function approximation. One of these implementations is based on a new simulation scheme, called geometric sampling, which uses multiple short trajectories rather than a single infinitely long trajectory.
FlowNet 2.0: Evolution of Optical Flow Estimation with Deep Networks

The FlowNet demonstrated that optical flow estimation can be cast as a learning problem. However, the state of the art with regard to the quality of the flow has still been defined by traditional methods. Particularly on small displacements and real-world data, FlowNet cannot compete with variational methods. In this paper, we advance the concept of end-to-end learning of optical flow and make it work really well. The large improvements in quality and speed are caused by three major contributions: first, we focus on the training data and show that the schedule of presenting data during training is very important. Second, we develop a stacked architecture that includes warping of the second image with intermediate optical flow. Third, we elaborate on small displacements by introducing a subnetwork specializing on small motions. FlowNet 2.0 is only marginally slower than the original FlowNet but decreases the estimation error by more than 50%. It performs on par with state-of-the-art methods, while running at interactive frame rates. Moreover, we present faster variants that allow optical flow computation at up to 140fps with accuracy matching the original FlowNet.
Computational algorithms for double bootstrap confidence intervals

In some cases, such as in the estimation of impulse responses, it has been found that for plausible sample sizes the coverage accuracy of single bootstrap confidence intervals can be poor. The error in the coverage probability of single bootstrap confidence intervals may be reduced by the use of double bootstrap confidence intervals. The computer resources required for double bootstrap confidence intervals are often prohibitive, especially in the context of Monte Carlo studies. Double bootstrap confidence intervals can be estimated using computational algorithms incorporating simple deterministic stopping rules that avoid unnecessary computations. These algorithms may make the use and Monte Carlo evaluation of double bootstrap confidence intervals feasible in cases where otherwise they would not be feasible. The efficiency gains due to the use of these algorithms are examined by means of a Monte Carlo study for examples of confidence intervals for a mean and for the cumulative impulse response in a second order autoregressive model.
S TOCHASTIC V ARIATIONAL V IDEO P REDICTION

Predicting the future in real-world settings, particularly from raw sensory observations such as images, is exceptionally challenging. Real-world events can be stochastic and unpredictable, and the high dimensionality and complexity of natural images require the predictive model to build an intricate understanding of the natural world. Many existing methods tackle this problem by making simplifying assumptions about the environment. One common assumption is that the outcome is deterministic and there is only one plausible future. This can lead to low-quality predictions in real-world settings with stochastic dynamics. In this paper, we develop a stochastic variational video prediction (SV2P) method that predicts a different possible future for each sample of its latent variables. To the best of our knowledge, our model is the first to provide effective stochastic multi-frame prediction for real-world videos. We demonstrate the capability of the proposed method in predicting detailed future frames of videos on multiple real-world datasets, both action-free and action-conditioned. We find that our proposed method produces substantially improved video predictions when compared to the same model without stochasticity, and to other stochastic video prediction methods. Our SV2P implementation will be open sourced upon publication.
Image Rectification Software Test Automation Using a Robotic ARM

In this paper, we discuss the use of a robotic arm for testing phone software features, such as image rectification, on mobile devices. The problem statement is that we needed an accurate and a precise test automation system for testing and validating the computer vision algorithms used for image rectification in a mobile phone. Manual testing may be error-prone and tedious and thereby the need for a reliable test automation system is of utmost necessity to check the software quality of the image rectification algorithms. The solution to this problem was to design and develop a test automation system using a robotic arm to validate the image rectification algorithms. The robotic arm-based software test automation was deployed and has performed functional performance-based stability tests on multiple software products. The reason for using a robotic arm setup is because it provides us with the flexibility to run our test cases using different speeds, rotation angles, and tilting angles. In this paper, we describe how the robotic arm rotation works. We first measure the center coordinate of the test subject relative to the base of the robotic arm. Then, a 3-D model of the subject is created with those coordinates via simulation mode to represent the real distance ratio setup. Then, the tip of the robotic arm is moved to the proper distance facing the subject. The tests were executed with clear and blurry images containing text with and without image rectification enabled. The result shows the increase in accuracy of text recognition with image rectification algorithm enabled. This paper talks about the design and development of the test automation for the image rectification feature and how we have used a robotic arm for automating this use case.
Root and crown rot of strawberry caused by Pythium helicoides and its distribution in strawberry production areas of Japan

Pythium species were isolated from seedlings of strawberry with root and crown rot. The isolates were identified as P. helicoides on the basis of morphological characteristics and sequences of the ribosomal DNA internal transcribed spacer regions. In pathogenicity tests, the isolates caused root and crown rot similar to the original disease symptoms. Multiplex PCR was used to survey pathogen occurrence in strawberry production areas of Japan. Pythium helicoides was detected in 11 of 82 fields. The pathogen is distributed over six prefectures.
Cell surface lactate receptor GPR81 is crucial for cancer cell survival.

The mechanisms that allow cancer cells to adapt to the typical tumor microenvironment of low oxygen and glucose and high lactate are not well understood. GPR81 is a lactate receptor recently identified in adipose and muscle cells that has not been investigated in cancer. In the current study, we examined GPR81 expression and function in cancer cells. We found that GPR81 was present in colon, breast, lung, hepatocellular, salivary gland, cervical, and pancreatic carcinoma cell lines. Examination of tumors resected from patients with pancreatic cancer indicated that 94% (148 of 158) expressed high levels of GPR81. Functionally, we observed that the reduction of GPR81 levels using shRNA-mediated silencing had little effect on pancreatic cancer cells cultured in high glucose, but led to the rapid death of cancer cells cultured in conditions of low glucose supplemented with lactate. We also observed that lactate addition to culture media induced the expression of genes involved in lactate metabolism, including monocarboxylase transporters in control, but not in GPR81-silenced cells. In vivo, GPR81 expression levels correlated with the rate of pancreatic cancer tumor growth and metastasis. Cells in which GPR81 was silenced showed a dramatic decrease in growth and metastasis. Implantation of cancer cells in vivo was also observed to lead to greatly elevated levels of GPR81. These data support that GPR81 is important for cancer cell regulation of lactate transport mechanisms. Furthermore, lactate transport is important for the survival of cancer cells in the tumor microenvironment. Cancer Res; 74(18); 5301-10.
Unusual fatal avian polyomavirus infection in nestling cockatiels (Nymphicus hollandicus) detected by nested polymerase chain reaction

High mortality of nestling cockatiels (Nymphicus hollandicus) was observed in one breeding flock in Slovakia. The nestling mortality affected 50% of all breeding pairs. In general, all the nestlings in affected nests died. Death occurred suddenly in 4to 6-day-old birds, most of which had full crops. No feather disorders were diagnosed in this flock. Two dead nestlings were tested by nested PCR for the presence of avian polyomavirus (APV) and Chlamydophila psittaci and by single-round PCR for the presence of beak and feather disease virus (BFDV). After the breeding season ended, a breeding pair of cockatiels together with their young one and a fledgling budgerigar (Melopsittacus undulatus) were examined. No clinical alterations were observed in these birds. Haemorrhages in the proventriculus and irregular foci of yellow liver discoloration were found during necropsy in the young cockatiel and the fledgling budgerigar. Microscopy revealed liver necroses and acute haemolysis in the young cockatiel and confluent liver necroses and heart and kidney haemorrhages in the budgerigar. Two dead cockatiel nestlings, the young cockatiel and the fledgling budgerigar were tested positive for APV, while the cockatiel adults were negative. The presence of BFDV or Chlamydophila psittaci DNA was detected in none of the birds. The specificity of PCR was confirmed by the sequencing of PCR products amplified from the samples from the young cockatiel and the fledgling budgerigar. The sequences showed 99.6–100% homology with the previously reported sequences. To our knowledge, this is the first report of APV infection which caused a fatal disease in parent-raised cockatiel nestlings and merely subclinical infection in budgerigar nestlings.
Exponential Stability of Linear Delay Impulsive Differential Equations

Elena Braverman Technion Israel Institute of Technology, Department of Mathematics, 32000, Haifa, Israel e-mail : maelena@tx.technion.ac.il Abstract For an impulsive delay differential equation with bounded delay and bounded coefficients the following result is established. If each solution is bounded on [0,∞) together with its derivative for each bounded right-hand side then the equation is exponentially stable. A coefficient stability theorem is presented.
The dual pathway model of AD/HD: an elaboration of neuro-developmental characteristics

The currently dominant neuro-cognitive model of Attention Deficit Hyperactivity Disorder (AD/HD) presents the condition as executive dysfunction (EDF) underpinned by disturbances in the fronto-dorsal striatal circuit and associated dopaminergic branches (e.g. meso-cortical). In contrast, motivationally-based accounts focus on altered reward processes and implicate fronto-ventral striatal reward circuits and those meso-limbic branches that terminate in the ventral striatum especially the nucleus accumbens. One such account, delay aversion (DEL), presents AD/HD as a motivational style-characterised by attempts to escape or avoid delay-arising from fundamental disturbances in these reward centres. While traditionally regarded as competing, EDF and DEL models have recently been presented as complimentary accounts of two psycho-patho-physiological subtypes of AD/HD with different developmental pathways, underpinned by different cortico-striatal circuits and modulated by different branches of the dopamine system. In the current paper we describe the development of this model in more detail. We elaborate on the neuro-circuitry possibly underpinning these two pathways and explore their developmental significance within a neuro-ecological framework.
Transfer functions for the reference clock jitter in a serial link: theory and applications

Transfer functions for the reference clock jitter in a serial link such as the PCI express 100 MHz reference clock are established for various clock and data recovery circuits (CDRCs). In addition, mathematical interrelationships between phase, period, and cycle-to-cycle jitter are established and phase jitter is used with the jitter transfer function. Numerical simulations are carried out for these transfer functions. Relevant eye-closure/total jitter at a certain bit error rate (BER) level for the receiver is estimated by applying these jitter transfer functions to the measured phase jitter of the reference clock over a range of transfer function parameters. Implications of this new development to serial link reference clock testing and specification formulation are discussed.
A reactive molecular dynamics simulation of the silica-water interface.

We report our study of a silica-water interface using reactive molecular dynamics. This first-of-its-kind simulation achieves length and time scales required to investigate the detailed chemistry of the system. Our molecular dynamics approach is based on the ReaxFF force field of van Duin et al. [ (2003)]. The specific ReaxFF implementation (SERIALREAX) and force fields are first validated on structural properties of pure silica and water systems. Chemical reactions between reactive water and dangling bonds on a freshly cut silica surface are analyzed by studying changing chemical composition at the interface. In our simulations, reactions involving silanol groups reach chemical equilibrium in approximately 250 ps. It is observed that water molecules penetrate a silica film through a proton-transfer process we call "hydrogen hopping," which is similar to the Grotthuss mechanism. In this process, hydrogen atoms pass through the film by associating and dissociating with oxygen atoms within bulk silica, as opposed to diffusion of intact water molecules. The effective diffusion constant for this process, taken to be that of hydrogen atoms within silica, is calculated to be 1.68 x 10(-6) cm(2)/s. Polarization of water molecules in proximity of the silica surface is also observed. The subsequent alignment of dipoles leads to an electric potential difference of approximately 10.5 V between the silica slab and water.
Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression

The analysis of large scale data logged from complex cyber-physical systems, such as microgrids, often entails the discovery of invariants capturing functional as well as operational relationships underlying such large systems. We describe a latent factor approach to infer invariants underlying system variables and how we can leverage these relationships to monitor a cyber-physical system. In particular we illustrate how this approach helps rapidly identify outliers during system operation.
Iklax: a New Musical audio Format for Interactive Music

In this paper, we are presenting a new model for interactive music. Unlike most interactive systems, our model is based on file organization, but does not require digital audio treatments. This model includes a definition of a constraints system and its solver. The products of this project are intended for the general public, inexperienced users, as well as professional musicians, and will be distributed commercially. We are here presenting three products of this project. The difficulty of this project is to design a technology and software products for interactive music which must be easy to use by the general public and by professional composers.
Performance analysis of active damped small DC-link capacitor based drive for unbalanced input voltage supply

A small DC-link capacitor based drive is presented in this paper. The drive shows negative impedance instability at operating points with high power load. A phase portrait is presented for input filter states which exhibit a limit cycle. When the drive is operated with unbalanced input supply voltages, the rectified voltage contains all even harmonics frequencies. However, it is shown that the dominant harmonic component of the DC-link voltage is decided by the limit cycle instead of the input filter resonance frequency. An active damping technique is used to stabilize the operating point. The responses of the DC-link voltage with and without active damping are presented. The low order harmonics components are reduced with the increase in the gain of the active damping term. The experimental results for the DC-link voltage, input phase currents, and machine phase current are presented.
GALEOR: Leakage reduction for CMOS circuits

High performance and computational capability in the current generation processors are made possible by small feature sizes and high device density. To maintain the current drive strength and control the power dissipation in these processors, simultaneous scaling down of supply and threshold voltages is performed. High device density and low threshold voltages result in an increase in the leakage current dissipation. Large on chip caches are integrated onto the current generation processors which are becoming a major contributor to total leakage power. The proposed static power reduction technique, GALEOR (GAted LEakage TransistOR), reduces the leakage current flowing through the circuits. In the proposed leakage power technique, two gated leakage transistors are inserted between NMOS and PMOS circuitry of the existing circuit such that gates of the extra inserted transistors are connected to their respective drain regions. GALEOR technique was tested on standard cell gates and memory elements. Area overhead is minimized by eliminating the use of control logic to switch between the active and standby states. Performance overhead is increased due to the reduced output voltage swing.