Miracle-dz/UniFAR-FTUs huggingface dataset:
Increased ethanol consumption after interruption of fat bingeing

There is a marked comorbidity between alcohol abuse and eating disorders, especially in the young population. We have previously reported that bingeing on fat during adolescence increases the rewarding effects of ethanol (EtOH). The aim of the present work was to study if vulnerability to EtOH persists after cessation of binge eating. OF1 mice binged on fat (HFB: high-fat binge) during adolescence (PND 25–43) and were tested for 15 days after the last access to HFB (on PND 59) using the self-administration paradigm, the conditioned place preference (CPP) and locomotor sensitization to ethanol. Our results showed that after 15 days of cessation of fat ingestion, mice increased their consumption of ethanol and showed greater motivation to obtain ethanol. On the other hand, no effects were observed in the CPP, while an increased locomotor response to ethanol was detected. The present results confirm and extend our previous study demonstrating that the compulsive intake of fat induces long-lasting effects on the reward system that lead to an increased consumption of EtOH.
Hybrid Sensorless Control Strategy for EV Applications Based on High Frequency Signal Injection and Machine Learning

This paper presents a novel position estimation scheme for interior permanent magnet synchronous machines (IPMSMs) based on merging two self-sensing techniques according to the operating speed. High frequency (HF) signal injection algorithm is deployed for zero and low- speeds, while a Machine Learning (ML) method is solicited for medium and high speeds. The scheme is intended for sensorless torque-controlled drives used in electric vehicle (EV) propulsion. Typically, the proposed sensorless strategy can be applied to safety and limphome applications.
Novel Mechanism of PTEN Regulation by Its Phosphatidylinositol 4,5-Bisphosphate Binding Motif Is Critical for Chemotaxis*

In chemotaxing cells, localization of phosphatidylinositol 3,4,5-trisphosphate (PI(3,4,5)P3) to the leading edge of the cell sets the direction and regulates the formation of pseudopods at the anterior. We show that the lipid phosphatase activity of PTEN mediates chemotaxis and that the sharp localization of PI(3,4,5)P3 requires localization of PTEN to the rear of the cell. Our data suggest that a phosphatidylinositol 4,5-bisphosphate (PI(4,5)P2) binding motif at the N terminus of PTEN serves the dual role of localizing the enzyme to the membrane and regulating its activity. Mutations in this motif enhance catalytic activity but render the enzyme inactive in vivo by preventing membrane association. The key role of this motif may explain the heretofore puzzling tumor-suppressing mutations occurring within the PI(4,5)P2 binding motif. On the other hand, the localization of PTEN does not depend on its phosphatase activity, the actin cytoskeleton, or the intracellular level of PI(3,4,5)P3, suggesting that events controlling localization are upstream of phosphoinositide signaling.
A micromanipulation cell including a tool changer

This paper deals with the design, fabrication and characterization of a tool changer for micromanipulation cells. This tool changer is part of a manipulation cell including a three linear axes robot and a piezoelectric microgripper. All these parts are designed to perform micromanipulation tasks in confined spaces such as a microfactory or in the chamber of a scanning electron microscope (SEM). The tool changer principle is to fix a pair of tools (i.e. the gripper tips) either on the tips of the microgripper actuator (piezoceramic bulk) or on a tool magazine. The temperature control of a thermal glue enables one to fix or release this pair of tools. Liquefaction and solidification are generated by surface mounted device (SMD) resistances fixed on the surface of the actuator or magazine. Based on this principle, the tool changer can be adapted to other kinds of micromanipulation cells. Hundreds of automatic tool exchanges were performed with a maximum positioning error between two consecutive tool exchanges of 3.2 µm, 2.3 µm and 2.8 µm on the X, Y and Z axes respectively (Z refers to the vertical axis). Finally, temperature measurements achieved under atmospheric pressure and in a vacuum environment and pressure measurements confirm the possibility of using this device in the air as well as in a SEM.
Regional temperature change potentials for short-lived climate forcers based on radiative forcing from multiple models

Abstract. We calculate the absolute regional temperature change potential (ARTP) of various short-lived climate forcers (SLCFs) based on detailed radiative forcing (RF) calculations from four different models. The temperature response has been estimated for four latitude bands (90–28° S, 28° S–28° N, 28–60° N, and 60–90° N). The regional pattern in climate response not only depends on the relationship between RF and surface temperature, but also on where and when emissions occurred and atmospheric transport, chemistry, interaction with clouds, and deposition. We present four emissions cases covering Europe, East Asia, the global shipping sector, and the entire globe. Our study is the first to estimate ARTP values for emissions during Northern Hemisphere summer (May–October) and winter season (November–April). The species studied are aerosols and aerosol precursors (black carbon, organic carbon, SO2, NH3), ozone precursors (NOx, CO, volatile organic compound), and methane (CH4). For the response to BC in the Arctic, we take into account the vertical structure of the RF in the atmosphere, and an enhanced climate efficacy for BC deposition on snow. Of all SLCFs, BC is the most sensitive to where and when the emissions occur, as well as giving the largest difference in response between the latitude bands. The temperature response in the Arctic per unit BC emission is almost four times larger and more than two times larger than the global average for Northern Hemisphere winter emissions for Europe and East Asia, respectively. The latitudinal breakdown likely gives a better estimate of the global temperature response as it accounts for varying efficacies with latitude. An annual pulse of non-methane SLCF emissions globally (representative of 2008) lead to a global cooling. In contrast, winter emissions in Europe and East Asia give a net warming in the Arctic due to significant warming from BC deposition on snow.
Piecewise log-normal approximation of size distributions for aerosol modelling

An efficient and accurate method for the representation of particle size distributions in atmospheric models is proposed. The method can be applied, but is not necessarily restricted, to aerosol mass and number size distributions. A piecewise log-normal approximation of the number size distribution within sections of the particle size spectrum is used. Two of the free parameters of the log-normal approximation are obtained from the integrated number and mass concentration in each section. The remaining free parameter is prescribed. The method is efficient in a sense that only relatively few calculations are required for applications of the method in atmospheric models. Applications of the method in simulations of particle growth by condensation and simulations with a single column model for nucleation, condensation, gravitational settling, wet deposition, and mixing are described. The results are compared to results from simulations employing single- and double-moment bin methods that are frequently used in aerosol modelling. According to these comparisons, the accuracy of the method is noticeably higher than the accuracy of the other methods.
Comparing Approaches to the Identification of Similar Languages

This paper describes the submission made by the MMS team to the Discriminating between Similar Languages (DSL) shared task 2015. We participated in the closed submission track using only the dataset provided by the shared task organisers which contained short texts from 13 similar languages and language varieties. We submitted three runs using different systems and compare their performance. As a result, our best system achieved 95.24% accuracy for test set A (containing original texts) and 92.78% accuracy for test set B (containing texts without named entities).
Rethinking pointer reasoning in symbolic execution

Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of space. For instance, a memory access to a symbolic address may potentially reference the entire address space, leading to a combinatorial explosion of the possible resulting execution states. To cope with this issue, state-of-the-art executors concretize symbolic addresses that span memory intervals larger than some threshold. Unfortunately, this could result in missing interesting execution states, e.g., where a bug arises. In this paper we introduce MemSight, a new approach to symbolic memory that reduces the need for concretization, hence offering the opportunity for broader state explorations and more precise pointer reasoning. Rather than mapping address instances to data as previous tools do, our technique maps symbolic address expressions to data, maintaining the possible alternative states resulting from the memory referenced by a symbolic address in a compact, implicit form. A preliminary experimental investigation on prominent benchmarks from the DARPA Cyber Grand Challenge shows that MemSight enables the exploration of states unreachable by previous techniques.
SI-Web: a Web Based Interface for the MOMIS Project

The MOMIS project (Mediator envirOnment for Multiple Information Sources) developed in the past years allows the integration of data from structured and semi-structured data sources. SI-Designer (Source Integrator Designer) is a designer support tool implemented within the MOMIS project for semi-automatic integration of heterogeneous sources schemata. It is a java application where all modules involved are available as CORBA Object and interact using established IDL interfaces. The goal of this demonstration is to present a new tool: SI-Web (Source Integrator on Web), it offers the same features of SI-Designer but it has got the great advantage of being usable on Internet through a web browser. 1. Overview of the MOMIS system Like other integration projects [1,8], MOMIS follows a "semantic approach" to information integration based on the conceptual schema, or metadata, of the information sources, and on the I3 architecture [6] (see Figure 1). The system is composed by the following functional elements that communicates using the CORBA (OMG) standard: • a common data model, ODMI3, which is defined according to the ODLI3 language, to describe source schemas for integration purposes. ODMI3 and ODLI3 have been defined in MOMIS as subset of the corresponding ones in ODMG, following the proposal for a standard mediator language developed by the I3/POB working group [5]. In addition, ODL I3 introduces new constructors to support the semantic integration process; • Wrappers, placed over each sources, translate metadata descriptions of the sources into the common ODL I3 representation, translate (reformulate) a global query expressed in the OQLI3 query language into queries expressed in the sources languages and export query result data set; 1 This work was partially supported by MIUR co-funded project D2I. 2 D. Beneventano and S. Bergamaschi and D. Bianco, F. Guerra and M. Vincini • Mediator, which is composed of two modules: the SI-Designer and the Query Manager (QM). The SI-Designer module processes and integrates ODLI3 descriptions received from wrappers to derive the integrated representation of the information sources. The QM module performs query processing and optimization. The QM generates OQLI3 queries to be sent to wrappers starting from each query posed by the user on the Global Schema. QM automatically generates the translation of the query into a corresponding set of sub-queries for the sources and synthesizes a unified global answer for the user. Fig. 1. The MOMIS Architecture
ICSH recommendations for the standardization of nomenclature and grading of peripheral blood cell morphological features

These guidelines provide information on how to reliably and consistently report abnormal red blood cells, white blood cells and platelets using manual microscopy. Grading of abnormal cells, nomenclature and a brief description of the cells are provided. It is important that all countries in the world use consistent reporting of blood cells. An international group of morphology experts have decided on these guidelines using consensus opinion. For some red blood cell abnormalities, it was decided that parameters produced by the automated haematology analyser might be more accurate and less subjective than grading using microscopy or automated image analysis and laboratories might like to investigate this further. A link is provided to show examples of many of the cells discussed in this guideline.
A Review of Brain Tumor Segmentation and Detection Techniques through MR Images

most common imaging technique for brain is MR imaging it is a non-invasive method. Brain tumors are mainly classified as benign or malignant tumors depending on their growth pattern. The manual analysis of brain tumor on MRI is time consuming and subjective Intensity inhomogeneity is very challenging task image segmentation to avoid thus type of problem, in this paper describe the very efficient and accurate segmentation techniques. This paper presents a comprehensive review of the methods and techniques used to detect brain tumor through MRI image segmentation. Keywordsbrain tumor, segmentation techniques, feature extraction, classification.
Pricing barrier options in the Heston model using the Heath–Platen estimator

Abstract Both barrier options and the Heston stochastic volatility model are omnipresent in real-life applications of financial mathematics. In this paper, we apply the Heath–Platen (HP) estimator (as first introduced by Heath and Platen in [12]) to price barrier options in the Heston model setting as an alternative to conventional Monte Carlo methods and PDE based methods. We demonstrate the superior performance of the HP estimator via numerical examples and explain this performance by a detailed look at the underlying theoretical concept of the HP estimator.
Web Semantic Search with TUCUXI

Traditional search engines rely on keywords to locate Web documents that best fit a user’s query. Since words extracted from their context do not always capture the intended meaning, the relevance of the retrieved documents is affected by the natural language ambiguity. TUCUXI is a semantic search tool that replaces keywords with an ontology-based expression of the user’s requests. TUCUXI judges the relevance of a document by performing a semantic matching between the user-provided ontology and the Map of Meanings, a simplified but semantically rich representation of the source text.
A 3 . 3 V Current-Controlled p-Domain Oscillator

In this paper, the strong inversion MOS analog of the recently proposed class of log-domain ®lters, or translinear ®lters, is proposed.The dynamic p -domain principle, or dynamic voltage-translinear principle, exploits the quadratic law, describing the MOS transistor in the strong inversion region, both to perform an expanding V-I conversion of the capacitor voltages and to implement multiplications and square roots of currents based on the voltage-translinear principle.The presented theory is applied to the design of a current-controlled twointegrator oscillator. Experiment results of a pure CMOS test IC show the feasibility of the p -domain principle. The realized oscillator has a THD of ÿ 42 dB and is linearly frequency tunable across 1.3 decades.
Azole resistance in a Candida albicans mutant lacking the ABC transporter CDR6/ROA1 depends on TOR signaling

ATP-binding cassette (ABC) transporters help export various substrates across the cell membrane and significantly contribute to drug resistance. However, a recent study reported an unusual case in which the loss of an ABC transporter in Candida albicans, orf19.4531 (previously named ROA1), increases resistance against antifungal azoles, which was attributed to an altered membrane potential in the mutant strain. To obtain further mechanistic insights into this phenomenon, here we confirmed that the plasma membrane–localized transporter (renamed CDR6/ROA1 for consistency with C. albicans nomenclature) could efflux xenobiotics such as berberine, rhodamine 123, and paraquat. Moreover, a CDR6/ROA1 null mutant, NKKY101, displayed increased susceptibility to these xenobiotics. Interestingly, fluorescence recovery after photobleaching (FRAP) results indicated that NKKY101 mutant cells exhibited increased plasma membrane rigidity, resulting in reduced azole accumulation and contributing to azole resistance. Transcriptional profiling revealed that ribosome biogenesis genes were significantly up-regulated in the NKKY101 mutant. As ribosome biogenesis is a well-known downstream phenomenon of target of rapamycin (TOR1) signaling, we suspected a link between ribosome biogenesis and TOR1 signaling in NKKY101. Therefore, we grew NKKY101 cells on rapamycin and observed TOR1 hyperactivation, which leads to Hsp90-dependent calcineurin stabilization and thereby increased azole resistance. This in vitro finding was supported by in vivo data from a mouse model of systemic infection in which NKKY101 cells led to higher fungal load after fluconazole challenge than wild-type cells. Taken together, our study uncovers a mechanism of azole resistance in C. albicans, involving increased membrane rigidity and TOR signaling.
Dodge-Jam: Anti-Jamming Technique for Low-Power and Lossy Wireless Networks

Jamming is one of the most famous and powerful attacks in wireless networks, and is advancing to be more stealthy and long-lasting with limited energy. Stealthy attackers transmit short jamming signals to become less detectable with less energy, and yet powerful enough to ruin the entire packet transmission procedures. For this study, we deal with three types of stealthy attacks: 'reactive jamming', 'jamming ACK', and 'fake ACK' attacks. These attacks are fatal to Low-power and Lossy wireless Network (LLN) applications because they not only interfere with communication, but also cause LLN devices to quickly drain their batteries. In this paper, we present Dodge-Jam, a light-weight antijamming technique suitable for LLN environments to address the stealthy jamming attacks with small overhead. It protects ACK exchange by switching the ACK channel calculated based on the content of a data packet. Moreover, by partitioning a packet into multiple small blocks and performing logical shifts of the blocks when retransmitting the packet, it helps the receiver recover the original packet from multiple erroneous packets. We implement Dodge-Jam on practical embedded devices, and evaluate its performance through experiments on a multihop LLN testbed. Our results show that Dodge-Jam successfully avoids many jamming attacks, recovers packets that have been jammed, and improves packet delivery performance of both singlehop and multihop networks significantly.
Isolation and Characterization of a Lytic Bacteriophage (vB_PmiS-TH) and Its Application in Combination with Ampicillin against Planktonic and Biofilm Forms of Proteus mirabilis Isolated from Urinary Tract Infection

Proteus mirabilis is one of the most common causes of urinary tract infection (UTI), particularly in patients undergoing long-term catheterization. Phage vB_PmiS-TH was isolated from wastewater with high lytic activity against P. mirabilis (TH) isolated from UTI. The phage had rapid adsorption, a large burst size (∼260 PFU per infected cell), and high stability at a wide range of temperatures and pH values. As analyzed by transmission electron microscopy, phage vB_PmiS-TH had an icosahedral head of ∼87 × 62 nm with a noncontractile tail about 137 nm in length and 11 nm in width. It belongs to the family Siphoviridae. Combination of the phage vB_PmiS-TH with ampicillin had a higher removal activity against planktonic cells of P. mirabilis (TH) than the phage or the antibiotic alone. Combination of the phage at a multiplicity of infection of 100 with a high dose of ampicillin (246 µg/mL) showed the highest biofilm removal activity after 24 h. This study demonstrates that using a combination of phage and antibiotic could be significantly more effective against planktonic and biofilm forms of P. mirabilis (TH).
Silhouette extraction based on iterative spatio-temporal local color transformation and graph-cut segmentation

We propose an iterative scheme of spatio-temporal local color transformation of background and graph-cut segmentation for silhouette extraction. Given an initial background subtraction, spatio-temporal background color transformation is processed for fitting modeled background colors to input background ones under a different illumination condition. After foreground colors are modeled based on the fit background, spatio-temporal graph-cut algorithm is applied to acquire a foreground/background segmentation result. Because these two processes need well-segmented background and well-fit background each other, they are iterated in turn to obtain better silhouette extraction results. Silhouette extraction experiments for a walking human on a treadmill show the effectiveness of the proposed method.
3D flexible needle steering in soft-tissue phantoms using Fiber Bragg Grating sensors

Needle insertion procedures are commonly used for surgical interventions. In this paper, we develop a three-dimensional (3D) closed-loop control algorithm to robotically steer flexible needles with an asymmetric tip towards a target in a soft-tissue phantom. Twelve Fiber Bragg Grating (FBG) sensors are embedded on the needle shaft. FBG sensors measure the strain applied on the needle during insertion. A method is developed to reconstruct the needle shape using the strain data obtained from the FBG sensors. Four experimental cases are conducted to validate the reconstruction method (single-bend, double-bend, 3D double-bend and drilling insertions). In the experiments, the needle is inserted 120 mm into a soft-tissue phantom. Camera images are used as a reference for the reconstruction experiments. The results show that the mean needle tip accuracy of the reconstruction method is 1.8 mm. The reconstructed needle shape is used as feedback for the steering algorithm. The steering algorithm estimates the region that the needle can reach during insertion, and controls the needle to keep the target in this region. Steering experiments are performed for 110 mm insertion, and the mean targeting accuracy is 1.3 mm. The results demonstrate the capability of using FBG sensors to robotically steer needles.