Sfoglia per ???browse.type.metadata.subjectIsicrui???
Soluzione del problema n°U101
2008-01-01 Perfetti, P
Solving an Inverse First-Passage-Time Problem for Wiener Process Subject to Random Jumps from a Boundary
2013-01-01 Abundo, Mr
Specialization with Constrained Generalization for Software Model Checking
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Specializations and Generalizations of the Stackelberg Minimum Spanning Tree Game
2010-01-01 Bilò, D; Guala', L; Leucci, S; Proietti, G
SpeeDP: An algorithm to compute SDP bounds for very large Max-Cut instances
2012-01-01 Grippo, L; Palagi, L; Piacentini, M; Piccialli, V; Rinaldi, G
Stable linear wavelets on non uniform knots with vanishing moments
2009-01-01 Lyche, T; Pelosi, F; Morken, K
Sthenic incompatibilities in rigid bodies motion
2006-01-01 Fremond, M; Isabella valenzi, P
Synchronization of permanent magnet electric motors: new nonlinear advanced results
2012-01-01 Verrelli, Cm
Synthesizing concurrent programs using answer set programming
2012-01-01 De Angelis, E; Pettorossi, A; Proietti, M
The hidden matching-structure of the composition of strips: a polyhedral perspective
2010-01-01 Faenza, Y; Oriolo, G; Stauffer, G
THE TRAVELING SALESMAN PROBLEM WITH CUMULATIVE COSTS
1993-01-01 Bianco, L; Mingozzi, A; Ricciardelli, S
Thermal effects of collisions: does rain turn into ice when it falls on a frozen ground?
2009-01-01 Caucci, A; Fremond, M
Torsion in strain-gradient plasticity: energetic scale effects
2012-01-01 Chiricotto, M; Giacomelli, L; Tomassetti, G
Transformational verification of parameterized protocols using array formulas
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Transient stabilization and voltage regulation of a synchronous generator
2007-01-01 Damm, G; Lamnabhi Lagarrigue, F; Marino, R; Verrelli, Cm
Two agent scheduling with a central selection mechanism
2015-01-01 Nicosia, G; Pacifici, A; Pferschy, U
Verification of imperative programs through transformation of constraint logic programs
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying programs via iterated specialization
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Vertex Partitioning of Crown-Free Interval Graphs
1999-01-01 Confessore, G; Dell'Olmo, P; Giordani, S
Vertex Partitioning of Crown-Free Interval Graphs
1999-01-01 Confessore, G; Dell'Olmo, P; Giordani, S
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2008 | Soluzione del problema n°U101 | Perfetti, P | Articolo su rivista | |
| 1-gen-2013 | Solving an Inverse First-Passage-Time Problem for Wiener Process Subject to Random Jumps from a Boundary | Abundo, Mr | Articolo su rivista | |
| 1-gen-2013 | Specialization with Constrained Generalization for Software Model Checking | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-2010 | Specializations and Generalizations of the Stackelberg Minimum Spanning Tree Game | Bilò, D; Guala', L; Leucci, S; Proietti, G | Intervento a convegno | |
| 1-gen-2012 | SpeeDP: An algorithm to compute SDP bounds for very large Max-Cut instances | Grippo, L; Palagi, L; Piacentini, M; Piccialli, V; Rinaldi, G | Articolo su rivista | |
| 1-gen-2009 | Stable linear wavelets on non uniform knots with vanishing moments | Lyche, T; Pelosi, F; Morken, K | Articolo su rivista | |
| 1-gen-2006 | Sthenic incompatibilities in rigid bodies motion | Fremond, M; Isabella valenzi, P | Articolo su rivista | |
| 1-gen-2012 | Synchronization of permanent magnet electric motors: new nonlinear advanced results | Verrelli, Cm | Articolo su rivista | |
| 1-gen-2012 | Synthesizing concurrent programs using answer set programming | De Angelis, E; Pettorossi, A; Proietti, M | Articolo su rivista | |
| 1-gen-2010 | The hidden matching-structure of the composition of strips: a polyhedral perspective | Faenza, Y; Oriolo, G; Stauffer, G | Altro | |
| 1-gen-1993 | THE TRAVELING SALESMAN PROBLEM WITH CUMULATIVE COSTS | Bianco, L; Mingozzi, A; Ricciardelli, S | Articolo su rivista | |
| 1-gen-2009 | Thermal effects of collisions: does rain turn into ice when it falls on a frozen ground? | Caucci, A; Fremond, M | Articolo su rivista | |
| 1-gen-2012 | Torsion in strain-gradient plasticity: energetic scale effects | Chiricotto, M; Giacomelli, L; Tomassetti, G | Articolo su rivista | |
| 1-gen-2006 | Transformational verification of parameterized protocols using array formulas | Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno | |
| 1-gen-2007 | Transient stabilization and voltage regulation of a synchronous generator | Damm, G; Lamnabhi Lagarrigue, F; Marino, R; Verrelli, Cm | Contributo in libro | |
| 1-gen-2015 | Two agent scheduling with a central selection mechanism | Nicosia, G; Pacifici, A; Pferschy, U | Articolo su rivista | |
| 1-gen-2013 | Verification of imperative programs through transformation of constraint logic programs | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-2013 | Verifying programs via iterated specialization | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-1999 | Vertex Partitioning of Crown-Free Interval Graphs | Confessore, G; Dell'Olmo, P; Giordani, S | Intervento a convegno | |
| 1-gen-1999 | Vertex Partitioning of Crown-Free Interval Graphs | Confessore, G; Dell'Olmo, P; Giordani, S | Articolo su rivista |
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