Sfoglia per Titolo
A numerically stable solver for positive semi-definite quadratic programs based on nonnegative least squares
2018-01-01 Bemporad, A
A PageRank-based preferential attachment model for the evolution of the World Wide Web
2010-01-01 Giammatteo, P; Donato, D; Zlatic, V; Caldarelli, G
A Partial Ordering Semantics for CCS
1990-01-01 P., Degano; DE NICOLA, R; U., Montanari
A partial-differential approximation for spatial stochastic process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
A PET study of Turner's syndrome: effects of sex steroids and the X chromosome on brain
1997-01-01 Murphy, Dg; Mentis, Mj; Pietrini, P; Grady, C; Daly, E; Haxby, Jv; De La Granja, M; Allen, G; Largay, K; White, Bj; Powell, Cm; Horwitz, B; Rapoport, Si; Schapiro, Mb.
A power and energy procedure in operating photovoltaic systems to quantify the losses according to the causes
2015-01-01 Spertino, F; Ciocia, A; Di Leo, P; Tommasini, R; Berardone, I; Corrado, M; Infuso, A; Paggi, M
A predictive controller with artificial Lyapunov function for linear systems with input/state constraints
1998-01-01 Bemporad, A.
A predictive reference governor for constrained control systems
1998-01-01 Bemporad, A.; Casavola, A.; Mosca, E.
A predictive reference governor for constrained control systems
1996-01-01 Bemporad, A.; Casavola, A.; Mosca, E.
A proactive approach for runtime self-adaptation based on queueing network fluid analysis
2015-01-01 Incerto, E; Tribastone, M; Trubiani, C
A Process Algebra based on Linda
1996-01-01 DE NICOLA, R; R., Pugliese
A Process Algebraic View of Input/Output Automata
1995-01-01 DE NICOLA, R; R., Segala
A process calculus analysis of compensations
2009-01-01 Luís, Caires; Carla, Ferreira; MENDES TORRES VIEIRA, H
A Process Calculus for QoS-Aware Applications
2005-01-01 DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto
A proposito di «UK, EU And Global Administrative Law. Foundations And Challenges» di Paul Craig. «I cannot command winds and weather»: uno sguardo inglese sul diritto amministrativo globale
2016-01-01 Casini, L
A prototype model of stock exchange
1997-01-01 Caldarelli, G; Marsili, M; Zhang, Yc
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation
2012-01-01 Galletta, L
A Reversible Abstract Machine and Its Space Overhead
2012-01-01 Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B
A SAT-based hybrid solver for optimal control of hybrid systems
2004-01-01 Bemporad, A.; Giorgetti, N.
A self-organized model for network evolution
2008-01-01 A., Capocci; Garlaschelli, D; Caldarelli, G
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