R.T. 1994

A Global Optimization Algorithm Using Derivatives and Local Tuning
RT-ICAR-CS-94-01
di Yaroslaw D. Sergeyev
pubblicato a /1994

LEGGI PUBBLICAZIONE

A Technique for Computing the Well Founded Semantics of  Datalog Programs
RT-ICAR-CS-94-02
di F. Buccafurri
pubblicato a /1994

LEGGI PUBBLICAZIONE

Implementazione di Interrogazioni Semplici Concatenate
RT-ICAR-CS-94-03
di F. Buccafurri, S. Greco, E. Spadafora
pubblicato a /1994

LEGGI PUBBLICAZIONE

Stable Models and their Computation for Logic Programming Inheritance and True Negation
RT-ICAR-CS-94-04
di F. Buccafurri, N. Leone, P. Rullo
pubblicato a /1994

LEGGI PUBBLICAZIONE

Global Optimization Algorithm Using Smooth Auxiliary Functions
RT-ICAR-CS-94-05
di Yaroslaw D. Sergeyev
pubblicato a /1994

LEGGI PUBBLICAZIONE

A Multidimensional Global Optimization Algorithm Derivatives and Local Tuning
RT-ICAR-CS-94-06
di Yaroslaw D. Sergeyev
pubblicato a /1994

LEGGI PUBBLICAZIONE

On Symmetric Exponential Sums
RT-ICAR-CS-94-07
di Yaroslaw D. Sergeyev
pubblicato a /1994

LEGGI PUBBLICAZIONE

The Power of Deterministic Stable Model Semantics
RT-ICAR-CS-94-08
di F. Buccafurri, S, Greco, D. Saccà
pubblicato a /1994

LEGGI PUBBLICAZIONE