07.2 Altre pubblicazioni (Other types of publications)

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

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 421 a 440 di 4.077

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

A Formal and Integrated Framework to Simulate Evolution of Biological Pathways

2007-01-01 Dematte', Lorenzo; Priami, Corrado; Soyer, Orkun; Romanel, Alessandro

An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra

2007-01-01 Heath, John; Priami, Corrado; Guerriero, Maria Luisa

Colonies of Synchronizing Agents

2007-01-01 Mardare, Radu; Sedwards, Sean; Cavaliere, Matteo

Computational Thinking in Biology

2007-01-01 Priami, Corrado

Stochastic pi-calculus Modelling of Multisite Phosphorylation Based Signaling: In Silico Analysis of the Pho4 Transcription Factor and the PHO Pathway in Saccharomyces Cerevisiae

2007-01-01 Blanzieri, Enrico; Priami, Corrado; Segata, Nicola

Titolo	Anno di pubblicazione	Autori Unitn
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 + -
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways	1-gen-2007	Dematte', LorenzoPriami, CorradoSoyer, OrkunRomanel, Alessandro + -
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra	1-gen-2007	Heath, JohnPriami, CorradoGuerriero, Maria Luisa + -
Colonies of Synchronizing Agents	1-gen-2007	Mardare, RaduSedwards, SeanCavaliere, Matteo + -
Computational Thinking in Biology	1-gen-2007	Priami, Corrado
Stochastic pi-calculus Modelling of Multisite Phosphorylation Based Signaling: In Silico Analysis of the Pho4 Transcription Factor and the PHO Pathway in Saccharomyces Cerevisiae	1-gen-2007	Blanzieri, EnricoPriami, CorradoSegata, Nicola

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 421 a 440 di 4.077

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 fulltext2290
open1643
reserved134
partially open10