Search results for "TBox"

showing 3 items of 3 documents

The complexity of finite model reasoning in description logics

2005

AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.

Deductive reasoningTheoretical computer scienceFinite satisfiabilityInverseLogic modelFinite satisfiabilitySatisfiabilityAboxDescription logicTheoretical Computer ScienceComputer Science ApplicationsConsistency (database systems)Number restrictionsTBox ALCQI-Konzept Beschreibungslogik EXPTIME-komplettDescription logicComputational Theory and Mathematicsddc:004TBox ALCQI-concept description logic EXPTIME-completeAlgorithmMathematicsInformation SystemsInformation and Computation
researchProduct

Mikrotransakcijas kā e –komercijas veids video spēļu nozarē

2021

E – komercija ir viens no visātrāk augošākajiem komercijas veidiem gan Latvijā, gan pasaulē. Mikrotransakcijas ir viens no jaunākajiem e – komercijas paveidiem, kas lielākoties ir atrodams tikai video spēļu e – komercijas lauciņā. Bakalaura darba tēma: Mikrotransakcijas kā e – komercijas veids video spēļu nozarē Autors: Valters Lukstiņš Bakalaura darba mērķis: Iepazīties ar mikrotransakcijām kā jaunu e – komercijas veidu, to iespējamo sakarību ar azartspēlēm, veikt video spēļu industrijas tirgus apskatu un veikt video spēļu industrijas kompāniju ienākumu analīzi, kas piedāva mikrotransakciju pakalpojumus. Bakalaura darba struktūra: Ievads, 3 nodaļas, secinājumi un priekšlikumi Darba apjoms:…

LootboxVideospēlesEkonomikaMikrotransakcijaEkomercija
researchProduct

The design of artificial nestboxes for the study of secondary hole-nesting birds: A review of methodological inconsistencies and potential biases

2010

The widespread use of artificial nestboxes has led to significant advances in our knowledge of the ecology, behaviour and physiology of cavity nesting birds, especially small passerines. Nestboxes have made it easier to perform routine monitoring and experimental manipulation of eggs or nestlings, and also repeatedly to capture, identify and manipulate the parents. However, when comparing results across study sites the use of nestboxes may also introduce a potentially significant confounding variable in the form of differences in nestbox design amongst studies, such as their physical dimensions, placement height, and the way in which they are constructed and maintained. However, the use of …

PASSERINES0106 biological sciencesNest-box design measuresPARUSSECONDARY CAVITY-NESTING BIRDSOtras Ciencias BiológicasNEST SITESFLYCATCHERFicedula010603 evolutionary biology01 natural sciences[ SDV.EE ] Life Sciences [q-bio]/Ecology environment010605 ornithologymethodsfield experimentsCiencias BiológicasnestboxestitCyanistesResearch basedStatisticsNESTBOXESFIELD EXPERIMENTSNest boxBiological sciencesBiologysecondary cavity-nesting birdsFICEDULAParus[SDV.EE]Life Sciences [q-bio]/Ecology environment[ SDE.BE ] Environmental Sciences/Biodiversity and EcologybiologyEcologyCyanistesFicedulanest sitespasserinesbiology.organism_classification3. Good healthTITSettore AGR/11 - Entomologia Generale E ApplicataCYANISTESflycatcherParusMETHODSNesting (computing)Animal Science and Zoology[SDE.BE]Environmental Sciences/Biodiversity and EcologyCIENCIAS NATURALES Y EXACTAS
researchProduct