Search results for "Locality"

showing 10 items of 113 documents

A revision of the new world species of Polytrichophora Cresson and Facitrichophora, new genus (Diptera, Ephydridae)

2012

The New World species of Polytrichophora Cresson and Fascitrichophora new genus, are revised. Fifteen new species are described (type locality in parenthesis): Fascitrishophora atrella sp. n. (Costa Rica. Guanacaste: Murciélago [10°56.9’N, 85°42.5’W; sandy mud flats around mangrove inlet]), F. carvalhorum sp.n. (Brazil. São Paulo: Praia Puruba [23°21’S, 44°55.6’W; beach]), F. manza sp. n. (Trinidad and Tobago. Trinidad. St. Andrew: Lower Manzanilla (12 km S; 10°24.5’N, 61°01.5’W), bridge over Nariva River), F. panama sp. n. (Panama. Darien: Garachine [8°04’N, 78°22’W]), Polytrichophora adarca sp. n…

EphydridaeSwampArticleGymnymyzinaeEphydridaeEnvironmental protectionGenusFacitrichophoralcsh:Zoologybiology.owned_animallcsh:QL1-991FascitrichophoraEcology Evolution Behavior and SystematicsPolytrichophoranew speciesgeographyPanamageography.geographical_feature_categorybiologyDipteraDiscocerininiMurcielagoNew Worldbiology.organism_classificationArchaeologyKey (lock)Animal Science and ZoologyType localityMangroveZooKeys
researchProduct

Nonlocality threshold for entanglement under general dephasing evolutions: A case study

2015

Determining relationships between different types of quantum correlations in open composite quantum systems is important since it enables the exploitation of a type by knowing the amount of another type. We here review, by giving a formal demonstration, a closed formula of the Bell function, witnessing nonlocality, as a function of the concurrence, quantifying entanglement, valid for a system of two noninteracting qubits initially prepared in extended Werner-like states undergoing any local pure-dephasing evolution. This formula allows for finding nonlocality thresholds for the concurrence depending only on the purity of the initial state. We then utilize these thresholds in a paradigmatic …

FOS: Physical sciencesQuantum entanglementSquashed entanglement01 natural sciencesSettore FIS/03 - Fisica Della Materia010305 fluids & plasmasTheoretical Computer ScienceQuantum entanglementQuantum nonlocalityQuantum mechanics0103 physical sciencesElectrical and Electronic Engineering010306 general physicsQuantum computerPhysicsBell stateQuantum PhysicsBell nonlocalityStatistical and Nonlinear PhysicsConcurrenceQuantum PhysicsElectronic Optical and Magnetic MaterialsOpen quantum systemModeling and SimulationQubitSignal ProcessingPure-dephasingW stateQuantum Physics (quant-ph)
researchProduct

Fascioliasis transmission by Lymnaea neotropica confirmed by nuclear rDNA and mtDNA sequencing in Argentina

2009

Fascioliasis is widespread in livestock in Argentina. Among activities included in a long-term initiative to ascertain which are the fascioliasis areas of most concern, studies were performed in a recreational farm, including liver fluke infection in different domestic animal species, classification of the lymnaeid vector and verification of natural transmission of fascioliasis by identification of the intramolluscan trematode larval stages found in naturally infected snails. The high prevalences in the domestic animals appeared related to only one lymnaeid species present. Lymnaeid and trematode classification was verified by means of nuclear ribosomal DNA and mitochondrial DNA marker sequ…

FascioliasisMitochondrial DNAArgentinaZoologyDNA MitochondrialDNA Ribosomal18S ribosomal RNAElectron Transport Complex IVDNA Ribosomal Spacerparasitic diseasesRNA Ribosomal 18SAnimalsFasciola hepaticaRibosomal DNAFreshwater molluscLymnaeaGalba truncatulaGeneral VeterinarybiologyEcologySequence Analysis DNAGeneral MedicineRibosomal RNAbiology.organism_classificationFasciolaLarvaCattleParasitologyType localityVeterinary Parasitology
researchProduct

Local Normal Forms for First-Order Logic with Applications to Games and Automata

1999

Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…

General Computer ScienceLogical equivalenceautomataComputer scienceOf the formMathematical proofMonadic predicate calculusTheoretical Computer ScienceCombinatoricslocalityDeterministic automatonDiscrete Mathematics and CombinatoricsMathematicsgamesDiscrete mathematicsPredicate logiclcsh:MathematicsLocalityAtomic formulaexistential monadic second-order logiclcsh:QA1-939AutomatonFirst-order logic[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESAutomata theoryFirst-order logicDiscrete Mathematics & Theoretical Computer Science
researchProduct

Discovery of a second locality for the narrow endemic Anthemis ismelia (Asteraceae) in NW Sicily

2017

A new population of Anthemis ismelia (Asteraceae) has been discovered on Mt Pecoraro (Cinisi, NW Sicily), a limestone headland at about 14 km from Mt Gallo (Palermo), the locus classicus et unicus of this species described in 1884. Taxonomic framework, distribution update, habitat characterisation, ecology and phytosociological framework are provided, as well as meta-population numerical estimates and risk status assessment.

GeographybiologyPhytosociologyBotanyLocalityAnthemischasmophyte endangered flora IUCN Direct Threats and assessment phytosociologyPlant ScienceAsteraceaebiology.organism_classification
researchProduct

Unified thermodynamic framework for nonlocal/gradient continuum theories

2003

Abstract A thermodynamic framework, equipped with the concept of nonlocality (energy) residual, is utilized to address nonlocal/gradient internal variable material models. A unified procedure is provided for either nonlocal and gradient materials, which makes it possible to determine the thermodynamic restrictions upon the constitutive equations, and in particular the pertinent state equations, the consistent form of the dissipation power and the constitutive expression of the nonlocality residual. Additionally, for gradient models, the associated nonstandard boundary conditions are derived, pointing out their basically constitutive nature and their substantial differences from the standard…

Gradient plasticityContinuum (measurement)Mechanical EngineeringMathematical analysisConstitutive equationGeneral Physics and AstronomyDissipationStrain gradientResidualQuantum nonlocalityClassical mechanicsMechanics of MaterialsGeneral Materials ScienceBoundary value problemMathematicsEuropean Journal of Mechanics - A/Solids
researchProduct

Growth rates of late Miocene corals from Crete (Greece)

2006

Modern scleractinian corals are classical components of marine shallow warm water ecosystems. Their occurrence and diversity patterns in the geological record have been widely used to infer past climates and environmental conditions. Coral skeletal composition data reflecting the nature of the coral environment are often affected by diagenetic alteration. Ghost structures of annual growth rhythms are, however, often well preserved in the transformed skeleton. We show that these relicts represent a valuable source of information on growth conditions of fossil corals. Annual growth bands were measured in massive hemispherical Porites of late Miocene age from the island of Crete (Greece) that …

Growth rateEarth System ResearchLATITUDESample code labelSample commentLONGITUDEGeographic name/localityGeographic name localitySample code/label
researchProduct

Sobre la presencia de <i>Teucrium pumilum</i> y <i>Teucrium libanitis (Lamiaceae)</i> en la provincia de Valencia

2010

Teucrium pumilum and T. libanitis have been cited from Valencia province (Spain) since the middle of the XXth Century from the gypsic soils in the Valle de Ayora-Cofrentes shire. The analysis of specimens and labels is not conclusive; no specimen would certify the presence of any of these taxa. The field identification and their inclusion in a phyotosociological table ( releve ) by Rivas Goday are the only basis of their presence in the territory in a particular moment of the recent Spanish botanical history. Additionally, the unique herbarium specimen from Valencia, impossible to assign a concrete geographic locality, which was traditionally assigned to T. pumilum by some authors, is actua…

HerbariumGeographyTaxonbiologyGeographic LocalityTeucrium pumilumPlant Sciencebiology.organism_classificationArchaeologyValenciaCollectanea Botanica
researchProduct

Quantum nonlocality in extended theories of gravity

2020

We investigate how pure-state Einstein-Podolsky-Rosen correlations in the internal degrees of freedom of massive particles are affected by a curved spacetime background described by extended theories of gravity. We consider models for which the corrections to the Einstein-Hilbert action are quadratic in the curvature invariants and we focus on the weak-field limit. We quantify nonlocal quantum correlations by means of the violation of the Clauser-Horne-Shimony-Holt inequality, and show how a curved background suppresses the violation by a leading term due to general relativity and a further contribution due to the corrections to Einstein gravity. Our results can be generalized to massless p…

High Energy Physics - TheoryPhysicsQuantum PhysicsGravity (chemistry)Spacetime010308 nuclear & particles physicsGeneral relativityDegrees of freedom (physics and chemistry)FOS: Physical sciencesGeneral Relativity and Quantum Cosmology (gr-qc)Quantum PhysicsCurvature01 natural sciencesGeneral Relativity and Quantum CosmologyMassless particleGeneral Relativity and Quantum CosmologyTheoretical physicsQuantum nonlocalityHigh Energy Physics - Theory (hep-th)0103 physical sciencesQuantum Physics (quant-ph)010306 general physicsQuantum
researchProduct

Tensor-product states and local indistinguishability: an optical linear implementation

2000

In this paper we investigate the properties of distinguishability of an orthogonal set of product states of two three level particle system by a simple class of joint measures. Here we confine ourselves to a system of analysis built up of linear elements, such as beam splitters and phase shifters, delay lines, electronically switched linear devices and auxiliary photons. We present here the impossibility of realization of a perfect never falling analyzer with this tools.

Hilbert spaceQuantum entanglementTopologylaw.inventionQuantum nonlocalitysymbols.namesakeTensor productQuantum Information Entanglement Non-localitylawProduct (mathematics)Electronic engineeringsymbolsQuantum informationRealization (systems)Beam splitterMathematicsAIP Conference Proceedings
researchProduct