cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A quantum protocol for cheat-sensitive weak coin flipping
Creators: name: Spekkens, R. W.
name: Rudolph, Terry
Publisher: name: arXiv
Year: 2002
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a quantum protocol for the task of weak coin flipping. We find that, for one choice of parameters in the protocol, the maximum probability of a dishonest party winning the coin flip if the other party is honest is 1/sqrt(2). We also show that if parties restrict themselves to strategies wherein they cannot be caught cheating, their maximum probability of winning can be even smaller. As such, the protocol offers additional security in the form of cheat sensitivity.
description: 4 pages RevTex. Differs from the journal version only in that the sentences: "The ordering of the authors on this paper was chosen by a coin flip implemented by a trusted third party. TR lost." have not been removed
Pseudophotopsis syriaca
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Pseudophotopsis
Pseudophotopsis syriaca

description: Pseudophotopsis syriaca (André 1900)
 Pseudophotopsis caspica: Özbek et al. 1999: 23, ♀ (Antalya, Mersin).
 Material examined. Antalya: Korkuteli, 800 m, 7.VII.1994, 1 ♀. Çanakkale: 100 m, 10.VIII.1995, 1 ♀. Isparta: Eǧirdir, Kovada, 16.VIII.2007, 1 ♀. Manisa: Turgutlu, Çıkrıkçı, 22.IX.2005, 2 ♀; Daǧmarmara, 14.VI.2006, 1 ♀. Mersin: Anamur, 100 m, 20.VII.1982, 1 ♀ (identidied by B. Petersen as Pseudophotopsis caspica).
 Distribution. Turkey (Asian territory) (new record), Syria, Palestine, Greece.
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on page 8, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
Fat Inflatons, Large Turns and the $η$-problem
Creators: name: Chakraborty, Dibya
name: Chiovoloni, Roberta
name: Loaiza-Brito, Oscar
name: Niz, Gustavo
name: Zavala, Ivonne
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: It is commonly believed that a successful period of inflation driven by a single or several scalar fields requires a specific hierarchy of masses given by $M_{inf}\ll H \ll M_{heavy}$, where $M_{inf}$ can correspond to several or a single light field and $M_{heavy}\,\,\,$ corresponds to any heavy field that might be integrated out if it satisfies suitable conditions. This is at the heart of the so called $η$-problem in inflation, since large contributions to the masses of the inflatons might spoil the slow-roll conditions required for inflation. We show that, while this is an unavoidable conclusion in single field inflation, in multifield inflation, heavy fields as defined above, may be fully responsible for a successful period of what we call fat slow-roll inflation. Moreover we show that in this scenario, the turning rate of the inflationary trajectory, $Ω/H$, is larger than one. Thus, the $η$-problem is evaded with large turns in fat inflation. Depending on the perturbations' mass spectra, cosmological predictions will differ either slightly or largely with respect to those of the single field case. We illustrate this scenario in a concrete example in Type IIB string flux compactifications, where a probe D5-brane moving along the angular and radial directions in a warped throat drives fat D5-brane natural inflation. An instantaneous superplanckian decay constant can be defined, consistent with our low energy approximations, thanks to the strong warping of the geometry. We compute the cosmological observables, which differ from the single field case. We also discuss fat inflation in the context of recently proposed swampland de Sitter conjectures.
description: 41 pages, 13 figures. Minor typos fixed, references added, appendix A expanded. To appear in JCAP
Myrmilla (Myrmilla) calva
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Myrmilla
Myrmilla calva

description: Myrmilla (Myrmilla) calva (Villers 1789)
 Myrmilla calva: Özbek et al. 1999: 22, ♂, ♀ (Ankara, Artvin, Erzincan); Yildirim 2006: 279, ♂ (Ankara).
 Myrmilla (Myrmilla) calva: Lelej 2002: 32 (Asian Turkey).
 Material examined. No specimens have been examined.
 Distribution. Turkey (Asian territory), Greece, Bulgaria, Slovenia, Croatia, Bosnia-Herzegovina, Serbia, Montenegro, Macedonia, Albania, Germany, Austria, Czech Republic, Slovakia, Hungary, Switzerland, Romania, Italy (including Sicily and Sardinia), France, Spain, Portugal, Morocco, Tunisia, Libya, Egypt.
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on page 9, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
Interactive Finite Element Model of Needle Insertion and Laceration
Creators: name: Perrusi, Pedro Henrique Suruagy
name: Baksic, Paul
name: Courtecuisse, Hadrien
Publisher: name: The Eurographics Association
Year: 2021
Subjects: Computing methodologies
Physical Simulation
Real
Time Simulation

description: This paper introduces an interactive model of needle insertion, including the possibility to simulate lacerations of tissue around the needle. The method relies on complementary constraints to couple the Finite Element models of the needle and tissue. The cutting path is generated from mechanical criteria (i.e. cutting force) at arbitrary resolution, avoiding expensive remeshing of Finite Element meshes. Complex behavior can be simulated in real time such as friction along the shaft of the needle, puncture and cutting force resulting from interactions of the needle with the tissue. The method is illustrated both in an interactive simulation of a needle insertion/cutting and in a robotic needle insertion in liver tissue during the breathing motion.
description: Eurographics 2021 - Short Papers
description: Animation and Visualization
description: 45
description: 48
description: Pedro Henrique Suruagy Perrusi, Paul Baksic, and Hadrien Courtecuisse
description: CCS Concepts: Computing methodologies --> Physical Simulation; Real-Time Simulation
Top-quark spin correlation at Linear Colliders with anomalous couplings
Creators: name: Lin, Z. -H.
name: Han, T.
name: Huang, T.
name: Wang, J. -X.
name: Zhang, X.
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We investigate the feasibility of probing anomalous top-quark couplings of $Wtb$, $Z t \bar{t}$, and $γt \bar{t}$ in terms of an effective Lagrangian with dimension-six operators at future $e^+e^-$ linear colliders with a c. m. energy $\sqrt s \sim 500-800$ GeV. We first examine the constraints on these anomalous couplings from the $Z\to b \bar{b}$ data at LEP I and from unitarity considerations. We then consider in detail the effects of anomalous couplings on $t \bar{t}$ spin correlations in the top-pair production and decay with three spin bases: the helicity, beamline and off-diagonal bases. Our results show that the polarized beams are more suitable for exploring the effects of different new operators. For polarized beams, the helicity basis yields the best sensitivity.
description: 23 pages, 10 figures, references added
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning
Creators: name: Spies, David
name: You, Jia-Huai
name: Hayward, Ryan
Publisher: name: arXiv
Year: 2019
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: We present an approach to representing large sets of mutual exclusions, also known as mutexes or mutex constraints. These are the types of constraints that specify the exclusion of some properties, events, processes, and so on. They are ubiquitous in many areas of applications. The size of these constraints for a given problem can be overwhelming enough to present a bottleneck for the solving efficiency of the underlying solver. In this paper, we propose a novel graph-theoretic technique based on multicliques for a compact representation of mutex constraints and apply it to domain-independent planning in ASP. As computing a minimum multiclique covering from a mutex graph is NP-hard, we propose an efficient approximation algorithm for multiclique covering and show experimentally that it generates substantially smaller grounding size for mutex constraints in ASP than the previously known work in SAT.
description: In Proceedings ICLP 2019, arXiv:1909.07646
Predictions for the unitarity triangle angles in a new parametrization
Creators: name: Chaturvedi, S.
name: Gupta, Virendra
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A new approach to the parametrization of the CKM matrix, $V$, is considered in which $V$ is written as a linear combination of the unit matrix $I$ and a non-diagonal matrix $U$ which causes intergenerational-mixing, that is $V=\cosθI+i\sinθU$. Such a $V$ depends on 3 real parameters including the parameter $θ$. It is interesting that a value of $θ=π/4$ is required to fit the available data on the CKM-matrix including CP-violation. Predictions of this fit for the angles $α$, $β$ and $γ$ for the unitarity triangle corresponding to $V_{11}V^*_{13} + V_{21} V^*_{23} +V_{31}V^*_{33} =0$, are given. For $θ$=$π/4$, we obtain $α=88.46^\circ$, $β=45.046^\circ$ and $γ=46.5^\circ$. These values are just about in agreement, within errors, with the present data. It is very interesting that the unitarity triangle is expected to be approximately a right-angled, isosceles triangle. Our prediction $\sin 2β= 1$ is in excellent agreement with the value $0.99\pm 0.15\pm 0.05$ reported by the Belle collaboration at the Lepton-Photon 2001 meeting.
description: 11 pages, latex, no figures
Electron and photon performance measurements with the ATLAS detector using the 2015-2017 LHC proton-proton collision data
Creators: name: ATLAS Collaboration
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: This paper describes the reconstruction of electrons and photons with the ATLAS detector, as employed for measurements and searches exploiting the complete LHC Run 2 dataset. An improved energy clustering algorithm is introduced, and its implications for the measurement and identification of electrons and photons are discussed in detail. Corrections and calibrations that affect performance, including energy calibration, identification and isolation efficiencies, and the measurement of the charge of reconstructed electron candidates are determined using up to 81 fb$^{-1}$ of proton-proton collision data collected at $\sqrt{s}=$ 13 TeV between 2015 and 2017.
description: 70 pages in total, author list starting page 54, 31 figures, 3 tables, submitted to JINST. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/EGAM-2018-01
Tight Normal Cone Merging for Efficient Collision Detection of Thin Deformable Objects
Creators: name: Han, Dong-Hoon
name: Lee, Chang-Jin
name: Lee, Sangbin
name: Ko, Hyeong-Seok
Publisher: name: The Eurographics Association
Year: 2021
Subjects: Computing methodologies
Collision detection

description: When simulating thin deformable objects such as clothes, collision detection alone takes a lot of computation. One way of reducing the computation is culling false-positives as much as possible. In the context of bounding volume hierarchy, Provot proposed a culling method that is based on hierarchical merging of normal enclosing cones. In this work, we investigate Provot's merging algorithm and show that there is some room for improvement. We propose a new merging algorithm, in the context of discrete collision detection, which always produces an equal or tighter mergence than Provot's merging. We extend the above algorithm so that it can be used in the context of continuous collision detection. Experiments show that the proposed method makes about 25% reduction in the number of triangle pairs for which vertex-triangle or edge-edge collision test has to be performed, and 18% reduction in time for collision detection.
description: Eurographics 2021 - Short Papers
description: Animation and Visualization
description: 49
description: 52
description: Dong-Hoon Han, Chang-Jin Lee, Sangbin Lee, and Hyeong-Seok Ko
description: CCS Concepts: Computing methodologies --> Collision detection
High-carbohydrate diet-induced metabolic disorders in Gerbillus tarabuli (a new model of non-alcoholic fatty-liver disease). Protective effects of 20-hydroxyecdysone
Creators: name: Hadjer Agoun
name: Semiane, Nesrine
name: Mallek, Aicha
name: Zineb Bellahreche
name: Hammadi, Soumia
name: Madjerab, Maha
name: Abdlalli, Mohamed
name: Khalkhal, Ali
name: Dahmani, Yasmina
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 60506 Virology

description: The aim of our study was to reveal the effects of long-term consumption of a high-carbohydrate diet (HCD) on metabolic dysfunctions and histopathological liver alterations in Gerbillus tarabuli, as well as to assess the preventive effects of 20-hydroxyecdysone (20E) in the same animals. Contrary to control diet, HCD induces several metabolic disorders including increased adiposity, dyslipidemia, ectopic fat deposition in the liver, associated with higher levels of plasma AST and ALT. These gerbils showed enhanced oxidative stress with liver damages characteristic of steatohepatitis development. By contrast, adding 20E to HCD resulted in a dose-dependent reduction of all changes induced by HCD. In addition, the hepatoprotective effect of 20E was demonstrated by decreased plasma concentrations of AST, ALT and of hepatic malondialdehyde. Our results suggest that G. tarabuli represents a good model to study diet-induced metabolic disorders and hepatic dysfunctions. Moreover, they demonstrate the efficacy of 20E treatment to counteract the damaging effects of HCD.
Interactive Simulation for easy Decision-making in Fluid Dynamics
Creators: name: Wang, Mengchen
name: Férey, Nicolas
name: Magoulès, Frédéric
name: Bourdot, Patrick
Publisher: name: The Eurographics Association
Year: 2021
Subjects: Computing methodologies
Interactive simulation
Simulation environments

description: A conventional study of fluid simulation involves different stages including conception, simulation, visualization, and analysis tasks. It is, therefore, necessary to switch between different software and interactive contexts which implies costly data manipulation and increases the time needed for decision making. Our interactive simulation approach was designed to shorten this loop, allowing users to visualize and steer a simulation in progress without waiting for the end of the simulation. The methodology allows the users to control, start, pause, or stop a simulation in progress, to change global physical parameters, to interact with its 3D environment by editing boundary conditions such as walls or obstacles. This approach is made possible by using a methodology such as the Lattice Boltzmann Method (LBM) to achieve interactive time while remaining physically relevant. In this work, we present our platform dedicated to interactive fluid simulation based on LBM. The contribution of our interactive simulation approach to decision making will be evaluated in a study based on a simple but realistic use case.
description: Eurographics 2021 - Short Papers
description: Animation and Visualization
description: 53
description: 56
description: Mengchen Wang, Nicolas Férey, Frédéric Magoulès, and Patrick Bourdot
description: CCS Concepts: Computing methodologies --> Interactive simulation; Simulation environments
Time of Flight and Supernova Progenitor Effects on the Neutrino Halo
Creators: name: Cherry, John F.
name: Fuller, George M.
name: Horiuchi, Shunsaku
name: Kotake, Kei
name: Takiwaki, Tomoya
name: Fischer, Tobias
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We argue that the neutrino halo, a population of neutrinos that have undergone direction-changing scattering in the stellar envelope of a core-collapse supernova (CCSNe), is sensitive to neutrino emission history through time of flight. We show that the constant time approximation, commonly used in calculating the neutrino halo, does not capture the spatiotemporal evolution of the halo neutrino population and that correcting for time of flight can produce conditions which may trigger fast neutrino flavor conversion. We also find that there exists a window of time early in all CCSNe where the neutrino halo population is sufficiently small that it may be negligible. This suggests that collective neutrino oscillation calculations which neglect the Halo may be well founded at sufficiently early times.
description: 7 pages, 3 figures and 1 table
Myrmilla (Myrmilla) corniculata
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Myrmilla
Myrmilla corniculata

description: Myrmilla (Myrmilla) corniculata (Sichel & Radoszkowski 1869)
 Mutilla corniculata Sichel et Radoszkowski 1869: 163, ♀, syntypes: " France meridionale, Grece, Syra, Corfou, Caucase, Crimee, Anatolie ", in Krakow Inst. Syst. Exper. Zool. and Zool. Muz. Berlin.
 Myrmilla (Myrmilla) corniculata: Lelej 2002: 33 (Asian Turkey).
 Myrmilla caucasica: Özbek et al. 1999: 22, part., ♀ (Erzurum).
 Material examined. Erzurum: Oltu, Başaklı, 1750 m, 15.IX.1985, 1 ♀ (identified by B. Petersen as Myrmilla caucasica).
 Distribution. Turkey (Asian territory), Iran, Syria, Palestine, Greece, France (south).
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on pages 9-10, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
Cosmological Billiards
Creators: name: Damour, T.
name: Henneaux, M.
name: Nicolai, H.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: It is shown in detail that the dynamics of the Einstein-dilaton-p-form system in the vicinity of a spacelike singularity can be asymptotically described, at a generic spatial point, as a billiard motion in a region of Lobachevskii space (realized as an hyperboloid in the space of logarithmic scale factors). This is done within the Hamiltonian formalism, and for an arbitrary number of spacetime dimensions $D \geq 4$. A key role in the derivation is played by the Iwasawa decomposition of the spatial metric, and by the fact that the off-diagonal degrees of freedom, as well as the p-form degrees of freedom, get ``asymptotically frozen'' in this description. For those models admitting a Kac-Moody theoretic interpretation of the billiard dynamics we outline how to set up an asymptotically equivalent description in terms of a one-dimensional non-linear sigma-model formally invariant under the corresponding Kac-Moody group.
description: 88 pages
Myrmilla (Myrmilla) lezginica
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Myrmilla
Myrmilla lezginica

description: Myrmilla (Myrmilla) lezginica (Radoszkowski 1885)
 Myrmilla (Myrmilla) lezginica: Lelej 1985: 101, ♂, ♀; 2002: 34 (Asian Turkey).
 Myrmilla (Myrmilla) lezginica: Özbek et al. 1999: 22, ♀ (Erzurum).
 Material examined. Erzurum: University field, 1850 m, 28.VIII.1992, 1 ♀ (identified by B. Petersen as Myrmilla lezginica). Manisa: Turgutlu, Çıkrıkçı, 29.V.2006, 1 ♀.
 Distribution. Turkey (Erzurum, Manisa), Georgia, Azerbaijan, Uzbekistan, Turkmenistan, Iran, Syria, Palestine, Greece, Bulgaria, Macedonia, Romania, Ukraine, Russia (South European territory).
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on page 10, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
Auto-rigging 3D Bipedal Characters in Arbitrarily Poses
Creators: name: Kim, Jeonghwan
name: Son, Hyeontae
name: Bae, Jinseok
name: Kim, Young Min
Publisher: name: The Eurographics Association
Year: 2021
Subjects: Computing methodologies
Motion processing
3D imaging
Neural networks

description: We present an end-to-end algorithm that can automatically rig a given 3D character such that it is ready for 3D animation. The animation of a virtual character requires the skeletal motion defined with bones and joints, and the corresponding deformation of the mesh represented with skin weights. While the conventional animation pipeline requires the initial 3D character to be in the predefined default pose, our pipeline can rig a 3D character in arbitrary pose. We handle the increased ambiguity by fixing the skeletal topology and solving for the full deformation space. After the skeletal positions and orientations are fully discovered, we can deform the provided 3D character into the default pose, from which we can animate the character with the help of recent motion-retargeting techniques. Our results show that we can successfully animate initially deformed characters, which was not possible with previous works.
description: Eurographics 2021 - Short Papers
description: Animation and Visualization
description: 57
description: 60
description: Jeonghwan Kim, Hyeontae Son, Jinseok Bae, and Young Min Kim
description: CCS Concepts: Computing methodologies --> Motion processing; 3D imaging; Neural networks
Lattice Chiral Symmetry in Fermionic Interacting Theories and the Antifield Formalism
Creators: name: Igarashi, Yuji
name: So, Hiroto
name: Ukita, Naoya
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: Recently we have discussed realization of an exact chiral symmetry in theories with self-interacting fermions on the lattice, based upon an auxiliary field method. In this paper we describe construction of the lattice chiral symmetry and discuss its structure in more detail. The antifield formalism is used to make symmetry consideration more transparent. We show that the quantum master equation in the antifield formalism generates all the relevant Ward-Takahashi identities including a Ginsparg-Wilson relation for interacting theories. Solutions of the quantum master equation are obtained in a closed form, but the resulting actions are found to be singular. Canonical transformations are used to obtain four types of regular actions. Two of them may define consistent quantum theories. Their Yukawa couplings are the same as those obtained by using the chiral decomposition in the free field algebra. Inclusion of the complete set of the auxiliary fields is briefly discussed.
description: 28 pages
Kang-Redner Anomaly in Cluster-Cluster Aggregation
Creators: name: Krishnamurthy, Supriya
name: Rajesh, R.
name: Zaboronski, Oleg
Publisher: name: arXiv
Year: 2002
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The large time, small mass, asymptotic behavior of the average mass distribution $\pb$ is studied in a $d$-dimensional system of diffusing aggregating particles for $1\leq d \leq 2$. By means of both a renormalization group computation as well as a direct re-summation of leading terms in the small reaction-rate expansion of the average mass distribution, it is shown that $\pb \sim \frac{1}{t^d} (\frac{m^{1/d}}{\sqrt{t}})^{e_{KR}}$ for $m \ll t^{d/2}$, where $e_{KR}=ε+O(ε^2)$ and $ε=2-d$. In two dimensions, it is shown that $\pb \sim \frac{\ln(m) \ln(t)}{t^2}$ for $ m \ll t/ \ln(t)$. Numerical simulations in two dimensions supporting the analytical results are also presented.
description: 11 pages, 6 figures, Revtex 4
Most General Variant Unifiers
Creators: name: Escobar, Santiago
name: Sapiña, Julia
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. Equational unification is of special relevance to automated deduction, theorem proving, protocol analysis, partial evaluation, model checking, etc. Several algorithms have been developed in the literature for specific equational theories, such as associative-commutative symbols, exclusive-or, Diffie-Hellman, or Abelian Groups. Narrowing was proved to be complete for unification and several cases have been studied where narrowing provides a decidable unification algorithm. A new narrowing-based equational unification algorithm relying on the concept of the variants of a term has been developed and it is available in the most recent version of Maude, version 2.7.1, which provides quite sophisticated unification features. A variant of a term t is a pair consisting of a substitution sigma and the canonical form of tsigma. Variant-based unification is decidable when the equational theory satisfies the finite variant property. However, it may compute many more unifiers than the necessary and, in this paper, we explore how to strengthen the variant-based unification algorithm implemented in Maude to produce a minimal set of most general variant unifiers. Our experiments suggest that this new adaptation of the variant-based unification is more efficient both in execution time and in the number of computed variant unifiers than the original algorithm available in Maude.
description: In Proceedings ICLP 2019, arXiv:1909.07646
Non--Commutative Field Theories beyond Perturbation Theory
Creators: name: Bietenholz, W.
name: Hofheinz, F.
name: Nishimura, J.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We investigate two models in non-commutative (NC) field theory by means of Monte Carlo simulations. Even if we start from the Euclidean lattice formulation, such simulations are only feasible after mapping the systems onto dimensionally reduced matrix models. Using this technique, we measure Wilson loops in 2d NC gauge theory of rank 1. It turns out that they are non-perturbatively renormalizable, and the phase follows an Aharonov-Bohm effect if we identify θ= 1/B. Next we study the 3d λϕ^{4} model with two NC coordinates, where we present new results for the correlators and the dispersion relation. We further reveal the explicit phase diagram. The ordered regime splits into a uniform and a striped phase, as it was qualitatively conjectured before. We also confirm the recent observation by Ambjorn and Catterall that such stripes occur even in d=2, although they imply the spontaneous breaking of translation symmetry. However, in d=3 and d=2 we observe only patterns of two stripes to be stable in the range of parameters investigated.
description: 8 pages, 8 figures, talk presented at 35th Ahrenshoop Symposium
COPI vesicle formation and N-myristoylation are targetable vulnerabilities of senescent cells.
Creators: name: McHugh, Domhnall
name: Sun, Bin
name: Gutierrez-Muñoz, Carmen
name: Hernández-González, Fernanda
name: Mellone, Massimiliano
name: Guiho, Romain
name: Duran, Imanol
name: Pombo, Joaquim
name: Pietrocola, Federico
name: Birch, Jodie
name: Kallemeijn, Wouter W
name: Khadayate, Sanjay
name: Dharmalingam, Gopuraja
name: Vernia, Santiago
name: Tate, Edward W
name: Martínez-Barbera, Juan Pedro
name: Withers, Dominic J
name: Thomas, Gareth J
name: Serrano, Manuel
name: Gil, Jesús
Publisher: name: The Francis Crick Institute
Year: 2023
Subjects: classificationCode: Biochemistry & Proteomics
subject: Biochemistry & Proteomics
classificationCode: Cell Biology
subject: Cell Biology
classificationCode: Infectious Disease
subject: Infectious Disease
classificationCode: Model organisms
subject: Model organisms

description: Drugs that selectively kill senescent cells (senolytics) improve the outcomes of cancer, fibrosis and age-related diseases. Despite their potential, our knowledge of the molecular pathways that affect the survival of senescent cells is limited. To discover senolytic targets, we performed RNAi screens and identified coatomer complex I (COPI) vesicle formation as a liability of senescent cells. Genetic or pharmacological inhibition of COPI results in Golgi dispersal, dysfunctional autophagy, and unfolded protein response-dependent apoptosis of senescent cells, and knockdown of COPI subunits improves the outcomes of cancer and fibrosis in mouse models. Drugs targeting COPI have poor pharmacological properties, but we find that N-myristoyltransferase inhibitors (NMTi) phenocopy COPI inhibition and are potent senolytics. NMTi selectively eliminated senescent cells and improved outcomes in models of cancer and non-alcoholic steatohepatitis. Our results suggest that senescent cells rely on a hyperactive secretory apparatus and that inhibiting trafficking kills senescent cells with the potential to treat various senescence-associated diseases.
Myrmilla (Pseudomutilla) glabrata
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Myrmilla
Myrmilla glabrata

description: Myrmilla (Pseudomutilla) glabrata (Fabricius 1775)
 Myrmilla (Pseudomutilla) glabrata: Lelej 1985: 106, ♂, ♀ (Turkey); 2002: 37 (Asian Tyrkey).
 Myrmilla glabrata: Petersen 1988: 206, ♀ (Balıkesir, Konya); Özbek et al. 1999: 22, ♀ (Eskişehir).
 Material examined. Bilecik: 600 m, 15.VI.1995, 1 ♀.
 Distribution. Turkey (Asian territory), Kazakhstan, Uzbekistan, Syria, Greece, Bulgaria, Serbia, Montenegro, Macedonia, Austria, Hungary, Romania, Ukraine, Russia (South European territory).
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on page 10, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
Visual Analysis of Point Cloud Neighborhoods via Multi-Scale Geometric Measures
Creators: name: Ritter, Marcel
name: Schiffner, Daniel
name: Harders, Matthias
Publisher: name: The Eurographics Association
Year: 2021
Subjects: Human centered computing
Visual analytics
Computing methodologies
Point
based models

description: Point sets are a widely used spatial data structure in computational and observational domains, e.g. in physics particle simulations, computer graphics or remote sensing. Algorithms typically operate in local neighborhoods of point sets, for computing physical states, surface reconstructions, etc. We present a visualization technique based on multi-scale geometric features of such point clouds. We explore properties of different choices on the underlying weighted co-variance neighborhood descriptor, illustrated on different point set geometries and for varying noise levels. The impact of different weighting functions and tensor centroids, as well as point set features and noise levels becomes visible in the rotation-invariant feature images. We compare to a curvature based scale space visualization method and, finally, show how features in real-world LiDAR data can be inspected by images created with our approach in an interactive tool. In contrast to the curvature based approach, with our method line structures are highlighted over growing scales, with clear border regions to planar or spherical geometric structures.
description: Eurographics 2021 - Short Papers
description: Animation and Visualization
description: 61
description: 64
description: Marcel Ritter, Daniel Schiffner, and Matthias Harders
description: CCS Concepts: Human-centered computing --> Visual analytics; Computing methodologies --> Point-based models
Supplementary Material from A drop does not fall in a straight line: a rationale for the width of stalagmites
Creators: name: J. Parmentier
name: S. Lejeune
name: M. Maréchal
name: F. Bourges
name: D. Genty
name: V. Terrapon
name: J.-C. Maréchal
name: T. Gilet
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: 91504 Fluidisation and Fluid Mechanics
subject: FOS: Other engineering and technologies

description: This file contains: (i) an analytical solution to Eqs (2.12)-(2.14) from the main text, (ii) additional data on the variations of r with We and film thickness, (iii) successive snapshots of a drop detaching from a stalactite, (iv) drop size, velocity and impact point deflection measurements for filmed stalagmites, (v) stalagmite width measurements for all stalagmites, and (vi) pictures of filmed stalagmites.
Zōho Kai tsūshō kō. Kan no 3
增補華夷通商考. 巻之三
Creators: name: Nishikawa, Joken, 1648-1724
Publisher: name: Kyōto : Umemura Yaemon and Furukawa Saburobē
Year: 2015

description: One map in v.　1: 中華十五省之畧圖 Chūka jūgoshō no ryakuzu (Outline map of the fifteen provinces), v. 1 [p. 7-8]. One map in v. 3: 地球萬國一覧之圖 Chikyū bankoku ichiran no zu (Map of all the countries on the globe), v. 3 [p. 4-5]. Cited in: WSN; 49
Numerical simulation tests with light dynamical quarks
Creators: name: Farchioni, F.
name: Gebert, C.
name: Montvay, I.
name: Scorzato, L.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: Two degenerate flavours of quarks are simulated with small masses down to about one fifth of the strange quark mass by using the two-step multi-boson (TSMB) algorithm. The lattice size is 8^3 x 16 with lattice spacing about 0.27fm which is not far from the N_t=4 thermodynamical cross-over line. Autocorrelations of different physical quantities are estimated as a function of the quark mass. The eigenvalue spectra of the Wilson-Dirac operator are investigated.
description: 14 pages, 7 figures, uses svjour.cls; mistake in the autocorrelation of the pion mass corrected, version accepted for publication on Eur. Phys. J. C
Platymyrmilla quinquefasciata
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Platymyrmilla
Platymyrmilla quinquefasciata

description: Platymyrmilla quinquefasciata (Olivier 1811)
 Platymyrmilla quinquefasciata: Özbek et al. 1999: 23, ♀ (Aydın, İzmir); Lelej 2002: 40 (Asian Turkey).
 Material examined. Aydın: Cine, 600 m, 4.VII.1990, 1 ♀.
 Distribution. Turkey (Aydın, İzmir), Georgia, Armenia, Azerbaijan, Iran, Palestine, Syria, Iraq, Greece, Bulgaria, Macedonia, Hungary, Romania, Moldova.
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on page 11, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
Corn Transportation Profile
Creators: name: Denicoff, Marina R.
name: Prater, Marvin E.
name: Bahizi, Pierre
name: Denicoff, Marina R.
name: Prater, Marvin E.
name: Bahizi, Pierre
Publisher: name: Unknown
Year: 2014
Subjects: subject: Agribusiness
subject: Marketing
subject: FOS: Economics and business
subject: corn
subject: grain
subject: transportation

description: America’s farmers depend on transportation as the critical link between the fields of growers and the tables of consumers,both here and abroad. Transportation is a derived demand because the production and consumption of an agricultural commodity create the demand for transportation services. As such,it is an essential part of marketing,any change in supply or demand of the underlying commodity or commodities that compete for transportation services can affect the transport system’s efficiency by bringing about either shortages or surpluses in transportation capacity. This report examines transportation implications of the recent trends and outlook for U.S. corn.
Implications of the Pseudo-Scalar Higgs Boson in determining the Neutralino Dark Matter
Creators: name: Lahanas, A. B.
name: Spanos, V. C.
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the framework of the Constrained Minimal Supersmmetric Standard Model (CMSSM) we discuss the impact of the pseudo-scalar Higgs boson in delineating regions of the parameters which are consistent with cosmological data and E821 data on the anomalous magnetic moment of muon. For large values of the parameter $\tan β> 50$, cosmologically allowed corridors of large $m_0$, $M_{1/2}$ are opened, due to the s-channel pseudo-scalar exchange in the pair annihilation of the lightest of the neutralinos to $b \bar{b}$ or $τ\barτ$, which dominates in this region. However, no such corridors are found for values $\tan β< 50 $. Combining cosmological and E821 data puts severe upper limits on sparticle masses. We find that at LHC, but even at a $e^{+}e^{-}$ linear collider with center of mass energy $\sqrt{s} = 800\GeV$, such as TESLA, supersymmetry can be discovered, if it is based on the CMSSM.
description: 15 pages, 6 figures. Version to appear in Eur. Phys. J. C. Full quality figures can be obtained from http://wwwhephy.oeaw.ac.at/u3w/s/spanos/www
Sigilla dorsata
Creators: name: Lelej, Arkady S.
name: Yildirim, Erol
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Sigilla
Sigilla dorsata

description: Sigilla dorsata (Fabricius 1798)
 Sigilla dorsata: Pagliano & Strumia 2007: 53 (Turkey).
 Material examined. No specimens have been examined.
 Distribution. Turkey, Italy (including Sardinia), Monaco, France (Corsica), Spain, Morocco, Algeria, Tunisia, Libya, Egypt.
 Remarks. On the request of ASL, G. Pagliano informed him that one female from Turkey was examined, but the location of this specimen is unknown.
description: Published as part of Lelej, Arkady S. & Yildirim, Erol, 2009, A review of the Mutillidae (Hymenoptera) of Turkey, pp. 1-28 in Zootaxa 2160 (1) on page 11, DOI: 10.11646/zootaxa.2160.1.1, http://zenodo.org/record/5320736
The Nuts and Bolts of Diffraction
Creators: name: Goulianos, Konstantin
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Results on soft and hard diffraction are briefly reviewed with emphasis on the interplay among factorization properties, universality of rapidity gap formation and unitarity.
description: LaTeX, 3 pages, Presented at ``Snowmass2001: the future of particle physics", Snowmass, CO, USA, July 2001
Vortex liquid crystals in anisotropic type II superconductors
Creators: name: Carlson, E. W.
name: Neto, A. H. Castro
name: Campbell, D. K.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In a type II superconductor in a moderate magnetic field, the superconductor to normal state transition may be described as a phase transition in which the vortex lattice melts into a liquid. In a biaxial superconductor, or even a uniaxial superconductor with magnetic field oriented perpendicular to the symmetry axis, the vortices acquire elongated cross sections and interactions. Systems of anisotropic, interacting constituents generally exhibit liquid crystalline phases. We examine the possibility of a two step melting in homogeneous type II superconductors with anisotropic superfluid stiffness from a vortex lattice into first a vortex smectic and then a vortex nematic at high temperature and magnetic field. We find that fluctuations of the ordered phase favor an instability to an intermediate smectic-A in the absence of intrinsic pinning.
Eroding U.S. Soybean Competitiveness and Market Shares: What Is the Road Ahead?
Creators: name: Salin, Delmy
name: Agapi, Somwaru
name: Salin, Delmy
name: Agapi, Somwaru
Publisher: name: Unknown
Year: 2014
Subjects: subject: Agribusiness
subject: Marketing
subject: FOS: Economics and business
subject: soybeans
subject: market
subject: share
subject: ocean freight
subject: Brazil
subject: Argentina

description: Although the United States is still the dominant country in the world soybean market, the U.S. market share of soybean world trade is declining. This study quantifies the decline that result from changes in ocean freight rates and Brazil’s infrastructure development. The results suggest that the U.S. world market share could further decline by 20 percentage points without improvements in the U.S. infrastructure from the farm to the port. A decline of 1 percent in the U.S. soybean market share is equivalent to $500 million lost in export sales, based on a world soybean trade volume of 100 million metric tons and today’s price of soybeans. Market shares for the United States, Argentina, and Brazil converge and reach equilibrium over the study period, despite the variability of the ocean freight rates.
Directed Technical Change With Capital-Embodied Technologies: Implications For Climate Policy
Creators: name: Lennox, James A.
name: Witajewski, Jan
name: Lennox, James A.
name: Witajewski, Jan
Publisher: name: Unknown
Year: 2014
Subjects: Environmental Economics and Policy

description: We develop a theoretical model of directed technical change in which clean (zero emissions) and dirty (emissions-intensive) technologies are embodied in long-lived capital. We show how obsolescence costs generated by technological embodiment create inertia in a transition to clean growth. Optimal policies involve higher and longer-lasting clean R&D subsidies than when technologies are disembodied. From a low level, emissions taxes are initially increased rapidly, so they are higher in the long run. There is more warming. Introducing spillovers from an exogenous technological frontier representing non-energy-intensive technologies reduces mitigation costs. Optimal taxes and subsidies are lower and there is less warming.
Creating sub-consortia as a means of counteracting changes to specification sheets: the case of Parmigiano Reggiano
Creators: name: Sidali, Katia Laura
name: Sokoli, Olta
name: Scaramuzzi, Silvia
name: Dorr, Andrea Christina
name: Sidali, Katia Laura
name: Sokoli, Olta
name: Scaramuzzi, Silvia
name: Dorr, Andrea Christina
Publisher: name: Unknown
Year: 2014
Subjects: subject: Agricultural and Food Policy
subject: Geographical Indications
subject: Consortia
subject: Free-riding
subject: Food Clusters
subject: Parmigiano Reggiano

description: Prior studies have shown how increasing heterogeneity of commons negatively affects product regulation. This work uses a case-study approach and analyses the Parmigiano Reggiano Consortium in Italy. Specifically, we applied a ground-theory approach and interviewed stakeholders at different levels (n=24) in the time frame 2012-2013. While our study confirms prior findings on new-comers’ efforts to loose strictness in the code of practice, it also shows how Parmigiano Reggiano members organize themselves in subconsortia to better provide resilience to such strategies. The study discusses implications and strategies valuable both for scholars and for geographical indications managers.
Double dark matter vision: twice the number of compact-source lenses with narrow-line lensing and the WFC3 grism
Creators: name: Nierenberg, A. M.
name: Gilman, D.
name: Treu, T.
name: Brammer, G.
name: Birrer, S.
name: Moustakas, L.
name: Agnello, A.
name: Anguita, T.
name: Fassnacht, C. D.
name: Motta, V.
name: Peter, A. H. G.
name: Sluse, D.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The magnifications of compact-source lenses are extremely sensitive to the presence of low mass dark matter halos along the entire sight line from the source to the observer. Traditionally, the study of dark matter structure in compact-source strong gravitational lenses has been limited to radio-loud systems, as the radio emission is extended and thus unaffected by microlensing which can mimic the signal of dark matter structure. An alternate approach is to measure quasar nuclear-narrow line emission, which is free from microlensing and present in virtually all quasar lenses. In this paper, we double the number of systems which can be used for gravitational lensing analyses by presenting measurements of narrow-line emission from a sample of 8 quadruply imaged quasar lens systems, WGD J0405-3308, HS 0810+2554, RX J0911+0551, SDSS J1330+1810, PS J1606-2333, WFI 2026-4536, WFI 2033-4723 and WGD J2038-4008. We describe our updated grism spectral modelling pipeline, which we use to measure narrow-line fluxes with uncertainties of 2-10\%, presented here. We fit the lensed image positions with smooth mass models and demonstrate that these models fail to produce the observed distribution of image fluxes over the entire sample of lenses. Furthermore, typical deviations are larger than those expected from macromodel uncertainties. This discrepancy indicates the presence of perturbations caused by small-scale dark matter structure. The interpretation of this result in terms of dark matter models is presented in a companion paper.
description: Accepted for publication in MNRAS
Zōho Kai tsūshō kō. Kan no 5
增補華夷通商考. 巻之五
Creators: name: Nishikawa, Joken, 1648-1724
Publisher: name: Kyōto : Umemura Yaemon and Furukawa Saburobē
Year: 2015

description: One map in v.　1: 中華十五省之畧圖 Chūka jūgoshō no ryakuzu (Outline map of the fifteen provinces), v. 1 [p. 7-8]. One map in v. 3: 地球萬國一覧之圖 Chikyū bankoku ichiran no zu (Map of all the countries on the globe), v. 3 [p. 4-5]. Cited in: WSN; 49
June2003 CAP and multilateral agricultural negotiations at the WTO: Are they compatible?
Creators: name: Guyomard, Hervé
name: Butault, Jean-Pierre
name: Guyomard, Hervé
name: Butault, Jean-Pierre
Publisher: name: Unknown
Year: 2004
Subjects: Agricultural and Food Policy
International Relations/Trade

description: Theoretically, the deadline for the current cycle of multilateral trade negotiations at the World Trade Organisation (WTO) is January 1st 2015. The failure of the 5th ministerial conference of Cancun in September 2003 makes it unlikely that the deadline will be observed. Agreeing on the agricultural dossier proved to be impossible. However, it is likely that there will be a new agricultural agreement and that this one will at least include additional commitments to the previous Uruguay Round Agreement on Agriculture (URAA), aiming to open up markets, reduce subsidized exports and lower domestic support when it has excessively distorting effects on trade. Moreover, it is possible that the agricultural agreement of the Doha Round is stricter than the URAA, for instance challenging not only the terms for granting domestic support but also its total level. The objective of this paper is to assess the European Union’s (EU) room for manoeuvre at the WTO after the 1999 and 2003 Common Agricultural Policy (CAP) reforms (Agenda 2000 reform) and 2003 Luxembourg compromise).