Search results for " Upper"

showing 10 items of 175 documents

Modeling Changes for SHOIN(D) Ontologies: An Exhaustive Structural Model

2013

Ontology development starts with a rigorous ontological analysis that provides a conceptualization of the domain to model agreed by the community. An ontology, specified in a formal language, approximates the intended models of this conceptualization. It needs then to be revised and refined until an ontological commitment is found. Also ulterior updates, responding to changes in the domain and/or the conceptualization, are expected to occur throughout the ontology life cycle. To handle a consistent application of changes, a couple of ontology evolution methodologies have been proposed. Maintaining the structural consistency is one of the ontology evolution criteria. It implies modeling chan…

Ontology Inference Layer[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/WebComputer scienceProcess ontology030303 biophysicsData_MISCELLANEOUS[ INFO.INFO-WB ] Computer Science [cs]/Web02 engineering and technologyOntology (information science)computer.software_genre03 medical and health sciencesOntology chart[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]SHOIN(D) Description LogicOntology components0202 electrical engineering electronic engineering information engineeringUpper ontologyOWL DL[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]0303 health sciencesbusiness.industryOntology-based data integration[INFO.INFO-WB]Computer Science [cs]/WebSuggested Upper Merged Ontology[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Structural ConsistencyOntology EvolutionIEEE[ INFO.INFO-FL ] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Ontology Model020201 artificial intelligence & image processing[ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]Artificial intelligenceComputingMethodologies_GENERALChange ModellingbusinesscomputerNatural language processing
researchProduct

Model Driven Specification of Ontology Translations

2008

The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexical, the syntactic and the semantic layer requiring semantic reasoning as well as low-level specification of ad-hoc conversions of data. Existing formalisms for representing translation rules cannot cover the representation needs of these three layers in one model. We propose a metamodel-based representation of ontology alignments that integrate semantic translations using description logics and lower level translation specifications into one model of representation for ontology alignments.

Ontology Inference Layerbusiness.industryProgramming languageComputer scienceOntology-based data integrationProcess ontologySuggested Upper Merged Ontology02 engineering and technologyOntology (information science)computer.software_genreDescription logic020204 information systems0202 electrical engineering electronic engineering information engineeringUpper ontology020201 artificial intelligence & image processingArtificial intelligencebusinesscomputerOntology alignmentNatural language processingLecture Notes in Computer Science Conceptual Modeling - ER 2008
researchProduct

Data Mining of Specific-Domain Ontology Components

2008

This paper describes an approach for eliciting ontology components by using knowledge maps. The knowledge contained in a particular domain, any kind of text digital archive, is portrayed by assembling and displaying its ontology components.

Open Biomedical OntologiesOntology Inference LayerInformation retrievalComputer scienceOntology-based data integrationOntology componentsProcess ontologySuggested Upper Merged OntologyUpper ontologyData miningOntology (information science)computer.software_genrecomputer
researchProduct

Semi-automatic Derivation of Specific-Domain Ontologies for the Semantic Web

2006

This paper describes an approach for helping in the semi-automatic construction of specific-domain ontology components contained in a digital archive. This proposal for extracting knowledge from digital sources allows users to have a view of this knowledge and visualize specific-domain ontology components that with further processing can be shared with software agents by embedding it into digital archives themselves in the context of the Semantic Web. In particular, we deal with the issue of not constructing the ontology from scratch, our approach helps us to speed up the ontology creation process.

Open Biomedical OntologiesWorld Wide WebOntology Inference LayerInformation retrievalComputer sciencecomputer.internet_protocolProcess ontologyOntology-based data integrationSuggested Upper Merged OntologyUpper ontologyOntology (information science)computerOWL-S2006 Fifth Mexican International Conference on Artificial Intelligence
researchProduct

Upper body strength endurance evaluation: A comparison between the handgrip strength and three body weight tests

2021

BACKGROUND: The hand-grip strength test has been widely adopted to evaluate upper limb strength. Other field based tests as push-ups and pull-ups are commonly used for the same purpose. It is however unclear if these may be used interchangeably for upper body strength evaluation. OBJECTIVE: The purpose of this investigation was to evaluate strength endurance of the upper body and understand which test could be the most appropriate for upper body evaluation. METHODS: Thirty-eight healthy young male participants were tested with three tests comprised of: 1) push-ups (PS), 2) pull-ups (PL) and 3) parallel dips (PD) performed to exhaustion. Grip strength (GS), total number of repetitions, time-…

OrthodonticsUpper bodybusiness.industryBiophysicsPhysical Therapy Sports Therapy and Rehabilitation030229 sport sciencesBody weight03 medical and health sciences0302 clinical medicineparallel dips pull-ups push-ups strength Strength endurance upper bodyMedicineOrthopedics and Sports Medicinebusiness030217 neurology & neurosurgeryIsokinetics and Exercise Science
researchProduct

Seasonal Human Coronavirus Respiratory Tract Infection in Recipients of Allogeneic Hematopoietic Stem Cell Transplantation

2021

Abstract Background Little is known about characteristics of seasonal human coronaviruses (HCoVs) (NL63, 229E, OC43, and HKU1) after allogeneic stem cell transplantation (allo-HSCT). Methods This was a collaborative Spanish and European bone marrow transplantation retrospective multicenter study, which included allo-HSCT recipients (adults and children) with upper respiratory tract disease (URTD) and/or lower respiratory tract disease (LRTD) caused by seasonal HCoV diagnosed through multiplex polymerase chain reaction assays from January 2012 to January 2019. Results We included 402 allo-HSCT recipients who developed 449 HCoV URTD/LRTD episodes. Median age of recipients was 46 years (range,…

PNEUMONIAMalevirusesmedicine.medical_treatmentseasonal human coronavirusHematopoietic stem cell transplantationmedicine.disease_causeDISEASElaw.inventionCoronavirus OC43 HumanCLINICAL CHARACTERISTICSlawCoronavirus 229E HumanRisk FactorsImmunology and AllergyChildRespiratory Tract InfectionsNL63 INFECTIONSCoronavirusOUTCOMESRespiratory tract infectionsSYNCYTIAL VIRUSHazard ratioHematopoietic Stem Cell Transplantationvirus diseasesupper and lower respiratory tract diseaseHCoV-NL63HCoV-229Erespiratory systemMiddle AgedIntensive care unitHospitalizationimmunocompromisedsurgical procedures operativeInfectious Diseasesmedicine.anatomical_structureAcademicSubjects/MED00290Child PreschoolCohortFemaleSeasonsCoronavirus InfectionsRare cancers Radboud Institute for Health Sciences [Radboudumc 9]allogeneic hematopoietic stem cell transplantation; community-acquired respiratory virus; HCoV-229E; HCoV-HKU1; HCoV-NL63; HCoV-OC43; immunocompromised; immunodeficiency score index; multiplex PCR assay; seasonal human coronavirus; upper and lower respiratory tract diseaseAdultmedicine.medical_specialtyHCoV-OC43AdolescentDIAGNOSISCHINAHCoV-HKU1BetacoronavirusAll institutes and research themes of the Radboud University Medical Centerstomatognathic systemInternal medicinemedicineMajor ArticleRHINOVIRUSHumansallogeneic hematopoietic stem cell transplantationAgedRetrospective Studiescommunity-acquired respiratory virusbusiness.industryInfantmultiplex PCR assayTransplantationCoronavirus NL63 HumanPARAINFLUENZA VIRUSbusinessimmunodeficiency score indexRespiratory tract
researchProduct

Combination of Tevatron searches for the standard model Higgs boson in the W+W- decay mode.

2010

11 páginas, 4 figuras, 1 tabla.-- CDF Collaboration: et al.

Particle physicsAstrophysics::High Energy Astrophysical PhenomenaTevatronFOS: Physical sciencesGeneral Physics and AstronomyElementary particleddc:500.2.PARTON DISTRIBUTIONS; HADRON COLLIDERS; QCD; NNLO7. Clean energy01 natural sciences114 Physical sciencesHigh Energy Physics - ExperimentStandard ModelNuclear physicsHigh Energy Physics - Experiment (hep-ex)Particle decay0103 physical sciences[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]Grand Unified TheoryHADRON COLLIDERSFermilabTEVATRONNuclear Experiment010306 general physicsBosonPhysicsHIGGS BOSON010308 nuclear & particles physicsPhysicsHigh Energy Physics::PhenomenologyQCD3. Good healthPARTON DISTRIBUTIONSHiggs bosonCDFPhysics::Accelerator PhysicsHigh Energy Physics::ExperimentNNLOAnti-p p: interaction | Higgs particle: search for | gluon gluon: fusion | intermediate boson: fusion | quark antiquark: annihilation | Higgs particle: decay | Higgs particle --> W+ W- | W: pair production | W: leptonic decay | dilepton: final state | jet: multiplicity | cross section: upper limit | mass dependence | Higgs particle: mass | background | DZERO | CDF | Batavia TEVATRON Coll | anti-p p --> Higgs particle anything | anti-p p --> Higgs particle anything intermediate boson anything | anti-p p --> Higgs particle anything quark antiquark anything | 1960 GeV-cmsPhysical review letters
researchProduct

The forgotten mathematical legacy of Peano

2019

International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.

PeanoPeano's axioms of arithmeticPeano's counterexamplesWeierstrass maximum theoremabstract measuresGeneral MathematicsClosure (topology)tangencyinterioranti-distributive familiesfoundationdefinitions by abstractionlinear differential equationsaxiom of choiceLogical conjunctionPeano axiomsproofFormal languageAxiom of choiceMSC: Primary 01A55 01A6003-03 26-03 28-03 34-03 54-03; Secondary15A75 26A03 26A2426B25 26B05 28A1228A15 28A75.affine exterior algebra[MATH]Mathematics [math]reduction formulaeMathematicsnonlinear differential equationsoptimality conditionsdifferentiation of measuressweeping-tangent theoremPeano's axioms of geometryPeano's filling curvereduction of mathematics to setssurface areaclosuremean value theoremDirichlet functionNonlinear differential equationssubtangentsEpistemologymeasure theoryplanar measurelower and upper limits of setsdistributive familiescompactnessmathematical definitions1886 existence theoremdifferentiabilityDissertationes Mathematicae
researchProduct

Upper limit on the cosmic-ray photon flux above 1019 eV using the surface detector of the Pierre Auger Observatory

2008

A method is developed to search for air showers initiated by photons using data recorded by the surface detector of the Auger Observatory. The approach is based on observables sensitive to the longitudinal shower development, the signal risetime and the curvature of the shower front. Applying this method to the data, upper limits on the flux of photons of 3.8 x 10-3, 2.5 x 10-3; and 2.2 x 10-3 km-2 sr-1 yr-1 above 1019 eV, 2 x 1019 eV; and 4 x 1019 eV are derived, with corresponding limits on the fraction of photons being 2.0%, 5.1%, and 31% (all limits at 95% c.l.). These photon limits disfavor certain exotic models of sources of cosmic rays. The results also show that the approach adopted…

Photon[SDU.ASTR.CO]Sciences of the Universe [physics]/Astrophysics [astro-ph]/Cosmology and Extra-Galactic Astrophysics [astro-ph.CO]AstronomyFluxFOS: Physical sciencesOsservatorio Pierre AugerCosmic rayFotonesAstrophysicsAstrophysics7. Clean energy01 natural sciencesAugerNuclear physics[PHYS.ASTR.CO]Physics [physics]/Astrophysics [astro-ph]/Cosmology and Extra-Galactic Astrophysics [astro-ph.CO]High Energy Physics - Phenomenology (hep-ph)Raggi cosmiciultra high energy photonsCascada atmosféricaObservatory0103 physical sciences010306 general physicsCiencias ExactasPierre Auger ObservatoryPhysics[SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph]010308 nuclear & particles physicsAstrophysics (astro-ph)FísicaAstronomy and AstrophysicsPierre Auger ObservatoryEnergia ultra altaCosmic rayHigh Energy Physics - PhenomenologyPair production13. Climate actionFotoniExperimental High Energy Physicsddc:540flux upper limitNeutrinoSciami atmosferici estesi
researchProduct

Electromagnetic form factors and axial charge of the nucleon from Nf = 2 + 1 Wilson fermions

2018

We present an update on our determination of the electromagnetic form factors and axial charge of the nucleon from theNf= 2 + 1 CLS ensembles with increased statistics and an additional finer lattice spacing. We also investigate the impact ofO(a)-improvement of the currents.

PhysicsCLs upper limitsLattice constant010308 nuclear & particles physicsQuantum electrodynamicsPhysicsQC1-9990103 physical sciencesCharge (physics)Fermion010306 general physicsNucleon01 natural sciencesEPJ Web of Conferences
researchProduct