cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Electronic Communications of the EASST, Vol. 72 (2015): Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
title: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2015

description: Permissive strategies in timed automata and games
State Distribution Policy for Distributed Model Checking of Actor Models
Distributed Verification of Rare Properties using Importance Splitting Observers
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Model-based WCET Analysis with Invariants
First-order logic for safety verification of hedge rewriting systems
Studying Verification Conditions for Imperative Programs
Automated Verification of Asynchronous Communicating Systems with TLA+
Loop Patterns in C Programs
Approximate Active Learning of Nondeterministic Input Output Transition Systems
Transforming Event-B Models to Dafny Contracts
Conditional Lemma Discovery and Recursion Induction in Hipster
Computing Bounds for Counter Automata
Estimating Rewards & Rare Events in Nondeterministic Systems
ThreadSafe: Static Analysis for Java Concurrency
Verifying Critical Cyber-Physical Systems After Deployment
Preface
Additional file 1: of The effects of an acute bout of exercise on neural activity in alcohol and cocaine craving: study protocol for a randomised controlled trial
Creators: name: Colledge, Flora
name: Ludyga, Sebastian
name: MĂźcke, Manuel
name: PĂźhse, Uwe
name: Gerber, Markus
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Medicine
subject: Biotechnology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: SPIRIT 2013 checklist: recommended items to address in a clinical trial protocol and related documents (DOC 124 kb)
On Uniqueness of the Jump Process in Quantum Measurement Theory
Creators: name: Jadczyk, A.
name: Kondrat, G.
name: -, R. Olkiewicz
Publisher: name: arXiv
Year: 1995
Subjects: subject: Quantum Physics (quant-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We prove that, contrary to the standard quantum theory of continuous observation, in the formalism of Event Enhanced Quantum Theory the stochastic process generating individual sample histories of pairs (observed quantum system, observing classical apparatus) is unique. This result gives a rigorous basis to the previous heuristic argument of Blanchard and Jadczyk. Possible implications of this result are discussed.
description: 31 pages, LaTeX, article; e-mail contact ajad@ift.uni.wroc.pl
Monte Carlo Study of Ferromagnetism in (III,Mn)V Semiconductors
Creators: name: Schliemann, John
name: König, Jürgen
name: MacDonald, A. H.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We report on Monte Carlo studies of the kinetic exchange model for (III,Mn)V ferromagnetic semiconductors in which S=5/2 local moments, representing Mn^{2+} ions, are exchange coupled to band electrons. We treat the Mn^{2+}$ spin orientations as classical degrees of freedom and use the Hybrid Monte Carlo algorithm to explore thermodynamically important Mn spin configurations. The critical temperature T_c of the model is unambiguously signalled in our finite-size simulations by pronounced peaks in fluctuations of both Mn and band carrier total spins. The T_c's we obtain are, over much of the model's parameter space, substantially smaller than those estimated using mean-field theory. When mean-field theory fails, short-range magnetic order and finite {\em local} carrier spin polarisation are present for temperatures substantially larger than T_{c}. For the simplest version of the model, which has a single parabolic band with effective mass m^*, the dependence of T_{c} on m^* is sublinear at large masses, in disagreement with the mean-field theory result T_{c} \propto m^*. For the carrier densities studied, results obtained with a six-band Luttinger model band Hamiltonian are in good agreement with those obtained for a model with a single parabolic band whose effective mass is equal to the Kohn-Luttinger model heavy-hole mass.
description: 12 pages, 9 figures included, version to be published in Phys. Rev. B
Device-independent detection of genuine multipartite entanglement for all pure states
Creators: name: Zwerger, M.
name: Dür, W.
name: Bancal, J. -D.
name: Sekatski, P.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We show that genuine multipartite entanglement of all multipartite pure states in arbitrary finite dimension can be detected in a device-independent way by employing bipartite Bell inequalities on states that are deterministically generated from the initial state via local operations. This leads to an efficient scheme for large classes of multipartite states that are relevant in quantum computation or condensed-matter physics, including cluster states and the ground state of the Affleck-Kennedy-Lieb-Tasaki (AKLT) model. For cluster states the detection of genuine multipartite entanglement involves only measurements on a constant number of systems with an overhead that scales linear with the system size, while for the AKLT model the overhead is polynomial. In all cases our approach shows robustness against experimental imperfections.
title: Electronic Communications of the EASST, Vol. 71 (2015): Graph Computation Models 2014
title: Graph Computation Models 2014
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2015

description: Distributed execution of bigraphical reactive systems
Analysis of Petri Nets with Context-Free Structure Changes
Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms
A Unification Algorithm for GP 2
Preface
More on Graph Rewriting With Contextual Refinement
Roth, Johann Wilhelm, Sohn
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Eimeldingen
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
title: Electronic Communications of the EASST, Vol. 69 (2014): Formal Methods for Interactive Systems 2013
title: Formal Methods for Interactive Systems 2013
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2015

description: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification
Automated theorem proving for the systematic analysis of an infusion pump
Lightweight Interaction Modeling in Evolutionary Prototyping
Stochastic Modelling and Analysis of Driver Behaviour
Preface to the proceedings of FMIS 2013
PVSio-web: a tool for rapid prototyping device user interfaces in PVS
Samuel, M. L
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Hamburg
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Sievert, Ed
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Mannheim
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Euphorbia heptagona Linnaeus 1753
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Malpighiales
Euphorbiaceae
Euphorbia
Euphorbia heptagona

description: Euphorbia heptagona Linnaeus, Species Plantarum 1: 450. 1753.
“Habitat----” RCN: 3495.
Type not designated.
Original material: [icon] in Boerhaave, Index Alter Pl. Hort. Lugdb.- Bat. 1: 258. 1720.
 Current name: Euphorbia heptagona L. (Euphorbiaceae).
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part E), pp. 490-515 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 511, DOI: 10.5281/zenodo.291971
title: Electronic Communications of the EASST, Vol. 64 (2014): Programming and Computer Languages 2013
title: Programming and Computer Languages 2013
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2015

description: R-SQL: An SQL Database System with Extended Recursion
Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT
Analyzing Fuzzy Logic Computations with Fuzzy XPath
On the decidability of model checking LTL fragments in monotonic extensions of Petri nets
Improving the Search Capabilities of a CFLP(FD) System
Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013)
Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases
Soltau, Matrin W
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Hamburg
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Additional file 1: of Find the right sample: A study on the versatility of saliva and urine samples for the diagnosis of emerging viruses
Creators: name: Niedrig, Matthias
name: Pranav Patel
name: Wahed, Ahmed
name: SchĂ¤Dler, Regina
name: Yactayo, Sergio
Publisher: name: figshare
Year: 2018
Subjects: subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases
subject: 60506 Virology
subject: Computational Biology

description: Figure S1. Selection scheme flowchart. Abbreviation: CHIV = Chikungunya Virus, VHF = Viral Hemorrhagic Fever, WN = West Nile, YF = Yellow fever. Table S1. Analysis of different sampling methods for diagnostic of CHIK virus infection. Table S2. Analysis of different sampling methods for diagnostic of Dengue virus infection. Table S3. Analysis of different sampling methods for diagnostic of Ebola/VHF virus infections. Table S4. Analysis of different sampling methods for diagnostic of West Nile virus infection. Table S5. Analysis of different sampling methods for diagnostic of Zika virus infection. Table S6. Analysis of different sampling methods for diagnostic of Yellow Fever virus infection. Table S7. Analysis of different sampling methods for diagnostic of severe acute respiratory syndrome (SARS) virus infection. Table S8. Analysis of different sampling methods for diagnostic of Middle East respiratory syndrome coronavirus (MERS-CoV) infection. (DOCX 162 kb)
Attitude changes through speed-dating conversations between farmers and citizens
Creators: name: Berkes, Jessica
name: Mergenthaler, Marcus
Publisher: name: Proceedings in Food System Dynamics
Year: 2021

description: Alienation between farmers and citizens has increased with agriculture’s intensification and specialization in food supply-chains. More direct and equal dialogue formats are called for. Our research aim is to analyze to what extent a specifically designed dialogue format contributes to attitude changes among farmers and citi- zens. In a speed-dating format between farmers and citizens short conversations were organized. Attitudes were measured before and after the conversations. Fact-based and personal statements within the conversa- tion were identified by quantitative content analysis. Our results indicate that the mid-term effect of speed- dating induced attitude changes was influenced more by fact-based aspects and less by personal aspects. Keywords: speed-dating, farmer-citizen-dialogue, attitude change, dyadic communication, trust building
description: Proceedings in Food System Dynamics, Proceedings in System Dynamics and Innovation in Food Networks 2021
On2Vec: Embedding-based Relation Prediction for Ontology Population
Creators: name: Chen, Muhao
name: Tian, Yingtao
name: Chen, Xuelu
name: Xue, Zijun
name: Zaniolo, Carlo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences

description: Populating ontology graphs represents a long-standing problem for the Semantic Web community. Recent advances in translation-based graph embedding methods for populating instance-level knowledge graphs lead to promising new approaching for the ontology population problem. However, unlike instance-level graphs, the majority of relation facts in ontology graphs come with comprehensive semantic relations, which often include the properties of transitivity and symmetry, as well as hierarchical relations. These comprehensive relations are often too complex for existing graph embedding methods, and direct application of such methods is not feasible. Hence, we propose On2Vec, a novel translation-based graph embedding method for ontology population. On2Vec integrates two model components that effectively characterize comprehensive relation facts in ontology graphs. The first is the Component-specific Model that encodes concepts and relations into low-dimensional embedding spaces without a loss of relational properties; the second is the Hierarchy Model that performs focused learning of hierarchical relation facts. Experiments on several well-known ontology graphs demonstrate the promising capabilities of On2Vec in predicting and verifying new relation facts. These promising results also make possible significant improvements in related methods.
description: SDM-18. 9 pages, 3 figures
Nonlinear realizations of superconformal and W algebras as embeddings of strings
Creators: name: Bellucci, S.
name: Gribanov, V.
name: Ivanov, E.
name: Krivonos, S.
name: Pashnev, A.
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We propose a simple method for constructing representations of (super)conformal and nonlinear W-type algebras in terms of their subalgebras and corresponding Nambu-Goldstone fields. We apply it to N=2 and N=1 superconformal algebras and describe in this way various embeddings of strings and superstrings for which these algebras and their subalgebras define world-sheet symmetries. Besides reproducing the known examples, we present some new ones, in particular an embedding of the bosonic string with additional U(1) affine symmetry into N=2 superstring. We also apply our method to the nonlinear $W_3^{(2)}$ algebra and demonstrate that the linearization procedure worked out for it some time ago gets a natural interpretation as a kind of string embedding. All these embeddings include the critical ones as particular cases.
description: 23 pages, LaTeX, PACS: 11.17.+y, some misprints corrected, section 5 slightly modified, one reference added
Romberg, Schleiden & Töbken
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Rio de Janeiro
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Table S2 from Sleep in unnatural times: illuminated night negatively affects sleep and associated hypothalamic gene expressions in diurnal zebra finches
Creators: name: Batra, Twinkle
name: Malik, Indu
name: Prabhat, Abhilash
name: Bhardwaj, Sanjay Kumar
name: Kumar, Vinod
Publisher: name: The Royal Society
Year: 2020

description: We investigated the effects of exposure at ecologically relevant levels of dim light at night (dLAN) on sleep and 24-h hypothalamic expression pattern of genes involved in the circadian timing (per2, bmal1, reverb-β, cry1, ror-α, clock) and sleep regulatory pathways (cytokines: tlr4, tnf-α, il-1β, nos; Ca2+-dependent pathway: camk2, sik3, nr3a; cholinergic receptor, achm3) in diurnal female zebra finches. Birds were exposed to 12 h light (150 lux) coupled with 12 h of absolute darkness or of 5-lux dim light for three weeks. dLAN fragmented the nocturnal sleep in reduced bouts, and caused sleep loss as evidenced by reduced plasma oxalate levels. Under dLAN, the 24-h rhythm of per2, but not bmal1 or reverb-β, showed a reduced amplitude and altered peak expression time; however, clock, ror-α and cry1 expressions showed an abolition of the 24-h rhythm. Decreased tlr4, il-1β and nos, and the lack of diurnal difference in achm3 mRNA levels suggested an attenuated inhibition of the arousal system (hence, awake state promotion) under dLAN. Similarly, changes in camk2, sik3 and nr3a expressions suggested dLAN-effects on Ca2+-dependent sleep-inducing pathways. These results demonstrate dLAN-induced negative effects on sleep and associated hypothalamic molecular pathways, and provide insights into health risks of illuminated night exposures to diurnal animals.
Prospects of observing gamma-ray bursts with orbital detectors of ultra-high energy cosmic rays
Creators: name: Pshirkov, M. S.
name: Zotov, M. Yu.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: TUS (Tracking Ultraviolet Set-up), the first orbital telescope of ultra-high energy cosmic rays (UHECRs), has demonstrated that instruments of this kind have much broader capabilities and can also detect meteors, transient luminous events, anthropogenic glow and other processes taking place in Earth atmosphere in the UV frequency range. In this short letter, we address the question if an orbital UHECR detector can also register gamma-ray bursts (GRBs) via the fluorescent glow of irradiated nocturnal atmosphere. An analysis of the Fermi GBM catalog of GRBs and properties of several active and perspective instruments reveals that a detector with parameters of the optical system similar to those of the KLYPVE-EUSO (K-EUSO) or POEMMA telescopes and an appropriate \slow-mode" trigger will be able to observe only two GRBs in average every year of operation. POEMMA will register up to 3-4 GRBs in a year of operation in the stereo mode.
description: 12 pages
Segond, N., & Leterrier, A
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Marseille
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
title: Electronic Communications of the EASST, Vol. 70 (2014): Automated Verification of Critical Systems 2014
title: Automated Verification of Critical Systems 2014
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Model Checking C++ with Exceptions
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
A Formal Co-Simulation Approach for Wireless Sensor Network Development
Adaptive Task Automata with Earliest-Deadline-First Scheduling
On the Random Structure of Behavioural Transition Systems
Using SMT for dealing with nondeterminism in ASM-based runtime verification
Reachability and Reward Checking for Stochastic Timed Automata
QBF with Soft Variables
Verification of Information Flow Properties under Rational Observation
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
The highs and lows of deploying Formal Methods in Industry
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations
Conformance Testing of Cyber-Physical Systems: A Comparative Study
Symbol Elimination for Automated Generation of Program Properties
Preface
The GPUVerify Method: a Tutorial Overview
Additional file 1: of A methodology to design a performance management system in preventive care
Creators: name: Rotondo, Federico
name: Giovanelli, Lucia
name: Fadda, Nicoletta
name: Ezza, Alberto
Publisher: name: figshare
Year: 2018
Subjects: subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy

description: Performance management system for the preventive healthcare, This table shows the final version of the performance management system composed of 39 indicators divided into three areas of activity and two dimensions (DOCX 13 kb)
The Relation of Constraints on Particle Statistics for Different Species of Particles
Creators: name: Greenberg, O. W.
name: Hilborn, Robert C.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quons are particles characterized by the parameter $q$, which permits smooth interpolation between Bose and Fermi statistics; $q=1$ gives bosons, $q=-1$ gives fermions. In this paper we give a heuristic argument for an extension of conservation of statistics to quons with trilinear couplings of the form $\bar{f}fb$, where $f$ is fermion-like and $b$ is boson-like. We show that $q_f^2=q_b$. In particular, we relate the bound on $q_γ$ for photons to the bound on $q_e$ for electrons, allowing the very precise bound for electrons to be carried over to photons. An extension of this argument suggests that all particles are fermions or bosons to high precision.
description: 10 pages, no figures, issue of Foundations of Physics in honor of D.M. Greenberger
Table S1 from Sleep in unnatural times: illuminated night negatively affects sleep and associated hypothalamic gene expressions in diurnal zebra finches
Creators: name: Batra, Twinkle
name: Malik, Indu
name: Prabhat, Abhilash
name: Bhardwaj, Sanjay Kumar
name: Kumar, Vinod
Publisher: name: The Royal Society
Year: 2020

description: We investigated the effects of exposure at ecologically relevant levels of dim light at night (dLAN) on sleep and 24-h hypothalamic expression pattern of genes involved in the circadian timing (per2, bmal1, reverb-β, cry1, ror-α, clock) and sleep regulatory pathways (cytokines: tlr4, tnf-α, il-1β, nos; Ca2+-dependent pathway: camk2, sik3, nr3a; cholinergic receptor, achm3) in diurnal female zebra finches. Birds were exposed to 12 h light (150 lux) coupled with 12 h of absolute darkness or of 5-lux dim light for three weeks. dLAN fragmented the nocturnal sleep in reduced bouts, and caused sleep loss as evidenced by reduced plasma oxalate levels. Under dLAN, the 24-h rhythm of per2, but not bmal1 or reverb-β, showed a reduced amplitude and altered peak expression time; however, clock, ror-α and cry1 expressions showed an abolition of the 24-h rhythm. Decreased tlr4, il-1β and nos, and the lack of diurnal difference in achm3 mRNA levels suggested an attenuated inhibition of the arousal system (hence, awake state promotion) under dLAN. Similarly, changes in camk2, sik3 and nr3a expressions suggested dLAN-effects on Ca2+-dependent sleep-inducing pathways. These results demonstrate dLAN-induced negative effects on sleep and associated hypothalamic molecular pathways, and provide insights into health risks of illuminated night exposures to diurnal animals.
MPEC 2025-D148 : 2025 DG5
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2025
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469
subject: 2025 DG5

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
MOESM4 of Optimal treatment for elderly patients with resectable proximal gastric carcinoma: a real world study based on National Cancer Database
Creators: name: Wang, Xuefei
name: Zhao, Junjie
name: Fairweather, Mark
name: Yang, Tingsong
name: Sun, Yihong
name: Wang, Jiping
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Ecology
subject: FOS: Biological sciences
subject: Mathematical Sciences not elsewhere classified
subject: Cancer

description: Additional file 4 : Figure S2. Kaplan-Meier survival curve of elderly patients with resectable proximal gastric carcinoma treated in different facility.
Quasiparticle lifetimes in the charged Bose gas and the cuprates
Creators: name: Alexandrov, A. S.
name: Dent, C. J.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: The scattering cross section of a Coulomb potential screened by a charged Bose gas (CBG) is calculated both above and below the Bose-Einstein condensation temperature, using the variable phase method. In contrast with the BCS superconductor, the screened scattering potential and quasiparticle lifetime are found to be very different in the superconducting and normal states. We apply the result to explain the appearence of a sharp peak in the ARPES spectra in some cuprates below the superconducting transition.
description: 4 pages, RevTeX, 2 figures
title: Electronic Communications of the EASST, Vol. 68 (2014): Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)
title: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Towards Model Checking Reconfigurable Petri Nets using Maude
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
Non-Deterministic Matching Algorithm for Net Transformations
Preface
Rapid Prototyping of Topology Control Algorithms by Graph Transformation
Mean Quantitative Coverability in Stochastic Graph Transformation Systems
title: Electronic Communications of the EASST, Vol. 67 (2014): Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)
title: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Verification of Graph-based Model Transformations Using Alloy
A Comparison of Incremental Triple Graph Grammar Tools
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
Modelling Adaptive Networks: The Case of the Petrified Voters
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface
Towards Dynamic Reverse Engineering Visual Contracts from Java
An ansatz for a non-perturbative four-graviton amplitude in type IIB superstring theory
Creators: name: Russo, J. G.
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A natural SL(2,Z) invariant generalization of the Veneziano amplitude in type IIB superstring theory is investigated. It includes certain perturbative and non-perturbative (D-instanton) contributions, and it reduces to the correct expressions in different limits. The singularities are poles in the $s$-$t$-$u$ channels, corresponding to the exchange of particles with a mass spectrum coinciding with that of $(p,q)$ string states. We describe the general structure of the associated perturbative corrections to the effective action.
description: Version appeared in Phys.Lett. B. Discussion expanded. 7 pages, harvmac
Additional file 1: of Comparative study to evaluate the voluntary acceptance of two liquid oral formulations of ciclosporin in dogs
Creators: name: Kammanadiminti, Srinivas
name: Carter, Lori
name: Seewald, Wolfgang
name: Doucette, Kelly
Publisher: name: figshare
Year: 2018
Subjects: subject: Biophysics
subject: Space Science
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology

description: Atopical Oral Solution for dogs_Supplementary Information. (DOCX 1754 kb)
title: Electronic Communications of the EASST, Vol. 59 (2013): Patterns Promotion and Anti-patterns Prevention 2013
title: Patterns Promotion and Anti-patterns Prevention 2013
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Analysing Anti-patterns Static Relationships with Design Patterns
Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns
Special Issue of PPAP 2013: Preface
A Pattern Language for the Evolution of Component-based Software Architectures
Schlick & Eckmann
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1837

description: Ort: Lübeck
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
title: Electronic Communications of the EASST, Vol. 63 (2014): Software Clones 2014
title: Software Clones 2014
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Clones and Macro co-changes
Measuring Copying of Java Archives
Towards an Analysis of Who Creates Clone and Who Reuses it
About Metrics for Clone Detection
Toward a Code-Clone Search through the Entire Lifecycle of a Software Product
Handling Clone Mutations in Simulink Models with VCL
How We Know the Practical Impact of Clone Analysis
Investigating Intentional Clone Refactoring
Late Propagation in Near-Miss Clones: An Empirical Study
Clone Detection in Matlab Stateflow Models
Active Clones: Source Code Clones at Runtime
How Accurate Is Coarse-grained Clone Detection?: Comparision with Fine-grained Detectors
Robust Parsing of Cloned Token Sequences
Preface to the Proceedings of the Eighth International Workshop on Software Clones
Studying Late Propagations in Code Clone Evolution Using Software Repository Mining
Euphorbia hirsuta Linnaeus 1759
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Malpighiales
Euphorbiaceae
Euphorbia
Euphorbia hirsuta

description: Euphorbia hirsuta Linnaeus, Amoenitates Academicae 4: 483. 1759.
"Habitat [Monspelii.]"
Type not designated.
Original material: none traced.
 Current name: Euphorbia hirsuta L. (Euphorbiaceae).
 Note: See Stearn (in Geck & Pressler, Festschr. Claus Nissen: 643. 1974), who reproduces the account by Magnol that validates this name. Stearn added that the plant described by Magnol "is evidently the widespread Mediterranean species commonly known as E. pubescens Vahl ".
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part E), pp. 490-515 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 511, DOI: 10.5281/zenodo.291971
Analytic two-loop results for selfenergy- and vertex-type diagrams with one non-zero mass
Creators: name: Fleischer, J.
name: Kotikov, A. V.
name: Veretin, O. L.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: For a large class of two-loop selfenergy- and vertex-type diagrams with only one non-zero mass ($M$) and the vertices also with only one non-zero external momentum squared ($q^2$) the first few expansion coefficients are calculated by the large mass expansion. This allows to `guess' the general structure of these coefficients and to verify them in terms of certain classes of `basis elements', which are essentially harmonic sums. Since for this case with only one non-zero mass the large mass expansion and the Taylor series in terms of $q^2$ are identical, this approach yields analytic expressions of the Taylor coefficients, from which the diagram can be easily evaluated numerically in a large domain of the complex $q^2-$plane by well known methods. It is also possible to sum the Taylor series and present the results in terms of polylogarithms.
description: LaTeX, 27 pages + 3 ps figures, uses axodraw.sty, some references revisted
title: Electronic Communications of the EASST, Vol. 65 (2014): Software Quality and Maintainability 2014
title: Software Quality and Maintainability 2014
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Implementing a model-driven and iterative quality assessment life-cycle: a case study
The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation
A Model-Based Approach to Impact Analysis Using Model Differencing
Comparing communication and development networks for predicting file change proneness: An exploratory study considering process and social metrics
Software Language Engineering by Intentional Rewriting
Analyzing Gerrit Code Review Parameters with Bicho
Preface of SQM 2014 Proceedings - 8th International Workshop on Software Quality and Maintainability
An Initial Quality Analysis of the Ohloh Software Evolution Data
Observation of CP Violation in K(L)->pi+pi-e+e- Decays
Creators: name: KTeV Collaboration
Publisher: name: arXiv
Year: 1999
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We report the first observation of a manifestly CP violating effect in the K(L)->pi+pi-e+e- decay mode. A large asymmetry was observed in the distribution of these decays in the CP-odd and T-odd angle phi between the decay planes of the e+e- and pi+pi- pairs in the K(L) center of mass system. After acceptance corrections, the overall asymmetry is found to be 13.6+-2.5 (stat) +-1.2 (syst)%. This is the largest CP-violating effect yet observed integrating over the entire phase space of a mode and the first such effect observed in an angular variable.
description: 4 pages 4 figures submitted to prl
Stoecker, Charles
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1834

description: Ort: Paris
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
CoBra robot for localized cancer treatment and diagnosis under real-time MRI
Creators: name: Dhaliwal, Sepaldeep Singh
name: Wilby, Sarah
name: de Vries, Martijn
name: Boni, Kévin Brou
name: Firouzy, Sina
name: Navarro, Stefan Escaida
name: Belarouci, Abdelakder
name: Coelen, Vincent
name: Lakhal, Othman
name: Pasquier, David
name: Palmer, Anthony L.
name: Polak, Wojciech
name: Jones, Dylan
name: Labib, Ashraf
name: Dobbelsteen, John J.
name: Duriez, Christian
name: Merzouki, Rochdi
Publisher: name: Zenodo
Year: 2021
Subjects: MESROB2021
MRI Robot
Prostate Brachytherapy
Robotized Brachytherapy
Smart Phantom
MESROB
IFToMM

description: We present the CoBra (Cooperative Brachytherapy) project 2018 - 2022. The CoBra purposes an integrated concept to perform localized cancer treatment and biopsy of soft-tissues under real-time (RT) MRI guidance [1]. The robot executes needle insertion within the MRI-scanner, performing adaptive prostate brachytherapy under RT-imaging. An active steerable-needle under closed-loop control is used to achieve precise positioning of the seeds with the increased reach of the needle to pubic arch and organs-at-risk occluded areas. Dose calculation under RT-MRI is achieved by the generation of synthetic-CT datasets based on a Machine-learning algorithm. Needle trajectory planning based on a steerable needle with minimal entry points is optimized by an algorithm depending upon the target, seed plan, and prostate contours attained from MRI. A bio-inspired active phantom (BIP) is designed for concept validation. The CoBra project is funded by the EU Interreg 2 Seas programme, led by the University of Lille partnering with multiple institutions and industrial observers.
Euphorbia heterophylla Linnaeus 1753
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Malpighiales
Euphorbiaceae
Euphorbia
Euphorbia heterophylla

description: Euphorbia heterophylla Linnaeus, Species Plantarum 1: 453. 1753.
"Habitat in America calidiore." RCN: 3504.
 Lectotype (Radcliffe-Smith in Bosser & al., Fl. Mascareignes 160: 94. 1982): [icon] "Tithymalus Curassavicus, Salicis & Atriplicis foliis variis, caulibus viridantibus" in Plukenet, Phytographia: t. 112, f. 6. 1691; Almag. Bot.: 369. 1696. - Typotype: Herb. Sloane 98: 108 (BM-SL), see p. 149.
 Current name: Euphorbia heterophylla L. (Euphorbiaceae).
 Note: Dressler (in Ann. Missouri Bot. Gard. 48: 332. 1961) noted the absence of any material at LINN and interpreted the name via the Plukenet plate, though without expressly treating it as the type.
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part E), pp. 490-515 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 511, DOI: 10.5281/zenodo.291971
Triponé, Père, Notaire
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1834

description: Ort: Belfort
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Hubbard ladders in a magnetic field
Creators: name: Cabra, D. C.
name: De Martino, A.
name: Pujol, P.
name: Simon, P.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The behavior of a two leg Hubbard ladder in the presence of a magnetic field is studied by means of Abelian bosonization. We predict the appearance of a new (doping dependent) plateau in the magnetization curve of a doped 2-leg spin ladder in a wide range of couplings. We also discuss the extension to N-leg Hubbard ladders.
description: 5 pages, RevTex, 1 postscript figure
title: Electronic Communications of the EASST, Vol. 66 (2014): Automated Verification of Critical Systems 2013
title: Automated Verification of Critical Systems 2013
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: On the Satisfiability of Metric Temporal Logics over the Reals
Simplifying proofs of linearisability using layers of abstraction
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata
Richer Interface Automata with Optimistic and Pessimistic Compatibility
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification
From System Requirements to Software Requirements in the Four-Variable Model
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation
Building Traceable Event-B Models from Requirements
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling
Verifying a Mix Net in CSP
Integrating model checking and UML based model-driven development for embedded systems
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model
Compositional Verification of a Lock-Free Stack with RGITL
Fully Symbolic TCTL Model Checking for Incomplete Timed Systems
Spiegel, Salomon
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1834

description: Ort: Frankfurt a. M.
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Alioth, J. S., & Co
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1835

description: Ort: Basel
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
title: Electronic Communications of the EASST, Vol. 57 (2013): Bidirectional Transformations 2013
title: Bidirectional Transformations 2013
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2014

description: Delta Lenses and Opfibrations
A Bidirectional Collaboration Framework for Bio-Model Development
Edit languages for information trees
Lenses for Web Data
Understanding bidirectional transformations with TGGs and JTL
Composing Least-change Lenses
On Propagation-Based Concurrent Model Synchronization
Preface
A Survey of Triple Graph Grammar Tools
Dynamical Phase Transition from Nonequilibrium Dynamics of Dark Solitons
Creators: name: Guo, Minyong
name: Keski-Vakkuri, Esko
name: Liu, Hong
name: Tian, Yu
name: Zhang, Hongbao
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: By holographic duality, we identify a novel dynamical phase transition which results from the temperature dependence of non-equilibrium dynamics of dark solitons in a superfluid.For a non-equilibrium superfluid system with an initial density of dark solitons, there exists a critical temperature $T_d$,above which the system relaxes to equilibrium by producing sound waves, while below which it goes through an intermediate phase with a finite density of vortex-antivortex pairs. In particular, as $T_d$ is approached from below, the density of vortex pairs scales as $(T_d - T)^γ$ with the critical exponent $γ= 1/2$.
description: 10 pages, 11 figures, including supplemental material as appendices. The published version is slightly shortened
title: Electronic Communications of the EASST, Vol. 62 (2013): Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner
title: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2013

description: Graph Tuple Transformation
(A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match
The VSE Refinement Method in Hets
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Spreadsheets with a Semantic Layer
Preface
On the whereabouts of CSP-CASL – A survey
EIT Food - EU PRO4BAKE project: Improve artigianal bakeries performances considering both demand forecast and process optimisation: the EIT FOOD Pro4Bake approach
Creators: name: Berruto, Remigio
name: Beduschi, Sara
name: Giulia, Botta
name: Busato, Patrizia
name: Reinhardt, Nadja
name: Sebok, Andras
name: Braun, Susanne
Publisher: name: Proceedings in Food System Dynamics
Year: 2021

description: The bakery products subsector has the largest number of companies, value added, employees and number of companies in Europe (Food and Drinks, 2011). Over-consumption of energy in bakeries due to inefficient scheduling and production planning together with high shares of unsold bread waste (5-10% in Europe) is a big issue. Not only avoidable CO2 emissions affecting climate change and society, but also excessive costs for SME bakeries are severe consequences. Recently, the EU has identified the bakery sector as one of the target sectors to apply best environmental practices. The aim of the envisaged project is in line with the goals of the EU (Regulation (EC) No 1221/2009, 2017/1508 of 28 August 2017 EU): minimising food waste and reducing energy consumption. The Pro4Bake project aims to provide tools that could improve the bakery situation. A prospective production-planning tool for bakeries is being developed in this trans- and interdisciplinary project. Present machinery in bakeries is used to optimise the production process. The reduction of make span and idle time of machines, but also combinations thereof will lead to a higher economic and ecologic efficiency, thus, lower production costs for bakeries and lower climate change impact for society. The tool is developed using a flow-shop model, optimised by evolutionary algorithms, digital twins and artificial intelligence procedures. Adaptation to consumers’ preferences will minimise food waste; hence, ecological footprint in bakeries, and lead to further optimisation of the baking process, product range and amount. Consumers’ demands and expectations related to e.g. weather or holidays, and their acceptance of changes in product availability will play a significant role in the analysis. In the end, a computational application will help SME bakeries as users to adapt their production planning and processes to best practice. Subsequently, its potential in practical application will be examined and its impact broadened to the rest of Europe and beyond. Dissemination through technology transfer to users by involving professionals, students and learning videos will be performed. The product will be commercialised in the end to make it possible for bakeries to adapt to the truly needed amount and product range with optimised baking schedules to reduce energy consumption. The multidisciplinary approach, combining research optimisation methods and demand forecast approach used could be easily transferred to other agri-food sectors.
description: Proceedings in Food System Dynamics, Proceedings in System Dynamics and Innovation in Food Networks 2021