Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Methods in Macro-Biology [[electronic resource] ] : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / / edited by François Fages, Carla Piazza
| Formal Methods in Macro-Biology [[electronic resource] ] : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / / edited by François Fages, Carla Piazza |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXVI, 183 p. 46 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer logic Health informatics Mathematical logic Computational Biology/Bioinformatics Logics and Meanings of Programs Health Informatics Mathematical Logic and Formal Languages |
| ISBN | 3-319-10398-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202531103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / / edited by François Fages, Carla Piazza
| Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / / edited by François Fages, Carla Piazza |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXVI, 183 p. 46 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer logic Medical informatics Logic, Symbolic and mathematical Computational Biology/Bioinformatics Logics and Meanings of Programs Health Informatics Mathematical Logic and Formal Languages |
| ISBN | 3-319-10398-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483492303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
| Proceedings of the 9th International Conference on Computational Methods in Systems Biology |
| Autore | Fages François |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (224 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Biology
Health & Biological Sciences Biology - General |
| ISBN | 1-4503-0817-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CMSB'11 9th International Conference on Computational Methods in Systems Biology, Paris, France - September 21 - 23, 2011 |
| Record Nr. | UNINA-9910376529603321 |
Fages François
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / / edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
| Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / / edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 217 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Numerical analysis Artificial Intelligence Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Numeric Computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems. |
| Record Nr. | UNISA-996465965403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||