cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Interpreting the First CMS and ATLAS SUSY Results
Creators: name: Akula, Sujeet
name: Chen, Ning
name: Feldman, Daniel
name: Liu, Mengxi
name: Liu, Zuowei
name: Nath, Pran
name: Peim, Gregory
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The CMS and the ATLAS Collaborations have recently reported on the search for supersymmetry with 35 pb$^{-1}$ of data and have put independent limits on the parameter space of the supergravity unified model with universal boundary conditions at the GUT scale for soft breaking, i.e., the mSUGRA model. We extend this study by examining other regions of the mSUGRA parameter space in $A_0$ and $\tanβ$. Further, we contrast the reach of CMS and ATLAS with 35 pb$^{-1}$ of data with the indirect constraints, i.e., the constraints from the Higgs boson mass limits, from flavor physics and from the dark matter limits from WMAP. Specifically it is found that a significant part of the parameter space excluded by CMS and ATLAS is essentially already excluded by the indirect constraints and the fertile region of parameter space has yet to be explored. We also emphasize that gluino masses as low as 400 GeV but for squark masses much larger than the gluino mass remain unconstrained and further that much of the hyperbolic branch of radiative electroweak symmetry breaking, with low values of the Higgs mixing parameter $μ$, is essentially untouched by the recent LHC analysis.
description: 3 figure panels, 10 plots
Rhopalopsole sinuacercia Sivec & Shimizu 2012, nom. nov.
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Leuctridae
Rhopalopsole
Rhopalopsole sinuacercia

description: Rhopalopsole sinuacercia Sivec & Shimizu, nom. nov. Rhopalopsole longicercia Sivec & Shimizu 2008:89. No holotype designated Material examined. Holotype ♂, 5♂, 5♀ paratypes, Japan, Shizuoka Prefecture, Kiyozasa Pass, 24 May 1986, M. Satô (P. Zwick collection). Additional paratypes all from Japan: Oyana-gawa, 800 m, Kaji Zawa-cho, Yamanasi, 29 May 1993, T. Hattari, 3♂, 3♀ (Lake Biwa Museum). Kanagawa, Yamakita-machi, Yoki-zawa, small tributary, 10 May 1996, T. Shimizu, 8♂, 2♀ (Lake Biwa Museum). Shizuoka Prefecture, Haruno-San, 26 May 1986, M. Satô 4♂ (P. Zwick collection). Detailed descriptions and figures are available in Sivec et al. 2008, pages 89-91. The new name is required because the original descriptions for adults of this species are presented as a species complex description without designation of a holotype. An additional problem occurs in selection of “longicercia” as the original specific epithet because R. longicerca Kawai 1968 is rendered as R. longicercia Kawai on page 101 in Sivec et al. (2008). Etymology. The species name refers to the slightly sinuate curvature of the cerci in dorsal and lateral aspect. Diagnosis. Males of this species have a relatively long, acute epiproct, relatively short, unforked lateral processes with swollen bases on tergum 10, long sinuate cerci with terminal, inwardly-directed spine, and an unusual, warty process set near the posteromedian point of tergum 9. This combination of characters is otherwise unknown (Sivec et al. 2008), however as Sivec et al. (2008) indicate, additional, closely related species are expected.
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on pages 137-139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Sivec, I., P. P. Harper, & T. Shimizu. 2008. Contribution to the study of the Oriental genus Rhopalopsole (Plecoptera: Leuctridae). Scopolia, 64: 1 - 122.", "Kawai, T. 1968. Stoneflies (Plecoptera) from the Ryukyu Islands in the Bishop Museum, Honolulu. Pacific Insects, 10: 231 - 239."]}
title: Neonicotinoids and bees: an overview on concentrations, side effects and risk assessment
Creators: name: Blacquière, Tjeerd
name: Smagghe, Guy
name: Van Gestel, Cornelis A. M.
name: Mommaerts, Veerle
Publisher: name: Julius Kühn-Institut
Year: 2012

description: Julius-Kühn-Archiv; 437; 61
Synthesis from Recursive-Components Libraries
Creators: name: Lustig, Yoad
name: Vardi, Moshe
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: B.1.2;B.5.2

description: Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course, rarely happens in real life. In real life, almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. In 2009 we introduced LTL synthesis from libraries of reusable components. Here, we extend the work and study synthesis from component libraries with "call and return"' control flow structure. Such control-flow structure is very common in software systems. We define the problem of Nested-Words Temporal Logic (NWTL) synthesis from recursive component libraries, where NWTL is a specification formalism, richer than LTL, that is suitable for "call and return" computations. We solve the problem, providing a synthesis algorithm, and show the problem is 2EXPTIME-complete, as standard synthesis.
description: In Proceedings GandALF 2011, arXiv:1106.0814
Rhopalopsole Vn A
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Leuctridae
Rhopalopsole

description: Rhopalopsole Vn A (Fig. 12) Material examined. Vietnam: Cao Bang, Ba Be National Park, jct road to Lake Ba Be and trail to ethnic village, 19 May 1995, ROM 956101, D.C. Currie, K. Ciruna, J. Whiting, 1♀ (ROM). Male. Unknown. Female. Pigment pattern obscured by teneral specimen condition. Forewing length 6.0 mm. Sternum 7 prolonged as a narrow, apically rounded, tongue-shaped projection; lateral margins of projection sclerotized, median field and apex membranous (Fig. 12). Sternum 8 with a broad, transverse sclerite near posterior margin, and a membranous, hairy basolateral area (Fig. 12). Larva. Unknown. Diagnosis. The subgenital plate of this female does not closely match that of any of the known species, however, the projection from sternum 7 is generally similar to that of R. gladifera (Zwick 1977, Sivec et al. 2008), a species known from Bhutan.
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on page 139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Zwick, P. 1977. Ergebnisse der Bhutan-Expedition 1972 des Naturhistorischen Museums in Basel. Plecoptera. Entomologica Basiliensia, 2: 85 - 134.", "Sivec, I., P. P. Harper, & T. Shimizu. 2008. Contribution to the study of the Oriental genus Rhopalopsole (Plecoptera: Leuctridae). Scopolia, 64: 1 - 122."]}
Specific heat study of Ga1-xMnxAs
Creators: name: Yuldashev, Sh. U.
name: Igamberdiev, Kh. T.
name: Lee, Sejoon
name: Kwon, Y. H.
name: Kang, T. W.
name: Kim, Yongmin
name: Im, Hyunsik
name: Shashkov, A. G.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Specific heat measurements were used to study the magnetic phase transition in Ga1-xMnxAs. Two different types of Ga1-xMnxAs samples have been investigated. The sample with a Mn concentration of 1.6% shows insulating behavior, and the sample with a Mn concentration of 2.6% is metallic. The temperature dependence of the specific heat for both samples reveals a pronounced lambda-shaped peak near the Curie temperature, which indicates a second-order phase transition in these samples. The critical behavior of the specific heat for Ga1-xMnxAs samples is consistent with the mean-field behavior with Gaussian fluctuations of the magnetization in the close vicinity of TC.
description: 12 pages, 5 figures
Valproic acid biotransformation and toxicity in sandwich-cultured rat hepatocytes
Creators: name: Surendradoss, Jayakumar
Publisher: name: University of British Columbia
Year: 2014

description: Valproic acid (VPA) is a widely prescribed broad-spectrum antiepileptic drug. Clinical use of VPA is associated with a rare, but possibly fatal, idiosyncratic hepatotoxicity. The mechanism of VPA hepatotoxicity is not known, but it may involve reactive metabolites of VPA. Using a sandwich-cultured rat hepatocyte model, the present work investigated the toxicity of two specific VPA metabolites, (E)-2,4-diene-VPA and valproyl-1-O-β acyl glucuronide (VPA-G), and their role in the hepatocyte toxicity of VPA. The overall experimental strategy was to modulate the in situ formation of these two metabolites and determine the consequences on VPA toxicity in sandwich-cultured rat hepatocytes. VPA toxicity was assessed by markers such as 2′,7′-dichlorofluorescein formation (oxidative stress), BODIPY 558/568 C12 accumulation (steatosis), lactate dehydrogenase release (necrosis), and cellular content of total glutathione (antioxidant status). (E)-2-ene-VPA, which is a β-oxidation metabolite of VPA, was also included in the experiments concerning (E)-2,4-diene-VPA, as it formed relatively large amounts of (E)-2,4-diene-VPA. Based on the modulatory experiments with phenobarbital and 1-aminobenzotriazole, in situ generated (E)-2,4-diene-VPA did not appear to contribute to VPA toxicity in sandwich-cultured rat hepatocytes. However, the results from (E)-2-ene-VPA experiments indicated the toxic potential of in situ generated (E)-2,4-diene-VPA in sandwich-cultured rat hepatocytes, when generated at high concentrations. As part of this study, a sensitive and rapid ultra-high performance liquid chromatography – tandem mass spectrometry method for the quantification of VPA-G in hepatocyte culture medium was developed, validated, and applied successfully to quantify in situ concentrations of VPA-G. From a comprehensive screening of several known inducers of uridine 5'-diphospho-glucuronosyltransferase enzymes, this study identified β-naphthoflavone, L-sulforaphane, and phenobarbital to be effective in increasing the in situ formation of VPA-G from VPA in sandwich-cultured rat hepatocytes. According to the findings with β-naphthoflavone and borneol, in situ generated VPA-G did not appear to be toxic to sandwich-cultured rat hepatocytes and was unlikely to contribute to the hepatocyte toxicity of VPA. Overall, the results of the present study add value to the existing knowledge on the role of reactive metabolites of VPA in VPA hepatotoxicity. Future studies should investigate the role of VPA-CoA thioester formation on VPA toxicity in sandwich-cultured rat hepatocytes.
Additional file 1 of Calcaneal fracture maps and their determinants
Creators: name: Yu, Qingwen
name: Li, Zhirui
name: Li, Jiantao
name: Yu, Qinghua
name: Zhang, Licheng
name: Liu, Daohong
name: Zhang, Mingzhu
name: Tang, Peifu
Publisher: name: figshare
Year: 2022
Subjects: subject: Space Science
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Hematology

description: Additional file 1. Reduction of the fragments. a Before reduction, b After reduction.
title: Effects of neonicotinoid dust from maize seed-dressing on honeybees
Creators: name: Sgolastra, Fabio
name: Renzi, Teresa
name: Draghetti, Stefano
name: Scio, Claudio
name: Medrzycki, Piotr
name: Lodesani, Marco
name: Maini, Stefano
name: Porrini, Claudio
Publisher: name: Julius Kühn-Institut
Year: 2012

description: Julius-Kühn-Archiv; 437; 62
alobata Harrison & Stark
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia

description: R. alobata Harrison & Stark 2008 Vinh Phu
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on page 139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Harrison, A. B. & B. P. Stark. 2008. Rhopalopsole alobata (Plecoptera: Leuctridae), a new stonefly species from Vietnam. Illiesia, 4: 76 - 80."]}
Quantization of Planetary Systems and its Dependency on Stellar Rotation
Creators: name: Zoghbi, Jean-Paul
Publisher: name: arXiv
Year: 2011
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences
subject: 85-02

description: With the discovery of now more than 500 exoplanets, we present a statistical analysis of the planetary orbital periods and their relationship to the rotation periods of their parent stars. We test whether the structure of planetary orbits, i.e. planetary angular momentum and orbital periods are 'quantized' in integer or half-integer multiples with respect to the parent stars' rotation period. The Solar System is first shown to exhibit quantized planetary orbits that correlate with the Sun's rotation period. The analysis is then expanded over 443 exoplanets to statistically validate this quantization and its association with stellar rotation. The results imply that the exoplanetary orbital periods are highly correlated with the parent star's rotation periods and follow a discrete half-integer relationship with orbital ranks n=0.5, 1.0, 1.5, 2.0, 2.5, etc. The probability of obtaining these results by pure chance is p<0.024. We discuss various mechanisms that could justify this planetary quantization, such as the hybrid gravitational instability models of planet formation, along with possible physical mechanisms such as inner discs magnetospheric truncation, tidal dissipation, and resonance trapping. In conclusion, we statistically demonstrate that a quantized orbital structure should emerge naturally from the formation processes of planetary systems and that this orbital quantization is highly dependent on the parent stars rotation periods.
description: Accepted in PASA, 27 February 2011. 31 pages, 3 Tables, 6 Figures. Publications of Astronomical Society in Australia
Rhopalopsole sinensis Yang & Yang 1993
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Leuctridae
Rhopalopsole
Rhopalopsole sinensis

description: R. sinensis Yang & Yang 1993 Lao Cai
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on page 139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Yang, D. & C. Yang. 1993. New and little-known species of Plecoptera from Guizhou Province (III). Entomotaxonomia, 15: 235 - 238."]}
Additional file 2 of Calcaneal fracture maps and their determinants
Creators: name: Yu, Qingwen
name: Li, Zhirui
name: Li, Jiantao
name: Yu, Qinghua
name: Zhang, Licheng
name: Liu, Daohong
name: Zhang, Mingzhu
name: Tang, Peifu
Publisher: name: figshare
Year: 2022
Subjects: subject: Space Science
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Hematology

description: Additional file 2. The method to copy fracture lines (Take the superior surface for example). The template was at the bottom, and the fracture image was on the template. A new layer was created on the top, and the fracture line was traced with the pencil tool of Photoshop.
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations
Creators: name: Appold, Christian
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4

description: Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory requirements. To diminish this problem, the use of partitioned transition relations has been proposed. However, there are still systems which can not be verified at all. Furthermore, if the granularity of the partitions is too fine, the time required for verification may increase. In this paper we target the symbolic verification of asynchronous concurrent systems. For such systems we present an approach which uses similarities in the transition relation to get further memory reductions and runtime improvements. By applying our approach, even the verification of systems with an previously intractable transition relation becomes feasible.
description: In Proceedings GandALF 2011, arXiv:1106.0814
A Low-Complexity Joint Detection-Decoding Algorithm for Nonbinary LDPC-Coded Modulation Systems
Creators: name: Wang, Xuepeng
name: Bai, Baoming
name: Ma, Xiao
Publisher: name: arXiv
Year: 2010
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: In this paper, we present a low-complexity joint detection-decoding algorithm for nonbinary LDPC codedmodulation systems. The algorithm combines hard-decision decoding using the message-passing strategy with the signal detector in an iterative manner. It requires low computational complexity, offers good system performance and has a fast rate of decoding convergence. Compared to the q-ary sum-product algorithm (QSPA), it provides an attractive candidate for practical applications of q-ary LDPC codes.
description: 5 pages, 8 figures, to be presented at the IEEE Symposium on Information Theory (ISIT 2010) in Austin, Texas, June 2010
The Necklace: equatorial and polar outflows from the binary central star of the new planetary nebula IPHASXJ194359.5+170901
Creators: name: Corradi, R. L. M.
name: Sabin, L.
name: Miszalski, B.
name: Rodríguez-Gil, P.
name: Santander-García, M.
name: Jones, D.
name: Drew, J.
name: Mampaso, A.
name: Barlow, M.
name: Rubio-Díez, M. M.
name: Casares, J.
name: Viironen, K.
name: Frew, D. J.
name: Giammanco, C.
name: Greimel, R.
name: Sale, S.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: IPHASXJ194359.5+170901 is a new high-excitation planetary nebula with remarkable characteristics. It consists of a knotty ring expanding at a speed of 28 km/s, and a fast collimated outflow in the form of faint lobes and caps along the direction perpendicular to the ring. The expansion speed of the polar caps is 100 km/s, and their kinematical age is twice as large as the age of the ring. Time-resolved photometry of the central star of IPHASXJ194359.5+170901 reveals a sinusoidal modulation with a period of 1.16 days. This is interpreted as evidence for binarity of the central star, the brightness variations being related to the orbital motion of an irradiated companion. This is supported by the spectrum of the central star in the visible range, which appears to be dominated by emission from the irradiated zone, consisting of a warm (6000-7000 K) continuum, narrow C III, C IV, and N III emission lines, and broader lines from a flat H I Balmer sequence in emission. IPHASXJ194359.5+170901 helps to clarify the role of (close) binaries in the formation and shaping of planetary nebulae. The output of the common-envelope evolution of the system is a strongly flattened circumstellar mass deposition, a feature that seems to be distinctive of this kind of binary system. Also, IPHASXJ194359.5+170901 is among the first post-CE PNe for which the existence of a high-velocity polar outflow has been demonstrated. Its kinematical age might indicate that the polar outflow is formed before the common-envelope phase. This points to mass transfer onto the secondary as the origin, but alternative explanations are also considered.
description: Accepted for publication on MNRAS
Additional file 3 of Calcaneal fracture maps and their determinants
Creators: name: Yu, Qingwen
name: Li, Zhirui
name: Li, Jiantao
name: Yu, Qinghua
name: Zhang, Licheng
name: Liu, Daohong
name: Zhang, Mingzhu
name: Tang, Peifu
Publisher: name: figshare
Year: 2022
Subjects: subject: Space Science
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Hematology

description: Additional file 3. Anterior and posterior initial fracture point. The location of the anterior initial fracture spot coincided with the site of the lateral process of the talus (red cycle). The site of the posterior initial fracture spot was corresponding with the position of the posterior process of the talus (yellow cycle).
New perturbation expansions in quantum chromodynamics and the determination of $α_s$
Creators: name: Caprini, Irinel
name: Fischer, Jan
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We consider a new class of perturbation expansions, which incorporate in a systematic way the available information about the divergent character of the perturbation series in QCD. The new expansion functions, which replace the powers of the coupling, are defined by the analytic continuation in the Borel plane, achieved through an optimal conformal mapping. We consider several possibilities of implementing the known behaviour of the Borel transform near the leading singularities in the complex plane and using the corresponding expansions. These expansions have the same asymptotic convergence rate, but differ at low orders. We show that the new expansions allow a precise determination of the strong coupling $α_s$ from the hadronic decays of the $τ$ lepton.
Rhopalopsole sipang Sivec & Harper 2008
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Leuctridae
Rhopalopsole
Rhopalopsole sipang

description: R. sipang Sivec & Harper 2008 Lao Cai
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on page 139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Sivec, I., P. P. Harper, & T. Shimizu. 2008. Contribution to the study of the Oriental genus Rhopalopsole (Plecoptera: Leuctridae). Scopolia, 64: 1 - 122."]}
Computing the Reveals Relation in Occurrence Nets
Creators: name: Haar, Stefan
name: Kern, Christian
name: Schwoon, Stefan
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causal precedence, concurrency, and conflict between events. Here, we explore the data structure further, to determine the following relation: event a is said to reveal event b iff the occurrence of a implies that b inevitably occurs, too, be it before, after, or concurrently with a. Knowledge of reveals facilitates in particular the analysis of partially observable systems, in the context of diagnosis, testing or verification; it can also be used to generate more concise representations of behaviours via abstractions. The reveals relation was previously introduced in the context of fault diagnosis, where it was shown that the reveals relation was decidable: for a given pair a,b in the unfolding U of a safe Petri net N, a finite prefix P of U is sufficient to decide whether or not a reveals b. In this paper, we first considerably improve the bound on |P|. We then show that there exists an efficient algorithm for computing the relation on a given prefix. We have implemented the algorithm and report on experiments.
description: In Proceedings GandALF 2011, arXiv:1106.0814
Simultaneous Measurement of Torsional Oscillator and NMR of Very Dilute 3He in Solid 4He
Creators: name: Toda, Ryo
name: Gumann, Patryk
name: Kosaka, Kei
name: Kanemoto, Masatomo
name: Onoe, Wakana
name: Sasaki, Yutaka
Publisher: name: arXiv
Year: 2010
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We have investigated the NMR properties of dilute 3He impurities in solid 4He contained in a torsional oscillator (TO) by the simultaneous measurement of the NMR and the torsional oscillator response of the so-called supersolid 4He. From measurements on samples with one hundred to a few hundred ppm of 3He, we have found three different states of 3He. The first is the homogeneously distributed isolated 3He atom in a solid matrix of 4He. The second is the 3He cluster in a homogeneous 4He matrix, which appears below the phase separation temperature of a solid mixture. The third is the 3He cluster in some nonuniform part of a 4He crystal. We find that 3He atoms contained in the third component remain in a nearby location even above the phase separation temperature. Based on the fact that even a ppm of 3He affects the supersolid response in a TO below and above the phase separation temperature, we propose that the nonuniform part of a crystal that holds the third type of 3He and thus has a higher local concentration of 3He plays an important role in the supersolid phenomenon in a TO.
description: 5 pages, 5 figures, Accepted for publication in Physical Review B
Efficient stochastic thermostatting of path integral molecular dynamics
Creators: name: Ceriotti, Michele
name: Parrinello, Michele
name: Markland, Thomas E.
name: Manolopoulos, David E.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: The path integral molecular dynamics (PIMD) method provides a convenient way to compute the quantum mechanical structural and thermodynamic properties of condensed phase systems at the expense of introducing an additional set of high-frequency normal modes on top of the physical vibrations of the system. Efficiently sampling such a wide range of frequencies provides a considerable thermostatting challenge. Here we introduce a simple stochastic path integral Langevin equation (PILE) thermostat which exploits an analytic knowledge of the free path integral normal mode frequencies. We also apply a recently-developed colored-noise thermostat based on a generalized Langevin equation (GLE), which automatically achieves a similar, frequency-optimized sampling. The sampling efficiencies of these thermostats are compared with that of the more conventional Nosé-Hoover chain (NHC) thermostat for a number of physically relevant properties of the liquid water and hydrogen-in-palladium systems. In nearly every case, the new PILE thermostat is found to perform just as well as the NHC thermostat while allowing for a computationally more efficient implementation. The GLE thermostat also proves to be very robust delivering a near-optimum sampling efficiency in all of the cases considered. We suspect that these simple stochastic thermostats will therefore find useful application in many future PIMD simulations.
description: Accepted for publication on JCP
Constraint Propagation of $C^2$-adjusted Formulation - Another Recipe for Robust ADM Evolution System
Creators: name: Tsuchiya, Takuya
name: Yoneda, Gen
name: Shinkai, Hisa-aki
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: With a purpose of constructing a robust evolution system against numerical instability for integrating the Einstein equations, we propose a new formulation by adjusting the ADM evolution equations with constraints. We apply an adjusting method proposed by Fiske (2004) which uses the norm of the constraints, C2. One of the advantages of this method is that the effective signature of adjusted terms (Lagrange multipliers) for constraint-damping evolution is pre-determined. We demonstrate this fact by showing the eigenvalues of constraint propagation equations. We also perform numerical tests of this adjusted evolution system using polarized Gowdy-wave propagation, which show robust evolutions against the violation of the constraints than that of the standard ADM formulation.
description: 11 pages, 5 figures. To be published in Phys. Rev. D
Additional file 10 of A potential implication of UDP-glucuronosyltransferase 2B10 in the detoxification of drugs used in pediatric hematopoietic stem cell transplantation setting: an in silico investigation
Creators: name: Robin, Shannon
name: Hassine, Khalil Ben
name: Muthukumaran, Jayaraman
name: Jurkovic Mlakar, Simona
name: Krajinovic, Maja
name: Nava, Tiago
name: Uppugunduri, Chakradhara Rao S.
name: Ansari, Marc
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 10. Workflow of molecular docking predictions and molecular dynamics simulations performed to find potential UGT2B10 ligands.
Additional file 11 of A potential implication of UDP-glucuronosyltransferase 2B10 in the detoxification of drugs used in pediatric hematopoietic stem cell transplantation setting: an in silico investigation
Creators: name: Robin, Shannon
name: Hassine, Khalil Ben
name: Muthukumaran, Jayaraman
name: Jurkovic Mlakar, Simona
name: Krajinovic, Maja
name: Nava, Tiago
name: Uppugunduri, Chakradhara Rao S.
name: Ansari, Marc
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 11. List of tools, software and websites used for multiple template homology modeling of human UGT2B10, docking predictions and MD simulations.
Additional file 1 of A potential implication of UDP-glucuronosyltransferase 2B10 in the detoxification of drugs used in pediatric hematopoietic stem cell transplantation setting: an in silico investigation
Creators: name: Robin, Shannon
name: Hassine, Khalil Ben
name: Muthukumaran, Jayaraman
name: Jurkovic Mlakar, Simona
name: Krajinovic, Maja
name: Nava, Tiago
name: Uppugunduri, Chakradhara Rao S.
name: Ansari, Marc
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 1. List of in vitro and in vivo UGT2B10 drug ligands. IC50: half inhibitory concentration; Ki: inhibitory constant; Km: Michaelis constant; N/A: not applicable.
Higgs searches at the Tevatron
Creators: name: Mastrandrea, Paolo
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The search for the Standard Model Higgs boson in proton-antiproton collisions at 1.96 TeV performed by CDF and D0 collaborations at the Tevatron collider is reported in this paper. The Higgs candidate events are reconstructed using different final states in order to optimize the sensitivity in the full range of the Higgs mass. The presented results use different statistical samples collected by the Tevatron up to 5.9 1/fb. Combining the most updated limits provided by the two experiments for all the final states analysed, the Standard Model Higgs boson is excluded at 95% C.L. in the mass range 158 - 175 GeV/c^2, in good agreement with the prediction for the analysed data sample.
description: To be submitted in the Proceedings of the QCD 2010 International Conference, Montpellier, France, 28th June - 3rd July 2010, 2010
Automated Analysis of MUTEX Algorithms with FASE
Creators: name: Buti, Federico
name: De Donato, Massimo Callisto
name: Corradini, Flavio
name: Di Berardini, Maria Rita
name: Vogler, Walter
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.2; D.2.4

description: In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-blocking reading behaviours. Verification is carried out using the tool FASE, exploiting a correspondence between violations of the liveness property and a special kind of cycles (called catastrophic cycles) in some transition system. We also compare our approach with others in the literature. The aim of this paper is twofold: on the one hand, we want to demonstrate the applicability of FASE to some concrete, meaningful examples; on the other hand, we want to study the impact of introducing non-blocking behaviours in modelling concurrent systems.
description: In Proceedings GandALF 2011, arXiv:1106.0814
tamdao Sivec & Harper
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia

description: R. tamdao Sivec & Harper 2008 Vinh Phu
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on page 139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Sivec, I., P. P. Harper, & T. Shimizu. 2008. Contribution to the study of the Oriental genus Rhopalopsole (Plecoptera: Leuctridae). Scopolia, 64: 1 - 122."]}
Additional file 2 of A potential implication of UDP-glucuronosyltransferase 2B10 in the detoxification of drugs used in pediatric hematopoietic stem cell transplantation setting: an in silico investigation
Creators: name: Robin, Shannon
name: Hassine, Khalil Ben
name: Muthukumaran, Jayaraman
name: Jurkovic Mlakar, Simona
name: Krajinovic, Maja
name: Nava, Tiago
name: Uppugunduri, Chakradhara Rao S.
name: Ansari, Marc
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 2. Quality of the final UGT2B10 and AlphaFold model, based on ERRAT, Verify3D, ProSA and Ramachandran plots. Comparison with AlphaFold structure is also given in the table.
Additional file 3 of A potential implication of UDP-glucuronosyltransferase 2B10 in the detoxification of drugs used in pediatric hematopoietic stem cell transplantation setting: an in silico investigation
Creators: name: Robin, Shannon
name: Hassine, Khalil Ben
name: Muthukumaran, Jayaraman
name: Jurkovic Mlakar, Simona
name: Krajinovic, Maja
name: Nava, Tiago
name: Uppugunduri, Chakradhara Rao S.
name: Ansari, Marc
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 3. Secondary structure of UGT2B10 obtained with PDBsum.
Additional file 4 of A potential implication of UDP-glucuronosyltransferase 2B10 in the detoxification of drugs used in pediatric hematopoietic stem cell transplantation setting: an in silico investigation
Creators: name: Robin, Shannon
name: Hassine, Khalil Ben
name: Muthukumaran, Jayaraman
name: Jurkovic Mlakar, Simona
name: Krajinovic, Maja
name: Nava, Tiago
name: Uppugunduri, Chakradhara Rao S.
name: Ansari, Marc
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 4. Predicted A) cofactor binding site, B) substrate-binding site of human UGT2B10 model (The green box represents the grid box for the ligand docking simulation with AutoDock Vina), C) Structural superposition analysis of our model with the AlphaFold Model (Display: PyMOL) Red: AlphaFold; Blue: Our Model.
Rhopalopsole vietnamica Sivec & Harper 2008
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Leuctridae
Rhopalopsole
Rhopalopsole vietnamica

description: R. vietnamicaSivec & Harper 2008 Province unknown
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on page 139, DOI: 10.5281/zenodo.4760641
description: {"references": ["Sivec, I., P. P. Harper, & T. Shimizu. 2008. Contribution to the study of the Oriental genus Rhopalopsole (Plecoptera: Leuctridae). Scopolia, 64: 1 - 122."]}
Non-minimal bridge positions of torus knots are stabilized
Creators: name: Ozawa, Makoto
Publisher: name: arXiv
Year: 2010
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics

description: We show that any non-minimal bridge decomposition of a torus knot is stabilized and that $n$-bridge decompositions of a torus knot are unique for any integer $n$. This implies that a knot in a bridge position is a torus knot if and only if there exists a torus containing the knot such that it intersects the bridge sphere in two essential loops.
description: 11 pages, 4 figures
Microscopic versus macroscopic approaches to non-equilibrium systems
Creators: name: Derrida, Bernard
Publisher: name: arXiv
Year: 2010
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The one dimensional symmetric simple exclusion process (SSEP) is one of the very few exactly soluble models of non-equilibrium statistical physics. It describes a system of particles which diffuse with hard core repulsion on a one dimensional lattice in contact with two reservoirs of particles at unequal densities. The goal of this note is to review the two main approaches which lead to the exact expression of the large deviation functional of the density of the SSEP in its steady state: a microscopic approach (based on the matrix product ansatz and an additivity property) and a macroscopic approach (based on the macroscopic fluctuation theory of Bertini, De Sole, Gabrielli, Jona-Lasinio and Landim).
description: submitted to Journal of Statistical Mechanics
Rhopalopsole
Creators: name: Stark, Bill P.
name: Sivec, Ignac
name: Shimizu, Takao
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Leuctridae
Rhopalopsole

description: Key to Male Vietnamese Rhopalopsole 1 Abdominal sternum 9 without vesicle (Fig. 2 in Harrison & Stark 2008) …………….….. R. alobata 1’ Vesicle present on abdominal sternum 9 (Fig. 2) …………………………………………………….... 2 2 Spine-like process on segment 10 forked (Figs. 6, 8 in Harrison & Stark 2008) …………………….… 3 2’ Spine-like process on segment 10 unforked (Fig. 1) ……………………………………………………… 4 3 Fused paraprocts deeply notched, posteromedian margin of tergum 9 with a slender, wide sclerotized area (Fig. 6 in Harrison & Stark 2008) ……….………………………………..… R. sinensis 3’ Fused paraprocts without notch, posteromedian margin of tergum 9 with a minute, triangular sclerotized area (Fig. 20.1 in Sivec et al. 2008) …………………….…………………. R. vietnamica 4 Posteromedian margin of tergum 9 bearing a single dark sclerotized area (Fig. 1) …………… 5 4’ Dark sclerotized area on posteromedian margin of tergum 9 divided or notched (Fig. 8) …..…... 6 5 Posterolateral spine on tergum 10 acute, welldeveloped, cerci with small terminal spine (Fig. 1) ………………………………………………. R. azun 5’ Posterolateral spine on tergum 10 poorly developed, scarcely projecting, cerci without spine (Fig. 40.1 in Sivec et al. 2008) …………………..……….……………….. R. sipang 6 Dark sclerotized areas on posterior margin of tergum 9 widely separated (Fig. 5) …… R. minima 6’ Dark sclerotized areas on posterior margin of tergum 9 separated by a narrow gap or notch (Fig. 8, and Fig. 5.1 in Sivec et al. 2008) ……………... 7 7 Dark sclerotized area on posterior margin of tergum 9 upturned and projecting beyond margin (Fig. 8); spine on tergum 10 apically truncate (Figs. 8,10) …………………………………. R. sapa 7’ Dark sclerotized area on posterior margin of tergum 9 flat and not projecting beyond margin (Fig. 5.1 in Sivec et al. 2008); spine on tergum 10 acute (Fig. 5.3 in Sivec et al. 2008) …….. R. tamdao
description: Published as part of Stark, Bill P., Sivec, Ignac & Shimizu, Takao, 2012, Notes On Rhopalopsole Klapálek (Plecoptera: Leuctridae), With Descriptions Of Three New Species From Vietnam, pp. 134-140 in Illiesia 8 (13) on pages 139-140, DOI: 10.5281/zenodo.4760641
description: {"references": ["Harrison, A. B. & B. P. Stark. 2008. Rhopalopsole alobata (Plecoptera: Leuctridae), a new stonefly species from Vietnam. Illiesia, 4: 76 - 80.", "Sivec, I., P. P. Harper, & T. Shimizu. 2008. Contribution to the study of the Oriental genus Rhopalopsole (Plecoptera: Leuctridae). Scopolia, 64: 1 - 122."]}
A reduction from parity games to simple stochastic games
Creators: name: Chatterjee, Krishnendu
name: Fijalkow, Nathanaël
Publisher: name: arXiv
Year: 2011
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: Games on graphs provide a natural model for reactive non-terminating systems. In such games, the interaction of two players on an arena results in an infinite path that describes a run of the system. Different settings are used to model various open systems in computer science, as for instance turn-based or concurrent moves, and deterministic or stochastic transitions. In this paper, we are interested in turn-based games, and specifically in deterministic parity games and stochastic reachability games (also known as simple stochastic games). We present a simple, direct and efficient reduction from deterministic parity games to simple stochastic games: it yields an arena whose size is linear up to a logarithmic factor in size of the original arena.
description: In Proceedings GandALF 2011, arXiv:1106.0814