Sfoglia per Titolo
A symbiosis between cellular automata and genetic algorithms
2020-01-01 Cerruti, Umberto; Dutto, Simone; Murru, Nadir
Symbiotic relationships among formal and informal institutions: Comparing five Brazilian cultural ecosystems
2023-01-01 Amendolagine, V.; von Jacobi, N.
The Symbiotic Role Played by Technology and Law in the Agri-food Filed: An Introduction
2019-01-01 Izzo, Umberto
Symboleo2SC: From Legal Contract Specifications to Smart Contracts
2022-01-01 Rasti, A.; Amyot, D.; Parvizimosaed, A.; Roveri, M.; Logrippo, L.; Anda, A. A.; Mylopoulos, J.
Symbolic action priming relies on intact neural transmission along the retino-geniculo-striate pathway
2009-01-01 A. T., Sack; S., Van der Mark; T., Schumann; Schwarzbach, Jens Volkmar; R., Goebel
Symbolic and deictic gestures as a tool to promote parent-child communication in the context of hearing loss: A systematic review
2023-01-01 Colombani, Arianna; Saksida, Amanda; Pavani, Francesco; Orzan, Eva
Symbolic backward reachability with effectively propositional logic: Applications to security policy analysis
2013-01-01 Ranise, S.
Symbolic categorization of novel multisensory stimuli in the human brain
2021-01-01 Vigano, S.; Borghesani, V.; Piazza, M.
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Symbolic computation and satisfiability checking
2020-01-01 Davenport, J. H.; England, M.; Griggio, A.; Sturm, T.; Tinelli, C.
Symbolic Computation of Schedulability Regions
2008-01-01 A., Cimatti; Palopoli, Luigi; Y., Ramadian
Symbolic derivation of open-loop dynamic models of multibody mechatronic systems for control purpose. A case study: The LISA Technology Package.
2003-01-01 Da Lio, Mauro; Bortoluzzi, Daniele
Symbolic Encoding of Reliability for the Design of Redundant Architectures
2022-01-01 Tierno, Antonio; Turri, Giuliano; Cimatti, Alessandro; Passerone, Roberto
Symbolic execution with existential second-order constraints
2018-01-01 Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik
Symbolic Implementation of Alternating Automata
2007-01-01 Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
Symbolic Implementation of Alternating Automata
2006-01-01 Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
Symbolic Lookaheads for Bottom-up Parsing
2016-01-01 Quaglia, Paola
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking
2005-01-01 Sebastiani, Roberto; Tonetta, Stefano; M. Y., Vardi
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
2011-01-01 Sebastiani, Roberto; Tonetta, Stefano; M. Y., Vardi
Symbolic Task Compression in Structured Task Learning
2019-01-01 Saveriano, M.; Seegerer, M.; Caccavale, R.; Finzi, A.; Lee, D.
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