Cerca
Items 31-40 di 50
Fixed Point Iterations for Nonlinear Mappings
(2015-12-15)
In questa tesi vengono a rontati, e talvolta risolti, alcuni problemi sulla convergenza di
algoritmi per punti ssi. A tali problemi, verr a a ancato inoltre l'ulteriore problema
di stabilire quando tali algoritmi ...
Cellular automata for modeling and simulating complex phenomena : lahars
(2015-12-15)
Lahars represent one of the most destructive natural disasters regarding the loss of human
lives and property damage in their path. Lahars are very complex surface flows of two
types: primary lahars originated directly ...
Generalizing identity-based string similarity metrics: theory and applications
(2018-01-19)
Le stringhe giocano un ruolo fondamentale in informatica: codificando i dati, la loro interpretazione
permette di derivare informazione. Dato un insieme di stringhe, alcune interessanti
domande emergono: “queste stringhe ...
Design and implementation of a modern ASP grounder
(2018-01-19)
Answer Set Programming (ASP) is a declarative programming paradigm proposed
in the area of non-monotonic reasoning and logic programming in the
late '80 and early '90. Thanks to its expressivity and capability of dealing ...
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 ...
<<The>> impact of software on Mathematics education in high schools
(2017-02-22)
Il rapporto tra tecnologia e insegnamento-apprendimento della Matematica è un fenomeno complesso che merita di essere osservato da diversi punti di vista.
Uno di questi è il ruolo che i software svolgono, e potrebbero ...