Results 11 to 20 of about 252,942 (137)
Solving NP-SPEC Domains Using ASP [PDF]
, 2013 NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are
Alviano, Mario, Faber, Wolfgang
core +3 more sources
An investigation of the partnering strategies in application service provision: A vendor perspective [PDF]
, 2008 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This research aims to investigate the partnering strategies in Application Service Provision (ASP) from a vendor's perspective. Although some attention was
Tebboune, DE Sofiane
core +7 more sources
Effectively Solving NP-SPEC Encodings by Translation to ASP [PDF]
, 2015 NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are
Alviano, Mario, Faber, Wolfgang
core +1 more source
JLIS.it, 2023 When treating structured health-system-related knowledge, the establishment of an over-dimension to guide the separation of entities becomes essential. This is consistent with the information retrieval processes aimed at defining a coherent and dynamic ...
Erika Pasceri +7 more
doaj +1 more source
PathogensThe establishment and partial characterization of three continuous cell lines from European freshwater fish species are provided. The three new cell lines, designated NPL-3, AF-1, and PF-1, were created from larvae of northern pike (Esox lucius) and fin ...
Andor Doszpoly
doaj +1 more source
Annali dell'Istituto Superiore di Sanità, 2014 INTRODUCTION. Amphibolic fibres with fluoro-edenitic composition characterize Biancavilla soil, including the major quarry from which building materials have been extensively extracted.
Caterina Bruno +12 more
doaj +1 more source
Study and selection strategy of quality control system in aviation non-destructive testing
Hangkong gongcheng jinzhanThe quality control system applied in the field of domestic aviation non-destructive testing can be divided into three levels according to the size of the application surface: basic general quality management system, including non-destructive testing ...
XU Guirong, NING Ning, GUAN Xuesong
doaj +1 more source
A temible complication of ischemic stroke: pulmonary embolism
Clinical Management Issues, 2015 Stroke is a leading cause of death and disability and is the third highest cause of death in the western world. Medical illness after ischemic stroke contribute substantially to poor stroke outcomes. The early in-hospital complications of stroke patients
Linda Iurato +7 more
doaj +1 more source
Microbiologia Medica, 2015 This study examined a cohort of young people from South Centre Sicily, Italy, in order to evaluate anti-measles anti-mumps vaccination coverage. It is shown that, in proportion, an antibody protection against mumps is greater than an antibody protection ...
Claudia Lo Magno +3 more
doaj +1 more source
Disjunctive ASP with functions: Decidable queries and effective computation [PDF]
, 2010 Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASPfs).
Alviano, Mario +5 more
core +1 more source