cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Electronic Communications of the EASST, Vol. 46 (2012): Automated Verification of Critical Systems 2011
title: Automated Verification of Critical Systems 2011
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2012

description: Approximating Idealised Real-Time Specifications Using Time Bands
Positioning Verfification in the Context of Software/System Certification
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software
A Survey on Event-B Decomposition
The Belgian Electronic Identity Card: a Verification Case Study
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
Combining Model Checking and Discrete-Event Supervisor Synthesis
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Specification and refinement of discrete timing properties in Event-B
Symbolic Model Checking and Safety Assessment of Altarica models
Mixing Formal and Informal Model Elements for Tracing Requirements
Preface
Experiences in the Industrial use of Formal Methods
Spinnerei
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1834

description: Ort: Feldkirch
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. 45 (2011): Formal Methods for Interactive Systems 2011
title: Formal Methods for Interactive Systems 2011
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: On formalising interactive number entry on infusion pumps
Supporting Mobile Application Development with Model-Driven Emulation
Dependable keyed data entry for interactive systems
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems
Abstract Models and Cognitive Mismatch in Formal Verification
A Process Algebraic Description of a Temporal Wireless Network Protocol
Formal Modeling and Analysis for Interactive Hybrid Systems
Modelling and analysing the interactive behaviour of an infusion pump
Modelling Distributed Cognition Systems in PVS
Capturing the distinction between task and device errors in a formal model of user behaviour
Preface for FMIS 2011
Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems
title: Electronic Communications of the EASST, Vol. 35 (2010): Automated Verification of Critical Systems 2010
title: Automated Verification of Critical Systems 2010
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Automatically Verifying Railway Interlockings using SAT-based Model Checking
Integrating Formal Methods with Informal Digital Hardware Development
Checking Consistency Between Message Choreographies And Their Implementation Models
Verification of Symmetry Detection using PVS
Proving Distributed Algorithms by Combining Reﬁnement and Local Computations
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study
Static Analysis of Information Release in Interactive Programs
Development of Rabin’s Choice Coordination Algorithm in Event-B
Avocs2010 Preface
A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction
Evaluation Strategies for Datalog-based Points-To Analysis
Approximate controllability for Navier--Stokes equations in {\rm 3D} Cylinders under Lions boundary conditions by an explicit saturating set
Creators: name: Phan, Duy
Publisher: name: arXiv
Year: 2018
Subjects: subject: Optimization and Control (math.OC)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 93B05, 35Q30, 93C20

description: An explicit saturating set consisting of eigenfunctions of Stokes operator in general 3D Cylinders is proposed. The existence of saturating sets implies the approximate controllability for Navier--Stokes equations in $\rm 3D$ Cylinders under Lions boundary conditions.
description: 33 pages, 4 figures. arXiv admin note: text overlap with arXiv:1712.04900
Euphorbia ipecacuanhae 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 ipecacuanhae

description: Euphorbia ipecacuanhae Linnaeus, Species Plantarum 1: 455. 1753.
"Habitat in Virginia, Canada." RCN: 3520.
 Lectotype (designated here by Reveal): Kalm, Herb. Linn. No. 630.21 (LINN).
 Current name: Euphorbia ipecacuanhae 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 512, DOI: 10.5281/zenodo.291971
Additional file 1: of Reduced nuclear DNA methylation and mitochondrial transcript changes in adenomas do not associate with mtDNA methylation
Creators: name: M. Morris
name: L. Hesson
name: R. Poulos
name: R. Ward
name: J. Wong
name: N. Youngson
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Table S1. Clinical sample and patient information and experimental usage. (DOCX 15 kb)
title: Electronic Communications of the EASST, Vol. 41 (2011): Graph Transformation and Visual Modeling Techniques 2011
title: Graph Transformation and Visual Modeling Techniques 2011
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques
Treewidth, Pathwidth and Cospan Decompositions
A visual language for temporal specifications based on Spider diagrams
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars
Towards a Maude Tool for Model Checking Temporal Graph Properties
Automated Model Synchronization: A Case Study on UML with Maude
Distributed Port Automata
Preface
Towards Test Coverage Criteria for Visual Contracts
Open Supermembranes Coupled to M-Theory Five-Branes
Creators: name: Brax, Ph.
name: Mourad, J.
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider open supermembranes in eleven dimensions in the presence of closed M-Theory five-branes. It has been shown that, in a flat space-time, the world-volume action is kappa invariant and preserves a fraction of the eleven dimensional supersymmetries if the boundaries of the membranes lie on the five-branes. We calculate the reparametrisation anomalies due to the chiral fermions on the boundaries of the membrane and examine their cancellation mechanism. We show that these anomalies cancel with the aid of a classical term in the world-volume action, provided that the tensions of the five-brane and the membrane are related to the eleven dimensional gravitational constant in a way already noticed in M-Theory.
description: Latex, 14 pages
A Modern Search for Wolf-Rayet Stars in the Magellanic Clouds. IV. A Final Census
Creators: name: Neugent, Kathryn F.
name: Massey, Philip
name: Morrell, Nidia
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We summarize the results of our four year survey searching for Wolf-Rayet (WR) stars in the Large Magellanic Cloud (LMC) and Small Magellanic Cloud (SMC). Over the course of this survey we've discovered 15 new WRs and 12 Of-type stars. In this last year we discovered two rare Of-type stars: an O6.5f?p and an O6nfp in addition to the two new Of?p stars discovered in our first year and the three Onfp stars discovered in our second and third years. However, even more exciting was our discovery of a new type of WR, ones we are calling WN3/O3s due to their spectroscopic signatures. We describe the completeness limits of our survey and demonstrate that we are sensitive to weak-lined WRs several magnitudes fainter than any we have discovered, arguing that there is not a population of fainter WRs waiting to be discovered. We discuss the nature of the WN3/O3s, summarizing the results of our extensive spectroscopy and modeling. We also examine the important claim made by others that the WN3/O3s are isolated compared to other massive stars. We find that if we use a more complete sample of reference massive stars, the WN3/O3s show the same spatial distribution as other early WNs, consistent with a common origin. Finally, we use this opportunity to present the "Fifth Catalog of LMC Wolf-Rayet Stars," which includes revised coordinates and updated spectral types for all 154 known LMC WRs.
description: accepted to ApJ
The ferroelectric Mott-Hubbard phase of organic (TMTTF)2X conductors
Creators: name: Monceau, P.
name: Nad, F. Ya.
name: Brazovskii, S.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We present experimental evidences for a ferro-electric transition in the family of quasi one- dimensional conductors (TMTTF)2X. We interpret this new transition in the frame of the combined Mott-Hubbard state taking into account the double action of the spontaneous charge disproportionation on the TMTTF molecular stacks and of the X anionic potentials.
Hardware Distortion Correlation Has Negligible Impact on UL Massive MIMO Spectral Efficiency
Creators: name: Björnson, Emil
name: Sanguinetti, Luca
name: Hoydis, Jakob
Publisher: name: arXiv
Year: 2018
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: This paper analyzes how the distortion created by hardware impairments in a multiple-antenna base station affects the uplink spectral efficiency (SE), with focus on Massive MIMO. This distortion is correlated across the antennas, but has been often approximated as uncorrelated to facilitate (tractable) SE analysis. To determine when this approximation is accurate, basic properties of distortion correlation are first uncovered. Then, we separately analyze the distortion correlation caused by third-order non-linearities and by quantization. Finally, we study the SE numerically and show that the distortion correlation can be safely neglected in Massive MIMO when there are sufficiently many users. Under i.i.d. Rayleigh fading and equal signal-to-noise ratios (SNRs), this occurs for more than five transmitting users. Other channel models and SNR variations have only minor impact on the accuracy. We also demonstrate the importance of taking the distortion characteristics into account in the receive combining.
description: Published in IEEE Transactions on Communications, 14 pages, 12 figures. This version corrects a typo in Appendix C. arXiv admin note: text overlap with arXiv:1805.07958
Comment on "Entropy Production and Fluctuation Theorems for Active Matter"
Creators: name: Caprini, L.
name: Marconi, U. Marini Bettolo
name: Puglisi, A.
name: Vulpiani, A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: This is a comment to a letter by D. Mandal, K. Klymko and M. R. DeWeese published as Phys. Rev. Lett. 119, 258001 (2017).
description: 2 pages without figures, in press as a Comment on Physical Review Letters
Additional file 4: of The availability, price and affordability of essential antibacterials in Hubei province, China
Creators: name: Guangjie Wu
name: Shiwei Gong
name: Hongbing Cai
name: Yufeng Ding
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Neuroscience
subject: Pharmacology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Marine Biology
subject: Cancer
subject: Science Policy
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: International Ethical Guidelines for Biomedical Research Involving Human Subjects. A guideline of how ethics committee censors research on human subjects. (PDF 166 kb)
Euphorbia lathyrus 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 lathyrus

description: Euphorbia lathyrus Linnaeus, Species Plantarum 1: 457. 1753.
"Habitat in Gallia, Italia ad agrorum margines." RCN: 3527.
Type not designated.
 Original material: Herb. Clifford: 198, Euphorbia 13 (BM); Herb. Burser XVI(2): 64 (UPS); Herb. Linn. No. 630.32 (LINN); [icon] in Fuchs, Hist. Stirp.: 454, 455. 1542; [icon] in Mattioli, Pl. Epit.: 968. 1586.
 Current name: Euphorbia lathyrus 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 512, DOI: 10.5281/zenodo.291971
title: Electronic Communications of the EASST, Vol. 43 (2011): Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011
title: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Towards a Flexible and Evolvable Framework for Self-Adaptation
Context awareness: Challenges and opportunities in modern smartphone use
Preface
Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications
Euphorbia segetalis var. pinea 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 segetalis
Euphorbia segetalis l. var. pinea (l.) lange

description: Euphorbia linifolia Linnaeus, Amoenitates Academicae 4: 483. 1759.
Type not designated.
Original material: none traced.
 Current name: Euphorbia segetalis L. var. pinea (L.) Lange (Euphorbiaceae).
 Note: See Stearn (in Geck & Pressler, Festschr. Claus Nissen: 643. 1974), who stated that the plant described by Magnol (whose description validates Linnaeus’ binomial) "is evidently E. segetalis L. ".
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 512, DOI: 10.5281/zenodo.291971
Resonant Structure of $τ\to 3ππ^{0}ν_τ$ and $τ\to ωπν_τ$ Decays
Creators: name: Edwards, K. W.
name: Collaboration, CLEO
Publisher: name: arXiv
Year: 1999
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The resonant structure of the four pion final state in the decay $τ\to 3ππ^0ν_τ$ is analyzed using 4.27 million $τ^+τ^-$ pairs collected by the CLEO II experiment. We search for second class currents in the decay $τ\to ωπν_τ$ using spin-parity analysis and establish an upper limit on the non-vector current contribution. The mass and width of the $ρ'$ resonance are extracted from a fit to the $τ\to ωπν_τ$ spectral function. A partial wave analysis of the resonant structure of the $τ\to 3ππ^0ν_τ$ decay is performed; the spectral decomposition of the four pion system is dominated by the $ωπ$ and $a_1 π$ final states.
description: 34 pages postscript, also available through http://w4.lns.cornell.edu/public/CLNS
A Tactile Sensor for Detection of Skin Surface Morphology and its Application in Telemedicine Systems
Creators: name: Khodambashi, Roozbeh
name: Najarian, Siamak
name: Golpaygani, Ali Tavakoli
name: Keshtgar, Alireza
name: Torabi, Shahla
Publisher: name: arXiv
Year: 2018
Subjects: subject: Medical Physics (physics.med-ph)
subject: FOS: Physical sciences
subject: I.2.9

description: We proposed a new type of tactile sensor that is capable of determining the surface morphology of skin lesions. The sensor consists of a brass cylinder with an axial bore. Three peripheral bobbins were machined in the cylinder around which three coils have been wound. An iron core can easily move inside the bore. One of the coils acts as primary and the other two are secondary coils. Change in the position of the core due to surface peaks and valleys causes the induced voltage in the secondary coils to vary. This change in the voltage is a measure of core position and reveals the morphological features of the surface (surface profile). Experiments show that the proposed sensor is capable of discriminating between the models of two different types of skin lesions, namely, anetoderma and nodule, which resemble each other in visual inspection but behave differently when being touched. Thus, this sensor could be used as an assist device for diagnosis purposes in teledermatology systems.
Superpotentials of N=1 Supersymmetric Gauge Theories from M-theory
Creators: name: Nam, Soonkeon
name: Oh, Kyungho
name: Sin, Sang-Jin
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider brane configurations in M-theory describing N=1 supersymmetric gauge theories and using the parametric representation of the brane configurations, we calculate the superpotentials for various cases including multiple gauge groups or fermions. For SU(n) N=1 SQCD with $N_f$ fermion case ($N_f < N_c)$, we find that the superpotential from M-theory and the gauge theory agree precisely. This gives a direct evidence of the validity of Witten's M-theory method for calculating the super potential.
description: 15pages, latex, typos corrected, a line regarding M\"obius transformation in page 4 and angle dependence in page 12 corrected
Additional file 3: of The availability, price and affordability of essential antibacterials in Hubei province, China
Creators: name: Guangjie Wu
name: Shiwei Gong
name: Hongbing Cai
name: Yufeng Ding
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Marine Biology
subject: Cancer
subject: Science Policy
subject: Hematology

description: The list of surveyed antibacterials. List of the surveyed medicines including their therapeutic class, name, type, dosage form, and belonged catalogues. (DOCX 16 kb)
Phase-coherence transition in granular superconductors with $π$ junctions
Creators: name: Granato, Enzo
Publisher: name: arXiv
Year: 2000
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: We study the three-dimensional XY-spin glass as a model for the resistive behavior of granular superconductors containing a random distribution of $π$ junctions, as in high-$T_c$ superconducting materials with d-wave symmetry. The $π$ junctions leads to quenched in circulating currents (chiralities) and to a chiral-glass state at low temperatures, even in the absence of an external magnetic field. Dynamical simulations in the phase representation are used to determine the nonlinear current-voltage characteristics as a function of temperature. Based on dynamic scaling analysis, we find a phase-coherence transition at finite temperature below which the linear resistivity should vanish and determine the corresponding critical exponents. The results suggest that the phase and chiralities may order simultaneously for decreasing temperatures into a superconducting chiral-glass state.
description: 5 pages, 1 figure, Proc. of ICM 2000, to appear in J. Magn. Magn. Mater
title: Electronic Communications of the EASST, Vol. 44 (2011): OCL and Textual Modelling 2011
title: OCL and Textual Modelling 2011
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Dynamic Validation of OCL Constraints with mOdCL
Aligning OCL with UML
OCL-based Runtime Monitoring of JVM hosted Applications
Modeling the OCL Standard Library
Extending OCL Operation Contracts with Objective Functions
Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling
OCL Tools Report based on the IDE4OCL Feature Model
UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure
Extending ASSL: Making UML Metamodel-based Workflows executable
Preface (OCL 2011 Proceedings)
An Architecture Description Language for Embedded Hardware Platforms
Implementation of the code for the simulation of the response of a triple-GEM tracker and its comparison to the experimental data
Creators: name: Lavezzi, Lia
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: In the framework of detector development, Monte Carlo simulations play a key role in the evaluation of the expected performance and the full understanding of the behavior in beam conditions. In particular, a software which simulates the response of the detector to the particle passage is mandatory to test different setups and solutions, such as geometries, fields, voltages etc. and to understand the test beam data. For gas trackers, existing softwares, such as GARFIELD, perform a very detailed simulation of the physical processes but are also CPU time consuming. For the new cylindrical GEM tracker of BESIII, a faster code which models the results obtained from GARFIELD and adapts them to the experimental data, collected in several test beams, has been written. It reproduces the behavior of a planar triple-GEM under different working conditions and, when completed, it will be inserted in the official code of BESIII. A description of the procedure, based on different components (ionization, diffusion and magnetic field, avalanche multiplication, signal induction and readout) will be given and its results will be compared to the GARFIELD simulations and to the experimental data.
description: Proceedings for "14th Pisa Meeting on Advanced Detectors", 27 May-2 June 2018, La Biodola, Isola d'Elba - Italy (prepared for submission to NIM A)
Lighting on the road to explore future directions for agricultural modelling in the EU – some considerations on what needs to be done
Creators: name: Gonzalez-Martinez, Ana
name: Jongeneel, Roel
name: Salamon, Petra
Publisher: name: Proceedings in Food System Dynamics
Year: 2021

description: In the field of agri-food, impact assessments to support policy decision-making are often based on simulations delivered by models. The increasing complexity of policies affecting agri-food sectors requires improving the capacities of current models, connecting or redesigning them to deliver forward-looking insights on policy objectives. The EU-Project ‘Support for Policy Relevant Modelling of Agriculture’ (SUPREMA) has identified upcoming needs in the research and policy agenda, while exploring the feasibility of those potential modelling exercises by testing the existing tools. The assessment has pointed out necessities for model extensions and development of new tools. Besides, it has revealed the potential of model integration and collaboration to supplement the outcomes of individual models. This is supported in view of the food system approach that is becoming the fundamental framework for analysing the dynamics of the agri-food sector when considering it from a broad perspective. This paper describes shortly how the assessment was conducted and presents the outcomes and lessons learnt from the project. It pays special attention to the challenges and the policy priorities that are expected to become important issues in the policy agenda in the coming years.
description: Proceedings in Food System Dynamics, Proceedings in System Dynamics and Innovation in Food Networks 2021
title: Electronic Communications of the EASST, Vol. 38 (2011): International Conference on Graph Transformation 2010 - Doctoral Symposium
title: International Conference on Graph Transformation 2010 - Doctoral Symposium
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Search-Based Refactoring using Unfolding of Graph Transformation Systems
Static Type Checking of Model Transformation Programs
Local Confluence Analysis of Consistent EMF Transformations
Realizing Impure Functions in Interaction Nets
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation
Using Graph Transformations and Graph Abstractions for Software Verification
Application Conditions for Reactive Systems with Applications to Bisimulation Theory
Preface
Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems
Additional file 18: of Comprehensive assembly and analysis of the transcriptome of maritime pine developing embryos
Creators: name: Rodrigues, Andreia
name: JosĂŠ Vega
name: CĂŠlia Miguel
Publisher: name: figshare
Year: 2018
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Marine Biology
subject: Hematology
subject: Plant Biology

description: Transcripts with BRHs validated by relative RT-qPCR. The order of preference for annotating each P. pinaster transcript after its homologs is: A. thaliana, P. taeda, and P. lambertiana. (DOCX 15â kb)
title: Electronic Communications of the EASST, Vol. 40 (2011): Petri Nets and Graph Transformations 2010
title: Petri Nets and Graph Transformations 2010
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets
Towards Guided Trajectory Exploration of Graph Transformation Systems
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories
Preface
Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
Euphorbia maculata 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 maculata

description: Euphorbia maculata Linnaeus, Species Plantarum 1 : 455. 1753.
"Habitat in America septentrionali." RCN: 3509.
 Lectotype (Croizat in Webbia 17: 191. 1962): Herb. Linn. No. 630.11 (LINN).
 Current name: Euphorbia maculata L. (Euphorbiaceae).
 Note: Wheeler (in Contr. Gray Herb. 127: 75. 1939; Rhodora 43: 143, pl. 668B. 1941; Rhodora 62: 134-141. 1960) attempted to show that 630.4 (LINN) was the correct type. The papers which contributed to the extensive debate that followed are listed by Croizat (in Webbia 17: 187-188. 1962), and include Fosberg (in Rhodora 48: 197-200. 1946), who illustrated one of the LINN specimens and the cited Plukenet plate. However, 630.4 has been shown to be the type of E. hypericifolia L., and Croizat designated 630.11 (LINN) as the type of E. maculata. This choice has been accepted by authors such as Fosberg & Mazzeo (in Castanea 30: 199. 1965), Burch (in Rhodora 68: 156-160. 1966) and Benedí & Orell (in Collect. Bot. (Barcelona) 21: 31. 1992).
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 512, DOI: 10.5281/zenodo.291971
Stetten, Paul, von
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1834

description: Ort: Augsburg
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. 31 (2010): Visual Formalisms for Patterns 2010
title: Visual Formalisms for Patterns 2010
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse
Visual Specification Patterns
Towards a Pattern Language for the Design of Collaborative Interactive Systems
Patterns of Federated Identity Management Systems as Architectural Reconfigurations
A Generic Technique for Domain-Specific Visual Language Model Refactoring to Patterns
Enforcement of Patterns by Constraint-Aware Model Transformations
Combination of Different Layout Approaches
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10
title: Electronic Communications of the EASST, Vol. 34 (2010): Software Modeling in Education at MODELS 2010
title: Software Modeling in Education at MODELS 2010
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Role Allocation and Scheme in Software Engineering Course Projects
The Role of User Guidance in the Industrial Adoption of MDE Approach
Teaching OCL Standard Library: First Part of an OCL 2.x Course
Teaching Object-Oriented Modelling using Concept Maps
Position Paper: m2n—A Tool for Translating Models to Natural Language Descriptions
Teaching Model Driven Language Handling
Preface
New Media in Teaching UML in the Large — an Experience Report
Additional file 2: of The availability, price and affordability of essential antibacterials in Hubei province, China
Creators: name: Guangjie Wu
name: Shiwei Gong
name: Hongbing Cai
name: Yufeng Ding
Publisher: name: figshare
Year: 2018
Subjects: subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: Plant Biology

description: Articles about misuse of antibacterials in China. A brief review of articles about misuse of antibacterials in China, according to the published years [26â 31]. (DOCX 16 kb)
title: ADCO, Troisième cartulaire de Saint-Étienne de Dijon (XVIe), Cart. 23 (G 127), 310 folios, f. 00530
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: Petot, Frédéric
name: CG21/F.PETOT/2011
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Troisième cartulaire de Saint-Étienne de Dijon (XVIe), Archives départementales de la Côte-d'Or, Cart. 23 (G 127), 310 folios, f. 00530, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Troisième cartulaire de Saint-Étienne de Dijon (XVIe), Archives départementales de la Côte-d'Or, Cart. 23 (G 127), 310 folios, f. 00530, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Update of the Search for the Neutrinoless Decay $τ\to μγ$
Creators: name: Anastassov, A.
name: Collaboration, CLEO
Publisher: name: arXiv
Year: 1999
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We present an update of the search for the lepton family number violating decay $τ\to μγ$ using a complete CLEO II data sample of 12.6 million $τ^+τ^-$ pairs. No evidence of a signal has been found and the corresponding upper limit is $ \BR(τ\to μγ) < 1.0 \times 10^{-6} $ at 90% CL, significantly smaller than previous limits. All quoted results are preliminary.
description: 9 pages postscript, also available through http://w4.lns.cornell.edu/public/CLNS
title: Electronic Communications of the EASST, Vol. 32 (2010): Graph-Based Tools 2010
title: Graph-Based Tools 2010
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Incremental Pattern Matching in Graph-Based State Space Exploration
Distributed Graph-Based State Space Generation
Verification of Model Transformations to Refactoring Mobile Social Networks
Visualization of Traceability Models with Domain-speciﬁc Layouting
Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques
From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation
Neighbourhood Abstraction in GROOVE
Visual Modeling of Controlled EMF Model Transformation using HENSHIN
Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010
Reachability Analysis on Timed Graph Transformation Systems
Attribute Computations in the DPoPb Graph Transformation Engine
Future discourse: Energy and agricultural turnaround in one area? Modeling of future land use with the software 100prosim
Creators: name: Karatassios, Helena
name: Gothe, Theresa
name: Schierenbeck, Anne
Publisher: name: Proceedings in Food System Dynamics
Year: 2021

description: The transformation of an energy system is complex and requires not only technical measures, innovation and changes in lifestyle, but also increasing agricultural land use, especially for the construction of wind turbines or solar panels. Land use for biofuel cultivation is also relevant. Participants in transdisciplinary workshops use the simulation tool 100prosim to create and discuss their new energy scenario and learn about the complexity and requirements of the energy transitions regarding land use for renewable energy. The goal is to create an energy system that is supplied completely through renewable energy, while maintaining the balance between consumption and production. The focus is not on economic but on ecological factors and those related to land use. The holistic view of the tool and the visualization make it possible for participants to get an idea of the size and use of the energy production areas planned. Consequently, participants can identify possible conflicts of use, such as feed production and food security, to be discussed as a basic requirement for determining space for opportunities and a desirable optimum.
description: Proceedings in Food System Dynamics, Proceedings in System Dynamics and Innovation in Food Networks 2021
Studer, Vincenz (Wwe Theresia Brückner, Biederthal, betreffend)
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1834

description: Ort: Biederthal
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Thurneysen & Co
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
title: Electronic Communications of the EASST, Vol. 36 (2010): OCL and Textual Modelling
title: OCL and Textual Modelling
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2011

description: Support for Bidirectional Model-to-Text Transformations
An Overview of F-OML: An F-Logic Based Object Modeling Language
On the Need of User-deﬁned Libraries in OCL
Towards a Conceptual Framework Supporting Model Compilability
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
Verified Visualisation of Textual Modelling Languages
Navigating Across Non-Navigable Ecore References via OCL
A Feature Model for an IDE4OCL
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)
Re-engineering Eclipse MDT/OCL for Xtext
An ODE Method to Prove the Geometric Convergence of Adaptive Stochastic Algorithms
Creators: name: Akimoto, Youhei
name: Auger, Anne
name: Hansen, Nikolaus
Publisher: name: arXiv
Year: 2018
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: We consider stochastic algorithms derived from methods for solving deterministic optimization problems, especially comparison-based algorithms derived from stochastic approximation algorithms with a constant step-size. We develop a methodology for proving geometric convergence of the parameter sequence $\{θ_n\}_{n\geq 0}$ of such algorithms. We employ the ordinary differential equation (ODE) method, which relates a stochastic algorithm to its mean ODE, along with a Lyapunov-like function $Ψ$ such that the geometric convergence of $Ψ(θ_n)$ implies -- in the case of an optimization algorithm -- the geometric convergence of the expected distance between the optimum and the search point generated by the algorithm. We provide two sufficient conditions for $Ψ(θ_n)$ to decrease at a geometric rate: $Ψ$ should decrease "exponentially" along the solution to the mean ODE, and the deviation between the stochastic algorithm and the ODE solution (measured by $Ψ$) should be bounded by $Ψ(θ_n)$ times a constant. We also provide practical conditions under which the two sufficient conditions may be verified easily without knowing the solution of the mean ODE. Our results are any-time bounds on $Ψ(θ_n)$, so we can deduce not only the asymptotic upper bound on the convergence rate, but also the first hitting time of the algorithm. The main results are applied to a comparison-based stochastic algorithm with a constant step-size for optimization on continuous domains.
description: Accepted for Stochastic Processes and their Applications
Euphorbia mammillaris 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 mammillaris

description: Euphorbia mammillaris Linnaeus, Species Plantarum 1: 451. 1753.
"Habitat in Aethiopia." RCN: 3496.
 Lectotype (Wijnands, Bot. Commelins: 100. 1983): [icon] "Tithymalus Afric. aiz. spinis validissimis armato" in Commelin, Praeludia Bot.: 59, t. 9. 1703.
 Current name: Euphorbia mammillaris 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 512, DOI: 10.5281/zenodo.291971
title: ADCO, Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.2 (2e moitié XIIIe siècle), Cart. 167 (11 H 67), f. 0007r
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2010
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP

description: Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.2 (2e moitié XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 167 (11 H 67), f. 0007r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.2 (2e moitié XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 167 (11 H 67), f. 0007r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
MOESM3 of Functional exploration of co-expression networks identifies a nexus for modulating protein and citric acid titres in Aspergillus niger submerged culture
Creators: name: Cairns, Timothy
name: Feurstein, Claudia
name: Zheng, Xiaomei
name: Zhang, Li
name: Zheng, Ping
name: Sun, Jibin
name: Meyer, Vera
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Conservation between yeast GEF and GAP domains with predicted A. niger AgeB, SecG, and GeaB proteins.
Additional file 2: of Conditional economic incentives and motivational interviewing to improve adolescentsâ retention in HIV care and adherence to antiretroviral therapy in Southeast Nigeria: study protocol for a cluster randomised trial
Creators: name: Obinna Ekwunife
name: Anetoh, Maureen
name: Kalu, Stephen
name: Ele, Prince
name: Eleje, George
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Informed consent form (DOC 53 kb)
BioSentVec: creating sentence embeddings for biomedical texts
Creators: name: Chen, Qingyu
name: Peng, Yifan
name: Lu, Zhiyong
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computation and Language (cs.CL)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Sentence embeddings have become an essential part of today's natural language processing (NLP) systems, especially together advanced deep learning methods. Although pre-trained sentence encoders are available in the general domain, none exists for biomedical texts to date. In this work, we introduce BioSentVec: the first open set of sentence embeddings trained with over 30 million documents from both scholarly articles in PubMed and clinical notes in the MIMIC-III Clinical Database. We evaluate BioSentVec embeddings in two sentence pair similarity tasks in different text genres. Our benchmarking results demonstrate that the BioSentVec embeddings can better capture sentence semantics compared to the other competitive alternatives and achieve state-of-the-art performance in both tasks. We expect BioSentVec to facilitate the research and development in biomedical text mining and to complement the existing resources in biomedical word embeddings. BioSentVec is publicly available at https://github.com/ncbi-nlp/BioSentVec
description: 5 pages, 3 tables and 2 figures accepted by The Seventh IEEE International Conference on Healthcare Informatics (ICHI 2019)
A Study of Influence of Synchrotron Radiation Quantum Fluctuations on the Synchrotron Oscillations of a Single Electron Using Undulator Radiation
Creators: name: Aleshaev, A. N.
name: Pinayev, I. V.
name: Popik, V. M.
name: Serednyakov, S. S.
name: Shaftan, T. V.
name: Sokolov, A. S.
name: Vinokurov, N. A.
name: Vorob'ev, P. V.
Publisher: name: arXiv
Year: 1995
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: A single electron circulating in a storage ring is a very peculiar object. Synchrotron radiation quantum fluctuation causes stohastic process in the synchrotron oscillation of an electron. The radiation from a undulator permits one to obtain discret moments of longitudional electron motion. Experiments with a single electron on on the VEPP-3 optical klystrons are described.
description: 4 pages, LaTeX, 2 fig. incl. and 6 fig. appended as uudecoded_arj_pcx file
Revealing hidden quantum correlations in an electromechanical measurement
Creators: name: Ockeloen-Korppi, C. F.
name: Damskägg, E.
name: Paraoanu, G. S.
name: Massel, F.
name: Sillanpää, M. A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Under a strong quantum measurement, the motion of an oscillator is disturbed by the measurement back-action, as required by the Heisenberg uncertainty principle. When a mechanical oscillator is continuously monitored via an electromagnetic cavity, as in a cavity optomechanical measurement, the back-action is manifest by the shot noise of incoming photons that becomes imprinted onto the motion of the oscillator. Following the photons leaving the cavity, the correlations appear as squeezing of quantum noise in the emitted field. Here we observe such "ponderomotive" squeezing in the microwave domain using an electromechanical device made out of a superconducting resonator and a drumhead mechanical oscillator. Under a strong measurement, the emitted field develops complex-valued quantum correlations, which in general are not completely accessible by standard homodyne measurements. We recover these hidden correlations, using a phase-sensitive measurement scheme employing two local oscillators. The utilization of hidden correlations presents a step forward in the detection of weak forces, as it allows to fully utilize the quantum noise reduction under the conditions of strong force sensitivity.
description: 6 pages, 5 figures and supplementary information