nils-herrmann/clean_scirepeval huggingface dataset:
Modeling Rational Agents within a BDI-Architecture

Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational agents as they seek to attain their goals. In this paper, a formalization of intentions based on a branching-time possible-worlds model is presented. It is shown how the formalism realizes many of the important elements of Bratman's theory of intention. In particular, the notion of intention developed here has equal status with the notions of belief and desire, and cannot be reduced to these concepts. This allows di erent types of rational agents to be modeled by imposing certain conditions on the persistence of an agent's beliefs, goals, and intentions. Finally, the formalism is compared with Bratman's theory of intention and Cohen and Levesque's formalization of intentions.
New brushless alternator for automotive applications

The main contribution of this paper is the description, design and experimental testing of a new brushless synchronous generator with no permanent magnets. Such an alternator is particularly attractive for automotive applications where brushes create liabilities such as reliability, limited lifetime and low field current through brushes. Due to the increasing power demand, there has been a growing interest in new alternator technologies that can replace the Lundell (or claw-pole) alternator. The alternator presented here has the potential to overcome the efficiency and power rating limits associated with the Lundell alternator without added manufacturing cost. This paper presents the design, control and electrical performance of such an alternator including analysis and experimental results.
A Genetic Algorithm for a 2 D Industrial Packing Problem

Cutting and packing problems are encountered in many industries, with different industries incorporating different constraints and objectives. The wood-, glassand paper industry are mainly concerned with the cutting of regular figures, whereas in the ship building, textile and leather industry irregular, arbitrary shaped items are to be packed. In this paper two genetic algorithms are described for a rectangular packing problem. Both GAs are hybridised with a heuristic placement algorithm, one of which is the well-known Bottom-Left routine. A second placement method has been developed which overcomes some of the disadvantages of the Bottom-Left rule. The two hybrid genetic algorithms are compared with heuristic placement algorithms. In order to show the effectiveness of the design of the two genetic algorithms, their performance is compared to random search.
Role-Based Access Control ( RBAC ) : Features and Motivations

The central notion of Role-Based Access Control (RBAC) is that users do not have discretionary access to enterprise objects. Instead, access permissions are administratively associated with roles, and users are administratively made members of appropriate roles. This idea greatly simplifies management of authorization while providing an opportunity for great flexibility in specifying and enforcing enterprisespecific protection policies. Users can be made members of roles as determined by their responsibilities and qualifications and can be easily reassigned from one role to another without modifying the underlying access structure. Roles can be granted new permissions as new applications and actions are incorporated, and permissions can be revoked from roles as needed. Some users and vendors have recognized the potential benefits of RBAC without a precise definition of what RBAC constitutes. Some RBAC features have been implemented in commercial products without a frame of reference as to the functional makeup and virtues of RBAC . This lack of definition makes it difficult for consumers to compare products and for vendors to get credit for the effectiveness of their products in addressing known security problems. To correct these deficiencies, a number of government sponsored research efforts are underway to define RBAC precisely in terms of its features and the benefits it affords. This research includes: surveys to better understand the security needs of commercial and government users , the development of a formal RBAC model, architecture, prototype, and demonstrations to validate its use and feasibility. As a result of these efforts, RBAC systems are now beginning to emerge. The purpose of this paper is to provide additional insight as to the motivations and functionality that might go behind the official RBAC name.
Compact coplanar stripline-fed folded strip dipole antenna for millimeter energy combining

A compact folded dipole antenna for millimeter-wave (MMW) energy harvesting is proposed in this paper. The antenna consists of two folded arms excited by a coplanar stripline (CPS). A coplanar waveguide (CPW) to coplanar stripline (CPS) transformer is introduced for wide band operation. The antenna radiates from 33 GHz to 41 GHz with fractional bandwidth about 21.6%. The proposed antenna shows good radiation characteristics and low VSWR, lower than 2, as well as average antenna gain is around 5 dBi over the whole frequency range. The proposed dipole antenna shows about 49% length reduction. The simulated results using both Ansoft HFSS and CST Microwave Studio show a very good agreement between them.
A lentivirus-based system to functionally silence genes in primary mammalian cells, stem cells and transgenic mice by RNA interference

RNA interference (RNAi) has recently emerged as a specific and efficient method to silence gene expression in mammalian cells either by transfection of short interfering RNAs (siRNAs; ref. 1) or, more recently, by transcription of short hairpin RNAs (shRNAs) from expression vectors and retroviruses. But the resistance of important cell types to transduction by these approaches, both in vitro and in vivo, has limited the use of RNAi. Here we describe a lentiviral system for delivery of shRNAs into cycling and non-cycling mammalian cells, stem cells, zygotes and their differentiated progeny. We show that lentivirus-delivered shRNAs are capable of specific, highly stable and functional silencing of gene expression in a variety of cell types and also in transgenic mice. Our lentiviral vectors should permit rapid and efficient analysis of gene function in primary human and animal cells and tissues and generation of animals that show reduced expression of specific genes. They may also provide new approaches for gene therapy.
MATLAB/SIMULINK BASED ANALYSIS OF VOLTAGE SOURCE INVERTER WITH SPACE VECTOR MODULATION

Space vector modulation (SVM) is the best modulation technique to drive 3-phase load such as 3-phase induction motor. In this paper, the pulse width modulation strategy with SVM is analyzed in detail. The modulation strategy uses switching time calculator to calculate the timing of voltage vector applied to the three-phase balanced-load. The principle of the space vector modulation strategy is performed using Matlab/Simulink. The simulation result indicates that this algorithm is flexible and suitable to use for advance vector control. The strategy of the switching minimizes the distortion of load current as well as loss due to minimize number of commutations in the inverter.
Caffeine acts through neuronal adenosine A2A receptors to prevent mood and memory dysfunction triggered by chronic stress.

The consumption of caffeine (an adenosine receptor antagonist) correlates inversely with depression and memory deterioration, and adenosine A2A receptor (A2AR) antagonists emerge as candidate therapeutic targets because they control aberrant synaptic plasticity and afford neuroprotection. Therefore we tested the ability of A2AR to control the behavioral, electrophysiological, and neurochemical modifications caused by chronic unpredictable stress (CUS), which alters hippocampal circuits, dampens mood and memory performance, and enhances susceptibility to depression. CUS for 3 wk in adult mice induced anxiogenic and helpless-like behavior and decreased memory performance. These behavioral changes were accompanied by synaptic alterations, typified by a decrease in synaptic plasticity and a reduced density of synaptic proteins (synaptosomal-associated protein 25, syntaxin, and vesicular glutamate transporter type 1), together with an increased density of A2AR in glutamatergic terminals in the hippocampus. Except for anxiety, for which results were mixed, CUS-induced behavioral and synaptic alterations were prevented by (i) caffeine (1 g/L in the drinking water, starting 3 wk before and continued throughout CUS); (ii) the selective A2AR antagonist KW6002 (3 mg/kg, p.o.); (iii) global A2AR deletion; and (iv) selective A2AR deletion in forebrain neurons. Notably, A2AR blockade was not only prophylactic but also therapeutically efficacious, because a 3-wk treatment with the A2AR antagonist SCH58261 (0.1 mg/kg, i.p.) reversed the mood and synaptic dysfunction caused by CUS. These results herald a key role for synaptic A2AR in the control of chronic stress-induced modifications and suggest A2AR as candidate targets to alleviate the consequences of chronic stress on brain function.
Diagnostic utility of a novel leadless arrhythmia monitoring device.

Although extending the duration of ambulatory electrocardiographic monitoring beyond 24 to 48 hours can improve the detection of arrhythmias, lead-based (Holter) monitors might be limited by patient compliance and other factors. We, therefore, evaluated compliance, analyzable signal time, interval to arrhythmia detection, and diagnostic yield of the Zio Patch, a novel leadless, electrocardiographic monitoring device in 26,751 consecutive patients. The mean wear time was 7.6 ± 3.6 days, and the median analyzable time was 99% of the total wear time. Among the patients with detected arrhythmias (60.3% of all patients), 29.9% had their first arrhythmia and 51.1% had their first symptom-triggered arrhythmia occur after the initial 48-hour period. Compared with the first 48 hours of monitoring, the overall diagnostic yield was greater when data from the entire Zio Patch wear duration were included for any arrhythmia (62.2% vs 43.9%, p <0.0001) and for any symptomatic arrhythmia (9.7% vs 4.4%, p <0.0001). For paroxysmal atrial fibrillation (AF), the mean interval to the first detection of AF was inversely proportional to the total AF burden, with an increasing proportion occurring after 48 hours (11.2%, 10.5%, 20.8%, and 38.0% for an AF burden of 51% to 75%, 26% to 50%, 1% to 25%, and <1%, respectively). In conclusion, extended monitoring with the Zio Patch for ≤14 days is feasible, with high patient compliance, a high analyzable signal time, and an incremental diagnostic yield beyond 48 hours for all arrhythmia types. These findings could have significant implications for device selection, monitoring duration, and care pathways for arrhythmia evaluation and AF surveillance.
Hand motion recognition based on forearm deformation measured with a distance sensor array

Studies of upper limb motion analysis using surface electromyogram (sEMG) signals measured from the forearm plays an important role in various applications, such as human interfaces for controlling robotic exoskeletons, prosthetic hands, and evaluation of body functions. Though the sEMG signals have a lot of information about the activities of the muscles, the signals do not have the activities of the deep layer muscles. We focused on forearm deformation, since hand motion brings the muscles, tendons, and skeletons under the skin. The reason why we focus is that we believe the forearm deformation delivers information about the activities of deep layer muscles. In this paper, we propose a hand motion recognition method based on the forearm deformation measured with a distance sensor array. The method uses the support vector machine. Our method achieved a mean accuracy of 92.6% for seven hand motions. Because the accuracy of the pronation and the supination are high, the distance sensor array has the potential to estimate the activities of deep layer muscles.
DNA mismatch repair: Molecular mechanism, cancer, and ageing

DNA mismatch repair (MMR) proteins are ubiquitous players in a diverse array of important cellular functions. In its role in post-replication repair, MMR safeguards the genome correcting base mispairs arising as a result of replication errors. Loss of MMR results in greatly increased rates of spontaneous mutation in organisms ranging from bacteria to humans. Mutations in MMR genes cause hereditary nonpolyposis colorectal cancer, and loss of MMR is associated with a significant fraction of sporadic cancers. Given its prominence in mutation avoidance and its ability to target a range of DNA lesions, MMR has been under investigation in studies of ageing mechanisms. This review summarizes what is known about the molecular details of the MMR pathway and the role of MMR proteins in cancer susceptibility and ageing.
Autoinducer-2 of Streptococcus mitis as a Target Molecule to Inhibit Pathogenic Multi-Species Biofilm Formation In Vitro and in an Endotracheal Intubation Rat Model

Streptococcus mitis (S. mitis) and Pseudomonas aeruginosa (P. aeruginosa) are typically found in the upper respiratory tract of infants. We previously found that P. aeruginosa and S. mitis were two of the most common bacteria in biofilms on newborns' endotracheal tubes (ETTs) and in their sputa and that S. mitis was able to produce autoinducer-2 (AI-2), whereas P. aeruginosa was not. Recently, we also found that exogenous AI-2 and S. mitis could influence the behaviors of P. aeruginosa. We hypothesized that S. mitis contributes to this interspecies interaction and that inhibition of AI-2 could result in inhibition of these effects. To test this hypothesis, we selected PAO1 as a representative model strain of P. aeruginosa and evaluated the effect of S. mitis as well as an AI-2 analog (D-ribose) on mono- and co-culture biofilms in both in vitro and in vivo models. In this context, S. mitis promoted PAO1 biofilm formation and pathogenicity. Dual-species (PAO1 and S. mitis) biofilms exhibited higher expression of quorum sensing genes than single-species (PAO1) biofilms did. Additionally, ETTs covered in dual-species biofilms increased the mortality rate and aggravated lung infection compared with ETTs covered in mono-species biofilms in an endotracheal intubation rat model, all of which was inhibited by D-ribose. Our results demonstrated that S. mitis AI-2 plays an important role in interspecies interactions with PAO1 and may be a target for inhibition of biofilm formation and infection in ventilator-associated pneumonia.
Implementing and Proving the TLS 1.3 Record Layer

The record layer is the main bridge between TLS applications and internal sub-protocols. Its core functionality is an elaborate form of authenticated encryption: streams of messages for each sub-protocol (handshake, alert, and application data) are fragmented, multiplexed, and encrypted with optional padding to hide their lengths. Conversely, the sub-protocols may provide fresh keys or signal stream termination to the record layer. Compared to prior versions, TLS 1.3 discards obsolete schemes in favor of a common construction for Authenticated Encryption with Associated Data (AEAD), instantiated with algorithms such as AES-GCM and ChaCha20-Poly1305. It differs from TLS 1.2 in its use of padding, associated data and nonces. It also encrypts the content-type used to multiplex between sub-protocols. New protocol features such as early application data (0-RTT and 0.5-RTT) and late handshake messages require additional keys and a more general model of stateful encryption. We build and verify a reference implementation of the TLS record layer and its cryptographic algorithms in F*, a dependently typed language where security and functional guarantees can be specified as pre-and post-conditions. We reduce the high-level security of the record layer to cryptographic assumptions on its ciphers. Each step in the reduction is verified by typing an F* module, for each step that involves a cryptographic assumption, this module precisely captures the corresponding game. We first verify the functional correctness and injectivity properties of our implementations of one-time MAC algorithms (Poly1305 and GHASH) and provide a generic proof of their security given these two properties. We show the security of a generic AEAD construction built from any secure one-time MAC and PRF. We extend AEAD, first to stream encryption, then to length-hiding, multiplexed encryption. Finally, we build a security model of the record layer against an adversary that controls the TLS sub-protocols. We compute concrete security bounds for the AES_128_GCM, AES_256_GCM, and CHACHA20_POLY1305 ciphersuites, and derive recommended limits on sent data before re-keying. We plug our implementation of the record layer into the miTLS library, confirm that they interoperate with Chrome and Firefox, and report initial performance results. Combining our functional correctness, security, and experimental results, we conclude that the new TLS record layer (as described in RFCs and cryptographic standards) is provably secure, and we provide its first verified implementation.
The Evolution of the Platform Concept: A Systematic Review

Platforms have been considered as a paradigm for managing new product development and innovation. Since their introduction, studies on platforms have introduced multiple conceptualizations, leading to a fragmentation of research and different perspectives. By systematically reviewing the platform literature and combining bibliometric and content analyses, this paper examines the platform concept and its evolution, proposes a thematic classification, and highlights emerging trends in the literature. Based on this hybrid methodological approach (bibliometric and content analyses), the results show that platform research has primarily focused on issues that are mainly related to firms' internal aspects, such as innovation, modularity, commonality, and mass customization. Moreover, scholars have recently started to focus on new research themes, including managerial questions related to capability building, strategy, and ecosystem building based on platforms. As its main contributions, this paper improves the understanding of and clarifies the evolutionary trajectory of the platform concept, and identifies trends and emerging themes to be addressed in future studies.
Mirror neurons and imitation: A computationally guided review

Neurophysiology reveals the properties of individual mirror neurons in the macaque while brain imaging reveals the presence of 'mirror systems' (not individual neurons) in the human. Current conceptual models attribute high level functions such as action understanding, imitation, and language to mirror neurons. However, only the first of these three functions is well-developed in monkeys. We thus distinguish current opinions (conceptual models) on mirror neuron function from more detailed computational models. We assess the strengths and weaknesses of current computational models in addressing the data and speculations on mirror neurons (macaque) and mirror systems (human). In particular, our mirror neuron system (MNS), mental state inference (MSI) and modular selection and identification for control (MOSAIC) models are analyzed in more detail. Conceptual models often overlook the computational requirements for posited functions, while too many computational models adopt the erroneous hypothesis that mirror neurons are interchangeable with imitation ability. Our meta-analysis underlines the gap between conceptual and computational models and points out the research effort required from both sides to reduce this gap.
A Minimal Solution for the Extrinsic Calibration of a Camera and a Laser-Rangefinder

This paper presents a new algorithm for the extrinsic calibration of a perspective camera and an invisible 2D laser-rangefinder (LRF). The calibration is achieved by freely moving a checkerboard pattern in order to obtain plane poses in camera coordinates and depth readings in the LRF reference frame. The problem of estimating the rigid displacement between the two sensors is formulated as one of registering a set of planes and lines in the 3D space. It is proven for the first time that the alignment of three plane-line correspondences has at most eight solutions that can be determined by solving a standard p3p problem and a linear system of equations. This leads to a minimal closed-form solution for the extrinsic calibration that can be used as hypothesis generator in a RANSAC paradigm. Our calibration approach is validated through simulation and real experiments that show the superiority with respect to the current state-of-the-art method requiring a minimum of five input planes.
Management of Enophthalmos and Superior Sulcus Deformity Induced by the Silent Sinus Syndrome

Silent sinus syndrome is a dysfunction of the maxillary sinus that induces a progressive and asymptomatic enophthalmos with prominent deep superior sulcus deformity. Two cases of silent sinus syndrome are reported, and the simultaneous management of both enophthalmos and superior sulcus deformity caused by this syndrome is discussed. The patients underwent surgical endoscopic maxillary meatotomy and transconjunctival subperiosteal implantation of porous polyethylene sheets. The treatment successfully corrected both the enophthalmos and the upper eyelid sulcus deformity. However, small degrees of vertical eye dystopia were observed. Silent sinus syndrome is a rare cause of enophthalmos and superior sulcus deformity. Orbital floor implants can be used to increase the volume of the orbital contents, but vertical eye dystopia is likely to be induced if this method of treatment is the only option chosen.
A hybrid local storage transfer scheme for live migration of I/O intensive workloads

Live migration of virtual machines (VMs) is key feature of virtualization that is extensively leveraged in IaaS cloud environments: it is the basic building block of several important features, such as load balancing, pro-active fault tolerance, power management, online maintenance, etc. While most live migration efforts concentrate on how to transfer the memory from source to destination during the migration process, comparatively little attention has been devoted to the transfer of storage. This problem is gaining increasing importance: due to performance reasons, virtual machines that run large-scale, data-intensive applications tend to rely on local storage, which poses a difficult challenge on live migration: it needs to handle storage transfer in addition to memory transfer. This paper proposes a memory migration independent approach that addresses this challenge. It relies on a hybrid active push / prioritized prefetch strategy, which makes it highly resilient to rapid changes of disk state exhibited by I/O intensive workloads. At the same time, it is minimally intrusive in order to ensure a maximum of portability with a wide range of hypervisors. Large scale experiments that involve multiple simultaneous migrations of both synthetic benchmarks and a real scientific application show improvements of up to 10x faster migration time, 10x less bandwidth consumption and 8x less performance degradation over state-of-art.
Targeting metabolic transformation for cancer therapy

Cancer therapy has long relied on the rapid proliferation of tumour cells for effective treatment. However, the lack of specificity in this approach often leads to undesirable side effects. Many reports have described various 'metabolic transformation' events that enable cancer cells to survive, suggesting that metabolic pathways might be good targets. There are currently several drugs under development or in clinical trials that are based on specifically targeting the altered metabolic pathways of tumours. This Review highlights pathways against which there are already drugs in different stages of development and also discusses additional druggable targets.