222 research outputs found
Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations
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
Recommended from our members
The CCCC-IP Annual: Top Intellectual Property Developments of 2015
Introduction 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
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
Quality of life meta‐analysis following coloanal anastomosis versus abdominoperineal resection for low rectal cancer
Aim: In low rectal cancers without sphincter involvement a permanent stoma can be avoided without compromising oncological safety. Functional outcomes following coloanal anastomosis (CAA) compared to abdominoperineal excision (APR) may be significantly different. This study examines all available comparative quality of life (QoL) data for patients undergoing CAA versus APR for low rectal cancer. Methods: Published studies with comparative data on QoL outcomes following CAA versus APR for low rectal cancer were extracted from electronic databases. The study was registered with PROSPERO and adhered to PRISMA (Preferred Reporting Items in Systematic Reviews and Meta-analyses) guidelines. Data was combined using random-effects models. Results: Seven comparative series examined QoL in 527 patients. There was no difference in the numbers receiving neoadjuvant radiotherapy in the APR and CAA groups (OR: 1.19, 95% CI: 0.78-1.81, p = 0.43). CAA was associated with higher mean scores for physical functioning(std mean diff -7.08, 95% CI: -11.92 to -2.25, p = 0.004) and body image (std. mean diff 11.11, 95% CI: 6.04-16.18, p < 0.0001). Male sexual problems were significantly increased in patients who had undergone APR compared to CAA (std. mean diff -16.20, 95% CI: -25.76 to -6.64, p = 0.0009). Patients who had an APR reported more fatigue, dyspnoea and appetite loss. Those who had a CAA reported higher scores for both constipation and diarrhoea. Discussion: It is reasonable to offer a CAA to motivated patients where oncological outcomes will not be threatened. QoL outcomes appear to be superior when intestinal continuity is maintained, and permanent stoma avoided.Aim In low rectal cancers without sphincter involvement a permanent stoma can be avoided without compromising oncological safety. Functional outcomes following coloanal anastomosis (CAA) compared to abdominoperineal excision (APR) may be significantly different. This study examines all available comparative quality of life (QoL) data for patients undergoing CAA versus APR for low rectal cancer. Methods Published studies with comparative data on QoL outcomes following CAA versus APR for low rectal cancer were extracted from electronic databases. The study was registered with PROSPERO and adhered to PRISMA (Preferred Reporting Items in Systematic Reviews and Meta-analyses) guidelines. Data was combined using random-effects models. Results Seven comparative series examined QoL in 527 patients. There was no difference in the numbers receiving neoadjuvant radiotherapy in the APR and CAA groups (OR: 1.19, 95% CI: 0.78-1.81, p = 0.43). CAA was associated with higher mean scores for physical functioning(std mean diff -7.08, 95% CI: -11.92 to -2.25, p = 0.004) and body image (std. mean diff 11.11, 95% CI: 6.04-16.18, p < 0.0001). Male sexual problems were significantly increased in patients who had undergone APR compared to CAA (std. mean diff -16.20, 95% CI: -25.76 to -6.64, p = 0.0009). Patients who had an APR reported more fatigue, dyspnoea and appetite loss. Those who had a CAA reported higher scores for both constipation and diarrhoea. Discussion It is reasonable to offer a CAA to motivated patients where oncological outcomes will not be threatened. QoL outcomes appear to be superior when intestinal continuity is maintained, and permanent stoma avoided
Exosomal microRNAs in colorectal cancer
Cancer cells have been shown to release a variety of extracellular membrane vesicles
including microvesicles known as exosomes. Exosomes have recently been found to
contain microRNAs (miRNAs) however the full range within colorectal cancer cell
secreted exosomes is unknown. Profiling exosomal miRNAs released by colorectal
cancer cells may provide valuable information on the pathogenesis of cancer and novel
miRNAs ideal for further investigation as biomarkers. As exosomes are
immunologically inert and easily cross physiological barriers, investigating the
potential for exosome mediated delivery of miRNAs may have exciting therapeutic
applications
Cittàslow. The Emilia-Romagna case
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
Overview of the 2019 open-source IR replicability challenge (OSIRRC 2019)
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
Efficient design of precision medical robotics
Thesis (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
Title: 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)
Web Information System
- …
