cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Strong Sleptsov Net is Turing-Complete
Creators: name: Zaitsev, Dmitry A.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computational Complexity (cs.CC)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: It is known that a Sleptsov net, with multiple firing a transition at a step, runs exponentially faster than a Petri net opening prospects for its application as a graphical language of concurrent programming. We provide classification of place-transition nets based on firability rules considering general definitions and their strong and weak variants. We introduce and study a strong Sleptsov net, where a transition with the maximal firing multiplicity fires at a step, and prove that it is Turing-complete. We follow the proof pattern of Peterson applied to prove that an inhibitor Petri net is Turing-complete simulating a Shepherdson and Sturgis register machine. The central construct of our proof is a strong Sleptsov net that checks whether a register value (place marking) equals zero.
description: 21 pages, 8 figures, 2 tables, 43 references
The Office of the Crown
Creators: name: Allen, Jason Grant
Publisher: name: Humboldt-Universität zu Berlin
Year: 2018
Subjects: subject: Crown
subject: office
subject: executive government
subject: state theory
subject: Commonwealth
subject: British Empire
subject: 321 Staatsformen und Regierungssysteme
subject: 340 Recht

description: A troubling veil of mystery still shrouds the central institution of the British Constitution – the Crown. In this paper, I examine the modern utility of five historical doctrines: the doctrine of the “King's two bodies”; the doctrine that the Crown is a “corporation sole”; the doctrine that the King can “do no wrong”; the doctrine that (high) public offices are “emanations” of the Crown; and the doctrine that the Crown is “one and indivisible”. Using some insights from social ontology, the history of office in the Western legal tradition, and the sociology of role and status, I argue that the first four of these doctrines can be refashioned into a conception of the Crown as an office. An office is an enduring institutional entity to which individuals bear a relationship from time to time, but which is separate from any individual incumbent and is to be considered in legal analysis as a separate acting subject. Using the logic of office, official personality and official action, I distinguish between the Queen, the Crown, Her Majesty's Government and the Commonwealth and argue that together they provide a serviceable model of the modern British Constitution. The final doctrine, however, must be abandoned – the Crown is plural and divisible and this must be taken into account when using the Crown to reason about the UK's relationship to other constitutional orders.
The targum (1939:Sept. 13 - 1939:Sept. 30)
Creators: name: No Name Supplied
Publisher: name: Targum Association
Year: 1939

description: Some University historians indicate that the Targum was first published as an annual in 1867, but of this we have no extant evidence. In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student “literary contributions” and college news as well as serving as a vehicle for bringing news to alumni and the general public. The newspaper, which originally was for sale, varied in frequency over the years as did its title (The Targum, Rutgers Targum, Rutgers Daily Targum, and Daily Targum). The newspaper has continuously been published since 1869 with the exception of 19 months during the second world war, between February 1944 and October 1945. The Targum was published by the students of Rutgers College, and later Rutgers University—New Brunswick represented through the years as the Targum Association, Rutgers Targum Association, and Rutgers College Targum. As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.
The Integration Algorithm of Lax equation for both Generic Lax matrices and Generic Initial Conditions
Creators: name: Chemissany, Wissam
name: Fre, Pietro
name: Sorin, Alexander S.
Publisher: name: arXiv
Year: 2009
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: Several physical applications of Lax equation require its general solution for generic Lax matrices and generic not necessarily diagonalizable initial conditions. In the present paper we complete the analysis started in [arXiv:0903.3771] on the integration of Lax equations with both generic Lax operators and generic initial conditions. We present a complete general integration formula holding true for any (diagonalizable or non diagonalizable) initial Lax matrix and give an original rigorous mathematical proof of its validity relying on no previously published results.
description: 7 pages, LaTex; v2: a few misprints corrected
Discovery of a red giant with solar-like oscillations in an eclipsing binary system from Kepler space-based photometry
Creators: name: Hekker, S.
name: Debosscher, J.
name: Huber, D.
name: Hidas, M. G.
name: De Ridder, J.
name: Aerts, C.
name: Stello, D.
name: Bedding, T. R.
name: Gilliland, R. L.
name: Christensen-Dalsgaard, J.
name: Brown, T. M.
name: Kjeldsen, H.
name: Borucki, W. J.
name: Koch, D.
name: Jenkins, J. M.
name: Van Winckel, H.
name: Beck, P. G.
name: Blomme, J.
name: Southworth, J.
name: Pigulski, A.
name: Chaplin, W. J.
name: Elsworth, Y. P.
name: Stevens, I. R.
name: Dreizler, S.
name: Kurtz, D. W.
name: Maceroni, C.
name: Cardini, D.
name: Derekas, A.
name: Suran, M. D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Oscillating stars in binary systems are among the most interesting stellar laboratories, as these can provide information on the stellar parameters and stellar internal structures. Here we present a red giant with solar-like oscillations in an eclipsing binary observed with the NASA Kepler satellite. We compute stellar parameters of the red giant from spectra and the asteroseismic mass and radius from the oscillations. Although only one eclipse has been observed so far, we can already determine that the secondary is a main-sequence F star in an eccentric orbit with a semi-major axis larger than 0.5 AU and orbital period longer than 75 days.
description: Letter accepted for publication in ApJ
Effective Boundary Conditions Arising from the Heat Equation with Three-dimensional Interior Inclusion
Creators: name: Geng, Xingri
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35K05, 35B40, 35B45, 74K35

description: We study the initial boundary value problem for a heat equation in a domain containing a thin layer. The thermal conductivity of the layer is drastically different from that of the bulk of the domain; moreover, the layer is anisotropic and ``optimally aligned" in the sense that the normal direction in the layer is always an eigenvector of the thermal tensor. To reveal the effects of the layer, we regard it as a thickless surface on which ``effective boundary conditions" (EBCs) are satisfied by the limit of solutions of the initial boundary value problem as the thickness of the layer shrinks to zero. These EBCs are rich in variety and type, including some nonstandard ones such as the Dirichlet-to-Neumann mapping and the fractional Laplacian.
description: 25 pages, 2 figures, some typos are corrected
Gravitational Wave Bursts from Cosmic Superstring Reconnections
Creators: name: Jackson, Mark G.
name: Siemens, Xavier
Publisher: name: arXiv
Year: 2009
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We compute the gravitational waveform produced by cosmic superstring reconnections. This is done by first constructing the superstring reconnection trajectory, which closely resembles that of classical, instantaneous reconnection but with the singularities smoothed out due to the string path integral. We then evaluate the graviton vertex operator in this background to obtain the burst amplitude. The result is compared to the detection threshold for current and future gravitational wave detectors, finding that neither bursts nor the stochastic background would be detectable by Advanced LIGO. This disappointing but anticipated conclusion holds even for the most optimistic values of the reconnection probability and loop sizes.
description: 26 pages, 6 figures; v2: references added and typos corrected
Accurate fundamental parameters of CoRoT asteroseismic targets: the solar-like stars HD 49933, HD 175726, HD 181420 and HD 181906
Creators: name: Bruntt, H.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The CoRoT satellite has provided high-quality light curves of several solar-like stars. Analysis of the light curves provides oscillation frequencies that make it possible to probe the interior of the stars. However, additional constraints on the fundamental parameters of the stars are important for the theoretical modelling to be successful. We will estimate the fundamental parameters (mass, radius and luminosity) of the first four solar-like targets to be observed in the asteroseismic field. In addition, we will determine their effective temperature, metallicity and detailed abundance pattern. To constrain the stellar mass, radius and age we use the SHOTGUN software which compares the location of the stars in the Hertzsprung-Russell diagram with theoretical evolution models. This method takes into account the uncertainties of the observed parameters including the large separation determined from the solar-like oscillations. We determine the effective temperatures and abundance patterns in the stars from the analysis of high-resolution spectra. We have determined the mass, radius and luminosity of the four CoRoT targets to within 5-10 percent, 2-4 percent and 5-13 percent, respectively. The quality of the stellar spectra determines how well we can constrain the effective temperature. For the two best spectra we get 1-sigma uncertainties below 60 K and for the other two 100-150 K. The uncertainty on the surface gravity is less than 0.08 dex for three stars while for HD 181906 it is 0.15 dex. The reason for the larger uncertainty is that the spectrum has two components with a luminosity ratio of Lp/Ls = 0.50+-0.15. While Hipparcos astrometric data strongly suggest it is a binary star we find evidence that the fainter star may be a background star, since it is less luminous but hotter.
description: 10 pages, accepted by A&A
Marian Grabowski, Pomazaniec. Przyczynek do chrystologii filozoficznej, Wydawnictwo „W Drodze”, Poznań 2010, ss. 268 (
Creators: name: Tupikowski, Jerzy
Publisher: name: Wrocławski Przegląd Teologiczny
Year: 2020

description: Wrocławski Przegląd Teologiczny, Vol 20 No 1 (2012)
Introduction to the dynamics of disordered systems: equilibrium and gradient descent
Creators: name: Folena, Giampaolo
name: Manacorda, Alessandro
name: Zamponi, Francesco
Publisher: name: arXiv
Year: 2022
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: This manuscript contains the lecture notes of the short courses given by one of us (F.Z.) at the summer school "Fundamental Problems in Statistical Physics XV", held in Brunico, Italy, in July 2021, and, just before that, at the summer school "Glassy Systems and Inter-Disciplinary Applications", held in Cargese, France, in June 2021. The course was a short introductory overview of the dynamics of disordered systems, focused in particular on the equilibrium dynamics (with the associated glass transition), and on the simplest case of off-equilibrium dynamics, namely the gradient descent dynamics. A few selected topics (and references) are chosen, based on the authors' own taste and competences, and on pedagogical reasons, without aiming at a complete review of the subject.
description: 28 pages, 19 figures
title: Rethinking international fisheries law through the lens of IUU fishing: pathways to sustainable fisheries
Creators: name: Tien, Chin-Chia
Publisher: name: University of Glasgow
Year: 2021

description: This thesis is a reflection on the global phenomenon that is illegal, unregulated, and unreported fishing (IUU fishing). IUU fishing is an unsustainable form of fishing that evades fisheries regulations, undermines conservation and management measures, creates unfair competition for fisheries that obey the laws, damages marine biodiversity, degrades the marine environment in general, and also has further criminal implications which can escalate into humanitarian crisis and national security issues. From these reasons, the international community has attempted to curb the wave of crime through a growing body of international law instruments and regimes. However, it is evident that most of these attempts are adopted reactively, in a crime fighting mindset that fails to tackle the problem at its roots. This thesis aims at looking precisely at those roots, analyzing the business models of the fishing industry, our perceptions towards the ocean and fish, and the production of scientific knowledge. These elements created a socially constructed environment where IUU fishing is possible. Under the scope of international law, this can be seen in the fragmented, piecemeal regulations for fisheries that are spread across multiple regimes, and the weak efforts of implementation or enforcement of such regimes. This thesis will also argue that in order to reverse this undesirable situation and prevent the continuation of IUU fishing, we must rethink how international law approaches the oceans, affirm the fact that fish is a part of the larger concept of marine biodiversity and marine environment, and that we humans need the fish to survive, not just in a nutritional sense, but simply as living beings that have intrinsic value just by existing.
Hieroglifem zapisane – Cyprian Norwid. Ogólnopolska Konferencja Naukowa, Warszawa 27–28 października 2011 r.
Creators: name: Laszczyńska-Fankanowska, Krystyna
Publisher: name: Wrocławski Przegląd Teologiczny
Year: 2020

description: Wrocławski Przegląd Teologiczny, Vol 20 No 1 (2012)
Theoretical Overview of Neutrino Properties
Creators: name: Xing, Zhi-zhong
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Astrophysics (astro-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: I give an overview of some basic properties of massive neutrinos. The first part of this talk is devoted to three fundamental questions about three known neutrinos and to their flavor issues -- the mass spectrum, mixing pattern and CP violation. The second part of this talk is to highlight a few hot topics at the frontiers of neutrino physics and neutrino astrophysics, including the naturalness and testability of TeV seesaw mechanisms at the LHC, effects of non-standard interactions on neutrino oscillations, flavor distributions of ultrahigh-energy cosmic neutrinos at neutrino telescopes, collective flavor oscillations of supernova neutrinos, flavor effects in thermal leptogenesis, the GSI anomaly and Moessbauer neutrino oscillations, and so on. I finally make some concluding remarks for the road ahead.
description: Plenary talk given at ICHEP08, Philadelphia, USA, July 2008, 13 pages, LaTex, 5 eps figures. More references added
Testing Binary Population Synthesis Models with Hot Subdwarfs
Creators: name: Wade, Richard A.
name: Kopparapu, Ravi kumar
Publisher: name: arXiv
Year: 2009
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Models of binary star interactions have been successful in explaining the origin of field hot subdwarf (sdB) stars in short period systems, but longer-period systems that formed via Roche-lobe overflow (RLOF) mass transfer from the present sdB to its companion have received less attention. We map sets of initial binaries into present-day binaries that include sdBs and main-sequence stars, distinguishing "observable" sdBs from "hidden" ones. We aim to find out whether (1) the existing catalogues of sdBs are sufficiently fair samples of all the kinds of sdB binaries that theory predicts; or instead whether (2) large predicted hidden populations mandate the construction of new catalogues, perhaps using wide-field imaging surveys such as 2MASS, SDSS, and Galex. We also report on a pilot study to identify hidden subdwarfs, using 2MASS and GALEX data.
description: 3 pages with 2 figures. Uses AIP style files. To appear in Future Directions in Ultraviolet Astronomy, ed. Michael E. VanSteenberg (AIP Conf Proc)
Emissivity of neutrinos in supernova in a left-right symmetric model
Creators: name: Gutierrez-Rodriguez, A.
name: Torres-Lomas, E.
name: Gonzalez-Sanchez, A.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the emissivity due to neutrino-pair production in $e^+e^-$ annihilation in the context of a left-right symmetric model in a way that can be used in supernova calculations. We also present some simple estimates which show that such process can act as an efficient energy-loss mechanism in the shocked supernova core. We find that the emissivity is dependent of the mixing angle $ϕ$ of the model in the allowed range for this parameter.
description: 13 pages, 2 figures
Nowa ewangelizacja wyzwaniem dla Kościoła w Polsce . Konferencja naukowa, Katowice 27 października 2011 r.
Creators: name: Giemza, Bogdan
Publisher: name: Wrocławski Przegląd Teologiczny
Year: 2020

description: Wrocławski Przegląd Teologiczny, Vol 20 No 1 (2012)
Brauer-Manin obstruction for integral points on Markoff-type cubic surfaces
Creators: name: Dao, Quang-Duc
Publisher: name: arXiv
Year: 2022
Subjects: subject: Number Theory (math.NT)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 11G35, 14G12, 14G25, 11D25

description: Following [GS22], [LM20] and [CWX20], we study the Brauer-Manin obstruction for integral points on similar Markoff-type cubic surfaces. In particular, we construct a family of counterexamples to strong approximation which can be explained by the Brauer-Manin obstruction with some counting results of similar nature to those in [LM20] and [CWX20]. We also give some counterexamples to the integral Hasse principle which cannot be explained by the (algebraic) Brauer-Manin obstruction.
description: 34 pages; this version comes from the accepted manuscript of the article published in the Journal of Number Theory
Boson bunching is not maximized by indistinguishable particles
Creators: name: Seron, Benoît
name: Novo, Leonardo
name: Cerf, Nicolas J.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Boson bunching is amongst the most remarkable features of quantum physics. A celebrated example in optics is the Hong-Ou-Mandel effect, where the bunching of two photons arises from a destructive quantum interference between the trajectories where they both either cross a beam splitter or are reflected. This effect takes its roots in the indistinguishability of identical photons. Hence, it is generally admitted -- and experimentally verified -- that bunching vanishes as soon as photons can be distinguished, e.g., when they occupy distinct time bins or have different polarizations. Here we disproof this alleged straightforward link between indistinguishability and bunching by exploiting a recent finding in the theory of matrix permanents. We exhibit a family of optical circuits where the bunching of photons into two modes can be significantly boosted by making them partially distinguishable via an appropriate polarization pattern. This boosting effect is already visible in a 7-photon interferometric process, making the observation of this phenomenon within reach of current photonic technology. This unexpected behavior questions our understanding of multiparticle interference in the grey zone between indistinguishable bosons and classical particles.
description: Comments are welcome
VIII Walne Zebranie Stowarzyszenia Biblistów Polskich, 49. Sympozjum Biblistów Polskich, Katowice 20–22 września 2011 r
Creators: name: Jezierska, Ewa
Publisher: name: Wrocławski Przegląd Teologiczny
Year: 2020

description: Wrocławski Przegląd Teologiczny, Vol 20 No 1 (2012)
A bijection between noncrossing and nonnesting partitions of types A and B
Creators: name: Mamede, Ricardo
Publisher: name: arXiv
Year: 2008
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: The total number of noncrossing partitions of type $Ψ$ is the $n$th Catalan number $\frac{1}{n+1}\binom{2n}{n}$ when $Ψ=A_{n-1}$, and the binomial $\binom{2n}{n}$ when $Ψ=B_n$, and these numbers coincide with the correspondent number of nonnesting partitions. For type A, there are several bijective proofs of this equality, being the intuitive map that locally converts each crossing to a nesting one of them. In this paper we present a bijection between nonnesting and noncrossing partitions of types A and B that generalizes the type A bijection that locally converts each crossing to a nesting.
description: 11 pages, 11 figures. Inverse map described. Minor changes to correct typos and clarify content
The homology of spaces of polynomials with roots of bounded multiplicity
Creators: name: Kamiyama, Yasuhiko
Publisher: name: arXiv
Year: 2009
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics
subject: 55P35, 55R20, 58D15

description: Let P_{k, n}^l be the space consisting of monic complex polynomials f(z) of degree k and such that the number of n-fold roots of f(z) is at most l. In this paper, we determine the integral homology groups of P_{k, n}^l.
description: This is the version published by Geometry & Topology Monographs on 25 February 2008
Evaluation of semantic relations impact in query expansion-based retrieval systems
Creators: name: Massai, Lorenzo
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computation and Language (cs.CL)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: With the increasing demand of intelligent systems capable of operating in different contexts (e.g. users on the move) the correct interpretation of the user-need by such systems has become crucial to give consistent answers to the user questions. The most effective applications addressing such task are in the fields of natural language processing and semantic expansion of terms. These techniques are aimed at estimating the goal of an input query reformulating it as an intent, commonly relying on textual resources built exploiting different semantic relations like \emph{synonymy}, \emph{antonymy} and many others. The aim of this paper is to generate such resources using the labels of a given taxonomy as source of information. The obtained resources are integrated into a plain classifier for reformulating a set of input queries as intents and tracking the effect of each relation, in order to quantify the impact of each semantic relation on the classification. As an extension to this, the best tradeoff between improvement and noise introduction when combining such relations is evaluated. The assessment is made generating the resources and their combinations and using them for tuning the classifier which is used to reformulate the user questions as labels. The evaluation employs a wide and varied taxonomy as a use-case, exploiting its labels as basis for the semantic expansion and producing several corpora with the purpose of enhancing the pseudo-queries estimation.
Supplementary document for Laser cooling a centimeter-scale torsion pendulum - 7352791.pdf
Creators: name: Shin, Dong-Chel
name: Hayward, Tina
name: Fife, Dylan
name: Menon, Rajesh
name: Sudhir, Vivishek
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: Supplementary Information
WASP-19b: the shortest period transiting exoplanet yet discovered
Creators: name: Hebb, Leslie
name: Collier-Cameron, A.
name: Triaud, A. H. M. J.
name: Lister, T. A.
name: Smalley, B.
name: Maxted, P. F. L.
name: Hellier, C.
name: Anderson, D. R.
name: Pollacco, D.
name: Gillon, M.
name: Queloz, D.
name: West, R. G.
name: Bentley, S.
name: Enoch, B.
name: Haswell, C. A.
name: Horne, K.
name: Mayor, M.
name: Pepe, F.
name: Segransan, D.
name: Skillen, I.
name: Udry, S.
name: Wheatley, P. J.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We report on the discovery of a new extremely short period transiting extrasolar planet, WASP-19b. The planet has mass Mpl = 1.15 \pm 0.08 MJ, radius Rpl = 1.31 \pm 0.06 RJ, and orbital period P = 0.7888399 \pm 0.0000008 days. Through spectroscopic analysis, we determine the host star to be a slightly super-solar metallicity ([M/H] = 0.1 \pm 0.1 dex) G-dwarf with Teff = 5500 \pm 100 K. In addition, we detect periodic, sinusoidal flux variations in the light curve which are used to derive a rotation period for the star of Prot = 10.5 \pm 0.2 days. The relatively short stellar rotation period suggests that either WASP-19 is somewhat young (~ 600 Myr old) or tidal interactions between the two bodies have caused the planet to spiral inward over its lifetime resulting in the spin-up of the star. Due to the detection of the rotation period, this system has the potential to place strong constraints on the stellar tidal quality factor, Q's, if a more precise age is determined.
description: Published in ApJ
DDB-EDM to FaBiO: The Case of the German Digital Library
Creators: name: Sack, Harald
name: Tietz, Tabea
name: Dessı̀, Danilo
name: Oppenländer, Jonas
name: Tan, Mary Ann
name: Oshani Seneviratne, Juan Sequeda, Lorena Etcheverry, Catia Pesquita [Hrsg.]
Publisher: name: CEUR Workshop Proceedings (CEUR-WS)
Year: 2021
Subjects: Cultural Heritage
Digital Library
Ontology

description: Cultural heritage portals have the goal of providing users with seamless access to all their resources. This paper introduces initial efforts for a user-oriented restructuring of the German Digital Library (DDB). At present, cultural heritage objects (CHOs) in the DDB are modeled using an extended version of the Europeana Data Model (DDBEDM), which negatively impacts usability and exploration. These challenges can be addressed by exploiting ontologies, and building a knowledge graph from the DDB’s voluminous collection. Towards this goal, an alignment of bibliographic metadata from DDB-EDM to FRBR-Aligned Bibliographic Ontology (FaBiO) is presented.
Additional file 1: of Highly efficient correction of structural mutations of 450â kb KIT locus in kidney cells of Yorkshire pig by CRISPR/Cas9
Creators: name: Qin, Ke
name: Liang, Xinyu
name: Sun, Guanjie
name: Shi, Xuan
name: Wang, Min
name: Liu, Hongbo
name: Chen, Yaosheng
name: Liu, Xiaohong
name: He, Zuyong
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Space Science
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Evolutionary Biology
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Marine Biology
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Hematology
subject: Virology

description: Table S1. List of sgRNAs designed for targeting the intron16 and intron17 of KIT gene. Table S2. Primers used for T7E1 assay. Table S3. Primers used for Nla III assay. Table S4. Primers used for qPCR. Table S5. List of the potential off-target sites. Table S6. Primers used for off-target effects assay. (DOCX 27 kb)
The effect of excess manganese on nitrate assimilation in lettuce
Creators: name: Jones, Richard Harold
Publisher: name: University Of Tasmania
Year: 2023

description: Growth of lettuce may be limited in acid soils by manganese toxicity which may be alleviated by applications of lime, phosphate fertilisers, iron and molybdenum. However few investigations have been undertaken to determine the biochemical effect of excess manganese in plants. The aim of this project was to demonstrate that manganese toxicity could reduce lettuce yield by inhibiting nitrate reductase activity. Manganese toxicity inhibited nitrate reductase activity in lettuce plants grown in an acid krasnozem soil. The yield of affected plants, which was significantly lower than the yield of control plants, was significantly correlated with the decrease in nitrate reductase activity. Associated with the decrease in nitrate reductase activity was an accumulation of nitrate in leaves and a decrease in the total nitrogen content (mgN/plant). Following applications of molybdenum foliar sprays there were significant increases in yield and nitrate reductase activity. The molybdenum content of plants increased in plants which had high tissue levels of manganese. The increase was probably due to the lower yield in these plants. It is not known how molybdenum reverses the manganese inhibition of nitrate reductase. Similar responses were observed in lettuce grown in nutrient solution. The Critical solution concentration of manganese,at which there was a decrease in yield and in nitrate reductase activity, was found to be 36uM. Nitrate reductase activity of young and mature leaves was significantly correlated with leaf manganese levels. Plants grown in nitrate-nitrogen nutrient solutions were more susceptible to manganese toxicity than plants grown in ammonium nitrogen nutrient solutions. A study of the time-course of manganese inhibition of nitrate reductase in vivo (indicated that after a short lag period, manganese significantly decreased nitrate reductase activity. The half life for this decrease in enzyme activity was found to be 2.5 hours. These results indicated that manganese was not inducing molybdenum deficiency and that manganese may have inhibited nitrate reductase by binding to the enzyme. Enzyme kinetic analysis of the manganese inhibition of nitrate reductase (in vitro) showed that manganese was a competitive inhibitor of nitrate reductase with respect to NADH and a non-competitive inhibitor of nitrate reductase with respect to nitrate. These results indicated that manganese was bound to the enzyme at or near the binding site for NADH. When manganese was added to the enzyme before NADH the degree of inhibition was greater than when the NADH was added to the enzyme before manganese. These results also indicated that manganese was interfering with the binding of NADH to the enzyme. EPR studies supported the results obtained with the kinetic analysis of the inhibition of nitrate reductase. Results of the EPR study showed that manganese was not bound by NADH but could be bound by the partially purified enzyme extract.
Homilia Arcybiskupa Sławoja Leszka Głódzia Metropolity Gdańskiego wygłoszona w katedrze oliwskiej na rozpoczęcie VII Zjazdu Stowarzyszenia Teologów Fundamentalnych w Polsce
Creators: name: Głódź, Sławoj Leszek
Publisher: name: Wrocławski Przegląd Teologiczny
Year: 2020

description: Wrocławski Przegląd Teologiczny, Vol 20 No 1 (2012)
Apologia Kościoła dziś. VII Zjazd Stowarzyszenia Teologów Fundamentalnych w Polsce, Gdańsk 21–23 września 2011 r.
Creators: name: Dołganiszewska, Elżbieta
Publisher: name: Wrocławski Przegląd Teologiczny
Year: 2020

description: Wrocławski Przegląd Teologiczny, Vol 20 No 1 (2012)
Bimodal Camera Pose Prediction for Endoscopy
Creators: name: Rau, Anita
name: Bhattarai, Binod
name: Agapito, Lourdes
name: Stoyanov, Danail
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Deducing the 3D structure of endoscopic scenes from images is exceedingly challenging. In addition to deformation and view-dependent lighting, tubular structures like the colon present problems stemming from their self-occluding and repetitive anatomical structure. In this paper, we propose SimCol, a synthetic dataset for camera pose estimation in colonoscopy, and a novel method that explicitly learns a bimodal distribution to predict the endoscope pose. Our dataset replicates real colonoscope motion and highlights the drawbacks of existing methods. We publish 18k RGB images from simulated colonoscopy with corresponding depth and camera poses and make our data generation environment in Unity publicly available. We evaluate different camera pose prediction methods and demonstrate that, when trained on our data, they generalize to real colonoscopy sequences, and our bimodal approach outperforms prior unimodal work.
description: This article has been accepted for publication in IEEE Transactions on Medical Robotics and Bionics. This is the author's version which has not been fully edited and content may change prior to final publication. Citation information: DOI 10.1109/TMRB.2023.3320267
Classical and Quantum Mechanics from the universal Poisson-Rinehart algebra of a manifold
Creators: name: Morchio, G.
name: Strocchi, F.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Quantum Physics (quant-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The Lie and module (Rinehart) algebraic structure of vector fields of compact support over C infinity functions on a (connected) manifold M define a unique universal non-commutative Poisson * algebra. For a compact manifold, a (antihermitian) variable Z, central with respect to both the product and the Lie product, relates commutators and Poisson brackets; in the non-compact case, sequences of locally central variables allow for the addition of an element with the same role. Quotients with respect to the (positive) values taken by Z* Z define classical Poisson algebras and quantum observable algebras, with the Planck constant given by -iZ. Under standard regularity conditions, the corresponding states and Hilbert space representations uniquely give rise to classical and quantum mechanics on M.
description: Talk given by the first author at the 40th Symposium on Mathematical Physics, Torun, June 25-28, 2008
Atmospheric effects on high energy cosmic rays
Creators: name: Lyons, PRA
Publisher: name: University Of Tasmania
Year: 2023

description: The atmospheric effects on the muon intensity have been observed using muon telescopes at Poatina, Cambridge and Hobart, Tasmania. The detectors consist of a variety of Geiger counter telescopes located at ‚ÄövÑvÆ 357 hg cm-2 underground, ~ 47 hg cm-2 underground and at sea level, respectively. Least-squares regression analysis has been used to calculate the various pressure, height and temperature coefficients for the three sites. It is found that for the underground detectors, the apparent atmospheric effects tend to differ strongly from those expected. In particular, the total barometer coefficient at Poatina for the years 1972-76 is (-0.047 ¬¨¬± 0.002) % mb-1 (Humble et al., 1979). Using a generally-accepted model for the production and interaction of secondary particles in the atmosphere, extensive calculations predict a barometer coefficient of only ~ 0.003 % mb-1. The partial pressure, height and temperature coefficients also differ greatly from their theoretical values. A detailed review is presented of the theory and assumptions behind the least-squares method. It is shown analytically that if the regressor variables are inter-correlated and measured with error, their expectation values may be severely biased from their true values. It is found that the inflated Poatina total barometer coefficient is almost entirely due to a negative correlation between air pressure and stratospheric temperature. The latter variable is thus shown to be the only significant influence on the intensity of muons deep underground. A comparison between the observed and predicted total temperature coefficients implies a temperature measurement error of ~ 2.2 K. This error is partly instrumental and partly due to the slow sampling rate of temperature provided by radiosondes. In all, these data problems are probably entirely responsible for the anomalous coefficients at Poatina. A test parameter, based on the least-squares model, is shown to predict successfully the observed divergence between the observed and theoretical coefficients, as the muon threshold energy is increased. An extensive series of regressions has been carried out in order to determine the optimal set of atmospheric variables for correcting the Poatina intensity for atmospheric effects. However, the percentage of variation removed is still only ~ 40 %, because of the data intercorrelations and errors previously mentioned. Using the temperature dependence of the Poatina muon intensity, the four-day mean temperature of the stratosphere has been reconstructed. The resulting correlation with radio-sonde measurements is ~ 0.5. However, a variety of detectors with greater sensitive area would be required for the determination of the atmosphere's temperature profile from muon observations to be practicable.
A dynamic programming - Markov chain algorithm for determining optimal component replacement policies
Creators: name: Young, G. Glen
Publisher: name: University of British Columbia
Year: 2011

description: An algorithm is developed to determine the optimal component replacement rules to follow in managing a particular class of equipment. The work follows basically the models developed previously by S.E. Dreyfus and R.A. Howard. However, a different Markov state description has been used to extend the application of these models to systems of more than one component subject to stochastic failure and for which the failure of any component renders the entire system inoperative. The model, in effect, selects optimal replacement alternatives as individual components fail, under the uncertainty of further failures occurring in the same transition interval. The model was programmed for an I.B.M. 360/67 computer and the results for a hypothetical problem were checked through renewal theory.
Probing the quantum ground state of a spin-1 Bose-Einstein condensate with cavity transmission spectra
Creators: name: Zhang, J. M.
name: Cui, S.
name: Jing, H.
name: Zhou, D. L.
name: Liu, W. M.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose to probe the quantum ground state of a spin-1 Bose-Einstein condensate with the transmission spectra of an optical cavity. By choosing a circularly polarized cavity mode with an appropriate frequency, we can realize coupling between the cavity mode and the magnetization of the condensate. The cavity transmission spectra then contain information of the magnetization statistics of the condensate and thus can be used to distinguish the ferromagnetic and antiferromagnetic quantum ground states. This technique may also be useful for continuous observation of the spin dynamics of a spinor Bose-Einstein condensate.
description: 6 pages, 1 figure
On inherent limitations in robustness and performance for a class of prescribed-time algorithms
Creators: name: Aldana-López, Rodrigo
name: Seeber, Richard
name: Haimovich, Hernan
name: Gómez-Gutiérrez, David
Publisher: name: arXiv
Year: 2022
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Prescribed-time algorithms based on time-varying gains may have remarkable properties, such as regulation in a user-prescribed finite time that is the same for every nonzero initial condition and that holds even under matched disturbances. However, at the same time, such algorithms are known to lack robustness to measurement noise. This note shows that the lack of robustness of a class of prescribed-time algorithms is of an extreme form. Specifically, we show the existence of arbitrarily small measurement noises causing considerable deviations, divergence, and other detrimental consequences. We also discuss some drawbacks and trade-offs of existing workarounds as motivation for further analysis.
The Sliced Gaussian Mixture Filter for Efficient Nonlinear Estimation
Creators: name: Klumpp, Vesa
name: Sawo, Felix
name: Hanebeck, Uwe D.
name: Fränken, Dietrich
Publisher: name: Karlsruhe
Year: 2008

description: This paper addresses the efficient state estimation for mixed linear/nonlinear dynamic systems with noisy measurements. Based on a novel density representation - sliced Gaussian mixture density - the decomposition into a (conditionally) linear and nonlinear estimation problem is derived. The systematic approximation procedure minimizing a certain distance measure allows the derivation of (close to) optimal and deterministic estimation results. This leads to high-quality representations of the measurement-conditioned density of the states and, hence, to an overall more efficient estimation process. The performance of the proposed estimator is compared to state-of-the-art estimators, like the well-known marginalized particle filter.
The clinical assessment of verbal memory
Creators: name: Hennessy, M
Publisher: name: University Of Tasmania
Year: 2023

description: An assessment of verbal memory functioning must address a number of issues. A thorough and comprehensive evaluation needs to account for new and important models of memory function and dysfunction, and the significant implications which these may have for diagnosis and rehabilitation. Behaviourally based cognitive information must be integrated with neuropsychological data which provide neuroanatomical correlates for particular memory processes. Memory functioning is a diverse and complex phenomenon which can be accurately and comprehensively assessed, only when cognitive and neuropsychological perspectives are combined. Cognitive theories have had a significant influence on the clinical assessment of verbal memory, and the development of specific neuropsychological procedures. However, often clinical evaluations have tended to lag behind theoretical and experimental advances. In the following review, current cognitive and neuropsychological models of memory function will be evaluated, with an emphasis on the most clinically useful developments dealing with the structure of short-term or working memory, the efficiency of acquisition, storage and retrieval processes, along with the fractionation of long-term memory. A number of commonly used neuropsychological procedures will be reviewed, and an evaluation made of their psychometric reliability and validity, including their ability to differentiate both the nature and severity of memory dysfunction. The tests to be considered are the National Adult Reading Test (NART), the verbal subtests of the Wechsler Memory Scale (WMS), the Rey Auditory Verbal Learning Test (RAVLT), and the Bushke Selective Reminding Test (BSRT).
Multi-particle correlation function to study short-lived nuclei
Creators: name: Grenier, F.
name: Chbihi, A.
name: Roy, R.
name: Verde, G.
name: Thériault, D.
name: Frankland, J. D.
name: Wieleczko, J. P.
name: Borderie, B.
name: Bougault, R.
name: Dayras, R.
name: Galichet, E.
name: Guinet, D.
name: Lautesse, P.
name: Neindre, N. Le
name: Lopez, O.
name: Moisan, J.
name: Nalpas, L.
name: Napolitani, P.
name: Parlog, M.
name: Rivet, M. F.
name: Rosato, E.
name: Tamain, B.
name: Vient, E.
name: Vigilante, M.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Unstable 10C nuclei are produced as quasi-projectiles in 12C+24Mg collisions at E/A = 53 and 95 MeV. The decay of their short-lived states is studied with the INDRA multidetector array via multi-particle correlation functions. The obtained results show that heavy-ion collisions can be used as a tool to access spectroscopic information of unbound states in exotic nuclei, such as their energies and the relative importance of different sequential decay widths.
description: 8 figures, accepted for publication in Nuclear Physics A
Associative Learning Mechanism for Drug-Target Interaction Prediction
Creators: name: Zhu, Zhiqin
name: Yao, Zheng
name: Qi, Guanqiu
name: Mazur, Neal
name: Cong, Baisen
Publisher: name: arXiv
Year: 2022
Subjects: subject: Biomolecules (q-bio.BM)
subject: Machine Learning (cs.LG)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: As a necessary process in drug development, finding a drug compound that can selectively bind to a specific protein is highly challenging and costly. Drug-target affinity (DTA), which represents the strength of drug-target interaction (DTI), has played an important role in the DTI prediction task over the past decade. Although deep learning has been applied to DTA-related research, existing solutions ignore fundamental correlations between molecular substructures in molecular representation learning of drug compound molecules/protein targets. Moreover, traditional methods lack the interpretability of the DTA prediction process. This results in missing feature information of intermolecular interactions, thereby affecting prediction performance. Therefore, this paper proposes a DTA prediction method with interactive learning and an autoencoder mechanism. The proposed model enhances the corresponding ability to capture the feature information of a single molecular sequence by the drug/protein molecular representation learning module and supplements the information interaction between molecular sequence pairs by the interactive information learning module. The DTA value prediction module fuses the drug-target pair interaction information to output the predicted value of DTA. Additionally, this paper theoretically proves that the proposed method maximizes evidence lower bound (ELBO) for the joint distribution of the DTA prediction model, which enhances the consistency of the probability distribution between the actual value and the predicted value. The experimental results confirm mutual transformer-drug target affinity (MT-DTA) achieves better performance than other comparative methods.
description: The extended and final version of this paper has been published with open access modality in the CAAI Transactions on Intelligence Technology and can be found at link LINK HERE. Please refer to the TRIT published version in your scientific papers