Search results for "510"

showing 10 items of 145 documents

Espejo de grandes, y desengaño de principes, San Francisco de Borja, de la Compañia de Jesus ...

Sign.: [calderó]-3[calderó]8, A-M8 Text amb postil·les marginals Reclams

Borja Francisco de sant 1510-1572 Biografia Poesia Obres anteriors al 1800
researchProduct

Gozos a San Francisco de Borja.

El full orlat Grav. xil. enmarcat del sant, flanquejat per gerros amb flors Text del goig a dues col. separades per banda

Borja Francisco de sant 1510-1572 Goigs
researchProduct

Gozos a San Francisco de Borja.

El full orlat Grav. xil. enmarcat del sant, flanquejat per gerros amb flors Text del goig a dues col. separades per banda

Borja Francisco de sant 1510-1572 Goigs
researchProduct

MEDLEM database, a data collection on large Elasmobranchs in the Mediterranean and Black seas

2020

The Mediterranean Large Elasmobranchs Monitoring (MEDLEM) database contains more than 3,000 records (with more than 4,000 individuals) of large elasmobranch species from 21 different countries around the Mediterranean and Black seas, observed from 1666 to 2017. The principal species included in the archive are the devil ray (1,868 individuals), the basking shark (935 individuals), the blue shark (622 individuals), and the great white shark (342 individuals). In the last decades, other species such as the thresher shark (187 individuals), the shortfin mako (180 individuals), and the spiny butterfly ray (138) were reported with increasing frequency. This was possibly due to increased public a…

Bycatch; databases; geographical distribution; large elasinobranchs; Mediterranean and Black seas; sharks0106 biological sciencesMediterranean climate2417.05 Biología Marina2510.01 Oceanografía Biológicalarge elasmobranchsMediterranean and Black seascetorhinus-maximus gunnerusOceanographycomputer.software_genre01 natural sciencesBasking sharkPesqueríasThresher shark1st recordsbiologyDatabaseconservationBycatch; databases; geographical distribution; large elasmobranchs; Mediterranean and Black seas; sharks04 agricultural and veterinary sciencescarcharhinidaeGeographyMediterranean and black seacoastbasking sharkLarge elasmobranchcarcharodon-carcharias linnaeusEnvironmental Engineeringdatabases[SDE.MCG]Environmental Sciences/Global ChangesFishingSede Central IEOAquatic Sciencesharksplumbeus chondrichthyesDatabasesharks.biology.animal[SDV.BA.ZV]Life Sciences [q-bio]/Animal biology/Vertebrate Zoologysharks; by-catch; databases; large elasmobranchs; geographical distribution; Mediterranean and Black seasgeographical distributionBycatch ; databases ; geographical distribution ; large elasinobranchs ; Mediterranean and Black seas ; sharks14. Life underwaterEcology Evolution Behavior and Systematicslarge elasinobranchs010604 marine biology & hydrobiologybiology.organism_classificationlamniformes cetorhinidaeby-catchBycatchGreat white sharkBycatchButterfly ray040102 fisheries0401 agriculture forestry and fisheriesConservation status[SDE.BE]Environmental Sciences/Biodiversity and Ecologycomputer
researchProduct

Space of signatures as inverse limits of Carnot groups

2021

We formalize the notion of limit of an inverse system of metric spaces with 1-Lipschitz projections having unbounded fibers. The construction is applied to the sequence of free Carnot groups of fixed rank n and increasing step. In this case, the limit space is in correspondence with the space of signatures of rectifiable paths in ℝn, as introduced by Chen. Hambly-Lyons’s result on the uniqueness of signature implies that this space is a geodesic metric tree. As a particular consequence we deduce that every path in ℝn can be approximated by projections of some geodesics in some Carnot group of rank n, giving an evidence that the complexity of sub-Riemannian geodesics increases with the step.…

Carnot groupsignature of pathsryhmäteoriametric treeinverse limitsub-Riemannian distancedifferentiaaligeometria510 Mathematicspath lifting propertysubmetryMathematics::Metric GeometryMathematics::Differential Geometrymittateoriafree nilpotent groupstokastiset prosessit
researchProduct

El Terç del Cartoixà de Joan Roís de Corella. Edició i estudi

2016

La tesi doctoral "El Terç del Cartoixà de Joan Roís de Corella. Edició i estudi" fixa el text d'aquest incunable i el compara a doble columna amb el text del qual és deutor, la Vita Christi de Ludolf de Saxònia. La datació de l'obra, entre febrer i març de 1495, i l'atribució a un taller, el de Hagenbach-Hutz a la ciutat de València, es realitza per mitjà de l'anàlisi de dades codicològiques i d'història de la impremta en aquesta ciutat. Aquesta anàlisi permet també situar adequadament el projecte d'edició dels quatre volums que conformen el Cartoixà de Corella a finals del segle XV. La comparació del text català amb el llatí permet descobrir les diferents tècniques usades per l'autor valen…

CartoixàJoan Roís de CorellaLudolf de Saxonia550613 - Història de la literaturaEspiritualitatTraduccióVita Christi550510 - Filologia
researchProduct

Local minimizers and gamma-convergence for nonlocal perimeters in Carnot groups

2020

We prove the local minimality of halfspaces in Carnot groups for a class of nonlocal functionals usually addressed as nonlocal perimeters. Moreover, in a class of Carnot groups in which the De Giorgi's rectifiability Theorem holds, we provide a lower bound for the $\Gamma$-liminf of the rescaled energy in terms of the horizontal perimeter.

Class (set theory)Pure mathematicsControl and OptimizationCarnot groups calibrations nonlocal perimeters/ Γ-convergence sets of finite perimeter rectifiabilityMathematics::Analysis of PDEssets of finite perimetervariaatiolaskentaComputer Science::Computational Geometry01 natural sciencesUpper and lower boundsdifferentiaaligeometriasymbols.namesakeMathematics - Analysis of PDEs510 MathematicsMathematics - Metric GeometryComputer Science::Logic in Computer ScienceConvergence (routing)FOS: MathematicsMathematics::Metric Geometry0101 mathematicscalibrationsMathematicsnonlocal perimeters010102 general mathematicsrectifiabilityryhmäteoriaMetric Geometry (math.MG)matemaattinen optimointi010101 applied mathematicsComputational MathematicsΓ-convergenceΓ-convergenceCarnot groupsControl and Systems EngineeringsymbolsCarnot cycleAnalysis of PDEs (math.AP)ESAIM: Control, Optimisation and Calculus of Variations
researchProduct

The identity type weak factorisation system

2008

We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.

Class (set theory)Pure mathematicsGeneral Computer ScienceDependent type theoryHomotopiaType (model theory)Identity (music)Theoretical Computer Science510 - Consideracions fonamentals i generals de les matemàtiquesCombinatorics18C50Mathematics::Category TheoryFOS: MathematicsCategory Theory (math.CT)Univalent foundationsAxiomMathematicsHomotopy03B15; 18C50; 18B40Mathematics - Category TheoryIdentity type weak factorisation systemMathematics - LogicTipus Teoria dels03B15Type theory18B40Homotopy type theoryLogic (math.LO)Weak factorisation systemIdentity typeComputer Science(all)
researchProduct

Construction de Triplets Spectraux à Partir de Modules de Fredholm

1998

Soit (A, H, F) un module de Fredholm p-sommable, où l'algèbre A = CT est engendrée par un groupe discret Gamma d'éléments unitaires de L(H) qui est de croissance polynomiale r. On construit alors un triplet spectral (A, H, D) sommabilité q pour tout q > p + r + 1 avec F = signD. Dans le cas où (A, H, F) est (p, infini)-sommable on obtient la (q, infini)-sommabilité de (A, H, D)pour tout q > p + r + 1. Let (A, H, F) be a p-summable Fredholm module where the algebra A = CT is generated by a discrete group of unitaries in L(H) which is of polynomial growth r. Then we construct a spectral triple (A, H, D) with F = signD which is q-summable for each q > p + r + 1. In case (A, H, F) is (p, infini…

CombinatoricsOperator algebraInstitut für MathematikGeneral Medicineddc:510Mathematics
researchProduct

XPL the Extensible Presentation Language

2009

The last decade has witnessed a growing interest in the development of web interfaces enabling both multiple ways to access contents and, at the same time, fruition by multiple modalities of interaction (point-and-click, contents reading, voice commands, gestures, etc.). In this paper we describe a framework aimed at streamlining the design process of multi-channel, multimodal interfaces enabling full reuse of software components. This framework is called the eXtensible Presentation architecture and Language (XPL), a presentation language based on design pattern paradigm that keeps separated the presentation layer from the underlying programming logic. The language supplies a methodology to…

Communication designMultimediaComputer Networks and CommunicationsInterface (Java)Computer scienceDesign patternmedia_common.quotation_subjectTK5101-6720computer.software_genreComputer Science ApplicationsPresentationPresentation layerHuman–computer interactionSoftware design patternComponent-based software engineeringTelecommunicationDesign patterns verbal interaction presentation languages data access multimodal interfaces for mobile systemscomputerLogic programmingmedia_commonMobile Information Systems
researchProduct