Sfoglia per Titolo
Items 3458-3477 di 5048
-
Paracoherent Answer Set Programming
(2017-02-22)L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa basato sulla semantica dei modelli stabili. L’idea alla base di ASP è di codificare un problema computazionale in un programma logico i cui ... -
Parallel and evolutionary applications to cellular automata models for mitigation of lava flow invasions
(2013-11-25)In the lava ow mitigation context, the determination of areas exposed to volcanic risk is crucial for diminishing consequences in terms of human causalities and damages of material properties. In order to mitigate the ... -
Parallel evaluation of ASP programs:techniques and implementation
(2011-11-30)Answer Set Programming (ASP) is a purely declarative programming paradigm based on nonmonotonic reasoning and logic programming. The idea of ASP is to represent a given computational problem by a logic program such ... -
Particle acceleration at shocks and magnetic turbulence in the interplanetary space
(2019-06-14)The solar wind is a supersonic and super-alfvenic flow of plasma that propagates in space up to the Earth and throughout the heliosphere reaching speeds of about 400 800 km s1. It permeates the heliosphere and is ...