Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards a Complete Axiomatization for Spatial Logic

The process-based Spatial Logics are multi-modal logics developed for semantics on Process Algebras and designed to specify concurrent properties of dynamic systems. On the syntactic level, they combine modal operators similar to operators of Hennessy-Milner logic, dynamic logic, arrow logic, relevant logic, or linear logic. This combination generates expressive logics, sometimes undecidable, for which a wide range of applications have been proposed. In the literature, there exist some sound proof systems for spatial logics, but the problem of completeness against process-algebraic semantics is still open. The main goal of this paper is to identify a sound-complete axiomatization for such a logic. We focus on a particular spatial logic that combines the basic spatial operators with dynamic and classical operators. The semantics is based on a fragment of CCS calculus that embodies the core features of concurrent behaviors. We prove the logic decidable both for satisfiability/validity and mode-checking, and we propose a sound-complete Hilbert-style axiomatic system for it. This is the preliminary version of a paper that was published in Proc. of the International Symposium on Mathematical Foundations of Computer Science, MFCS 2008
Pérez-Granados Mexican-Descent Families Normative Scripts for Object Labeling during a Play Activity : Mother-Child and Sibling Conversations in

can be found at: Hispanic Journal of Behavioral Sciences Additional services and information for http://hjb.sagepub. com/cgi/alerts Email Alerts: http://hjb.sagepub. com/subscriptions Subscriptions: http://www.sagepub. com/journalsReprints.nav Reprints: http://www.sagepub. com/journalsPermissions.nav Permissions: http://hjb.sagepub. com/cgi/content/refs/24/2/164 SAGE Journals Online and HighWire Press platforms): (this article cites 27 articles hosted on the Citations
Drug selection and timing of initiation of treatment in early Parkinson's disease

There is increasing evidence to challenge the traditional view that the initiation of drug treatment in Parkinson's disease (PD) should be delayed until the patient has significant disability such as to affect work or social function. Firstly, to delay treatment sentences the patient to protracted impairment of quality of life that could be improved by therapy. Secondly, there is evidence to support the notion that earlier rather than later initiation of treatment leads to better long term motor benefit. The selection of which drug to begin must be tailored to the patient's individual characteristics and circumstances. Monoamine oxidase B inhibitors result in a mild improvement in motor function compared to dopamine agonists or levodopa. They are well tolerated, easy to use once a day drugs and there is evidence that early use of Rasagiline improves motor outcome. Dopamine agonists lead to a substantial improvement in motor function and are, or will shortly be, available as once a day drugs. They are generally well tolerated but can be associated with exacerbating confusion or hallucinations and with behavioral changes. Levodopa is the most potent of the dopaminergic drugs. It is routinely combined with a dopa decarboxylase inhibitor and can also be used with a catecholo‐o‐methyl transferase inhibitor for enhanced absorption. The most important limiting factor for the use of levodopa is the emergence of motor complications. These are related to a number of factors including the dose of levodopa and the duration of its use. Ann Neurol 2008;64 (suppl):S47–S55
Maintaining Balance when Looking at a Virtual Reality Three-Dimensional Display of a Field of Moving Dots or at a Virtual Reality Scene

Experimental objective To provide a safe, simple, relatively inexpensive, fast, accurate way of quantifying balance performance either in isolation, or in the face of challenges provided by 3D high definition moving visual stimuli as well as by the proprioceptive challenge from standing on a foam pad. This method uses the new technology of the Wii balance board to measure postural stability during powerful, realistic visual challenges from immersive virtual reality. Limitations of current techniques Present computerized methods for measuring postural stability are large, complex, slow, and expensive, and do not allow for testing the response to realistic visual challenges. Protocol Subjects stand on a 6 cm thick, firm, foam pad on a Wii balance board. They wear a fast, high resolution, low persistence, virtual reality head set (Oculus Rift DK2). This allows displays of varying speed, direction, depth, and complexity to be delivered. The subject experiences a visual illusion of real objects fixed relative to the world, and any of these displays can be perturbed in an unpredictable fashion. A special app (BalanceRite) used the same procedures for analyzing postural analysis as used by the Equitest. Power of the technique Four simple “proof of concept” experiments demonstrate that this technique matches the gold standard Equitest in terms of the measurement of postural stability but goes beyond the Equitest by measuring stability in the face of visual challenges, which are so powerful that even healthy subjects fall. The response to these challenges presents an opportunity for predicting falls and for rehabilitation of seniors and patients with poor postural stability. Significance for the field This new method provides a simpler, quicker, cheaper method of measurement than the Equitest. It may provide a new mode of training to prevent falls, by maintaining postural stability in the face of visual and proprioceptive challenges similar to those encountered in life.
Alteration of Pulmonary Artery Integrin Levels in Chronic Hypoxia and Monocrotaline-Induced Pulmonary Hypertension

Background: Pulmonary hypertension is associated with vascular remodeling and increased extracellular matrix (ECM) deposition. While the contribution of ECM in vascular remodeling is well documented, the roles played by their receptors, integrins, in pulmonary hypertension have received little attention. Here we characterized the changes of integrin expression in endothelium-denuded pulmonary arteries (PAs) and aorta of chronic hypoxia as well as monocrotaline-treated rats. Methods and Results: Immunoblot showed increased α1-, α8- and αv-integrins, and decreased α5-integrin levels in PAs of both models. β1- and β3-integrins were reduced in PAs of chronic hypoxia and monocrotaline-treated rats, respectively. Integrin expression in aorta was minimally affected. Differential expression of α1- and α5-integrins induced by chronic hypoxia was further examined. Immunostaining showed that they were expressed on the surface of PA smooth muscle cells (PASMCs), and their distribution was unaltered by chronic hypoxia. Phosphorylation of focal adhesion kinase was augmented in PAs of chronic hypoxia rats, and in chronic hypoxia PASMCs cultured on the α1-ligand collagen IV. Moreover, α1-integrin binding hexapeptide GRGDTP elicited an enhanced Ca2+ response, whereas the response to α5-integrin binding peptide GRGDNP was reduced in CH-PASMCs. Conclusion: Integrins in PASMCs are differentially regulated in pulmonary hypertension, and the dynamic integrin-ECM interactions may contribute to the vascular remodeling accompanying disease progression.
Mitotic regulation of the human anaphase‐promoting complex by phosphorylation

The anaphase‐promoting complex (APC) or cyclosome is a ubiquitin ligase that initiates anaphase and mitotic exit. APC activation is thought to depend on APC phosphorylation and Cdc20 binding. We have identified 43 phospho‐sites on APC of which at least 34 are mitosis specific. Of these, 32 sites are clustered in parts of Apc1 and the tetratricopeptide repeat (TPR) subunits Cdc27, Cdc16, Cdc23 and Apc7. In vitro, at least 15 of the mitotic phospho‐sites can be generated by cyclin‐dependent kinase 1 (Cdk1), and 3 by Polo‐like kinase 1 (Plk1). APC phosphorylation by Cdk1, but not by Plk1, is sufficient for increased Cdc20 binding and APC activation. Immunofluorescence microscopy using phospho‐antibodies indicates that APC phosphorylation is initiated in prophase during nuclear uptake of cyclin B1. In prometaphase phospho‐APC accumulates on centrosomes where cyclin B ubiquitination is initiated, appears throughout the cytosol and disappears during mitotic exit. Plk1 depletion neither prevents APC phosphorylation nor cyclin A destruction in vivo. These observations imply that APC activation is initiated by Cdk1 already in the nuclei of late prophase cells.
State of intervention: community stakeholder discourse on teen childbearing in Iowa

Abstract The state of teen childbearing in Iowa (USA) is positioned by community leaders as a discursive battleground for intervention. In 2015 meetings with community stakeholders, participants framed ‘culture’ (which they defined as ethnicity and religion) as a barrier in decreasing the state’s teen pregnancy rate and increasing girls’ economic self-sufficiency. The childbearing teen body was, unsurprisingly, portrayed as a public health problem in need of organizational intervention. But how participants linked ‘culture’ to neoliberal ideals was surprising and specific. Utilizing McRobbie’s concept of the ‘real self’ and Foucault’s explication of governmentality, this study draws out the role of neoliberal self-sufficiency in grooming teens to perform adolescent femininity and self-govern. In doing so, it considers community stakeholders’ meaning-making processes. Findings show the interventionist discourse does more than attempt to prevent early pregnancy: it reinforces acceptable and unacceptable pregnant bodies and compels community leaders and practitioners to govern childbearing teen bodies in precise ways.
Scaling Flux Tower Observations of Sensible Heat Flux Using Weighted Area-to-Area Regression Kriging

Sensible heat flux (H) plays an important role in characterizations of land surface water and heat balance. There are various types of H measurement methods that depend on observation scale, from local-area-scale eddy covariance (EC) to regional-scale large aperture scintillometer (LAS) and remote sensing (RS) products. However, methods of converting one H scale to another to validate RS products are still open for question. A previous area-to-area regression kriging-based scaling method performed well in converting EC-scale H to LAS-scale H. However, the method does not consider the path-weighting function in the EC- to LAS-scale kriging with the regression residue, which inevitably brought about a bias estimation. In this study, a weighted area-to-area regression kriging (WATA RK) model is proposed to convert EC-scale H to LAS-scale H. It involves path-weighting functions of EC and LAS source areas in both regression and area kriging stages. Results show that WATA RK outperforms traditional methods in most cases, improving estimation accuracy. The method is considered to provide an efficient validation of RS H flux products.
Intrinsic and contextual experiences of masculinity threat: the role of precarious manhood beliefs

Previous research has found that men who adhere to precarious manhood beliefs (PMB) experience and respond to masculinity threat in a multitude of ways. In the present research, male participants imagine a female hiring manager, who perpetrates a masculinity threat, is offering them a position. In one condition, they begin negotiating a salary with the hiring manager. In the second condition, they begin negotiating a salary with a female human resources manager who did not witness or perpetrate a masculinity threat. The present study explores the experience of this threat by testing two competing hypotheses: (a) the intrinsic threat hypothesis, that suggests masculinity threats for men high in PMB are experienced as a threat to one’s stable definition of self and, (b) the contextual threat hypothesis, which suggests that threats to masculinity only threaten men’s view of the self within a specific relational situation or context. Neither the intrinsic or contextual threat hypotheses were supported. The results revealed no significant main or interaction effects of PMB, masculinity threat, or manager condition on symbolic aggression. A significant interaction effect of masculinity threat and manager condition was found on the manager favorability ratings.
THE RELATIONSHIP BETWEEN STRATEGIC MANAGEMENT AND ORGANIZATIONAL PERFORMANCE IN MOGADISHU-SOMALIA

This study sought to investigate the relationship between strategic management and organizational performance in Mogadishu. Emphasis was put on trying to establish the relationship between strategic management and organizational performance in MogadishuSomalia. The study employed the use of both descriptive and correlation research design to establish the nature of the relationships. To analyze the data, the spearman correlation statistical tool was used with the aim of establishing the relationship between above variables. This formed the basis of the detailed analysis, conclusions and recommendations. The findings revealed the existence statistically significant has a positive relationship between strategic management and organizational performance, the study also indicate that there is a statistically significant moderate positive relationship between strategic management and organizational performance on the basis of the findings, the researchers made the following conclusions. Organizations should provide good strategic management to their organizations that will improve performance of employees companies should employee performance appraisal to promote better satisfaction finally, organizations should factor into account or internal and external factors that can effects organizational performance.
Partnering with families and communities

A well-organized program of family and community partnerships yields many benefits for schools and their students. What is the difference between a professional learning community and a school learning community? A professional learning community emphasizes the teamwork of principals, teachers, and staff to identify school goals, improve curriculum and instruction, reduce teachers' isolation, assess student progress, and increase the effectiveness of school programs. Professional teamwork is important and can greatly improve teaching, instruction, and professional relationships in a school, but it falls short of producing a true community of learners. In contrast, a school learning community includes educators, students, parents, and community partners who work together to improve the school and enhance students' learning opportunities. One component of a school learning community is an organized program of school, family, and community partnerships with activities linked to school goals. Research and fieldwork show that such programs improve schools, strengthen families, invigorate community support, and Is it a pipe dream to think that every school can become a true learning community, or is it really possible? During the past eight years, more than 1,000 schools, districts, and state departments of education in the National Network of Partnership Schools at Johns Hopkins University have worked with researchers to develop and implement programs of school, family, and community partnerships. Their efforts have produced not only many research publications but also research-based materials that elementary, middle, and high schools can use to customize and continually improve their programs of family and community involvement A well-organized partnership program starts with an Action Team for Partnerships. Made up of
Single-Image Depth Perception in the Wild

This paper studies single-image depth perception in the wild, i.e., recovering depth from a single image taken in unconstrained settings. We introduce a new dataset "Depth in the Wild" consisting of images in the wild annotated with relative depth between pairs of random points. We also propose a new algorithm that learns to estimate metric depth using annotations of relative depth. Compared to the state of the art, our algorithm is simpler and performs better. Experiments show that our algorithm, combined with existing RGB-D data and our new relative depth annotations, significantly improves single-image depth perception in the wild.
Autonomous Color Learning on a Mobile Robot

Color segmentation is a challenging subtask in computer vision. Most popular approaches are computationally expensive, involve an extensive off-line training phase and/or rely on a stationary camera. This paper presents an approach for color learning on-board a legged robot with limited computational and memory resources. A key defining feature of the approach is that it works without any labeled training data. Rather, it trains autonomously from a color-coded model of its environment. The process is fully implemented, completely autonomous, and provides high degree of segmentation accuracy.
Decline of EMRSA-16 amongst methicillin-resistant Staphylococcus aureus causing bacteraemias in the UK between 2001 and 2007.

OBJECTIVES Between 1998 and 2000, 95.6% of methicillin-resistant Staphylococcus aureus (MRSA) bacteraemias in the UK were due to two epidemic strains, namely EMRSA-15 or EMRSA-16 (60.2% and 35.4%, respectively). We sought to determine the proportions of these strains before and after the general decline in MRSA bacteraemia that began around 2004. METHODS Consecutive MRSA isolates collected in 2001, 2003, 2005 and 2007 by the BSAC Bacteraemia Surveillance Programme were categorized to multilocus sequence typing (MLST) clonal complex and to SCCmec type by PCR. MICs were determined by the BSAC method. Data trends were tested for significance using a generalized linear regression model. RESULTS Collectively, EMRSA-15 and EMRSA-16 consistently accounted for approximately 95% of MRSA studied between 2001 and 2007, but the proportions of EMRSA-16 declined from 21.4% in 2001 to 9% in 2007 (P < 0.05), whilst the proportion of EMRSA-15 rose commensurately, accounting for 85% of MRSA in 2007. Ciprofloxacin and erythromycin resistance were common amongst both EMRSA-15 and EMRSA-16. CONCLUSIONS EMRSA-15 and EMRSA-16 remain the main MRSA strains in bacteraemia in the UK, but the proportion of EMRSA-16 declined from the late 1990 s, thus preceding the general decline in MRSA bacteraemias that began in the middle of the present decade.
Adolescent Perceptions of Diverse Parental Influences on Subtypes of Delinquency

Carolyn J. Tompsett, Advisor This study examined the relations between specific aspects of parenting (parental monitoring, parent values, and parent antisocial behaviors) and youth-reported overt and covert delinquency. Participants were 186 adolescents, ages 10-17 (9% females, 65% African American) who had been arrested for both misdemeanors and more serious charges and involved in the Lucas County Juvenile Justice System at the time of data collection. Parental monitoring, parent values, parent antisocial behaviors, overt and covert delinquent acts were measured via adolescentreport. Parental monitoring was found to fully mediate the effects of parent values for both overt and covert delinquency. Adolescent-report of their parents’ engagement in antisocial behaviors was not found to be a significant predictor of participants’ overt or covert delinquency. Future research might benefit from using a latent class analysis approach to define subtypes of delinquent behaviors or trajectories before investigating how these more refined subtypes of behaviors are related to parental values, parent antisocial behaviors, and parental monitoring. DIVERSE PARENTAL INFLUENCES iii ACKNOWLEDGEMENTS First and foremost, I would like to thank my advisor, Carolyn Tompsett, for her support and guidance throughout my thesis. Carolyn has taught me the importance of building community partnerships in conducting theoretically-driven psychological research. Further, her critiques of my thesis document were informative and helped me develop a better understanding of academic writing. From our discussions and Carolyn’s feedback, I have learned how to expound upon analyzed results in order to provide real world applications. I also appreciate and thank my other committee members, Marie Tisak and Eric Dubow, for their time, support, and thoughtprovoking discussions. I would also like to give a special thanks to Deborah Hodges, Joan Parker, Tara Hobbs, Michael Brennan, and all Lucas County Juvenile Probation officers for providing me with an opportunity to collaborate with them on learning more about the youth they serve and for helping me communicate with the parents of these youth. In addition, I would like to thank the other members of this research group, Sarah Domoff, Gina Veits, and Kelly Amrhein, who supported me throughout the project and assisted in data collection. Finally, I would like to express my appreciation to the adolescents involved in the Lucas County Juvenile Justice system at the time of this project for their voluntary participation in this study.
Effects of Replication and Transcription on DNA Structure-Related Genetic Instability

Many repetitive sequences in the human genome can adopt conformations that differ from the canonical B-DNA double helix (i.e., non-B DNA), and can impact important biological processes such as DNA replication, transcription, recombination, telomere maintenance, viral integration, transposome activation, DNA damage and repair. Thus, non-B DNA-forming sequences have been implicated in genetic instability and disease development. In this article, we discuss the interactions of non-B DNA with the replication and/or transcription machinery, particularly in disease states (e.g., tumors) that can lead to an abnormal cellular environment, and how such interactions may alter DNA replication and transcription, leading to potential conflicts at non-B DNA regions, and eventually result in genetic stability and human disease.
Intellectual disability in a prison population with anger problems in Trinidad

Abstract This paper describes the characteristics of groups of prisoners selected to take part in an anger management programme in prisons in Trinidad. Participants completed demographic measures, an IQ assessment, mental health measures and anger rating scales. Fifty-six inmates were screened with the WASI-2 and characteristics of this group are explored in this paper. The mean IQ for the group was 72.34 and 22 had a recorded IQ below 70 (37.5%). All of the respondents reported high levels of mental health problems with their mean ratings on the SCL-90 being closer to those of inpatient psychiatric group norms than non-clinical groups. A score of less than 70 on the WASI-2 is not sufficient for a diagnosis of an Intellectual Disability. Nevertheless, the results suggest that a significant number of individuals in these prisons may have an Intellectual Disability. More research is needed to help identify these individuals and provide support.