Miracle-dz/UniFAR-FTUs huggingface dataset:
High-Level Abstractions for Safe Parallelism

Recent research efforts have developed sophisticated type systems for eliminating unwanted interference (i.e., read-write conflicts) from parallel code. While these systems are powerful, they suffer from potential barriers to adoption in that (1) they rely upon complex and/or restrictive features that may be difficult for programmers to understand and use; and (2) they impose a nontrivial annotation burden. In this work we explore a different approach: instead of extending the type system to do all the work of proving noninterference, we rely upon high-level abstractions that capture important patterns of noninterfering parallelism — for example, performing a parallel divide-and-conquer update on an array, or updating different array cells in parallel while reading memory disjoint from the array. We show how, with suitably designed APIs, a few simple type system extensions can guarantee that user code is noninterfering, assuming the APIs are correctly implemented. Of course someone still must check the API implementation; but such checking (which can be done, e.g., with program logic) is hidden from the user of the API. To illustrate the idea, we present a prototype implementation in Standard ML, including several parallel APIs and two realistic client programs. We sketch the typing annotations and verification methodology we have in mind. We pose several research questions raised by the prototype and suggest ideas for extending the work.
CorrespondenceChronic fatigue syndrome : Harvey and Wessely ' s ( bio ) psychosocial model versus a bio ( psychosocial ) model based on inflammatory and oxidative and nitrosative stress pathways

Background: In a recently published paper, Harvey and Wessely put forward a 'biopsychosocial' explanatory model for myalgic encephalomyelitis/chronic fatigue syndrome (ME/CFS), which is proposed to be applicable to (chronic) fatigue even when apparent medical causes are present. Methods: Here, we review the model proposed by Harvey and Wessely, which is the rationale for behaviourally oriented interventions, such as cognitive behaviour therapy (CBT) and graded exercise therapy (GET), and compare this model with a biological model, in which inflammatory, immune, oxidative and nitrosative (IO&NS) pathways are key
Influence of aerobic fitness on the neurocognitive function of older adults

The article provides a brief review of the literature on the relationship between aerobic Fitness and neurocognitive function, particularly as it relates to older adults. Cross-sectional studies provide strong support for the beneficial influence of fitness on neurocognitive function. The longitudinal or interventional literature, however, provides more equivocal support for this relationship. In discussing the literature, the authors introduce a new hypothesis, the executive control/fitness hypothesis, which suggests that selective neurocognitive benefits will be observed with improvements in aerobic fitness; that is, executive control processes that include planning, scheduling, task coordination, inhibition, and working memory will benefit from enhanced fitness. Preliminary evidence for this hypothesis is discussed.
The role of enzyme dynamics and tunnelling in catalysing hydride transfer: studies of distal mutants of dihydrofolate reductase

Residues M42 and G121 of Escherichia coli dihydrofolate reductase (ecDHFR) are on opposite sides of the catalytic centre (15 and 19 Å away from it, respectively). Theoretical studies have suggested that these distal residues might be part of a dynamics network coupled to the reaction catalysed at the active site. The ecDHFR mutant G121V has been extensively studied and appeared to have a significant effect on rate, but only a mild effect on the nature of H-transfer. The present work examines the effect of M42W on the physical nature of the catalysed hydride transfer step. Intrinsic kinetic isotope effects (KIEs), their temperature dependence and activation parameters were studied. The findings presented here are in accordance with the environmentally coupled hydrogen tunnelling. In contrast to the wild-type (WT), fluctuations of the donor–acceptor distance were required, leading to a significant temperature dependence of KIEs and deflated intercepts. A comparison of M42W and G121V to the WT enzyme revealed that the reduced rates, the inflated primary KIEs and their temperature dependences resulted from an imperfect potential surface pre-arrangement relative to the WT enzyme. Apparently, the coupling of the enzyme's dynamics to the reaction coordinate was altered by the mutation, supporting the models in which dynamics of the whole protein is coupled to its catalysed chemistry.
Characterization of Epoxy Composites Reinforced with Wax Encapsulated Microcrystalline Cellulose

The effect of paraffin wax encapsulated microcrystalline cellulose (EMC) particles on the mechanical and physical properties of EMC/epoxy composites were investigated. It was demonstrated that the compatibility between cellulose and epoxy resin could be maintained due to partial encapsulation resulting in an improvement in epoxy composite mechanical properties. This work was unique because it was possible to improve the physical and mechanical properties of the EMC/epoxy composites while encapsulating the microcrystalline cellulose (MCC) for a more homogeneous dispersion. The addition of EMC could increase the stiffness of epoxy composites, especially when the composites were wet. The 1% EMC loading with a 1:2 ratio of wax:MCC demonstrated the best reinforcement for both dry and wet properties. The decomposition temperature of epoxy was preserved up to a 5% EMC loading and for different wax:MCC ratios. An increase in wax encapsulated cellulose loading did increase water absorption but overall this absorption was still low (<1%) for all composites.
Psychological morbidity, quality of life, and self-rated health in the military personnel

Objective The mental health of military personnel varies as a result of different cultural, political, and administrative factors. The purpose of this study was to evaluate the psychological morbidity and quality of life of military personnel in Taiwan. Materials and methods This cross-sectional study utilized the World Health Organization Quality of Life Instrument, brief version, Taiwan version, the General Health Questionnaire-12, Chinese version, and the Visual Analog Scale (VAS) in several military units. Results More than half of the subjects (55.3%) identified themselves as mentally unhealthy on the General Health Questionnaire-12, Chinese version; however, a higher percentage of officers perceived themselves as healthy (57.4%) than did noncommissioned officers (38.5%) or enlisted men (42.2%). Officers also had higher total quality of life (QOL) scores (83.98) than did enlisted men (79.67). Scores on the VAS also varied: officers: 72.5; noncommissioned officers: 67.7; and enlisted men: 66.3. The VAS and QOL were positively correlated with perceived mental health among these military personnel. Conclusion Our subjects had higher rates of perceiving themselves as mentally unhealthy compared to the general population. Those of higher rank perceived themselves as having better mental health and QOL. Improving mental health could result in a better QOL in the military. The VAS may be a useful tool for the rapid screening of self-reported mental health, which may be suitable in cases of stressful missions, such as in disaster rescue; however, more studies are needed to determine the optimal cut-off point of this measurement tool.
Phylogenetic structure of mammal assemblages at large geographical scales: linking phylogenetic community ecology with macroecology

Phylogenetic community ecology seeks to explain the processes involved in the formation of species assemblages by analysing their phylogenetic structure, and to date has focused primarily on local-scale communities. Macroecology, on the other hand, is concerned with the structure of assemblages at large geographical scales, but has remained largely non-phylogenetic. Analysing the phylogenetic structure of large-scale assemblages provides a link between these two research programmes. In this paper, I ask whether we should expect large-scale assemblages to show significant phylogenetic structure, by outlining some of the ecological and macroevolutionary processes that may play a role in assemblage formation. As a case study, I then explore the phylogenetic structure of carnivore assemblages within the terrestrial ecoregions of Africa. Many assemblages at these scales are indeed phylogenetically non-random (either clustered or overdispersed). One interpretation of the observed patterns of phylogenetic structure is that many clades underwent rapid biome-filling radiations, followed by diversification slowdown and competitive sorting as niche space became saturated.
Molecular identification, phylogeny and geographic distribution of Brazilian mangrove oysters (Crassostrea)

Oysters (Ostreidae) manifest a high degree of phenotypic plasticity, whereby morphology is of limited value for species identification and taxonomy. By using molecular data, the aim was to genetically characterize the species of Crassostrea occurring along the Brazilian coast, and phylogenetically relate these to other Crassostrea from different parts of the world. Sequencing of the partial cytochrome oxidase c subunit I gene (COI), revealed a total of three species of Crassostrea at 16 locations along the Brazilian coast. C. gasar was found from Curuçá (Pará state) to Santos (São Paulo state), and C. rhizophorae from Fortim (Ceará state) to Florianópolis (Santa Catarina state), although small individuals of the latter species were also found at Ajuruteua beach (municipality of Bragança, Pará state). An unidentified Crassostrea species was found only on Canela Island, Bragança. Crassostrea gasar and C. rhizophorae grouped with C. virginica, thereby forming a monophyletic Atlantic group, whereas Crassostrea sp. from Canela Island was shown to be more similar to Indo-Pacific oysters, and either arrived in the Atlantic Ocean before the convergence of the Isthmus of Panama or was accidentally brought to Brazil by ship.
Fundamental galaxy parameters for radio-loud active galactic nuclei and the black hole–radio power connection

We have determined the central velocity dispersions and surface brightness profiles for a sample of powerful radio galaxies in the redshift range 0.06 < z < 0.31, which were selected on the basis of their young radio source. The optical hosts follow the fundamental plane of elliptical galaxies, showing that young radio sources reside in normal ellipticals, as do other types of radio galaxies into which these objects are believed to evolve. As young radio sources are relatively straightforward to select and the contributions of the active galactic nuclei (AGN) light to the optical spectra are minimal, these objects can readily be used to study the evolution of the fundamental plane of elliptical galaxies out to z = 1, independent of optical selection effects. The black hole masses, M b h , of the objects in our sample have been determined using the tight empirical relation of M b h with central velocity dispersion, σ e , and for literature samples of classical radio galaxies and optically selected ellipticals. Only the optically selected inactive galaxies are found to exhibit a correlation between M b h and radio luminosity. In contrast, the radio powers of the AGN in the samples do not correlate with M b h at all, with objects at a given black hole mass ranging over seven orders of magnitude in radio power. It is unlikely that beaming of the radio emission is responsible for the range in radio powers. We have been able to tie in the local population of powerful radio sources with its parent population of inactive elliptical galaxies: the local black hole mass function has been determined using the elliptical galaxy luminosity function and the Faber-Jackson and M b h -σ relations. This was combined with the fraction of radio-loud black holes as a function of M b h , as determined from the optically selected galaxy sample, to derive the local volume-density of radio galaxies and the distribution of their black hole masses. These are shown to be consistent with the local radio luminosity function and the distribution of black hole masses as found in the radio-selected samples, and confirms that elliptical galaxies comprise the large majority of the radio-loud population of active galaxies.
Calibration of stochastic cellular automata: the application to rural-urban land conversions

Despite the recognition of cellular automata (CA) as a flexible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent efforts to incorporate multi-criteria evaluation and artificial neural network into rule definition. This study developed a stochastic CA model, which derives its initial probability of simulation from observed sequential land use data. Furthermore, this initial probability is updated dynamically through local rules based on the strength of neighbourhood development. Consequentially the integration of global (static) and local (dynamic) factors produces more realistic simulation results. The procedure of calibrated CA can be applied in other contexts with minimum modification. In this study we applied the procedure to simulate rural-urban land conversions in the city of Guangzhou, China. Moreover, the study suggests the need to examine the result of CA through spatial, tabular and structural validation.
ISP Friend or Foe? Making P2P Live Streaming ISP-Aware

Current peer-to-peer systems are network-agnostic, often generating large volumes of unnecessary inter-ISP traffic. Although recent work has shown the benefits of ISP-awareness on bulk transfer applications, no studies have focused on optimizing P2P live streaming systems. These are harder to design, as data must be diffused to all receivers within short delays. In this paper we propose a novel scheme for ISP-friendly mesh-based live streaming. Each peer maintains two distinct sets of overlay neighbors, used respectively for local and global stream propagation. A dynamic unchoke mechanism minimizes inter-ISP traffic in normal operation, enabling it promptly when local diffusion is impaired, e.g., when fast local sources become suddenly unavailable. Our scheme is independent of the chunk scheduling algorithm, and thus can be applied to a wide range of existing systems. We have integrated our ISP-friendly scheme to our P2P live streaming prototype, and evaluated its performance through emulation and Planetlab experiments. Our results show that our scheme adapts quickly to churn and dynamic network conditions, and achieves up to a ten-fold reduction in transit traffic.
Archive of SID

Human always tries to achieve a sense of vitality, and wants a lively environment; therefore, recognizing factors in the architecture that increases the quality of life is important. Based on the importance of this issue, this article aims to answer this question “What are the upgrading indicators of the concept of living in traditional homes (here are the traditional Yazd houses)? And identify the life indicators and evaluating them in architecture. In this way, by relying on a method of grounded theory, the researcher conducted semi-structured and in-depth interviews with 18 present perceivers in eight sorts of traditional houses in Yazd. These interviews were completed using sketches, photographs, and personal observations. Participants were selected from among the people who could answer more accurate questions. To increase validity, the findings were evaluated with other related studies. Findings show that nine main factors in traditional houses increase life quality. These factors include: the sociability space, the living and dynamic organization or hidden order Without extra unity, the possibility of continuous interaction with nature (sky, water, tree, open space and natural light), the emphasis on diversity, the perception of time, the quality of being dynamic and active, the expansiveness of space along with the increase Transparency of space, and the Mental memories and increase the belonging sense.
A population of eagles, horses, and moles: Perceptual sensitivity to watermark disparity coherence

Disparity coherent watermarking has been introduced as a means to address the unique characteristics of stereoscopic visual content. This strategy has been reported to notably improve robustness performances in prior works, especially with respect to virtual view synthesis. While disparity coherence has always been conjectured to also provide better improved fidelity, it had never been properly evaluated. This perceptual study investigates the perception of three alternate watermarking strategies for stereo visual content on a population of thirty three observers. The analysis of the results reveals that there are three categories of observers and one of these categories, which amounts to nearly one third of our observers, is extremely sensitive to watermark coherence even for low-power watermarks. Moreover, the sensitivity to watermark coherence is found to be content dependent.
Investor Protection and Equity Markets

We present a simple model of an entrepreneur going public in an environment with poor legal protection of outside shareholders. The model incorporates elements of Becker's (1968) crime and punishment' framework into a corporate finance environment of Jensen and Meckling (1976). We examine the entrepreneur's decision and the market equilibrium. The model is consistent with a number of empirical regularities concerning the relationship between investor protection and corporate finance.
Targeted GAS6 Delivery to the CNS Protects Axons from Damage during Experimental Autoimmune Encephalomyelitis

Growth arrest-specific protein 6 (GAS6) is a soluble agonist of the TYRO3, AXL, MERTK (TAM) family of receptor tyrosine kinases identified to have anti-inflammatory, neuroprotective, and promyelinating properties. During experimental autoimmune encephalomyelitis (EAE), wild-type (WT) mice demonstrate a significant induction of Gas6, Axl, and Mertk but not Pros1 or Tyro3 mRNA. We tested the hypothesis that intracerebroventricular delivery of GAS6 directly into the CNS of WT mice during myelin oligodendrocyte glycoprotein (MOG)-induced EAE would improve the clinical course of disease relative to artificial CSF (ACSF)-treated mice. GAS6 did not delay disease onset, but significantly reduced the clinical scores during peak and chronic EAE. Mice receiving GAS6 for 28 d had preserved SMI31+ neurofilament immunoreactivity, significantly fewer SMI32+ axonal swellings and spheroids and less demyelination relative to ACSF-treated mice. Alternate-day subcutaneous IFNβ injection did not enhance GAS6 treatment effectiveness. Gas6−/− mice sensitized with MOG35-55 peptide exhibit higher clinical scores during late peak to early chronic disease, with significantly increased SMI32+ axonal swellings and Iba1+ microglia/macrophages, enhanced expression of several proinflammatory mRNA molecules, and decreased expression of early oligodendrocyte maturation markers relative to WT mouse spinal cords with scores for 8 consecutive days. During acute EAE, flow cytometry showed significantly more macrophages but not T-cell infiltrates in Gas6−/− spinal cords than WT spinal cords. Our data are consistent with GAS6 being protective during EAE by dampening the inflammatory response, thereby preserving axonal integrity and myelination.
Traveling Waves on the Organ of Corti of the Chinchilla Cochlea: Spatial Trajectories of Inner Hair Cell Depolarization Inferred from Responses of Auditory-Nerve Fibers

Spatial magnitude and phase profiles for inner hair cell (IHC) depolarization throughout the chinchilla cochlea were inferred from responses of auditory-nerve fibers (ANFs) to threshold- and moderate-level tones and tone complexes. Firing-rate profiles for frequencies ≤2 kHz are bimodal, with the major peak at the characteristic place and a secondary peak at 3–5 mm from the extreme base. Response-phase trajectories are synchronous with peak outward stapes displacement at the extreme cochlear base and accumulate 1.5 period lags at the characteristic places. High-frequency phase trajectories are very similar to the trajectories of basilar-membrane peak velocity toward scala tympani. Low-frequency phase trajectories undergo a polarity flip in a region, 6.5–9 mm from the cochlear base, where traveling-wave phase velocity attains a local minimum and a local maximum and where the onset latencies of near-threshold impulse responses computed from responses to near-threshold white noise exhibit a local minimum. That region is the same where frequency-threshold tuning curves of ANFs undergo a shape transition. Since depolarization of IHCs presumably indicates the mechanical stimulus to their stereocilia, the present results suggest that distinct low-frequency forward waves of organ of Corti vibration are launched simultaneously at the extreme base of the cochlea and at the 6.5–9 mm transition region, from where antiphasic reflections arise.
Discrete Mathematics

The training guide is devoted to the presentation of the foundations of discrete mathematics. The main sections are presented: theories of sets, mathematical logic, relations, formal systems, algorithms, algebras, combinatorics, graphs, fractal sets. The theoretical material is illustrated by a large number of examples. The guide includes not only basic concepts and theoretical results, but also methods and algorithms for solving applied tasks. Addressed primarily to teachers and students of higher technical universities, but it can be useful to those who are wish to study it independently. With this goal, a large number of tasks are included, for the knowledge control and the system of assessing them. In each section there are two-level test tasks. The first level – tests to check the compulsory minimum of knowledge, the second – tasks of full complexity. The historical information about scientists who contributed to the development of discrete mathematics is given.
Comparison of the Inhibition of Monoamine Oxidase and Butyrylcholinesterase Activities by Infusions from Green Tea and Some Citrus Peels

This study sought to investigate the effect of infusions from green tea (Camellia sinensis) and some citrus peels [shaddock (Citrus maxima), grapefruit (Citrus paradisi), and orange (Citrus sinensis)] on key enzymes relevant to the management of neurodegenerative conditions [monoamine oxidase (MAO) and butyrylcholinesterase (BChE)]. The total phenol contents and antioxidant activities as typified by their 2,2′-azino-bis(3-ethylbenzthiazoline-6-sulphonic acid) (ABTS) radicals scavenging abilities, ferric reducing antioxidant properties, and Fe2+ chelating abilities were also investigated. Green tea had the highest total phenol (43.3 mg/g) and total flavonoid (16.4 mg/g) contents, when compared to orange [total phenol (19.6 mg/g), total flavonoid (6.5 mg/g)], shaddock [total phenol (16.3 mg/g), total flavonoid (5.2 mg/g)], and grapefruit [total phenol (17.7 mg/g), total flavonoid (5.9 mg/g)]. Orange (EC50 = 1.78 mg/mL) had the highest MAO inhibitory ability, while green tea had the least MAO inhibitory ability (EC50 = 2.56 mg/mL). Similarly, green tea had the least BChE inhibitory ability (EC50 = 5.43 mg/mL) when compared to the citrus peels' infusions. However, green tea infusions had the strongest highest ABTS radical scavenging ability, reducing power, and Fe2+ chelating ability. The inhibition of MAO and BChE activities by the green tea and citrus peels infusions could make them good dietary means for the prevention/management of neurodegenerative conditions.