Miracle-dz/UniFAR-FTUs huggingface dataset:
Information-Theoretically Secure Byzantine Paxos

We present Information Theoretically secure Byzantine Paxos (IT ByzPaxos), the first deterministic asynchronous Byzantine consensus protocol that is provably secure despite a computationally unbounded adversary. Previous deterministic asynchronous algorithms for Byzantine consensus rely on unproven number theoretic assumptions (i.e., digital signatures) to maintain agreement. IT ByzPaxos instead uses secret sharing techniques that are information theoretically secure to ensure that all correct processes agree. Our protocol guarantees safety in an asynchronous system and provides progress under eventual synchrony. IT ByzPaxos matches the 3f+1 lower bound on the number of processes for Byzantine consensus.
Distance Landmarks Revisited for Road Graphs

Computing shortest distances is one of the funda- mental problems on graphs, and remains a challenging task today. Distance landmarks have been recently studied for shortest distance queries with an auxiliary data structure, referred to as landmark covers. This paper studies how to apply distance landmarks for fast exact shortest distance query answering on large road graphs. However, the direct application of distance landmarks is impractical due to the high space and time cost. To rectify this problem, we investigate novel techniques that can be seamlessly combined with distance landmarks. We first propo se a notion of hybrid landmark covers, a revision of landmark covers. Second, we propose a notion of agents, each of which represents a small subgraph and holds good properties for fast distance query answering. We also show that agents can be computed in linear time. Third, we introduce graph partitions to deal with the remaining subgraph that cannot be captured by agents. Fourth, we develop a unified framework that seamlessly integrates ou r proposed techniques and existing optimization techniques, for fast shortest distance query answering. Finally, we experimentally verify that our techniques significantly improve the efficie ncy of shortest distance queries, using real-life road graphs. I. I NTRODUCTION
A new approach for investigation of aerodynamic performances of a Horizontal Axis Wind Turbine for different Reynolds numbers

The manuscript presents an analysis of the aerodynamic behavior of a Horizontal Axis Wind Turbine (HAWT) using a new approach to evaluate the fluid mechanics parameters. Based on the Blade Element Momentum theory (BEM), this analysis leads to determine a detailed algorithm containing all steps needed to achieve an optimal design including the correction factors in order to straighten the weaknesses of the BEM theory, then an Excel file is realized to calculate loads acting on the wind turbine and to determine the optimal aerodynamic performances following an iterative approach and taking into account the variation of Reynolds numbers.
Visual Semiotics &amp; Uncertainty Visualization: An Empirical Study

This paper presents two linked empirical studies focused on uncertainty visualization. The experiments are framed from two conceptual perspectives. First, a typology of uncertainty is used to delineate kinds of uncertainty matched with space, time, and attribute components of data. Second, concepts from visual semiotics are applied to characterize the kind of visual signification that is appropriate for representing those different categories of uncertainty. This framework guided the two experiments reported here. The first addresses representation intuitiveness, considering both visual variables and iconicity of representation. The second addresses relative performance of the most intuitive abstract and iconic representations of uncertainty on a map reading task. Combined results suggest initial guidelines for representing uncertainty and discussion focuses on practical applicability of results.
Specific patterns of responsiveness to microbial antigens staphylococcal enterotoxin B and purified protein derivative by cord blood mononuclear cells are predictive of risk for development of atopic dermatitis

Background Mononuclear cells from children with active atopic dermatitis (AD) have been reported to be hyper‐responsive to certain microbial stimuli, in particular staphylococcal enterotoxin B (SEB). However, it is not known whether this responsiveness is acquired during disease development, or is inherent. We investigated this question in a cohort of children at high risk of atopy followed prospectively from birth to age 3 years. We asked whether their cord blood mononuclear cell (CBMC) cytokine responses to SEB, to an unrelated microbial stimulus purified protein derivative (PPD), or to common allergens, were predictive of risk for subsequent AD development during infancy.
Solution Path for Manifold Regularized Semisupervised Classification

Traditional learning algorithms use only labeled data for training. However, labeled examples are often difficult or time consuming to obtain since they require substantial human labeling efforts. On the other hand, unlabeled data are often relatively easy to collect. Semisupervised learning addresses this problem by using large quantities of unlabeled data with labeled data to build better learning algorithms. In this paper, we use the manifold regularization approach to formulate the semisupervised learning problem where a regularization framework which balances a tradeoff between loss and penalty is established. We investigate different implementations of the loss function and identify the methods which have the least computational expense. The regularization hyperparameter, which determines the balance between loss and penalty, is crucial to model selection. Accordingly, we derive an algorithm that can fit the entire path of solutions for every value of the hyperparameter. Its computational complexity after preprocessing is quadratic only in the number of labeled examples rather than the total number of labeled and unlabeled examples.
Unifying Monotonic and Hysteresis Material Properties for Notch Plasticity Analysis under Variable Amplitude Loads

This study was performed in support of accurate notch plasticity analysis under variable amplitude loads. Monotonic and cyclic strain-controlled tests were performed on flat dog-bone coupons machined from 6.35mm thick 7075-T651 aluminium alloy plates. The tests with low-high-low strain amplitude transitions revealed both an instant softening following the high strain amplitude cycle and a gradual recovery during the subsequent low strain amplitude cycles. The transition from monotonic-like to hysteresis-like material behaviour was found to be consistent with an overload induced softening and recovery process. A conceptual consideration is thus proposed to unify the characterisation of monotonic and hysteresis material properties. The implications of the present finding on notch plasticity analysis are also discussed.
Coordinated Control of a DG and Voltage Control Devices Using a Dynamic Programming Algorithm

This paper presents a new control method, in which a distributed generator (DG) actively participates in steady-state voltage control, together with an under-load tap changer (ULTC) and shunt capacitors (Sh.Cs). In the conventional DG control method, the integration of DGs into a distribution power system increases the number of switching operations of the ULTC and the Sh.Cs. To solve this problem, this paper proposes that the DG output voltage be dispatched cooperatively with the operation of the ULTC and the Sh.Cs, based on load forecasts for one day in advance. The objective of the proposed method is to decrease the number of switching device operations, as well as to reduce the power loss in the distribution lines, while maintaining the grid voltage within the allowed range. The proposed method is designed and implemented with Matlab, using two different dynamic programming algorithms for a dispatchable and a nondispatchable DG, respectively. Simulation studies demonstrate that the objective can be achieved under various grid conditions, determined by factors such as the DG output power characteristics, the location of the DG-connected bus on the feeder, and the load profile of the feeder containing the DG.
Interaction with the Src Homology (SH3-SH2) Region of the Src-family Kinase Hck Structures the HIV-1 Nef Dimer for Kinase Activation and Effector Recruitment*

Background: HIV-1 Nef interacts with Src-family kinases to enhance viral replication and immune escape of infected cells. Results: The crystal structure of HIV-1 Nef bound to the Hck SH3-SH2 region was solved to 1.86 Å resolution. Conclusion: SH3-SH2 binding stabilizes a compact Nef dimer interface and exposes Nef Asp123 for effector recruitment. Significance: Src-family kinase binding may stabilize a functional Nef dimer conformation. HIV-1 Nef supports high titer viral replication in vivo and is essential for AIDS progression. Nef function depends on interactions with multiple host cell effectors, including Hck and other Src-family kinases. Here we describe the x-ray crystal structure of Nef in complex with the Hck SH3-SH2 regulatory region to a resolution of 1.86 Å. The complex crystallized as a dimer of complexes, with the conserved Nef PXXPXR motif engaging the Hck SH3 domain. A new intercomplex contact was found between SH3 Glu-93, and Nef Arg-105. Mutagenesis of Hck SH3 Glu-93 interfered with Nef·Hck complex formation and kinase activation in cells. The Hck SH2 domains impinge on the N-terminal region of Nef to stabilize a dimer conformation that exposes Asp-123, a residue critical for Nef function. Our results suggest that in addition to serving as a kinase effector for Nef, Hck binding may reorganize the Nef dimer for functional interaction with other signaling partners.
Optical Image-Guided Cancer Surgery: Challenges and Limitations

Optical image-guided cancer surgery is a promising technique to adequately determine tumor margins by tumor-specific targeting, potentially resulting in complete resection of tumor tissue with improved survival. However, identification of the photons coming from the fluorescent contrast agent is complicated by autofluorescence, optical tissue properties, and accurate fluorescent targeting agents and imaging systems. All these factors have an important influence on the image that is presented to the surgeon. Considering the clinical consequences at stake, it is a prerequisite to answer the questions that are essential for the surgeon. What is optical image-guided surgery and how can it improve patient care? What should the oncologic surgeon know about the fundamental principles of optical imaging to understand which conclusions can be drawn from the images? And how do the limitations influence clinical decision making? This article discusses these questions and provides a clear overview of the basic principles and practical applications. Although there are limitations to the intrinsic capacity of the technique, when practical and technical surgical possibilities are considered, optical imaging can be a very powerful intraoperative tool in guiding the future oncologic surgeon toward radical resection and optimal clinical results. Clin Cancer Res; 19(14); 3745–54. ©2013 AACR.
What does your neighbourhood say about you? A study of life expectancy in 1.3 million Swiss neighbourhoods

Background Switzerland had the highest life expectancy at 82.8 years among the Organisation for Economic Co-operation and Development (OECD) countries in 2011. Geographical variation of life expectancy and its relation to the socioeconomic position of neighbourhoods are, however, not well understood. Methods We analysed the Swiss National Cohort, which linked the 2000 census with mortality records 2000–2008 to estimate life expectancy across neighbourhoods. A neighbourhood index of socioeconomic position (SEP) based on the median rent, education and occupation of household heads and crowding was calculated for 1.3 million overlapping neighbourhoods of 50 households. We used skew-normal regression models, including the index and additionally marital status, education, nationality, religion and occupation to calculate crude and adjusted estimates of life expectancy at age 30 years. Results Based on over 4.5 million individuals and over 400 000 deaths, estimates of life expectancy at age 30 in neighbourhoods ranged from 46.9 to 54.2 years in men and from 53.5 to 57.2 years in women. The correlation between life expectancy and neighbourhood SEP was strong (r=0.95 in men and r=0.94 women, both p values <0.0001). In a comparison of the lowest with the highest percentile of neighbourhood SEP, the crude difference in life expectancy from skew-normal regression was 4.5 years in men and 2.5 years in women. The corresponding adjusted differences were 2.8 and 1.9 years, respectively (all p values <0.0001). Conclusions Although life expectancy is high in Switzerland, there is substantial geographical variation and life expectancy is strongly associated with the social standing of neighbourhoods.
Low-intensity Physical Activity is Associated with Lower Maternal Systemic Inflammation during Late Pregnancy

Excessive maternal inflammation during pregnancy increases the risk for maternal and neonatal metabolic complications. Fortunately, maternal physical activity during pregnancy appears to reduce maternal inflammation. The purpose of this study was to examine the relationship between maternal physical activity intensity and maternal inflammation during late pregnancy. Maternal physical activity levels (sedentary, light, lifestyle, and moderate), fitness levels, and systemic inflammation (plasma C-reactive protein (CRP) concentration) were measured between 32–37 weeks gestation. Relationships were examined by Spearman Rank Coefficient Correlation analyses. Maternal plasma CRP was negatively associated with time spent in light and lifestyle physical activities (Light: r=−0.40, p=0.01; Lifestyle: r=−0.31, p=0.03), but not with time spent in moderate physical activity (r=−0.18, p=0.21). Higher maternal plasma CRP tended to correlate with more time spent sedentary (r=0.27, p=0.06). In addition, increases in light and lifestyle activities may elicit a clinically meaningful change in inflammation. In conclusion, pregnant women should be encouraged to incorporate more low-intensity physical activities into their daily routines in order to decrease systemic inflammation and potentially improve maternal and neonatal pregnancy outcomes.
The Journey to Safety: Conflict-Driven Migration Flows in Colombia

While there is a growing econometrics literature on the modeling of conflict and the interactions with trade, there has been relatively little evidence modeling the interregional migration behavior of individuals internally displaced by conflicts. The current article models the flows of households forced to leave their residence because of violent conflicts in Colombia. Results shed light on the main determinants of what we call journey to safety. Violence appears to be one of the most relevant pushing effects together with the absence of institutions and the dissatisfaction with the provision of basic needs. Furthermore, for regions with extreme violence levels, individuals appear to be willing to relocate to more distant locations. On the destination side, most populated regions are more attractive as well as areas with a sufficient level of fulfillment of basic needs.
Diagnosis of Infections Caused by Pathogenic Free-Living Amoebae

Naegleria fowleri, Acanthamoeba spp. , Balamuthia mandrillaris, and Sappinia sp. are pathogenic free-living amoebae. N. fowleri causes Primary Amoebic Meningoencephalitis, a rapidly fatal disease of the central nervous system, while Acanthamoeba spp. and B. mandrillaris cause chronic granulomatous encephalitis. Acanthamoeba spp. also can cause cutaneous lesions and Amoebic Keratitis, a sight-threatening infection of the cornea that is associated with contact lens use or corneal trauma. Sappinia pedata has been identified as the cause of a nonlethal case of amoebic encephalitis. In view of the potential health consequences due to infection with these amoebae, rapid diagnosis is critical for early treatment. Microscopic examination and culture of biopsy specimens, cerebral spinal fluid (CSF), and corneal scrapings have been used in the clinical laboratory. For amoebic keratitis, confocal microscopy has been used to successfully identify amoebae in corneal tissue. More recently, conventional and real-time PCR assays have been developed that are sensitive and specific for the amoebae. In addition, multiplex PCR assays are available for the rapid identification of these pathogens in biopsy tissue, CSF, and corneal specimens.
Efficient support for video communications in wireless home networks

This paper investigates the performance of video communications over wireless networks employing the recently proposed Time-Division Unbalanced Carrier Sense Multiple access (TDuCSMA) coordination function. TDuCSMA is fully IEEE 802.11 standard compliant but offers novel bandwidth management capabilities. In this work the peculiar characteristics of TDuCSMA are configured and exploited to maximize the performance of video communications in a realistic home networking scenario. Simulation results show significant performance improvements with respect to legacy IEEE 802.11 network. The video quality gains are up to 13 dB PSNR with 500 ms playout buffer, while the average delay of the video packets is much lower, for the same amount of video traffic offered to the network. These results significantly contribute to enhance the quality of experience of the users of the video communication.
Development and Application of an Assay for Uranyl Complexation by Fungal Metabolites, Including Siderophores

ABSTRACT An assay to detect UO22+ complexation was developed based on the chrome azurol S (CAS) assay for siderophores (B. Schwyn and J. B. Neilands, Anal. Biochem. 160:47-56, 1987) and was used to investigate the ability of fungal metabolites to complex actinides. In this assay the discoloration of two dyed agars (one containing a CAS-Fe3+ dye and the other containing a CAS-UO22+ dye) caused by ligands was quantified. The assay was tested by using the siderophore desferrioxamine B (DFO), and the results showed that there was a regular, reproducible relationship between discoloration and the amount of siderophore added. The ratio of the discoloration on the CAS-UO22+ agar to the discoloration on the CAS-Fe3+ agar was independent of the amount of siderophore added. A total of 113 fungi and yeasts were isolated from three soil samples taken from the Peak District National Park. The fungi were screened for the production of UO22+ chelators by using the CAS-based assay and were also tested specifically for hydroxamate siderophore production by using the hydroxamate siderophore auxotroph Aureobacterium flavescens JG-9. This organism is highly sensitive to the presence of hydroxamate siderophores. However, the CAS-based assay was found to be less sensitive than the A. flavescens JG-9 assay. No significant difference between the results for each site for the two tests was found. Three isolates were selected for further study and were identified as two Pencillium species and a Mucor species. Our results show that the new assay can be effectively used to screen fungi for the production of UO22+ chelating ligands. We suggest that hydroxamate siderophores can be produced by mucoraceous fungi.
Dual involvement of G-substrate in motor learning revealed by gene deletion

In this study, we generated mice lacking the gene for G-substrate, a specific substrate for cGMP-dependent protein kinase uniquely located in cerebellar Purkinje cells, and explored their specific functional deficits. G-substrate–deficient Purkinje cells in slices obtained at postnatal weeks (PWs) 10–15 maintained electrophysiological properties essentially similar to those from WT littermates. Conjunction of parallel fiber stimulation and depolarizing pulses induced long-term depression (LTD) normally. At younger ages, however, LTD attenuated temporarily at PW6 and recovered thereafter. In parallel with LTD, short-term (1 h) adaptation of optokinetic eye movement response (OKR) temporarily diminished at PW6. Young adult G-substrate knockout mice tested at PW12 exhibited no significant differences from their WT littermates in terms of brain structure, general behavior, locomotor behavior on a rotor rod or treadmill, eyeblink conditioning, dynamic characteristics of OKR, or short-term OKR adaptation. One unique change detected was a modest but significant attenuation in the long-term (5 days) adaptation of OKR. The present results support the concept that LTD is causal to short-term adaptation and reveal the dual functional involvement of G-substrate in neuronal mechanisms of the cerebellum for both short-term and long-term adaptation.
Gantry beams vibration control using cast iron cushions

The paper explores the potentials of harnessing the structural friction in the system comprising a gantry beam, cast iron cushion of requiret form and rail to the vibration control in this system. Theoretical studies yield an equivalent logarithmic decrement of vibration reduction in the system, expressed as a function of rail pressure against a crane beam through a cast iron cushion and hence the function of bolt tightness as well as other parameters. Outlined are practical applications of a cast iron cushion to vibration control of a gantry rail in a charging car installation.
Motivation and mobile devices: exploring the role of appropriation and coping strategies

There has been interest recently in how mobile devices may be motivating forces in the right contexts: for example, one of the themes for the IADIS International Conference on Mobile Learning in 2007 was ‘Affective Factors in Learning with Mobile Devices’ (http://www.mlearningconf. org). The authors have previously proposed six aspects of learning with mobile devices in informal contexts that might be motivating: control over learners’ goals, ownership, fun, communication, learning-in-context and continuity between contexts. How do these motivational features relate to theoretical accounts of what motivates people to use mobile devices and learn in technology- rich contexts? In this exploratory paper we consider two different candidates for such theoretical approaches. One is technology appropriation—the process by which technology or particular technological artefacts are adopted and shaped in use. Two different approaches to technology appropriation are discussed in order to explore the relationship between the different aspects of appropriation and motivation; that of Carroll et al. and that of Waycott. Both appropriation frameworks have been developed in the context of using mobile devices, but neither has a specific focus on learning. By contrast, the second theoretical approach is Jarvela et al.’s model of coping strategies, which is specifically concerned with learning with technologies, although not with mobile technologies in particular. The paper draws on case-study data in order to illustrate and discuss the extent to which these two approaches are helpful in informing our understanding of the motivating features of using mobile devices for informal learning. DOI: 10.1080/09687760701673675