cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Mean-Field Games: Theory, Numerics and Applications
Creators: name: Joao Saude
Publisher: name: Carnegie Mellon University
Year: 2018
Subjects: subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: In dynamical systems with a large number of agents, competitive, and cooperative phenomena
occur in a broad range of designed and natural settings. Such as communications, environmental,
biological, transportation, trading, and energy systems, and they underlie much
economic and financial behavior. Analysis of such systems is intractable using the classical
finite N-players game theoretic methods is often intractable. The mean-field games (MFG)
framework was developed to study these large systems, modeling them as a continuum of
rational agents that interact in a non-cooperative way.
In this thesis, we address some theoretical aspects and propose a definition of relaxed
solution for MFG that allows establishing uniqueness under minimal regularity hypothesis.
We also propose a price impact model, that is a modification of the Merton’s portfolio problem
where we consider that assets’ transactions influence their prices.
We also study numerical methods for continuous time finite-state MFG that satisfy a
monotonicity condition, and for time-dependent first-order nonlocal MFG. MFG is determined
by a system of differential equations with initial and terminal boundary conditions. These
non-standard conditions make the numerical approximation of MFG difficult. Using the
monotonicity condition, we build a flow that is a contraction and whose fixed points solve
both for stationary and time-dependent MFG.
We also develop Fourier approximation methods for the solutions of first-order nonlocal
mean-field games (MFG) systems. Using Fourier expansion techniques, we approximate a
given MFG system by a simpler one that is equivalent to a convex optimization problem over
a finite-dimensional subspace of continuous curves. We solve this problem using a variant of
a primal-dual hybrid gradient method.
Finally, we introduce a price-formation model where a large number of small players can
store and trade electricity. Our model is a constrained MFG where the price is a Lagrange
multiplier for the supply versus demand balance condition. We establish the existence of a
unique solution using a fixed-point argument. Then, we study linear-quadratic models that
hold specific solutions, and we find that the dynamic price depends linearly on the instant
aggregated consumption.
Canna indica Linnaeus 1753
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Liliopsida
Zingiberales
Cannaceae
Canna
Canna indica

description: Canna indica Linnaeus, Species Plantarum 1: 1. 1753.
"Habitat inter tropicos Asiae, Africae, Americae." RCN: 1.
 Lectotype (Maas in Jarvis & al., Regnum Veg. 127: 29. 1993): Herb. A. van Royen No. 912.356-390 (L).
 Generitype of Canna Linnaeus (vide Hitchcock, Prop. Brit. Bot.: 114. 1929).
 Current name:  Canna indica  L. (Cannaceae).
 Note: Siddiqi (in Jafri & El-Gadi, Fl. Libya 74: 2. 1970) indicated Herb. Linn. 1.1 (LINN) as type but this collection is a post-1753 addition to the collection and ineligible as type. It is superseded by Maas’ type choice.
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part C), pp. 370-473 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 380, DOI: 10.5281/zenodo.291971
title: Properties of Hash Functions based on Gluškov Product of Automata
Creators: name: Hannusch, Carolin
name: Horváth, Géza
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2021

description: We investigate the properties of hash functions introduced on Glu\v skov product of automata. Further, we give some important conditions for the transition matrix of the Glu\v skov product which make the introduced hash functions secure.
description: Journal of Automata, Languages and Combinatorics, Volume 26, Numbers 1-2, 2021, 55-65
The CGLMP Bell Inequalities
Creators: name: Dalton, B. J.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum non-locality tests have been of interest since the 1960's paper by Bell on the original EPR paradox.The present paper discusses whether the CGLMP (Bell) inequalities are possible tests for showing that quantum theory is not underpinned by local hidden variable theory (LHVT). It is found by applying Fine's theorem that the CGLMP approach involves a LHVT for the joint probabilities associated with the measurement of one observable from each of the two sub-systems, even though the underlying probabilities for joint measurements of all four observables may involve a non-local HVT. The latter HVT probabilities involve simultaneous measurements of observables corresponding to non-commuting quantum operators - allowable in classical theory. Although the CGLMP inequalities involve probabilities for measurements of one observable per sub-system and are compatible with the Heisenberg uncertainty principle, there is no unambiguous quantum measurement process linked to the probabilities in the CGLMP inequalities, and these quantum measurements each have different probabilities. However, violation of a CGLMP inequality based on any one of the possible quantum measurement sequences is sufficient to show that the Collins et al LHVT predicts different results to quantum theory. This occurs for a state considered in their paper - though for observables whose physical interpretation is unclear. In spite of this issue and in spite of the contextuality loophole, it is concluded that the CGLMP inequalities are indeed suitable for ruling out both local (and non-local) hidden variable theories. The state involved could apply to a macroscopic system, so the CGLMP Bell inequalities are important for finding cases of macroscopic violations of Bell locality. Possible experiments in double-well Bose condensates for atoms with two hyperfine components are discussed.
description: 24 pages, 0 figures. Version 6. Significant revision of previous version. Contextuality loophole discussed. Published online in European Physical Journal: Special Topics
Cannabis sativa Linnaeus 1753
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Rosales
Cannabaceae
Cannabis
Cannabis sativa

description: Cannabis sativa Linnaeus, Species Plantarum 2: 1027. 1753.
"Habitat in India." RCN: 7430.
 Lectotype (Villiers in Aubréville & Leroy, Fl. Gabon 22: 58. 1973): Herb. Linn. No. 1177.2 (LINN).
 Generitype of Cannabis Linnaeus.
 Current name:  Cannabis sativa  L. (Cannabaceae).
 Note: Qaiser (in Nasir & Ali, Fl. W Pakistan 44: 3. 1973) indicated Herb. Linn. 1177.1 (LINN) as type but, as noted by Stearn (Bot. Mus. Leafl. Harvard Univ. 23: 335. 1974), this material is a post-1753 addition to the collection and irrelevant for typification purposes. Stearn himself provided an extensive review (l.c.: 325-336), and designated a Clifford collection as the lectotype. However, his choice was narrowly pre-dated by that of a second specimen in LINN, designated by Villiers. Stearn was evidently unaware of this but agreed that the plant was in Linnaeus’ possession in 1753. As such it is original material for the name, along with the Clifford specimens. Images of the specimens in LINN have been published by Schultes (in Joyce & Curry, Bot. Chem. Cannabis: 21, f. 1; 22, f. 2. 1970) and by Stearn (l.c.: 329, pl. 29; 331, pl. 30).
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part C), pp. 370-473 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 380, DOI: 10.5281/zenodo.291971
A resummation of large sub-leading corrections at small x
Creators: name: Salam, G. P.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The NLL corrections to the BFKL kernel are known to be very large, to the extent that even for small values of alpha_s, they lead to physical cross sections which are not positive definite. It is shown in the context of a toy model, that such pathological behaviour is an artifact of the truncation at NLL order, and is associated in particular with double transverse logarithms. These are resummed in a manner consistent with the full NLL kernel, and are shown to change its properties quite considerably.
description: 19 pages LaTeX, 5 figures, includes JHEP.cls and cite.sty. Version 2 additionally includes an appendix, numerous clarifications, correction of typos and extra references
A Living Theory Catalogue for Fast Radio Bursts
Creators: name: Platts, E.
name: Weltman, A.
name: Walters, A.
name: Tendulkar, S. P.
name: Gordin, J. E. B.
name: Kandhai, S.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: At present, we have almost as many theories to explain Fast Radio Bursts as we have Fast Radio Bursts observed. This landscape will be changing rapidly with CHIME/FRB, recently commissioned in Canada, and HIRAX, under construction in South Africa. This is an opportune time to review existing theories and their observational consequences, allowing us to efficiently curtail viable astrophysical models as more data becomes available. In this article we provide a currently up to date catalogue of the numerous and varied theories proposed for Fast Radio Bursts so far. We also launch an online evolving repository for the use and benefit of the community to dynamically update our theoretical knowledge and discuss constraints and uses of Fast Radio Bursts.
description: 48 pages. Invited article for Physics Reports
Real next-to-leading corrections to the multigluon amplitudes in the helicity formalism
Creators: name: Del Duca, Vittorio
Publisher: name: arXiv
Year: 1996
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Using the helicity formalism, we compute the corrections to the tree-level multigluon amplitudes in the high-energy limit, induced by the corrections to the multi-Regge kinematics, and we show that they coincide with the corresponding Fadin-Lipatov amplitudes at fixed helicities.
description: LaTeX, 52 pages (including 10 figures)
A long decay of X-ray flux and spectral evolution in the supersoft active galactic nucleus GSN 069
Creators: name: Shu, X. W.
name: Wang, S. S.
name: Dou, L. M.
name: Jiang, N.
name: Wang, J. X.
name: Wang, T. G.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: GSN 069 is an optically identified very low-mass AGN which shows supersoft X-ray emission. The source is known to exhibit huge X-ray outburst, with flux increased by more than a factor of ~240 compared to the quiescence state. We report its long-term evolution in the X-ray flux and spectral variations over a time-scale of ~decade, using both new and archival X-ray observations from the XMM and Swift. The new Swift observations detected the source in its lowest level of X-ray activity since outburst, a factor of ~4 lower in the 0.2-2 keV flux than that obtained with the XMM observations nearly 8 years ago. Combining with the historical X-ray measurements, we find that the X-ray flux is decreasing slowly. There seemed to be spectral softening associated with the drop of X-ray flux. In addition, we find evidence for the presence of a weak, variable hard X-ray component, in addition to the dominant thermal blackbody emission reported before. The long decay of X-ray flux and spectral evolution, as well as the supersoft X-ray spectra, suggest that the source could be a tidal disruption event, though a highly variable AGN cannot be fully ruled out. Further continued X-ray monitoring would be required to test the TDE interpretation, through better determining the flux evolution in the decay phase.
description: 7 pages, 4 figures, 1 table, published in the ApJ letters
On the dispersion of waves for the linear thermoelastic relaxed micromorphic model
Creators: name: Khurana, Aarti
name: Bala, Suman
name: Khan, Hassam
name: Tumar, Sushil K
name: Neff, Patrizio
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 74A30 (non simple materials), 74A60 (micromiechanical theories), 74Q15 (effective constitutive equation)

description: We present the complete set of constitutive relations and field equations for the linear thermoelastic relaxed micromorphic continuum and investigate its variants for wave propagation. It is found that the additional thermal effects give rise to new waves and generate couplings with longitudinal waves which are not existing in the relaxed micromorphic continuum without thermal effects. However, transverse waves go un-affected by the thermal properties. The dispersion curves have been computed numerically for a particular model and comparison is made with the result obtained previously.
description: 21 page, & figures
FUZZY LOGIC BASED PROPORTIONAL INTEGRAL CONTROLLER FOR A SELF-EXCITED INDUCTION GENERATOR IN WIND ENERGY CONVERSION
Creators: name: SIMACHEW GASHAW YAECOB
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2019
Subjects: SEIG, Fuzzy logic based PI controller, PI, VSI, Renewable energy

description: A wind electrical generation system is the most cost effective of all the environmentally clean and
 safe renewable energy sources in the world. Due to the constant research in the field of wind
 energy related technologies and generic growth in power electronics system, wind power
 generation becomes simpler and more economical. Self-Excited Induction Generators(SEIG) have
 recently emerged for wind energy conversion in remote and rural areas due to many advantages as
 standalone induction generator over Grid Connected Induction Generators. However, poor voltage
 and frequency regulation under varying load and speed is the prime disadvantage of standalone
 SEIG. This thesis work presents a detailed d-q model of SEIG using MATLAB/Simulink which
 contributes to the development of SEIG modeling. From the generalized d-q model, the effect of
 different constraints such as, variation of wind speed, excitation capacitor size and different loads
 on the SEIG output voltage built up process have been addressed and analyzed. Annual wind speed
 distribution models for real wind speed and the effect of wind speed variation on the steady state
 generated voltage and the rotor speed studied. SEIG is based on the action of the three phase
 voltage source inverter (VSI) and DC bus capacitor voltage with the proposed controller. VSI with
 DC voltage can provide the active and reactive powers and regulate AC system bus voltage and
 the frequency. Two type of control are used to maintain the voltage and frequency at its rated value
 in case of variation in the load or in the wind speed. The first control is the reactive power control
 to adjust the terminal voltage at its rated value and the second control is the active power control
 to adjust the frequency at its rated value by changing the value of the pitch angle of the wind
 turbine blade. Simulation is done for stator terminal voltage and generator rotor speed under
 different conditions with (linear and nonlinear) loads and without loads. A comparison is done
 between VSI with proportional integral (PI) and VSI with fuzzy logic based PI controller for both
 linear and non-linear loads. The PI controller based voltage regulator has poor dynamic response
 and Fuzzy-PI Controller gives better performance for any load.
Capparis baducca Linnaeus 1753
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Capparales
Capparaceae
Capparis
Capparis baducca

description: Capparis baducca Linnaeus, Species Plantarum 1: 504. 1753.
"Habitat in India." RCN: 3822.
 Lectotype (Jacobs in Blumea 12: 435. 1965): [icon] “Badukka” in Rheede, Hort. Malab. 6: 105, t. 57. 1686.
 Current name:  Capparis baducca  L. (Capparaceae).
 Note: As discussed by Prado (in Taxon 42: 655-660. 1993), uncertainty about the typification of this name (which included both New and Old World elements) has caused some difficulty. In 1965, Jacobs treated the cited Rheede plate (from India) as the type but Prado rejected this choice, based on conflict with Linnaeus’ diagnosis, in favour of a Clifford collection (BM) of the New World species otherwise known as C. frondosa Jacq. However, as discussed by Rankin & Greuter (in Willdenowia 34: 261. 2004), there are no grounds for rejecting Jacobs’ typification (as a cited illustration, Rheede’s plate is part of the protologue), and C. baducca is the correct, if now ambiguous, name for the Indian species. Rankin & Greuter suggest that it may be desirable for it now to be proposed for rejection, allowing C. rheedei DC. to replace it.
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part C), pp. 370-473 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 381, DOI: 10.5281/zenodo.291971
title: Words Separation and Positive Identities in Symmetric Groups
Creators: name: Karpova, Olga
name: Shur, Arseny M.
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2021

description: We study short positive (\btie, containing no inverses) identities of finite symmetric groups. The interest in such identities is inspired by the problem of separating words with finite automata, in particular, with the automata in which each letter acts on the set of states as a permutation. We list all positive identities in symmetric groups $S_5$ and $S_6$ up to length 40 and prove that the shortest identity in the full transformation semigroup $T_5$ has length 48. Then we propose the classification of positive identities and describe the identities from some particular classes. We state a conjecture that the shortest positive identity in a sufficiently big symmetric group is ``numerical'', which implies an $O\big(\frac{\log^2 n}{\log\log n}\big)$ upper bound on the words separation function.
description: Journal of Automata, Languages and Combinatorics, Volume 26, Numbers 1-2, 2021, 67-89
Pair creation of black holes joined by cosmic strings
Creators: name: Emparan, R.
Publisher: name: arXiv
Year: 1995
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We argue that production of charged black hole pairs joined by a cosmic string in the presence of a magnetic field can be analyzed using the Ernst metric. The effect of the cosmic string is to pull the black holes towards each other, opposing to the background field. An estimation of the production rate using the Euclidean action shows that the process is suppressed as compared to the formation of black holes without strings.
description: 7 pages, LaTeX. Minor typos corrected.
The dyon spectra of finite gauge theories
Creators: name: Ferrari, Frank
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: It is shown that all the (p,q) dyon bound states exist and are unique in N=4 and N=2 with four massless flavours supersymmetric SU(2) Yang-Mills theories, where p and q are any relatively prime integers. The proof can be understood in the context of field theory alone, and does not rely on any duality assumption. We also give a general physical argument showing that these theories should have at least an exact Gamma(2) duality symmetry, and then deduce in particular the existence of the (2p,2q) vector multiplets in the Nf=4 theory. The corresponding massive theories are studied in parallel, and it is shown that though in these cases the spectrum is no longer self-dual at a given point on the moduli space, it is still in perfect agreement with an exact S duality. We also discuss the interplay between our results and both the semiclassical quantization and the heterotic-type II string-string duality conjecture.
description: 49 pages, two appendices, minor corrections
title: On the Unavoidability of Primitive Words and other Languages
Creators: name: Leupold, Peter
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2021

description: Most of the well-known language classes contain very different languages that often have no words at all in common. Therefore it might seem improbable at first sight, that there could be a language non-trivially sharing infinitely many words with each of the individual languages. Non-trivially here means, that the language itself has infinite complement so that there do exist infinite languages that have empty intersection with it. We formalize this idea of being unavoidable. Then we fill the concept with life by providing examples of languages that are unavoidable for classes of regular, context-free and context-sensitive languages. Primitive words play a central role in many of these examples.
description: Journal of Automata, Languages and Combinatorics, Volume 26, Numbers 1-2, 2021, 91-107
Constraint algorithm for singular field theories in the $k$-cosymplectic framework
Creators: name: Gràcia, Xavier
name: Rivas, Xavier
name: Román-Roy, Narciso
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences
subject: Primary: 70H45, Secondary: 35R01, 53C15, 53D99, 70G45, 70S05

description: The aim of this paper is to develop a constraint algorithm for singular classical field theories in the framework of $k$-cosymplectic geometry. Since these field theories are singular, we need to introduce the notion of $k$-precosymplectic structure, which is a generalization of the $k$-cosymplectic structure. Next $k$-precosymplectic Hamiltonian systems are introduced in order to describe singular field theories, both in Lagrangian and Hamiltonian formalisms. Finally, we develop a constraint algorithm in order to find a submanifold where the existence of solutions of the field equations is ensured. The case of affine Lagrangians is studied as a relevant example.
description: 24 pp. Some errors corrected in Section 6.1. The example in Section 6.2 has been changed. Acknowledgements updated
Observability Properties of Colored Graphs
Creators: name: Chilenski, Mark
name: Cybenko, George
name: Dekine, Isaac
name: Kumar, Piyush
name: Raz, Gil
Publisher: name: arXiv
Year: 2018
Subjects: subject: Machine Learning (cs.LG)
subject: Combinatorics (math.CO)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: A colored graph is a directed graph in which nodes or edges have been assigned colors that are not necessarily unique. Observability problems in such graphs consider whether an agent observing the colors of edges or nodes traversed on a path in the graph can determine which node they are at currently or which nodes were visited earlier in the traversal. Previous research efforts have identified several different notions of observability as well as the associated properties of graphs for which those observability properties hold. This paper unifies the prior work into a common framework with several new results about relationships between those notions and associated graph properties. The new framework provides an intuitive way to reason about the attainable accuracy as a function of lag and time spent observing, and identifies simple modifications to improve the observability of a given graph. We show that one form of the graph modification problem is in NP-Complete. The intuition of the new framework is borne out with numerical experiments. This work has implications for problems that can be described in terms of an agent traversing a colored graph, including the reconstruction of hidden states in a hidden Markov model (HMM).
description: 13 pages, 17 figures
title: Non-preserving Accepting Splicing Systems
Creators: name: Mitrana, Victor
name: Păun, Andrei
name: Păun, Mihaela
name: Sánchez Martín, José Ángel
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2021

description: We define a variant of accepting splicing system such that the history preserving property is dropped, namely every new generation of strings is obtained by applying splicing to the set of strings of the previous generation altogether with a predefined finite set of axioms. The condition for halting the computation is defined by a finite set of strings. The computation halts, and the input string is accepted, as soon as a string in the halting set is obtained. We present here simulations of two computationally complete models: $2$-tag systems and Turing machines, both deterministic and nondeterministic. Although all these models are computationally complete and can be simulated by each other, we are interested to investigate the computational as well as descriptional complexity of our direct simulations.
description: Journal of Automata, Languages and Combinatorics, Volume 26, Numbers 1-2, 2021, 109-124
Scanning Gate Spectroscopy on Nanoclusters
Creators: name: Gurevich, L.
name: Canali, L.
name: Kouwenhoven, L. P.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: A gated probe for scanning tunnelling microscopy (STM) has been developed. The probe extends normal STM operations by means of an additional electrode fabricated next to the tunnelling tip. The extra electrode does not make contact with the sample and can be used as a gate. We report on the recipe used for fabricating the tunnelling tip and the gate electrode on a silicon nitride cantilever. We demonstrate the functioning of the scanning gate probes by performing single-electron tunnelling spectroscopy on 20-nm gold clusters for different gate voltages.
description: 3 pages, 4 figures
Holmes: Binary Analysis Integration Through Datalog
Creators: name: Maurer, Matthew
Publisher: name: Carnegie Mellon University
Year: 2018
Subjects: subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We need tools and techniques for program analysis that address the unique problems
faced when analyzing compiled code. During compilation, the compiler strips
away source code information, such as control
ow, types, and variable locations. As
a result, analysis of compiled code faces a number of unique challenges. Previous work
has proposed techniques to perform an individual analysis in isolation. However, previous
work has not focused on the co-dependencies between these individual analysis.
For example, value set analysis requires control
ow analysis, which in turn requires
value set analysis. We need techniques that can handle such co-dependencies in order
to e effectively check higher-level security properties.
In this thesis we propose using a logic-language based approach to encode codependent
analysis and build a tool called Holmes based on our approach to demonstrate
our ideas on real code. We demonstrate novel techniques for extending Datalog
semantics to e efficiently and eff effectively reason about real binary code. Our approach
allows one to elegantly encode the co-dependence between value-set and control-
ow
analysis described above. We demonstrate Holmes and our approach by encoding
real-world co-dependent analysis, and showing that Holmes can act as a framework to
e effectively check higher-level properties, such as use-after-free, on real compiled code.
Additional file 2 of SRSF9 promotes colorectal cancer progression via stabilizing DSN1 mRNA in an m6A-related manner
Creators: name: Wang, Xiaoyu
name: Lu, Xiansheng
name: Wang, Ping
name: Chen, Qiaoyu
name: Xiong, Le
name: Tang, Minshan
name: Hong, Chang
name: Lin, Xiaowen
name: Shi, Kaixi
name: Liang, Li
name: Lin, Jie
Publisher: name: figshare
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Hematology

description: Additional file 2: Table S2. The primer sequences used for RT-qPCR.
Capparis indica Fawc. & Rendle 1914
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Capparales
Capparaceae
Capparis
Capparis indica

description: Capparis breynia Linnaeus, Systema Naturae, ed. 10, 2: 1071. 1759, nom. illeg.
["Habitat in America calidiore."] Sp. Pl. 1: 503 (1753). RCN: 3826.
 Replaced synonym: Breynia indica L. (1753).
 Lectotype (Rankin & Greuter in Willdenowia 34: 262. 2004): [icon] " Breynia Elaeagni foliis " in Breyn, Prodr. Fasc. Rar. Pl.: 13, unnumbered plate. 1739.
 Current name:  Capparis indica  (L.) Fawc. & Rendle (Capparaceae).
 Note: A superfluous name in Capparis for Breynia indica L. (1753), and hence homotypic with it.
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part C), pp. 370-473 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 381, DOI: 10.5281/zenodo.291971
Additional file 1 of Characterization and whole genome sequencing of a novel strain of Bergeyella cardium related to infective endocarditis
Creators: name: Pan, Hongwei
name: Li, Wei
name: Sun, Enhua
name: Zhang, Yi
Publisher: name: figshare
Year: 2020
Subjects: subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Evolutionary Biology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1: Table S1. The predicted CRISPR sequences in the genome of B. cardium HPQL.
title: Constructing Reversible Turing Machines in a Reversible and Conservative Elementary Triangular Cellular Automaton
Creators: name: Morita, Kenichi
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2021

description: We study the problem of how we can construct reversible Turing machines (RTMs) compactly in a two-dimensional reversible cellular automaton (CA). The CA model used here is an elementary triangular partitioned CA (ETPCA) having an extremely simple local transition function. It has been shown that any RTM is realized in a reversible and non-conservative ETPCA No. 0347, where 0347 is an identification number in the class of 256 ETPCAs. In this paper, we show that it is also possible to construct RTMs in a reversible and conservative ETPCA 0137, which has very different features from ETPCA 0347, by a systematic and hierarchical manner. Here, a reversible logic element with memory (RLEM), rather than a reversible logic gate, is used in the basic level of the construction. In particular, a special type of an RLEM No. 4-31 is implemented in ETPCA 0137. Then RTMs are constructed using the RLEM pattern. By this, the construction of configurations that simulates RTMs is greatly simplified.
description: Journal of Automata, Languages and Combinatorics, Volume 26, Numbers 1-2, 2021, 125-144
Charged current deep inelastic scattering of muon neutrinos off ^{56}Fe
Creators: name: Grover, Deepika
name: Saraswat, Kapil
name: Shukla, Prashant
name: Singh, Venktesh
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper, we study charged current deep inelastic scattering of muon neutrinos off ^{56}Fe nuclei using Hirai, Kumano and Saito model. The LHA Parton Distribution Functions (PDFs) - CT10 are used to describe the partonic content of hadrons. Modification of PDFs inside the nuclei is done using EPPS16 parameterization at next-to-leading order. Target mass correction has also been incorporated in the calculations. We calculate the structure functions (F_{2}(x,Q^{2}) and xF_{3}(x,Q^{2})), the ratios (R_{2}(x,Q^{2}) = \frac{F^{^{56}Fe}_{2}}{F^{Nucleon}_{2}} and R_{3}(x,Q^{2}) = \frac{F^{^{56}Fe}_{3}}{F^{Nucleon}_{3}}) and the differential cross sections of muon neutrino deep inelastic scattering off a nucleon and ^{56}Fe nuclei. We compare the obtained results with measured experimental data. The present theoretical approach gives a good description of data.
description: Pages 16, Figures 12,
Computational Characterization of Protein A – Antibody Binding
Creators: name: Lane, Virginia
Publisher: name: Carnegie Mellon University
Year: 2018
Subjects: subject: 90499 Chemical Engineering not elsewhere classified
subject: FOS: Chemical engineering

description: Protein A affinity chromatography is a key step in the downstream processing of monoclonal antibodies (mAbs). Because this step also accounts for over 50% of downstream process costs, improving its separation efficiency could have a significant impact on production costs, ultimately making mAb treatments cheaper and more widely available. Much research has previously been done on the large difference in binding affinity of antibodies and non-antibody proteins to protein A. However, we assert that it may be possible to exploit subtle differences in binding affinity between different antibody subspecies to the wild type protein A ligand, if properly understood. Previous adsorption experiments using media with wild-type protein A ligands have shown an unexpected binding and displacement phenomenon when polyclonal antibodies are in solution with monoclonal antibodies. This phenomenon has not been previously explained or examined in the literature, and we posit that it may have implications which could be exploited for future separations of antibody subspecies and variants. Here, we develop a computational model to simulate competitive antibody binding and displacement behavior on protein A media with wild-type ligands. Our computational results have successfully captured observed binding and displacement effects between competitive components at the single chromatography bead level. We have also developed a new isotherm to define the relationship between protein A- antibody complexation and pH. This provides a connection between antibody elution pH and binding strength that can be utilized in future simulations to predict relative antibody species binding strengths and, in turn, the performance of displacement-mode separations.
SUPPLY CHAIN MANAGEMENT PRACTICES, CHALLENGES AND OPPORTUNITIES: THE CASE OF ELEMTU INTEGRATED MILK INDUSTRY SHARE COMPANY
Creators: name: TUJUBA GMESHU EJASSA
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2019
Subjects: MILK INDUSTRY SHARE COMPANY

description: Business environment has been more and more competitive presently. Companies strive to gain and sustain their competitive advantage in a fast-moving world. One of the most prominent methods is through the practice of Supply Chain Management (SCM). Supply Chain Management is the systemic and strategic coordination of the traditional business functions and the tactics across all functions of the supply chain. The purpose of this study is to examine the current Supply Chain Management practices of Elemtu Integrated Milk Industry Share Company from Supply Chain Management practices perspectives, Challenges of Supply Chain Management and milk processing opportunities. The case company is still practicing traditional (buying and selling) business activities that hinder its business sustainability in today’s competitive market. Moreover, the company had not declared any profit till 7 July 2018. The study was employed through descriptive research design in which the selections of the respondents were carried out by cluster, random, purposive and systematic sampling techniques. The target groups of the study were, Dairy farmers, raw milk collection centers, raw milk suppliers, the case company employees and customers which constitute a total population of 246. Out of these, 130 respondents were involved in data collection. Both primary and secondary sources of data were used for this study. Likert scaled questionnaires, focus group discussion and interviews were used as instruments for data collection. The quantitative data were analyzed using descriptive statistics and presented in tables. The qualitative data were analyzed and used to decide company’s practice in conjunction with quantitative analysis and presented theories. Based on the analyses, Elemtu Integrated Milk Industry Share Company is poor in supply chain management practice, supply chain collaboration and integrated supply chain management. Moreover, the company is performing milk processing within moderate milk processing opportunity. As the findings of the study indicates, the case Company’s Orientations towards SCM lacks substantial indicators of SCM practices, SC collaboration and an integrated SCM. Therefore, the case company is recommended to come out of the traditional business practices and embark on the implementation of supply chain management business practices.
title: Lexicalized Syntactic Analysis by Two-Way Restarting Automata
Creators: name: Mráz, František
name: Otto, Friedrich
name: Pardubská, Dana
name: Plátek, Martin
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2021

description: We study \emph{h-lexicalized two-way restarting automat{a}} that can rewrite at most $i$ times per cycle for some $i\ge 1$ (\hRLWW$(i)$-automata). This model is useful for the study of lexical (syntactic) disambiguation, which is a concept from linguistics that is based on certain reduction patterns. We study lexical disambiguation through the formal notion of \emph{h-lexicalized syntactic analysis} (hLSA). The hLSA is a relation between a \emph{basic language} and the corresponding \emph{h-proper language}, which is obtained from the basic language by mapping all basic symbols {to} input symbols. We stress the sensitivity of hLSA by~\hRLWW$(i)$-automata to the size of the window, the number of possible rewrites per cycle, and the degree of (non-)monotonicity of these automata. We introduce the concepts of \emph{contextually transparent languages} and \emph{contextually transparent lexicalized analyses} based on very special reduction patterns, and we present two-dimensional hierarchies of their subclasses based on the size of the window and on the degree of monotonicity. The bottoms of these hierarchies correspond to the regular and the context-free languages. The class of contextually transparent languages forms a proper subclass of the class of context-sensitive languages with syntactically natural properties.
description: Journal of Automata, Languages and Combinatorics, Volume 26, Numbers 1-2, 2021, 145-171
Capparis cynophallophora Linnaeus 1753
Creators: name: Jarvis, Charlie
Publisher: name: Linnaean Society of London in association with the Natural History Museum
Year: 2007
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Capparales
Capparaceae
Capparis
Capparis cynophallophora

description: Capparis cynophallophora Linnaeus, Species Plantarum 1: 504. 1753.
"Habitat in America." RCN: 3823.
 Lectotype (Al-Shehbaz in Howard, Fl. Lesser Antilles 4: 296. 1988): Herb. Clifford: 204, Capparis 2 (BM-000628728).
 Current name:  Capparis cynophallophora  L. (Capparaceae).
 Note: Fawcett & Rendle (in J. Bot. 52: 142. 1918) stated that this was based on the Hortus Cliffortianus account, and discussed all of the original elements, but did not clearly indicate any one as the type. However, Rankin & Greuter (in Willdenowia 34: 262. 2004) disagree and cite Fawcett and Rendle as having typified the name.
description: Published as part of Jarvis, Charlie, 2007, Chapter 7: Linnaean Plant Names and their Types (part C), pp. 370-473 in Order out of Chaos. Linnaean Plant Types and their Types, London :Linnaean Society of London in association with the Natural History Museum on page 381, DOI: 10.5281/zenodo.291971
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
Creators: name: Khalid, Faiq
name: Abbassi, Imran Hafeez
name: Rehman, Semeen
name: Kamboh, Awais Mehmood
name: Hasan, Osman
name: Shafique, Muhammad
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cryptography and Security (cs.CR)
subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a computationally intensive task and incomplete by nature, especially under limited resources and time constraints. To overcome this limitation, we propose a novel methodology based on model checking to formally analyze security vulnerabilities in sequential circuits while considering side-channel parameters like propagation delay, switching power, and leakage power. In particular, we present a novel algorithm to efficiently partition the state-space into corresponding smaller state-spaces to enable distributed security analysis of complex sequential circuits and thereby mitigating the associated state-space explosion due to their feedback loops. We analyze multiple ISCAS89 and trust-hub benchmarks to demonstrate the efficacy of our framework in identifying security vulnerabilities. The experimental results show that ForASec successfully performs the complete analysis of the given complex and large sequential circuits, and provides approximately 11x to 16x speedup in analysis time compared to state-of-the-art model checking-based techniques. Moreover, it also identifies the number of gates required by an HT that can go undetected for a given design and variability conditions.
description: (Accepted in 2021)
On the numerical closeness of the effective phenomenological electroweak mixing angle $θ$ and the $\MS$ parameter $\hatθ$
Creators: name: Maltoni, M.
name: Vysotsky, M. I.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: It happens that $s^2$ and $\hat s^2$ are equal with 0.1% accuracy, though they are split by radiative corrections and a natural estimate for their difference is 1%. This degeneracy occurs only for $m_t$ value close to $170\GeV$, so no deep physical reason can be attributed to it. However, another puzzle of the Standard Model, the degeneracy of $s_\Eff^2$ and $s^2$, is not independent of the previous one since a good physical reason exists for $s_\Eff^2$ and $\hat s^2$ degeneracy. We present explicit formulas which relate these three angles.
description: 10 pages, latex, 3 figures included; published on MPLA. A few numerical estimates are improved; journal-ref is added
Wavefunctions for Highly Anisotropic Homogeneous Cosmologies
Creators: name: Lidsey, James E.
Publisher: name: arXiv
Year: 1995
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The canonical quantization of homogeneous cosmologies is considered in the high anisotropic limit. Exact wavefunctions are found in this limit when the momentum constraints are reduced at the classical level. Lorentzian solutions that represent tunnelling from classically forbidden regimes are identified. Solutions to the modified Wheeler-DeWitt equation are also found for the vacuum Bianchi IX model when a quantum reduction of the momentum constraints is considered.
description: 11 pages, latex
What are effective $a_1$ and $a_2$ in two-body hadronic decays of D and B mesons?
Creators: name: Kamal, A. N.
name: Santra, A. B.
name: Ghoddoussi, F.
Publisher: name: arXiv
Year: 1996
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Through a specific example of two-body color-favored charm decay, $D_s ^+ \rightarrow ϕπ^+$, we illustrate how an effective and complex (unitarized) $a_1$, denoted by $a_1^{U,eff}$, may be defined such that it includes nonfactorized, annihilation and inelastic final state interaction (fsi) effects. The procedure can be generalized to color-suppressed processes to define an effective, and complex $a_2^{U,eff}$. We determine $|a_1^{U,eff}|$ and, where relevant, $|a_2^{U,eff}|$ for $D\rightarrow \bar{K}π, \bar{K} ρ, \bar{K}^{*} π, D_s^+ \rightarrow ηπ^+$, $η' π^+$, $ηρ^+ ,η' ρ^+$, and for $B^0 \rightarrow D^- π^+$ and $D^- ρ^+$ from the hadronic and semileptonic decay data.
description: 14 pages,Latex,no figures
Attention-based Pyramid Aggregation Network for Visual Place Recognition
Creators: name: Zhu, Yingying
name: Wang, Jiong
name: Xie, Lingxi
name: Zheng, Liang
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Visual place recognition is challenging in the urban environment and is usually viewed as a large scale image retrieval task. The intrinsic challenges in place recognition exist that the confusing objects such as cars and trees frequently occur in the complex urban scene, and buildings with repetitive structures may cause over-counting and the burstiness problem degrading the image representations. To address these problems, we present an Attention-based Pyramid Aggregation Network (APANet), which is trained in an end-to-end manner for place recognition. One main component of APANet, the spatial pyramid pooling, can effectively encode the multi-size buildings containing geo-information. The other one, the attention block, is adopted as a region evaluator for suppressing the confusing regional features while highlighting the discriminative ones. When testing, we further propose a simple yet effective PCA power whitening strategy, which significantly improves the widely used PCA whitening by reasonably limiting the impact of over-counting. Experimental evaluations demonstrate that the proposed APANet outperforms the state-of-the-art methods on two place recognition benchmarks, and generalizes well on standard image retrieval datasets.
description: Accepted to ACM Multimedia 2018
Subleading contributions from instanton corrections in N = 2 supersymmetric black hole entropy
Creators: name: Behrndt, Klaus
name: Gaida, Ingo
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present subleading corrections to the N=2 supersymmetric black hole entropy. These subleading contributions correspond to instanton corrections of the Type II string theory. In particular we consider an axion free black hole solution of low-energy effective Type II string theory. We present a procedure to include successively all instanton corrections. Expanding these corrections at particular points in moduli space yields polynomial and logarithmic instanton corrections to the classical black hole entropy. We comment on a microscopic interpretation of these instanton corrections and find that the logarithmic corrections correspond to subleading terms in the degeneracy of the spectrum of an underlying quantum theory.
description: 8 pages, Latex