Miracle-dz/UniFAR-FTUs huggingface dataset:
Ice condensation on sulfuric acid tetrahydrate: implications for polar stratospheric ice clouds

Abstract. The mechanism of ice nucleation to form Type 2 PSCs is important for controlling the ice particle size and hence the possible dehydration in the polar winter stratosphere. This paper probes heterogeneous ice nucleation on sulfuric acid tetrahydrate (SAT). Laboratory experiments were performed using a thin-film, high-vacuum apparatus in which the condensed phase is monitored via Fourier transform infrared spectroscopy and water pressure is monitored with the combination of an MKS baratron and an ionization gauge. Results show that SAT is an efficient ice nucleus with a critical ice saturation ratio of S* ice = 1.3 to 1.02 over the temperature range 169.8-194.5 K. This corresponds to a necessary supercooling of 0.1-1.3 K below the ice frost point. The laboratory data is used as input for a microphysical/photochemical model to probe the effect that this heterogeneous nucleation mechanism could have on Type 2 PSC formation and stratospheric dehydration. In the model simulations, even a very small number of SAT particles (e.g., 10 -3 cm -3 ) result in ice nucleation on SAT as the dominant mechanism for Type 2 PSC formation. As a result, Type 2 PSC formation is more widespread, leading to larger-scale dehydration. The characteristics of the clouds are controlled by the assumed number of SAT particles present, demonstrating that a proper treatment of SAT is critical for correctly modeling Type 2 PSC formation and stratospheric dehydration.
EyeWindows: evaluation of eye-controlled zooming windows for focus selection

In this paper, we present an attentive windowing technique that uses eye tracking, rather than manual pointing, for focus window selection. We evaluated the performance of 4 focus selection techniques: eye tracking with key activation, eye tracking with automatic activation, mouse and hotkeys in a typing task with many open windows. We also evaluated a zooming windowing technique designed specifically for eye-based control, comparing its performance to that of a stan-dard tiled windowing environment. Results indicated that eye tracking with automatic activation was, on average, about twice as fast as mouse and hotkeys. Eye tracking with key activation was about 72% faster than manual conditions, and preferred by most participants. We believe eye input performed well because it allows manual input to be provided in parallel to focus selection tasks. Results also suggested that zooming windows outperform static tiled windows by about 30%. Furthermore, this performance gain scaled with the number of windows used. We conclude that eye-controlled zooming windows with key activation pro-vides an efficient and effective alternative to current focus window selection techniques.
SelectCast: Scalable data aggregation scheme in wireless sensor networks

In this work, for a wireless sensor network (WSN) of n randomly placed sensors with node density λ ∈ [1, n], we study the tradeoffs between the aggregation throughput and gathering efficiency. The gathering efficiency refers to the ratio of the number of the sensors whose data have been gathered to the total number of sensors. Specifically, we design two efficient aggregation schemes, called single-hop-length (SLH) scheme and multiple-hop-length (MLH) scheme. By novelly integrating these two schemes, we theoretically prove that our protocol achieves the optimal tradeoffs, and derive the optimal aggregation throughput depending on a given threshold value (lower bound) on gathering efficiency. Particularly, we show that under the MLH scheme, for a practically important set of symmetric functions called perfectly compressible functions, including the mean, max, or various kinds of indicator functions, etc., the data from Θ(n) sensors can be aggregated to the sink at the throughput of a constant order Θ(1), implying that our MLH scheme is indeed scalable.
The distribution of category and location information across object-selective regions in human visual cortex

Since Ungerleider and Mishkin [Underleider LG, Mishkin M (1982) Two cortical visual systems. Analysis of Visual Behavior, eds Ingle MA, Goodale MI, Masfield RJW (MIT Press, Cambridge, MA), pp 549–586] proposed separate visual pathways for processing object shape and location, steady progress has been made in characterizing the organization of the two kinds of information in extrastriate visual cortex in humans. However, to date, there has been no broad-based survey of category and location information across all major functionally defined object-selective regions. In this study, we used an fMRI region-of-interest (ROI) approach to identify eight regions characterized by their strong selectivity for particular object categories (faces, scenes, bodies, and objects). Participants viewed four types of stimuli (faces, scenes, bodies, and cars) appearing in each of three different spatial locations (above, below, or at fixation). Analyses based on the mean response and voxelwise patterns of response in each ROI reveal location information in almost all of the known object-selective regions. Furthermore, category and location information can be read out independently of one another such that most regions contain both position-invariant category information and category-invariant position information. Finally, we find substantially more location information in ROIs on the lateral than those on the ventral surface of the brain, even though these regions have equal amounts of category information. Although the presence of both location and category information in most object-selective regions argues against a strict physical separation of processing streams for object shape and location, the ability to extract position-invariant category information and category-invariant position information from the same neural population indicates that form and location information nonetheless remain functionally independent.
Clinical Usefulness of Cell-based Indirect Immunofluorescence Assay for the Detection of Aquaporin-4 Antibodies in Neuromyelitis Optica Spectrum Disorder

Background The presence of antibodies to aquaporin-4 (AQP4) has been identified as a key characteristic of neuromyelitis optica spectrum disorder (NMOSD), an autoimmune inflammatory demyelinating central nervous system (CNS) disorder. We evaluated the performance of a cell-based indirect immunofluorescence assay (CIIFA) for detecting AQP4 antibodies using antigen prepared with a recombinant AQP4 peptide transfection technique and assessed the usefulness of CIIFA for diagnosis of NMOSD in routine clinical practice. Methods Forty-six serum samples from 36 patients as a comparison set and another 101 patients enrolled consecutively from a neurology clinic were included. CIIFA and fluorescence immunoprecipitation assays (FIPA) were performed. CIIFA was performed at 2 different institutions for comparison purposes. Results CIIFA and FIPA sensitivity in the comparison set was 86% and 79% in neuromyelitis optica (NMO) patients and 55% and 36% in high-risk NMO patients, respectively. The semiquantitative titer measured by CIIFA correlated well with the arbitrary unit (fluorescence units [FU]) derived from FIPA (r=0.66). Titers measured by CIIFA and FIPA were elevated in NMO patients compared to high-risk NMO patients (1:240 vs. 1:180 and 8,390 vs. 4,059 FU, respectively). The frequency of AQP4 antibody detection by CIIFA in 101 consecutively enrolled patients was 100% in NMO and 23% in high-risk NMO patients, while only 4.6% in control patients, including those with multiple sclerosis. Conclusions Detection of AQP4 antibodies by CIIFA provides sensitive and highly specific diagnostic information for NMO and high-risk NMO patients, which can be used to differentiate these conditions from other demyelinating CNS diseases.
Mass Problems and Measure-Theoretic Regularity

Abstract A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an F σ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measuretheoretic regularity at all levels of the effective Borel hierarchy. We prove some new results concerning Nies's notion of LR-reducibility. We build some ω-models of RCA0 which are relevant for the reverse mathematics of measure-theoretic regularity.
Optimal Inputs for Phase Models of Spiking Neurons

Variational methods are used to determine the optimal currents that elicit spikes in various phase reductions of neural oscillator models. We show that, for a given reduced neuron model and target spike time, there is a unique current that minimizes a squareintegral measure of its amplitude. For intrinsically oscillatory models, we further demonstrate that the form and scaling of this current is determined by the model’s phase response curve. These results reflect the role of intrinsic neural dynamics in determining the time course of synaptic inputs to which a neuron is optimally tuned to respond, and are illustrated using phase reductions of neural models valid near typical bifurcations to periodic firing, as well as the Hodgkin-Huxley equations. DOI: 10.1115/1.2338654 Phase-reduced models of neurons have traditionally been used to investigate either the patterns of synchrony that result from the type and architecture of coupling 1–8 or the response of large groups of oscillators to external stimuli 9–11. In all of these cases, the inputs to the model cells were fixed by definition of the model at the outset and the dynamics of phase models of networks or populations were analyzed in detail. The present paper takes a complementary, control-theoretic approach that is related to probabilistic “spike-triggered” methods 12: we fix at the outset a feature of the dynamical trajectories of interest—spiking at a precise time t1—and study the neural inputs that lead to this outcome. By computing the optimal such input, according to a measure of the input strength required to elicit the spike, we identify the signal to which the neuron is optimally “tuned” to respond. We view the present work as part of the first attempts 13,14 to understand the dynamical response of neurons using control theory, and, as we expect that insights from this general perspective will be combined with the “forward” dynamics results that Phil Holmes and many others have derived to ultimately enhance our understanding of neural processing, we hope that it will serve as a fitting tribute to his work.
Unconstrained Hamiltonian formulation of SU ( 2 ) gluodynamics

SU(2) Yang-Mills field theory is considered in the framework of the generalized Hamiltonian approach and the equivalent unconstrained system is obtained using the method of Hamiltonian reduction. A canonical transformation to a set of adapted coordinates is performed in terms of which the Abelianization of the Gauss law constraints reduces to an algebraic operation and the pure gauge degrees of freedom drop out from the Hamiltonian after projection onto the constraint shell. For the remaining gauge invariant fields two representations are introduced where the three fields which transform as scalars under spatial rotations are separated from the three rotational fields. An effective low energy nonlinear sigma model type Lagrangian is derived which out of the six physical fields involves only one of the three scalar fields and two rotational fields summarized in a unit vector. Its possible relation to the effective Lagrangian proposed recently by Faddeev and Niemi is discussed. Finally the unconstrained analog of the well-known nonnormalizable groundstate wave functional which solves the Schr\"odinger equation with zero energy is given and analysed in the strong coupling limit.
High-speed noninvasive brain-computer interfaces

Brain computer interface (BCI) systems allow interaction with machines through a channel that does not involve the traditional motor pathways of the human nervous system. Thus they can be used by people with severe motor disabilities or those whose limbs are occupied with other tasks. In BCI systems that recently showed greatest interest of researchers, electrical brain activity is measured on the scalp, thus basically they are noninvasive. Using the EEG measurements as the input to the BCI offers the advantages of low cost and high time resolution. However, due to small amplitude of the signal components, relatively high power of noise and poor spatial resolution, achieving large speed, accuracy and the number of targets is a challenge. At present, the steady-state visual evoked potential (SSVEP) BCI paradigm is believed to provide the most promising way of optimizing the BCI performance in that sense. A review of the SSVEP BCI projects is presented, including studies of biodiversity of human EEG response to visual excitation, as well as the design of techniques for visual stimulation, EEG signal acquisition and analysis for best BCI performance. The review is based both on the literature and results of own teamwork.
Manual of the Wechsler Intelligence Scale for Children-Revised

The validity and reliability study was performed in Turkey by Ercan et al. The Wechsler Intelligence Scale for Children-Revised (WISC-R) test was administered. Official Full-Text Publication: Structure of the Wechsler Intelligence Scale for Children-Fourth Edition Among a National Sample of Referred Students. Intelligence Scale for Children IV: A retest of the Guttman model of intelligence. Manual for the Wechsler Intelligence Scale for Children-Revised (WISC-R).
Continuous telemetric blood pressure monitoring and glomerular injury in the rat remnant kidney model.

The pathogenesis of glomerular injury in the remnant kidney (RK) model remains controversial. Increased glomerular transmission of systemic hypertension has been postulated to be an important pathogenic mechanism, but the precise relationship between systemic pressures and glomerular injury has not been defined because of the limitations of the tail-cuff method. Systolic blood pressure (BP) was continuously recorded radiotelemetrically at 10-min intervals for 6 wk in rats after approximately 5/6 renal ablation (n = 16) or sham ablation (n = 7). Overall mean systolic BP in RK rats was significantly higher than sham (138 +/- 3.3 vs. 117 +/- 1.3 mmHg, P < 0.01). Additionally, marked lability of systolic BP was observed in RK rats as compared with sham rats. Glomerular injury was essentially confined to RK rats, but the percentage of injured glomeruli ranged between 1 and 55%. Glomerular injury in individual animals was strongly correlated (r = 0.88) with the mean systolic BP during the last approximately 4 wk and with the frequency of systolic BP readings of > 140 mmHg. These data strongly suggest that transmission of systemic hypertension to the renal microvasculature plays a predominant role in the pathogenesis of glomerular injury in the RK model and also support the potential usefulness of the radiotelemetric technique to investigate hypertensive target organ injury.
The Danish nationwide clinical register for patients with rheumatoid arthritis: DANBIO

Introduction DANBIO is a research register and a data source for rheumatologic diseases (rheumatoid arthritis [RA], axial spondyloarthritis, and psoriatic arthritis) for monitoring clinical quality at the national, regional, and hospital levels. Study population The register includes patients with rheumatologic diseases who are treated at a hospital or a private rheumatologic clinic. Registration is mandatory for all patients with RA regardless of treatment and also for patients with other diagnoses if treated with biological disease-modifying antirheumatic drugs. Since 2006, the registration has been done electronically, including patient-reported outcome measures registered electronically by the patients with the use of touch screens. Main variables Core variables such as diagnosis, year of diagnosis, age, and sex are registered at the beginning. Data entered at later visits included the following: patient-reported outcomes for disease activity, pain, fatigue, functional status, and physician-reported objective measures of disease activity, treatment, C-reactive protein, and, when indicated, imaging. For subgroups of patients, the variables such as quality of life, sociodemographic factors, lifestyle, and comorbidity are also registered. Descriptive data The DANBIO cohort comprised ∼26,000 patients with RA, 3,200 patients with axial spondyloarthritis, and 6,200 patients with psoriatic arthritis in 2015. DANBIO has high nationwide coverage and completeness on key data variables. More than 60 original papers as well as annual reports of clinical quality (since 2005) have been published. Conclusion DANBIO is a powerful register for research in rheumatologic diseases and furthermore serves as a Clinical Quality Register with the aim of monitoring treatment quality in patients with RA in Denmark.
Assessment of apoptosis in human breast tissue using an antibody against the active form of caspase 3: relation to tumour histopathological characteristics

Apoptosis is of important significance in the pathogenesis of cancer. Many methods are available for the measurement of apoptosis but the ‘gold standard’ is to identify apoptotic cells by their morphological features using microscopy. Caspase 3 is a cytosolic enzyme that is activated only in cells committed to undergo apoptosis. The activation of caspase 3 precedes the development of the classical morphological features of apoptosis. Using immunohistochemistry with an antibody against the active form of caspase 3, the apoptotic index (AI) was measured in 116 samples of human breast tissue (22 normal/benign and 94 invasive carcinomas). The AI obtained by measuring caspase activation has a strong correlation with the AI derived by morphological assessment (r = 0.736, P < 0.01). The AI is higher in the invasive group than in the benign group (P = 0.008), and in invasive cancer high AI is associated with high tumour grade (P = 0.013), positive node status (P < 0.001) and negative steroid receptor status (P = 0.001 for ER; P = 0.004 for PR). No significant association is observed between AI and tumour size. Measurement of apoptosis by immunohistochemistry using an antibody against the active form of caspase 3 is therefore reliable and correlates strongly with morphological assessment. © 2001 Cancer Research Campaign http://www.bjcancer. com
Luminosity Functions of Elliptical Galaxies at z < 1.2

The luminosity functions of E/S0 galaxies are constructed in three different redshift bins (0.2 < z < 0.55, 0.55 < z < 0.8, 0.8 < z < 1.2), using the data from the Hubble Space Telescope (HST) Medium Deep Survey and other HST surveys. These independent luminosity functions show the brightening in the luminosity of E/S0s by about 0.5-1 mag at z ~ 1 and no sign of significant number evolution. This is the first direct measurement of the luminosity evolution of E/S0 galaxies, and our results support the hypothesis of a high redshift of formation (z > 1) for elliptical galaxies, together with weak evolution of the major merger rate at z < 1.
A Force-directed Approach for Fast Generation of Efficient Multi-Port NoC Architectures

Networks-on-chip (NoC) is an emerging style of system design introduced to overcome the communication and the performance bottlenecks of a shared-bus design. Away from the traditional NoC mesh design, multi local port router (MLPR) has been introduced as design alternative to improve the bandwidth, reduce the network area (36% average area savings) and eventually, improve the overall performance of the NoC system. In this research, we present a fast mapping tool (cMap) for generating NoC architectures using MLPRs. The algorithm exploits the advantages offered by MLPRs and starts with a minimum dimension mesh. After an initial bandwidth-communication-cost based nearest-neighbor placement, it uses a force-directed approach to iteratively expand the mesh, as the cost gets reduced. The algorithm introduces the concept of folding to improve the NoC design. Unlike the earlier exhaustive-search based optiMap algorithm, cMap can handle any size of the task graph, producing near-optimal results (average cost difference between 3% and 10%,) in a couple of seconds. We experiment with a rich set of 22 benchmarks and report the results
Exploring Short-Term Responses to Changes in the Control Strategy for Chlamydia trachomatis

Chlamydia has a significant impact on public health provision in the developed world. Using pair approximation equations we investigate the efficacy of control programmes for chlamydia on short time scales that are relevant to policy makers. We use output from the model to estimate critical measures, namely, prevalence, incidence, and positivity in those screened and their partners. We combine these measures with a costing tool to estimate the economic impact of different public health strategies. Increasing screening coverage significantly increases the annual programme costs whereas an increase in tracing efficiency initially increases annual costs but over time reduces costs below baseline, with tracing accounting for around 10% of intervention costs. We found that partner positivity is insensitive to changes in prevalence due to screening, remaining at around 33%. Whether increases occur in screening or tracing levels, the cost per treated infection increases from the baseline because of reduced prevalence.
Large reduction in thermal conductivity for SiGe alloy nanowire wrapped with a Ge nanoparticle-embedded SiO2 shell

We demonstrate silicon germanium (SiGe) alloy nanowires (NWs) with Ge nanoparticles (GeNPs) embedded in a SiO2 shell as a material for decreasing thermal conductivity. During thermal oxidation of SiGe NWs to form SiGe–SiO2 core–shell structures, Ge atoms were diffused into the SiO2 shell to relax the strain in the SiGe core, and agglomerated as a few nanometer-sized particles. This structure leads to a large reduction in thermal conductivity due to the GeNP–phonon interaction, while electrical conductivity is sustained because the core of the SiGe alloy NW provides a current path for the charged carriers. The thermal conductivity of the SiGe alloy NWs wrapped with a GeNP-embedded SiO2 shell is 0.41 W m−1 K−1 at 300 K.
Radioimmunoassay that measures serum vitamin B12.

AIMS: To develop a specific radioimmunoassay for the routine determination of serum vitamin B12. METHODS: Antisera were raised in rabbits by immunisation with the monocarboxylic acid derivative of cyanocobalamin coupled to human serum albumin. Antibody titres and affinities were determined and the antiserum giving the highest binding affinity constant, Ka, was used to develop the assay protocol. Donkey-anti-rabbit gamma globulin-coated magnetisable particles were used to separate the bound from free vitamin B12. The considerable cobalamin binding capacity of human serum was destroyed by autoclaving in acetate-cyanide buffer. Sixty samples were assayed by the radioimmunoassay (RIA) and the Lactobacillus leichmannii assay. Recovery and cross-reactivity experiments were performed. RESULTS: Final rabbit antibody titres varied from 1/20,000 to 1/188,000. Scatchard plots did not correlate with the antibody titres. The Ka values varied from 2.6 to 6.7 x 10(10) litres/mol. For maximum sensitivity the highest Ka (titre 1/66,000) was chosen. A tracer concentration of 22 pmol/l, an antiserum dilution of 1/100,000, and a sample volume of 0.1 ml were used. At an antiserum dilution of 1 in 100,000 the cyanocobalamin binding of the rabbit serum was diluted out. The assay showed excellent correlation with the microbiological assay, with 100% recovery of added vitamin B12. Levels of cross-reactivity for dicyanide cobinamide and hydroxocobalamin were 9.8 and 8.1%, respectively. CONCLUSIONS: The development of this immunoassay permits the measurement of serum vitamin B12 without important interference from cobalamin analogues, related corrinoids, and non-specific binders.