Results 11 to 20 of about 23,030,725 (282)
, 2013 Professors que han col·laborat: Mercè Martínez, Jordi Calvo, Mª del Mar Suárez, Rosa Rozas i Silvia Argudo. Els materials de referència estan citats a l’interior del document què és un conjunt de presentacions en power point. Especial agraïment, entre d’
Martínez i Torres, Mercè
core +7 more sources
Probabilistic Algorithmic Knowledge [PDF]
Logical Methods in Computer Science, 2005 The framework of algorithmic knowledge assumes that agents use deterministic knowledge algorithms to compute the facts they explicitly know. We extend the framework to allow for randomized knowledge algorithms.
Joseph Y. Halpern, Riccardo Pucella
doaj +1 more source
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Plants, 2022 Chloride is an essential nutrient for plants, but high concentrations can be harmful. Silicon ameliorates both abiotic and biotic stresses in plants, but it is unknown if it can prevent cellular increase of chloride. Therefore, we investigated the influx
Albert Premkumar +3 more
doaj +1 more source
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information [PDF]
Logical Methods in Computer Science, 2006 We present a state-based regression function for planning domains where an agent does not have complete information and may have sensing actions. We consider binary domains and employ a three-valued characterization of domains with sensing actions to ...
Le-Chi Tuan, Chitta Baral, Tran Cao Son
doaj +1 more source
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification [PDF]
Logical Methods in Computer Science, 2017 Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints ...
Franz Baader +2 more
doaj +1 more source
Sahlqvist via Translation [PDF]
Logical Methods in Computer Science, 2019 In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions.
Willem Conradie +2 more
doaj +1 more source
Diurnal dependence of ELF/VLF hiss and its relation to chorus at L = 2.4 [PDF]
Journal of Geophysical Research: Space Physics, 2009 We present the observation and analysis of all very low frequency (0.3–10 kHz) chorus and hiss emissions observed at Palmer Station, Antarctica (L = 2.4), from January through October 2003, near the peak of the most recent solar cycle. We classify three separate categories of emissions: chorus occurring without the presence of hiss (“chorus only ...
D. I. Golden, M. Spasojevic, U. S. Inan
openaire +1 more source
Compact dual-band (2.4/5.2GHz) monopole antenna for WLAN applications [PDF]
, 2010 Copyright ©2010 IEEE. Reprinted from Antenna Technology (iWAT), 2010 International Workshop. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's ...
AbuTarboush, HF +7 more
core +1 more source
Animals, 2021 Selenium Auricularia cornea culture (SAC) is a new source of organic selenium. Two experiments were conducted to determine the available energy of SAC fed to pigs and to evaluate the effects of dietary SAC supplementation on growth performance, serum ...
Ying Ju +11 more
doaj +1 more source