nils-herrmann/clean_scirepeval huggingface dataset:
Rate, Timing, and Cooperativity Jointly Determine Cortical Synaptic Plasticity

Cortical long-term plasticity depends on firing rate, spike timing, and cooperativity among inputs, but how these factors interact during realistic patterns of activity is unknown. Here we monitored plasticity while systematically varying the rate, spike timing, and number of coincident afferents. These experiments demonstrate a novel form of cooperativity operating even when postsynaptic firing is evoked by current injection, and reveal a complex dependence of LTP and LTD on rate and timing. Based on these data, we constructed and tested three quantitative models of cortical plasticity. One of these models, in which spike-timing relationships causing LTP "win" out over those favoring LTD, closely fits the data and accurately predicts the build-up of plasticity during random firing. This provides a quantitative framework for predicting the impact of in vivo firing patterns on synaptic strength.
Document Modeling with Gated Recurrent Neural Network for Sentiment Classification

Document level sentiment classification remains a challenge: encoding the intrinsic relations between sentences in the semantic meaning of a document. To address this, we introduce a neural network model to learn vector-based document representation in a unified, bottom-up fashion. The model first learns sentence representation with convolutional neural network or long short-term memory. Afterwards, semantics of sentences and their relations are adaptively encoded in document representation with gated recurrent neural network. We conduct document level sentiment classification on four large-scale review datasets from IMDB and Yelp Dataset Challenge. Experimental results show that: (1) our neural model shows superior performances over several state-of-the-art algorithms; (2) gated recurrent neural network dramatically outperforms standard recurrent neural network in document modeling for sentiment
TABLA: A unified template-based framework for accelerating statistical machine learning

A growing number of commercial and enterprise systems increasingly rely on compute-intensive Machine Learning (ML) algorithms. While the demand for these compute-intensive applications is growing, the performance benefits from general-purpose platforms are diminishing. Field Programmable Gate Arrays (FPGAs) provide a promising path forward to accommodate the needs of machine learning algorithms and represent an intermediate point between the efficiency of ASICs and the programmability of general-purpose processors. However, acceleration with FPGAs still requires long development cycles and extensive expertise in hardware design. To tackle this challenge, instead of designing an accelerator for a machine learning algorithm, we present TABLA, a framework that generates accelerators for a class of machine learning algorithms. The key is to identify the commonalities across a wide range of machine learning algorithms and utilize this commonality to provide a high-level abstraction for programmers. TABLA leverages the insight that many learning algorithms can be expressed as a stochastic optimization problem. Therefore, learning becomes solving an optimization problem using stochastic gradient descent that minimizes an objective function over the training data. The gradient descent solver is fixed while the objective function changes for different learning algorithms. TABLA provides a template-based framework to accelerate this class of learning algorithms. Therefore, a developer can specify the learning task by only expressing the gradient of the objective function using our high-level language. Tabla then automatically generates the synthesizable implementation of the accelerator for FPGA realization using a set of hand-optimized templates. We use Tabla to generate accelerators for ten different learning tasks targeted at a Xilinx Zynq FPGA platform. We rigorously compare the benefits of FPGA acceleration to multi-core CPUs (ARM Cortex A15 and Xeon E3) and many-core GPUs (Tegra K1, GTX 650 Ti, and Tesla K40) using real hardware measurements. TABLA-generated accelerators provide 19.4x and 2.9x average speedup over the ARM and Xeon processors, respectively. These accelerators provide 17.57x, 20.2x, and 33.4x higher Performance-per-Watt in comparison to Tegra, GTX 650 Ti and Tesla, respectively. These benefits are achieved while the programmers write less than 50 lines of code.
Classifying ASR Transcriptions According to Arabic Dialect

We describe several systems for identifying short samples of Arabic dialects, which were prepared for the shared task of the 2016 DSL Workshop (Malmasi et al., 2016). Our best system, an SVM using character tri-gram features, achieved an accuracy on the test data for the task of 0.4279, compared to a baseline of 0.20 for chance guesses or 0.2279 if we had always chosen the same most frequent class in the test set. This compares with the results of the team with the best weighted F1 score, which was an accuracy of 0.5117. The team entries seem to fall into cohorts, with the all the teams in a cohort within a standard-deviation of each other, and our three entries are in the third cohort, which is about seven standard deviations from the top.
An Improvement of Data Classification Using Random Multimodel Deep Learning (RMDL)

The exponential growth in the number of complex datasets every year requires more enhancement in machine learning methods to provide robust and accurate data classification. Lately, deep learning approaches have achieved surpassing results in comparison to previous machine learning algorithms. However, finding the suitable structure for these models has been a challenge for researchers. This paper introduces Random Multimodel Deep Learning (RMDL): a new ensemble, deep learning approach for classification. RMDL solves the problem of finding the best deep learning structure and architecture while simultaneously improving robustness and accuracy through ensembles of deep learning architectures. In short, RMDL trains multiple randomly generated models of Deep Neural Network (DNN), Convolutional Neural Network (CNN) and Recurrent Neural Network (RNN) in parallel and combines their results to produce better result of any of those models individually. In this paper, we describe RMDL model and compare the results for image and text classification as well as face recognition. We used MNIST and CIFAR-10 datasets as ground truth datasets for image classification and WOS, Reuters, IMDB, and 20newsgroup datasets for text classification. Lastly, we used ORL dataset to compare the model performance on face recognition task.
A flame detection algorithm based on Bag-of-Features in the YUV color space

Computer vision-based fire detection involves flame detection and smoke detection. This paper proposes a new flame detection algorithm, which is based on a Bag-of-Features technique in the YUV color space. Inspired by that the color of flame in image and video will fall in certain regions in the color space, models of flame pixels and non-flame pixels are established based on code book in the training phase in our proposal. In the testing phase, the input image is split into some N×N blocks and each block is classified respectively. In each N×N block, the pixels values in the YUV color space are extracted as features, just as in the training phase. According to the experimental results, our proposed method can reduce the number of false alarms greatly compared with an alternative algorithm, while it also ensures the accurate classification of positive samples. The classification performance of our proposed method is better than that of alternative algorithms.
Big Data For Development: Applications and Techniques

With the explosion of social media sites and proliferation of digital computing devices and Internet access, massive amounts of public data is being generated on a daily basis. Efficient techniques/ algorithms to analyze this massive amount of data can provide near real-time information about emerging trends and provide early warning in case of an imminent emergency (such as the outbreak of a viral disease). In addition, careful mining of these data can reveal many useful indicators of socioeconomic and political events, which can help in establishing effective public policies. The focus of this study is to review the application of big data analytics for the purpose of human development. The emerging ability to use big data techniques for development (BD4D) promises to revolutionalize healthcare, education, and agriculture; facilitate the alleviation of poverty; and help to deal with humanitarian crises and violent conflicts. Besides all the benefits, the large-scale deployment of BD4D is beset with several challenges due to the massive size, fast-changing and diverse nature of big data. The most pressing concerns relate to efficient data acquisition and sharing, establishing of context (e.g., geolocation and time) and veracity of a dataset, and ensuring appropriate privacy. In this study, we provide a review of existing BD4D work to study the impact of big data on the development of society. In addition to reviewing the important works, we also highlight important challenges and open issues.
A State-of-the-Art of Semantic Change Computation

This paper reviews state-of-the-art of one emerging field in computational linguistics — semantic change computation, proposing a framework that summarizes the literature by identifying and expounding five essential components in the field: diachronic corpus, diachronic word sense characterization, change modelling, evaluation data and data visualization. Despite the potential of the field, the review shows that current studies are mainly focused on testifying hypotheses proposed in theoretical linguistics and that several core issues remain to be solved: the need for diachronic corpora of languages other than English, the need for comprehensive evaluation data for evaluation, the comparison and construction of approaches to diachronic word sense characterization and change modelling, and further exploration of data visualization techniques for hypothesis
Interpolation error compensation method for look-up table based IPMSM drive

In this paper, interpolation error compensation method for look-up table(LUT) based IPMSM(Interior Permanent Magnet Synchronous Motor) drive is proposed. Generally, the LUT based IPMSM drive is widely used on automotive application because of its reliable current control. However, the LUT data is memorized discreetly, so the linear interpolation method is used for the absent data condition. Because this interpolation method does not follow the PMSM operation trace, the error is unavoidable between the capable operation point and the interpolated output. This paper proposes the compensation method for this interpolation error. Simulation and Experiment are performed for verify the reliability of the proposed control method.
Compact Circularly Polarized Antennas Combining Meta-Surfaces and Strong Space-Filling Meta-Resonators

Reduced-size single-feed circularly-polarized (CP) patch antennas are proposed and investigated based on the strategy of combining meta-surfaces and meta-resonators owning strong space-filling capability. They all comprise a slot-loaded square patch printed over a well designed reactive impedance surface (artificial meta-surface with magnetic response at the resonant frequency) for improved antenna performances and size reduction. The complementary crossbar fractal tree (CCFT) slot and three-turn complementary spiral resonators (TCSRs) with asymmetric gap orientation are employed as meta-resonators to render the antennas to radiate CP waves in single-band or dual-band operation and to facilitate further miniaturization. Numerical and experimental results indicate that these antennas owning a maximum size of 0.262λ0 × 0.262λ0 around 3 GHz exhibit a comparable impedance and axial ratio (AR) bandwidth over 1.05% and high gain of more than 4.15 dBic, predicting promising applications in portable and handheld communication systems.
Categorical equational systems : algebraic models and equational reasoning

This dissertation is the result of my own work done under the guidance of my supervisor, and includes nothing which is the outcome of work done in collaboration except where specifically indicated in the text. This dissertation is not substantially the same as any that I have submitted or will be submitting for a degree or diploma or other qualification at this or any other University. This dissertation does not exceed the regulation length of 60,000 words, including tables and footnotes. 5 Summary We introduce two abstract notions of equational algebraic system, called Equational System (ES) and Term Equational System (TES), in order to achieve sufficient expressivity as needed in modern applications in computer science. These generalize the classical concept of (enriched) algebraic theory of Kelly and Power [1993]. We also develop a theory for constructing free algebras for ESs and a theory of equational reasoning for TESs. In Part I, we introduce the general abstract, yet practical, concept of equational system and develop finitary and transfinitary conditions under which we give an explicit construction of free algebras for ESs. This free construction extends the well-known construction of free algebras for ω-cocontinuous endofunctors to an equational setting, capturing the intuition that free algebras consist of freely constructed terms quotiented by given equations and congruence rules. We further show the monadicity and cocom-pleteness of categories of algebras for ESs under the finitary and transfinitary conditions. To illustrate the expressivity of equational systems, we exhibit various examples including two modern applications, the Σ-monoids of Fiore et al. [1999] and the π-algebras of Stark [2005]. In Part II, we introduce the more concrete notion of term equational system, which is obtained by specializing the concept of equational system, but remains more general than that of enriched algebraic theory. We first develop a sound logical deduction system, called Term Equational Logic (TEL), for equational reasoning about algebras of TESs. Then, to pursue a complete logic, we give an internal completeness result, from which together with the explicit construction of free algebras one can typically synthesize sound and complete rewriting-style equational logics. To exemplify this scenario, we give two applications: multi-sorted algebraic theories and nominal equational theories of Clouston and Pitts [2007] and of Gabbay and Mathijssen [2007]. 7 Acknowledgements First and foremost, I am deeply grateful to my Ph.D. supervisor Marcelo Fiore for his patient guidance and support, without which this thesis would …
Gender Differences in the Perception and Use of E-Mail: An Extension to the Technology Acceptance Model

This study extends Davis' (1989) TAM model and Straub's (1994) SPIR addendum by adding gender to an IT diffusion model. The Technology Acceptance Model (TAM) has been widely studied in IS research as an explanation of the use of information systems across IS-types and nationalities. While this line of research has found significant cross-cultural differences, it has ignored the effects of gender, even though in socio-linguistic research, gender is a fundamental aspect of culture. Indeed, sociolinguistic research that has shown that men tend to focus discourse on hierarchy and independence while women focus on intimacy and solidarity. This literature provides a solid grounding for conceptual extensions to the IT diffusion research and the Technology Acceptance Model. Testing gender differences that might relate to beliefs and use of computer-based media, the present study sampled 392 female and male responses via a cross-sectional survey instrument. The sample drew from comparable groups of knowledge workers using E-mail systems in the airline industry in North America, Asia, and Europe. Study findings indicate that women and men differ in their perceptions but not use of E-mail. These findings suggest that researchers should include gender in IT diffusion models along with other cultural effects. Managers and co-workers, moreover, need to realize that the same mode of communication may be perceived differently by the sexes, suggesting that more favorable communications environments might be created, environments that take into account not only organizational contextual factors, but also the gender of users. The creation of these environments involves not only the actual deployment of communication media, but also organizational training on communications media.
Direct voltage control of DC-DC boost converters using model predictive control based on enumeration

This paper presents a model predictive control (MPC) approach for the dc-dc boost converter. Based on a hybrid model of the converter suitable for both continuous and discontinuous conduction mode an objective function is formulated, which is to be minimized. The proposed MPC scheme, utilized as a voltage-mode controller, achieves regulation of the output voltage to its reference, without requiring a subsequent current control loop. Simulation and experimental results are provided to demonstrate the merits of the proposed control methodology, which include fast transient response and robustness.
Noticing Future Me: Reducing Egocentrism Through Mental Imagery.

People drastically overestimate how often others attend to them or notice their unusual features, a phenomenon termed the spotlight effect Despite the prevalence of this egocentric bias, little is known about how to reduce the tendency to see oneself as the object of others' attention. Here, we tested the hypothesis that a basic property of mental imagery-the visual perspective from which an event is viewed-may alleviate a future-oriented variant of the spotlight effect. The results of three experiments supported this prediction. Experiment 1 revealed a reduction in egocentric spotlighting when participants imagined an event in the far compared with near future. Experiments 2 and 3 demonstrated reduced spotlighting and feelings of embarrassment when participants viewed an impending event from a third-person (vs. first-person) vantage point. Simple changes in one's visual perspective may be sufficient to diminish the illusion of personal salience.
Lightweight, High-Force Gripper Inspired by Chuck Clamping Devices

In this letter, we present a novel gripper, whose design was inspired by chuck clamping devices, for transferring heavy objects and assembling parts precisely in industrial applications. The developed gripper is lightweight (0.9 kg), can manipulate heavy payloads (over 23 kgf), and can automatically align its position and posture via a grasping motion. A fingertip design criterion is presented for the position alignment, while a control strategy is presented for the posture alignment. With one actuator, this gripper realized the above features. This letter describes the mathematical analyses and experiments used to validate these key metrics.
Challenges of using homomorphic encryption to secure cloud computing

With the emergence of cloud computing, the concept of information security has become a major issue. Indeed, the security of such a system is the greatest concern of computer scientists, providers of cloud and organizations who want to adopt and benefit from these services. Cloud computing providers must implement concepts ensuring network security, hardware, data storage and strategies of control and access to services. All these elements help to preserve data security and ensuring the availability of services associated with the Cloud, to better satisfy clients and acquire and build their trust. However, even if the data storage security in cloud servers is assured, reluctance remain when it comes to process the confidential data. Indeed, the fear that sensitive data is being used is a major obstacle in the adoption of cloud services by enterprises. To overcome this obstacle, the use of methods that can perform operations on encrypted data without knowing the secret key, seems to be an effective way to strengthen the confidentiality of information. In this paper we will examine the challenges facing Homomorphic Encryption methods to allow suppliers of cloud to perform operations on encrypted data, and provide the same results after treatment, as if they were performing calculations on raw data.
A novel connectivity of deep convolutional neural networks

Residual network(ResNet) is an effective instance and a significant extension of deep convolutional neural network. ResNet utilizes skip-connection between input layers and output layers to solve the vanishing gradient problem. Due to the powerfulness of skip-connection, the gradient can flow directly through the identity function from later layers to the earlier layers. However, skip-connection makes ResNet overemphasizes the effect of the original input feature. In this paper, we further research the learning behavior of deep residual networks(ResNet) and proposed a novel connectivity pattern to replace skip-connection, which builds upon the success of interpreting the ResNet as an exponential ensemble of relatively shallow networks. The proposed method is implemented by making more input layers link with the output layer. The proposed method is called spare residual network(SRN). It generates model that is wider rather than deeper. The experimental results show that the proposed SRN can achieve impressive results on CIFAR-10, and outperform most of the existing architecture.
Mutation Spectrum and Phenotypic Features in Noonan Syndrome with PTPN11 Mutations: Definition of Two Novel Mutations.

To evaluate the spectrum of PTPN11 gene mutations in Noonan syndrome patients and to study the genotype-phenotype associations.



In this study, twenty Noonan syndrome patients with PTPN11 mutations were included. The patients underwent a detailed clinical and physical evaluation. To identify inherited cases, parents of all mutation positive patients were analyzed.



Thirteen different PTPN11 mutations, two of them being novel, were detected in the study group. These mutations included eleven missense mutations: p.G60A, p.D61N, p.Y62D, p.Y63C, p.E69Q, p.Q79R, p.Y279C,p.N308D, p.N308S, p.M504V, p.Q510R and two novel missense mutations: p.I56V and p.I282M. The frequency of cardiac abnormalities and short stature were found to be 80 % and 80 %, respectively. Mental retardation was not observed in patients having exon 8 mutations. No significant correlations were detected between other phenotypic features and genotypes.



By identifying genotype-phenotype correlations, this study provides information on phenotypes observed in NS patients with different PTPN11 mutations.