Miracle-dz/UniFAR-FTUs huggingface dataset:
Overview of the ATLAS Electromagnetic Compatibility Policy

The electromagnetic compatibility of ATLAS electronic equipments must be insured to achieve the required level of performance of the experiment. The ATLAS EMC Policy covers the electrical safety aspects of the front end and racked installations, and aims the proper operation of the experiment in the electromagnetic environment that it creates. For this, the policy defines a set of procedures to document and approve the installations from the safety, compatibility and maintenance points of view. I. THE ATLAS EMC POLICY A. Scope of the Policy The ATLAS electromagnetic compatibility (EMC) policy [1] addresses the compliance to CERN electrical safety rules, the immunity against conducted and radiated emissions present in the experimental area, and the control of those emissions for each system of the experiment. The electromagnetic compatibility is a quality issue that aims the proper operation of a system in a given environment. It is also a risk management tool to identify potential problems and to provide preventive and corrective solutions as appropriate.
Spatial Multipath Resolution with Space Time Block Codes

The use of space time block codes (STBCs) over frequency selective multipath multiple-input multiple-output (MIMO) channels is investigated in combination with spatial multipath resolution (SMR) [1], a novel spatial signal processing technique proposed by the authors for mitigating inter-symbol interference. Neither STBC nor SMR requires transmit channel state information. This fact, along with SMR not requiring any modification to the transmitter, makes the MIMO STBC-SMR hybrid effective. Numerical results are presented, illustrating how the scheme fares under the Alamouti STBC scheme, and highlighting the advantage of adaptive SMR - i.e., adapting the number of multipaths resolved based on the channel state. A practical multipath MIMO channel based on the IEEE 802.15. 3c NLOS (CM4) model is used for simulation.
Extraction method of non-restrictive modification in Japanese as a marked factor of prosody

This paper shows by a quantitative evaluation that nonrestrictive modification in Japanese is a marked factor of prosody, and describes how to extract non-restrictive modification. In Japanese, restrictive and non-restrictive modification have the same syntactic structure, so it is difficult to distinguish them. We propose rules to extract non-restrictive modification in news-text based on the classification of non-restrictive modification and the combination patterns of the head noun and the modifier.
Communication-efficient Sparse Regression

We devise a communication-efficient approach to distributed sparse regression in the high-dimensional setting. The key idea is to average "debiased" or "desparsified" lasso estimators. We show the approach converges at the same rate as the lasso as long as the dataset is not split across too many machines, and consistently estimates the support under weaker conditions than the lasso. On the computational side, we propose a new parallel and computationally-efficient algorithm to compute the approximate inverse covariance required in the debiasing approach, when the dataset is split across samples. We further extend the approach to generalized linear models.
Improving Deployability of Peer-Assisted CDN Platform with Incentive

As a promising solution to manage the huge workload of large-scale VoD services, managed peer-assisted CDN systems, such as P4P [25] has attracted attention. Although the approach works well in theory or in a controlled environment, to our best knowledge, there have been no general studies that address how actual peers can be incentivized in the wild Internet; thus, deployablity of the system with respect to incentives to users has been an open issue. With this background in mind, we propose a new business model that aims to make peer-assisted approaches more feasible. The key idea of the model is that users sell their idle resources back to ISPs. In other words, ISPs can leverage resources of cooperative users by giving them explicit incentives, e.g., virtual currency. We show the high-level framework of designing optimal incentive amount to users. We also analyze how incentives and other external factors affect the efficiency of the system through simulation. Finally, we discuss other fundamental factors that are essential for the deployability of managed peer-assisted model. We believe that the new business model and the insights obtained through this work are useful for assessing the practical design and deployment of managed peer-assisted CDNs.
GD3, a prominent ganglioside of human melanoma. Detection and characterisation by mouse monoclonal antibody

Mouse monoclonal antibody AbR24 has a high degree of specificity for human melanoma cells when tested on viable cultured cells using the protein A mixed hemagglutinin serological assay. The antigen detected by this antibody has been isolated from melanoma cells and shown to be GD3 ganglioside by compositional and partial structural analysis and by comparison with authentic GD3 in thin layer chromatography (TLC). AbR24 reacts with authentic GD3, but not with any other ganglioside tested. Using TLC and reactivity with AbR24, a wide range of cells and tissues was examined for the presence of GD3. A new serological assay, termed glycolipid-mediated immune adherence, was devised for assaying the reactivity of AbR24 with gangliosides. Melanomas (cultured cells or tumor tissue) were shown to have GD3 and GM3 as major gangliosides. Other cells and tissues examined also contained GD3, but usually only in low amounts. Melanomas (and MOLT-4, a T cell line) were characterized by a simplified ganglioside profile with GD3 and GM3 as major components. The apparent discrepancy between the ubiquitous presence of GD3 and the serological specificity of AbR24 for melanoma cells can be explained in terms of localization and concentration of GD3 in different cells.
Comparative Molecular Analysis of the Abnormal Prion Protein in Field Scrapie Cases and Experimental Bovine Spongiform Encephalopathy in Sheep by Use of Western Blotting and Immunohistochemical Methods

ABSTRACT Since the appearance of bovine spongiform encephalopathy (BSE) in cattle and its linkage with the human variant of Creutzfeldt-Jakob disease, the possible spread of this agent to sheep flocks has been of concern as a potential new source of contamination. Molecular analysis of the protease cleavage of the abnormal prion protein (PrP), by Western blotting (PrPres) or by immunohistochemical methods (PrPd), has shown some potential to distinguish BSE and scrapie in sheep. Using a newly developed enzyme-linked immunosorbent assay, we identified 18 infected sheep in which PrPres showed an increased sensitivity to proteinase K digestion. When analyzed by Western blotting, two of them showed a low molecular mass of unglycosylated PrPres as found in BSE-infected sheep, in contrast to other naturally infected sheep. A decrease of the labeling by P4 monoclonal antibody, which recognizes an epitope close to the protease cleavage site, was also found by Western blotting in the former two samples, but this was less marked than in BSE-infected sheep. These two samples, and all of the other natural scrapie cases studied, were clearly distinguishable from those from sheep inoculated with the BSE agent from either French or British cattle by immunohistochemical analysis of PrPd labeling in the brain and lymphoid tissues. Final characterization of the strain involved in these samples will require analysis of the features of the disease following infection of mice, but our data already emphasize the need to use the different available methods to define the molecular properties of abnormal PrP and its possible similarities with the BSE agent.
Boltzmann samplers for random generation of lambda terms

Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for testing and optimizing compilers. For that a tool called QuickCheck has been proposed, but in this tool the control of the random generation is left to the programmer. Ten years ago, a method called Boltzmann samplers has been proposed to generate combinatorial structures. In this paper, we show how Boltzmann samplers can be developed to generate lambda-terms, but also other data structures like trees. These samplers rely on a critical value which parameters the main random selector and which is exhibited here with explanations on how it is computed. Haskell programs are proposed to show how samplers are actually implemented.
On the validity and reliability of the computerized memory interference test for primary Spanish-speaking individuals

xx INTRODUCTION . 1 Memory Defined . 2 Visual Memory . 3 The PMIT: Background and History . 5 The CMIT and What it Measures . 6 Validity . 7 Reliability . 8 The Reliability and Validity of Current Measures . 10 The WMS-III, Visual Reproduction Subtests . 10 The Rey Auditory Verbal Learning Test . 10 The WAIS-III . 11 The Need for Culturally Appropriate Instruments . 13 Characteristics of the Population Under Study . 15 Summary . 15 RESEARCH METHODS . 18 Participants . 18 Instruments . 18 Administration of the CMIT . 18 Part A, The Demographic Questionnaire . 19 Part B, The Pre-Test Trial . 20 Part C, Book 1 . 20 Part C, Book 2 . 21 Part C, Book 3 . 21 Part D, Book 4 . 21 Part E, Book 5 The Reaction Time Test . 22 CMIT Scoring . 22 Administration of the WMS-III VR I and VR II . 23 Administration of the RAVLT . 23 Administration of the WAIS-III . 23 Procedures and Data Analysis . 27
On the Weight Enumerator and BER Bounds of Shortened Block and Product Codes

Code shortening is commonly performed in practice but its analytical decoding performance is not well understood. In this paper, we present tight expressions for estimating the weight enumerator and hence BER (bit error rate) performance of linear shortened and shortened-extended block/product codes operating in AWGN and Rayleigh fading channels. The expressions are easy to use as they are expressed in terms of the original (un-shortened) code properties, which are widely reported. Asymptotic coding loss expressions associated with code shortening are also derived
MPI microtask for programming the Cell Broadband EngineTM processor

The Cell Broadband EngineTM processor employs multiple accelerators, called synergistic processing elements (SPEs), for high performance. Each SPE has a high-speed local store attached to the main memory through direct memory access (DMA), but a drawback of this design is that the local store is not large enough for the entire application code or data. It must be decomposed into pieces small enough to fit into local memory, and they must be replaced through the DMA without losing the performance gain of multiple SPEs. We propose a new programming model, MPI microtask, based on the standard Message Passing Interface (MPI) programming model for distributed-memory parallel machines. In our new model, programmers do not need to manage the local store as long as they partition their application into a collection of small microtasks that fit into the local store. Furthermore, the preprocessor and runtime in our microtask system optimize the execution of microtasks by exploiting explicit communications in the MPI model. We have created a prototype that includes a novel static scheduler for such optimizations. Our initial experiments have shown some encouraging results.
Methane-related changes in prokaryotes along geochemical profiles in sediments of Lake Kinneret (Israel)

Abstract. Microbial methane oxidation is the primary control on the emission of the greenhouse gas methane into the atmosphere. In terrestrial environments, aerobic methanotrophic bacteria are largely responsible for this process. In marine sediments, a coupling of anaerobic oxidation of methane (AOM) with sulfate reduction, often carried out by a consortium of anaerobic methanotrophic archaea (ANME) and sulfate-reducing bacteria, consumes almost all methane produced within those sediments. Motivated by recent evidence for AOM with iron(III) in Lake Kinneret sediments, the goal of the present study was to link the geochemical gradients in the lake porewater to the microbial community structure. Screening of archaeal 16S rRNA gene sequences revealed a shift from hydrogenotrophic to acetoclastic methanogens with depth. The observed changes in microbial community structure suggest possible direct and indirect mechanisms for the AOM coupled to iron reduction in deep sediments. The percentage of members of the Nitrospirales order increased with depth, suggesting their involvement in iron reduction together with Geobacter genus and "reverse methanogenesis". An indirect mechanism through sulfate and ANME seems less probable due to the absence of ANME sequences. This is despite the abundant sequences related to sulfate-reducing bacteria (Deltaproteobacteria) together with the occurrence of dsrA in the deep sediment that could indicate the production of sulfate (disproportionation) from S0 for sulfate-driven AOM. The presence of the functional gene pmoA in the deep anoxic sediment together with sequences related to Methylococcales suggests the existence of a second unexpected indirect pathway – aerobic methane oxidation pathway in an anaerobic environment.
Short-Term Test-Retest Reliability of Respiratory Sinus Arrhythmia (RSA) in Young Adults

Despite the burgeoning use of respiratory sinus arrhythmia (RSA), heart period (HP), and blood pressure (BP) to study individual differences in autonomic regulatory processes in young adults, few studies have examined the short-term reliability of such autonomic measures in emerging adulthood. If resting autonomic measures indeed reflect “trait-like” individual differences, they should have acceptable levels of test-retest reliability. We examined the 1-month test-retest reliability of resting measures of RSA as well as HP, systolic (SBP) and diastolic blood pressure (DBP) in a sample of 41 healthy young adults. Test-retest reliability of all four measures was good-to-excellent across the 1-month period. However, uncontrolled mean RSA declined from Time 1 to Time 2, suggesting that while individual differences in RSA were stable, mean RSA appeared to be sensitive to condition effects. Even with random variation, all of these measures were stable across one month, demonstrating acceptable short-term test-retest reliability in emerging adulthood.
Quantifying the Relationship between Hit Count Estimates and Wikipedia Article Traffic

This paper analyzes the relationship between search engine hit counts and Wikipedia article views by evaluating the cross correlation between them. We observe the hit count estimates of three popular search engines over a month and compare them with the Wikipedia page views. The strongest cross correlations are recorded with their delays in days. We present the results in both graphs and quantitative data among different search engines. We also investigate the predicting trends between the hit counts and Wikipedia article traffic.
From Lock Freedom to Progress Using Session Types

Inspired by Kobayashi's type system for lock freedom, we define a behavioral type system for ensuring progress in a language of binary sessions. The key idea is to annotate actions in session types with priorities representing the urgency with which such actions must be performed and to verify that processes perform such actions with the required priority. Compared to related systems for session-based languages, the presented type system is relatively simpler and establishes progress for a wider range of processes.
Counting the primes using entropy

How many bits of information about an integer do we learn from each of its prime factors? Trying to answer that question in a precise manner leads to an elementary information-theoretic proof of a well-known, there is a given nontrivial result in number theory, namely that Sigmaplesn log p/p ~ log n as n rarr infin where the sum is over all primes p not exceeding n. In fact, we obtain finite-n bounds that refine this limit. This result, originally proved by Chebyshev in 1852, is closely related to the celebrated prime number theorem. Our main goal is to show that basic information-theoretic arguments combined with elementary computations can be used to give a new proof [2] for Chebyshev's classical result (1). The proof follows, in part, along the lines of a heuristic argument due to Billingsley [1]. We briefly outline the connection between Chebyshev's result and Gauss' prime number theorem, and also give a brief survey of other instances where information-theoretic ideas have been employed in the context of number theory.
A review of approaches to treat uncertainty in LCA

It is important to know to what extent the outcome of an LCA is affected by various types of uncertainty, such as parameter, scenario and model uncertainty. These types may occur in the goal and scope definition, the inventory analysis and the impact assessment of an LCA. Information on the uncertainty of the model outcomes provides useful information to assess the reliability of LCA-based decisions and to guide future research towards reducing uncertainty. This paper reviews several approaches to treat different types of uncertainty in LCA. It will discuss the typology of uncertainty that may be encountered in LCA, the qualitative and quantitative techniques that are available to address these uncertainties, the inclusion of these techniques in LCA software tools, the (graphical) possibilities to show uncertainty in LCA outcomes, ways to simplify the uncertainty analysis, the inclusion of uncertainty analyses in case studies and (the difficulties in) the interpretation of uncertainty information.
Gendered pedagogic identities and academic professionalism in Greek medical schools

ABSTRACT Feminist scholarship has considered how pedagogical identities and emotions are implicated in the gender politics of belonging and othering in higher education. This paper examines how gendered and embodied pedagogy is mobilised in Greek medical schools to construct notions of the ideal academic and assert women’s position women in Academic Medicine. I employ thematic analysis to illustrate that formations of pedagogy and academic professionalism are bound up with emotions and embodied practices of relating, connecting, creating learning communities and promoting virtuous academic citizenship. Women’s gendered accounts of pedagogy and their boundary practices of identification demonstrate agency, intentionality and operate as highly political actions of legitimacy and resistance within the patriarchal realm of Greek higher education. I argue that gendered discourses of pedagogy in Greek medical schools become resources for resisting neo-liberal notions of academic work, individualism and women’s exclusion in the highly prestigious discipline of academic medicine in Greece.
Error detection and error correction in real-time digital computers

Until the digital computer is built which never malfunctions, programmers will have to worry about what will happen to their programs if a machine error does occur. In the case of computers used as integral parts of real-time control systems "worry" is perhaps too weak a word. For a machine error in a computer in such a system may not just cause trouble; it may cause disaster. Thus, with the increasing use of digital computers as elements of real-time systems it has become increasingly important that techniques be developed to handle the malfunction problem in real-time computers. The purpose of this paper is to present a number of such techniques---programming techniques---some well-known and some new for the detection and correction of performance errors in real-time digital computers.
Innate Immune-Mediated Neuronal Injury Consequent to Loss of Astrocytes

Neuronal injury and loss are recognized features of neuroinflammatory disorders, including acute and chronic encephalitides and multiple sclerosis; destruction of astrocytes has been demonstrated in cases of Rasmussen encephalitis. Here, we show that innate immune cells (i.e. natural killer [NK] and γδ T cells) cause loss of neurons from primary human neuron-enriched cultures by destroying the supporting astrocytes. Interleukin 2-activated NK cells caused loss of astrocytes within 1 hour, whereas neurons were lost at 4 hours. Time-lapse imaging indicated that delayed neuron loss was due to early destruction of supporting astrocytes. Selective blocking of astrocyte death with anti-NKG2D antibodies reduced neuron loss, as did blocking of CD54 on astrocytes. γδ T cells also induced astrocyte cytotoxicity, leading to subsequent neuronal displacement. In astrocytes, NK cells caused caspase-dependent fragmentation of the intermediate filament proteins glial fibrillary acidic protein and vimentin, whereas anti-CD3-activated T cells produced fragmentation to a lesser extent and without measurable cytotoxicity. Glial fibrillary acidic protein fragmentation was also demonstrated in lysates from chronic multiple sclerosis plaques but not from normal control white matter. These data suggest that non-major histocompatibility complex-restricted immune effector cells may contribute to neuron loss in neuroinflammatory disorders indirectly through injury of glia.
Effectiveness of a cognitive rehabilitation program in mild dementia (MD) and mild cognitive impairment (MCI): A case control st

Data support the evidence that neuropsychological rehabilitation is effective in Alzheimer disease (AD), to strengthen the pharmacological treatment to delay the progression of dementia. At moment, a few studies have examined the efficacy of non-pharmacological treatment in MCI. This is a controlled study that assesses the effectiveness of neuropsychological rehabilitation on cognitive and behavioral symptoms and functional status in a group of community-dwelling subjects with MCI and MD. Our results demonstrate that a systematic rehabilitation, that provides a computerized cognitive program training, produces an improvement in cognitive and affective status of patients with MCI and MD, while a rehabilitation program not providing a punctual stimulation of cognitive functions, does not have significant effects.
Adaptive Software-Defined Visible Light Communication Networks

A platform for software-based Visible Light Communication (VLC) can be built with simple hardware components and VLC can be integrated into a room's lighting system. VLC is therefore a good match for indoor setups that need to support a large number of nodes with moderate bandwidth requirements. But designing a VLC system for worst-case operating conditions is more restrictive than necessary. This paper presents a software-based VLC system that adapts link sensitivity and capacity to match environment constraints. Compared to a fixed sensing scheme, an adaptive scheme increases channel capacity by almost an order of magnitude under favorable conditions or significantly extends the communication range. This adaptive link sensitivity allows communication even without a direct line of sight between two devices, opening new opportunities to use VLC systems in novel scenarios involving different types of embedded devices -- ranging from network nodes that only include a single Light Emitting Diode (LED), such as consumer electronics, toys, and wearables, to LED light bulbs that run Linux and provide an indoor VLC communication fabric.