155 research outputs found
Robust Multi-Agent Coordination from CaTL+ Specifications
We consider the problem of controlling a heterogeneous multi-agent system
required to satisfy temporal logic requirements. Capability Temporal Logic
(CaTL) was recently proposed to formalize such specifications for deploying a
team of autonomous agents with different capabilities and cooperation
requirements. In this paper, we extend CaTL to a new logic CaTL+, which is more
expressive than CaTL and has semantics over a continuous workspace shared by
all agents. We define two novel robustness metrics for CaTL+: the traditional
robustness and the exponential robustness. The latter is sound, differentiable
almost everywhere and eliminates masking, which is one of the main limitations
of the traditional robustness metric. We formulate a control synthesis problem
to maximize CaTL+ robustness and propose a two-step optimization method to
solve this problem. Simulation results are included to illustrate the increased
expressivity of CaTL+ and the efficacy of the proposed control synthesis
approach.Comment: Submitted to ACC 202
Recommended from our members
Tribocorrosion behavior of β-type Ti-Nb-Ga alloys in a physiological solution
Tribo-electrochemical behavior in physiological solution of two β-type (100-x)(Ti-45Nb)-xGa (x = 4, 8 wt%) alloys, alongside β-Ti-45Nb and medical grade Ti-6Al-4V ELI, was investigated. Microstructure and mechanical behavior were evaluated by X-ray diffraction, microhardness and ultrasonic method. Tribocorrosion tests (open circuit potential, anodic potentiostatic tests) were performed using a reciprocating pin-on-disk tribometer under constant load. Degradation mechanisms are similar for the alloys: plastic deformation, delamination, abrasive and adhesive wear. Among the β-Ti-Nb alloys, an improved wear resistance with lower damage was remarked for β-92(Ti-45Nb)-8Ga alloy, attributed to increased microhardness. Content of Ga3+ ions released in the test solutions were found to be in very low amounts (few ppb). Addition of Ga to Ti-45Nb resulted in improved corrosion resistance under mechanical loading
ACC/AHA/SCAI/AMA–Convened PCPI/NCQA 2013 Performance Measures for Adults Undergoing Percutaneous Coronary Intervention A Report of the American College of Cardiology/American Heart Association Task Force on Performance Measures, the Society for Cardiovascular Angiography and Interventions, the American Medical Association–Convened Physician Consortium for Performance Improvement, and the National Committee for Quality Assurance
Journal of the American College of Cardiology Ó 2014 by the American College of Cardiology Foundation, American Heart Association, Inc., American Medical Association, and National Committee for Quality Assurance Published by Elsevier Inc. Vol. 63, No. 7, 2014 ISSN 0735-1097/$36.00 http://dx.doi.org/10.1016/j.jacc.2013.12.003 PERFORMANCE MEASURES ACC/AHA/SCAI/AMA–Convened PCPI/NCQA 2013 Performance Measures for Adults Undergoing Percutaneous Coronary Intervention A Report of the American College of Cardiology/American Heart Association Task Force on Performance Measures, the Society for Cardiovascular Angiography and Interventions, the American Medical Association–Convened Physician Consortium for Performance Improvement, and the National Committee for Quality Assurance Developed in Collaboration With the American Association of Cardiovascular and Pulmonary Rehabilitation and Mended Hearts Endorsed by the American Association of Cardiovascular and Pulmonary Rehabilitation and Mended Hearts WRITING COMMITTEE MEMBERS Brahmajee K. Nallamothu, MD, MPH, FACC, FAHA, Co-Chair*; Carl L. Tommaso, MD, FACC, FAHA, FSCAI, Co-Chairy; H. Vernon Anderson, MD, FACC, FAHA, FSCAI*; Jeffrey L. Anderson, MD, FACC, FAHA, MACP*; Joseph C. Cleveland, J R , MDz; R. Adams Dudley, MD, MBA; Peter Louis Duffy, MD, MMM, FACC, FSCAIy; David P. Faxon, MD, FACC, FAHA*; Hitinder S. Gurm, MD, FACC; Lawrence A. Hamilton, Neil C. Jensen, MHA, MBA; Richard A. Josephson, MD, MS, FACC, FAHA, FAACVPRx; David J. Malenka, MD, FACC, FAHA*; Calin V. Maniu, MD, FACC, FAHA, FSCAIy; Kevin W. McCabe, MD; James D. Mortimer, Manesh R. Patel, MD, FACC*; Stephen D. Persell, MD, MPH; John S. Rumsfeld, MD, PhD, FACC, FAHAjj; Kendrick A. Shunk, MD, PhD, FACC, FAHA, FSCAI*; Sidney C. Smith, J R , MD, FACC, FAHA, FACP{; Stephen J. Stanko, MBA, BA, AA#; Brook Watts, MD, MS *ACC/AHA Representative. ySociety of Cardiovascular Angiography and Interventions Representative. zSociety of Thoracic Surgeons Representative. xAmerican Association of Cardiovascular and Pulmonary Rehabilitation Representative. kACC/AHA Task Force on Performance Measures Liaison. {National Heart Lung and Blood Institute Representative. #Mended Hearts Representative. The measure specifications were approved by the American College of Cardiology Board of Trustees, American Heart Association Science Advisory and Coordinating Committee, in January 2013 and the American Medical Association–Physician Consortium for Performance Improvement in February 2013. This document was approved by the American College of Cardiology Board of Trustees and the American Heart Association Science Advisory and Coordinating Committee in October 2013, and the Society of Cardiovascular Angiography and Interventions in December 2013. The American College of Cardiology requests that this document be cited as follows: Nallamothu BK, Tommaso CL, Anderson HV, Anderson JL, Cleveland JC, Dudley RA, Duffy PL, Faxon DP, Gurm HS, Hamilton LA, Jensen NC, Josephson RA, Malenka DJ, Maniu CV, McCabe KW, Mortimer JD, Patel MR, Persell SD, Rumsfeld JS, Shunk KA, Smith SC, Stanko SJ, Watts B. ACC/AHA/SCAI/AMA–Convened PCPI/NCQA 2013 perfor- mance measures for adults undergoing percutaneous coronary intervention: a report of the American College of Cardiology/American Heart Association Task Force on Performance Measures, the Society for Cardiovascular Angiography and Interventions, the American Medical Association–Convened Physician Consortium for Performance Improvement, and the National Committee for Quality Assurance. J Am Coll Cardiol 2014;63:722–45. This article has been copublished in Circulation. Copies: This document is available on the World Wide Web sites of the American College of Cardiology (www.cardiosource.org) and the American Heart Asso- ciation (http://my.americanheart.org). For copies of this document, please contact Elsevier Inc. Reprint Department, fax (212) 633-3820, e-mail [email protected]. Permissions: Multiple copies, modification, alteration, enhancement, and/or distribution of this document are not permitted without the express permission of the American College of Cardiology. Requests may be completed online via the Elsevier site (http://www.elsevier.com/authors/obtaining- permission-to-re-use-elsevier-material). This Physician Performance Measurement Set (PPMS) and related data specifications were developed by the Physician Consortium for Performance Improvement (the Consortium), including the American College of Cardiology (ACC), the American Heart Association (AHA), and the American Medical Association (AMA), to facilitate quality-improvement activities by physicians. The performance measures contained in this PPMS are not clinical guidelines, do not establish a standard of medical care, and have not been tested for all potential applications. Although copyrighted, they can be reproduced and distributed, without modification, for noncommercial purposesdfor example, use by health care pro
Discovery of Novel Human Breast Cancer MicroRNAs from Deep Sequencing Data by Analysis of Pri-MicroRNA Secondary Structures
MicroRNAs (miRNAs) are key regulators of gene expression and contribute to a
variety of biological processes. Abnormal miRNA expression has been reported in
various diseases including pathophysiology of breast cancer, where they regulate
protumorigenic processes including vascular invasiveness, estrogen receptor
status, chemotherapy resistance, invasion and metastasis. The miRBase sequence
database, a public repository for newly discovered miRNAs, has grown rapidly
with approximately >10,000 entries to date. Despite this rapid growth, many
miRNAs have not yet been validated, and several others are yet to be identified.
A lack of a full complement of miRNAs has imposed limitations on recognizing
their important roles in cancer, including breast cancer. Using deep sequencing
technology, we have identified 189 candidate novel microRNAs in human breast
cancer cell lines with diverse tumorigenic potential. We further show that
analysis of 500-nucleotide pri-microRNA secondary structure constitutes a
reliable method to predict bona fide miRNAs as judged by experimental
validation. Candidate novel breast cancer miRNAs with stem lengths of greater
than 30 bp resulted in the generation of precursor and mature sequences
in vivo. On the other hand, candidates with stem length
less than 30 bp were less efficient in producing mature miRNA. This approach may
be used to predict which candidate novel miRNA would qualify as bona fide miRNAs
from deep sequencing data with approximately 90% accuracy
Anti–miR-93-5p therapy prolongs sepsis survival by restoring the peripheral immune response
Sepsis remains a leading cause of death for humans and currently has no pathogenesis-specific therapy. Hampered
progress is partly due to a lack of insight into deep mechanistic processes. In the past decade, deciphering the functions
of small noncoding miRNAs in sepsis pathogenesis became a dynamic research topic. To screen for new miRNA targets
for sepsis therapeutics, we used samples for miRNA array analysis of PBMCs from patients with sepsis and control
individuals, blood samples from 2 cohorts of patients with sepsis, and multiple animal models: mouse cecum ligation
puncture–induced (CLP-induced) sepsis, mouse viral miRNA challenge, and baboon Gram+
and Gram–
sepsis models.
miR-93-5p met the criteria for a therapeutic target, as it was overexpressed in baboons that died early after induction of
sepsis, was downregulated in patients who survived after sepsis, and correlated with negative clinical prognosticators for
sepsis. Therapeutically, inhibition of miR-93-5p prolonged the overall survival of mice with CLP-induced sepsis, with a
stronger effect in older mice. Mechanistically, anti–miR-93-5p therapy reduced inflammatory monocytes and increased
circulating effector memory T cells, especially the CD4+
subset. AGO2 IP in miR-93–KO T cells identified important
regulatory receptors, such as CD28, as direct miR-93-5p target genes. In conclusion, miR-93-5p is a potential therapeutic
target in sepsis through the regulation of both innate and adaptive immunity, with possibly a greater benefit for elderly
patients than for young patients
Bradykinin and adenosine receptors mediate desflurane induced postconditioning in human myocardium: role of reactive oxygen species
BACKGROUND:
Desflurane during early reperfusion has been shown to postcondition human myocardium, in vitro. We investigated the role of adenosine and bradykinin receptors, and generation of radical oxygen species in desflurane-induced postconditioning in human myocardium.
METHODS:
We recorded isometric contraction of human right atrial trabeculae hanged in an oxygenated Tyrode's solution (34 degrees Celsius, stimulation frequency 1 Hz). After a 30-min hypoxic period, desflurane 6% was administered during the first 5 min of reoxygenation. Desflurane was administered alone or with pretreatment of N-mercaptopropionylglycine, a reactive oxygen species scavenger, 8-(p-Sulfophenyl)theophylline, an adenosine receptor antagonist, HOE140, a selective B2 bradykinin receptor antagonist. In separate groups, adenosine and bradykinin were administered during the first minutes of reoxygenation alone or in presence of N-mercaptopropionylglycine. The force of contraction of trabeculae was recorded continuously. Developed force at the end of a 60-min reoxygenation period was compared (mean +/- standard deviation) between the groups by a variance analysis and post hoc test.
RESULTS:
Desflurane 6% (84 +/- 6% of baseline) enhanced the recovery of force after 60-min of reoxygenation as compared to control group (51 +/- 8% of baseline, P < 0.0001). N-mercaptopropionylglycine (54 +/- 3% of baseline), 8-(p-Sulfophenyl)theophylline (62 +/- 9% of baseline), HOE140 (58 +/- 6% of baseline) abolished desflurane-induced postconditioning. Adenosine (80 +/- 9% of baseline) and bradykinin (83 +/- 4% of baseline) induced postconditioning (P < 0.0001 vs control), N-mercaptopropionylglycine abolished the beneficial effects of adenosine and bradykinin (54 +/- 8 and 58 +/- 5% of baseline, respectively).
CONCLUSIONS:
In vitro, desflurane-induced postconditioning depends on reactive oxygen species production, activation of adenosine and bradykinin B2 receptors. And, the cardioprotective effect of adenosine and bradykinin administered at the beginning of reoxygenation, was mediated, at least in part, through ROS production
Evaluation of a new high-dimensional miRNA profiling platform
<p>Abstract</p> <p>Background</p> <p>MicroRNAs (miRNAs) are a class of approximately 22 nucleotide long, widely expressed RNA molecules that play important regulatory roles in eukaryotes. To investigate miRNA function, it is essential that methods to quantify their expression levels be available.</p> <p>Methods</p> <p>We evaluated a new miRNA profiling platform that utilizes Illumina's existing robust DASL chemistry as the basis for the assay. Using total RNA from five colon cancer patients and four cell lines, we evaluated the reproducibility of miRNA expression levels across replicates and with varying amounts of input RNA. The beta test version was comprised of 735 miRNA targets of Illumina's miRNA profiling application.</p> <p>Results</p> <p>Reproducibility between sample replicates within a plate was good (Spearman's correlation 0.91 to 0.98) as was the plate-to-plate reproducibility replicates run on different days (Spearman's correlation 0.84 to 0.98). To determine whether quality data could be obtained from a broad range of input RNA, data obtained from amounts ranging from 25 ng to 800 ng were compared to those obtained at 200 ng. No effect across the range of RNA input was observed.</p> <p>Conclusion</p> <p>These results indicate that very small amounts of starting material are sufficient to allow sensitive miRNA profiling using the Illumina miRNA high-dimensional platform. Nonlinear biases were observed between replicates, indicating the need for abundance-dependent normalization. Overall, the performance characteristics of the Illumina miRNA profiling system were excellent.</p
A search for resonances decaying into a Higgs boson and a new particle X in the XH→qqbb final state with the ATLAS detector
A search for heavy resonances decaying into a Higgs boson () and a new particle () is reported, utilizing 36.1 fb of proton-proton collision data at 13 TeV collected during 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider. The particle is assumed to decay to a pair of light quarks, and the fully hadronic final state is analysed. The search considers the regime of high resonance masses, where the and bosons are both highly Lorentz-boosted and are each reconstructed using a single jet with large radius parameter. A two-dimensional phase space of mass versus mass is scanned for evidence of a signal, over a range of resonance mass values between 1 TeV and 4 TeV, and for particles with masses from 50 GeV to 1000 GeV. All search results are consistent with the expectations for the background due to Standard Model processes, and 95% CL upper limits are set, as a function of and masses, on the production cross-section of the resonance
The psychological science accelerator’s COVID-19 rapid-response dataset
In response to the COVID-19 pandemic, the Psychological Science Accelerator coordinated three large-scale psychological studies to examine the effects of loss-gain framing, cognitive reappraisals, and autonomy framing manipulations on behavioral intentions and affective measures. The data collected (April to October 2020) included specific measures for each experimental study, a general questionnaire examining health prevention behaviors and COVID-19 experience, geographical and cultural context characterization, and demographic information for each participant. Each participant started the study with the same general questions and then was randomized to complete either one longer experiment or two shorter experiments. Data were provided by 73,223 participants with varying completion rates. Participants completed the survey from 111 geopolitical regions in 44 unique languages/dialects. The anonymized dataset described here is provided in both raw and processed formats to facilitate re-use and further analyses. The dataset offers secondary analytic opportunities to explore coping, framing, and self-determination across a diverse, global sample obtained at the onset of the COVID-19 pandemic, which can be merged with other time-sampled or geographic data
- …