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

description: Using SMT Engine to Generate Symbolic Automata
Backward Reachability Analysis for Timed Automata with Data Variables
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
Detecting Deadlocks in Formal System Models with Condition Synchronization
Preface
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
Analyzing Consistency of Formal Requirements
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software
An Entailment Checker for Separation Logic with Inductive Definitions
Quantifying the Observational Effort Required for the Radial Velocity Characterization of TESS Planets
Creators: name: Cloutier, Ryan
name: Doyon, René
name: Bouchy, François
name: Hébrard, Guillaume
Publisher: name: arXiv
Year: 2018
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The Transiting Exoplanet Survey Satellite will conduct a 2-year long wide-field survey searching for transiting planets around bright stars. Many TESS discoveries will be amenable to mass characterization via ground-based radial velocity measurements with any of a growing suite of existing and anticipated velocimeters in the optical and near-infrared. In this study we present an analytical formalism to compute the number of radial velocity measurements---and hence the total observing time---required to characterize RV planet masses with the inclusion of either a white or correlated noise activity model. We use our model to calculate the total observing time required to measure all TESS planet masses from the expected TESS planet yield while relying on our current understanding of the targeted stars, stellar activity, and populations of unseen planets which inform the expected radial velocity precision. We also present specialized calculations applicable to a variety of interesting TESS planet subsets including the characterization of 50 planets smaller than 4 Earth radii which is expected to take as little as 60 nights of observation. Although, the efficient RV characterization of such planets requires a-priori knowledge of the `best' targets which we argue can be identified prior to the conclusion of the TESS planet search based on our calculations. Our results highlight the comparable performance of optical and near-IR spectrographs for most planet populations except for Earths and temperate TESS planets which are more efficiently characterized in the near-IR. Lastly, we present an online tool to the community to compute the total observing times required to detect any transiting planet using a user-defined spectrograph.
description: Accepted for publication in AJ. 10 figures including 7 interactive figures (Figs 4-10) when viewed in Adobe Acrobat. General usage calculator (RVFC) can be found at http://maestria.astro.umontreal.ca/rvfc/
title: Electronic Communications of the EASST, Vol. 75 (2018): 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017)
title: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017)
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2018

description: Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience
Model-to-Model Transformation in Meta-Modeled CINCO Domains
Comparing Network Performance of Mobile VoIP Solutions
Preface
On Privacy and Utility while Improving Software Quality
Additional file 2 of Effectiveness of analgesia with hydromorphone hydrochloride for postoperative pain following surgical repair of structural congenital malformations in children: a randomized controlled trial
Creators: name: Pan, Yongying
name: Wang, Yimin
name: Lie, Dongxu
name: Liu, Di
name: Chen, Xi
name: Wu, Zeyan
name: Chen, Liumei
name: Wang, Huaizhen
name: Peng, Liangming
name: Liang, Huiying
name: Song, Xingrong
name: Zhao, Baisong
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Table 1. F-statistic for RR, HR and SpO2, andFLACC and Ramsay.
Gravitationally violated U(1) symmetry and neutrino anomalies
Creators: name: Joshipura, Anjan S.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The current searches for neutrino oscillations seem to suggest an approximate $L_e-L_\m-L_τ$ flavor symmetry. This symmetry implies a pair of degenerate neutrinos with mass $m_0$ and large leptonic mixing. We explore the possibility that gravitational interactions break this global symmetry. The Planck scale suppressed breaking of the $L_e-L_\m-L_τ$ symmetry is shown to lead to the right amount of splitting among the degenerate neutrinos needed in order to solve the solar neutrino problem. The common mass $m_0$ of the pair can be identified with the atmospheric neutrino scale. A concrete model is proposed in which smallness of $m_0$ and hierarchy in the solar and atmospheric neutrino scales get linked to hierarchies in the weak, grand unification and the Planck scales.
description: 12 pages, LATEX
Delineation of Geothermal System at Prospect Area ‘P’ by Using Multi-Dimensional Modeling of Magnetotelluric Data Integrated Geological and Geochemistry Data.pdf
Creators: name: Zarkasyi, Ahmad
name: Puji Harmanto
name: Fahmi, Fikri
name: Daud, Yunus
name: Asep Sugianto
name: Suhanto, Edi
Publisher: name: figshare
Year: 2018
Subjects: subject: Geophysics
subject: FOS: Earth and related environmental sciences

description: A study for delineating geothermal system of prospect area “P” has been done by using multi-dimensional modeling of magnetotelluric data. Physiographycally, geothermal prospect of “P” area is located at non-volcanic Banda inner arc hosted by Malihan Sekis rock complex with Perm-Trias age. The existance of geothermal system in this area is indicated by the presence of thermal manifestations in form of 6 chloride-bicarbonate hot springs with temperature in the the range of 37 – 67oC, and pH of 6-7. The development of geothermal system is most probably associated with strong tectonic activity caused by the collision between Seram island plate and Australian plate that ignite the occurence of intrussive body as heat source. In order to know the subsurface information of prospect area, magnetotelluric (MT) survey has been done. The processing of MT data was started from time-series data, continued by noise filtering, rotation of strike orientation and static shift correction to obtain better MT curve. The data were then being inversed by means of 1-Dimensional, 2-Dimensional and 3-Dimensional inversion methods. Reservoir temperature is estimated to be around 160-180oC and classified as moderate temperature. The result of MT data inversions shows the presence of conductive layer (<15 Ωm) with 500 – 1000 m thickness that is interpreted as clay cap og geothermal system. High resistivity zone (>300 Ωm) with updome shape appears underneath the manifestations occurence (MAP1, MAP2, MAP4, and MAP5), indicating that the heat source is located in northern part and elongate to souteast direction. The conceptual model of geothermal system was built based on integrated interpretation of geological, geochemical and geophysical data. The prospect area and recommendation of drilling location is estimated to be ± 3 km2 around upflow zone.
Euphorbia tithymaloides 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 tithymaloides

description: Euphorbia tithymaloides Linnaeus var. myrtifolia Linnaeus, Species Plantarum 1: 453. 1753.
RCN: 3503.
 Lectotype (Dressler in Contr. Gray Herb. 182: 138. 1957): [icon] "Tithymalus Curassavicus Myrti folius" in Commelin, Hort. Med. Amstelod. Pl. Rar. 1: 31, t. 16. 1697.
 Current name: Euphorbia tithymaloides 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 514, DOI: 10.5281/zenodo.291971
Evidence of active regions in the donor of the Algol-type binary V393 Scorpii and test for the dynamo model of its long cycle
Creators: name: Mennickent, Ronald E.
name: Schleicher, Dominik R. G.
name: Martin-Perez, Rubén San
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: V393 Scorpii is a member of the subclass of Algols dubbed Double Periodic Variables (DPVs). These are semidetached binaries with B-type primaries showing a long-photometric cycle lasting in average 33 times the orbital period. We describe the behavior of unreported metallic emission lines in the cool stellar component of this system. The emissions can be single or double for a same line and sometimes show velocity shifts regarding the velocity of the center of mass of the star. In addition, these lines are stronger during the high state. This behavior suggests the presence of active regions in the surface of the rapidly rotating A7 donor covering a fraction of the visible hemisphere, which have larger emissivity during the high state. Our finding supports the recently proposed dynamo model for the long cycle of DPVs proposed by Schleicher & Mennickent. The model predicts an increase of the dynamo number of the donor during epochs of mass transfer in this system, and a theoretical long/orbital period ratio very close to the observed one at the present system age.
description: 1 table, 8 figures. To be published in journal Publication of the Astronomical Society of the Pacific
title: Electronic Communications of the EASST, Vol. 74 (2017): 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016)
title: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016)
titleType: AlternativeTitle
Creators: name: Electronic Communications Of The EASST
Publisher: name: Electronic Communications of the EASST
Year: 2018

description: Generating Optimal Decision Functions from Rule Specifications
Towards Reuse on the Meta-Level
Handling Domain Knowledge in Design and Analysis of Engineering Models
Model Extraction of Legacy C Code in SCCharts
Preface
Positron flux and gamma-ray emission from Geminga pulsar and pulsar wind nebula
Creators: name: Tang, Xiaping
name: Piran, Tsvi
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Nearby pulsars have been suggested as sources of $\sim$TeV $e^+/e^-$ Cosmic Ray (CR) excess on Earth. The High-Altitude Water Cherenkov Observatory (HAWC) detected extended TeV emission regions in the direction of two nearby middle-aged pulsars, Geminga and PSR B0656+14. By modeling the TeV emission as inverse Compton emission from electron-positron pairs diffusing in the interstellar medium (ISM), the HAWC collaboration derives a diffusion coefficient much smaller than the standard value in the vicinity of the two pulsars, which make them unlikely the origin of the positron excess. We propose that the observed $γ$-ray emission originate from the relic pulsar wind nebula. A two zone diffusion model with a slow diffusion in the nebula and a fast diffusion in the ISM can explain the HAWC surface brightness profile and the positron excess simultaneously. Inefficient diffusion in the $γ$-ray emission region surrounding a middle-aged pulsar maybe a common phenomenon that can be tested by future observation. The implied diffusion coefficient in the ISM is smaller than the one suggested by the standard CR propagation model, but it is fully consistent with the predictions of the spiral arm model.
description: 12 pages, 9 figures and 4 tables, submitted to MNRAS
Neutrino-induced upward stopping muons in Super-Kamiokande
Creators: name: Kamiokande Collaboration
Publisher: name: arXiv
Year: 1999
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A total of 137 upward stopping muons of minimum energy 1.6 GeV are observed by Super-Kamiokande during 516 detector live days. The measured muon flux is 0.39+/-0.04(stat.)+/-0.02(syst.)x10^{-13}cm^{-2}s^{-1}sr^{-1} compared to an expected flux of 0.73+/-0.16(theo.)x10^{-13}cm^{-2}s^{-1}sr^{-1}. Using our previously-published measurement of the upward through-going muon flux, we calculate the stopping/through-going flux ratio R}, which has less theoretical uncertainty. The measured value of R=0.22+/-0.02(stat.)+/-0.01(syst.) is significantly smaller than the value 0.37^{+0.05}_{-0.04}(theo.) expected using the best theoretical information (the probability that the measured R is a statistical fluctuation below the expected value is 0.39%). A simultaneous fitting to zenith angle distributions of upward stopping and through-going muons gives a result which is consistent with the hypothesis of neutrino oscillations with the parameters sin^2 2θ>0.7 and 1.5x10^{-3} < Δm^2 < 1.5x10^{-2} eV^2 at 90% confidence level, providing a confirmation of the observation of neutrino oscillations by Super-Kamiokande using the contained atmospheric neutrino events.
description: 15 pages, including 7 figures. Submitted to Physics Letters Revision fixes typo in author field
How Rural Development Programmes Serve for Viability of Small farms? Case of Latvia and Lithuania
Creators: name: Veveris, A.
name: Šapolaitė, V.
name: Giedrė Raišienė, A.
name: Bilan, Y.
name: Veveris, A.
name: Šapolaitė, V.
name: Giedrė Raišienė, A.
name: Bilan, Y.
Publisher: name: Unknown
Year: 2019
Subjects: subject: Consumer/Household Economics
subject: Farm Management
subject: Financial Economics
subject: Rural development
subject: small farms
subject: viability
subject: agricultural sustainability

description: The analysis of structure of agricultural sector shows a poor viability of small-scale farms in new EU member states despite support of the Common Agricultural Policy. Considering this problem, the aim of the article is to identify indicators that can be used to show changes in the viability of small farms in order to bring policy makers more attention to this very important group of farms in the context of the agricultural economy in Latvia and Lithuania. For this purpose, 4 economic indicators were selected, analyzed and their impact to the change in the level of viability of small farms during 2007-2016 was assessed. The research based on the data of Farm Accountancy Data Network and Farm Structure Survey, using statistical data comparison, systematic indicator selection and mathematical induction methods. The results shows that despite growing of the rate of subsidies on investment and improving income level in small farms over the observed period , the viability of small farms remains heterogeneous and insufficient to contribute in constructing more resilient and sustainable agricultural sector both in Lithuania and in Latvia. Thus, in the upcoming Rural Development Programming period, the priority should be given to small-scale farms since they play a significant role not only in development of viability of agriculture in general but also are important to agricultural sustainability.
Geometry of T-duality
Creators: name: Borlaf, Javier
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A "reduced" differential geometry adapted to the presence of abelian isometries is constructed.Classical T-duality diagonalizes in this setting, allowing us to get conveniently the transformation of the relevant geometrical objects such as connections, pullbacks and generalized curvatures.Moreover we can induce privileged maps from the viewpoint of the covariant derivatives in the target-space and in the world-sheet generalizing previous results, at the same time that we can correct connections and curvatures covariantly in order to have a proper transformation under T-duality.
description: Latex, 18 pages
What do emulsification failure and Bose-Einstein condensation have in common?
Creators: name: Sear, R. P.
name: Cuesta, J. A.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Ideal bosons and classical ring polymers formed via self-assembly, are known to have the same partition function, and so analogous phase transitions. In ring polymers, the analogue of Bose-Einstein condensation occurs when a ring polymer of macroscopic size appears. We show that a transition of the same general form occurs within a whole class of systems with self-assembly, and illustrate it with the emulsification failure of a microemulsion phase of water, oil and surfactant. As with Bose-Einstein condensation, the transition occurs even in the absence of interactions.
description: 7 pages, 1 figure, typeset with EUROTeX, uses epsfig
Euphorbia tithymaloides subsp. padifolia 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 tithymaloides
Euphorbia tithymaloides l. subsp. padifolia (l.) v.w. steinm.

description: Euphorbia tithymaloides Linnaeus var. padifolia Linnaeus, Species Plantarum 1: 453. 1753.
"Habitat forte in India." RCN: 3503.
Type not designated.
Original material: [icon] in Dillenius, Hort. Eltham. 2: 383, t. 288, f. 372. 1732.
 Current name: Euphorbia tithymaloides L. subsp. padifolia (L.) V.W. Steinm. (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 514, DOI: 10.5281/zenodo.291971
title: Calcite Spherulite Formations and Their Controls in Halophilic Bacterial Cultures
Creators: name: Jibrin, Zakaria
Publisher: name: University of Nevada, Las Vegas
Year: 2022

description: This study arose from an accidental discovery of calcite spherulites forming on colonies of various halophilic bacteria grown on solid Luria-Bertani medium made containing water from a brine pool in Death Valley, their natural habitat. Further studies with a large spherulite forming bacteria, Pseudoalteromonas haloplanktis, showed that calcite precipitation conditions were the consequence of bacteria using amino acids as a source of carbon and energy, a metabolism that produces NH3 and CO2 waste products. NH3 raises the pH of the medium, turning CO2 into CO32-. Calcium in the natural brine combines with CO32-. The resulting spherulitic calcite precipitation is nano-acicular due to organo-mineral interactions with amino acids. As the bacterial colony grows larger in size, new rows of calcite spherulites emerge outside the old row and a few millimeters inside the colony’s active edge. Starvation kills bacteria in the colony center. Living bacteria degrade dead bacteria recycling them for energy, a process that expels PO43- as well as NH3 and CO2 into the medium. PO43- eventually reaches inhibitory levels that stop further calcite spherulite growth. Calcite spherulite growth eventually resumes once inhibitory PO43- was removed by struvite precipitation. Calcite growth resumed then switched to micro-prismatic until the precipitation of orange guanine monohydrate at the colony center, at this time, 3-fold calcite coats spherulites. This study sheds light on the formation and inhibition of calcite spherulites found with infection induced urolithiasis, a medical condition referring to stone obstructions in the human urinary tract. Similar formations are also found in mollusks and stromatolites. All these examples are morphologically similar due to the inevitable presence of amino acids, peptides, or proteins with various degrees of biological control. A case is made that understanding simpler bacterial biomineralization processes can also illuminate formation processes of the more complex.
Using long short-term memory recurrent neural network in land cover classification on Landsat and Cropland data layer time series
Creators: name: Sun, Ziheng
name: Di, Liping
name: Fang, Hui
Publisher: name: Taylor & Francis
Year: 2019
Subjects: Environmental Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Information Systems not elsewhere classified

description: Land cover maps are significant in assisting agricultural decision making. However, the existing workflow of producing land cover maps is very complicated and the result accuracy is ambiguous. This work builds a long short-term memory (LSTM) recurrent neural network (RNN) model to take advantage of the temporal pattern of crops across image time series to improve the accuracy and reduce the complexity. An end-to-end framework is proposed to train and test the model. Landsat scenes are used as Earth observations, and some field-measured data together with CDL (Cropland Data Layer) datasets are used as reference data. The network is thoroughly trained using state-of-the-art techniques of deep learning. Finally, we tested the network on multiple Landsat scenes to produce five-class and all-class land cover maps. The maps are visualized and compared with ground truth, CDL, and the results of SegNet CNN (convolutional neural network). The results show a satisfactory overall accuracy (> 97% for five-class and > 88% for all-class) and validate the feasibility of the proposed method. This study paves a promising way for using LSTM RNN in the classification of remote sensing image time series.
3-D Inversion of Magnetotelluric Data in Kepahiang Geothermal System, Bengkulu.pdf
Creators: name: Zarkasyi, Ahmad
name: Suhanto, Edi
name: Fahmi, Fikri
name: Asep Sugianto
name: Daud, Yunus
Publisher: name: figshare
Year: 2018
Subjects: subject: Geophysics
subject: FOS: Earth and related environmental sciences

description: Kepahiang geothermal prospect area is located in Kabupaten Kepahiang, Bengkulu Province. The geothermal system in this area is associated with Mt. Kaba volcanic activities. Geologically, quaternary rocks produced by volcanic eruption become the dominant rocks in this area. Geothermal manifestations in Kepahiang Prospect consist of fumarol-solfatara (96-360oC), bicarbonate hot springs (31-34oC) with neutral pH, altered rocks and caldera, as well as thick sulphur sublimation on the summit of Mt. Kaba. MT data acquisition was carried out by the Center for Geological Resources of the Ministry of Energy and Mineral Resources (MEMR). 3-D inversion of MT data in Kepahiang Prospect conducted by using MT3Dinv-X aims to obtain the structure of rocks resistivity in this area. The result shows that 3-D inversion can delineate Kepahiang geothermal system very well. Conductive layer (<10 ohm-m) with approximately 1-1,5 km thickness is indicated as claycap layer of Kepahiang geothermal system which open to Mt. Kaba direction. The zone below the claycap with higher resistivity (20-80 ohm-m) is indicated as reservoir zone, while a body with high resistivity (>100 ohm-m) is interpreted as heat source which is associated with volcanic activity of Mt.Kaba.
Euphorbia tuberosa 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 tuberosa

description: Euphorbia tuberosa Linnaeus, Species Plantarum 1: 456. 1753.
"Habitat in Aegypto & Aethiopia." RCN: 3526.
Type not designated.
Original material: [icon] in Buxbaum, Pl. Minus Cognit. Cent. 2: 27, t. 23. 1728; [icon] in Burman, Rar. Afric. Pl.: 9, t. 4. 1738.
 Current name: Euphorbia tuberosa 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 514, DOI: 10.5281/zenodo.291971
Next-to-leading order jet cross sections in polarized hadronic collisions
Creators: name: de Florian, D.
name: Frixione, S.
name: Signer, A.
name: Vogelsang, W.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We present a next-to-leading order computation in QCD of one-jet and two-jet cross sections in polarized hadronic collisions. Our results are obtained in the framework of a general formalism that deals with soft and collinear singularities using the subtraction method. We construct a Monte Carlo program that generates events at the partonic level. We use this code to give phenomenological predictions for $pp$ collisions at $\sqrt{S}=500$ GeV, relevant for the spin physics program at RHIC. The possibility of using jet data to constrain the poorly known polarized parton densities is examined.
description: 21 pages Latex, uses amssymb.sty and epsfig.sty, 10 ps figures included
An information theoretic model for the linear and nonlinear dissipative structures in irradiated single-walled carbon nanotubes
Creators: name: Ashraf, Afshan
name: Javeed, Sumera
name: Zeeshan, Sumaira
name: Yaqub, Kashif
name: Ahmad, Shoaib
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Experiments with irradiated single-walled carbon nanotubes are shown to generate a set of probability distribution functions and to derive a set of information theoretic entropy-based parameters. Energetic Cs+ ions initiate linear collision cascades and nonlinear thermal spikes in single-walled carbon nanotubes. The probability distribution functions are constructed from the normalized experimental yields of the sputtered atoms and clusters. The information or Shannon entropy and fractal dimension are evaluated for each of the emitted species. Along with the fractal dimension, the information is used to identify and distinguish the energy dissipation processes that generate conditions for monatomic sputtering and clusters emissions.
description: 18 pages, 4 figures
Supporting the mining sector abroad – What space for the European Union?
Creators: name: Farooki, Masuma
Publisher: name: Zenodo
Year: 2017

description: This policy brief addresses how far the responsibilities of the EU and its Member States lie in governing the companies that have headquarters in their jurisdiction. Is the EU remit to enforce regulations within their own jurisdictions and only provide for a 'code of conduct' for their firms abroad? Or is it the responsibility of the governments to ensure their companies, whether at home or abroad, follow the same high standards and principles?
One-loop counterterms for higher derivative regularized Lagrangians
Creators: name: Pronin, P.
name: Stepanyantz, K.
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We explicitly calculate one-loop divergences for an arbitrary field theory model using the higher derivative regularization and nonsingular gauge condition. They are shown to agree with the results found in the dimensional regularization and do not depend on the form of regularizing term. So, the consistency of the higher derivative regularization is proven at the one-loop level. The result for the Yang-Mills theory is reproduced.
description: 10 pages, Latex, minor typos corrected
Optimal designs for estimating a choice hierarchy by a general nested multinomial logit model
Creators: name: Wilfrido J. Paredes-García
name: Castaño-Tostado, Eduardo
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Neuroscience
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Science Policy

description: In choice experiments the process of decision-making can be more complex than the proposed by the Multinomial Logit Model (MNL). In these scenarios, models such as the Nested Multinomial Logit Model (NMNL) are often employed to model a more complex decision-making. Understanding the decision-making process is important in some fields such as marketing. Achieving a precise estimation of the models is crucial to the understanding of this process. To do this, optimal experimental designs are required. To construct an optimal design, information matrix is key. A previous research by others has developed the expression for the information matrix of the two-level NMNL model with two nests: Alternatives nest (J alternatives) and No-Choice nest (1 alternative). In this paper, we developed the likelihood function for a two-stage NMNL model for M nests and we present the expression for the information matrix for 2 nests with any amount of alternatives in them. We also show alternative D-optimal designs for No-Choice scenarios with similar relative efficiency but with less complex alternatives which can help to obtain more reliable answers and one application of these designs.
Branching Processes for QuickCheck Generators
Creators: name: Mista, Agustín
name: Russo, Alejandro
name: Hughes, John
Publisher: name: arXiv
Year: 2018
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In QuickCheck (or, more generally, random testing), it is challenging to control random data generators' distributions---specially when it comes to user-defined algebraic data types (ADT). In this paper, we adapt results from an area of mathematics known as branching processes, and show how they help to analytically predict (at compile-time) the expected number of generated constructors, even in the presence of mutually recursive or composite ADTs. Using our probabilistic formulas, we design heuristics capable of automatically adjusting probabilities in order to synthesize generators which distributions are aligned with users' demands. We provide a Haskell implementation of our mechanism in a tool called DRaGeN and perform case studies with real-world applications. When generating random values, our synthesized QuickCheck generators show improvements in code coverage when compared with those automatically derived by state-of-the-art tools.
description: Extended version
title: ADCO, Privilèges de l'Ordre de Cîteaux en matière de succession (Fin XVe siècle), Cart. 176 (11 H 8), f. 0120
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: CG21/F.PETOT/2017
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire

description: Privilèges de l'Ordre de Cîteaux en matière de succession (Fin XVe siècle), Archives départementales de la Côte-d'Or, Cart. 176 (11 H 8), f. 0120, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Privilèges de l'Ordre de Cîteaux en matière de succession (Fin XVe siècle), Archives départementales de la Côte-d'Or, Cart. 176 (11 H 8), f. 0120, 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
Additional file 3 of Incidence of anterior uveitis in patients with axial spondyloarthritis treated with anti-TNF or anti-IL17A: a systematic review, a pairwise and network meta-analysis of randomized controlled trials
Creators: name: Roche, Damien
name: Badard, Martin
name: Boyer, Laurent
name: Lafforgue, Pierre
name: Pham, Thao
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Science Policy
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Funnel plots.
Characterization and correlation of pathogenicity of Botryodiplodia theobromae isolates, the causal agent of black root rot of mulberry (Morus spp.)
Creators: name: P. Sowmya
name: V. Nishitha Naik
name: V. Sivaprasad
name: V. Girish Naik
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: The study reports the characterization of 10 isolates of mulberry black root rot causing fungus, Botryodiplodia theobromae obtained from the infected gardens of Karnataka, Andhra Pradesh and Tamil Nadu. The analysis based on cultural, morphological, pathogenicity and molecular markers (RAPD and SSRs) revealed significant variations among the isolates. Based on the disease reaction on susceptible V-1 variety, isolates were grouped as pathogenic (60%), moderate pathogenic (20%) and non-pathogenic (20%). Among all isolates, RAPDs revealed higher marker polymorphism however, based on Shannon’s Information Index (I) SSRs were more informative (0.781) compared to the former (0.444). Stepwise Multiple Regression Analysis (MRA) indicated a total of 5, 5 and 3 molecular markers were found to correlate with disease symptoms. Screening of germplasm using multiple strains of virulent isolates will enhance possibilities of locating diverse resistant genes. Pyramiding of these genes will aid in development of mulberry variety with durable resistance and sustainable sericulture.
D6.2 Dissemination and Communication Plan
Creators: name: Perperidou, Dimitra
name: Antunes, Paula
name: Santos, Rui
Publisher: name: Zenodo
Year: 2018

description: The purpose of the Deliverable D6.2 Dissemination and Communication Plan (update) is to update, revise where necessary and refine the dissemination and communication strategy that has been and will be followed, as well as to elaborate on the project’s dissemination and communication activities that have been and will be executed throughout the duration of the project. In more detail, the present document provides an update and to the D6.1 Dissemination and Communication Plan that was submitted in M04 of the project, and further defines the strategy, activities and tools which the DIANA project will use to disseminate the project results and to communicate with the wider public.
Technical Architecture of Terminology Services 4 NFDI (TS4NFDI)
Creators: name: Baum, Roman
name: Bouazzouni, Syphax
name: Fillies, Jan
name: Karam, Naouel
name: Koepler, Oliver
name: Oladazimi, Pooya
name: Sasse, Julia
Publisher: name: Zenodo
Year: 2025
Subjects: subject: Terminology
subject: Terminology Service

description: Abstract

This document describes the technical architecture of Terminology Services 4 NFDI. Terminology Services 4 NFDI (TS4NFDI) aims to standardize and harmonize collaborative terminology management within the NFDI. The development of the cross-domain basic service TS4NFDI for the provision, curation, development, harmonization, and mapping of terminologies is funded by Base4NFDI, a joint consortium of all 26 subject consortia of NFDI. TS4NFDI is currently in the initialization phase. By the end of this phase (end of Q4/2024), TS4NFDI will provide a centralized and harmonized API Gateway along with  a Terminology Service Suite (TSS). The TSS will feature JavaScript-based Graphical User Interface (GUI) widgets that provide direct access to at least three different terminology service software stacks: Ontoportal, Skosmos, and Ontology Lookup Service. These software stacks, available across multiple instances, will be integrated into a unified terminology service access point for web services.
Euphorbia verrucosa 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 verrucosa

description: Euphorbia verrucosa Linnaeus, Species Plantarum 1: 459. 1753.
"Habitat in Gallia, Helvetia." RCN: 3542.
Type not designated.
Original material: Herb. Linn. No. 630.54? (LINN); Herb. Burser XVI(2): 38 (UPS).
 Current name: Euphorbia verrucosa L. (Euphorbiaceae).
 Note: Khan (in Notes Roy. Bot. Gard. Edinburgh 25: 103. 1964) used the name in the sense of E. pubescens Vahl, based on 630.51 (LINN). Dandy (in Watsonia 7: 163. 1969) rejected the name as ambiguous, though Riedl (in Taxon 19: 798. 1970) argued for its retention. Lambinon (in Taxon 30: 363. 1981) proposed its formal rejection but this was declined by the Committee for Spermatophyta (in Taxon 35: 559. 1986), partly because 630.51 was a post-1753 addition to Linnaeus’ collection and cannot be the type of the name.
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 514, DOI: 10.5281/zenodo.291971
การประเมินคุณภาพทางด้านฉลาก ด้านกายภาพ ค่าความเป็นกรด-ด่าง และทางจุลชีววิทยาของน้ำดื่มบรรจุขวดที่จำหน่ายในเขตเทศบาลนครอุบลราชธานี ประเทศไทย
Creators: name: สุบัณฑิต นิ่มรัตน์
Publisher: name: มหาวิทยาลัยบูรพา
Year: 2021
Subjects: น้ำดื่มบรรจุขวดชนิดพลาสติกใส
น้ำดื่มบรรจุขวดพลาสติกขาวขุ่น
แบคทีเรียกลุ่มโคลิฟอร์ม
ฟีคัลโคลิฟอร์ม
E. coli

description: วารสารวิชาการและวิจัย มทร.พระนคร สาขาวิทยาศาสตร์และเทคโนโลยี, 15, 1, 26-38
BPS Monopoles
Creators: name: Sutcliffe, Paul
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We review classical BPS monopoles, their moduli spaces, twistor descriptions and dynamics. Particular emphasis is placed upon symmetric monopoles, where recent progress has been made. Some remarks on the role of monopoles in S-duality and Seiberg-Witten theory are also made.
description: A 43 page review to appear in the International Journal of Modern Physics A
The excitation and propagation characteristics of acoustic waves in the cylindrically bounded positive column of a mercury arc discharge
Creators: name: Hurle, Bernard A.
Publisher: name: Loughborough University
Year: 2021
Subjects: subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences

description: The excitation and propagation characteristics of acoustic waves in the cylindrically bounded positive column of a mercury arc discharge
On the ocean wave attenuation rate in grease-pancake ice, a comparison of viscous layer propagation models with field data
Creators: name: De Santi, Francesca
name: De Carolis, Giacomo
name: Olla, Piero
name: Doble, Martin
name: Cheng, Sukun
name: Shen, Hayley H.
name: Thomson, Jim
Publisher: name: arXiv
Year: 2018
Subjects: subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: The ability of viscous layer models to describe the attenuation of waves propagating in grease-pancake ice covered ocean is investigated. In particular, the Keller's model Keller [1998], the two-layer viscous model [De Carolis and Desiderio 2002] and the close-packing model [De Santi and Olla 2017] are extensively validated by using wave attenuation data collected during two different field campaigns (Weddell Sea, Antarctica, April 2000; western Arctic Ocean, autumn 2015). We use these data to validate the three models by minimizing the differences between the measured and model wave attenuation; the retrieved ice thickness is then compared with measured data. The three models allow to fit the observation data, but with important differences in the three cases. The close-packing model shows good agreement with the data for values of the ice viscosity comparable to those of grease ice in laboratory experiments. For thin ice, the Keller's model performance is similar to that of the close-packing model, while for thick ice much larger values of the ice viscosity are required, which reflects the different ability of the two models to take into account the effect of pancakes. The improvement of performance over the Keller's model achieved by the two-layer viscous model is minimal, which reflects the marginal role in the dynamics of a finite eddy viscosity in the ice-free layer. A good ice thickness retrieval can be obtained by considering the ice layer as the only source in the wave dynamics, so that the wind input can be disregarded.
A linear thermohaline oscillator driven by stochastic atmospheric forcing
Creators: name: Griffies, Stephen M.
name: Tziperman, Eli
Publisher: name: arXiv
Year: 1995
Subjects: subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: FOS: Physical sciences

description: The interdecadal variability of a stochastically forced four-box model of the oceanic meridional thermohaline circulation (THC) is described and compared to the THC variability in the coupled ocean-atmosphere GCM of Delworth, Manabe, and Stouffer (1993). The box model is placed in a linearly stable thermally dominant mean state under mixed boundary conditions. A linear stability analysis of this state reveals one damped oscillatory THC mode in addition to purely damped modes. The variability of the model under a moderate amount of stochastic forcing, meant to emulate the random variability of the atmosphere affecting the coupled model's interdecadal THC variability, is studied. A linear interpretation, in which the damped oscillatory mode is of primary importance, is sufficient for understanding the mechanism accounting for the stochastically forced variability. Direct comparison of the variability in the box model and coupled GCM reveals common qualitative aspects. Such a comparison supports, although does not verify, the hypothesis that the coupled model's THC variability can be interpreted as the result of atmospheric weather exciting a linear damped oscillatory THC mode.
description: Paper accepted by Journal of Climate. This is a Latex source file. Figures are included in an adjacent uuencoded file. Directions for uncompressing are pre-pended to the figures. User may wish to obtain postscript version from http://www.gfdl.gov/~smg/pointers/geo_physics_abstracts/GT.html Revisions are merely due to changes in e-print submission format; paper's content has not changed.
Sarcostemma viminale W. T. Aiton
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
Gentianales
Apocynaceae
Sarcostemma
Sarcostemma viminale

description: Euphorbia viminalis Linnaeus, Species Plantarum 1: 452. 1753.
"Habitat in Africae maritimis." RCN: 1753.
 Replaced synonym of: Cynanchum aphyllum L. (1768), nom. illeg.
 Lectotype (Liede & Meve in Bot. J. Linn. Soc. 112: 2, f. 1. 1993): [icon] "Felfel Tavil, Piper longum Aegyptium" in Alpino, De Plantis Aegypti: 190, t. 53. 1735. - Epitype (Liede & Meve in Bot. J. Linn. Soc. 118: 47. 1995): Bassi s.n. Herb. Linn. No. 308.1 (LINN).
 Current name: Sarcostemma viminale (L.) W.T. Aiton (Asclepiadaceae).
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 514, DOI: 10.5281/zenodo.291971
Optimal designs for estimating a choice hierarchy by a general nested multinomial logit model
Creators: name: Wilfrido J. Paredes-García
name: Castaño-Tostado, Eduardo
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Neuroscience
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Science Policy

description: In choice experiments the process of decision-making can be more complex than the proposed by the Multinomial Logit Model (MNL). In these scenarios, models such as the Nested Multinomial Logit Model (NMNL) are often employed to model a more complex decision-making. Understanding the decision-making process is important in some fields such as marketing. Achieving a precise estimation of the models is crucial to the understanding of this process. To do this, optimal experimental designs are required. To construct an optimal design, information matrix is key. A previous research by others has developed the expression for the information matrix of the two-level NMNL model with two nests: Alternatives nest (J alternatives) and No-Choice nest (1 alternative). In this paper, we developed the likelihood function for a two-stage NMNL model for M nests and we present the expression for the information matrix for 2 nests with any amount of alternatives in them. We also show alternative D-optimal designs for No-Choice scenarios with similar relative efficiency but with less complex alternatives which can help to obtain more reliable answers and one application of these designs.