07.2 Altre pubblicazioni (Other types of publications)

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

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 441 a 460 di 4.103

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

2007-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto

Reactive Search and Intelligent Optimization

2007-01-01 Battiti, Roberto; Brunato, Mauro; Mascia, Franco

When and Why? A Critical Survey on Coordination Failure in the Laboratory

2006-01-01 Devetag, Giovanna; Ortmann, Andreas

Regularity results for a class of obstacle problems under non standard growth conditions

2007-01-01 Eleuteri, Michela; Habermann, Jens

Equilibrium Selection, Similarity Judgments and the "Nothing to Gain/Nothing to Lose" Effect

2006-01-01 Leland, Jonathan W.

Designing Security Requirements Models through Planning

2006-01-01 Bryl, Volha; Massacci, Fabio; Mylopoulos, John; Zannone, Nicola

Reactive search for MAX-SAT: diversification-bias properties with prohibitions and penalties

2007-01-01 Campigotto, Paolo; Battiti, Roberto

A unified FEM–BEM approach for electro–magnetostatics and time-harmonic eddy-current problems

2007-01-01 Alonso Rodriguez, Ana; Valli, Alberto

A Planar Electronically Reconfigurable Wi-Fi Band Antenna Based on a Parasitic Microstrip Structure

2007-01-01 Azaro, Renzo; Massa, Andrea; Fimognari, Luca; Donelli, Massimo

Efficient Interpolant Generation in Satisfiability Modulo Theories

2007-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto

On a model for electromagnetic processes inside and outside a ferromagnetic body

2007-01-01 Brokate, Martin; Eleuteri, Michela; Krejčí, Pavel

A Case Study in Performance Estimation and Analysis for SDR: UMTS Data-Link Layer

2007-01-01 Passerone, Roberto; Simalatsar, Alena

Optimal control of stochastic differential equations with dynamical boundary conditions

2007-01-01 Bonaccorsi, Stefano; Confortola, Fulvia; Mastrogiacomo, Elisa

Robustness and Statistical Significance of Pam-like Matrices for Cognate Identification

2010-01-01 Delmestri, Antonella; Cristianini, Nello

Small Noise Asymptotic Expansions for Stochastic pde's.i : The Case of a Dissipative Polynomially Bounded non Linearity

2010-01-01 Albeverio, Sergio; Di Persio, Luca; Mastrogiacomo, Elisa

User Study on Emotion and Wearable Technology

2010-01-01 Hasan, Tabin; Hossain, Shabbir

Save up to 99% of Your Time in Mapping Validation

2010-01-01 Maltese, Vincenzo; Autayeu, Aliaksandr; Giunchiglia, Fausto

Mining Subjective Data on the Web

2010-01-01 Tsytsarau, Mikalai; Palpanas, Themis

A Parallel Beta-binders Simulator

2007-01-01 Leye, Stefan; Priami, Corrado; Uhrmacher, Adelinde

A Process Algebraical Approach to Modelling Compartmentalized Biological Systems

2007-01-01 Mardare, Radu; Ihekwaba, Adaoha

Titolo	Anno di pubblicazione	Autori Unitn
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories	1-gen-2007	Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto
Reactive Search and Intelligent Optimization	1-gen-2007	Battiti, RobertoBrunato, MauroMascia, Franco
When and Why? A Critical Survey on Coordination Failure in the Laboratory	1-gen-2006	Devetag, GiovannaOrtmann, Andreas
Regularity results for a class of obstacle problems under non standard growth conditions	1-gen-2007	Eleuteri, MichelaHabermann, Jens + -
Equilibrium Selection, Similarity Judgments and the "Nothing to Gain/Nothing to Lose" Effect	1-gen-2006	Leland, Jonathan W.
Designing Security Requirements Models through Planning	1-gen-2006	Bryl, VolhaMassacci, FabioMylopoulos, JohnZannone, Nicola
Reactive search for MAX-SAT: diversification-bias properties with prohibitions and penalties	1-gen-2007	Campigotto, PaoloBattiti, Roberto
A unified FEM–BEM approach for electro–magnetostatics and time-harmonic eddy-current problems	1-gen-2007	Alonso Rodriguez, AnaAlberto, Valli
A Planar Electronically Reconfigurable Wi-Fi Band Antenna Based on a Parasitic Microstrip Structure	1-gen-2007	Azaro, RenzoMassa, AndreaFimognari, LucaDonelli, Massimo + -
Efficient Interpolant Generation in Satisfiability Modulo Theories	1-gen-2007	Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto
On a model for electromagnetic processes inside and outside a ferromagnetic body	1-gen-2007	Brokate, MartinEleuteri, MichelaKrejčí, Pavel + -
A Case Study in Performance Estimation and Analysis for SDR: UMTS Data-Link Layer	1-gen-2007	Passerone, RobertoSimalatsar, Alena
Optimal control of stochastic differential equations with dynamical boundary conditions	1-gen-2007	Bonaccorsi, StefanoConfortola, FulviaMastrogiacomo, Elisa
Robustness and Statistical Significance of Pam-like Matrices for Cognate Identification	1-gen-2010	Delmestri, AntonellaCristianini, Nello + -
Small Noise Asymptotic Expansions for Stochastic pde's.i : The Case of a Dissipative Polynomially Bounded non Linearity	1-gen-2010	Albeverio, SergioDi Persio, LucaMastrogiacomo, Elisa
User Study on Emotion and Wearable Technology	1-gen-2010	Hasan, TabinHossain, Shabbir + -
Save up to 99% of Your Time in Mapping Validation	1-gen-2010	Maltese, VincenzoAutayeu, AliaksandrGiunchiglia, Fausto
Mining Subjective Data on the Web	1-gen-2010	Tsytsarau, MikalaiPalpanas, Themis
A Parallel Beta-binders Simulator	1-gen-2007	Leye, StefanPriami, CorradoUhrmacher, Adelinde + -
A Process Algebraical Approach to Modelling Compartmentalized Biological Systems	1-gen-2007	Mardare, RaduIhekwaba, Adaoha + -

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 441 a 460 di 4.103

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 fulltext2304
open1649
reserved140
partially open10