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.
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).
Creatore [International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]
Estensione 1 online resource (179 pages) : illustrations (black and white).
Disciplina 004.01/51
Accesso persona Bernardo, Marco, editor
Vink, Erik de, editor
Di Pierro, Alessandra, editor
Wiklicky, Herbert, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Logic design
Bioinformatics
Logics and Meanings of Programs
Computational Biology/Bioinformatics
Computation by Abstract Devices
ISBN 9783642388743
3642388744
9783642388736
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automation of Quantitative Information-Flow Analysis / Boris Köpf, Andrey Rybalchenko -- ODE Analysis of Biological Systems / Diana-Elena Gratie, Bogdan Iancu, Ion Petre -- Model Checking of Biological Systems / Luboš Brim, Milan Češka, David Šafránek -- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation / Luca Bortolussi, Jane Hillston -- Topological Quantum Computation / Jiannis K. Pachos.
Record Nr. NYU-004639080
[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers / Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov (eds.).
Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers / Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov (eds.).
Creatore [ANB 2010 (2010 : Hagenberg im Mühlkreis, Austria)]
Estensione 1 online resource (viii, 183 pages).
Disciplina 570.15/1
Accesso persona Horimoto, Katsuhisa
Nakatsui, Masahiko
Popov, Nikolaj
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Logic design
Bioinformatics
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Computational Biology/Bioinformatics
Programming Languages, Compilers, Interpreters
ISBN 9783642280672
3642280676
3642280668
9783642280665
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004621480
[ANB 2010 (2010 : Hagenberg im Mühlkreis, Austria)]  
Materiale a stampa
Lo trovi qui: New York University
Partially supervised learning : first IAPR TC3 workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers / Friedhelm Schwenker, Edmondo Trentin (eds.).
Partially supervised learning : first IAPR TC3 workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers / Friedhelm Schwenker, Edmondo Trentin (eds.).
Creatore [PSL 2011 (2011 : Ulm, Germany)]
Estensione 1 online resource (x, 158 pages) : illustrations.
Disciplina 006.3/1
Accesso persona Schwenker, Friedhelm
Trentin, Edmondo
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer vision
Optical pattern recognition
Bioinformatics
Artificial Intelligence (incl. Robotics)
Pattern Recognition
Image Processing and Computer Vision
Information Systems Applications (incl. Internet)
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
ISBN 9783642282584
364228258X
9783642282577
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Unlabeled Data and Multiple Views -- Online Semi-supervised Ensemble Updates for fMRI Data -- Studying Self- and Active-Training Methods for Multi-feature Set Emotion Recognition -- Semi-supervised Linear Discriminant Analysis Using Moment Constraints -- Manifold-Regularized Minimax Probability Machine -- Supervised and Unsupervised Co-training of Adaptive Activation Functions in Neural Nets -- Semi-unsupervised Weighted Maximum-Likelihood Estimation of Joint Densities for the Co-training of Adaptive Activation Functions -- Semi-Supervised Kernel Clustering with Sample-to-Cluster Weights -- Homeokinetic Reinforcement Learning -- Iterative Refinement of HMM and HCRF for Sequence Classification -- On the Utility of Partially Labeled Data for Classification of Microarray Data -- Multi-instance Methods for Partially Supervised Image Segmentation -- Semi-supervised Training Set Adaption to Unknown Countries for Traffic Sign Classifiers -- Comparison of Combined Probabilistic Connectionist Models in a Forensic Application -- Classification of Emotional States in a Woz Scenario Exploiting Labeled and Unlabeled Bio-physiological Data -- Using Self Organizing Maps to Find Good Comparison Universities -- Sink Web Pages in Web Application.
Record Nr. NYU-004621659
[PSL 2011 (2011 : Ulm, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Nature-Inspired Fluid Mechanics : Results of the DFG Priority Programme 1207 "Nature-inspired Fluid Mechanics" 2006-2012 / edited by Cameron Tropea, Horst Bleckmann
Nature-Inspired Fluid Mechanics : Results of the DFG Priority Programme 1207 "Nature-inspired Fluid Mechanics" 2006-2012 / edited by Cameron Tropea, Horst Bleckmann
Creatore [Tropea, Cameron]
Edizione [2012.]
Estensione 1 online resource.
Disciplina 532
Accesso persona Bleckmann, Horst
Genere/Forma Electronic books
Soggetto non controllato Engineering Fluid Dynamics
Computational Biology/Bioinformatics
Appl. Mathematics/Computational Methods of Engineering
Bioinformatics
Engineering
ISBN 9783642283024
3642283020
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004621804
[Tropea, Cameron]  
Materiale a stampa
Lo trovi qui: New York University
Advances in bioinformatics and computational biology : 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 : 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 pages) : illustrations.
Disciplina 570.285
Accesso persona Souto, Marcilio C. P. de.
Kann, Maricel G.
Genere/Forma Electronic books
Conference papers and proceedings
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
3642319270
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. NYU-004624749
[Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande, Mato Grosso do Sul, Brazil)]  
Materiale a stampa
Lo trovi qui: New York University
Natural and artificial models in computation and biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente...[et al.] (eds.).
Natural and artificial models in computation and biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente...[et al.] (eds.).
Creatore [International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]
Estensione 1 online resource (xxv, 436 p.)
Disciplina 006.3
Accesso persona Ferrández Vicente, José Manuel
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
Pattern Recognition
Information Systems Applications (incl. Internet)
ISBN 9783642386374 (electronic bk.)
3642386377 (electronic bk.)
9783642386367
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107343503681
[International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Statistical atlases and computational models of the heart. Imaging and modelling challenges [electronic resource] : second international workshop, STACOM 2011, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised selected papers / Oscar Camara...[et al.] (eds.).
Statistical atlases and computational models of the heart. Imaging and modelling challenges [electronic resource] : second international workshop, STACOM 2011, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised selected papers / Oscar Camara...[et al.] (eds.).
Creatore [STACOM 2011 (2011 : Toronto, Ont.)]
Estensione 1 online resource (xiv, 286 p.) : ill. (some col.
Disciplina 616.1/20757
Accesso persona Camara, Oscar (Oscar Camara Rey)
Accesso convegno International Conference on Medical Image Computing and Computer-Assisted Intervention (2011 : Toronto, Ont.)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Multimedia systems
Computer vision
Bioinformatics
Computing Methodologies
Image Processing and Computer Vision
Computational Biology/Bioinformatics
ISBN 9783642283260 (electronic bk.)
3642283268 (electronic bk.)
9783642283253
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092653503681
[STACOM 2011 (2011 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Modelling of GPCRs [electronic resource] : a practical handbook / Andrea Strasser, Hans-Joachim Wittmann
Modelling of GPCRs [electronic resource] : a practical handbook / Andrea Strasser, Hans-Joachim Wittmann
Creatore [Strasser, Andrea]
Estensione 1 online resource.
Disciplina 547/.4
Accesso persona Wittmann, Hans-Joachim
Genere/Forma Electronic books
Soggetto non controllato Medicine
Biochemistry
Computer simulation
Bioinformatics
Biomedicine
Computational Biology/Bioinformatics
Computer Appl. in Life Sciences
Simulation and Modeling
Medicinal Chemistry
ISBN 9789400745964 (electronic bk.)
9400745966 (electronic bk.)
9789400745957
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- G Protein Coupled Receptors -- Sequence Alignment and Homology Modelling -- Construction of Ligands -- Lipids -- Minimization and Molecular Dynamics -- Calculation of Gibbs Energy of Solvation -- Special Topics in GPCR Research -- Force Fields -- Thermodynamics of Ligand-Receptor Interaction -- Important UNIX/LINUX Commands.
Record Nr. UPENN-9960719713503681
[Strasser, Andrea]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
6th International conference on practical applications of computational biology & bioinformatics / edited by Miguel P. Rocha [and others]
6th International conference on practical applications of computational biology & bioinformatics / edited by Miguel P. Rocha [and others]
Estensione 1 online resource (xiv, 286 pages) : illustrations.
Disciplina 570.285
Accesso persona Rocha, Miguel P., editor.
Accesso convegno International Conference on Practical Applications of Computational Biology & Bioinformatics (6th : 2012 : Salamanca, Spain)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Artificial intelligence
Bioinformatics
Computational Intelligence
Computational Biology/Bioinformatics
ISBN 9783642288395
3642288391
9783642288388
3642288383
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Parallel Spectral Clustering for the Segmentation of cDNA Microarray Images / Sandrine Mouysset, Ronan Guivarch, Joseph Noailles and Daniel Ruiz -- Prognostic Prediction Using Clinical Expression Time Series: Towards a Supervised Learning Approach Based on Meta-biclusters / André V. Carreiro, Artur J. Ferreira, Mário A.T. Figueiredo and Sara C. Madeira -- Parallel e-CCC-Biclustering: Mining Approximate Temporal Patterns in Gene Expression Time Series Using Parallel Biclustering / Filipe Cristóvão and Sara C. Madeira -- Identification of Regulatory Binding Sites on mRNA Using in Vivo Derived Informations and SVMs / Carmen Maria Livi, Luc Paillard, Enrico Blanzieri and Yann Audic -- Parameter Influence in Genetic Algorithm Optimization of Support Vector Machines / Paulo Gaspar, Jaime Carbonell and José Luís Oliveira -- Biological Knowledge Integration in DNA Microarray Gene Expression Classification Based on Rough Set Theory / D. Calvo-Dmgz, J.F. Galvez, Daniel Glez-Peña and Florentino Fdez-Riverola -- Quantitative Assessment of Estimation Approaches for Mining over Incomplete Data in Complex Biomedical Spaces: A Case Study on Cerebral Aneurysms / Jesus Bisbal, Gerhard Engelbrecht and Alejandro F. Frangi -- ASAP: An Automated System for Scientific Literature Search in PubMed Using Web Agents / Carlos Carvalhal, Sérgio Deusdado and Leonel Deusdado -- Case-Based Reasoning to Classify Endodontic Retreatments / Livia Campo, Vicente Vera, Enrique Garcia, Juan F. De Paz and Juan M. Corchado -- A Comparative Analysis of Balancing Techniques and Attribute Reduction Algorithms / R. Romero, E.L. Iglesias and L. Borrajo -- Sliced Model Checking for Phylogenetic Analysis / José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado and José Manuel Colom -- PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information / Jorge Álvarez-Jarreta, Elvira Mayordomo and Eduardo Ruiz-Pesini -- A Systematic Approach to the Interrogation and Sharing of Standardised Biofilm Signatures / Anália Lourenço, Andreia Ferreira, Maria Olivia Pereira and Nuno F. Azevedo -- Visual Analysis Tool in Comparative Genomics / Juan F. De Paz, Carolina Zato, María Abáigar, Ana Rodríguez-Vicente and Rocío Benito, et al. -- From Networks to Trees / Marco Alves, Joãd Alves, Rui Camacho, Pedro Soares and Luísa Pereira -- Procedure for Detection of Membranes in Three-Dimensional Subcellular Density Maps / A. Martinez-Sanchez, I. Garcia and J.J. Fernandez -- A Cellular Automaton Model for Tumor Growth Simulation / Ángel Monteagudo and José Santos -- Ectopic Foci Study on the Crest Terminalis in 3D Computer Model of Human Atrial / Carlos A. Ruiz-Villa, Andrés P. Castaño, Andrés Castillo and Elvio Heidenreich -- SAD_BaSe: A Blood Bank Data Analysis Software / Augusto Ramoa, Salomé Maia and Anália Lourenço -- A Rare Disease Patient Manager / Pedro Lopes, Rafael Mendonça, Hugo Rocha, Jorge Oliveira and Laura Vilarinho, et al. -- MorphoCol: A Powerful Tool for the Clinical Profiling of Pathogenic Bacteria / Ana Margarida Sous, Anália Lourenço and Maria Olívia Pereira -- Applying AIBench Framework to Develop Rich User Interfaces in NGS Studies / Hugo López-Fernández, Daniel Glez-Peña, Miguel Reboiro-Jato, Gonzalo Gómez-López and David G. Pisano, et al. -- Comparing Bowtie and BWA to Align Short Reads from a RNA-Seq Experiment / N. Medina-Medina, A. Broka, S. Lacey, H. Lin and E.S. Klings, et al. -- SAMasGC: Sequencing Analysis with a Multiagent System and Grid Computing / Roberto González, Carolina Zato, Rocío Benito, María Hernández and Jesús M. Hernández, et al. -- Exon: A Web-Based Software Toolkit for DNA Sequence Analysis / Diogo Pratas, Armando J. Pinho and Sara P. Garcia -- On the Development of a Pipeline for the Automatic Detection of Positively Selected Sites / David Reboiro-Jato, Miguel Reboiro-Jato, Florentino Fdez-Riverola, Nuno A. Fonseca and Jorge Vieira -- Compact Representation of Biological Sequences Using Set Decision Diagrams / José Ignacio Requeno and José Manuel Colom -- Computational Tools for Strain Optimization by Adding Reactions / Sara Correia and Miguel Rocha -- Computational Tools for Strain Optimization by Tuning the Optimal Level of Gene Expression / Emanuel Gonçalves, Isabel Rocha and Miguel Rocha -- Efficient Verification for Logical Models of Regulatory Networks / Pedro T. Monteiro and Claudine Chaouiya -- Tackling Misleading Peptide Regulation Fold Changes in Quantitative Proteomics / Christoph Gernert, Evelin Berger, Frank Klawonn and Lothar Jänsch -- Coffee Transcriptome Visualization Based on Functional Relationships among Gene Annotations / Luis F. Castillo, Oscar Gómez-Ramírez, Narmer Galeano-Vanegas, Luis Bertel-Paternina and Gustavo Isaza, et al.
Record Nr. NYU-004621985
Materiale a stampa
Lo trovi qui: New York University
Bio-inspired models of network, information, and computing systems : 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised selected papers / Junichi Suzuki, Tadashi Nakano (eds.).
Bio-inspired models of network, information, and computing systems : 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised selected papers / Junichi Suzuki, Tadashi Nakano (eds.).
Creatore [BIONETICS 2010 (2010 : Boston, Mass.)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Suzuki, J. (Junʼichi)
Nakano, Tadashi
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data mining
Artificial intelligence
Bioinformatics
Information Systems Applications (incl. Internet)
Computational Biology/Bioinformatics
ISBN 9783642326158
3642326153
9783642326141
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Conference Papers -- Self Tolerance by Tuning T-Cell Activation: An Artificial Immune System for Anomaly Detection / Mário J. Antunes and Manuel E. Correia -- Information Rates of Active Propagation in Microchannel Molecular Communication / Nariman Farsad, Andrew W. Eckford, Satoshi Hiyama and Yuki Moritani -- Organic Resilience for Tactical Environments / Marco Carvalho, Tom Lamkin and Carlos Perez -- Interfacing Living Cells via Molecular Communication / Tadashi Nakano, Shouhei Kobayashi and Tokuko Haraguchi -- Evolutionary and Noise-Aware Data Gathering for Wireless Sensor Networks / Bingchun Zhu, Junichi Suzuki and Pruet Boonma -- A Checkpoint-Orientated Modelling for Cell Cycle Simulation / Jonathan Pascalie, Hervé Luga, Valérie Lobjois, Bernard Ducommun and Yves Duthen -- SOS Cloud: Self-organizing Services in the Cloud / Bogdan Alexandru Caprarescu, Nicolò Maria Calcavecchia, Elisabetta Di Nitto and Daniel J. Dubois -- Biomimicking the Formation of Nacre/Shell: One Step Forward / Feisal Khoushab, Montarop Yamabhai and Kenneth J. Haller -- Algorithmically Transitive Network: A Self-organizing Data-Flow Network with Learning / Hideaki Suzuki, Hiroyuki Ohsaki and Hidefumi Sawai -- Modelling to Contain Pandemic Influenza A (H1N1) with Stochastic Membrane Systems: A Work-in-Progress Paper / Lei Xu -- P2P-Based Scalable Execution Platform for Algorithmically Transitive Network / Mikio Yoshida, Hideaki Suzuki and Hidefumi Sawai -- Diagnosability of Nested Intruders / Damas P. Gruska -- Dynamics and Convergence of Resource Prices in Market-Oriented Overlay Networks / Yutaka Okaie and Tadashi Nakano -- Internet as a Dataflow Computer / Hiroyuki Ohsaki, Hideaki Suzuki and Hidefumi Sawai -- Biologically Inspired Modeling of Smart Grid for Dynamic Power-Flow Control / Hidefumi Sawai, Hideaki Suzuki and Hiroyuki Ohsaki -- Path Heuristics Using ACO for Inter-domain Routing in Mobile Ad Hoc and Sensor Networks / Falko Dressler, Roman Koch and Mario Gerla -- Coevolution of Game Strategies, Game Structures and Network Structures / Reiji Suzuki and Takaya Arita.
Reconstructing History of Social Network Evolution Using Web Search Engines / Jin Akaishi, Hiroki Sayama, Shelley D. Dionne, Xiujian Chen and Alka Gupta, et al. -- Learning and Generalization in Random Automata Networks / Alireza Goudarzi, Christof Teuscher and Natali Gulbahce -- Collective Evolutionary Dynamics and Spatial Reciprocity under the N-Person Snowdrift Game / Marta D. Santos, Francisco C. Santos and Jorge M. Pacheco -- An Evolutionary Game Theoretic Framework for Adaptive, Cooperative and Stable Network Applications / Chonho Lee, Junichi Suzuki and Athanasios V. Vasilakos -- Evolving the Asymmetry of the Prisoner's Dilemma Game in Adaptive Social Structures / João Moreira, Jorge M. Pacheco and Francisco C. Santos -- Feature and Kernel Evolution for Recognition of Hypersensitive Sites in DNA Sequences / Uday Kamath, Amarda Shehu and Kenneth A. De Jong -- A Phenomic Algorithm for Inference of Gene Networks Using S-Systems and Memetic Search / Rio G.L. D'Souza, K. Chandra Sekaran and A. Kandasamy -- Fluctuation-Driven Adaptation and Symbiosis in Cellular Dynamics / Chikara Furusawa, Kota Ijichi and Hiroshi Shimizu -- Enhancing Sampling of the Conformational Space Near the Protein Native State / Brian Olson, Kevin Molloy and Amarda Shehu -- Self-organized Data Aggregation among Selfish Nodes in an Isolated Cluster / K. Habibul Kabir, Masahiro Sasabe and Tetsuya Takine -- An Inter-networking Mechanism Using Stepwise Synchronization for Wireless Sensor Networks / Hiroshi Yamamoto, Naoki Wakamiya and Masayuki Murata -- An Empirical Study of Predictive Modeling Techniques of Software Quality / Taghi M. Khoshgoftaar, Kehan Gao and Amri Napolitano -- Sensor Based Time Series Classification of Body Movement / Swapna Philip, Yu Cao and Ming Li -- Software Service Selection by Multi-level Matching and Reinforcement Learning / Rajeev R. Raje, Snehasis Mukhopadhyay, Sucheta Phatak, Rashmi Shastri and Lahiru S. Gallege -- Interoperating DNA Gene Sequences and Nutrition Provisions for Personalized Wellness / Jong P. Yoon and Joyce Yoon -- Proposing a Novel Artificial Neural Network Prediction Model to Improve the Precision of Software Effort Estimation / Iman Attarzadeh and Siew Hock Ow.
Tracing Conformational Changes in Proteins Represented at a Coarse Level / Nurit Haspel -- An Event Graph Model for Discovering Trends from Text Streams / Chengli Zhao, Xue Zhang and Dongyun Yi -- Protein Structure Alignment in Subquadratic Time / Aleksandar Poleksic -- Bio-inspired Self-organized Public Key Authentication Mechanism for Mobile Ad-hoc Networks / Parisa Memarmoshrefi, Roman Seibel and Dieter Hogrefe -- A Method for the Detection of Meaningful and Reproducible Group Signatures from Gene Expression Profiles / Louis Licamele and Lise Getoor -- Load Balancing Using Hybrid ACO -- Random Walk Approach / Neha Bhatia, Rohan Kundra, Anurag Chaurasia and Satish Chandra -- An Ant-Colony Algorithm to Transform Jobshops into Flowshops: A Case of Shortest-Common-Supersequence Stringology Problem / Suchithra Rajendran, Chandrasekharan Rajendran and Hans Ziegler -- On the Ambiguity and Complexity Measures of Insertion-Deletion Systems / Kamala Krithivasan, Lakshmanan Kuppusamy, Anand Mahendran and Khalid M. -- A Multiobjective Phenomic Algorithm for Inference of Gene Networks / Rio G.L. D'Souza, K. Chandra Sekaran and A. Kandasamy -- Breaking the Box: Simulated Protein Computing / Christopher N. Eichelberger and Mirsad Hadzikadic -- Contribution of Spatio-temporal Intensity Variation to Bottom-Up Saliency / Eleonora Vig, Michael Dorr and Erhardt Barth -- State Clustering and Declustering of 3-Regular Graphs with Structural Rewriting / Kohji Tomita and Haruhisa Kurokawa -- Evaluating Motion Estimation Models from Behavioural and Psychophysical Data / Émilien Tlapale, Pierre Kornprobst, Jan D. Bouecke, Heiko Neumann and Guillaume S. Masson -- An Algorithm for Automatically Discovering Dynamical Rules of Adaptive Network Evolution from Empirical Data / Hiroki Sayama -- An Evaluation of the Invariance Properties of a Biologically-Inspired System for Unconstrained Face Recognition / Nicolas Pinto and David Cox -- Epidemic Spread in Adaptive Social Networks with Community Structure / Leah B. Shaw and Ilker Tunc.
A Dynamical Mechanism for the Evolution and Breakdown of Cooperation in the Snowdrift Game in Adaptive Networks / Gerd Zschaler, Arne Traulsen and Thilo Gross -- Evolutionary Dynamics of Cooperation under the Distributed Prisoner's Dilemma / Flávio L. Pinheiro, Francisco C. Santos and Jorge M. Pacheco -- A Pheromone Based Mobile Agent Migration Strategy for Servicing Networked Robots / W. Wilfred Godfrey and Shivashankar B. Nair -- Knowledge Sharing in Social Network Using Game Theory / Ping Zhu, Guiyi Wei, Athanasios V. Vasilakos and Hung-Yu Wei -- Control of Snake Type Biomimetic Structure / Mircea Ivanescu, Nicu Bizdoaca, Hani Hamdan, Mario Eltabach and Mihaela Florescu -- A Filter for the Cooperative Kinase Network of Budding Yeast Saccharomyces cerevisiae / Jian-Qin Liu and Tadashi Nakano -- Application of Genetic Algorithm to Maximise Clean Energy Usage for Data Centres / Raymond Carroll, Sasitharan Balasubramaniam, Dmitri Botvich and William Donnelly -- Safer Driving with Gaze Guidance / Laura Pomarjanschi, Michael Dorr, Christoph Rasche and Erhardt Barth -- Infrastructure Optimization of Flight-Formation Inspired Self-organization for Address Configuration in Sensor Networks / Rui Teng, Bing Zhang and Jian-Qin Liu -- Colour Saliency on Video / Michael Dorr, Eleonora Vig and Erhardt Barth -- Bio-inspired Transputer Based-Fuzzy Mobile Robot / Ebrahim Mattar, Khalid Al-Mutib, Hani Hamdan and Mohamad Hamdan -- Bio-inspired Visual Information Processing -- The Neuromorphic Approach / Woo Joon Han and Il Song Han -- Firing Pattern of Default Mode Brain Network with Spiking Neuron Model / Teruya Yamanishi, Jian-Qin Liu and Haruhiko Nishimura -- Program Equivalence Using Neural Networks / Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F.R.C. Carmo and Raphael C.S. Machado -- Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets / Venkata Padmavati Metta, Kamala Krithivasan and Deepak Garg -- Learning in a Distributed Software Architecture for Large-Scale Neural Modeling / Jasmin Léveillé, Heather Ames, Benjamin Chandler, Anatoli Gorchetchnikov and Ennio Mingolla, et al.
Part 2. Demo/Poster Papers -- Bio-inspired Robotics Hands: A Work in Progress / Ebrahim Mattar and Khaled Al Mutib -- Bio-inspired Routing and Wavelength Assignment Algorithm for Optical Mesh Networks / Daniel Padilla, Edward Guillen and Carlos Ramos -- Artificial Immune Systems -- AIS as Security Network Solution / Edward Guillen and Rafael Paez -- WebSeA: A Secure Framework for Multi-site Knowledge Representation in Software Engineering / Muhammad Ilyas, Ahmad Ali and Josef Kueng -- SRA: A Salmon-Like Approach to MANET Routing / Filomena de Santis and Daniele Mastrangelo.
Record Nr. NYU-004623835
[BIONETICS 2010 (2010 : Boston, Mass.)]  
Materiale a stampa
Lo trovi qui: New York University