In questo lavoro viene presentato un sistema per la valutazione e certificazione di formule proposizionali quantificate (QBFs) che si basa su un approccio ibrido al problema. Vengono considerate questioni attinenti all’integrazione di differenti filosofie di soluzione e il ruolo delle meta-euristiche nella composizione del sistema complessivo. We present a system designed to evaluate and certif...

Riassunto: L’obiettivo del presente lavoro è studiare il comportamento di una nuova procedura per la determinazione di regioni di previsione per processi autoregressivi multidimensionali. Le regioni di previsione, basate sulla tecnica bootstrap, non fanno affidamento su alcuna assunzione distributiva per i disturbi ed inoltre tengono conto della variabilità derivante dalla necessità di stimare ...

Sommario. Per quanto concerne la positivit a, i sistemi cooperativi ellittici e parabolici si comportano come le corrispondenti equazioni: una sorgente positiva implica che la soluzione e positiva. I sistemi con accoppiamento non cooperativo presentano invece un diverso comportamento. Per i sistemi ellittici non cooperativi sussiste un risultato limitato ma uniforme di positivit a mentre per i ...