nils-herrmann/clean_scirepeval huggingface dataset:
Amortized Inference in Probabilistic Reasoning

Recent studies of probabilistic reasoning have postulated general-purpose inference algorithms that can be used to answer arbitrary queries. These algorithms are memoryless, in the sense that each query is processed independently, without reuse of earlier computation. We argue that the brain operates in the setting of amortized inference, where numerous related queries must be answered (e.g., recognizing a scene from multiple viewpoints); in this setting, memoryless algorithms can be computationally wasteful. We propose a simple form of flexible reuse, according to which shared inferences are cached and composed together to answer new queries. We present experimental evidence that humans exploit this form of reuse: the answer to a complex query can be systematically predicted from a person’s response to a simpler query if the simpler query was presented first and entails a sub-inference (i.e., a sub-component of the more complex query). People are also faster at answering a complex query when it is preceded by a sub-inference. Our results suggest that the astonishing efficiency of human probabilistic reasoning may be supported by interactions between inference and memory.
Low-light video image enhancement based on multiscale Retinex-like algorithm

The images taken in low-light environment always lose some details. Given that traditional multi-scale Retinex (MSR) algorithm always appears halo artifact in the edge area of the image, a multiscale Retinex-like is put forward for low-light video image enhancement. The proposed algorithm is operated in HSI color space. For Intensity layer, three Gaussian filters in traditional MSR algorithm are replaced by three guided filters to extract illumination component, then gets the reflection component, the sum of this two components as the new Intensity layer. For the Saturation layer, Gamma correction function is used to enhance Saturation, then the new HSI image is converted to RGB image. Four kinds of numerical methods are adopted to evaluate the images enhanced by different methods. The experimental results show that the proposed algorithm in terms of low-light image, not only makes the picture becomes clearer, but also extracts more image details. Furthermore the algorithm is more efficient.
IRSTLM: an open source toolkit for handling large scale language models

Research in speech recognition and machine translation is boosting the use of large scale n-gram language models. We present an open source toolkit that permits to efficiently handle language models with billions of n-grams on conventional machines. The IRSTLM toolkit supports distribution of ngram collection and smoothing over a computer cluster, language model compression through probability quantization, lazy-loading of huge language models from disk. IRSTLM has been so far successfully deployed with the Moses toolkit for statistical machine translation and with the FBK-irst speech recognition system. Efficiency of the tool is reported on a speech transcription task of Italian political speeches using a language model of 1.1 billion four-grams.
Two Possible Paradoxes in Numerical Comparisons of Optimization Algorithms

Comparison strategies of benchmarking optimization algorithms are considered. Two strategies, namely “C2” and “C2+”, are defined. Existing benchmarking methods can be regarded as different applications of them. Mathematical models are developed for both “C2” and “C2+”. Based on these models, two possible paradoxes, namely the cycle ranking and the survival of the non-fittest, are deduced for three optimization algorithms’ comparison. The probabilities of these two paradoxes are calculated. It is shown that the value and the parity of the number of test problems affect the probabilities significantly. When there are only dozens of test problems, there is about 75% probability to obtain a normal ranking result for three optimization algorithms’ numerical comparison, about 9% for cycle ranking, and 16% for survival of the non-fittest.
A 300 nW , 15 ppm / C , 20 ppm / V CMOS Voltage Reference Circuit Consisting of Subthreshold MOSFETs

A low-power CMOS voltage reference was developed using a 0.35 m standard CMOS process technology. The device consists of MOSFET circuits operated in the subthreshold region and uses no resistors. It generates two voltages having opposite temperature coefficients and adds them to produce an output voltage with a near-zero temperature coefficient. The resulting voltage is equal to the extrapolated threshold voltage of a MOSFET at absolute zero temperature, which was about 745 mV for the MOSFETs we used. The temperature coefficient of the voltage was 7 ppm/ C at best and 15 ppm/ C on average, in a range from 20 to 80 C. The line sensitivity was 20 ppm/V in a supply voltage range of 1.4–3 V, and the power supply rejection ratio (PSRR) was 45 dB at 100 Hz. The power dissipation was 0.3 W at 80 C. The chip area was 0.05 mm . Our device would be suitable for use in subthreshold-operated, power-aware LSIs.
Compact and power-efficient 5 GHz full-duplex design utilizing the 180° ring hybrid coupler

This paper presents a compact and power-efficient 5 Ghz in-band full-duplex (FD) design in ANSYS HFSS using the 180-degree ring hybrid coupler. The proposed design achieves an excellent isolation of 57dB by taking advantage of destructive interference between two radiating antennas attached to the coupler, leading to a large reduction in self-interference. The design is passive and hence overcomes additional power requirement for adaptive channel estimation. In addition, it has a very workable physical size for the desired frequency of operation. The proposed FD design is therefore compact and power-efficient, which can be used in mobile devices, such as cell phones or tablet/phablet devices for a more flexible and greater contention of scarce RF resources.
PERFORMANCE ANALYSIS OF CHAOTIC CHIRP SPREAD SPECTRUM SYSTEM IN MULTIPATH ENVIRONMENT

Wireless channels often include multipath propagation, in which the signal has more than one path from the transmitter to the receiver. Atmospheric reflection or refraction, as well as reflection from the ground or from objects such as buildings may cause this phenomena. The aim of this research is to study the effects of multipath environment on the performance of a proposed chaotic chirp spread spectrum system (CCSSS). The benchmark performance of the proposed system is investigated in term of bit error rate (BER) under multipath environment. A Quadrature Phase Shift Keying (QPSK) modulation scheme and a matched filter based on adaptive threshold decision were used in this work. To assess the performance of this system, simulations were performed to compare the proposed system with the traditional frequency modulation differential chaotic shift keying (DCSK) spread spectrum system. The proposed system may be considered as a well qualified communication system in multipath environment.
A wireless electrocardiogram detection for personal health monitoring

The current paper presents low-power analog integrated circuits (ICs) for wireless electrocardiogram (ECG) detection in personal health monitoring. Considering the power-efficient communication in the body sensor network (BSN), the required low-power analog ICs are developed for a healthcare system through miniaturization and system integration. The proposed system comprises the design and implementation with three subsystems, namely, (1) the ECG acquisition node, (2) the protocol for standard IEEE 802.15.4 ZigBee system, and (3) the radio frequency (RF) transmitter circuits. A preamplifier, a low-pass filter, and a successive-approximation analog-to-digital converter (SA-ADC) are integrated to detect an ECG signal. For high integration, the ZigBee protocol is adopted for wireless communication. To transmit the ECG signal through wireless communication, a quadrature voltage-controlled oscillator and a 2.4 GHz low-IF transmitter with a power amplifier and up-conversion mixer are also developed. In the receiver, a 2.4 GHz fully integrated CMOS radio-frequency front-end with a low-noise amplifier, and a quadrature mixer is proposed. The low-power wireless bio-signal acquisition SoC (WBSA-SoC) has been implemented in TSMC 0.18-μm standard CMOS process. The measurement results on the human body reveal that the ECG signals can be acquired effectively by the proposed SoC.
Driver head pose estimation using efficient descriptor fusion

A great interest is focused on driver assistance systems using the head pose as an indicator of the visual focus of attention and the mental state. In fact, the head pose estimation is a technique allowing to deduce head orientation relatively to a view of camera and could be performed by model-based or appearance-based approaches. Modelbased approaches use a face geometrical model usually obtained from facial features, whereas appearance-based techniques use the whole face image characterized by a descriptor and generally consider the pose estimation as a classification problem. Appearance-based methods are faster andmore adapted to discrete pose estimation. However, their performance depends strongly on the head descriptor, which should be well chosen in order to reduce the information about identity and lighting contained in the face appearance. In this paper, we propose an appearancebased discrete head pose estimation aiming to determine the driver attention level from monocular visible spectrum images, even if the facial features are not visible. Explicitly, we first propose a novel descriptor resulting from the fusion of four most relevant orientation-based head descriptors, namely the steerable filters, the histogram of oriented gradients (HOG), the Haar features, and an adapted version of speeded up robust feature (SURF) descriptor. Second, in order to derive a compact, relevant, and consistent subset of descriptor’s features, a comparative study is conducted on some well-known feature selection algorithms. Finally, the obtained subset is subject to the classification process, performed by the support vector machine (SVM), to learn head pose variations. As we show in experiments with the public database (Pointing’04) as well as with our real-world sequence, our approach describes the head with a high accuracy and provides robust estimation of the head pose, compared to state-of-the-art methods.
Short-Term Traffic Volume Forecasting Using Kalman Filter with Discrete Wavelet Decomposition

This article investigates the application of Kalman filter with discrete wavelet analysis in short-term traffic volume forecasting. Short-term traffic volume data are often corrupted by local noises, which may significantly affect the prediction accuracy of short-term traffic volumes. Discrete wavelet decomposition analysis is used to divide the original data into several approximate and detailed data such that the Kalman filter model can then be applied to the denoised data and the prediction accuracy can be improved. Two types of wavelet Kalman filter models based on Daubechies 4 and Haar mother wavelets are investigated. Traffic volume data collected from four different locations are used for comparison in this study. The test results show that both proposed wavelet Kalman filter models outperform the direct Kalman filter model in terms of mean absolute percentage error and root mean square error.
Evaluating Induced CCG Parsers on Grounded Semantic Parsing

We compare the effectiveness of four different syntactic CCG parsers for a semantic slotfilling task to explore how much syntactic supervision is required for downstream semantic analysis. This extrinsic, task-based evaluation provides a unique window to explore the strengths and weaknesses of semantics captured by unsupervised grammar induction systems. We release a new Freebase semantic parsing dataset called SPADES (Semantic PArsing of DEclarative Sentences) containing 93K cloze-style questions paired with answers. We evaluate all our models on this dataset. Our code and data are available at https://github.com/ sivareddyg/graph-parser.
Digital Business Strategy and Value Creation: Framing the Dynamic Cycle of Control Points

Within changing value networks, the profits and competitive advantages of participation reside dynamically at control points that are the positions of greatest value and/or power. The enterprises that hold these positions have a great deal of control over how the network operates, how the benefits are redistributed, and how this influences the execution of a digital business strategy. This article is based on a field study that provides preliminary, yet promising, empirical evidence that sheds light on the dynamic cycle of value creation and value capture points in digitally enabled networks in response to triggers related to technology and business strategy. We use the context of the European and U.S. broadcasting industry. Specifically, we illustrate how incremental innovations may shift value networks from static, vertically integrated networks to more loosely coupled networks, and how cross-boundary industry disruptions may then, in turn, shift those to two-sided markets. Based on our analysis we provide insights and implications for digital business strategy research and practice.
Low-light image enhancement using variational optimization-based Retinex model

This paper presents a low-light image enhancement method using the variational-optimization-based Retinex algorithm. The proposed enhancement method first estimates the initial illumination and uses its gamma corrected version to constrain the illumination component. Next, the variational-based minimization is iteratively performed to separate the reflectance and illumination components. The color assignment of the estimated reflectance component is then performed to restore the color component using the input RGB color channels. Experimental results show that the proposed method can provide better enhanced result without saturation, noise amplification or color distortion.
XBOS: An Extensible Building Operating System

We present XBOS, an eXtensible Building Operating System for integrated management of previously isolated building subsystems. The key contribution of XBOS is the development of the Building Profile, a canonical, executable description of a building and its subsystems that changes with a building and evolves the control processes and applications accordingly. We discuss the design and implementation of XBOS in the context of 6 dimensions of an effective BAS – hardware presentation layer, canonical metadata, control process management, building evolution management, security, scalable UX and API – and evaluate against several recent building and sensor management systems. Lastly, we examine the evolution of a real, 10 month deployment of XBOS in a 7000 sq ft office building.
A survey on ontologies for human behavior recognition

Describing user activity plays an essential role in ambient intelligence. In this work, we review different methods for human activity recognition, classified as data-driven and knowledge-based techniques. We focus on context ontologies whose ultimate goal is the tracking of human behavior. After studying upper and domain ontologies, both useful for human activity representation and inference, we establish an evaluation criterion to assess the suitability of the different candidate ontologies for this purpose. As a result, any missing features, which are relevant for modeling daily human behaviors, are identified as future challenges.
Efficient Hierarchical Identity-Based Signature With Batch Verification for Automatic Dependent Surveillance-Broadcast System

The automatic-dependent surveillance-broad-cast (ADS-B) is generally regarded as the most important module in air traffic surveillance technology. To obtain better airline security, ADS-B system will be deployed in most airspace by 2020, where aircraft will be equipped with an ADS-B device that periodically broadcasts messages to other aircraft and ground station controllers. Due to the open communication environment, the ADS-B system is subject to a broad range of attacks. To simultaneously implement both integrity and authenticity of messages transmitted in the ADS-B system, Yang et al. proposed a new authentication frame based on the three-level hierarchical identity-based signature (TLHIBS) scheme with batch verification, as well as constructing two schemes for the ADS-B system. However, neither TLHIBS schemes are sufficiently lightweight for practical deployment due to the need for complex hash-to-point operation or expensive certification management. In this paper, we construct an efficient TLHIBS scheme with batch verification for the ADS-B system. Our scheme does not require hash-to-point operation or (expensive) certification management. We then prove the TLHIBS scheme secure in the random oracle model. We also demonstrate the practicality of the scheme using experiments, whose findings indicate that the TLHIBS scheme supports attributes required by the ADS-B system without the computation cost in Chow et al.'s scheme and Yang et al.'s TLHIBS schemes.
A Hardware Platform for Evaluating Low-Energy Multiprocessor Embedded Systems Based on COTS Devices

Embedded systems are usually energy constrained. Moreover, in these systems, increased productivity and reduced time to market are essential for product success. To design complex embedded systems while reducing the development time and cost, there is a great tendency to use commercial off-the-shelf (“COTS”) devices. At system level, dynamic voltage and frequency scaling (DVFS) is one of the most effective techniques for energy reduction. Nonetheless, many widely used COTS processors either do not have DVFS or apply DVFS only to processor cores. In this paper, an easy-to-implement COTS-based evaluation platform for low-energy embedded systems is presented. To achieve energy saving, DVFS is provided for the whole microcontroller (including core, phase-locked loop, memory, and I/O). In addition, facilities are provided for experimenting with fault-tolerance techniques. The platform is equipped with energy measurement and debugging equipment. Physical experiments show that applying DVFS on the whole microcontroller provides up to 47% and 12% energy saving compared with the sole use of dynamic power management and applying DVFS only on the core, respectively. Although the platform is designed for ARM-based embedded systems, our approach is general and can be applied to other types of systems.
Analysis of TF-IDF Model and its Variant for Document Retrieval

An Information Retrieval System is a system that is capable of storage, retrieval, and maintenance of an Information. In this context Information can be composed of text (including numeric and date data), images, audio, video and other multi-media objects. The TF-IDF weight is a statistical measure used to evaluate how important a word is to a document in a collection or corpus. There exist various models for weighting terms of corpus documents and query terms. This work is carried out to analyze and evaluate the retrieval effectiveness of vector -- space model while using the new data set of FIRE 2011. The experiments were performed with TF-IDF and its variants. For all experiments and evaluation the open search engine, Terrier 3.5 was used. Our result shows that TF-IDF model gives the highest precision values with the new corpus dataset.
Biology of language-The epistemology of reality

2. What processes take place in a linguistic interaction that permit an organism (us) to describe and to predict events that it may experience? This is my way of honoring the memory of Eric H. Lenneberg, if one honors the memory of another scientist by speaking about one’s own work Whatever the case, I wish to honor his memory not only because of his great accomplishments, but also because he was capable of inspiring his students, as the symposium on which this book is based revealed. The only way I can do this is to accept the honor of presenting my views about biology, language, and reality. I shall, accordingly, speak about language as a biologist. In doing so, I shall use language, notwithstanding that this use of language to speak about language is within the core of the problem I wish to consider.
Simple and effective visual question answering in a single modality

Visual question answering (VQA) comes as a result of great development in computer vision and natural language processing, which requires deep understanding of images and questions and effective integration of them. Current works on VQA simply concatenated visual and textual features or compared them via dot product, which were unable to eliminate the semantic difference between them. We argue to transfer VQA problem into a single modality and propose a simple and effective baseline method, utilizing Long Short-Term Memory (LSTM) properties to filter particular information specified by questions in the generic descriptions of the image. We provide thorough analysis and extensive experiments on VQA benchmark dataset to discuss performance of different methods and prove the effectiveness of our proposed method.
Parking Guidance System Based on ZigBee and Geomagnetic Sensor Technology

Concerning the phenomenon that common parking service could not satisfy the increasing demand of the private vehicle owners, an intelligent parking guidance system based on Zig Bee network and geomagnetic sensors was designed. Real-time vehicle position and related traffic information were collected by geomagnetic sensors around parking lots and updated to center server via Zig Bee network. On the other hand, out-door Liquid Crystal Display screens controlled by center server can display information of available parking places. In this paper, guidance strategy was divided into four levels, which could provide clear and effective information to drivers. The experimental results prove that the distance detection accuracy of geomagnetic sensors was within 0.4m, and the lowest package loss rate of the wireless network in the range of 150m is 0%. This system can provide solution for better parking service in intelligent cities.
Bipolar transistor gain influence on the high temperature thermal stability of HV-BiGTs

In this paper we present the detailed investigation of the influence of the internal bipolar PNP transistor gain on the thermal stability of high voltage IGBTs and BiGTs. The bipolar gain is controlled by means of anode and buffer design and by the introduction of anode shorts. The influence of the different buffer and anode doping profiles and the different layouts in the case of anode-shorted designs are analyzed. Temperature dependent leakage current measurements confirm that the lowering of the leakage current and its subsequent weak temperature dependency can be achieved by buffer and anode engineering albeit with certain design trade-off restrictions. Nevertheless, another effective approach for suppressing the leakage current and its dependency on temperature is achieved by the introduction of anode shorts as demonstrated in reverse conducting IGBT or BiGT structures. Such designs eliminate to a large extent the internal bipolar transistor action in the BiGT anode shorted designs while allowing different anode and buffer doping profiles for the design trade-offs. Despite the fact that the lifetime control in the BiGT drift region causes the leakage current to increase, the temperature coefficient remains unchanged, hence, making the hard switched BiGT suitable for high temperature operation.