top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C. P. de Souto, Maricel G. Kann (eds.).
Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C. P. de Souto, Maricel G. Kann (eds.).
Creatore [Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande (Mato Grosso do Sul), Brazil)]
Estensione 1 online resource (xii, 204 p.) : ill
Disciplina 570.285
Accesso persona Souto, Marcilio C. P. de.
Kann, Maricel G.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Database management
Artificial intelligence
Optical pattern recognition
Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
ISBN 9783642319273 (electronic bk.)
3642319270 (electronic bk.)
9783642319266
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transposition Diameter and Lonely Permutations / Luís Felipe I. Cunha, Luis Antonio B. Kowada, Rodrigo de A. Hausen and Celina M. H. de Figueiredo -- Extending the Algebraic Formalism for Genome Rearrangements to Include Linear Chromosomes / Pedro Feijao and Joao Meidanis -- On the Approximation Ratio of Algorithms for Sorting by Transpositions without Using Cycle Graphs / Gustavo Rodrigues Galvão and Zanoni Dias -- A Comparison of Three Heuristic Methods for Solving the Parsing Problem for Tandem Repeats / A. A. Matroud, C. P. Tuffley, D. Bryant and M. D. Hendy -- RNA Folding Algorithms with G-Quadruplexes / Ronny Lorenz, Stephan H. Bernhart, Fabian Externbrink, Jing Qin and Christian Höner zu Siederdissen, et al. -- Molecular Dynamics for Simulating the Protein Folding Process Using the 3D AB Off-Lattice Model / César Manuel Vargas Benítez and Heitor Silvério Lopes -- A Bioconductor Based Workflow for Z-DNA Region Detection and Biological Inference / Halian Vilela, Tainá Raiol, Andrea Queiroz Maranhão, Maria Emília Walter and Marcelo M. Brígido -- A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase / Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and Sérgio V. A. Campos -- RFMirTarget: A Random Forest Classifier for Human miRNA Target Gene Prediction / Mariana R. Mendoza, Guilherme C. da Fonseca, Guilherme L. de Morais, Ronnie Alves and Ana L. C. Bazzan, et al. --
Prediction of Transcription Factor Binding Sites by Integrating DNase Digestion and Histone Modification / Eduardo G. Gusmão, Christoph Dieterich and Ivan G. Costa -- Evaluating Correlation Coefficients for Clustering Gene Expression Profiles of Cancer / Pablo A. Jaskowiak, Ricardo J. G. B. Campello and Ivan G. Costa -- Associating Genotype Sequence Properties to Haplotype Inference Errors / Rogério S. Rosa, Rafael H. S. Santos and Katia S. Guimarães -- Design and Implementation of ProteinWorldDB / Sérgio Lifschitz, Carlos Juliano M. Viana, Cristian Tristão, Marcos Catanho and Wim M. Degrave, et al. -- A Comparative Analysis of Public Ligand Databases Based on Molecular Descriptors / Ana T. Winck, Christian V. Quevedo, Karina S. Machado, Osmar Norberto de Souza and Duncan D. Ruiz -- Phylogenetic Distance Computation Using CUDA / Wellington S. Martins, Thiago F. Rangel, Divino C. S. Lucas, Elias B. Ferreira and Edson N. Caceres -- Exploring Molecular Evolution Reconstruction Using a Parallel Cloud Based Scientific Workflow / Kary A. C. S. Ocaña, Daniel de Oliveira, Felipe Horta, Jonas Dias and Eduardo Ogasawara, et al. -- How Bioinformatics Enables Livestock Applied Sciences in the Genomic Era / José Fernando Garcia, Adriana Santana do Carmo, Yuri Tani Utsunomiya, Haroldo Henrique de Rezende Neves and Roberto Carvalheiro, et al.
Record Nr. UPENN-9960097933503681
[Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande (Mato Grosso do Sul), Brazil)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Creatore [TPNC (Conference) (1st : 2012 : Tarragona, Spain)]
Estensione 1 online resource.
Disciplina 004/.3
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
ISBN 9783642338601 (electronic bk.)
3642338607 (electronic bk.)
9783642338595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial / Christian Blum -- Theory and Applications of DNA Codeword Design / Max H. Garzon -- Scalable Neuroevolution for Reinforcement Learning / Faustino Gomez -- Differential Evolution Algorithm: Recent Advances / Ponnuthurai Nagaratnam Suganthan -- The Fragility of Quantum Information? / Barbara M. Terhal -- Computational Intelligence in Astronomy - A Win-Win Situation / Peter Tiňo and Somak Raychaudhury -- A Multi-objective Approach to Solve the Location Areas Problem / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez and Juan A. Gómez-Pulido -- Nature-Inspired Algorithms Applied to an Efficient and Self-adaptive Resources Selection Model for Grid Applications / María Botón-Fernández, Francisco Prieto Castrillo and Miguel A. Vega-Rodríguez -- Attacks on Fixed Apparatus Quantum Key Distribution Schemes / Michel Boyer, Ran Gelles and Tal Mor -- Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks / Salimur Choudhury, Kai Salomaa and Selim G. Akl --
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words / Michelangelo Cianciulli, Rocco Zaccagnino and Rosalba Zizza -- On the Security of Interferometric Quantum Key Distribution / Ran Gelles and Tal Mor -- Generating DNA Code Words Using Forbidding and Enforcing Systems / Daniela Genova and Kalpana Mahalingam -- Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure / Mauricio Guevara-Souza and Edgar E. Vallejo -- Neural Networks Solving Free Final Time Optimal Control Problem / Tibor Kmet and Maria Kmetova -- Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Tissue P Systems with Cell Separation: Upper Bound by PSPACE / Petr Sosík and Luděk Cienciala -- Maze Exploration with Molecular-Scale Walkers / Darko Stefanovic.
Record Nr. UPENN-9960101163503681
[TPNC (Conference) (1st : 2012 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
Creatore [Huang, De-Shuang]
Accesso persona Heutte, Laurent
Loog, Marco
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Image Processing and Computer Vision
Pattern Recognition
ISBN 9783540741718
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7356030
[Huang, De-Shuang]  
Software
Lo trovi qui: University of Chicago
Instruction sequences for computer science [electronic resource] / Jan A. Bergstra and Cornelis A. Middelburg
Instruction sequences for computer science [electronic resource] / Jan A. Bergstra and Cornelis A. Middelburg
Creatore [Bergstra, J. A.]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Middelburg, Cornelis A.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer network architectures
Logic design
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Computer Systems Organization and Communication Networks
ISBN 9789491216657 (electronic bk.)
9491216651 (electronic bk.)
9789491216640
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8900631
[Bergstra, J. A.]  
Materiale a stampa
Lo trovi qui: University of Chicago
On the mathematics of modelling, metamodelling, ontologies and modelling languages [electronic resource] / Brian Henderson-Sellers
On the mathematics of modelling, metamodelling, ontologies and modelling languages [electronic resource] / Brian Henderson-Sellers
Creatore [Henderson-Sellers, Brian]
Estensione 1 online resource.
Disciplina 003/.3
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Models and Principles
Computation by Abstract Devices
Mathematical Logic and Formal Languages
ISBN 9783642298257 (electronic bk.)
3642298257 (electronic bk.)
9783642298240
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8900645
[Henderson-Sellers, Brian]  
Materiale a stampa
Lo trovi qui: University of Chicago
Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas
Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas
Creatore [Keijzer, M. (Maarten)]
Accesso persona Costa, Ernesto
Lucas, Simon M.
O'Reilly, Una-May
Soule, Terence
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Programming Techniques
ISBN 9783540213468
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354262
[Keijzer, M. (Maarten)]  
Software
Lo trovi qui: University of Chicago
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns
Creatore [Baier, Christel]
Accesso persona Haverkort, Boudewijn R.
Hermanns, Holger
Katoen, Joost-Pieter
Siegle, Markus
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Operating Systems
Processor Architectures
Simulation and Modeling
Software Engineering
ISBN 9783540222651
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354366
[Baier, Christel]  
Software
Lo trovi qui: University of Chicago
Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner
Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner
Creatore [Barzdinʹ, I͡A. M. (I͡An Martynovich)]
Accesso persona Bjørner, D. (Dines), 1937-
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
ISBN 9783540541318
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354924
[Barzdinʹ, I͡A. M. (I͡An Martynovich)]  
Software
Lo trovi qui: University of Chicago
Entscheidbarkeit bei Petri Netzen [electronic resource] : Überblick und Kompendium / by Harro Wimmel
Entscheidbarkeit bei Petri Netzen [electronic resource] : Überblick und Kompendium / by Harro Wimmel
Creatore [Wimmel, Harro]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Mathematics of Computing
Software Engineering
ISBN 9783540854715
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UCHICAGO-7477335
[Wimmel, Harro]  
Software
Lo trovi qui: University of Chicago
Advances in Petri Nets 1991 [electronic resource] / by Grzegorz Rozenberg
Advances in Petri Nets 1991 [electronic resource] / by Grzegorz Rozenberg
Creatore [Rozenberg, Grzegorz]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Communication Networks
Logics and Meanings of Programs
Operating Systems
Processor Architectures
ISBN 9783540543985
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354946
[Rozenberg, Grzegorz]  
Software
Lo trovi qui: University of Chicago