1,443 research outputs found

    Ordered groupoids and the holomorph of an inverse semigroup

    Full text link
    We present a construction for the holomorph of an inverse semigroup, derived from the cartesian closed structure of the category of ordered groupoids. We compare the holomorph with the monoid of mappings that preserve the ternary heap operation on an inverse semigroup: for groups these two constructions coincide. We present detailed calculations for semilattices of groups and for the polycyclic monoids.Comment: 16 page

    Automation in human-machine networks: how increasing machine agency affects human agency

    Get PDF
    © 2018, Springer International Publishing AG. Efficient human-machine networks require productive interaction between human and machine actors. In this study, we address how a strengthening of machine agency, for example through increasing levels of automation, affect the human actors of the networks. Findings from case studies within air traffic management, emergency management, and crowd evacuation are presented, shedding light on how automation may strengthen the agency of human actors in the network through responsibility sharing and task allocation, and serve as a needed prerequisite of innovation and change

    Autonomy of Nations and Indigenous Peoples and the Environmental Release of Genetically Engineered Animals with Gene Drives

    Get PDF
    This article contends that the environmental release of genetically engineered (GE) animals with heritable traits that are patented will present a challenge to the efforts of nations and indigenous peoples to engage in self‐determination. The environmental release of such animals has been proposed on the grounds that they could function as public health tools or as solutions to the problem of agricultural insect pests. This article brings into focus two political‐economic‐legal problems that would arise with the environmental release of such organisms. To address those challenges, it is proposed that nations considering the environmental release of GE animals must take into account the underlying circumstances and policy failures that motivate arguments for the use of the modified animals. Moreover, countries must recognize that the UN International Covenant on Civil and Political Rights and the UN International Covenant on Economic, Social and Cultural Rights place on them an obligation to ensure that GE animals with patented heritable traits are not released without the substantive consent of the nations or indigenous peoples that could be affected

    Ultrasonic 3-D Reconstruction of Inclusions in Solids Using the Inverse Born Algorithm

    Get PDF
    Considerable progress has been made in recent years in the development of signal processing algorithms for use in ultrasonic non-destructive evaluation which yield the size, shape, and orientation of a flaw. This kind of flaw information is necessary in order that failure predictions of materials and components can be made from non-destructive tests. The signal processing algorithms that have been developed for ultrasonics are based upon both direct and inverse approximate solutions to the elastic wave scattering problem, and cover various ranges of the parameter ka where k=2π/λ is the wave number of the ultrasound and a is a flaw size dimension. In order to use these algorithms effectively in the determination of flaw parameters, it has been found necessary to obtain measurements of the flaw at several viewing angles. At this time, there is no ultrasonic transducer available which permits this to be done efficiently and conveniently in the long and intermediate wavelength end of the spectrum. This region has been shown to be quite rich in flaw information and is appropriate to ultrasonic NDE in many practical applications (e.g., thick wall sections).</p

    Hunger among Inuit children in Canada

    Get PDF
    Background and objectives. Inuit populations may be at increased risk for experiencing poor nutrition or hunger due to limited access and availability to food. The prevalence and correlates of parental perceptions of hunger among a nationally representative sample of Inuit children in Canada have not yet been reported. Design. Data are from the 2006 Aboriginal Children&#x0027;s Survey (ACS). Sociodemographic information, dietary behaviours and hunger status were parent-reported via a household interview for Inuit children aged 2&#x2013;5 years (n=1,234). Prevalence of hunger was calculated among Inuit children by sociodemographic factors and by dietary behaviours. In addition, a multivariate logistic regression model was conducted to determine factors associated with parental perception of ever experiencing hunger. Results. The prevalence of Inuit children in Canada aged 2&#x2013;5 years ever experiencing hunger was 24.4%. Children who were reported to have experienced hunger consumed milk and milk products (p&#60;0.001); fish, eggs and meat (p&#60;0.05); fruits (p&#60;0.001); and vegetables (p&#60;0.001) significantly less often than never-hungry children. Fast food and processed foods, soft drinks and juice, and salty snacks, sweets and desserts were consumed as often as never-hungry children (all p&#x003E;0.05). The majority (81%) of Inuit parents/guardians of ever-hungry children sought help from family or friends. Factors associated with an increased likelihood of experiencing hunger include sociodemographic characteristics (such as income and household size), living in an Inuit region and living in a community with cultural activities. Conclusion. About 1 in 4 Inuit children were reported by their parents to have experienced hunger, and hunger was associated with region, sociodemographic and community factors. Future research could further examine the impact of ever experiencing hunger on the health status of Inuit children and their families in Canada

    A Database of Domain Definitions for Proteins with Complex Interdomain Geometry

    Get PDF
    Protein structural domains are necessary for understanding evolution and protein folding, and may vary widely from functional and sequence based domains. Although, various structural domain databases exist, defining domains for some proteins is non-trivial, and definitions of their domain boundaries are not available. Here, we present a novel database of manually defined structural domains for a representative set of proteins from the SCOP “multi-domain proteins” class. (http://prodata.swmed.edu/multidom/). We consider our domains as mobile evolutionary units, which may rearrange during protein evolution. Additionally, they may be visualized as structurally compact and possibly independently folding units. We also found that representing domains as evolutionary and folding units do not always lead to a unique domain definition. However, unlike existing databases, we retain and refine these “alternate” domain definitions after careful inspection of structural similarity, functional sites and automated domain definition methods. We provide domain definitions, including actual residue boundaries, for proteins that well known databases like SCOP and CATH do not attempt to split. Our alternate domain definitions are suitable for sequence and structure searches by automated methods. Additionally, the database can be used for training and testing domain delineation algorithms. Since our domains represent structurally compact evolutionary units, the database may be useful for studying domain properties and evolution

    Predicting the Impact of Climate Change on Threatened Species in UK Waters

    Get PDF
    Global climate change is affecting the distribution of marine species and is thought to represent a threat to biodiversity. Previous studies project expansion of species range for some species and local extinction elsewhere under climate change. Such range shifts raise concern for species whose long-term persistence is already threatened by other human disturbances such as fishing. However, few studies have attempted to assess the effects of future climate change on threatened vertebrate marine species using a multi-model approach. There has also been a recent surge of interest in climate change impacts on protected areas. This study applies three species distribution models and two sets of climate model projections to explore the potential impacts of climate change on marine species by 2050. A set of species in the North Sea, including seven threatened and ten major commercial species were used as a case study. Changes in habitat suitability in selected candidate protected areas around the UK under future climatic scenarios were assessed for these species. Moreover, change in the degree of overlap between commercial and threatened species ranges was calculated as a proxy of the potential threat posed by overfishing through bycatch. The ensemble projections suggest northward shifts in species at an average rate of 27 km per decade, resulting in small average changes in range overlap between threatened and commercially exploited species. Furthermore, the adverse consequences of climate change on the habitat suitability of protected areas were projected to be small. Although the models show large variation in the predicted consequences of climate change, the multi-model approach helps identify the potential risk of increased exposure to human stressors of critically endangered species such as common skate (Dipturus batis) and angelshark (Squatina squatina)

    Endogenous cholinergic inputs and local circuit mechanisms govern the phasic mesolimbic dopamine response to nicotine

    Get PDF
    Nicotine exerts its reinforcing action by stimulating nicotinic acetylcholine receptors (nAChRs) and boosting dopamine (DA) output from the ventral tegmental area (VTA). Recent data have led to a debate about the principal pathway of nicotine action: direct stimulation of the DAergic cells through nAChR activation, or disinhibition mediated through desensitization of nAChRs on GABAergic interneurons. We use a computational model of the VTA circuitry and nAChR function to shed light on this issue. Our model illustrates that the α4β2-containing nAChRs either on DA or GABA cells can mediate the acute effects of nicotine. We account for in vitro as well as in vivo data, and predict the conditions necessary for either direct stimulation or disinhibition to be at the origin of DA activity increases. We propose key experiments to disentangle the contribution of both mechanisms. We show that the rate of endogenous acetylcholine input crucially determines the evoked DA response for both mechanisms. Together our results delineate the mechanisms by which the VTA mediates the acute rewarding properties of nicotine and suggest an acetylcholine dependence hypothesis for nicotine reinforcement.Peer reviewe
    corecore