Miracle-dz/UniFAR-FTUs huggingface dataset:
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors

Weakly consistent multiprocessors such as ARM and IBM POWER have been with us for decades, but their subtle programmer-visible concurrency behaviour remains challenging, both to implement and to use; the traditional architecture documentation, with its mix of prose and pseudocode, leaves much unclear. In this paper we show how a precise architectural envelope model for such architectures can be defined, taking IBM POWER as our example. Our model specifies, for an arbitrary test program, the set of all its allowable executions, not just those of some particular implementation. The model integrates an operational concurrency model with an ISA model for the fixed-point non-vector user-mode instruction set (largely automatically derived from the vendor pseudocode, and expressed in a new ISA description language). The key question is the interface between these two: allowing all the required concurrency behaviour, without over-committing to some particular microarchitectural implementation, requires a novel abstract structure. Our model is expressed in a mathematically rigorous language that can be automatically translated to an executable test-oracle tool; this lets one either interactively explore or exhaustively compute the set of all allowed behaviours of intricate test cases, to provide a reference for hardware and software development.
On Nodal Encounter Patterns in Wireless LAN Traces

In this paper, we analyze multiple wireless LAN (WLAN) traces from university and corporate campuses. In particular, we consider important events between mobile nodes in wireless networks-encounters. We seek to understand encounter patterns in the mobile network from a holistic view, using a graph analysis approach. Such an analysis sheds light on the diverse, nonhomogeneous nature of users in the given environments in terms of their encounter events with other nodes. Furthermore, we evaluate the feasibility of forming an infrastructureless network to reach most of the nodes utilizing time-varying internode connectivity through encounters, and the robustness of such an ad hoc communication network. Our analysis shows that while the encounter events are “sparse” (i.e., any given node does not encounter with many other nodes), the connectivity of the whole network is well-maintained, and a Small World pattern of nodal encounter emerges for the observation periods longer than one day. More interestingly, the encounter events collectively form a robust communication network, in which store-carry-forward message dissemination can be successful even with over 20 percent noncooperative nodes or removal of short-lived (up to minutes) encounter events.
Assessment and treatment of PTSD in children and adolescents

• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? Take down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.
On the Spectral Characterization and Scalable Mining of Network Communities

Network communities refer to groups of vertices within which their connecting links are dense but between which they are sparse. A network community mining problem (or NCMP for short) is concerned with the problem of finding all such communities from a given network. A wide variety of applications can be formulated as NCMPs, ranging from social and/or biological network analysis to web mining and searching. So far, many algorithms addressing NCMPs have been developed and most of them fall into the categories of either optimization based or heuristic methods. Distinct from the existing studies, the work presented in this paper explores the notion of network communities and their properties based on the dynamics of a stochastic model naturally introduced. In the paper, a relationship between the hierarchical community structure of a network and the local mixing properties of such a stochastic model has been established with the large-deviation theory. Topological information regarding to the community structures hidden in networks can be inferred from their spectral signatures. Based on the above-mentioned relationship, this work proposes a general framework for characterizing, analyzing, and mining network communities. Utilizing the two basic properties of metastability, i.e., being locally uniform and temporarily fixed, an efficient implementation of the framework, called the LM algorithm, has been developed that can scalably mine communities hidden in large-scale networks. The effectiveness and efficiency of the LM algorithm have been theoretically analyzed as well as experimentally validated.
Spectral Properties of the EFIE-MoM Matrix for Dense Meshes With Different Types of Bases

The relationship between the properties of the basis functions employed to discretize the electric field integral equation (EFIE) and the eigenvalue spectrum of the resulting method of moments (MoM) matrix is studied. We concentrate on dense meshes, i.e., on complex geometries with large number of unknowns per wavelength, and/or disparate mesh cells sizes, and/or low frequency. These are typical occurrences in antennas, packaging and microwave circuits. We show that if the basis functions have separated Fourier spectra, the diagonal MoM matrix entries are close to the eigenvalues, and explain it in terms of the Fourier spectrum of the Green's function. For such a basis, diagonal preconditioning drastically reduces the condition number. This does not happen with sub-domain basis functions like the Rao-Wilton-Glisson (RWG), or with their linear combination into loop-tree or loop-star bases that are employed to solve low-frequency problems. Finally we analyze the properties of a multiresolution (MR) basis formed by linear combinations of RWG, but whose functions possess some degree of (Fourier) spectral resolution. We show that there is still correspondence between matrix diagonal, Green's function (Fourier) spectrum, and matrix eigenvalues. Diagonal preconditioning of the MR-MoM matrix causes the eigenvalues to cluster around 1, as it happens with the MoM matrix for the magnetic field integral equation. This strongly impacts on the EFIE matrix condition number and the speed of convergence of iterative solvers.
Helicobacter spp. infection and gastric lesions in domestic and stray cats

Gastritis is a common finding in dogs with 35% of the dogs investigated for chronic vomiting and 26% to 48% of asymptomatic dogs affected. However, the true prevalence in cats is yet to be determined. This study aimed to determine the prevalence of chronic gastritis in domestic and stray cats. The total rate was an estimated as 66.6%. Thorough histopathological studies revealed no significant association between the occurrence of chronic gastritis and age and sex in either stray or domestic cats. Gastritis was significantly more prevalent in the antrum than the gastric body and only chronic non-specific gastritis was diagnosed. The most common types of chronic non-specific gastritis were atrophic (26.3%), lympho-plasmacytic (24.6%) and hypertrophic (15.8%), respectively. In chronic gastritis cases, fibrosis and lymphoid follicles were seen in 42.1% and 31.6% of the subjects respectively, but no significant associations were observed between the type of non-specific chronic gastritis, fibrosis and occurrence of lymphoid follicles. The prevalence of gastric erosion and ulcers in cats was 19.2% and 3.5%, respectively, and there was no significant association between chronic gastritis occurrence and gastric ulceration or erosions. Cytological examination revealed GHLO colonization in 63.15% of the antrum and 77.19% of the gastric body, with no correlation with non-specific chronic gastritis in the studied subjects.
Novel paradigms to measure variability of behavior in early childhood: posture, gaze, and pupil dilation

A central challenge of investigating the underlying mechanisms of and the individual differences in young children’s behavior is the measurement of the internal physiological mechanism and the involved expressive emotions. Here, we illustrate two paradigms that assess concurrent indicators of both children’s social perception as well as their emotional expression. In one set of studies, children view situations while their eye movements are mapped onto a live scene. In these studies, children’s internal arousal is measured via changes in their pupil dilation by using eye tracking technology. In another set of studies, we measured children’s emotional expression via changes in their upper-body posture by using depth sensor imaging technology. Together, these paradigms can provide new insights into the internal mechanism and outward emotional expression involved in young children’s behavior.
A continuum plasticity model that accounts for hardening and size effects in thin films

We conducted three-dimensional finite element simulations of the mechanical response of passivated single crystal copper thin films with a continuum crystal plasticity model. The model introduces the formation of high density dislocation layers close to the substrate and passivation interfaces obtained from dislocation dynamics simulations. These dislocation structures are responsible for an increase in strain hardening as the film thickness decreases. The model predicts an increase in strain hardening as the film thickness decreases in agreement with experimental observation in films with thickness in the range 0.2 to 2 µm.
More on the 1/f2 phase noise performance of CMOS differential-pair LC-tank oscillators

This paper presents a rigorous phase noise analysis in the 1/f 2 region for the differential CMOS LC-tank oscillator with both nMOS and pMOS switch pairs. A compact, closed-form phase noise equation is obtained, accounting for the noise contributions from both tank losses and transistors currents, which allows a robust comparison between LC oscillators built with either one or two switch pairs. The fabricated oscillator prototype is tunable between 2.15 and 2.35 GHz, and shows a phase noise of -144 dBc/Hz at 3 MHz offset from the 2.3 GHz carrier for a 4 mA bias current. The phase noise figure-of-merit is practically constant across the tuning range, with a minimum of 191.5 dBc/Hz. A reference single-switch-pair oscillator has been implemented and tested as well, and the difference between the phase noise levels displayed by the two oscillators is very nearly the one expected from theory.
Scalable Mobile Crowdsensing via Peer-to-Peer Data Sharing

Mobile crowdsensing (MCS) is a new paradigm of sensing by taking advantage of the rich embedded sensors of mobile user devices. However, the traditional server-client MCS architecture often suffers from the high operational cost on the centralized server (e.g., for storing and processing massive data), hence the poor scalability. Peer-to-peer (P2P) data sharing can effectively reduce the server's cost by leveraging the user devices’ computation and storage resources. In this work, we propose a novel P2P-based MCS architecture, where the sensing data is saved and processed in user devices locally and shared among users in a P2P manner. To provide necessary incentives for users in such a system, we propose a quality-aware data sharing market, where the users who sense data can sell data to others who request data but not want to sense the data by themselves. We analyze the user behavior dynamics from the game-theoretic perspective, and characterize the existence and uniqueness of the game equilibrium. We further propose best response iterative algorithms to reach the equilibrium with provable convergence. Our simulations show that the P2P data sharing can greatly improve the social welfare, especially in the model with a high transmission cost and a low trading price.
Tight bounds for LDPC and LDGM codes under MAP decoding

A new method for analyzing low-density parity-check (LDPC) codes and low-density generator-matrix (LDGM) codes under bit maximum a posteriori probability (MAP) decoding is introduced. The method is based on a rigorous approach to spin glasses developed by Francesco Guerra. It allows one to construct lower bounds on the entropy of the transmitted message conditional to the received one. Based on heuristic statistical mechanics calculations, we conjecture such bounds to be tight. The result holds for standard irregular ensembles when used over binary-input output-symmetric (BIOS) channels. The method is first developed for Tanner-graph ensembles with Poisson left-degree distribution. It is then generalized to "multi-Poisson" graphs, and, by a completion procedure, to arbitrary degree distribution
MeCP2 recognizes cytosine methylated tri-nucleotide and di-nucleotide sequences to tune transcription in the mammalian brain

Mutations in the gene encoding the methyl-CG binding protein MeCP2 cause several neurological disorders including Rett syndrome. The di-nucleotide methyl-CG (mCG) is the classical MeCP2 DNA recognition sequence, but additional methylated sequence targets have been reported. Here we show by in vitro and in vivo analyses that MeCP2 binding to non-CG methylated sites in brain is largely confined to the tri-nucleotide sequence mCAC. MeCP2 binding to chromosomal DNA in mouse brain is proportional to mCAC + mCG density and unexpectedly defines large genomic domains within which transcription is sensitive to MeCP2 occupancy. Our results suggest that MeCP2 integrates patterns of mCAC and mCG in the brain to restrain transcription of genes critical for neuronal function.
Influence of type of surgery on the occurrence of parasympathetic reinnervation after cardiac transplantation.

BACKGROUND Cardiac autonomic reinnervation after human cardiac transplantation has been demonstrated frequently but to date only for sympathetic efferents. Standard surgical techniques leave many parasympathetic branches intact in the original atria and thus with less stimulus to reinnervate the donor atria. METHODS AND RESULTS We used changes in the RR-interval power spectrum induced by sinusoidal modulation of arterial baroreceptors by neck suction at different frequencies to detect both parasympathetic and sympathetic reinnervation in 79 subjects with "standard" and 10 "bicaval" heart transplants. In 24 subjects (17 standard and 7 bicaval), the protocol was repeated 6 and 11 months after transplantation. Neck suction at 0.20 Hz produced a component at 0.20 Hz in the RR-interval spectrum not due to respiration (fixed at 0.25 Hz), which suggested parasympathetic reinnervation, in 4 of 10 bicaval but in only 2 of 79 standard transplant subjects (whose recipient atria underwent >50% resection to remove scars of previous interventions), P<. 001. In only 1 (bicaval) transplant subject was parasympathetic reinnervation present 6 months after transplantation (confirmed 3 months later); in 4 subjects, it was absent at 6 months but appeared after 11 months after transplantation. Atropine (0.04 mg/kg i.v.) abolished the response to fast (0.20 Hz) and reduced that to slow stimulation, confirming the presence of parasympathetic reinnervation (4 subjects). CONCLUSIONS Parasympathetic reinnervation depends on the surgical technique: because bicaval surgery cuts all sympathetic and parasympathetic nerves, regeneration might be stimulated similarly in both branches. Standard surgery cuts only approximately 50% of sympathetic fibers; most recipient parasympathetic axons remain intact, hence their regeneration might not be stimulated.
Too Cool for School? Signaling and Countersignaling

In signalling environments ranging from consumption to education, high-quality senders often shun the standard signals that should separate them from lower-quality senders. We find that allowing for additional, noisy information on sender quality permits equilibria where medium types signal to separate themselves from low types, but high types then choose to not signal, or countersignal. High types not only save costs by relying on the additional information to stochastically separate them from low types, but countersignalling itself is a signal of confidence that separates high types from medium types. Experimental results confirm that subjects can learn to countersignal.
Studies related to the metabolism of anabolic steroids in the horse: testosterone.

1. After intramuscular administration of [4-14C]testosterone to two cross-bred gelded horses, 45% of the radioactivity was excreted in urine in 96 h. Small amounts of urinary activity could still be detected at 200 h. 2. Neutral metabolites obtained after both enzyme and acid hydrolysis of urine samples have been investigated by g.l. c. -mass spectrometry. 3. 5 alpha-Androstane-3 beta, 17 alpha-diol was found only in the enzyme-hydrolysable extract and testosterone only in the acid-hydrolysable extract. 5 alpha-Androstane-3 beta, 17 beta-diol and 3 beta-hydroxy-5 alpha-androstan-17-one were found predominantly in the acid-hydrolysable extract.
Log-convexity of the minimum total power in CDMA systems with certain quality-of-service guaranteed

In this correspondence, we consider a code-division multiple-access (CDMA) channel with a linear receiver structure whose inputs are subject to a total power constraint. Each user is required to satisfy a certain quality-of-service (QoS) requirement expressed, for instance, in terms of data rate or delay. The set of all feasible QoS requirements is called the feasibility region. It is shown that if the signal-to-interference ratio (SIR) at the output of each linear receiver is a bijective and log-convex function of the QoS parameter of interest, the minimum total power needed to satisfy the QoS requirements is a jointly log-convex function of the QoS parameters. Furthermore, in two special cases of practical interest, we show that the minimum total power is strictly log-convex. These results imply that the corresponding feasibility regions are convex sets. The convexity property is a key ingredient in the development of access control strategies for wireless communications systems.
Novel Symbiotic Protoplasts Formed by Endophytic Fungi Explain Their Hidden Existence, Lifestyle Switching, and Diversity within the Plant Kingdom

Diverse fungi live all or part of their life cycle inside plants as asymptomatic endophytes. While endophytic fungi are increasingly recognized as significant components of plant fitness, it is unclear how they interact with plant cells; why they occur throughout the fungal kingdom; and why they are associated with most fungal lifestyles. Here we evaluate the diversity of endophytic fungi that are able to form novel protoplasts called mycosomes. We found that mycosomes cultured from plants and phylogenetically diverse endophytic fungi have common morphological characteristics, express similar developmental patterns, and can revert back to the free-living walled state. Observed with electron microscopy, mycosome ontogeny within Aureobasidium pullulans may involve two organelles: double membrane-bounded promycosome organelles (PMOs) that form mycosomes, and multivesicular bodies that may form plastid-infecting vesicles. Cultured mycosomes also contain a double membrane-bounded organelle, which may be homologous to the A. pullulans PMO. The mycosome PMO is often expressed as a vacuole-like organelle, which alternatively may contain a lipoid body or a starch grain. Mycosome reversion to walled cells occurs within the PMO, and by budding from lipid or starch-containing mycosomes. Mycosomes discovered in chicken egg yolk provided a plant-independent source for analysis: they formed typical protoplast stages, contained fungal ITS sequences and reverted to walled cells, suggesting mycosome symbiosis with animals as well as plants. Our results suggest that diverse endophytic fungi express a novel protoplast phase that can explain their hidden existence, lifestyle switching, and diversity within the plant kingdom. Importantly, our findings outline “what, where, when and how”, opening the way for cell and organelle-specific tests using in situ DNA hybridization and fluorescent labels. We discuss developmental, ecological and evolutionary contexts that provide a robust framework for continued tests of the mycosome phase hypothesis.
On the relation between explosive cyclones affecting Europe and the North Atlantic Oscillation

Intense winter cyclones often lead to hazardous weather over Europe. Previous studies have pointed to a link between the North Atlantic Oscillation (NAO) and strong European windstorms. However, the robustness of this relation for cyclones of varying intensities remains largely unexplored. In this paper, the bi‐directional relation between the NAO and cyclones impacting Europe is analyzed for the period 1950–2010 focusing on the sensitivity to storm intensity. Evidence is given that explosive (EC) and non‐explosive cyclones (NoEC) predominantly develop under different large‐scale circulation conditions over the North Atlantic. Whereas NoEC evolve more frequently under negative and neutral NAO phases, the number of EC is larger under a positive NAO phase, typically characterized by an intensified jet toward Western Europe. Important differences are also found on the dynamics of NAO evolution after peak intensity for both cyclone populations.
Developing an Online Business Community: A Travel Industry Case Study

Many businesses are now using online communities to interact with their customers and to realise the many benefits such communities offer. However, there remains little understanding of how such communities should be developed and maintained. A case study of Lonely Planet examines the way in which the travel publisher has established a vibrant online community with more than 250,000 members. Analysis shows that the company has integrated the elements of a socially constructed community with those of a business one. Lonely Planet has increased the value proposition for their customers while nurturing a sense of social belonging. An examination of a successful business-sponsored online community contributes to more understanding of how such communities can be developed.