07.2 Altre pubblicazioni (Other types of publications)

07.2 Altre pubblicazioni (Other types of publications): [4087] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.341 a 1.360 di 4.087

Supporting Mobile Learning with Location-Aware Printing Service

2003-01-01 Ronchetti, Marco; Trifonova, Anna

Mobile Learning - Review of the Literature

2003-01-01 Trifonova, Anna

Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s

2003-01-01 Brewster, Richard C.; Hell, Pavol; Rizzi, Romeo

Extraction of pi-calculus specifications from UML sequence and state diagrams

2003-01-01 Korenblat, Katerina; Priami, Corrado

A SAT-Based Algorithm for Context Matching

2003-01-01 Bouquet, Paolo; Magnini, Bernardo; Zanobini, Stefano; Serafini, Luciano

On the difference between bridge rules and lifting axioms

2003-01-01 Serafini, Luciano; Bouquet, Paolo

An algorithm for matching contextualized schemas via SAT

2003-01-01 Serafini, Luciano; Bouquet, Paolo; Magnini, Bernardo; Zanobini, Stefano

Local Relational Model: a logical formalization of database coordination

2003-01-01 Serafini, Luciano; Mylopoulos, John; Bernstein, Philip A.; Giunchiglia, Fausto

Proceedings of International Workshop Global Computing: Programming Environments

2003-01-01 Priami, Corrado

Efficiently Integrating Boolean Reasoning and Mathematical Solving

2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Audemard, Gilles; Kornilowicz, Artur; Sebastiani, Roberto

A Multiple Cascade-Classifier System for a Robust and Partially Unsupervised Updating of Land-Cover Maps

2002-01-01 Bruzzone, Lorenzo; Cossu, Roberto

A New Search Algorithm for Feature Selection in Hyperspectral Remote Sensing Images

2001-01-01 Serpico, Sebastiano B.; Bruzzone, Lorenzo

Determinants of the implied volatility function on the Italian Stock Market

2001-01-01 Beber, Alessandro

I modelli interni per la valutazione del rischio di mercato secondo l'approccio del Value at Risk

2001-01-01 Bazzana, Flavio

Mixture models for VaR and stress testing

2001-01-01 Bee, Marco

Un modello per l'incorporazione del rischio specifico nel VaR

2002-01-01 Bee, Marco

VaR and liquidity risk. Impact on market behaviour and measurement issues

2002-01-01 Erzegovesi, Luca

Event Detection and Scene Attraction by Very Simple Contextual Cues

2011-01-01 Tankoyeu, Ivan; Paniagua, Javier; Giunchiglia, Fausto; Stöttinger, Julian

Load Time Security Verification: The Claim Checker

2011-01-01 Gadyatskaya, Olga; Lostal, Eduardo; Massacci, Fabio

Existence and Stability of Square-Mean almost periodic Solutions to a Spatially Extended Neural Network with Impulsive Noise

2011-01-01 Bonaccorsi, Stefano; Ziglio, Giacomo

Titolo	Anno di pubblicazione	Autori Unitn
Supporting Mobile Learning with Location-Aware Printing Service	1-gen-2003	Ronchetti, MarcoTrifonova, Anna
Mobile Learning - Review of the Literature	1-gen-2003	Trifonova, Anna
Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s	1-gen-2003	Brewster, Richard C.Hell, PavolRizzi, Romeo + -
Extraction of pi-calculus specifications from UML sequence and state diagrams	1-gen-2003	Korenblat, KaterinaPriami, Corrado + -
A SAT-Based Algorithm for Context Matching	1-gen-2003	Bouquet, PaoloMagnini, BernardoZanobini, StefanoSerafini, Luciano
On the difference between bridge rules and lifting axioms	1-gen-2003	Serafini, LucianoBouquet, Paolo
An algorithm for matching contextualized schemas via SAT	1-gen-2003	Serafini, LucianoBouquet, PaoloMagnini, BernardoZanobini, Stefano
Local Relational Model: a logical formalization of database coordination	1-gen-2003	Serafini, LucianoMylopoulos, JohnBernstein, Philip A.Giunchiglia, Fausto + -
Proceedings of International Workshop Global Computing: Programming Environments	1-gen-2003	Priami, Corrado
Efficiently Integrating Boolean Reasoning and Mathematical Solving	1-gen-2003	Bertoli, PiergiorgioCimatti, AlessandroAudemard, GillesKornilowicz, ArturSebastiani, Roberto + -
A Multiple Cascade-Classifier System for a Robust and Partially Unsupervised Updating of Land-Cover Maps	1-gen-2002	Bruzzone, LorenzoCossu, Roberto + -
A New Search Algorithm for Feature Selection in Hyperspectral Remote Sensing Images	1-gen-2001	Serpico, Sebastiano B.Bruzzone, Lorenzo + -
Determinants of the implied volatility function on the Italian Stock Market	1-gen-2001	Beber, Alessandro
I modelli interni per la valutazione del rischio di mercato secondo l'approccio del Value at Risk	1-gen-2001	Bazzana, Flavio
Mixture models for VaR and stress testing	1-gen-2001	Bee, Marco
Un modello per l'incorporazione del rischio specifico nel VaR	1-gen-2002	Bee, Marco
VaR and liquidity risk. Impact on market behaviour and measurement issues	1-gen-2002	Erzegovesi, Luca
Event Detection and Scene Attraction by Very Simple Contextual Cues	1-gen-2011	Tankoyeu, IvanPaniagua, JavierGiunchiglia, FaustoStöttinger, Julian + -
Load Time Security Verification: The Claim Checker	1-gen-2011	Gadyatskaya, OlgaLostal, EduardoMassacci, Fabio
Existence and Stability of Square-Mean almost periodic Solutions to a Spatially Extended Neural Network with Impulsive Noise	1-gen-2011	Bonaccorsi, StefanoZiglio, Giacomo

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.341 a 1.360 di 4.087

Legenda icone

file ad accesso aperto
file disponibili sulla rete interna
file disponibili agli utenti autorizzati
file disponibili solo agli amministratori
file sotto embargo
nessun file disponibile

Scopri

Accesso al fulltext

no fulltext2297
open1646
reserved134
partially open10