cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: ADCO, Comptes du Petit-Cîteaux (1477-1491) (11 H 1179), f. 00334
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte D'Or
name: Petot, Frédérique
name: Projet CBMA
name: Petot, Frédéric
name: CBMA/CG21/F.PETOT/2019
name: Archives Départementales De La Côte-D'Or
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: comptes
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179), f. 00334, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Cosmic microwave anisotropies from BPS semilocal strings
Creators: name: Urrestilla, Jon
name: Bevis, Neil
name: Hindmarsh, Mark
name: Kunz, Martin
name: Liddle, Andrew R.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present the first ever calculation of cosmic microwave background CMB anisotropy power spectra from semilocal cosmic strings, obtained via simulations of a classical field theory. Semilocal strings are a type of non-topological defect arising in some models of inflation motivated by fundamental physics, and are thought to relax the constraints on the symmetry breaking scale as compared to models with (topological) cosmic strings. We derive constraints on the model parameters, including the string tension parameter mu, from fits to cosmological data, and find that in this regard BPS semilocal strings resemble global textures more than topological strings. The observed microwave anisotropy at l = 10 is reproduced if Gmu = 5.3x10^{-6} (G is Newton's constant). However as with other defects the spectral shape does not match observations, and in models with inflationary perturbations plus semilocal strings the 95% confidence level upper bound is Gmu<2.0x10^{-6} when CMB data, Hubble Key Project and Big Bang Nucleosynthesis data are used (c.f. Gmu<0.9x10^{-6} for cosmic strings). We additionally carry out a Bayesian model comparison of several models with and without defects, showing models with defects are neither conclusively favoured nor disfavoured at present.
description: 15 pages, 13 figures. Minor correction of numerical results, matches published version
Extending general covariance: Moyal-type noncommutative manifolds
Creators: name: Bojowald, Martin
name: Brahma, Suddhasattwa
name: Buyukcam, Umut
name: Ronco, Michele
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In the Hamiltonian formulation of general relativity, Einstein's equation is replaced by a set of four constraints. Classically, the constraints can be identified with the generators of the hypersurface-deformation Lie algebroid (HDA) that belongs to the groupoid of finite evolutions in space-time. Taken over to deformed general relativity, this connection allows one to study possible Drinfeld twists of space-time diffeomorphisms with Hopf-algebra techniques. After a review of noncommutative differential structures, two cases --- twisted diffeomorphisms with standard action and deformed (or $\star$-) diffeomorphisms with deformed action --- are considered in this paper. The HDA of twisted diffeomorphisms agrees with the classical one, while the HDA obtained from deformed diffeomorphisms is modified due to the explicit presence of $\star$-products in the brackets. The results allow one to distinguish between twisted and deformed symmetries, and they indicate that the latter should be regarded as the relevant symmetry transformations for noncommutative manifolds. The algebroid brackets maintain the same general structure regardless of space-time noncommutativity, but they still show important consequences of non-locality.
A search for diffuse bands in the circumstellar envelopes of post-AGB stars
Creators: name: Luna, R.
name: Cox, N. L. J.
name: Satorre, M. A.
name: Garcia-Hernandez, D. A.
name: Suarez, O.
name: Garcia-Lario, P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: In this work we present the results of a systematic search for diffuse bands (DBs, hereafter) in the circumstellar envelopes of a carefully selected sample of post-AGB stars. We concentrated on the analysis of 9 of the DBs most commonly found in the interstellar medium. The strength of these features is determined using high resolution optical spectroscopy and the results obtained are compared with literature data on field stars affected only by interstellar reddening. Based on the weak features observed in the subsample of post-AGB stars dominated by circumstellar reddening we conclude that the carrier(s) of these DBs must not be present in the circumstellar environment of these sources, or at least not under the excitation conditions in which DBs are formed. The conclusion is applicable to all the post-AGB stars studied, irrespective of the dominant chemistry or the spectral type of the star considered. A detailed radial velocity analysis of the features observed in individual sources confirms this result, as the Doppler shifts measured are found to be consistent with an interstellar origin.
description: Accepted for A&A
Shape and motion from image streams : a factorization method.
Creators: name: Tomasi, Carlo
name: Kanade, Takeo
Publisher: name: Carnegie Mellon University
Year: 2000
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "In principle, three orthographic images of four points are sufficient to recover the positions of the points relative to each other (shape), and the viewpoints from which the images were taken (motion). In practice, however, the solution to this structure-from-motion problem is reliable only when the viewing direction changes considerably between images.This conflicts with the difficulty of establishing correspondence between images over long-range camera motions. Image streams, long sequences of images covering a wide motion in small steps, allow solving this conflict by using tracking for correspondence and redundancy for increased reliability in the structure-from-motion computation. This report is the second of a series on a new factorization method for the computation of shape and camera motion from a stream of images. While the first report considered a camera moving on a plane, we now extend theory, analysis and experiments to general, three-dimensional motion.In our method, we represent feature points in an image stream by a 2F X P measurement matrix, which gathers the horizontal and vertical coordinates of the P points tracked through F frames. If coordinates are measured with respect to their centroid, we show that under orthography the measurement matrix is of rank 3. Using this fact, we cast structure-from- motion as a matrix factorization problem, which we solve with an algorithm based on Singular Value Decomposition. Our algorithm gives accurate results, without relying on any smoothness assumption for either shape or motion."
Dynamics of an Inverting Tippe Top
Creators: name: Rauch-Wojciechowski, Stefan
name: Rutstam, Nils
Publisher: name: arXiv
Year: 2013
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 70F40, 74M10, 70E18, 70E40, 37B25

description: The existing results about inversion of a tippe top (TT) establish stability of asymptotic solutions and prove inversion by using the LaSalle theorem. Dynamical behaviour of inverting solutions has only been explored numerically and with the use of certain perturbation techniques. The aim of this paper is to provide analytical arguments showing oscillatory behaviour of TT through the use of the main equation for the TT. The main equation describes time evolution of the inclination angle $θ(t)$ within an effective potential $V(\cosθ,D(t),λ)$ that is deforming during the inversion. We prove here that $V(\cosθ,D(t),λ)$ has only one minimum which (if Jellett's integral is above a threshold value $λ>λ_{\text{thres}}=\frac{\sqrt{mgR^3I_3α}(1+α)^2}{\sqrt{1+α-γ}}$ and $1-α^2
Seurat: A Pointillist Approach to Anomaly Detection
Creators: name: Yinglian  Xie
name: Hyang-Ah  Kim
name: O'Hallaron, David R.
name: Reiter, Michael K.
name: Zhang, Hui
Publisher: name: Carnegie Mellon University
Year: 2014
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper proposes a new approach to detecting aggregated anomalous events by correlating host file system changes across space and time. Our approach is based on a key observation that many host state transitions of interest have both temporal and spatial locality. Abnormal state changes, which may be hard to detect in isolation, become apparent when they are correlated with similar changes on other hosts. Based on this intuition, we have developed a method to detect similar, coincident changes to the patterns of file updates that are shared across multiple hosts. We have implemented this approach in a prototype system called Seurat and demonstrated its effectiveness using a combination of real workstation cluster traces, simulated attacks, and a manually launched Linux worm.
Magnetic and orbital ordering in the spinel MnV2O4
Creators: name: Garlea, V. O.
name: Jin, R.
name: Mandrus, D.
name: Roessli, B.
name: Huang, Q.
name: Miller, M.
name: Schultz, A. J.
name: Nagler, S. E.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Neutron inelastic scattering and diffraction techniques have been used to study the MnV2O4 spinel system. Our measurements show the existence of two transitions to long-range ordered ferrimagnetic states; the first collinear and the second noncollinear. The lower temperature transition, characterized by development of antiferromagnetic components in the basal plane, is accompanied by a tetragonal distortion and the appearance of a gap in the magnetic excitation spectrum. The low-temperature noncollinear magnetic structure has been definitively resolved. Taken together, the crystal and magnetic structures indicate a staggered ordering of the V d orbitals. The anisotropy gap is a consequence of unquenched V orbital angular momentum.
Amaxia consistens subsp. consistens consistens Schaus 1905
Creators: name: Vincent, Benoît
name: Laguerre, Michel
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Arctiidae
Amaxia
Amaxia consistens
Amaxia consistens consistens schaus, 1905

description: Amaxia consistens consistens Schaus, 1905
Amaxia consistens consistens Schaus, 1905: 212.
Amaxia maroniensis – Rothschild 1917: 477, n. syn.
Amaxia perapyga – Rothschild 1922: 465, synonymie dans Toulgoët 1989: 180.
SPÉCIMENS SÉQUENCÉS. — Amaxia consistens consistens: ARCTB 201-08, ARCTB217-08.
Amaxia maroniensis: ARCTB 257-08, ARCTB267-08.
ARGUMENTAIRE TAXONOMIQUE
Amaxia maroniensis (Schaus, 1905) est décrit sur un mâle unique de Saint-Jean-du-Maroni en Guyane. Watson & Goodger (1986) recombinent ce taxon au rang de forme de A. consistens consistens Schaus, 1905, suivi en cela par Toulgoët (1989). Ce repositionnement au rang de forme ne respecte pas le Code International de Nomenclature Zoologique mais reflète la similitude observée entre les deux taxons. Nous avons séquencé des spécimens de Guyane française identifiés A. consistens consistens ou A. maroniensis. Les séquences de tous les spécimens sont identiques, confirmant la présence d’une espèce unique. Nous proposons donc cette synonymie.
description: Published as part of Vincent, Benoît & Laguerre, Michel, 2013, Changements nomenclaturaux chez les Arctiinae nÉotropicales (Insecta, Lepidoptera, Erebidae); seconde partie, pp. 425-455 in Zoosystema 35 (3) on page 432, DOI: 10.5252/z2013n3a5, http://zenodo.org/record/5165260
Comparing first order microscopic and macroscopic crowd models for an increasing number of massive agents
Creators: name: Corbetta, Alessandro
name: Tosin, Andrea
Publisher: name: arXiv
Year: 2013
Subjects: subject: Analysis of PDEs (math.AP)
subject: Dynamical Systems (math.DS)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35F25, 35L65, 35Q70

description: In this paper a comparison between first order microscopic and macroscopic differential models of crowd dynamics is established for an increasing number $N$ of pedestrians. The novelty is the fact of considering massive agents, namely particles whose individual mass does not become infinitesimal when $N$ grows. This implies that the total mass of the system is not constant but grows with $N$. The main result is that the two types of models approach one another in the limit $N\to\infty$, provided the strength and/or the domain of pedestrian interactions are properly modulated by $N$ at either scale. This is consistent with the idea that pedestrians may adapt their interpersonal attitudes according to the overall level of congestion.
description: 26 pages, 8 figures
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Creators: name: Goel, Amit
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for symbolic simulation. Their use in symbolic reachability analysis and model checking is limited, however, by the lack of algorithms for performing set operations. We present algorithms for set union, intersection and quantification that work with a canonical Boolean functional vector representation and show how this enables efficient symbolic simulation based reachability analysis. Our experimental results for reachability analysis indicate that the Boolean functional vector representation is often more compact than the corresponding characteristic function, thus giving significant performance improvements on some benchmarks.
The 1+1+2 formalism for Scalar-Tensor gravity
Creators: name: Carloni, Sante
name: Dunsby, Peter K S
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We use the 1+1+2 covariant approach to clarify a number of aspects of spherically symmetric solutions of non-minimally coupled scalar tensor theories. Particular attention is focused on the extension of Birkhoff's theorem and the nature of quasi-local horizons in this context.
description: 27 pages, accepted version
Set Covering with our Eyes Closed
Creators: name: Grandoni, Fabrizio
name: Gupta, Anupam
name: Leonardi, Stefano
name: Miettinen, Pauli
name: Sankowski, Piotr
name: Mohit  Singh
Publisher: name: Carnegie Mellon University
Year: 1975
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Given a universe U of n elements and a weighted collection l of m subsets of U, the universal set cover problem is to a-priori map each element u epsi U to a set S(u) epsi l containing u, so that X sube U is covered by S(X)=UuepsiXS(u). The aim is finding a mapping such that the cost of S(X) is as close as possible to the optimal set-cover cost for X. (Such problems are also called oblivious or a-priori optimization problems.) Unfortunately, for every universal mapping, the cost of S(X) can be Omega(radicn) times larger than optimal if the set X is adversarially chosen. In this paper we study the performance on average, when X is a set of randomly chosen elements from the universe: we show how to efficiently find a universal map whose expected cost is O(log mn) times the expected optimal cost. In fact, we give a slightly improved analysis and show that this is the best possible. We generalize these ideas to weighted set cover and show similar guarantees to (non-metric) facility location, where we have to balance the facility opening cost with the cost of connecting clients to the facilities. We show applications of our results to universal multi-cut and disc-covering problems, and show how all these universal mappings give us stochastic online algorithms with the same competitive factors.
When Periodicity Fails to Guarantee the Existence of Rotation
Creators: name: Oukil, Walid
Publisher: name: arXiv
Year: 2025
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 34D05, 37B65, 34C15

description: In this manuscript, we present a simple counterexample of a smooth $C^{\infty}$ periodic system modulo $\mathbb{Z}^3$, where the rotation vector exists only in the weak sense and not in the strong sense (also referred to as frequencies in physics and biology). This example highlights the subtle yet important distinction between these two concepts of rotation vectors in the context of periodic flows. It also raises open questions regarding the role of arithmetic properties, such as Liouville numbers, in the dynamics of such systems, pointing to areas for future research in the theory of oscillating systems.
Set Connectivity Problems in Undirected Graphs and the Directed Steiner Network Problem
Creators: name: Chekuri, Chandra
name: Even, Guy
name: Gupta, Anupam
name: Segev, Danny
Publisher: name: Carnegie Mellon University
Year: 1979
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In the generalized connectivity problem, we are given an edge-weighted graph G = (V, E) and a collection D = {(S1,T1),…, (Sk,Tk)} of distinct demands; each demand (Si, Ti) is a pair of disjoint vertex subsets. We say that a subgraph F ⊆ G connects a demand (Si, Ti) when it contains a path with one endpoint in Si and the other in Ti. The goal is to identify a minimum weight subgraph that connects all demands in D. Alon et al. (SODA '04) introduced this problem to study online network formation settings and showed that it captures some well-studied problems such as Steiner forest, non-metric facility location, tree multicast, and group Steiner tree. Finding a non-trivial approximation ratio for generalized connectivity was left as an open problem. Our starting point is the first polylogarithmic approximation for generalized connectivity attaining a performance guarantee of O(log2 n log2 k). Here n is the number of vertices in G and k is the number of demands. We also prove that the cut-covering relaxation of this problem has an O(log3 n log2 k) integrality gap. Building upon the results for generalized connectivity we obtain improved approximation algorithms for two problems that contain generalized connectivity as a special case. For the directed Steiner network problem, we obtain an O(k1/2+ε) approximation, which improves on the currently best performance guarantee of O(k2/3) due to Charikar et al. (SODA '98). For the set connector problem, recently introduced by Fukunaga and Nagamochi (IPCO '07), we present a polylogarithmic approximation; this result improves on the previously known ratio which can be Ω(n) in the worst case.
Demolis albicostata Hampson 1901
Creators: name: Vincent, Benoît
name: Laguerre, Michel
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Arctiidae
Demolis
Demolis albicostata

description: Demolis albicostata Hampson, 1901
Demolis albicostata Hampson, 1901: 31.
Premolis eugenia – Jorgensen 1935: 111, n. syn.
Demolis eugenia – Watson & Goodger 1986: 9.
ARGUMENTAIRE TAXONOMIQUE
Demolis albicostata Hampson, 1901 est décrit sur un couple de spécimens syntypes de l’État du Rio Grande do Sul au Brésil. Premolis eugenia est décrit sur une série de syntypes femelles provenant de Villarica au Paraguay. Cette espèce est reclassée dans le genre Demolis par Watson & Goodger (1986). Un spécimen étiqueté « Paratype » est conservé au MACN. Nous avons obtenu une photographie en vue dorsale de ce spécimen. La comparaison des habitus avec la série typique décrite par Hampson montre qu’il s’agit de la même espèce. Nous proposons donc cette synonymie.
description: Published as part of Vincent, Benoît & Laguerre, Michel, 2013, Changements nomenclaturaux chez les Arctiinae nÉotropicales (Insecta, Lepidoptera, Erebidae); seconde partie, pp. 425-455 in Zoosystema 35 (3) on page 433, DOI: 10.5252/z2013n3a5, http://zenodo.org/record/5165260
Trichromia impunctata Vincent & Laguerre 2013, n. stat.
Creators: name: Vincent, Benoît
name: Laguerre, Michel
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Arctiidae
Trichromia
Trichromia impunctata

description: Trichromia impunctata (Gaede, 1928) n. stat.
Hyponerita rhodocraspis forme impunctata Gaede, 1928:31.
Hyponerita rhodocraspis forme impunctata – Watson & Goodger: 10.
Trichromia rhodocraspis impunctata – Toulgoët 1991: 132.
ARGUMENTAIRE TAXONOMIQUE
Hyponerita rhodocraspis forme impunctata Gaede, 1928 est décrit du Rio Juruty au Brésil, sur un mâle unique conservé au ZHMB. Ce taxon, publié avant 1961, avec l’emploi de la formule « form. nov. », doit donc être considéré comme subspécifique, et est donc disponible, au regard de l’article 45.6.4 du Code International de Nomenclature Zoologique (ICZN 1999). Le fait que Watson & Goodger (1986) la maintiennent comme forme n’a aucune incidence sur ce point. Le taxon impunctata doit bien être considéré comme une sous-espèce de Trichromia rhodocraspis (Hampson, 1909) décrite de La Oroya au Pérou. Cependant, un examen attentif des deux spécimens types montre un habitus sensiblement différent entre les deux taxons, notamment par l’absence du liseré rouge sur les taches des ailes antérieures. Nous considérons donc qu’il s’agit de deux espèces distinctes et proposons cette recombinaison.
description: Published as part of Vincent, Benoît & Laguerre, Michel, 2013, Changements nomenclaturaux chez les Arctiinae nÉotropicales (Insecta, Lepidoptera, Erebidae); seconde partie, pp. 425-455 in Zoosystema 35 (3) on page 435, DOI: 10.5252/z2013n3a5, http://zenodo.org/record/5165260
Machine Learning-based Brokers for Real-time Classification of the LSST Alert Stream
Creators: name: Narayan, Gautham
name: Zaidi, Tayeb
name: Soraisam, Monika D.
name: Wang, Zhe
name: Lochner, Michelle
name: Matheson, Thomas
name: Saha, Abhijit
name: Yang, Shuo
name: Zhao, Zhenge
name: Kececioglu, John
name: Scheidegger, Carlos
name: Snodgrass, Richard T.
name: Axelrod, Tim
name: Jenness, Tim
name: Maier, Robert S.
name: Ridgway, Stephen T.
name: Seaman, Robert L.
name: Evans, Eric Michael
name: Singh, Navdeep
name: Taylor, Clark
name: Toeniskoetter, Jackson
name: Welch, Eric
name: Zhu, Songzhe
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The unprecedented volume and rate of transient events that will be discovered by the Large Synoptic Survey Telescope (LSST) demands that the astronomical community update its followup paradigm. Alert-brokers -- automated software system to sift through, characterize, annotate and prioritize events for followup -- will be critical tools for managing alert streams in the LSST era. The Arizona-NOAO Temporal Analysis and Response to Events System (ANTARES) is one such broker. In this work, we develop a machine learning pipeline to characterize and classify variable and transient sources only using the available multiband optical photometry. We describe three illustrative stages of the pipeline, serving the three goals of early, intermediate and retrospective classification of alerts. The first takes the form of variable vs transient categorization, the second, a multi-class typing of the combined variable and transient dataset, and the third, a purity-driven subtyping of a transient class. While several similar algorithms have proven themselves in simulations, we validate their performance on real observations for the first time. We quantitatively evaluate our pipeline on sparse, unevenly sampled, heteroskedastic data from various existing observational campaigns, and demonstrate very competitive classification performance. We describe our progress towards adapting the pipeline developed in this work into a real-time broker working on live alert streams from time-domain surveys.
description: 33 pages, 14 figures, submitted to ApJS
Optical design of reflectionless complex media by finite embedded coordinate transformations
Creators: name: Rahm, Marco
name: Cummer, Steven A.
name: Schurig, David
name: Pendry, John B.
name: Smith, David R.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Transformation optics offers an unconventional approach to the control of electromagnetic fields. A transformation optical structure is designed by first applying a form-invariant coordinate transform to Maxwell's equations, in which part of free space is distorted in some desired manner. The coordinate transformation is then applied to the permittivity and permeability tensors to yield the specification for a complex medium with desired functionality. The transformation optical structures proposed to date, such as electromagnetic "invisibility" cloaks and concentrators, are inherently reflectionless and leave the transmitted wave undisturbed. Here we expand the class of transformation optical structures by introducing finite, embedded coordinate transformations, which allow the electromagnetic waves to be steered or focused. We apply the method to the design of several devices, including a parallel beam shifter and a beam splitter, both of which exhibit unusual electromagnetic behavior as confirmed by 2D full-wave simulations. The devices are designed to be reflectionless, in accordance with a straightforward topological criterion.
description: submitted to the journal on Sep 10 2007, abstract changed to make it more accessible, keywords added
Session Types as Intuitionistic Linear Propositions
Creators: name: Caires, Luis
name: Pfenning, Frank
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Several type disciplines for π-calculi have been proposed in which linearity plays a key role, even if their precise relationship with pure linear logic is still not well understood. In this paper, we introduce a type system for the π-calculus that exactly corresponds to the standard sequent calculus proof system for dual intuitionistic linear logic. Our type system is based on a new interpretation of linear propositions as session types, and provides the first purely logical account of all (both shared and linear) features of session types. We show that our type discipline is useful from a programming perspective, and ensures session fidelity, absence of deadlocks, and a tight operational correspondence between π-calculus reductions and cut elimination steps.
Boolean constraint satisfaction problems for reaction networks
Creators: name: Seganti, Alessandro
name: De Martino, Andrea
name: Ricci-Tersenghi, Federico
Publisher: name: arXiv
Year: 2013
Subjects: subject: Molecular Networks (q-bio.MN)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: We define and study a class of (random) Boolean constraint satisfaction problems representing minimal feasibility constraints for networks of chemical reactions. The constraints we consider encode, respectively, for hard mass-balance conditions (where the consumption and production fluxes of each chemical species are matched) and for soft mass-balance conditions (where a net production of compounds is in principle allowed). We solve these constraint satisfaction problems under the Bethe approximation and derive the corresponding Belief Propagation equations, that involve 8 different messages. The statistical properties of ensembles of random problems are studied via the population dynamics methods. By varying a chemical potential attached to the activity of reactions, we find first order transitions and strong hysteresis, suggesting a non-trivial structure in the space of feasible solutions.
description: 16 pages (incl. appendix)
Homology of tropical varieties
Creators: name: Hacking, Paul
Publisher: name: arXiv
Year: 2007
Subjects: subject: Algebraic Geometry (math.AG)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 14

description: Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures.
description: 13 pages. v2: added Thm 2.4, v3: introduction expanded, references added, published version
Controlling nanoantenna polarizability through backaction via a single cavity mode
Creators: name: Ruesink, Freek
name: Doeleman, Hugo M.
name: Verhagen, Ewold
name: Koenderink, A. Femius
Publisher: name: arXiv
Year: 2017
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The polarizability $α$ determines the absorption, extinction and scattering by small particles. Beyond being purely set by scatterer size and material, in fact polarizability can be affected by backaction: the influence of the photonic environment on the scatterer. As such, controlling the strength of backaction provides a tool to tailor the (radiative) properties of nanoparticles. Here, we control the backaction between broadband scatterers and a single mode of a high-quality cavity. We demonstrate that backaction from a microtoroid ring resonator significantly alters the polarizability of an array of nanorods: the polarizability is renormalized as fields scattered from -- and returning to -- the nanorods via the ring resonator depolarize the rods. Moreover, we show that it is possible to control the strength of the backaction by exploiting the diffractive properties of the array. This perturbation of a strong scatterer by a nearby cavity has important implications for hybrid plasmonic-photonic resonators and the understanding of coupled optical resonators in general.
Amaxia disconsistens Dognin 1923
Creators: name: Vincent, Benoît
name: Laguerre, Michel
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Arctiidae
Amaxia
Amaxia disconsistens

description: Amaxia disconsistens Dognin, 1923 sp. rev.
Amaxia disconsistens Dognin, 1923: 2.
Amaxia apyga Hampson, 1901: 33, synonymie dans Toulgoët 1989: 180.
SPÉCIMENS SÉQUENCÉS. — Amaxia apyga Hampson, 1901: ARCTC830-11, ARCTC831-11, ARCTD721-12, ARCTD722-12, XAA397-04, XAA401-04, XAA398-04, MHARB563-06, MHARB565-06, MHARB568-06, MHARB566-06, MHMXH357-07, MHMXQ132-08.
ARGUMENTAIRE TAXONOMIQUE.
Amaxia apyga Hampson, 1901 est décrit à partir d’un mâle unique des Monts Candelaria au Costa Rica. Il est mis en synonymie par Toulgoët (1989) avec l’espèce A. disconsistens Dognin, 1923 sp. rev., décrite de Saõ Paulo de Olivença, province d’Amazonas au Brésil. Un séquençage effectué sur des spécimens provenant du Guatemala au Pérou et de l’État du Rondonia au Brésil, a montré que le taxon A. apyga était strictement cantonné en Amérique centrale du Guatemala au Costa Rica. Nous ignorons sur quelles données la décision de mise en synonymie s’est appuyée mais nous la jugeons injustifiée. Nous proposons donc cette réhabilitation.
description: Published as part of Vincent, Benoît & Laguerre, Michel, 2013, Changements nomenclaturaux chez les Arctiinae nÉotropicales (Insecta, Lepidoptera, Erebidae); seconde partie, pp. 425-455 in Zoosystema 35 (3) on page 432, DOI: 10.5252/z2013n3a5, http://zenodo.org/record/5165260
Exceptional preservation of a marine tapeworm tentacle in Cretaceous amber
Creators: name: Luo, Cihang
name: Palm, Harry
name: Zhuang, Yuhui
name: Jarzembowski, Edmund A.
name: Nyunt, Thet Tin
name: Wang, Bo
Publisher: name: Zenodo
Year: 2023

description: The raw data of micro-CT.
Motif matching using gapped patterns
Creators: name: Giaquinta, Emanuele
name: Fredriksson, Kimmo
name: Grabowski, Szymon
name: Tomescu, Alexandru I.
name: Ukkonen, Esko
Publisher: name: arXiv
Year: 2013
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: We present new algorithms for the problem of multiple string matching of gapped patterns, where a gapped pattern is a sequence of strings such that there is a gap of fixed length between each two consecutive strings. The problem has applications in the discovery of transcription factor binding sites in DNA sequences when using generalized versions of the Position Weight Matrix model to describe transcription factor specificities. In these models a motif can be matched as a set of gapped patterns with unit-length keywords. The existing algorithms for matching a set of gapped patterns are worst-case efficient but not practical, or vice versa, in this particular case. The novel algorithms that we present are based on dynamic programming and bit-parallelism, and lie in a middle-ground among the existing algorithms. In fact, their time complexity is close to the best existing bound and, yet, they are also practical. We also provide experimental results which show that the presented algorithms are fast in practice, and preferable if all the strings in the patterns have unit-length.
TOI-1830 and TOI-1312: Two EBs hosting very low-mass stellar companions in eccentric orbits
Creators: name: Rabus, Markus
name: Carmichael, Theron W.
name: Shporer, Avi
name: Johnson, Marshall
name: Latham, David W.
name: Brown, Tim
name: Gan, Tianjun
name: Collins, Karen A.
name: Barkaoui, Khalid
name: Bieryla, Allyson
name: Kielkopf, John F.
name: Gonzalez, Erica J.
name: Addison, Brett C.
name: Henriksen, Andreea I.
name: Buchhave, Lars
name: Rasmussen, René Tronsgaard
name: Astudillo-Defru, Nicola
name: Fulton, Benjamin
name: Howell, Steve B.
name: Ciardi, David
name: Hellier, Coel
name: Ghachoui, Mourad
name: Timmermans, Mathilde
Publisher: name: Zenodo
Year: 2021
Subjects: TESS
Eclipsing Binaries
Stellar Astrophysics

description: We describe in the underlying investigation the discovery of two eclipsing binary systems. In both cases, the companions are most likely fully convective low-mass stars. The TESS team initially alerted the systems as TOI-1830 (TIC20182165, HD133725) and TOI-1312 (TIC405904232), and we subsequently observed them with spectroscopy. The TESS light curves and spectroscopic observations were analyzed in a combined data-driven framework to estimate the systems’ parameters. Radial velocity (RV) measurements with LCO/NRES, NOT/FIES, SONG, and TRES indicated for the TOI-1830 system a companion mass of 0.11 M☉ in a 9.781-day eccentric orbit and a 0.10 M☉ companion in an 11.080-day eccentric orbit for the TOI-1312 system. At the same time, the spectroscopic observations were used to estimate the spectral type of the main stars for TOI-1830 and TOI-1312. We measured the radii ratio from the TESS light curves and estimated the companions’ radii, assuming the main stars’ radii as measured from spectroscopy and isochrones. Given the youth of TOI-1830 and the evolved age of TOI-1312, both systems will provide valuable insights into the stellar evolution of close binary systems.
title: Challenges and opportunities of area-based conservation in reaching biodiversity and sustainability goals
Creators: name: Hoffmann, Samuel
Publisher: name: University of Bayreuth
Year: 2021
Subjects: subject: Protected area
subject: Management effectiveness
subject: Adaptive management
subject: Systematic conservation planning
subject: Biodiversity targets
subject: Sustainable development goals
subject: 550

description: Area-based conservation is essential to safeguard nature’s diversity. In view of expanding human land use, increasing climate change and unmet conservation targets, area-based conservation requires efficiency and effectiveness more than ever. In this review, I identify and relate pressing challenges to promising opportunities for effective and efficient protected area governance and management, to enhance research, decision-making and capacity building in area-based conservation under uncertain future developments. I reveal that protected area management is particularly challenged by human land use, climate change, invasive species, and social, political and economic limitations. Protected area management often lacks the continuous availability of data on current states and trends of nature and threats. Biocultural conservation, climate-smart management and biosecurity approaches help to overcome challenges induced by human needs, climate change and invasive species, respectively. Economic valuation and shifts in funding priorities can boost protected area effectiveness and efficiency. In-situ monitoring techniques, remote sensing and open data infrastructures can fill data and information gaps for protected area planning and management. Moreover, adaptive management is an auspicious concept in the framework of systematic conservation planning to ensure the enduring effectiveness of protected areas despite unpredictable future developments. Post-2020 international biodiversity and sustainable development goals could be met earlier if protected areas were more effective. I consequently conclude with the need for a global information system that is to support area-based conservation by synthesizing challenges and opportunities for protected area management effectiveness and efficiency at the local to global level.
Sequential Circuit Verification Using Symbolic Model Checking
Creators: name: J R Burch
name: Clarke, Edmund M
name: K L McMillan
name: Dill, David L
Publisher: name: Carnegie Mellon University
Year: 1976
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The temporal logic model algorithm of E.M. Clarke et al. (ACM Trans. Prog. Lang. Syst., vol.8, no.2, p.244-63, 1986) is modified to represent a state graph using binary decision diagrams (BDDs). Because this representation captures some of the regularity in the state space of sequential circuits with data path logic, one is able to verify circuits with an extremely large number of states. This new technique is demonstrated on a synchronous pipelined design with approximately 5×1020 states. The logic that is used to specify circuits is a propositional temporal logic of branching time, called CTL or Computation Tree Logic. The model checking algorithm handles full CTL with fairness constraints. Consequently. it is possible to handle a number of important liveness and fairness properties. which would otherwise not be expressible in CTL. The method presented is not necessarily a replacement for brute-force state-enumeration methods but an alternative that may work efficiently when the brute force methods fail
A Coherent Nonlinear Optical Signal Induced by Electron Correlations
Creators: name: Mukamel, Shaul
name: Oszwaldowski, Rafal
name: Yang, Lijun
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The correlated behavior of electrons determines the structure and optical properties of molecules, semiconductor and other systems. Valuable information on these correlations is provided by measuring the response to femtosecond laser pulses, which probe the very short time period during which the excited particles remain correlated. The interpretation of four-wave-mixing techniques, commonly used to study the energy levels and dynamics of many-electron systems, is complicated by many competing effects and overlapping resonances. Here we propose a coherent optical technique, specifically designed to provide a background-free probe for electronic correlations in many-electron systems. The proposed signal pulse is generated only when the electrons are correlated, which gives rise to an extraordinary sensitivity. The peak pattern in two-dimensional plots, obtained by displaying the signal vs. two frequencies conjugated to two pulse delays, provides a direct visualization and specific signatures of the many-electron wavefunctions.
description: 2 figures
Magnetic domain wall creep and depinning: a scalar field model approach
Creators: name: Caballero, Nirvana B.
name: Ferrero, Ezequiel E.
name: Kolton, Alejandro B.
name: Curiale, Javier
name: Jeudy, Vincent
name: Bustingorry, Sebastian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: Magnetic domain wall motion is at the heart of new magneto-electronic technologies and hence the need for a deeper understanding of domain wall dynamics in magnetic systems. In this context, numerical simulations using simple models can capture the main ingredients responsible for the complex observed domain wall behavior. We present a scalar-field model for the magnetization dynamics of quasi-two-dimensional systems with a perpendicular easy axis of magnetization which allows a direct comparison with typical experimental protocols, used in polar magneto-optical Kerr effect microscopy experiments. We show that the thermally activated creep and depinning regimes of domain wall motion can be reached, and the effect of different quenched disorder implementations can be assessed with the model. In particular, we show that the depinning field increases with the mean grain size of a Voronoi tessellation model for the disorder.
Exceptional preservation of a marine tapeworm tentacle in Cretaceous amber
Creators: name: Luo, Cihang
name: Palm, Harry
name: Zhuang, Yuhui
name: Jarzembowski, Edmund A.
name: Nyunt, Thet Tin
name: Wang, Bo
Publisher: name: Zenodo
Year: 2024

description: The raw data of micro-CT.
Trichromia albicollis
Creators: name: Vincent, Benoît
name: Laguerre, Michel
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Arctiidae
Trichromia
Trichromia albicollis

description: Trichromia albicollis (Hampson, 1905)
Neritos albicollis Hampson, 1905: 445.
Trichromia albicollis – Toulgoët 1991: 133.
Neritos hampsoni Rothschild, 1909: 292, n. syn.
Trichromia hampsoni – Toulgoët 1991: 133.
SPÉCIMENS SÉQUENCÉS. — Trichromia albicollis: ARCTC 418-10, ARCTC416-10.
Trichromia hampsoni: ARCTC 417-10, ARCTC444-10, ARCTC415-10
ARGUMENTAIRE TAXONOMIQUE
Neritos albicollis Hampson, 1905 est décrit sur une femelle unique de Rockstone au Guyana. Neritos hampsoni Rothschild, 1909 est décrit sur une série de trois mâles de Fonte Boa, État d’Amazonas, au Brésil. Comme dans le cas précédent, le séquençage respectif de deux spécimens femelles et trois mâles montre un résultat identique. Nous sommes donc également en présence d’une seule espèce présentant un dimorphisme sexuel important. Nous proposons donc cette synonymie.
description: Published as part of Vincent, Benoît & Laguerre, Michel, 2013, Changements nomenclaturaux chez les Arctiinae nÉotropicales (Insecta, Lepidoptera, Erebidae); seconde partie, pp. 425-455 in Zoosystema 35 (3) on page 435, DOI: 10.5252/z2013n3a5, http://zenodo.org/record/5165260
Djillali Annane, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), président du comité de coordination des études médicales et de la conférence des doyens des facultés de médecine d'Île-de-France
Creators: name: Leibowitch, Jacques (1942-2020)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020

description: 1 fichier (5 pages).
description: Autres destinataires : Jean-Michel Pean, Arnold Munnich, Christian Perronne.
description: Pièce jointe : diaporama sur "nos combinaisons anti-HIV préférées"
Bayesian model checking: A comparison of tests
Creators: name: Lucy, Leon B.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Methodology (stat.ME)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Two procedures for checking Bayesian models are compared using a simple test problem based on the local Hubble expansion. Over four orders of magnitude, p-values derived from a global goodness-of-fit criterion for posterior probability density functions (Lucy 2017) agree closely with posterior predictive p-values. The former can therefore serve as an effective proxy for the difficult-to-calculate posterior predictive p-values.
description: 4 pages, 3 figures. Submitted to Astronomy & Astrophysics
Maximal and minimal height distributions of fluctuating interfaces
Creators: name: Oliveira, T. J.
name: Reis, F. D. A. Aarao
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We study numerically the maximal and minimal height distributions (MAHD, MIHD) of the nonlinear interface growth equations of second and fourth order and of related lattice models in two dimensions. MAHD and MIHD are different due to the asymmetry of the local height distribution, so that, in each class, the sign of the relevant nonlinear term determines which one of two universal curves is the MAHD and the MIHD. The average maximal and minimal heights scale as the average roughness, in contrast to Edwards-Wilkinson (EW) growth. All extreme height distributions, including the EW ones, have tails that cannot be fit by generalized Gumbel distributions.
description: 13 pages, 6 figures
A thorny-headed worm-like fossil from Cretaceous amber
Creators: name: Luo, Cihang
name: Herlyn, Holger
name: Zhuang, Yuhui
name: Jarzembowski, Edmund A.
name: Nyunt, Thet Tin
name: Wang, Bo
Publisher: name: Zenodo
Year: 2023

description: The raw data of micro-CT.