Miracle-dz/UniFAR-FTUs huggingface dataset:
High-sensitivity tool for studying phonon related mechanical losses in low loss materials

Fundamental mechanical loss mechanisms exist even in very pure materials, for instance, due to the interactions of excited acoustic waves with thermal phonons. A reduction of these losses in a certain frequency range is desired in high precision instruments like gravitational wave detectors. Systematic analyses of the mechanical losses in those low loss materials are essential for this aim, performed in a highly sensitive experimental set-up. Our novel method of mechanical spectroscopy, cryogenic resonant acoustic spectroscopy of bulk materials (CRA spectroscopy), is well suited to systematically determine losses at the resonant frequencies of the samples of less than 10-9 in the wide temperature range from 5 to 300 K. A high precision set-up in a specially built cryostat allows contactless excitation and readout of the oscillations of the sample. The experimental set-up and measuring procedure are described. Limitations to our experiment due to external loss mechanisms are analysed. The influence of the suspension system as well as the sample preparation is explained.
Optimizing Paxos with request exchangeability for highly available web services

There are a variety of factors such as massive commodity computers, storage, network devices and complex management tasks running behind web services which make web services not available. Replication is an effective solution in that case. There are a variety of replication protocols, and which has been used most is called Paxos. For high available web services, we introduce Paxos as replication protocol and have done a series of optimization work. Firstly, we find that there exists exchangeability between requests to web services and the exchangeability can be used to improve the performance of Paxos. Secondly, in the light of the characteristics of web services with business processes, we find the exchangeable relationship between operations. The exchangeability between operations and the exchangeability between requests can be one-to-one correspondence. Thirdly, we apply the exchangeability to the optimization of Paxos for high available web services. Finally, we have implemented some experiments and experimental results show its effectiveness and performance advantages compared with other replication methods.
The Complement System in Flavivirus Infections

The incidence of flavivirus infections has increased dramatically in recent decades in tropical and sub-tropical climates worldwide, affecting hundreds of millions of people each year. The Flaviviridae family includes dengue, West Nile, Zika, Japanese encephalitis, and yellow fever viruses that are typically transmitted by mosquitoes or ticks, and cause a wide range of symptoms, such as fever, shock, meningitis, paralysis, birth defects, and death. The flavivirus genome is composed of a single positive-sense RNA molecule encoding a single viral polyprotein. This polyprotein is further processed by viral and host proteases into three structural proteins (C, prM/M, E) and seven non-structural proteins (NS1, NS2A, NS2B, NS3, NS4A, NS4B, NS5) that are involved in viral replication and pathogenicity. The complement system has been described to play an important role in flavivirus infection either by protecting the host and/or by influencing disease pathogenesis. In this mini-review, we will explore the role of complement system inhibition and/or activation against infection by the Flavivirus genus, with an emphasis on dengue and West Nile viruses.
Learning Evaluation Functions for Large Acyclic Domains

Some of the most successful recent applications of reinforcement learning have used neural networks and the TD( ) algorithm to learn evaluation functions. In this paper, we examine the intuition that TD( ) operates by approximating asynchronous value iteration. We note that on the important subclass of acyclic tasks, value iteration is ine cient compared with another graph algorithm, DAG-SP, which assigns values to states by working strictly backwards from the goal. We then present ROUT, an algorithm analogous to DAG-SP that can be used in large stochastic state spaces requiring function approximation. We close by comparing the behavior of ROUT and TD on a simple example domain and on two domains with much larger state spaces.
Accretion and dynamical interactions in small-N star-forming clusters: N = 5

We present results from high-resolution hydrodynamical simulations that explore the effects of small-scale clustering in star-forming regions. A large ensemble of small-N clusters with five stellar seeds have been modelled and the resulting properties of stars and brown dwarfs statistically derived and compared with observational data. Close dynamical interactions between the protostars and competitive accretion driven by the cloud collapse are shown to produce a distribution of final masses that is bimodal, with most of the mass residing in the binary components. When convolved with a suitable core mass function, the final distribution of masses resembles the observed initial mass function, in both the stellar and substellar regimes. Binaries and single stars are found to constitute two kinematically distinct populations, with about half of the singles attaining velocities 2k m s −1 , which might deprive low-mass star-forming regions of their lightest members in a few crossing times. The eccentricity distribution of binaries and multiples is found to follow a distribution similar to that of observed long-period (uncircularized) binaries. The results obtained support a mechanism in which a significant fraction of brown dwarfs form under similar circumstances as those of normal stars but are ejected from the common envelope of unstable multiple systems before their masses exceed the hydrogen burning limit. We predict that many close binary stars should have wide brown dwarf companions. Brown dwarfs, and, in general, very low-mass stars, would be rare as pure binary companions. The binary fraction should be a decreasing function of primary mass, with low-mass or substellar primaries being scarce. Where such binaries exist, they are expected either to be close enough (semimajor axis ∼10 au) to survive strong interactions with more massive binaries or to be born in very small molecular cloud cores.
A Symbolic Analysis Method of Communication Set Generation for Irregular Array Reference

Communication set generation significantly influences the performance of parallel programs. However, seldom works gives attention to the communication generation problem for irregular applications. In this paper, we will explain how support to generate communication set for irregular array references in loops. We propose a compile-time algorithm by introducing some symbolic analysis techniques. In our symbolic analysis system, a set of symbolic solutions of a symbolic expression system is solved by limiting some restrictions. For this proposal, we introduce some symbolic analysis algorithms to fix solutions in a system of equalities and inequalities. Finally, we show experimental results on a parallel computer CM-5 that validate our approach.
Humanoid Interaction Approach: Exploring Meaningful Order in Complex Interactions

Humans seem to handle extremely complex interactions quite robustly and e ortlessly. A whole body dynamic action entails a coordinated dynamic control of many dozens of joints, dealing with inde nite vast variety of e ects from physical contacts between the body and other objects. Moreover, as we change our posture or the physical contact states change, the dynamics of physical interaction changes drastically. Nevertheless we rarely have di culty in accomplishing our goals in our everyday life. We are also quite robust in recognizing someone else's actions and generating meaningful responses such as helping, hindering, or sometimes learning by imitation. Characteristic to these examples is the capability to robustly explore/identify/achieve a variety of di erent dynamics and to detect the right points of intervention to such dynamics. Past research on emergent behavior, sensorimotor learning, cooperative behavior, etc., in robotics or autonomous agent research have provided us some important principles. However, most of these research assumed rather simple robots in restricted environments. This may have obscured some important points. For example, the e ect of embodiment in sensorimotor learning may be di erent between a simple round shaped robot only capable of planar motion whose sensors are a xted to its body, and a complex human-like system capable of free motion in the 3D space with a large number of sensors distributed over highly redundant degrees of freedom. The similar di erence may be seen in emergent behavior between the simple robot in corridors and the human like system in 3D cluttered environment with other mobile objects. In short, the principles acquired through investigations with simple robots may not
A Load-Lock-Compatible Nanomanipulation System for Scanning Electron Microscope

This paper presents a nanomanipulation system for operation inside scanning electron microscopes (SEM). The system is compact, making it capable of being mounted onto and demounted from an SEM through the specimen-exchange chamber (load-lock) without breaking the high vacuum of the SEM. This advance avoids frequent opening of the high-vacuum chamber, thus, incurs less contamination to the SEM, avoids lengthy pumping, and significantly eases the exchange of end effectors (e.g., nanoprobes and nanogrippers). The system consists of two independent 3-DOF Cartesian nanomanipulators driven by piezomotors and piezoactuators. High-resolution optical encoders are integrated into the nanomanipulators to provide position feedback for closed-loop control. The system is characterized, yielding the encoders' resolution of 2 nm and the piezoactuators' resolution of 0.7 nm. A look-then-move control system and a contact-detection algorithm are implemented for horizontal and vertical nanopositioning.
0 A pr 2 00 2 Cyclic Cohomology of Crossed Coproduct

We extend our work in [1] to the case of Hopf comodule coalgebras. We introduce the cocylindrical module C♮H, where H is a Hopf algebra with bijective antipode and C is a Hopf comodule coalgebra over H. We show that there exists an isomorphism between the cocyclic module of the crossed coproduct coalgebra C >◭ H and ∆(C♮H), the cocyclic module related to the diagonal of C♮H. We approximate HC • (C >◭ H) by a spectral sequence and we give an interpretation for E 0 , E 1 and E 2 terms of this spectral sequence.
Quantitative Analysis of Torso FDG-PET Scans by Using Anatomical Standardization of Normal Cases from Thorough Physical Examinations

Understanding of standardized uptake value (SUV) of 2-deoxy-2-[18F]fluoro-d-glucose positron emission tomography (FDG-PET) depends on the background accumulations of glucose because the SUV often varies the status of patients. The purpose of this study was to develop a new method for quantitative analysis of SUV of FDG-PET scan images. The method included an anatomical standardization and a statistical comparison with normal cases by using Z-score that are often used in SPM or 3D-SSP approach for brain function analysis. Our scheme consisted of two approaches, which included the construction of a normal model and the determination of the SUV scores as Z-score index for measuring the abnormality of an FDG-PET scan image. To construct the normal torso model, all of the normal images were registered into one shape, which indicated the normal range of SUV at all voxels. The image deformation process consisted of a whole body rigid registration of shoulder to bladder region and liver registration and a non-linear registration of body surface by using the thin-plate spline technique. In order to validate usefulness of our method, we segment suspicious regions on FDG-PET images manually, and obtained the Z-scores of the regions based on the corresponding voxels that stores the mean and the standard deviations from the normal model. We collected 243 (143 males and 100 females) normal cases to construct the normal model. We also extracted 432 abnormal spots from 63 abnormal cases (73 cancer lesions) to validate the Z-scores. The Z-scores of 417 out of 432 abnormal spots were higher than 2.0, which statistically indicated the severity of the spots. In conclusions, the Z-scores obtained by our computerized scheme with anatomical standardization of torso region would be useful for visualization and detection of subtle lesions on FDG-PET scan images even when the SUV may not clearly show an abnormality.
Quantifying physical activity in daily life with questionnaires and motion sensors in COPD

Accurate assessment of the amount and intensity of physical activity in daily life is considered very important due to the close relationship between physical activity level, health, disability and mortality. For this reason, assessment of physical activity in daily life has gained interest in recent years, especially in sedentary populations, such as patients with chronic obstructive pulmonary disease (COPD). The present article aims to compare and discuss the two kinds of instruments more commonly used to quantify the amount of physical activity performed by COPD patients in daily life: subjective methods (questionnaires, diaries) and motion sensors (electronic or mechanical methods). Their characteristics are summarised and evidence of their validity, reliability and sensitivity is discussed, when available. Subjective methods have practical value mainly in providing the patients' view on their performance in activities of daily living and functional status. However, care must be taken when using subjective methods to accurately quantify the amount of daily physical activity performed. More accurate information is likely to be available with motion sensors rather than questionnaires. The selection of which motion sensor to use for quantification of physical activity in daily life should depend mainly on the purpose of its use.
Validation of the Scales of Well-being of Flourishing and Feelings

Objective. The present study analyzes, the psychometric properties of the Flourishing and Positive and Negative Feelings scales proposed by Diener et al. (2010) to evaluate wellbeing. Two Studies were carried out with this purpose. Method. The fi rst study, of 656 university, students analyzed the reliability and factorial structure of the scales. The second, of 201 university students, calculated the convergent and divergent validity of the scales with other measures of wellbeing, and carried out a confi rmatory factorial analysis. Results. The results of both studies showed adequate psychometric properties in the three scales. The reliability was 0.89 1 Investigación realizada como parte de los proyectos del Grupo de Investigación Psicología, Salud y Universidad (G-PSU) de la Pontifi cia Universidad Católica del Perú. 2 Magíster en Psicología Clínica y de la Salud de la Universidad Nacional Mayor de San Marcos. Profesora asociada del Departamento de Psicología de la Pontifi cia Universidad Católica del Perú. Correo de correspondencia: mcassar@pucp.edu. pe 3 Doctora en Psicología MÓNICA CASSARETTO BARDALES Y PATRICIA MARTÍNEZ URIBE 20 for fl ourishing and 0.91 and 0.87 for positive and negative experience coeffi cients respectively. The variance in the exploratory factorial analysis was 52.82% 69.49% and 61.56% for the three scales. The correlation between the Flourishing and Positive Affections scales was positive and signifi cant with Optimism (LOT-R), Positive Affection of the PAPAS, Satisfaction With Life (SWLS) and Wellbeing (Bieps-A), and negative and signifi cant with Negative Affection. Conclusion. The confi rmatory factorial analyses showed adequate indexes for Flourishing and for Affectivity. These results confi rm the validity and usefulness of these scales in the wellbeing assessment for a Hispanic population.
Study of Channel Adaptive Hopping Technology on Industrial Wireless Networks

In order to ensure industrial wireless network communication channel is capable of a transition to the smooth communication channel when disturbed, and improve the performance of the coexistence with other RF systems. This paper analyzes the communication protocol architecture of industrial wireless network, gives the MAC sub-layer integration model of the ISA SP100.11a and EEE 802.15. 4 based on the link layer. through using channel adaptive hopping technology, detection and shielding the worse assessment channel, in order to reduce the influence of the multipath jam, increase the system reliability.
Packet CDMA Communication without Preambles

This paper applies a segmented matched filter for acquiring chip codephase alignment in direct-sequence CDMA packet communications. This alignment is essential for decoding the spread spectrum signal. The customary approach is to start each CDMA packet with a data-free preamble that facilitates codephase alignment in the receiver. Since packets can be short, processing must be rapid and so we use the parallel processing of a transversal matched filter correlator. We include segmentation of the matched filter to allow codephase testing even when there are data transitions. This eliminates the need for a preamble and the entire packet can contain data. Segmentation also increases tolerance to Doppler shifts caused by motion or by carrier frequency mismatch. To increase the probability of correct codephase acquisition, matched filter samples are accumulated over several code cycles prior to making the codephase decision. Correct detection probabilities exceeding 99% are indicated from simulations with 25 co-users and 10 kHz Doppler shift
MODEL-BASED TESTING : A FAIR PLAY ?

Agile manifesto defines principles for a light-weight software development process aiming at an improved customer satisfaction. Automated testing plays an important role in fulfilling these principles, because it enables efficient execution of test scripts for checking the quality of delivered software. However, the implementation and the maintenance of the test scripts can be very tedious and error-prone. In order to deal with that, model-based testing extends the automated test execution by test design and test implementation. Thus, model-based testing can speed up the test automation and improve the maintenance of test scripts. Nevertheless, introducing model-based testing requires some initial and some continual efforts, like creating test models, buying or developing tools, etc. In this talk, we will discuss how model-based testing can support agile development without conflicting with the principles of agile manifesto. Index Terms Agile manifesto, Automated testing, Model-based Testing
Rational and Non-Rational Algebraic Varieties: Lectures of J\'anos Koll\'ar

This is a detailed write-up of Koll\'ar's course at the EMS summer school in Algebraic Geometry in Eger, Hungary, August 1996. The topics include definitions and examples of rational and unirational varieties, with special attention to varieties defined over non-algebraically closed fields, Segre's theorem on non-rationality of cubic surfaces of Picard number one, Manin's theorem that birationally equivalent cubic surfaces of Picard number one are projectively equivalent, and Koll\'ar's method for constructing examples of low degree non-rational hypersurfaces. Includes many exercises and their solutions.
Calibrating Probability with Undersampling for Unbalanced Classification

Under sampling is a popular technique for unbalanced datasets to reduce the skew in class distributions. However, it is well-known that under sampling one class modifies the priors of the training set and consequently biases the posterior probabilities of a classifier. In this paper, we study analytically and experimentally how under sampling affects the posterior probability of a machine learning model. We formalize the problem of under sampling and explore the relationship between conditional probability in the presence and absence of under sampling. Although the bias due to under sampling does not affect the ranking order returned by the posterior probability, it significantly impacts the classification accuracy and probability calibration. We use Bayes Minimum Risk theory to find the correct classification threshold and show how to adjust it after under sampling. Experiments on several real-world unbalanced datasets validate our results.
Anaphylaxis caused by latex surgical gloves immediately after starting surgery -A case report-

Anaphylaxis is an acute and fatal systemic allergic reaction to an allergen, and it can be an unpredictable and life-threatening cause during anesthesia. Latex is the second most common cause of anaphylaxis following the use of neuromuscular blocking agents during general anesthesia or surgery. We report on a 67-year-old male who had undergone surgery under general anesthesia without any problem but who presented with severe intraoperative anaphylaxis to latex surgical gloves. This case emphasizes the need for anesthesiologists to quickly diagnose and properly manage an allergic reaction in patients under general anesthesia.
Hepatitis in Albanian children: Molecular analysis of hepatitis A virus isolates

Hepatitis A is a common disease in developing countries and Albania has a high prevalence of this disease associated to young age. In spite of the occurrence of a unique serotype there are different genotypes classified from I to VII. Genotype characterisation of HAV isolates circulating in Albania has been undertaken, as well as the study of the occurrence of antigenic variants in the proteins VP3 and VP1. To evaluate the genetic variability of the Albanian hepatitis A virus (HAV) isolates, samples were collected from 12 different cities, and the VP1/2A junction amplified and sequenced. These sequences were aligned and a phylogenetic analysis performed. Additionally, the amino half sequence of the protein VP3 and the complete sequence of the VP1 was determined. Anti‐HAV IgM were present in 66.2% of all the sera. Fifty HAV isolates were amplified and the analysis revealed that all the isolates were sub‐genotype IA with only limited mutations. When the deduced amino acid sequences were obtained, the alignment showed only two amino acids substitutions at positions 22 and 34 of the 2A protein. A higher genomic stability of the VP1/2A region, in contrast with what occurs in other parts of the world could be observed, indicating high endemicity of HAV in Albania. In addition, two potential antigenic variants were detected. The first at position 46 of VP3 in seven isolates and the second at position 23 of VP1 in six isolates. J. Med. Virol. 72:533–537, 2004. © 2004 Wiley‐Liss, Inc.
Chronic Lower Back Pain

Chronic lower back pain is a major health concern involving physical, financial, and social costs for many patients and their family members. Contemporary pain management is guided by the biopsychosocial model in which a professional counselor can contribute to recovery through integrated behavioral health care. Cognitive behavioral therapy (CBT) and behavioral activation interventions are effective in breaking the cycle of chronic pain. Successful outcomes involve partners and family members in CBT, education, and structural family interventions. A case study is presented to examine thoughts and feelings associated with chronic lower back pain. CBT and family interventions contribute to recovery of functions, meaningful roles, and health in relationships.
RECORDING CONDITIONS - NORMES13

As condições, padrão e arbitrárias, nas quais os assuntos são gravados na plataforma de estabilometria foram discutidas por vários meses em um fórum acessível via Internet e, em seguida, propostas para a votação de 75 posturologistas da Europa e América Latina. Com as especificações para a construção de plataformas padronizadas, já publicadas, algoritmos padronizados de análise do sinal estabilométrico e os valores de referência dos parâmetros clínicos estabilométricos, em estudo, essas condições formarão todos os padrões latinos de estabilometria clínica: “Normes13”