RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Solving a special case of the P conjecture using dependency graphs with dissolution
2018 Leporati, A; Manzoni, L; Mauri, G; Porreca, A; Zandron, C
Optimizing Social Interaction - A Computational Approach to Support Patient Engagement
2018 Mauri, G; Sicurello, F; Castelnuovo, G; Santoro, E; Dondi, R; Zoppis, I
Covering with clubs: Complexity and approximability
2018 Dondi, R; Mauri, G; Sikora, F; Zoppis, I
Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results
2017 Dondi, R; Mauri, G; Zoppis, I
Linking alterations in metabolic fluxes with shifts in metabolite levels by means of kinetic modeling
2017 Damiani, C; Colombo, R; Di Filippo, M; Pescini, D; Mauri, G
Constraining mechanism based simulations to identify ensembles of parametrizations to characterize metabolic features
2017 Colombo, R; Damiani, C; Mauri, G; Pescini, D
COSYS: A computational infrastructure for systems biology
2017 Cumbo, F; Nobile, M; Damiani, C; Colombo, R; Mauri, G; Cazzaniga, P
Diabesity: A study for mHealth integrated solutions
2017 Zoppis, I; Mauri, G; Sicurello, F; Santoro, E; Pietrabissa, G; Castelnuovo, G
Constraint-based modeling and simulation of cell populations
2017 Di Filippo, M; Damiani, C; Colombo, R; Pescini, D; Mauri, G
The longest filled common subsequence problem
2017 Castelli, M; Dondi, R; Mauri, G; Zoppis, I
DIABESITY: Design of mHealth integrated solutions for empowering diabetic and obese citizens in self-monitoring and self-management using mobile devices, apps, social media and web-based technologies
2017 Zoppis, I; Mauri, G; Sicurello, F; Santoro, E; Castelnuovo, G
Multimodal medical image registration using Particle Swarm Optimization: A review
2017 Rundo, L; Tangherloni, A; Militello, C; Gilardi, M; Mauri, G
Mining complex networks: A new challenge for supporting diagnostic decisions
2017 Zoppis, I; Mauri, G; Sicurello, F; Santoro, E; Castelnuovo, G
Telemedicine home program in patients with cystic fibrosis: Results after 10 Years
2017 Murgia, F; Tagliente, I; Mercuri, V; Bella, S; Bella, F; Zoppis, I; Mauri, G; Sicurello, F
Accelerated Analysis of Biological Parameters Space Using GPUs
2017 Nobile, M; Mauri, G
Shallow non-confluent P systems
2017 Leporati, A; Manzoni, L; Mauri, G; Porreca, A; Zandron, C
Opening remarks
2016 Nagaraja, C; Swamy, J; Rajendra, J; Khan, M; Vishwanath, ; Reddy, D; Manjunath, N; Dillmann, R; Tarn, T; Zhao, Q; Ammi, M; Zuberek, W; Sandhu, P; Patthira, ; Newman, K; De Silva Liyanage, C; Hassan, S; Sun, K; Rahman, M; Ordono, E; Sharma, R; Mishra, P; Chandel, B; Singla, E; Petric, T; Zhong, Y; Jiglar, J; Alemzadeh, K; Asokan, T; Tripathi, A; Tripathi, M; Ram, S; Shrma, M; Panday, P; Kumar, D; Hinchey, M; Stilman, B; Suraj, Z; Pal, S; Sasi, S; Rajan, D; Marshall, R; Abraham, A; Peter S, D; Paul, V; Gopakumar, V; Dustdar, S; Soto, S; Rausch, A; Angelis, L; Nelson, A; Botzheim, J; Bernardino, H; Zboril, F; Ane, B; Maeda, T; Sakalauskas, V; Hann, G; Samek, J; Romero Salguero, J; Varghese, K; Kriksciuniene, D; Mathew, J; Reif, W; Mauri, G; Cabrerizo Lorite, F; Ozcan, E; Cho, S; Paily, R; Rezankova, H; Tudjarov, B; Hong, W; De Oliveira, J; Flores Romero, J; Oskouei, R; Cicchetti, A; Roy, C; Segura, S; Samuel, C; Mallet, F; Mernik, M; Punnekkat, S; Waseemulla, A
Parallel implementation of efficient search schemes for the inference of cancer progression models
2016 Ramazzotti, D; Nobile, M; Cazzaniga, P; Mauri, G; Antoniotti, M
Trend of FEV1 in Cystic Fibrosis patients: A telehomecare experience
2016 Murgia, F; Tagliente, I; Zoppis, I; Mauri, G; Sicurello, F; Bella, F; Mercuri, V; Santoro, E; Castelnuovo, G; Bella, S
Neuro-radiosurgery treatments: MRI brain tumor seeded image segmentation based on a cellular automata model
2016 Rundo, L; Militello, C; Russo, G; Pisciotta, P; Valastro, L; Sabini, M; Vitabile, S; Gilardi, M; Mauri, G
Complexity classes for membrane systems: A survey
2015 Mauri, G; Leporati, A; Manzoni, L; Porreca, A; Zandron, C
Deterministic simulations of large-scale models of cellular processes accelerated on Graphics Processing Units
2015 Tangherloni, A; Cazzaniga, P; Nobile, M; Besozzi, D; Mauri, G
Robust conclusions in mass spectrometry analysis
2015 Zoppis, I; Dondi, R; Borsani, M; Gianazza, E; Chinello, C; Magni, F; Mauri, G
Tissue P systems can be simulated efficiently with counting oracles
2015 Leporati, A; Manzoni, L; Mauri, G; Porreca, A; Zandron, C
Proactive Particles in Swarm Optimization: A self-tuning algorithm based on Fuzzy Logic
2015 Nobile, M; Pasi, G; Cazzaniga, P; Besozzi, D; Colombo, R; Mauri, 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
Opzioni
Scopri
Keyword
- P systems 14
- cellular automata 11
- membrane systems 8
- stochastic simulation 7
- Computer Science (all) 6
- Theoretical Computer Science 6
- WhoTeach 6
- formal languages 5
- genetic programming 5
- Membrane Computing 5
Rivista
- ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 3
- PROCEDIA COMPUTER SCIENCE 2
- 3642159788; 978-364215978-7 1
Editore
- Springer 54
- Springer Verlag 33
- Springer-Verlag 20
- ACM Press 10
- Institute of Electrical and Electronics Engineers Inc. 10
- World Scientific 8
- IEEE 7
- IEEE Press 5
- IEEE Computer Society 4
- SciTePress 4
Lingua
- eng 229
Settore disciplinare
- INF/01 - INFORMATICA 178
- ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI 18
- BIO/10 - BIOCHIMICA 2
Tipologia
- 02 - Intervento a convegno 229
Accesso al fulltext
- no fulltext 212
- reserved 10
- open 6
- partially open 1