3,067 research outputs found

    Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

    No full text
    this paper took place while the author was visiting the Qualitative Reasoning Group at the Dept. of Computer Sciences of the University of Texas at Austin. G. Brajnik and D.J. Clancy / Focusing qualitative simulation 2 formation about the trajectory of a variable or relationships between the trajectories of interconnected variables. Such information allows the modeler to restrict the simulation to a region of the state space and to specify time--varying input variables. The Temporally Constrained Qsim (TeQsim, pronounced tek'sim) algorithm combines the expressive power of these two paradigms by interleaving temporal logic model checking with qualitative simulation. Temporal logic is used to specify qualitative and quantitative trajectory information that is incorporated into the simulation to constrain and refine the resulting behaviors. Qualitative simulation constructs a set of possible behaviors consistent with a model of a dynamical system represented by a qualitative differential equation (QDE). The Qsi

    Nancy Clancy shame on you

    No full text
    Gift of Dr. Mary Jane Esplen.Piano vocal [instrumentation]Nancy Clancy was a maiden shy [first line]Nancy Clancy, shame on you! [first line of chorus]C [key]Moderato [tempo]Popular song [form/genre]Little boy watching couple kissing in hammock [illustration]IS Fisher [graphic artist]Publisher's advertisement on inside front and back cover [note

    Letter from Matthew C. Perry, in Norfolk, Virginia aboard the U.S. Steam Frigate Mississippi, to William J.W. Clancy, commanding U.S. Steam Frigate Powhattan, directing him on the route by which he shall sail to Macau (China). November 23, 1852.

    No full text
    Intructions from Mathew C. Perry to William J.W. Clancy regarding his voyage on the Powhattan to China. Perry directs Clancy to stop in Madeira to refuel and then again at the Cape of Good Hope, and again at Mauritius or Isle of France. Perry also discusses other details of the voyage. November 23, 1852. Norfolk, Virginia, abourd the U.S Mississippi.https://digitalcommons.wofford.edu/littlejohnmss/1208/thumbnail.jp

    delta-COP contains a helix C-terminal to its longin domain key to COPI dynamics and function.

    No full text
    Membrane recruitment of coatomer and formation of coat protein I (COPI)-coated vesicles is crucial to homeostasis in the early secretory pathway. The conformational dynamics of COPI during cargo capture and vesicle formation is incompletely understood. By scanning the length of delta-COP via functional complementation in yeast, we dissect the domains of the delta-COP subunit. We show that the mu-homology domain is dispensable for COPI function in the early secretory pathway, whereas the N-terminal longin domain is essential. We map a previously uncharacterized helix, C-terminal to the longin domain, that is specifically required for the retrieval of HDEL-bearing endoplasmic reticulum-luminal residents. It is positionally analogous to an unstructured linker that becomes helical and membrane-facing in the open form of the AP2 clathrin adaptor complex. Based on the amphipathic nature of the critical helix it may probe the membrane for lipid packing defects or mediate interaction with cargo and thus contribute to stabilizing membrane-associated coatomer

    Fighter wing a guided tour of an Air Force combat wing

    No full text
    New York Times bestselling author Tom Clancy takes readers on an inside tour of an Air Force combat wing--the planes, the technology, and the people--capturing the thrill of takeoff, the drama of a dogfight, and the relentless dangers which fighter pilots face every day of their lives. Exclusive photos, diagrams, and illustrations throughout

    The impact of methadone substitution therapy (MST) on illicit drug use and drug abuse-related quality of life: A European Study

    No full text
    Clancy was the lead researcher for this study and co-ordinator for the European sites. She also assisted in analysis of data, and writing sections of paper

    Overview of the 2019 open-source IR replicability challenge (OSIRRC 2019)

    No full text
    The Open-Source IR Replicability Challenge (OSIRRC 2019), organized as a workshop at SIGIR 2019, aims to improve the replicability of ad hoc retrieval experiments in information retrieval by gathering a community of researchers to jointly develop a common Docker specification and build Docker images that encapsulate a diversity of systems and retrieval models. We articulate the goals of this workshop and describe the "jig" that encodes the Docker specification. In total, 13 teams from around the world submitted 17 images, most of which were designed to produce retrieval runs for the TREC 2004 Robust Track test collection. This exercise demonstrates the feasibility of orchestrating large, community-based replication experiments with Docker technology. We envision OSIRRC becoming an ongoing community-wide effort to ensure experimental replicability and sustained progress on standard test collections.Web Information System

    Cittàslow. The Emilia-Romagna case

    No full text
    This chapter focuses on Cittaslow association, in order to see the importance of tourism in the choice of joining as well as the eventual impact on this sector. In the first part, the author considers some recent trends of global tourism and their effects on local development and hospitality policies. The second part focuses on Cittaslow in Italy and a preliminary investigation of certified cities in Emilia-Romagna; their territorial distribution, the importance of tourism for joining, and their measures to meet the requirements in hospitality policies. The third part examines the case of Santarcangelo di Romagna and the effects of Cittaslow membership on local tourism; the relation seems to be weak even if tourism has increased over the last years
    corecore