Miracle-dz/UniFAR-FTUs huggingface dataset:
Vigorous Motor Activity in Caenorhabditis elegans Requires Efficient Clearance of Dopamine Mediated by Synaptic Localization of the Dopamine Transporter DAT-1

The catecholamine dopamine (DA) functions as a powerful modulatory neurotransmitter in both invertebrates and vertebrates. As in man, DA neurons in the nematode Caenorhabditis elegans express a cocaine-sensitive transporter (DAT-1), presumably to regulate synaptic DA signaling and limit DA spillover to extrasynaptic sites, although evidence supporting this is currently lacking. In this report, we describe and validate a novel and readily quantifiable phenotype, swimming-induced paralysis (SWIP) that emerges in DAT-1-deficient nematodes when animals exert maximal physical activity in water. We verify the dependence of SWIP on DA biosynthesis, vesicular packaging, synaptic release, and on the DA receptor DOP-3. Using DAT-1 specific antibodies and GFP::DAT-1 fusions, we demonstrate a synaptic enrichment of DAT-1 that is achieved independently of synaptic targeting of the vesicular monoamine transporter (VMAT). Importantly, dat-1 deletions and point mutations that disrupt DA uptake in cultured C. elegans neurons and/or impact DAT-1 synaptic localization in vivo generate SWIP. SWIP assays, along with in vivo imaging of wild-type and mutant GFP::DAT-1 fusions identify a distal COOH terminal segment of the transporter as essential for efficient somatic export, synaptic localization and in vivo DA clearance. Our studies provide the first description of behavioral perturbations arising from altered trafficking of DATs in vivo in any organism and support a model whereby endogenous DA actions in C. elegans are tightly regulated by synaptic DAT-1.
Implementation and experimental investigation of sensorless speed control with initial rotor position estimation for interior permanent magnet synchronous motor drive

In this paper, a new approach to sensorless speed control and initial rotor position estimation for interior permanent magnet synchronous motor (IPMSM) drive is presented. In rotating condition, speed and rotor position estimation of IPMSM drive are obtained through an extended Kalman filter (EKF) algorithm simply by measurement of the stator line voltages and currents. The main difficulty in developing an EKF for IPMSM is the complexity of the dynamic model expressed in the stationary coordinate system. This model is more complex than that of the surface PMSM, because of the asymmetry of the magnetic circuit. The starting procedure is a problem under sensorless drives, because no information is available before starting. The initial rotor position is estimated by a suitable sequence of voltage pulses intermittently applied to the stator windings at standstill and the measurement of the peak current values of the current leads to the rotor position. Magnetic saturation effect on the saliency is used to distinguish the north magnetic pole from the south. To illustrate our work, we present experimental results for an IPMSM obtained on a floating point digital signal processor (DSP) TMS320C31/40 MHz based control system.
Extending Symbolic Convergence Theory

This study addresses theoretical and contextual weaknesses of symbolic convergence theory (SCT) through a fantasy theme analysis of a life enrichment group (i.e., an all-female club rugby team). By using a variety of data sources, including group social media posts, participant observation, and interviews, the authors found two concurrent rhetorical visions present within this group: belong and triumph. These visions were created through member chaining of fantasy themes. In contrast with current assumptions of SCT, results indicated several tensions within concurrent fantasy themes and the two rhetorical visions. Theoretical and pragmatic implications for transferability and application of symbolic convergence and fantasy themes in other life enrichment groups are discussed.
Unveiling the nature of the high energy source IGR J19140+0951

We report on high energy observations of IGR J19140+0951 performed with RXTE on three occasions in 2002, 2003 and 2004, and INTEGRAL during a very well sampled and unprecedented high energy coverage of this source from early-March to mid-May 2003. Our analysis shows that IGR J19140+0951 spends most of its time in a very low luminosity state, probably corresponding to the state observed with RXTE, and characterised by thermal Comptonisation. In some occasions we observe variations of the luminosity by a factor of about 10 during which the spectrum can show evidence for a thermal component, besides thermal Comptonisation by a hotter plasma than during the low luminosity state. The spectral parameters obtained from the spectral fits to the INTEGRAL and RXTE data strongly suggest that IGR J19140+0951 hosts a neutron star rather than a black hole. Very importantly, we observe variations of the absorption column density (with a value as high as ∼10 23 cm −2 ). Our spectral analysis also reveals a bright iron line detected with both RXTE/PCA and INTEGRAL/JEM-X, at different levels of luminosity. We discuss these results and the behaviour of IGR J19140+0951, and show, by comparison with other well known systems (Vela X-1, GX 301−2, 4U 2206+54), that IGR J19140+0951 is most probably a High Mass X-ray Binary.
Reliable Data Delivery With the IETF Routing Protocol for Low-Power and Lossy Networks

The IPv6 routing protocol for low-power and lossy networks (RPL) has been recently standardized by the Internet Engineering Task Force (IETF) routing protocol for low-power and lossy networks (ROLL) working group to support IPv6 routing for resource-constrained devices in industrial, home, and urban environments. However, several studies have shown that RPL may experience (very) low delivery rates, particularly in large-scale deployments. In this paper, we provide an in-depth analysis of the protocol attributes and design choices that generate such unreliability issues. Then, we describe and evaluate a new implementation of the RPL standard for the Contiki operating system (OS) to improve data delivery reliability. The salient feature of our RPL implementation is to adopt a flexible cross-layering design that provides simple routing optimizations, enhanced link estimation capabilities, and efficient management of neighbor tables. In order to verify the effectiveness of our RPL implementation, we use an advanced metering infrastructure (AMI) as a case study. Results obtained using Cooja emulator in two sets of experiments, differentiated by the presence or lack of duty cycling, indicate that our RPL implementation outperforms the one provided in Contiki in terms of average packet delivery rates by up to 200% in networks with 100 nodes.
New Views of Thermonuclear Bursts

Introduction Many accreting neutron stars erupt in spectacular thermonuclear conflagrations every few hours to days. These events, known as Type I X-ray bursts, or simply X-ray bursts, are the subject of our review. Since the last review of X-ray burst phenomenology was written (Lewin, van Paradijs & Taam 1993; hereafter LVT), powerful new X-ray observatories, the Rossi X-ray Timing Explorer (RXTE), the Italian–Dutch BeppoSAX mission, XMM-Newton and Chandra have enabled the discovery of entirely new phenomena associated with thermonuclear burning on neutron stars. Some of these new findings include: (i) the discovery of millisecond (300–600 Hz) oscillations during bursts, so-called “burst oscillations”; (ii) a new regime of nuclear burning on neutron stars which manifests itself through the generation of hours-long flares about once a decade, now referred to as “superbursts”; (iii) discoveries of bursts from low accretion rate neutron stars; and (iv) new evidence for discrete spectral features from bursting neutron stars. It is perhaps surprising that nuclear physics plays such a prominent role in the phenomenology of an accreting neutron star, as the gravitational energy released per accreted baryon (of mass m p ), GMm p /R ≈ 200 MeV, is so much larger than the nuclear energy released by fusion (≈5 MeV when a solar mix goes to heavy elements). Indeed, if the accreted fuel was burned at the rate of accretion, any evidence of nuclear physics would be swamped by the light from released gravitational energy.
Can Queries Help to Validate Database Design?

The design of a conceptual database schema is a critical task. The more methods a conceptual database designer has in order to communicate with the end user, the better it is for the quality of the conceptual schema. This paper focuses on the question: Can queries be used for checking missing concepts in a conceptual database schema? The usefulness of queries for schema checking will be presented in this paper.
What is procedural content generation?: Mario on the borderline

We try to clarify the concept of procedural content generation (PCG) through contrasting it to other forms of content generation in games with which it could easily be mistaken, and through discussing some properties of PCG which are sometimes thought of as necessary but are actually not. After drawing up some clear demarcations for what is and what is not PCG, we present two versions of a content generation system for Infinite Mario Bros which is intentionally designed to question these same demarcations. We argue that, according to our own definition, one version of the system is an example of PCG while the other is not, even though they are mostly identical. We hope that this paper answers some questions but raises others, and inspires researchers and developers to thread some less common ground in developing content generation techniques.
Au th or ' s pe rs on al co

Seven hundred and thirty-two parents reported when and how their infants learned to climb stairs. Children typically mastered stair ascent (mean age = 10.97 months) several months after crawling onset and several weeks prior to descent (mean age = 12.53 months). Most infants (94%) crawled upstairs the first time they ascended independently. Most infants (76%) turned around and backed at initial descent. Other descent strategies included scooting down sitting, walking, and sliding down face first. Children with stairs in their home were more likely to learn to ascend stairs at a younger age, devise backing as a descent strategy, and be explicitly taught to descend by their parents than children without stairs in their home. However, all infants learned to descend stairs at the same age, regardless of the presence of stairs in their home. Parents’ teaching strategies and infants’ access to stairs worked together to constrain development and to influence the acquisition of stair climbing milestones. © 2006 Elsevier Inc. All rights reserved.
Long Arithmetic Progressions in Sum‐Sets and the Number x‐Sum‐Free Sets

In this paper we obtain optimal bounds for the length of the longest arithmetic progression in various kinds of sum‐sets. As an application, we derive a sharp estimate for the number of sets A of residues modulo a prime n such that no subsum of A equals x modulo n, where x is a fixed residue modulo n. 2000 Mathematics Subject Classification 05A16, 11B25, 11P32.
Noisy Fitness Evaluation in Genetic Algorithms and the Dynamics of Learning

A theoretical model is presented which describes selection in a genetic algorithm (GA) under a stochastic fitness measure and correctly accounts for finite population effects. Although this model describes a number of selection schemes, we only consider Boltzmann selection in detail here as results for this form of selection are particularly transparent when fitness is corrupted by additive Gaussian noise. Finite population effects are shown to be of fundamental importance in this case, as the noise has no effect in the infinite population limit. In the limit of weak selection we show how the effects of any Gaussian noise can be removed by increasing the population size appropriately. The theory is tested on two closely related problems: the one-max problem corrupted by Gaussian noise and generalization in a perceptron with binary weights. The averaged dynamics can be accurately modelled for both problems using a formalism which describes the dynamics of the GA using methods from statistical mechanics. The second problem is a simple example of a learning problem and by considering this problem we show how the accurate characterization of noise in the fitness evaluation may be relevant in machine learning. The training error (negative fitness) is the number of misclassified training examples in a batch and can be considered as a noisy version of the generalization error if an independent batch is used for each evaluation. The noise is due to the finite batch size and in the limit of large problem size and weak selection we show how the effect of this noise can be removed by increasing the population size. This allows the optimal batch size to be determined, which minimizes computation time as well as the total number of training examples required.
Fast portable orthogonally persistent Java

SUMMARY A powerful feature of the Java programming language is its user-definable class loading policy, which when combined with the namespace independence between class loaders, allows portable implementation of semi-dynamic program transformations. Such transformations can be used for a range of purposes, including optimization and semantic extension. In this paper we present a framework for semantic extensions in Java. This framework consists of a number of simple but powerful transformations that, among other things, allow us to semantically extend Java to provide orthogonal persistence. The use of semi-dynamic program transformations lends our orthogonally persistent Java a number of important qualities, including simplicity, portability and a clean model of persistence. Significantly , our implementations are efficient and can outperform in some cases PJama , a well-known orthogonally persistent Java, which is based on a modified virtual machine. In addition to describing the application of these transformations to orthogonally persistent Java, we foreshadow their use in a number of other contexts, including dynamic instance versioning and instrumentation. Copyright c 1999 John Wiley & Sons, Ltd.
Test-driven development in education: experiences with critical viewpoints

Test-Driven Development (TDD) was applied in educational setting right after it became well-known as a key practice of Extreme Programming (XP). Basically, there are many studies reporting positive experiences on TDD applied in different levels of a curriculum. In this paper, we discuss the role of TDD in education through the students' experiences. In our experiment, a challenging programming task was applied in order to see what kind of difficulties the students would encounter and discuss. The students' answers revealed several topics that require a careful treatment in teaching to avoid conceptual confusion. For example, the topics include the scalability of TDD, extent of single test, and discipline.
Offline Mobile Instance Retrieval with a Small Memory Footprint

Existing mobile image instance retrieval applications assume a network-based usage where image features are sent to a server to query an online visual database. In this scenario, there are no restrictions on the size of the visual database. This paper, however, examines how to perform this same task offline, where the entire visual index must reside on the mobile device itself within a small memory footprint. Such solutions have applications on location recognition and product recognition. Mobile instance retrieval requires a significant reduction in the visual index size. To achieve this, we describe a set of strategies that can reduce the visual index up to 60-80 times compared to a standard instance retrieval implementation found on desktops or servers. While our proposed reduction steps affect the overall mean Average Precision (mAP), they are able to maintain a good Precision for the top K results (PK). We argue that for such offline application, maintaining a good PK is sufficient. The effectiveness of this approach is demonstrated on several standard databases. A working application designed for a remote historical site is also presented. This application is able to reduce an 50,000 image index structure to 25 MBs while providing a precision of 97% for P10 and 100% for P1.
Comprehension of the Referential Intent of Looking and Pointing Between 12 and 15 Months

Butler, Caron, & Brooks (2000) tested the gaze following of 14-and 18-month-olds under 3 conditions: (1) when the adult's view of the targets was blocked by barriers, (2) when the barriers contained open windows, and (3) no barriers. Contrary to a nonmentalist "ecological" model (adult turns serve as cues to the location of interesting events), frequency of gaze following by 14-month-olds was not equivalent across the 3 conditions. Contrary to a mentalist model (infant wants to see what the adult is seeing), gaze following was not substantially less in the barrier than in the window and no-barrier conditions (as was the case for 18-month-olds). To examine whether the barriers posed vector projection problems for essentially nonmentalist, or line-of-sight problems for essentially mentalist younger infants, 3 experiments were conducted. In Experiment 1, a 12-month group was tested in the same 3 conditions to determine if, being younger, they might yield a more clearcut nonmentalist pattern. Contrarily, they behaved like Butler et al.'s 14-month-olds. In Experiment 2, a 14-month group was tested in the barrier and window conditions, but now combining pointing with turning. Infants behaved as predicted by the mentalist model: strong responding in the window condition and minimal in the barrier (where many strained to look inside the partitions). In Experiment 3, an attempt was made to differentiate between mentalist and "geometric" (vector projection) interpretations of the results of Experiment 2 by testing another 14-month group with the adult's eyes closed while pointing. Gaze following now dropped precipitously in the window condition as did looking inside the solid barriers, indicating (1) that infants in Experiment 2 had not simply been guided to target by an extended arm, but construed it as part of a referential act that was as much visual as gestural, and (2) that by 14 months, infants may have acquired a mentalistic concept of seeing.
Towards Unsupervised and Language-independent Compound Splitting using Inflectional Morphological Transformations

In this paper, we address the task of languageindependent, knowledge-lean and unsupervised compound splitting, which is an essential component for many natural language processing tasks such as machine translation. Previous methods on statistical compound splitting either include language-specific knowledge (e.g., linking elements) or rely on parallel data, which results in limited applicability. We aim to overcome these limitations by learning compounding morphology from inflectional information derived from lemmatized monolingual corpora. In experiments for Germanic languages, we show that our approach significantly outperforms language-dependent stateof-the-art methods in finding the correct split point and that word inflection is a good approximation for compounding morphology.
Resting-State Neural Activity across Face-Selective Cortical Regions Is Behaviorally Relevant

Interest has increased recently in correlations across brain regions in the resting-state fMRI blood oxygen level-dependent (BOLD) response, but little is known about the functional significance of these correlations. Here we directly test the behavioral relevance of the resting-state correlation between two face-selective regions in human brain, the occipital face area (OFA) and the fusiform face area (FFA). We found that the magnitude of the resting-state correlation, henceforth called functional connectivity (FC), between OFA and FFA correlates with an individual's performance on a number of face-processing tasks, not non-face tasks. Further, we found that the behavioral significance of the OFA/FFA FC is independent of the functional activation and the anatomical size of either the OFA or FFA, suggesting that face processing depends not only on the functionality of individual face-selective regions, but also on the synchronized spontaneous neural activity between them. Together, these findings provide strong evidence that the functional correlations in the BOLD response observed at rest reveal functionally significant properties of cortical processing.
Pathogens, herbivores, and phenotypic plasticity of boreal Vaccinium vitis-idaea experiencing climate change

Climate warming is occurring at a rapid rate in the boreal forest; mean winter temperature has increased about 4°C in Alaska over the last 40 years and about the same increase is predicted over the next 40 years. Warming temperatures tend to increase the number and kinds of herbivores and pathogens. How will boreal plants to respond to these abiotic and biotic changes? To address these questions we used common gardens and reciprocal transplants of Vaccinium vitis-idaea at sites with contrasting abiotic conditions near Fairbanks, Alaska. Plant morphology, chemistry, resistance to pathogens and herbivores, and survival were all strongly influenced by the destination environment (planting site and block within site), and less by the site of origin for the seed. Overall, seedlings survived significantly better at the summer cold site, which was buffered from drought as a result of its northern aspect, presence of sphagnum moss and permafrost (86.4% survival versus 48.5%). However, this cool damp site had more.
Privacy-by-design based on quantitative threat modeling

While the general concept of “Privacy-by-Design (PbD)” is increasingly a popular one, there is considerable paucity of either rigorous or quantitative underpinnings supporting PbD. Drawing upon privacy-aware modeling techniques, this paper proposes a quantitative threat modeling methodology (QTMM) that can be used to draw objective conclusions about different privacy-related attacks that might compromise a service. The proposed QTMM has been empirically validated in the context of the EU project ABC4Trust, where the end-users actually elicited security and privacy requirements of the so-called privacy-Attribute Based Credentials (privacy-ABCs) in a real-world scenario. Our overall objective, is to provide architects of privacy-respecting systems with a set of quantitative and automated tools to help decide across functional system requirements and the corresponding trade-offs (security, privacy and economic), that should be taken into account before the actual deployment of their services.
The inverse scattering transform for the focusing nonlinear Schrödinger equation with asymmetric boundary conditions

The inverse scattering transform (IST) as a tool to solve the initial-value problem for the focusing nonlinear Schrodinger (NLS) equation with non-zero boundary values ql/r(t)≡Al/re−2iAl/r2t+iθl/r as x → ∓∞ is presented in the fully asymmetric case for both asymptotic amplitudes and phases, i.e., with Al ≠ Ar and θl ≠ θr. The direct problem is shown to be well-defined for NLS solutions q(x, t) such that q(x,t)−ql/r(t)∈L1,1(R∓) with respect to x for all t ⩾ 0, and the corresponding analyticity properties of eigenfunctions and scattering data are established. The inverse scattering problem is formulated both via (left and right) Marchenko integral equations, and as a Riemann-Hilbert problem on a single sheet of the scattering variables λl/r=k2+Al/r2, where k is the usual complex scattering parameter in the IST. The time evolution of the scattering coefficients is then derived, showing that, unlike the case of solutions with equal amplitudes as x → ±∞, here both reflection and transmission coefficients have .