Comparative Genomics : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings / / edited by Francesca D. Ciccarelli, István Miklós |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VIII, 241 p.) |
Disciplina | 570 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Life sciences
Bioinformatics Bioinformatics Computational biology Computer science—Mathematics Life Sciences, general Computational Biology/Bioinformatics Computer Appl. in Life Sciences Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
Soggetto genere / forma |
Budapest (2009)
Kongress. |
ISBN | 3-642-04744-0 |
Classificazione |
BIO 110f
BIO 180f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Yeast Ancestral Genome Reconstructions: The Possibilities of Computational Methods -- Natural Parameter Values for Generalized Gene Adjacency -- Parking Functions, Labeled Trees and DCJ Sorting Scenarios -- Counting All DCJ Sorting Scenarios -- Minimal Conflicting Sets for the Consecutive Ones Property in Ancestral Genome Reconstruction -- Finding Nested Common Intervals Efficiently -- DCJ Median Problems on Linear Multichromosomal Genomes: Graph Representation and Fast Exact Solutions -- Rearrangement Models and Single-Cut Operations -- Aligning Two Genomic Sequences That Contain Duplications -- Inferring the Recent Duplication History of a Gene Cluster -- Pseudo Boolean Programming for Partially Ordered Genomes -- Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization -- Reconstructing Histories of Complex Gene Clusters on a Phylogeny -- Co-evolutionary Models for Reconstructing Ancestral Genomic Sequences: Computational Issues and Biological Examples -- Whole-Genome Analysis of Gene Conversion Events -- A Statistically Fair Comparison of Ancestral Genome Reconstructions, Based on Breakpoint and Rearrangement Distances -- Comparative Genomics and Extensive Recombinations in Phage Communities -- Properties of Sequence Conservation in Upstream Regulatory and Protein Coding Sequences among Paralogs in Arabidopsis thaliana -- Transcription Factor Binding Probabilities in Orthologous Promoters: An Alignment-Free Approach to the Inference of Functional Regulatory Targets. |
Record Nr. | UNINA-9910484447203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 275 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer software—Reusability Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Performance and Reliability Logics and Meanings of Programs |
Soggetto genere / forma | Kongress. |
ISBN | 3-642-02414-9 |
Classificazione |
DAT 315f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
Record Nr. | UNISA-996465527303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Component-Based Software Engineering : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 275 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer software—Reusability Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Performance and Reliability Logics and Meanings of Programs |
Soggetto genere / forma | Kongress. |
ISBN | 3-642-02414-9 |
Classificazione |
DAT 315f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
Record Nr. | UNINA-9910483486303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
Soggetto genere / forma | Kongress. |
ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
Record Nr. | UNISA-996465689803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
Soggetto genere / forma | Kongress. |
ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
Record Nr. | UNINA-9910484841103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 173 p.) |
Disciplina | 004n/a |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
Soggetto genere / forma |
Dresden (2008)
Kongress. |
ISBN | 3-642-02734-2 |
Classificazione |
DAT 540f
DAT 709f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
Record Nr. | UNISA-996465732403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 173 p.) |
Disciplina | 004n/a |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
Soggetto genere / forma |
Dresden (2008)
Kongress. |
ISBN | 3-642-02734-2 |
Classificazione |
DAT 540f
DAT 709f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
Record Nr. | UNINA-9910483811903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Methods in Systems Biology [[electronic resource] ] : 7th International Conference, CMSB 2009 / / edited by Pierpaolo Degano, Roberto Gorrieri |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 329 p.) |
Disciplina | 570 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Life sciences
Computers Bioinformatics Computer simulation Numerical analysis Life Sciences, general Theory of Computation Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Numeric Computing |
Soggetto genere / forma |
Bologna (2009)
Kongress. |
ISBN | 3-642-03845-X |
Classificazione |
BIO 110f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks -- The Equivalence between Biology and Computation -- BlenX4Bio – BlenX for Biologists -- Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network -- Quantitative Pathway Logic for Computational Biology -- A Prize-Collecting Steiner Tree Approach for Transduction Network Inference -- Formal Analysis of the Genetic Toggle -- Control Strategies for the Regulation of the Eukaryotic Heat Shock Response -- Computing Reachable States for Nonlinear Biological Models -- On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle -- The ?-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages -- Approximation of Event Probabilities in Noisy Cellular Processes -- Equivalence and Discretisation in Bio-PEPA -- Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems -- A Bayesian Approach to Model Checking Biological Systems -- Dynamic Compartments in the Imperative ?-Calculus -- Probabilistic Approximations of Signaling Pathway Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties -- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process -- CSL Model Checking of Biochemical Networks with Interval Decision Diagrams -- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. |
Record Nr. | UNISA-996465732503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Methods in Systems Biology : 7th International Conference, CMSB 2009 / / edited by Pierpaolo Degano, Roberto Gorrieri |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 329 p.) |
Disciplina | 570 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Life sciences
Computers Bioinformatics Computer simulation Numerical analysis Life Sciences, general Theory of Computation Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Numeric Computing |
Soggetto genere / forma |
Bologna (2009)
Kongress. |
ISBN | 3-642-03845-X |
Classificazione |
BIO 110f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks -- The Equivalence between Biology and Computation -- BlenX4Bio – BlenX for Biologists -- Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network -- Quantitative Pathway Logic for Computational Biology -- A Prize-Collecting Steiner Tree Approach for Transduction Network Inference -- Formal Analysis of the Genetic Toggle -- Control Strategies for the Regulation of the Eukaryotic Heat Shock Response -- Computing Reachable States for Nonlinear Biological Models -- On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle -- The ?-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages -- Approximation of Event Probabilities in Noisy Cellular Processes -- Equivalence and Discretisation in Bio-PEPA -- Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems -- A Bayesian Approach to Model Checking Biological Systems -- Dynamic Compartments in the Imperative ?-Calculus -- Probabilistic Approximations of Signaling Pathway Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties -- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process -- CSL Model Checking of Biochemical Networks with Interval Decision Diagrams -- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. |
Record Nr. | UNINA-9910483490403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Analysis of Images and Patterns [[electronic resource] ] : 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings / / edited by Xiaoyi Jiang, Nicolai Petkov |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XLVI, 1251 p.) |
Disciplina | 006.42 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Pattern recognition
Biometrics (Biology) Data mining Optical data processing Natural language processing (Computer science) Artificial intelligence Pattern Recognition Biometrics Data Mining and Knowledge Discovery Computer Imaging, Vision, Pattern Recognition and Graphics Natural Language Processing (NLP) Artificial Intelligence |
Soggetto genere / forma |
Kongress.
Münster (Westfalen, 2009) |
ISBN |
1-280-38324-0
9786613561169 3-642-03767-4 |
Classificazione |
DAT 760f
DAT 770f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Biometrics -- Calibration -- Document Analysis -- Features -- Graph Representations -- Image Processing -- Image Registration -- Image and Video Retrieval -- Medical Imaging -- Object and Scene Recognition -- Pattern Recognition -- Shape Recovery -- Segmentation -- Stereo and Video Analysis -- Texture Analysis -- Applications -- Erratum. |
Record Nr. | UNISA-996465732703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|