594 research outputs found

    An Automata-Theoretic Approach to Hardware/Software Co-verification

    Full text link

    Re-Focusing - Building a Future for Entrepreneurial Education & Learning

    Get PDF
    The field of entrepreneurship has struggled with fundamental questions concerning the subject’s nature and purpose. To whom and to what means are educational and training agendas ultimately directed? Such questions have become of central importance to policy makers, practitioners and academics alike. There are suggestions that university business schools should engage more critically with the lived experiences of practising entrepreneurs through alternative pedagogical approaches and methods, seeking to account for and highlighting the social, political and moral aspects of entrepreneurial practice. In the UK, where funding in higher education has become increasingly dependent on student fees, there are renewed pressures to educate students for entrepreneurial practice as opposed to educating them about the nature and effects of entrepreneurship. Government and EU policies are calling on business schools to develop and enhance entrepreneurial growth and skill sets, to make their education and training programmes more proactive in providing innovative educational practices which help and facilitate life experiences and experiential learning. This paper makes the case for critical frameworks to be applied so that complex social processes become a source of learning for educators and entrepreneurs and so that innovative pedagogical approaches can be developed in terms both of context (curriculum design) and process (delivery methods)

    Formation of Small-Scale Condensations in the Molecular Clouds via Thermal Instability

    Full text link
    A systematic study of the linear thermal instability of a self-gravitating magnetic molecular cloud is carried out for the case when the unperturbed background is subject to local expansion or contraction. We consider the ambipolar diffusion, or ion-neutral friction on the perturbed states. In this way, we obtain a non-dimensional characteristic equation that reduces to the prior characteristic equation in the non-gravitating stationary background. By parametric manipulation of this characteristic equation, we conclude that there are, not only oblate condensation forming solutions, but also prolate solutions according to local expansion or contraction of the background. We obtain the conditions for existence of the Field lengths that thermal instability in the molecular clouds can occur. If these conditions establish, small-scale condensations in the form of spherical, oblate, or prolate may be produced via thermal instability.Comment: 16 page, accepted by Ap&S

    Early-branching gut fungi possess a large, comprehensive array of biomass-degrading enzymes

    Get PDF
    The fungal kingdom is the source of almost all industrial enzymes in use for lignocellulose bioprocessing. We developed a systems-level approach that integrates transcriptomic sequencing, proteomics, phenotype, and biochemical studies of relatively unexplored basal fungi. Anaerobic gut fungi isolated from herbivores produce a large array of biomass-degrading enzymes that synergistically degrade crude, untreated plant biomass and are competitive with optimized commercial preparations from Aspergillus and Trichoderma. Compared to these model platforms, gut fungal enzymes are unbiased in substrate preference due to a wealth of xylan-degrading enzymes. These enzymes are universally catabolite-repressed and are further regulated by a rich landscape of noncoding regulatory RNAs. Additionally, we identified several promising sequence-divergent enzyme candidates for lignocellulosic bioprocessing

    Testing one-body density functionals on a solvable model

    Full text link
    There are several physically motivated density matrix functionals in the literature, built from the knowledge of the natural orbitals and the occupation numbers of the one-body reduced density matrix. With the help of the equivalent phase-space formalism, we thoroughly test some of the most popular of those functionals on a completely solvable model.Comment: Latex, 16 pages, 4 figure

    “In my day
”-parents’ views on children’s physical activity and screen viewing in relation to their own childhood

    Get PDF
    Physical activity and screen viewing are associated with cardio-metabolic risk factors, psychological wellbeing, and academic performance among children. Across the last generation, children's physical activity and screen viewing behaviours have changed, coinciding with changes to the home and neighbourhood environment. This study aimed to qualitatively explore parents' views on their 8⁻9-year-old child's childhood and how this compares to experiences from their own childhood, with a specific focus on physical activity and screen viewing behaviours. Semi-structured telephone interviews were conducted with 51 parents (mean age = 41.2 years, range 31.5 to 51.5 years), between July and October 2016. Inductive and deductive content analyses were used to explore parents' perceptions of their child's physical activity and screen viewing behaviours in comparison to their own childhood behaviours. Interview data revealed that compared to the relative freedom they recalled as children, parents restrict their children's independent mobility and outdoor play due to concerns about safety. Despite their children having greater access to structured activities than they did as children, parents feel their children are "missing out," and perceived their own childhood as better with regards to maximising independent and outdoor play and limiting screen viewing. Innovative strategies are needed to change the social norms surrounding children's independent mobility and outdoor play.Emma Solomon-Moore, Lydia G. Emm-Collison, Simon J. Sebire, Zoi Toumpakari, Janice L. Thompson , Deborah A. Lawlor and Russell Jag

    Tracking linkage to HIV care for former prisoners: A public health priority

    Get PDF
    Improving testing and uptake to care among highly impacted populations is a critical element of Seek, Test, Treat and Retain strategies for reducing HIV incidence in the community. HIV disproportionately impacts prisoners. Though, incarceration provides an opportunity to diagnose and initiate therapy, treatment is frequently disrupted after release. Though model programs exist to support linkage to care on release, there is a lack of scalable metrics with which to assess adequacy of linkage to care after release. The linking data from Ryan White program Client Level Data (CLD) files reported to HRSA with corrections release data offers an attractive means of generating these metrics. Identified only by use of a confidential encrypted Unique Client Identifier (eUCI) these CLD files allow collection of key clinical indicators across the system of Ryan White funded providers. Using eUCIs generated from corrections release data sets as a linkage tool, the time to the first service at community providers along with key clinical indicators of patient status at entry into care can be determined as measures of linkage adequacy. Using this strategy, high and low performing sites can be identified and best practices can be identified to reproduce these successes in other settings

    Hopf algebras and Markov chains: Two examples and a theory

    Get PDF
    The operation of squaring (coproduct followed by product) in a combinatorial Hopf algebra is shown to induce a Markov chain in natural bases. Chains constructed in this way include widely studied methods of card shuffling, a natural "rock-breaking" process, and Markov chains on simplicial complexes. Many of these chains can be explictly diagonalized using the primitive elements of the algebra and the combinatorics of the free Lie algebra. For card shuffling, this gives an explicit description of the eigenvectors. For rock-breaking, an explicit description of the quasi-stationary distribution and sharp rates to absorption follow.Comment: 51 pages, 17 figures. (Typographical errors corrected. Further fixes will only appear on the version on Amy Pang's website, the arXiv version will not be updated.

    Professionalism, Golf Coaching and a Master of Science Degree: A commentary

    Get PDF
    As a point of reference I congratulate Simon Jenkins on tackling the issue of professionalism in coaching. As he points out coaching is not a profession, but this does not mean that coaching would not benefit from going through a professionalization process. As things stand I find that the stimulus article unpacks some critically important issues of professionalism, broadly within the context of golf coaching. However, I am not sure enough is made of understanding what professional (golf) coaching actually is nor how the development of a professional golf coach can be facilitated by a Master of Science Degree (M.Sc.). I will focus my commentary on these two issues
    • 

    corecore