274 research outputs found
Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations
No full textthis 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
Recommended from our members
The CCCC-IP Annual: Top Intellectual Property Developments of 2015
No full textIntroduction to the 2015 Annual Clancy Ratliff, University of Louisiana at LafayetteWho's Failing Who? Six Questions To Consider Before Adopting the FI Grade Kristi Murray Costello, Arkansas State UniversityStamp of Authenticity: Using the Maya Angelou Forever Stamp To Explore Quotation and Authorship Steven Engel, Marygrove CollegeCatfishing, Authorship, and Plagiarism in First-Year Writing Kathrin Kottemann, South Louisiana Community ColllegeCultural Commentary and Fair Use: Bob Englehart, the Southern Poverty Law Center, and Two Flags Matthew Teutsch, University of Louisiana at LafayetteA Prince, Some Girls, and the Terms: A Canary in the Cave? Craig A. Meyer, Texas A&M University-KingsvilleDefeat Devices as Intellectual Property: A Retrospective Assessment from the DMCA Rulemaking William Duffy, University of MemphisHow Does the Rise of the 'Kilo-Author' Affect the Field of Composition and Rhetoric? Wendy Warren Austin, Southern New Hampshire UniversityAll She Had To Do Was Stay: How Apple Music Got Taylor Swift and Avoided Bad Blood Laurie Cubbison, Radford UniversityA Copyright Ruling Puts the "Happy" Back in Happy Birthday (and Brings an End to the Mortification of Restaurant Servers and Patrons) Kim Dian Gainer, Radford UniversityUnderstanding Open Access: When, Why & How To Make Your Work Openly Accessible Traci Zimmerman, James Madison Universit
Fighter wing a guided tour of an Air Force combat wing
No full textNew 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 Social Meaning of Variable Polite LEÍSMO in Mexico City
No full textThesis (Ph.D.) - Indiana University, Departments of Linguistics and Spanish & Portuguese, 2020Language is intricately complex and powerful. Even the smallest words, like the le pronoun in Spanish, are capable of meaning so much beyond their dictionary definition. This specific pronoun, roughly meaning a formal ‘you’, is found at the intersection of language, context, and society, with implications for understanding language and culture under the broader perspective of human behavior. This dissertation is the first variationist sociolinguistic study with experimental pragmatic component exploring the variable polite leísmo phenomenon in Spanish, focusing on the linguistic treatment of our various socially distant interlocutors. Furthermore, it is the first study to look at the production and perception of polite leísmo in interactive settings in search for its social meaning and value in Mexico City.
Due to the complex implications of the variation found with this pronoun as direct object (Aijón Oliva, 2006; Parodi, Luna & Helmer, 2012; RAE 2010), the study makes use of complementary theoretical and methodological approaches common to the areas of morphosyntax, pragmatics, and sociolinguistics. The multivariate conditioning of polite leísmo is statistically uncovered through carefully designed production and perception methods: 107 interactive role plays with diverse residents of Mexico City and 92 reports on contextualized perceptual acceptability of this linguistic variation.
Despite its relatively rare use (17%), polite leísmo is commonly perceived as acceptable (56%). It illustrates subtle morphosyntactic ambiguities capable of serving as multifunctional (face-enhancing and mitigating) politeness and social mobility projection tools. This is possible due to the multiple linguistic, contextual, and social factors that simultaneously condition its use and acceptability. Polite leísmo, then, is a half-conscious endeavor to reflect, reinforce, and redefine social relationships and the speaker’s identity within a community by softly signaling speaker’s background (predominantly female educated immigrants), intention (mitigate an imposition and enhance the interlocutor’s image), power dynamics (especially in subordinate positions), and strategic communication (offer and negotiate) through day-to-day speech acts
Cittàslow. The Emilia-Romagna case
No full textThis 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
Overview of the 2019 open-source IR replicability challenge (OSIRRC 2019)
No full textThe 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
Efficient design of precision medical robotics
No full textThesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2012.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (p. 106-114).Medical robotics is increasingly demonstrating the potential to improve patient care through more precise interventions. However, taking inspiration from industrial robotics has often resulted in large, sometimes cumbersome designs, which represent high capital and per procedure expenditures, as well as increased procedure times. This thesis proposes and demonstrates an alternative model and method for developing economical, appropriately scaled medical robots that improve care and efficiency, while moderating costs. Key to this approach is a structured design process that actively reduces complexity. A selected medical procedure is decomposed into discrete tasks which are then separated into those that are conducted satisfactorily and those where the clinician encounters limitations, often where robots' strengths would be complimentary. Then by following deterministic principles and with continual user participation, prototyping and testing, a system can be designed that integrates into and assists with current procedures, rather than requiring a completely new protocol. This model is expected to lay the groundwork for increasing the use of hands-on technology in interventional medicine.by Nevan Clancy Hanumara.Ph.D
Neutron Scattering Studies of Spin Glass Behaviour in LiNiO2
No full textTitle: Neutron Scattering Studies of Spin Glass Behaviour in LiNiO2, Author: James P. I. Clancy, Location: ThodeWe have performed time-of-flight neutron scattering measurements on two
polycrystalline samples of LiNiO2 using the Disk Chopper Spectrometer at the NIST
Center for Neutron Research. These measurements reveal an absence of magnetic
Bragg peaks, indicating a lack of magnetic order down to 1.7K. In addition, we observe
a significant narrowing in the width of the inelastic scattering at Tg ~ 9K, which
is accompanied by a simultaneous increase in the intensity of the elastic magnetic scattering.
This provides direct evidence of a spin glass transition at Tg, implying that
the low temperature magnetic state of LiNiO2 is composed of frozen, disordered moments.
Similar time-of-flight studies performed on NaNiO2 , the isostructural sister
compound of LiNiO2, have shown the existence of a simple magnetic structure below
TN ~ 23K, consisting of ferromagnetic sheets of spin 1/2 moments stacked in an
antiferromagnetic fashion [1]. From the distinct similarities observed between the
inelastic magnetic scattering in LiNiO2 and paramagnetic NaNiO2, it is implied that
the low |Q| spin response in LiNiO2 may originate from the collapse of short-lived
spin wave modes below the (0,0,1/2) position, the lowest wave vector of antiferromagnetic
ordering. It is suggested that inherent chemical disorder in LiNiO2, caused
by the substitution of Ni3+ and Li+ ions within the crystal structure, results in the
frustration of inter-layer magnetic interactions, thereby preventing the development
of a magnetically long range ordered state.ThesisMaster of Science (MS
The SIGIR 2019 Open-Source IR Replicability Challenge (OSIRRC 2019)
No full textWeb Information System
Cellular and Cytokine Correlates of Mucosal Protection in Murine Model of Oral Candidiasis
No full textHost protection against Candida albicans infection in a model of oral candidiasis involving infection-prone [DBA/2 (H-2d)] and less infection-prone [BALB/c (H-2d)] mouse strains was analyzed in terms of antibody and cellular responses, and in terms of cytokine patterns from regional lymph node cells. There was a selective expansion of g/d1 T-cell receptor cells, which correlated with the patterns of colonization in both mouse strains, with higher numbers of g/d T cells detected in BALB/c mice. Antigen-induced T-cell proliferation was significantly higher in BALB/c mice than in DBA/2 mice. Higher levels of serum immunoglobulin G (IgG) and salivary IgA antibodies were detected in BALB/c mice than in DBA/2 mice, but only after the infection was cleared. The cervical lymph node cells from infected mice were assessed for interleukin-4 (IL-4), IL-12, and gamma interferon (IFN-g) mRNA gene expression by reverse transcription-PCR and protein production in the culture supernatants following restimulation in vitro. In BALB/c mice, an early increase in levels of IL-4, IFN-g, and IL-12 correlated with rapid elimination of C. albicans. In DBA/2 mice, where resolution of infection was delayed, IL-4 message expression was delayed and the IL-4 secretion level was lower. Neutralization of IL-4 by multiple injections of an anti-IL-4 monoclonal antibody in BALB/c mice resulted in increased carriage rate and delayed clearance of the yeasts. Collectively, the data suggest that the T-cell response to C. albicans in the regional lymph nodes which correlates best with rapid oral clearance of C. albicans is a balanced Th0 cytokine response involving early secretion of both IFN-g and IL-4.
- …
