cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Integrated molecular profiles of invasive breast tumors and ductal carcinoma in situ (DCIS) reveal differential vascular and interleukin signaling
Creators: name: Helland, A.
name: Perou, C. M.
name: Sachidanandam, R.
name: Haakensen, V. D.
name: Kristensen, V. N.
name: Vaske, C. J.
name: Van Loo, P.
name: Troyanskaya, O. G.
name: Warnberg, F.
name: Nordgard, S. H.
name: Borresen-Dale, A.-L.
name: Ursini-Siegel, J.
name: Sorlie, T.
name: Haussler, D.
name: Naume, B.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: We use an integrated approach to understand breast cancer heterogeneity by modeling mRNA, copy number alterations, microRNAs, and methylation in a pathway context utilizing the pathway recognition algorithm using data integration on genomic models (PARADIGM). We demonstrate that combining mRNA expression and DNA copy number classified the patients in groups that provide the best predictive value with respect to prognosis and identified key molecular and stromal signatures. A chronic inflammatory signature, which promotes the development and/or progression of various epithelial tumors, is uniformly present in all breast cancers. We further demonstrate that within the adaptive immune lineage, the strongest predictor of good outcome is the acquisition of a gene signature that favors a high T-helper 1 (Th1)/cytotoxic T-lymphocyte response at the expense of Th2-driven humoral immunity. Patients who have breast cancer with a basal HER2-negative molecular profile (PDGM2) are characterized by high expression of protumorigenic Th2/humoral-related genes (24–38%) and a low Th1/Th2 ratio. The luminal molecular subtypes are again differentiated by low or high FOXM1 and ERBB4 signaling. We show that the interleukin signaling profiles observed in invasive cancers are absent or weakly expressed in healthy tissue but already prominent in ductal carcinoma in situ, together with ECM and cell-cell adhesion regulating pathways. The most prominent difference between low and high mammographic density in healthy breast tissue by PARADIGM was that of STAT4 signaling. In conclusion, by means of a pathway-based modeling methodology (PARADIGM) integrating different layers of molecular data from whole-tumor samples, we demonstrate that we can stratify immune signatures that predict patient survival.
title: Tecnoscienza – Italian Journal of Science & Technology Studies, Vol. 6 No. 2 (2015): Tecnoscienza Nr. 12
title: Tecnoscienza Nr. 12
titleType: AlternativeTitle
Creators: name: Tecnoscienza – Italian Journal Of Science & Technology Studies
Publisher: name: Tecnoscienza – Italian Journal of Science & Technology Studies
Year: 2016

description: SPECIAL ISSUE Maintenance and Repair in STS
description: Miguel Sicart, Play Matters, The MIT Press, 2014...184-186 Lisa Parks and Nicole Starosielski (eds.), Signal Traffic: Critical Studies of Media Infrastructures, University of Illinois Press, 2015...181-184 Patrick Forterre, Louis d'Hendecourt, Christophe Malaterre and Marie-Christine Maurel, From inert to living: a scientific and philosophical inquiry, La ville brûle Éditions, 2013...176-181 Daniela Crocetti, The invisible intersex: histories of medicalised bodies, Edizioni ETS, 2013...174-176 The Future as Practice. A Framework to Understand Anticipation in Science and Technology...135-172 A Transdisciplinary Gaze on Wireless Community Networks...113-134 Repair in Socio-technical Systems. The Repair of a Machine Breakdown that Turned into the Repair of a Shop...81-111 Instances of Failures, Maintenance, and Repair in Smart Driving...61-80 Reassembling Repair: of Maintenance Routine, Botched Jobs, and Situated Inquiry...41-60 Vulnerability Tests. Matters of “Care for Matter” in E-waste Practices...17-40 Maintenance & Repair in Science and Technology Studies...5-15 Dispatchwork (Cover’s Comment)
A Doxastic Characterisation of Autonomous Decisive Systems
Creators: name: Rakow, Astrid
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Multiagent Systems (cs.MA)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: A highly autonomous system (HAS) has to assess the situation it is in and derive beliefs, based on which, it decides what to do next. The beliefs are not solely based on the observations the HAS has made so far, but also on general insights about the world, in which the HAS operates. These insights have either been built in the HAS during design or are provided by trusted sources during its mission. Although its beliefs may be imprecise and might bear flaws, the HAS will have to extrapolate the possible futures in order to evaluate the consequences of its actions and then take its decisions autonomously. In this paper, we formalize an autonomous decisive system as a system that always chooses actions that it currently believes are the best. We show that it can be checked whether an autonomous decisive system can be built given an application domain, the dynamically changing knowledge base and a list of LTL mission goals. We moreover can synthesize a belief formation for an autonomous decisive system. For the formal characterization, we use a doxastic framework for safety-critical HASs where the belief formation supports the HAS's extrapolation.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Rechtsgrundlagen für Information zu Allergenen und Allergenmanagement
Creators: name: Kirchsteiger-Meier, Evelyn
Publisher: name: Rosenfluh
Year: 2023
Subjects: Lebensmittelrecht
Allergene
Allergenkennzeichnung
Verordnung des EDI betreffend die Information über Lebensmittel
LIV
Allergenmanagement
Code of practice on food allergen management for food business operators, CXC 80-2020
Codex Alimentarius
Stretto 4
344: Öffentliches Recht (CH), Arbeits-, Sozial-, Bildungs- und Kulturrecht

description: Seit dem 1. Mai 2017 ist in der Schweiz das totalrevidierte Lebensmittelrecht in Kraft. Als ein Vorteil des neuen Lebensmittelrechts wurde vom Bundesamt für Lebensmittelsicherheit und Veterinärwesen (BLV) der stärkere Konsumenten- und Täuschungsschutz aufgeführt, welcher unter anderem durch eine bessere Deklaration der Allergene im Offenverkauf erreicht werden sollte.
Im Rahmen der nächsten Revision des Lebensmittelverordnungsrechts (Projekt «Stretto 4») sind zudem Anpassungen und Ergänzungen im Bereich der Allergene vorgesehen. Aus diesen Gründen soll im Artikel eine grundlegende Übersicht über die rechtlichen Grundlagen für die Information zu Allergenen und zum Allergenmanagement dargestellt sowie eine Aussicht auf neue Entwicklungen gemacht werden. Der Fokus liegt hierbei auf dem schweizerischen Lebensmittelrecht, es werden aber auch Bezüge zum EU-Lebensmittelrecht hergestellt.
Maintenance of hormone responsiveness in luminal breast cancers by suppression of Notch
Creators: name: Harrell, J. C.
name: Haughian, J. M.
name: Tan, A. C.
name: Pinto, M. P.
name: Horwitz, K. B.
name: Joensuu, K. M.
name: Perou, C. M.
name: Bliesner, B. S.
name: Heikkila, P.
name: Dye, W. W.
name: Sartorius, C. A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: Luminal breast cancers express estrogen (ER) and/or progesterone (PR) receptors and respond to hormone therapies. Basal-like “triple negative” cancers lack steroid receptors but are cytokeratin (CK) 5-positive and require chemotherapy. Here we show that more than half of primary ER+PR+ breast cancers contain an ER−PR−CK5+ “luminobasal” subpopulation exceeding 1% of cells. Starting from ER+PR+ luminal cell lines, we generated lines with varying luminal to luminobasal cell ratios and studied their molecular and biological properties. In luminal disease, luminobasal cells expand in response to antiestrogen or estrogen withdrawal therapies. The phenotype and gene signature of the hormone-resistant cells matches that of clinical triple negative basal-like and claudin-low disease. Luminobasal cell expansion in response to hormone therapies is regulated by Notch1 signaling and can be blocked by γ-secretase inhibitors. Our data establish a previously unrecognized plasticity of ER+PR+ luminal breast cancers that, without genetic manipulation, mobilizes outgrowth of hormone-resistant basal-like disease in response to treatment. This undesirable outcome can be prevented by combining endocrine therapies with Notch inhibition.
GHS-DUG - Degree of Urbanisation Grid
Creators: name: Pesaresi, Martino
name: Florczyk, Aneta J.
name: Schiavina, Marcello
name: Melchiorri, Michele
name: Maffenini, Luca
Publisher: name: GEO Knowledge Hub
Year: 2022
Subjects: GHSL
Landsat 8
Land Cover
Urban
Settlement Model
Earth Observations Toolkit for Sustainable Cities and Human Settlements
Data Type: Thematic Fields
Format: Vector
Level: Global

description: What it is for ?  
The Degree of Urbanisation Grid (GHS-DUG) is a flexible tool to produce a geospatial settlement classification from a population grid, according to the Degree of Urbanisation (DEGURBA). It operationalises the method recommended by the 51st Session of the United Nations Statistical Commission to delineate cities, urban and rural areas (stage 1, grid classification) as defined by the Degree of Urbanisation Level 1 and 2.
It is part of the  GHS Layers  which are extensively used in in crisis management, as they are key variable in disaster alert system. GHSL area used also for disaster response as population density, provide insights on the population in need of emergency relief. Increasingly GHS layers are used to projecting future climate change impact by combining population projections with that of hazard impacts.
Urban planners use GHS layers to understand the built-environment within a city, and regional planners use GHS layers to assess the impact of the expansion of cities on other land covers. The layers also inform policy makers that assess the degree of urbanization in the respective countries, or urbanization trends across countries or across regions of interest. The spatial arrangement of built up and green areas within a city is used to quantify climate impact, quality of life in cities based on the amount of green area or the access to transport facilities.
Related materials
This resource is associated with the Earth Observations Toolkit for Sustainable Cities and Human Settlements. If you want to learn more about it, please, check the EO Toolkit portal (https://eotoolkit.unhabitat.org/), a place where you will find use cases, learning material, and many other tools and resources related to the Sustainable Development Goal 11 and New Urban Agenda.
title: Impacts of climate change on nutrient enrichment
Creators: name: Painting, Suzanne
name: Foden, Jo
name: Forster, Rodney
name: Van Der Molen, Johan
name: Aldridge, John
name: Best, Mike
name: Jonas, Peter
name: Hydes, David
name: Walsham, Pamela
name: Webster, Lynda
name: Gubbins, Matthew
name: Heath, Mike
name: McGovern, Evin
name: Vincent, Claire
name: Gowen, Richard
name: O'Boyle, Shane
Publisher: name: Marine Climate Change Impacts Partnership (MCCIP), Lowestoft, UK
Year: 2013

description: MCCIP Science Review 2013, 219-235
GEOGloWS - From Global to Local: A Streamflow Bias Correction for GEOGloWS ECMWF Streamflow Services
Creators: name: Sanchez-Lozano, Jorge Luis
name: Romero Bustamante, Giovanni
name: Nelson, Jim
name: P. Williams, Gustavious
name: Hales, Riley
name: P. Ames, Daniel
name: L Jones, Norman
Publisher: name: GEO Knowledge Hub
Year: 2022

description: Global model results often show biases at local scales or specific locations. While timing and other general parameters of a flood event may be correct, the actual magnitude of the event may be consistently higher or lower than the actual flows. These biased predictions prevent their use at a local scale because the bias can significantly affect the accuracy of a simulated flood event and, if incorrect, can cause decision-makers to lose confidence in models.
A bias correction method derived from the method presented by Farmer et al.(2018), which is based on the flow duration curve, has been proposed to correct the bias in the GEOGLoWS ECMWF simulated streamflow. First, the flow duration curve is calculated from thehistoric simulated timeseries and theobserved streamflow timeseries for each month. A flow duration curve shows the cumulative percent of time that any given discharge was exceeded during a given period. In the graphic below, the flow duration curves are shown on the right. Yellow is the original simulated data, blue is observed, and red is the simulated data after bias correction.
Using the flow duration curve, we can estimate the non-exceedance probability of every simulated value for each month. This is shown in the graphic as the top horizontal line, connecting the simulated data to the simulated flow duration curve.The vertical line shows that same non-exceedance probability on the observed data flow duration curve. We can then estimate the observed streamflow value that corresponds to that non-exceedance probability. Finally, we correct the simulated value by replacing it with the equivalent observed streamflow to the same non-exceedance probability, shown by the bottom horizontal line.
This Knowledge Package will show you how you can perform bias correction in the GEOGloWS Hydroviewer app. If you have observed streamflow data, you can add it to the bias correction tool through a csv file and view corrections for the simulated data within the app.
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
Creators: name: Pelletier, Baptiste
name: Lesire, Charles
name: Doose, David
name: Godary-Dejean, Karen
name: Dramé-Maigné, Charles
Publisher: name: arXiv
Year: 2022
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: The need for high-level autonomy and robustness of autonomous systems for missions in dynamic and remote environment has pushed developers to come up with new software architectures. A common architecture style is to summarize the capabilities of the robotic system into elementary actions, called skills, on top of which a skill management layer is implemented to structure, test and control the functional layer. However, current available verification tools only provide either mission-specific verification or verification on a model that does not replicate the actual execution of the system, which makes it difficult to ensure its robustness to unexpected events. To that end, a tool, SkiNet, has been developed to transform the skill-based architecture of a system into a Petri net modeling the state-machine behaviors of the skills and the resources they handle. The Petri net allows the use of model-checking, such as Linear Temporal Logic (LTL) or Computational Tree Logic (CTL), for the user to analyze and verify the model of the system.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Natural disasters and population mobility in Bangladesh
Creators: name: Mueller, V.
name: Gray, C. L.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: The consequences of environmental change for human migration have gained increasing attention in the context of climate change and recent large-scale natural disasters, but as yet relatively few large-scale and quantitative studies have addressed this issue. We investigate the consequences of climate-related natural disasters for long-term population mobility in rural Bangladesh, a region particularly vulnerable to environmental change, using longitudinal survey data from 1,700 households spanning a 15-y period. Multivariate event history models are used to estimate the effects of flooding and crop failures on local population mobility and long-distance migration while controlling for a large set of potential confounders at various scales. The results indicate that flooding has modest effects on mobility that are most visible at moderate intensities and for women and the poor. However, crop failures unrelated to flooding have strong effects on mobility in which households that are not directly affected but live in severely affected areas are the most likely to move. These results point toward an alternate paradigm of disaster-induced mobility that recognizes the significant barriers to migration for vulnerable households as well their substantial local adaptive capacity.
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Creators: name: Vázquez, Gricel
name: Calinescu, Radu
name: Cámara, Javier
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Multiagent Systems (cs.MA)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences
subject: I.2.11; D.4.1

description: We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions (KANOA). KANOA supports two important types of task constraints: task ordering, which requires the execution of several tasks in a specified order; and joint tasks, which indicates tasks that must be performed by more than one robot. To mitigate the complexity of robotic mission planning, KANOA handles the allocation of the mission tasks to robots, and the scheduling of the allocated tasks separately. To that end, the task allocation problem is formalised in first-order logic and resolved using the Alloy model analyzer, and the task scheduling problem is encoded as a Markov decision process and resolved using the PRISM probabilistic model checker. We illustrate the application of KANOA through a case study in which a heterogeneous robotic team is assigned a hospital maintenance mission.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Making EOSC Research Objects FAIR with RO-Crate: A common metadata overlay for EOSC repositories
Creators: name: Clark-Casey, Justin
name: Soiland-Reyes, Stian
Publisher: name: Zenodo
Year: 2022

description: EOSC strongly emphasises FAIR and interoperability, but current guidelines leave too many choices to each repository developer, which means lack of interoperability and little shared tooling. RO-Crate makes a common metadata overlay across established EOSC repositories and provides pragmatic step-by-step guidelines and software libraries for implementers. RO-Crate is a community-developed method to share Research Objects with FAIR metadata, based on Web standards and best practices. RO-Crate is now being established as a viable Linked Data realisation of FAIR Digital Objects, highlighted by the EOSC Interoperability Framework. In this talk we demonstrate how RO-Crate is used by multiple EU, US and Australian projects, across research domains from life sciences to cultural heritage. We show how RO-Crate helps researchers gather FAIR descriptions of heterogeneous resources in EOSC repositories, including computational workflows. RO-Crate gives flexibility for domain-specific extensions and re-use FAIR infrastructure in EOSC, e.g. PID services and semantic registries.
GEOGloWS - ECMWF Streamflow Model
Creators: name: European Centre for Medium-Range Weather Forecasts (ECMW)
name: National Oceanic and Atmospheric Administration (NOAA)
name: Centre national d'études spatiales (CNES)
name: National Aeronautics and Space Administration (NASA)
name: Environmental Systems Research Institute (ESRI)
name: Brigham Young University (BYU)
name: Work Bank (WB)
name: United States Agency For International Development (USAID)
name: International Centre for Integrated Mountain Development (ICIMOD)
name: Copernicus
name: Joint Research Centre (JRC)
name: Aquaveo, LLC
Publisher: name: GEO Knowledge Hub
Year: 2022

description: The GEOGloWS ECMWF Streamflow Model is a Hydrologic Model which provides forecasted and historically simulated river discharge. The model is built so that it can be accessed through web services, an approach we call Hydrologic Modeling as a Service (HMaaS). This approach centralizes the cyber-infrastructure, human capacity, and other components of hydrological modeling using the best meteorology and expertise from ECMWF, along with the latest advances in Information and Communication Technology (ICT). It is a reliable hydrological forecast information service, a disruptive technology that moves away from needing to replicate the modelling process, duplicate the underlying geographic and meteorology data, and provide computer, human, and financial resources locally.
The GEOGloWS global streamflow forecasting service allows local stakeholders to focus on solving water management problems such as flooding, drought, and water/food security issues by providing the water intelligence they need to make decisions. It also benefits the global economy by providing water intelligence to sectors that need to make high-risk investment decisions such as the insurance and reinsurance industries.
GEOGloWS helps to organize the international community engaged in the hydrologic sciences, observations, and forecasting. It provides a forum for government-to-government collaboration, and engagement with the academic and private sectors to achieve the delivery of actionable water information. Since the formal creation of the initiative in 2017, the most significant element of GEOGloWS has been the application of Earth Observations (EO) to create a system that forecasts flow on every river of the world while also providing a 40+ year simulated historical flow. This system is called the GEOGLoWS ECMWF Streamflow Services.
For more information about the GEOGloWS, please refer to the documentation: https://training.geoglows.org/en/latest/content/streamflow-model/model-components.html
Dynamic stabilization of an optomechanical oscillator
Creators: name: Seok, H.
name: Wright, E. M.
name: Meystre, P.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Quantum optomechanics offers the potential to investigate quantum effects in macroscopic quantum systems in extremely well controlled experiments. In this paper we discuss one such situation, the dynamic stabilization of a mechanical system such as an inverted pendulum. The specific example that we study is a "membrane in the middle" mechanical oscillator coupled to a cavity field via a quadratic optomechanical interaction, with cavity damping the dominant source of dissipation. We show that the mechanical oscillator can be dynamically stabilized by a temporal modulation of the radiation pressure force. We investigate the system both in the classical and quantum regimes highlighting similarities and differences.
Towards Adaptive Planning of Assistive-care Robot Tasks
Creators: name: Hamilton, Jordan
name: Stefanakos, Ioannis
name: Calinescu, Radu
name: Cámara, Javier
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: This 'research preview' paper introduces an adaptive path planning framework for robotic mission execution in assistive-care applications. The framework provides a graph-based environment modelling approach, with dynamic path finding performed using Dijkstra's algorithm. A predictive module that uses probabilistic model checking is applied to estimate the human's movement through the environment, allowing run-time re-planning of the robot's path. We illustrate the use of the framework for a simulated assistive-care case study in which a mobile robot navigates through the environment and monitors an end user with mild physical or cognitive impairments.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
title: Die mittelalterliche Klausur des Klosters Alpirsbach
title: Architektur und Reform
titleType: Subtitle
Creators: name: Weyer, Angela
Publisher: name: Landesamt für Denkmalpflege Baden-Württemberg
Year: 2001
Subjects: subject: Art history

description: Die Klausur des Benediktinerklosters Alpirsbach ist von drei großen Baumaßnahmen im 12., 14. und ausgehenden 15. Jahrhundert geprägt. Die wenigen mittelalterlichen Architekturelemente, die eine kunsthistorische Einordnung sinnvoll erscheinen lassen, erweisen sich – wie bereits das begrenzte Einzugsgebiet der Konventualen und ihr geringer monastischer und politischer Einfluß vermuten ließen – von südwestdeutschen Traditionen geprägt. Es konnten weder programmatische Übernahmen von Bauformen noch von der Disposition mittelalterlicher Klosterräume nachgewiesen werden. Für die deutsche Ordensbaukunst ist festzuhalten, dass der oftmals zugrunde gelegte „Idealplan“ des Benediktinerklosters ein zwar didaktisch nützliches, aber problematisches Schema darstellt, das die regional und historisch mitbedingte Entwicklung der klösterlichen Raumdisposition unberücksichtigt lässt und somit die zu einem gewissen Grad durchaus vorhandene Kontinuität im Klosterbau überbetont. Wie voreingenommen gängige Raumbenennungen oftmals sind, wie stark sie von der Dominanz des Ordensfaktors in der heutigen Forschung geprägt sein können, zeigt exemplarisch die typologische Einordnung der spätgotischen Marienkappelle mit Bibliothek. Für das Spätmittelalter ist – trotz schlechter Erforschung der zahlreichen Konventsbauten - ein Bezug zwischen Architektur und Klosterreform in den deutschen Benediktinerklöstern sehr wahrscheinlich: Die im Laufe der Zeit sehr unterschiedliche Einhaltung der von Benedikt geforderten Vita communis zeichnet sich bei der Gestaltung der monastischen Lebensräume, insbesondere Dormitorium und Refektorium, deutlich ab, derweil man bei den übernommenen Sakralbauten und Kapitelsäle gerne auf durchgreifende Umbauten verzichtete, oft nur den Chor neu baute, und den gewandelten Zeitgeschmack vielmehr in zeittypischer Ausstattung und Ausschmückung ausdrückte. Es handelt sich hierbei um die zum Druck auf Bitte der Herausgeber um 20% gekürzte Version. Die vollständige Version ist bei der arthistoricum.net publiziert.
Overexpressing mouse model demonstrates the protective role of Muc5ac in the lungs
Creators: name: Worthington, E. N.
name: Boucher, R. C.
name: Barbier, D.
name: Liesman, R. M.
name: Pickles, R. J.
name: Sallenave, J.-M.
name: O'Neal, W. K.
name: Ehre, C.
name: Grubb, B. R.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: MUC5AC, a major gel-forming mucin expressed in the lungs, is secreted at increased rates in response to infectious agents, implying that mucins exert a protective role against inhaled pathogens. However, epidemiological and pathological studies suggest that excessive mucin secretion causes airways obstruction and inflammation. To determine whether increased MUC5AC secretion alone produces airway obstruction and/or inflammation, we generated a mouse model overexpressing Muc5ac mRNA ∼20-fold in the lungs, using the rCCSP promoter. The Muc5ac cDNA was cloned from mouse lungs and tagged internally with GFP. Bronchoalveolar lavage fluid (BALF) analysis demonstrated an approximate 18-fold increase in Muc5ac protein, which formed high-molecular-weight polymers. Histopathological studies and cell counts revealed no airway mucus obstruction or inflammation in the lungs of Muc5ac-transgenic (Muc5ac-Tg) mice. Mucus clearance was preserved, implying that the excess Muc5ac secretion produced an “expanded” rather than more concentrated mucus layer, a prediction confirmed by electron microscopy. To test whether the larger mucus barrier conferred increased protection against pathogens, Muc5ac-Tg animals were challenged with PR8/H1N1 influenza viruses and showed significant decreases in infection and neutrophilic responses. Plaque assay experiments demonstrated that Muc5ac-Tg BALF and purified Muc5ac reduced infection, likely via binding to α2,3-linked sialic acids, consistent with influenza protection in vivo. In conclusion, the normal mucus transport and absence of a pulmonary phenotype in Muc5ac-Tg mice suggests that mucin hypersecretion alone is not sufficient to trigger luminal mucus plugging or airways inflammation/goblet cell hyperplasia. In contrast, increased Muc5ac secretion appears to exhibit a protective role against influenza infection.
Generating Safe Autonomous Decision-Making in ROS
Creators: name: Yang, Yi
name: Holvoet, Tom
Publisher: name: arXiv
Year: 2022
Subjects: subject: Multiagent Systems (cs.MA)
subject: Logic in Computer Science (cs.LO)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: The Robot Operating System (ROS) is a widely used framework for building robotic systems. It offers a wide variety of reusable packages and a pattern for new developments. It is up to developers how to combine these elements and integrate them with decision-making for autonomous behavior. The feature of such decision-making that is in general valued the most is safety assurance. In this research preview, we present a formal approach for generating safe autonomous decision-making in ROS. We first describe how to improve our existing static verification approach to verify multi-goal multi-agent decision-making. After that, we describe how to transition from the improved static verification approach to the proposed runtime verification approach. An initial implementation of this research proposal yields promising results.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Pulmonary infection by Yersinia pestis rapidly establishes a permissive environment for microbial proliferation
Creators: name: Goldman, W. E.
name: Jin, J.
name: Price, P. A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: Disease progression of primary pneumonic plague is biphasic, consisting of a preinflammatory and a proinflammatory phase. During the long preinflammatory phase, bacteria replicate to high levels, seemingly uninhibited by normal pulmonary defenses. In a coinfection model of pneumonic plague, it appears that Yersinia pestis quickly creates a localized, dominant anti-inflammatory state that allows for the survival and rapid growth of both itself and normally avirulent organisms. Yersinia pseudotuberculosis, the relatively recent progenitor of Y. pestis, shows no similar trans-complementation effect, which is unprecedented among other respiratory pathogens. We demonstrate that the effectors secreted by the Ysc type III secretion system are necessary but not sufficient to mediate this apparent immunosuppression. Even an unbiased negative selection screen using a vast pool of Y. pestis mutants revealed no selection against any known virulence genes, demonstrating the transformation of the lung from a highly restrictive to a generally permissive environment during the preinflammatory phase of pneumonic plague.
Extending Attack-Fault Trees with Runtime Verification
Creators: name: Cardoso, Rafael C.
name: Ferrando, Angelo
name: Fisher, Michael
Publisher: name: arXiv
Year: 2022
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from the hierarchical decomposition of RVAFTs. Our approach not only provides further use of AFTs, but also improves the process of instrumentation often required in runtime verification. We explain the principles and provide a simple case study demonstrating how RVAFTs can be used in practice. Through this we are also able to evaluate the detection of faults and attacks as well as assessing the computational overhead of the monitors.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Requirements of transcription factor Smad-dependent and -independent TGF-  signaling to control discrete T-cell functions
Creators: name: Lin, L.
name: Wan, Y. Y.
name: Wang, Y.
name: Gu, A.-D.
name: Zhang, S. S.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: TGF-β modulates immune response by suppressing non-regulatory T (Treg) function and promoting Treg function. The question of whether TGF-β achieves distinct effects on non-Treg and Treg cells through discrete signaling pathways remains outstanding. In this study, we investigated the requirements of Smad-dependent and -independent TGF-β signaling for T-cell function. Smad2 and Smad3 double deficiency in T cells led to lethal inflammatory disorder in mice. Non-Treg cells were spontaneously activated and produced effector cytokines in vivo on deletion of both Smad2 and Smad3. In addition, TGF-β failed to suppress T helper differentiation efficiently and to promote induced Treg generation of non-Treg cells lacking both Smad2 and Smad3, suggesting that Smad-dependent signaling is obligatory to mediate TGF-β function in non-Treg cells. Unexpectedly, however, the development, homeostasis, and function of Treg cells remained intact in the absence of Smad2 and Smad3, suggesting that the Smad-independent pathway is important for Treg function. Indeed, Treg-specific deletion of TGF-β–activated kinase 1 led to failed Treg homeostasis and lethal immune disorder in mice. Therefore, Smad-dependent and -independent TGF-β signaling discretely controls non-Treg and Treg function to modulate immune tolerance and immune homeostasis.
GEOGloWS - Validation of the GEOGloWS ECMWF Streamflow Services Historical Simulation
Creators: name: Brigham Young University (BYU)
Publisher: name: GEO Knowledge Hub
Year: 2022

description: This Knowledge Package presents how you can use your own local observations to evaluate the performance of the model for your rivers. The Streamflow Service generates historical simulated streamflow data from 1979-present, which is available through an API service.
Isochronous Spacetimes
Creators: name: Briscese, Fabio
name: Calogero, Francesco
Publisher: name: arXiv
Year: 2014
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The possibility has been recently demonstrated to manufacture (nonrelativistic, Hamiltonian) many-body problems which feature an isochronous time evolution with an arbitrarily assigned period $T$ yet mimic with good approximation, or even exactly, any given many-body problem (within a quite large class, encompassing most of nonrelativistic physics) over times $\tilde{T}$ which may also be arbitrarily large (but of course such that $\tilde{T}
description: Submitted to Acta Appl. Math
Revival of the abandoned therapeutic wortmannin by nanoparticle drug delivery
Creators: name: Chen, R. C.
name: Li, C.
name: Cummings, N. D.
name: Werner, M. E.
name: Sethi, M.
name: Wang, A. Z.
name: Wang, E. C.
name: Sukumar, R.
name: Pacold, M. E.
name: Karve, S.
name: Copp, J. A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: One of the promises of nanoparticle (NP) carriers is the reformulation of promising therapeutics that have failed clinical development due to pharmacologic challenges. However, current nanomedicine research has been focused on the delivery of established and novel therapeutics. Here we demonstrate proof of the principle of using NPs to revive the clinical potential of abandoned compounds using wortmannin (Wtmn) as a model drug. Wtmn is a potent inhibitor of phosphatidylinositol 3′ kinase-related kinases but failed clinical translation due to drug-delivery challenges. We engineered a NP formulation of Wtmn and demonstrated that NP Wtmn has higher solubility and lower toxicity compared with Wtmn. To establish the clinical translation potential of NP Wtmn, we evaluated the therapeutic as a radiosensitizer in vitro and in vivo. NP Wtmn was found to be a potent radiosensitizer and was significantly more effective than the commonly used radiosensitizer cisplatin in vitro in three cancer cell lines. The mechanism of action of NP Wtmn radiosensitization was found to be through the inhibition of DNA-dependent protein kinase phosphorylation. Finally, NP Wtmn was shown to be an effective radiosensitizer in vivo using two murine xenograft models of cancer. Our results demonstrate that NP drug-delivery systems can promote the readoption of abandoned drugs such as Wtmn by overcoming drug-delivery challenges.
Verifying Safety of Behaviour Trees in Event-B
Creators: name: Tadiello, Matteo
name: Troubitsyna, Elena
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Behavior Trees (BT) are becoming increasingly popular in the robotics community. The BT tool is well suited for decision-making applications allowing a robot to perform complex behavior while being explainable to humans as well. Verifying that BTs used are well constructed with respect to safety and reliability requirements is essential, especially for robots operating in critical environments. In this work, we propose a formal specification of Behavior Trees and a methodology to prove invariants of already used trees, while keeping the complexity of the formalization of the tree simple for the final user. Allowing the possibility to test the particular instance of the behavior tree without the necessity to know the more abstract levels of the formalization.
description: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
GEOGloWS - From Global to Local: Validating Forecast Flood Events from GEOGloWS ECMWF Streamflow Services
Creators: name: Sanchez-Lozano, Jorge Luis
name: Gutierrez-Magness, Angelica
name: Nelson, Jim
name: Givati, Amir
name: Conda, Manuel
Publisher: name: GEO Knowledge Hub
Year: 2022

description: The GEOGloWS ECMWF Streamflow Services (GESS) is a Global Streamflow Prediction Service that uses the ECMWF ensemble meteorological forecasting system, which consists of:

1 high-resolution member with spatial resolution of 9 km for 10 days. The temporal resolution for this high-resolution member is 1 hour for the first 4 days (days 1 – 4), 3 hours for the next 2 days (days 5-6), and 6 hours for the final 4 days (days 7-10);
51 members with a spatial resolution of 18 km for the first 10 days (days 1 – 10), and 36km for the next 5 days (days 11 to 15). The temporal resolution for these members is 3 hours for the first 6 days (days 1 – 6) and 6 hours for the next 9 days (days 7-15).
This ensemble is converted to surface runoff using the Hydrology Tiled ECMWF Scheme for Surface Exchanges over Land (HTESSEL) model. After that, an area-weighted grid-to-vector downscaling is performed for the runoff. GESS computes this cumulative runoff volume at each time step as an incremental contribution for each sub-basin. The Routing Application for Parallel computation of Discharge (RAPID) model is then used to route these inputs through the stream network (Qiao et al., 2019; Snow et al., 2016).
By comparing observed data with simulated forecasts for any flood event where the GESS model is available, it is possible to determine how accurately the forecast predicted a high flow event and how many days in advance the model captured the event. Previous results have shown that the GESS forecast can capture high flood events at least 5 days in advance. Unfortunately, the model cannot capture the flow regulations made by the hydraulic structures, or high floods due to local high-intensity precipitation events.
This Knowledge Package will show you how to validate the GEOGloWS ECMWF Streamflow Services short-term forecast in any flood event in any place in the world.
Adma-GAN: Attribute-Driven Memory Augmented GANs for Text-to-Image Generation
Creators: name: Wu, Xintian
name: Zhao, Hanbin
name: Zheng, Liangli
name: Ding, Shouhong
name: Li, Xi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: As a challenging task, text-to-image generation aims to generate photo-realistic and semantically consistent images according to the given text descriptions. Existing methods mainly extract the text information from only one sentence to represent an image and the text representation effects the quality of the generated image well. However, directly utilizing the limited information in one sentence misses some key attribute descriptions, which are the crucial factors to describe an image accurately. To alleviate the above problem, we propose an effective text representation method with the complements of attribute information. Firstly, we construct an attribute memory to jointly control the text-to-image generation with sentence input. Secondly, we explore two update mechanisms, sample-aware and sample-joint mechanisms, to dynamically optimize a generalized attribute memory. Furthermore, we design an attribute-sentence-joint conditional generator learning scheme to align the feature embeddings among multiple representations, which promotes the cross-modal network training. Experimental results illustrate that the proposed method obtains substantial performance improvements on both the CUB (FID from 14.81 to 8.57) and COCO (FID from 21.42 to 12.39) datasets.
Dumb-bell-shaped equilibrium figures for fiducial contact-binary asteroids and EKBOs
Creators: name: Descamps, Pascal
Publisher: name: arXiv
Year: 2014
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: In this work, we investigate the equilibrium figures of a dumb-bell-shaped sequence with which we are still not well acquainted. Studies have shown that these elongated and nonconvex figures may realistically replace the classic "Roche binary approximation" for modeling putative peanut-shaped or contact binary asteroids. The best-fit dumb-bell shapes, combined with the known rotational period of the objects, provide estimates of the bulk density of these objects. This new class of mathematical figures has been successfully tested on the observed light curves of three noteworthy small bodies: main-belt asteroid 216 Kleopatra, Trojan asteroid 624 Hektor and Edgeworth-Kuiper-belt object 2001 QG298. Using the direct observations of Kleopatra and Hektor obtained with high spatial resolution techniques and fitting the size of the dumb-bell-shaped solutions, we derived new physical characteristics in terms of equivalent radius and bulk density. In particular, the growing inadequacy of the radar shape model for interpreting any type of observations of Kleopatra (light curves, AO images, stellar occultations) in a satisfactory manner suggests that Kleopatra is more likely to be a dumb-bell-shaped object than a "dog-bone".
description: 60 pages, 16 figures
Sensitization of ultra-long-range excited-state electron transfer by energy transfer in a polymerized film
Creators: name: Meyer, T. J.
name: Ito, A.
name: Stewart, D. J.
name: Brennaman, M. K.
name: Fang, Z.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: Distance-dependent energy transfer occurs from the Metal-to-Ligand Charge Transfer (MLCT) excited state to an anthracene-acrylate derivative (Acr-An) incorporated into the polymer network of a semirigid poly(ethyleneglycol)dimethacrylate monolith. Following excitation, to Acr-An triplet energy transfer occurs followed by long-range, Acr-3An—Acr-An → Acr-An—Acr-3An, energy migration. With methyl viologen dication (MV2+) added as a trap, Acr-3An + MV2+ → Acr-An+ + MV+ electron transfer results in sensitized electron transfer quenching over a distance of approximately 90 Å.
title: Examining the transitional experiences of international students studying in Westcoast (BC) Canada
Creators: name: Bamgboye, Toyosi
Publisher: name: Memorial University of Newfoundland
Year: 2023

description: Drawing upon previous research around the transitional experiences of international students studying abroad, this research examines the transitional experiences of African International students studying in British Columbia, Canada. These transitional experiences could be cultural, academic, social, or financial. The main aim of this research is to investigate transitional experiences and to give the participants a voice. I interviewed six African undergraduate students regarding their transitional experiences while studying in British Columbia using a case study methodology. This research shows that all six of the students were concerned about their experiences in British Columbia, including at the university, and discusses potential remedies for future incoming students. The students’ stories communicated that current deficiencies hinder students’ ability to transition appropriately to their environment. This research aims to increase awareness among universities, educators, and society about the circumstances that adversely affect African international students studying in British Columbia by exploring these inadequacies.
Model Complete Expansions of the Real Field by Modular Functions and Forms
Creators: name: Bianconi, Ricardo
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03C10 03C64 11F03 14H52 14K20 33E05

description: We prove a strong form of model completenes for expansions of the field of real numbers by (the real and imaginary parts of) the modular function J, by the modular forms $E_4$ and $E_6$ and quasimodular form $E_2$ defined in the usual fundamental domain, and the restricted sine function and the (unrestricted) exponential function. This is done using ideas of Peterzil and Starchenko's paper \cite{peterzil-starchenko-wp2004} on the uniform definability of $\wp$ function in $\mathbb{R}_{\mathit{an}}$ (and of the modular function $J$). In the conclusion we pose some open problems related to this work.
description: 14 pages, 1 figure
The three-body parameter for Efimov states in lithium-6
Creators: name: Huang, Bo
name: O'Hara, Kenneth M.
name: Grimm, Rudolf
name: Hutson, Jeremy M.
name: Petrov, Dmitry S.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a state-of-the-art reanalysis of experimental results on Efimov resonances in the three-fermion system of $^6$Li. We discuss different definitions of the 3-body parameter (3BP) for Efimov states, and adopt a definition that excludes effects due to deviations from universal scaling for low-lying states. We develop a finite-temperature model for the case of three distinguishable fermions and apply it to the excited-state Efimov resonance to obtain the most accurate determination to date of the 3BP in an atomic three-body system. Our analysis of ground-state Efimov resonances in the same system yields values for the three-body parameter that are consistent with the excited-state result. Recent work has suggested that the reduced 3BP for atomic systems is a near-universal quantity, almost independent of the particular atom involved. However, the value of the 3BP obtained for $^6$Li is significantly ($\sim 20$%) different from that previously obtained from the excited-state resonance in Cs. The difference between these values poses a challenge for theory.
description: 4 figures