Results 111 to 120 of about 235 (146)
Photoluminescence and Scintillation Mechanism of Cs4PbBr6. [PDF]
van Blaaderen JJ +5 more
europepmc +1 more source
Population norms for the EQ-5D-5L for Hungary: comparison of online surveys and computer assisted personal interviews. [PDF]
Péntek M +7 more
europepmc +1 more source
Population-level norm values by EQ-5D-3L in Hungary - a comparison of survey results from 2022 with those from 2000. [PDF]
Inotai A, Nagy D, Kaló Z, Vokó Z.
europepmc +1 more source
水晶腕時計の構造, FRANCOIS NIKLES NEUCHATEL, 電子時計研究所, 1969年パリ国際即時学会議, 提出論文B247
openaire +1 more source
Specification of Estimands for Complex Disease Processes Using Multistate Models and Utility Functions. [PDF]
Bühler A, Cook RJ, Lawless JF.
europepmc +1 more source
Brucellosis: Bacteriology, pathogenesis, epidemiology and role of the metallophores in virulence: a review. [PDF]
Ghssein G +7 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Undecidability of subsumption in NIKL
Artificial Intelligence, 1989Abstract Subsumption—determining whether one concept is more general than another—is known to be NP-hard for all reasonably expressive terminological logics, but, up to now, the decidability of subsumption for terminological logics used in current knowledge representation systems such as NIKL remained unknown. This paper shows that subsumption in the
Peter F Patel-Schneider
exaly +2 more sources
Computational Intelligence, 1991
NIKL was the successor to KL‐ONE, the first knowledge representation system to implement “term subsumption” semantics. The primary goals for NIKL were to improve the expressivity and efficiency of KL‐ONE. In the process of developing and using NIKL as the primary representational vehicle for several applications, important new representational needs ...
James G. Schmolze, William S. Mark
exaly +3 more sources
NIKL was the successor to KL‐ONE, the first knowledge representation system to implement “term subsumption” semantics. The primary goals for NIKL were to improve the expressivity and efficiency of KL‐ONE. In the process of developing and using NIKL as the primary representational vehicle for several applications, important new representational needs ...
James G. Schmolze, William S. Mark
exaly +3 more sources
Zavarivanje nikl legure INCOLOY 800H pri izradi static mixer-a za petrokemijsku industriju
Zavarivanje, 2006U radu je opisana izrada zavarenog proizvoda pod nazivom STATIC MIXER iz materijala INCOLOY 800H. STATIC MIXER se koristi za miješanje pregrijane pare i ethylbenzena na temperaturama od 650 – 800 oC i pri radnom tlaku 0, 2 MPa. Prilikom izrade korišteni su REL, TIG i EPP postupak zavarivanja, a u radu opisana praktična iskustva kod promjene ...
Klarić, Štefanija, Samardžić, Ivan
openaire +2 more sources

