Miracle-dz/UniFAR-FTUs huggingface dataset:
The acquisition approach of Reference sequences of road traffic running characteristics

The accurate acquisition of road traffic states is the most important basis in the Intelligent Transportation Systems. Though the technology for collectting road traffic states information has been developed greatly, the data problems such as data invalidation also exist and have not been effectively settled. So the acquisition method of reference sequences of road traffic running characteristics is put forward in this paper. Firstly, the road traffic states information template is designed. Then the regularity analysis of the road traffic states information is carried out based on the Singular Value Decomposition of the road traffic states information matrix and the effective classification of eigenflows of the road traffic states information. Then the road traffic modes are divided into several different sub-modes according to different classification identifications. Finally the regularity information of road traffic states under different modes is abstracted and Reference sequences of road traffic running characteristics are effectively designed based on this regularity information. Typical expressways in Beijing are adopted for the application of the reference sequences of road traffic running characteristics for data imputation. The results prove that the reference sequences of road traffic running characteristics can be a effective complement in the process of date collection.
Multimarket Facility Network Design with OffShoring Applications

Moving production to low-wage countries may reduce manufacturing costs, but it increases logistics costs and is subject to foreign trade barriers, among others. This paper studies a manufacturer's multimarket facility network design problem and investigates the offshoring decision from a network capacity investment perspective. We analyze a firm that manufactures two products to serve two geographically separated markets using a common component and two localized final assemblies. The common part can be transported between the two markets that have different economic and demand characteristics. Two strategic network design questions arise naturally: (1) Should the common part be produced centrally or in two local facilities? (2) If a centralization strategy is adopted, in which market should the facility be located? We present a transportation cost threshold that captures costs, revenues, and demand risks, and below which centralization is optimal. The optimal location of commonality crucially depends on the relative magnitude of price and manufacturing cost differentials but also on demand size and uncertainty. Incorporating scale economies further enlarges the centralization's optimality region.
Nudges that fail

Abstract Why are some nudges ineffective, or at least less effective than choice architects hope and expect? Focusing primarily on default rules, this essay emphasizes two reasons for this. The first involves strong antecedent preferences on the part of choosers. The second involves successful “counternudges,” which persuade people to choose in a way that confounds the efforts of choice architects. Nudges might also be ineffective, and less effective than expected, for five other reasons: (1) some nudges produce confusion in the target audience; (2) some nudges have only short-term effects; (3) some nudges produce “reactance” (though this appears to be rare); (4) some nudges are based on an inaccurate (though initially plausible) understanding on the part of choice architects of what kinds of choice architecture will move people in particular contexts; and (5) some nudges produce compensating behavior, resulting in no net effect. When a nudge turns out to be insufficiently effective, choice architects have three potential responses: (1) do nothing; (2) nudge better (or differently); and (3) fortify the effects of the nudge, perhaps through counter-counternudges, or perhaps through incentives, mandates, or bans.
Exome sequencing in amyotrophic lateral sclerosis identifies risk genes and pathways

New players in Lou Gehrig's disease Amyotrophic lateral sclerosis (ALS), often referred to as “Lou Gehrig's disease,” is a progressive neurodegenerative disease that affects nerve cells in the brain and the spinal cord. Cirulli et al. sequenced the expressed genes of nearly 3000 ALS patients and compared them with those of more than 6000 controls (see the Perspective by Singleton and Traynor). They identified several proteins that were linked to disease in patients. One such protein, TBK1, is implicated in innate immunity and autophagy and may represent a therapeutic target. Science, this issue p. 1436; see also p. 1422 Analysis of the expressed genes of nearly 2900 patients with amyotrophic lateral sclerosis and about 6400 controls reveals a disease predisposition–associated gene. [Also see Perspective by Singleton and Traynor] Amyotrophic lateral sclerosis (ALS) is a devastating neurological disease with no effective treatment. We report the results of a moderate-scale sequencing study aimed at increasing the number of genes known to contribute to predisposition for ALS. We performed whole-exome sequencing of 2869 ALS patients and 6405 controls. Several known ALS genes were found to be associated, and TBK1 (the gene encoding TANK-binding kinase 1) was identified as an ALS gene. TBK1 is known to bind to and phosphorylate a number of proteins involved in innate immunity and autophagy, including optineurin (OPTN) and p62 (SQSTM1/sequestosome), both of which have also been implicated in ALS. These observations reveal a key role of the autophagic pathway in ALS and suggest specific targets for therapeutic intervention.
Endosomal recruitment of the WASH complex: Active sequences and mutations impairing interaction with the retromer

The Wiskott‐Aldrich syndrome protein and scar homolog (WASH) complex is the major Arp2/3 activator at the surface of endosomes. The branched actin network, that the WASH complex induces, contributes to cargo sorting and scission of transport intermediates destined for most endosomal routes. A major challenge is to understand how the WASH molecular machine is recruited to the surface of endosomes. The retromer endosomal machinery has been proposed by us and others to play a role in this process.
Elevation as a proxy for mosquito-borne Zika virus transmission in the Americas

Introduction When Zika virus (ZIKV) first began its spread from Brazil to other parts of the Americas, national-level travel notices were issued, carrying with them significant economic consequences to affected countries. Although regions of some affected countries were likely unsuitable for mosquito-borne transmission of ZIKV, the absence of high quality, timely surveillance data made it difficult to confidently demarcate infection risk at a sub-national level. In the absence of reliable data on ZIKV activity, a pragmatic approach was needed to identify subnational geographic areas where the risk of ZIKV infection via mosquitoes was expected to be negligible. To address this urgent need, we evaluated elevation as a proxy for mosquito-borne ZIKV transmission. Methods For sixteen countries with local ZIKV transmission in the Americas, we analyzed (i) modelled occurrence of the primary vector for ZIKV, Aedes aegypti, (ii) human population counts, and (iii) reported historical dengue cases, specifically across 100-meter elevation levels between 1,500m and 2,500m. Specifically, we quantified land area, population size, and the number of observed dengue cases above each elevation level to identify a threshold where the predicted risks of encountering Ae. aegypti become negligible. Results Above 1,600m, less than 1% of each country’s total land area was predicted to have Ae. aegypti occurrence. Above 1,900m, less than 1% of each country’s resident population lived in areas where Ae. aegypti was predicted to occur. Across all 16 countries, 1.1% of historical dengue cases were reported above 2,000m. Discussion These results suggest low potential for mosquito-borne ZIKV transmission above 2,000m in the Americas. Although elevation is a crude predictor of environmental suitability for ZIKV transmission, its constancy made it a pragmatic input for policy decision-making during this public health emergency.
Graded classes of cortical connections: quantitative analyses of laminar projections to motion areas of cat extrastriate cortex

Current hierarchical models of the cerebral cortex are mainly based on qualitative connection studies. From wheatgerm‐agglutinin‐horseradish peroxidase injections, we examined the laminar patterns of projections to and between the three major subdivisions of the motion‐processing lateral suprasylvian (LS) complex [areas posteromedial lateral suprasylvian area (PMLS), anteromedial lateral suprasylvian (AMLS), posterolateral lateral suprasylvian area (PLLS)] of cat extrastriate cortex and of an adjoining form‐processing area, 21a. We counted ∼ 145,000 labelled projection cells in 20 cortical areas in 11 cats, and applied various analyses to the data, expressed as the percent supragranular layer (%SG) origin of each connection. We report two main results. (i) A wide range of %SG values was obtained, both from each individual cat and across the 163 projections examined. Nonetheless, both hierarchical and non‐parametric cluster analyses of the pooled connection origins suggested the presence of three distinct laminar projection classes, constrained by graded %SG values of 0–33%, 39–69% and 76–97%. These conformed, respectively, to feedback, lateral and feedforward laminar patterns seen qualitatively in our material. (ii) Hierarchical connectivity analyses suggested that PMLS, AMLS and PLLS are ordered in a hierarchical sequence. Macaque motion areas V5/MT, MST and FST are arranged in a similar sequence, and areas at equivalent levels of the two motion hierarchies have some analogous functional specializations. Our findings provide the first objective support for the three laminar projection classes that underpin existing theoretical models of hierarchical cortical organization, and they suggest that the implementation of higher‐order motion processing evolved along similar lines in the cat and monkey visual cortex.
The Optimality of a Fast CNF Conversion and its Use with SAT

Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with little or no discussion of the conversion to clause form that will be necessary. In this paper we present a fast and easy to implement conversion to equisatisfiable clause form for Boolean circuits, a popular representation of propositional logic formulae. We show that the conversion is equivalent to that of Boy de la Tour and is hence optimal in the number of clauses produced for linear input formulae (formulae excluding ↔), and we discuss the optimality for other input formulae. We present experimental results for this and other conversion procedures on BMC problems demonstrating its superiority, and conclude that the CNF conversion plays a large part in reducing the overall solving time.
The Diffusion of Electronic Portfolios in Teacher Education

Abstract This descriptive study investigates the diffusion of electronic portfolios in preservice teacher education by documenting the context and emergent practices in six programs identified as mature in their implementation. Context variables examined include prior use of paper portfolios, pressures for standards-based assessment, and leadership and governance issues. Variations in program implementation are also explored including the portfolio tools employed, artifact selection, evaluation of student work, and the role of reflection. Findings of the study suggest that amidst the common themes across programs, there are numerous variations in approaches to e-portfolio use. The authors conclude that further research is needed to examine the future directions for e-portfolios envisioned as well as specific advice for those in earlier stages of adoption or implementation.
STP/HAMPI and Computer Security

AbstractIn the past several years I have written two SMT solvers called STP and HAMPI that have foundwidespread use in computer security research by leading groups in academia, industry and the gov-ernment. In this note I summarize the features of STP/HAMPI that make them particularly suited forcomputer security research, and a brief description of some of the more important projects that use them. 1 Introduction SMT solvers [3,4] (Satisﬁability-Modulo-TheoriesSolvers) are computerprograms that decide the satis-ﬁability problem for rich logics such as the theory of bit-vectors and arrays [10], integers, and datatypes.SMT solvers have recently proven to be particularly useful in ﬁnding security vulnerabilities, debug-ging, and program analysis aimed at security. The reason for the success of SMT solvers are threefold:1) The input logic of SMT solvers is rich enough to capture a wide variety of program behavior eas-ily and compactly, 2) SMT solvers have become very eﬃcient at solving such formulas obtained fromreal-world applications, and 3) there are very eﬀective techniques now available, such as symbolic exe-cution [7,8,11], that convert computation into SMT formulas. My solvers, STP [10] and HAMPI [12],are speciﬁcally designed to support computer security appl ications that perform security analysis aimedat ﬁnding security vulnerabilities [14], detecting malwar e [15] and constructing exploits [2,6].
In-Frame Amber Stop Codon Replacement Mutagenesis for the Directed Evolution of Proteins Containing Non-Canonical Amino Acids: Identification of Residues Open to Bio-Orthogonal Modification

Expanded genetic code approaches are a powerful means to add new and useful chemistry to proteins at defined residues positions. One such use is the introduction of non-biological reactive chemical handles for site-specific biocompatible orthogonal conjugation of proteins. Due to our currently limited information on the impact of non-canonical amino acids (nAAs) on the protein structure-function relationship, rational protein engineering is a “hit and miss” approach to selecting suitable sites. Furthermore, dogma suggests surface exposed native residues should be the primary focus for introducing new conjugation chemistry. Here we describe a directed evolution approach to introduce and select for in-frame codon replacement to facilitate engineering proteins with nAAs. To demonstrate the approach, the commonly reprogrammed amber stop codon (TAG) was randomly introduced in-frame in two different proteins: the bionanotechnologically important cyt b 562 and therapeutic protein KGF. The target protein is linked at the gene level to sfGFP via a TEV protease site. In absence of a nAA, an in-frame TAG will terminate translation resulting in a non-fluorescent cell phenotype. In the presence of a nAA, TAG will encode for nAA incorporation so instilling a green fluorescence phenotype on E. coli. The presence of endogenously expressed TEV proteases separates in vivo target protein from its fusion to sfGFP if expressed as a soluble fusion product. Using this approach, we incorporated an azide reactive handle and identified residue positions amenable to conjugation with a fluorescence dye via strain-promoted azide-alkyne cycloaddition (SPAAC). Interestingly, best positions for efficient conjugation via SPAAC were residues whose native side chain were buried through analysis of their determined 3D structures and thus may not have been chosen through rational protein engineering. Molecular modeling suggests these buried native residues could become partially exposed on substitution to the azide containing nAA.
Personal mastery attenuates the adverse effect of frailty on declines in physical function of older people

AbstractPersonal mastery is an important determinant in shaping physical health across middle and late life. The modified effect of mastery on relation between frailty and adverse health outcome remains unclear. The main purpose of this study was to evaluate the prognostic role of mastery on frailty among older people by using a nationwide representative population-based cohort. In total, 715 community-dwelling participants aged 54 years and over recruited in 2000 and received second visit 6 years later. Personal mastery was represented by the Pearlin mastery score, and frailty was defined by modified Fried criteria. Multivariate generalized linear mixed analysis was used to examine the association interaction between frailty and Pearlin mastery scores for activities of daily living decline. Overall, prevalence of frailty and prefrail were 9.7% and 48.8%. In a 6-year period, 94 participants (13.1%) experienced functional decline. Compared with function nondecliners, function decliners had greater proportion of frailty (26.6% vs 7.1%; P < 0.001) and lesser mastery score (17.2 vs 18.7; P < 0.001). After adjusting with basic demography, healthy behavior, cognitive function, and multimorbidity, frailty status and mastery were significantly interacted (coefficient estimate: −0.80, standard error: 0.23, P = 0.001). The negative coefficient estimate indicated that self-control, that is, self-mastery, may attenuate the adverse effects of frailty on functional outcomes. Similar results were shown when subjects with baseline functional deficits were excluded for analysis. In conclusion, high self-mastery attenuates adverse effects of frailty on functional decline.
Emotional experiences in simulated classroom training environments

Purpose – Over the years, game-based learning approaches have been adapted in teaching and learning both to engage and motivate students during learning activities. Game technology, such as serious and simulation games, have been used as a new generation of training educational tools enhancing students’ learning and academic performance. An important aspect in the evaluation of those methods is that it focusses particularly on cognitive learning outcomes, ignoring the significance of other processes including emotional aspects in game environments that also contribute significantly to learning, performance and motivation. The purpose of this paper is to present the empirical evidence of a research related to the emotional experiences of pre-service teachers, after the implementation of a simulated classroom environment during the semester. Design/methodology/approach – SimSchool classroom simulation was used for the training of pre-service teachers in classroom and for behavior management issues. The research took place at the Democritus University of Thrace (DUTH) and the School of Pedagogical and Technological Education (ASPETE), in Greece. This study aimed to gain insights related to the emotions that pre-service teachers experienced during the simulated activities. Findings – The results indicated that participants from DUTH experienced more negative and less positive emotions during the game including anxiety, nervousness, disappointment, insecurity, inability to deal with simSchool activities, defeat, dissatisfaction, fatigue, fear and stress. Moreover, the results revealed that ASPETE’s participants experienced more positive and less negative emotions during playing with the simulation, including excitement, motivation and satisfaction. Originality/value – The related research on the use of games in teacher training is still at its infancy, the current research aimed to address teacher training through a simulated classroom environment and investigate the emotional experiences of pre-service teachers during simulated activities.
Non-Coding RNAs in Muscle Dystrophies

ncRNAs are the most recently identified class of regulatory RNAs with vital functions in gene expression regulation and cell development. Among the variety of roles they play, their involvement in human diseases has opened new avenues of research towards the discovery and development of novel therapeutic approaches. Important data come from the field of hereditary muscle dystrophies, like Duchenne muscle dystrophy and Myotonic dystrophies, rare diseases affecting 1 in 7000–15,000 newborns and is characterized by severe to mild muscle weakness associated with cardiac involvement. Novel therapeutic approaches are now ongoing for these diseases, also based on splicing modulation. In this review we provide an overview about ncRNAs and their behavior in muscular dystrophy and explore their links with diagnosis, prognosis and treatments, highlighting the role of regulatory RNAs in these pathologies.
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

We investigate a class of first-order temporal-epistemic logics for reasoning about multiagent systems. We encode typical properties of systems including perfect recall, synchronicity, no learning, and having a unique initial state in terms of variants of quantified interpreted systems, a first-order extension of interpreted systems. We identify several monodic fragments of first-order temporal-epistemic logic and show their completeness with respect to their corresponding classes of quantified interpreted systems.
Rate of Decline of Residual Kidney Function Before and After the Start of Peritoneal Dialysis

♦ Background: There is a paucity of information on whether peritoneal dialysis (PD) slows the decline of residual kidney function (RKF) compared to the natural slope of RKF decline prior to dialysis start. Our aim was to analyze the RKF decline before and after initiating PD, and to determine the principal factors affecting this decline during the PD period. ♦ Methods: We determined individual glomerular filtration rates (GFR) for approximately 12 months before and after PD in 77 new PD patients in a large academic medical center (2008 – 2012). The GFR was estimated by the Modification of Diet in Renal Disease (MDRD) equation in the predialysis period and by averaging 24-hour urine creatinine and urea clearances in the PD period. The rate of RKF decline was calculated using unadjusted linear regression analysis. Wilcoxon signed rank test was used to compare RKF decline before and after PD initiation. Multivariate linear regression was used to identify independent risk factors for RKF decline in the PD phase. ♦ Results: A significantly slower mean rate of RKF decline was observed in the PD period compared with the predialysis period (−0.21 ± 0.30 vs −0.59 ± 0.55 mL/min/1.73 m2/month, p < 0.01). Higher baseline RKF, higher serum phosphate, and older age were independently associated with faster decline of RKF (all p < 0.01). ♦ Conclusions: In patients with advanced chronic kidney disease, initiating PD was associated with a slower rate of RKF decline compared to the rate in the predialysis period.