nils-herrmann/clean_scirepeval huggingface dataset:
Does CloudSim Accurately Model Micro Datacenters?

Novel cloud computing algorithms and techniques are initially evaluated via testbeds, simulators and mathematical models of datacenter infrastructure. However, it can be difficult to perform cross validation of these platforms against realistic scale infrastructures due to the prohibitive costs involved. This paper describes an approach to evaluating a cloud simulator through an empirical study involving a micro datacenter of commodity Raspberry Pi devices. To demonstrate the methodology, we compare performance of real-world workloads on this physical infrastructure against corresponding models of the workloads and infrastructure on the CloudSim simulator. After modelling a Raspberry Pi micro datacenter in CloudSim, we claim that the simulator lacks sufficient accuracy for cloud infrastructure experiments.
A formal verification framework for static analysis

Static analysis tools, such as resource analyzers, give useful information on software systems, especially in real-time and safety-critical applications. Therefore, the question of the reliability of the obtained results is highly important. State-of-the-art static analyzers typically combine a range of complex techniques, make use of external tools, and evolve quickly. To formally verify such systems is not a realistic option. In this work, we propose a different approach whereby, instead of the tools, we formally verify the results of the tools. The central idea of such a formal verification framework for static analysis is the method-wise translation of the information about a program gathered during its static analysis into specification contracts that contain enough information for them to be verified automatically. We instantiate this framework with costa, a state-of-the-art static analysis system for sequential Java programs, for producing resource guarantees and KeY, a state-of-the-art verification tool, for formally verifying the correctness of such resource guarantees. Resource guarantees allow to be certain that programs will run within the indicated amount of resources, which may refer to memory consumption, number of instructions executed, etc. Our results show that the proposed tool cooperation can be used for automatically producing verified resource guarantees.
Interpenetrating network hydrogel membranes of sodium alginate and poly(vinyl alcohol) for controlled release of prazosin hydrochloride through skin.

Interpenetrating network (IPN) hydrogel membranes of sodium alginate (SA) and poly(vinyl alcohol) (PVA) were prepared by solvent casting method for transdermal delivery of an anti-hypertensive drug, prazosin hydrochloride. The prepared membranes were thin, flexible and smooth. The X-ray diffraction studies indicated the amorphous dispersion of drug in the membranes. Differential scanning calorimetric analysis confirmed the IPN formation and suggests that the membrane stiffness increases with increased concentration of glutaraldehyde (GA) in the membranes. All the membranes were permeable to water vapors depending upon the extent of cross-linking. The in vitro drug release study was performed through excised rat abdominal skin; drug release depends on the concentrations of GA in membranes. The IPN membranes extended drug release up to 24 h, while SA and PVA membranes discharged the drug quickly. The primary skin irritation and skin histopathology study indicated that the prepared IPN membranes were less irritant and safe for skin application.
Attributing Conversion Credit in an Online Environment: An Analysis and Classification

In the context of marketing, attribution is the process of quantifying the value of marketing activities relative to the final outcome. It is a topic rapidly growing in importance as acknowledged by the industry. However, despite numerous tools and techniques designed for its measurement, the absence of a comprehensive assessment and classification scheme persists. Thus, we aim to bridge this gap by providing an academic review to accumulate and comprehend current knowledge in attribution modeling, leading to a road map to guide future research, expediting new knowledge creation.
Sentence Comprehension: A Parallel Distributed Processing Approach

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material. In this paper, we review basic aspects of conventional approaches to sentence comprehension and point out some of the difficulties faced by models that take these approaches. We then describe an alternative approach, based on the principles of parallel distributed processing, and show how it offers different answers to basic questions about the nature of the language processing mechanism. We describe an illustrative simulation model that captures the key characteristics of the approach, and illustrate how it can cope with the difficulties faced by conventional models. We describe alternative ways of conceptualising basic aspects of language processing within the framework of this approach, consider how it can address several arguments that might be brought to bear against it, and suggest avenues for future development.
Aging in Place: Evolution of a Research Topic Whose Time Has Come

Over the past 30 years, policy makers and professionals who provide services to older adults with chronic conditions and impairments have placed greater emphasis on conceptualizing aging in place as an attainable and worthwhile goal. Little is known, however, of the changes in how this concept has evolved in aging research. To track trends in aging in place, we examined scholarly articles published from 1980 to 2010 that included the concept in eleven academic gerontology journals. We report an increase in the absolute number and proportion of aging-in-place manuscripts published during this period, with marked growth in the 2000s. Topics related to the environment and services were the most commonly examined during 2000-2010 (35% and 31%, resp.), with a substantial increase in manuscripts pertaining to technology and health/functioning. This underscores the increase in diversity of topics that surround the concept of aging-in-place literature in gerontological research.
The out-of-body experience: disturbed self-processing at the temporo-parietal junction.

Folk psychology postulates a spatial unity of self and body, a "real me" that resides in one's body and is the subject of experience. The spatial unity of self and body has been challenged by various philosophical considerations but also by several phenomena, perhaps most notoriously the "out-of-body experience" (OBE) during which one's visuo-spatial perspective and one's self are experienced to have departed from their habitual position within one's body. Here the authors marshal evidence from neurology, cognitive neuroscience, and neuroimaging that suggests that OBEs are related to a failure to integrate multisensory information from one's own body at the temporo-parietal junction (TPJ). It is argued that this multisensory disintegration at the TPJ leads to the disruption of several phenomenological and cognitive aspects of self-processing, causing illusory reduplication, illusory self-location, illusory perspective, and illusory agency that are experienced as an OBE.
Beyond the Transfer-and-Merge Wordnet Construction: plWordNet and a Comparison with WordNet

Wordnets are lexico-semantic resources essential in many NLP tasks. Princeton WordNet is the most widely known, and the most influential, among them. Wordnets for languages other than English tend to adopt unquestioningly WordNet’s structure and its net of lexicalised concepts. We discuss a large wordnet constructed independently of WordNet, upon a model with a small yet significant difference. A mapping onto WordNet is under way; the large portions already linked open up a unique perspective on the comparison of similar but not fully compatible lexical resources. We also try to characterise numerically a wordnet’s aptitude for NLP applications.
Learned D-AMP: Principled Neural Network based Compressive Image Recovery

Compressive image recovery is a challenging problem that requires fast and accurate algorithms. Recently, neural networks have been applied to this problem with promising results. By exploiting massively parallel GPU processing architectures and oodles of training data, they can run orders of magnitude faster than existing techniques. However, these methods are largely unprincipled black boxes that are difficult to train and often-times specific to a single measurement matrix. It was recently demonstrated that iterative sparse-signal-recovery algorithms can be “unrolled” to form interpretable deep networks. Taking inspiration from this work, we develop a novel neural network architecture that mimics the behavior of the denoising-based approximate message passing (D-AMP) algorithm. We call this new network Learned D-AMP (LDAMP). The LDAMP network is easy to train, can be applied to a variety of different measurement matrices, and comes with a state-evolution heuristic that accurately predicts its performance. Most importantly, it outperforms the state-of-the-art BM3D-AMP and NLR-CS algorithms in terms of both accuracy and run time. At high resolutions, and when used with sensing matrices that have fast implementations, LDAMP runs over 50× faster than BM3D-AMP and hundreds of times faster than NLR-CS.
An unobtrusive vision system to reduce the cognitive burden of hand prosthesis control

This paper introduces an inexpensive prosthetic hand control system designed to reduce the cognitive burden on amputees. It is designed around a vision-based object recognition system with an embedded camera that automates grasp selection and switching, and an inexpensive mechanomyography (MMG) sensor for hand opening and closing. A prototype has been developed and implemented to select between two different grasp configurations for the Bebionic V2 hand, developed by RSLSteeper. Pick and place experiments on 6 different objects in `Power' and `Pinch' grasps were used to assess feasibility on which to base full system development. Experimentation demonstrated an overall accuracy of 84.4% for grasp selection between pairs of objects. The results showed that it was more difficult to classify larger objects due to their size relative to the camera resolution. The grasping task became more accurate with time, indicating learning capability when estimating the position and trajectory of the hand for correct grasp selection; however further experimentation is required to form a conclusion. The limitation of this involves the use of unnatural reaching trajectories for correct grasp selection. The success in basic experimentation provides the proof of concept required for further system development.
Prediction of discharge outcome with the full outline of unresponsiveness (FOUR) score in neurosurgical patients.

To identify the diagnostic properties of the Full Outline of Unresponsiveness (FOUR) score and the discharge outcome, 318 patients were studied. The evaluators rated the patients on admission or when they had mental status alteration with the FOUR score. The course of treatment was determined based on the clinical. The mortality rate and Glasgow Outcome Scale were recorded. Adjusted regression models and prognostic performance were tested by calculation of the receiver operating characteristic curve. One-hundred and twenty-two patients (40.1%) had a poor outcome defined as a Glasgow Outcome Scale score from 3-5, and 38 patients (12.5%) died. The area under the characteristic curve (AUC) for poor outcome and in-hospital mortality were 0.88 (95% CI, 0.83-0.92) and 0.92 (95% CI, 0.87-0.97). The cut-off point of 14 showed sensitivity and specificity of the total FOUR score predicting poor outcomes at 0.77 (95% CI, 0.69-0.84) and 0.95 (95% CI, 0.90-0.97), while the cut-off point of 10 showed the values for in-hospital mortality at 0.71 (95% CI, 0.55-0.83) and 0.93 (95% CI, 0.90-0.96). The total FOUR score showed satisfactory prognostic value for predicting outcome. The cut-off points for the poor outcome and in-hospital mortality are 14 and 10, respectively.
Prediction of Pavement Performance through Neuro-Fuzzy Reasoning

Government agencies and consulting companies in charge of pavement management face the challenge of maintaining pavements in serviceable conditions throughout their life from the functional and structural standpoints. For this, the assessment and prediction of the pavement conditions are crucial. This study proposes a neuro-fuzzy model to predict the performance of flexible pavements using the parameters routinely collected by agencies to characterize the condition of an existing pavement. These parameters are generally obtained by performing falling weight deflectometer tests and monitoring the development of distresses on the pavement surface. The proposed hybrid model for predicting pavement performance was characterized by multilayer, feedforward neural networks that led the reasoning process of the IF-THEN fuzzy rules. The results of the neuro-fuzzy model were superior to those of the linear regression model in terms of accuracy in the approximation. The proposed neuro-fuzzy model showed good generalization capability, and the evaluation of the model performance produced satisfactory results, demonstrating the efficiency and potential of these new mathematical modeling techniques.
Scattering of an electromagnetic plane wave by a Luneburg lens. I. Ray theory.

For a plane wave incident on either a Luneburg lens or a modified Luneburg lens, the magnitude and phase of the transmitted electric field are calculated as a function of the scattering angle in the context of ray theory. It is found that the ray trajectory and the scattered intensity are not uniformly convergent in the vicinity of edge ray incidence on a Luneburg lens, which corresponds to the semiclassical phenomenon of orbiting. In addition, it is found that rays transmitted through a large-focal-length modified Luneburg lens participate in a far-zone rainbow, the details of which are exactly analytically soluble in ray theory. Using these results, the Airy theory of the modified Luneburg lens is derived and compared with the Airy theory of the rainbows of a homogeneous sphere.
Applying LSTM to Time Series Predictable through Time-Window Approaches

Long Short-Term Memory (LSTM) is able to solve many time series tasks unsolvable by feed-forward networks using xed size time windows. Here we nd that LSTM's superiority does not carry over to certain simpler time series prediction tasks solvable by time window approaches: the Mackey-Glass series and the Santa Fe FIR laser emission series (Set A). This suggests to use LSTM only when simpler traditional approaches fail.
Medical device standards' requirements for traceability during the software development lifecycle and implementation of a traceability assessment model

Developing safety critical software is a complex process. Due to the fact that medical device software failure can lead to catastrophic consequences, numerous standards have been developed which govern software development in the medical device domain. Risk management has an important role in medical device software development as it is important to ensure that safe software is developed. Demonstrating traceability of requirements right throughout the medical device software development and maintenance lifecycles is an important part of demonstrating that ‘safe’ software has been produced through adopting defined processes. Consequently, medical device standards and guidelines emphasise the need for traceability. This paper outlines the extent and diversity of traceability requirements within medical device standards and guidelines, and identifies the requirements for traceability through each phase of the software development lifecycle. The paper also summarises the findings obtained when a lightweight assessment method (MedTrace), that we created, based upon the traceability practices within these standards, was implemented in two SME organisations. Finally we highlight how the findings indicate a lack of guidance as to what is required when implementing and maintaining a traceability process.
Plants used in cosmetics.

This review describes the use of some natural products in cosmetic preparations, due to their low mammalian toxicity, with a brief description of the major use, plant parts used, the actives responsible for effect and the benefits of such products. Their use in skin care; such as dryness, eczema, acne, free-radical scavenging, antiinflammatory, antiaging and skin protection effects are explained, and also the use in hair care as hair growth stimulants, hair colorants, and for hair and scalp complaints such as dandruff. Essential oils when incorporated into finished products impart many benefits such as a pleasant aroma in perfumery, shine or conditioning effects in hair care products, emolliency and improving the elasticity of the skin.
Nutrients as novel therapeutic approaches for metabolic disturbances in polycystic ovary syndrome

Polycystic ovary syndrome (PCOS) is one of the most common endocrine disorders among women. This disease is characterized by infertility, menstrual dysfunction, and hyperandrogenism. Also, PCOS is often associated with hyperlipidemia and impaired glucose tolerance, conditions that are associated with cardiovascular disorder, type 2 diabetes, cancer and hypertension. Evidence supports that some nutrients may affect the hormonal and metabolic disturbances of PCOS. Here in this study, we aimed to review the available literature that assessed the nutrients such as inostol, isoflavonids, resveratrol, vitamin D, and PUFA (polyunsaturated fatty acids), known to influence the hormonal and metabolic disturbances of PCOS, along with the strategies and future directions of nutrient supplementations in such patients.
The Design and Operation of the IEEE 802.22.1 Disabling Beacon for the Protection of TV Whitespace Incumbents

Recent proposed rulemakings from the Federal Communications Commission in the United States offers the hope of unique access to valuable spectrum; so-called television whitespace (TVWS). Use of this spectrum is contingent upon the protection of the incumbent occupants of the proposed allocation. Television signals are among the most powerful terrestrial RF transmissions on Earth. Even so, detection of these signals to the required levels sufficient to protect these services has proven daunting. Supplemental techniques, such as geo-location, mitigate these challenges for fixed TV broadcast; however, other nomadic low power incumbents also occupy the TVWS spectrum. The most common of these are wireless microphones, a subset of which are licensed and entitled to protection. These devices are allowed a maximum conducted power level of 50 mW and 250 mW on the VHF and UHF channels, respectively. Critical to day-to-day television operations, these devices must also be afforded protection from unlicensed transmitters. Wireless microphones often operate at power levels of 25 mW or less, with inefficient antennas placed physically near the body, yielding effective radiated power levels of 5 to 10 mW, often times even less. In addition, the emissions from these devices are often audio-companded FM, making legitimate, licensed operations indistinguishable from narrowband unlicensed transmissions and other discrete carriers. To that end the IEEE 802.22 working group established task group 1 (TG1) to develop a standard for a protective, disabling beacon method capable of insuring detection of legitimate devices.
Technologies to keep an eye on: alternative hosts for protein production in structural biology.

The conduct of many trials for the successful production of large quantities of pure proteins for structural biology and biotechnology applications, particularly of active, authentically processed enzymes, large eukaryotic multi-subunit complexes and membrane proteins, has spurred the development of recombinant expression systems. Beyond the well-established Escherichia coli, mammalian cell culture and baculovirus-infected insect cell expression systems, a plethora of alternative expression systems has been discovered, engineered, matured and deployed, resulting in crystal, nuclear magnetic resonance, and electron microscopy structures. In this review, we visit alternative expression hosts for structural biology ranging from bacteria and archaea to filamentous and unicellular yeasts and protozoa, with particular emphasis on their applicability to the structural determination of high-value, challenging proteins and complexes.
MATLAB Toolbox implementation and interface for motion control of KUKA KR6- R900-SIXX robotic manipulator

MATLAB Toolbox functions and communication tools are developed, interfaced, and tested for the motion control of KUKA KR6-R900-SIXX.. This KUKA manipulator has a new controller version that uses KUKA.RobotSensorInterface s KUKA.RobotSensorInterface package to connect the KUKA controller with a remote PC via UDP/IP Ethernet connection. This toolbox includes many functions for initialization, networking, forward kinematics, inverse kinematics and homogeneous transformation.
A 33-year follow-up of narcotics addicts.

This study examined longitudinal patterns of heroin use, other substance use, health, mental health, employment, criminal involvement, and mortality among heroin addicts.



The sample was composed of 581 male heroin addicts admitted to the California Civil Addict Program (CAP) during the years 1962 through 1964; CAP was a compulsory drug treatment program for heroin-dependent criminal offenders. This 33-year follow-up study updates information previously obtained from admission records and 2 face-to-face interviews conducted in 1974-1975 and 1985-1986; in 1996-1997, at the latest follow-up, 284 were dead and 242 were interviewed.



In 1996-1997, the mean age of the 242 interviewed subjects was 57.4 years. Age, disability, years since first heroin use, and heavy alcohol use were significant correlates of mortality. Of the 242 interviewed subjects, 20.7% tested positive for heroin (with additional 9.5% urine refusal and 14.0% incarceration, for whom urinalyses were unavailable), 66.9% reported tobacco use, 22.1% were daily alcohol drinkers, and many reported illicit drug use (eg, past-year heroin use was 40.5%; marijuana, 35.5%; cocaine, 19.4%; crack, 10.3%; amphetamine, 11.6%). The group also reported high rates of health problems, mental health problems, and criminal justice system involvement. Long-term heroin abstinence was associated with less criminality, morbidity, psychological distress, and higher employment.



While the number of deaths increased steadily over time, heroin use patterns were remarkably stable for the group as a whole. For some, heroin addiction has been a lifelong condition associated with severe health and social consequences.