106 research outputs found
Some applications of viscosity solutions to optimal control and differential games
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
H(infinity) control of nonlinear systems: differential games and viscosity solutions
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Modularity of completeness revisited
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
The theory of vaccines
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Equivalence of dynamics for systems with transeverse constraints
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Bubbles in modularity
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
On the specification of visual languages: multisets as first-class citizens
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Analytic regularity for a class of semi-linear weakly hyperbolic equations of second order
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Branching - time logic with quantification over branches the point of view of modal logic
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
The crisscross method can solve the simple maximum flow problem in at most m-1 pivots
Consiglio Nazionale delle Ricerche - Biblioteca Centrale -. P.le Aldo Moro, 7, Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
- …