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.

Biblioteca

MARC Lista (tabellare)
Anticipatory Behavior in Adaptive Learning Systems [[electronic resource] ] : From Psychological Theories to Artificial Cognitive Systems / / edited by Giovanni Pezzulo, Martin V. Butz, Olivier Sigaud, Gianluca Baldassarre
Anticipatory Behavior in Adaptive Learning Systems [[electronic resource] ] : From Psychological Theories to Artificial Cognitive Systems / / edited by Giovanni Pezzulo, Martin V. Butz, Olivier Sigaud, Gianluca Baldassarre
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 335 p.)
Disciplina 004n/a
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Robotics
Automation
Artificial intelligence
Computers
Algorithms
Application software
Computers and civilization
Robotics and Automation
Artificial Intelligence
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computer Appl. in Social and Behavioral Sciences
Computers and Society
Soggetto genere / forma Kongress.
München (2008)
ISBN 3-642-02565-X
Classificazione SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From Sensorimotor to Higher-Level Cognitive Processes: An Introduction to Anticipatory Behavior Systems -- Anticipation in Psychology: Focus on the Ideomotor View -- ABC: A Psychological Theory of Anticipative Behavioral Control -- Anticipative Control of Voluntary Action: Towards a Computational Model -- Theoretical and Review Contributions -- Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes -- Steps to a Cyber-Physical Model of Networked Embodied Anticipatory Behavior -- Neural Pathways of Embodied Simulation -- Anticipation and Dynamical Systems -- The Autopoietic Nature of the “Inner World” -- The Cognitive Body: From Dynamic Modulation to Anticipation -- Computational Modelling of Psychological Processes in the Individual and Social Domains -- A Neurocomputational Model of Anticipation and Sustained Inattentional Blindness in Hierarchies -- Anticipation of Time Spans: New Data from the Foreperiod Paradigm and the Adaptation of a Computational Model -- Collision-Avoidance Characteristics of Grasping -- The Role of Anticipation on Cooperation and Coordination in Simulated Prisoner’s Dilemma Game Playing -- Behavioral and Cognitive Capabilities Based on Anticipation -- A Two-Level Model of Anticipation-Based Motor Learning for Whole Body Motion -- Space Perception through Visuokinesthetic Prediction -- Anticipatory Driving for a Robot-Car Based on Supervised Learning -- Computational Frameworks and Algorithms for Anticipation, and Their Evaluation -- Prediction Time in Anticipatory Systems -- Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning -- Anticipatory Learning Classifier Systems and Factored Reinforcement Learning.
Record Nr. UNISA-996465533203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Architecture of Computing Systems - ARCS 2009 [[electronic resource] ] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / / edited by Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong
Architecture of Computing Systems - ARCS 2009 [[electronic resource] ] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / / edited by Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIII, 259 p.)
Disciplina 004.2/2
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Computer engineering
Software engineering
Computer systems
Operating systems (Computers)
Computer Communication Networks
Computer Engineering and Networks
Software Engineering
Computer System Implementation
Operating Systems
Soggetto genere / forma Delft (2009)
Kongress.
ISBN 3-642-00454-7
Classificazione DAT 200f
DAT 250f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes -- Life on the Treadmill -- Key Microarchitectural Innovations for Future Microprocessors -- The Challenges of Multicore: Information and Mis-Information -- Compilation Technologies -- Extracting Coarse-Grained Pipelined Parallelism Out of Sequential Applications for Parallel Processor Arrays -- Parallelization Approaches for Hardware Accelerators – Loop Unrolling Versus Loop Partitioning -- Evaluating Sampling Based Hotspot Detection -- Reconfigurable Hardware and Applications -- A Reconfigurable Bloom Filter Architecture for BLASTN -- SoCWire: A Robust and Fault Tolerant Network-on-Chip Approach for a Dynamic Reconfigurable System-on-Chip in FPGAs -- A Light-Weight Approach to Dynamical Runtime Linking Supporting Heterogenous, Parallel, and Reconfigurable Architectures -- Ultra-Fast Downloading of Partial Bitstreams through Ethernet -- Massive Parallel Architectures -- SCOPE - Sensor Mote Configuration and Operation Enhancement -- Generated Horizontal and Vertical Data Parallel GCA Machines for the N-Body Force Calculation -- Hybrid Resource Discovery Mechanism in Ad Hoc Grid Using Structured Overlay -- Organic Computing -- Marketplace-Oriented Behavior in Semantic Multi-Criteria Decision Making Autonomous Systems -- Self-organized Parallel Cooperation for Solving Optimization Problems -- Memory Architectures -- Improving Memory Subsystem Performance Using ViVA: Virtual Vector Architecture -- An Enhanced DMA Controller in SIMD Processors for Video Applications -- Cache Controller Design on Ultra Low Leakage Embedded Processors -- Energy Awareness -- Autonomous DVFS on Supply Islands for Energy-Constrained NoC Communication -- Energy Management System as an Embedded Service: Saving Energy Consumption of ICT -- Java Processing -- A Garbage Collection Technique for Embedded Multithreaded Multicore Processors -- Empirical Performance Models for Java Workloads -- Chip-Level Multiprocessing -- Performance Matching of Hardware Acceleration Engines for Heterogeneous MPSoC Using Modular Performance Analysis -- Evaluating CMPs and Their Memory Architecture.
Record Nr. UNISA-996465953403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Architecture of Computing Systems - ARCS 2011 [[electronic resource] ] : 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings / / edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano
Architecture of Computing Systems - ARCS 2011 [[electronic resource] ] : 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings / / edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XIII, 271 p. 114 illus., 60 illus. in color.)
Disciplina 004.22
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Computer systems
Operating systems (Computers)
Software engineering
Application software
Information storage and retrieval systems
Computer Communication Networks
Computer System Implementation
Operating Systems
Software Engineering
Computer and Information Systems Applications
Information Storage and Retrieval
Soggetto genere / forma Kongress.
ISBN 3-642-19137-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466041503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Artificial Intelligence and Computational Intelligence [[electronic resource] ] : International Conference, AICI 2009, Shanghai, China, November 7-8, 2009, Proceedings / / edited by Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei
Artificial Intelligence and Computational Intelligence [[electronic resource] ] : International Conference, AICI 2009, Shanghai, China, November 7-8, 2009, Proceedings / / edited by Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XX, 737 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Data mining
Computer simulation
Pattern recognition
Biometrics (Biology)
Special purpose computers
Artificial Intelligence
Data Mining and Knowledge Discovery
Simulation and Modeling
Pattern Recognition
Biometrics
Special Purpose and Application-Based Systems
Soggetto genere / forma Kongress.
Schanghai (2009)
ISBN 3-642-05253-3
Classificazione DAT 700f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Support Vector Machine -- Rough Set Theory -- Particle Swarm Optimization -- Neural Computation -- Intelligent Agents and Systems -- Information Security -- Immune Computation -- Genetic Algorithms -- Fuzzy Computation -- Biological Computing -- Applications of Computational Intelligence -- Ant Colony Algorithm -- Robotics -- Pattern Recognition -- Neural Networks -- Natural Language Processing -- Machine Vision -- Machine Learning -- Logic Reasoning and Theorem-Proving -- Knowledge Representation and Acquisition -- Intelligent Signal Processing -- Intelligent Scheduling -- Intelligent Information Retrieval -- Intelligent Information Fusion -- Intelligent Image Processing -- Heuristic Searching Methods -- Fuzzy Logic and Soft Computing -- Distributed AI and Agents -- Data Mining and Knowledge Discovering -- Applications of Artificial Intelligence -- Others.
Record Nr. UNISA-996465579503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Artificial Life: Borrowing from Biology [[electronic resource] ] : 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings / / edited by Kevin B. Korb, Marcus Randall, Tim Hendtlass
Artificial Life: Borrowing from Biology [[electronic resource] ] : 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings / / edited by Kevin B. Korb, Marcus Randall, Tim Hendtlass
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 283 p.)
Disciplina 004n/a
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Computer simulation
Bioinformatics
Optical data processing
Computers
Computer organization
Artificial Intelligence
Simulation and Modeling
Computational Biology/Bioinformatics
Computer Imaging, Vision, Pattern Recognition and Graphics
Computation by Abstract Devices
Computer Systems Organization and Communication Networks
Soggetto genere / forma Kongress.
Melbourne (2009)
ISBN 3-642-10427-4
Classificazione DAT 718f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Alife Art -- An Empirical Exploration of a Definition of Creative Novelty for Generative Art -- A New Definition of Creativity -- Genetically Optimized Architectural Designs for Control of Pedestrian Crowds -- Game Theory -- Co-evolutionary Learning in the N-player Iterated Prisoner’s Dilemma with a Structured Environment -- Evolving Cooperation in the N-player Prisoner’s Dilemma: A Social Network Model -- Using Misperception to Counteract Noise in the Iterated Prisoner’s Dilemma -- Evolution -- An Analysis and Evaluation of the Saving Capability and Feasibility of Backward-Chaining Evolutionary Algorithms -- Evolutionary Intelligence and Communication in Societies of Virtually Embodied Agents -- Testing Punctuated Equilibrium Theory Using Evolutionary Activity Statistics -- Complex Systems -- Evaluation of the Effectiveness of Machine-Based Situation Assessment -- Experiments with the Universal Constructor in the DigiHive Environment -- Making a Self-feeding Structure by Assembly of Digital Organs -- Towards Tailored Communication Networks in Assemblies of Artificial Cells -- Biological Systems -- A Developmental System for Organic Form Synthesis -- Layered Random Inference Networks -- Modelling Hepatitis B Virus Antiviral Therapy and Drug Resistant Mutant Strains -- Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems -- Social Modelling -- Designing Adaptive Artificial Agents for an Economic Production and Conflict Model -- Emergent Societal Effects of Crimino-Social Forces in an Animat Agent Model -- Swarm Intelligence -- A Heterogeneous Particle Swarm -- An Analysis of Locust Swarms on Large Scale Global Optimization Problems -- Continuous Swarm Surveillance via Distributed Priority Maps -- Optimization in Fractal and Fractured Landscapes Using Locust Swarms -- Heuristics -- A Hybrid Extremal Optimisation Approach for the Bin Packing Problem -- Feedback of Delayed Rewards in XCS for Environments with Aliasing States -- Memetic Approaches for Optimizing Hidden Markov Models: A Case Study in Time Series Prediction -- The Effects of Different Kinds of Move in Differential Evolution Searches.
Record Nr. UNISA-996465584903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Artificial Neural Networks in Pattern Recognition [[electronic resource] ] : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings / / edited by Friedhelm Schwenker, Neamat El Gayar
Artificial Neural Networks in Pattern Recognition [[electronic resource] ] : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings / / edited by Friedhelm Schwenker, Neamat El Gayar
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XII, 280 p. 83 illus.)
Disciplina 006.4
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Pattern recognition
Artificial intelligence
Application software
Database management
Algorithms
Data mining
Pattern Recognition
Artificial Intelligence
Information Systems Applications (incl. Internet)
Database Management
Algorithm Analysis and Problem Complexity
Data Mining and Knowledge Discovery
Soggetto genere / forma Kairo (2010)
Kongress.
ISBN 3-642-12159-4
Classificazione DAT 717f
DAT 770f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Supervised Learning -- Pattern Classification Using a Penalized Likelihood Method -- Evaluation of Feature Selection by Multiclass Kernel Discriminant Analysis -- Correlation-Based and Causal Feature Selection Analysis for Ensemble Classifiers -- A New Monte Carlo-Based Error Rate Estimator -- Recognition of Sequences of Graphical Patterns -- Maximum Echo-State-Likelihood Networks for Emotion Recognition -- Robustness Analysis of Eleven Linear Classifiers in Extremely High–Dimensional Feature Spaces -- Unsupervised Learning -- Global Coordination Based on Matrix Neural Gas for Dynamic Texture Synthesis -- SIC-Means: A Semi-fuzzy Approach for Clustering Data Streams Using C-Means -- The Mathematics of Divergence Based Online Learning in Vector Quantization -- Cluster Analysis of Cortical Pyramidal Neurons Using SOM -- Parallelized Kernel Patch Clustering -- Visual Pattern Recognition -- Neural Network Cascade for Facial Feature Localization -- A Hidden Markov Model Based Approach for Facial Expression Recognition in Image Sequences -- Analysis, Interpretation, and Recognition of Facial Action Units and Expressions Using Neuro-Fuzzy Modeling -- Content-Based Retrieval and Classification of Ultrasound Medical Images of Ovarian Cysts -- Applications -- A Novel Word Spotting Algorithm Using Bidirectional Long Short-Term Memory Neural Networks -- Swarm Based Fuzzy Discriminant Analysis for Multifunction Prosthesis Control -- Bayesian Learning of Generalized Gaussian Mixture Models on Biomedical Images -- Defective Areas Identification in Aircraft Components by Bivariate EMD Analysis of Ultrasound Signals -- Different Regions Identification in Composite Strain-Encoded (C-SENC) Images Using Machine Learning Techniques -- Exploiting Neural Networks to Enhance Trend Forecasting for Hotels Reservations -- VLSI Architecture of the Fuzzy Fingerprint Vault System -- Invited Talk -- Clustering Very Large Dissimilarity Data Sets.
Record Nr. UNISA-996465281803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XII, 341 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Computer programming
Software engineering
Artificial Intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Soggetto genere / forma Kongress2009.Oslo
Conference papers and proceedings.
Kongress.
Oslo (2009)
ISBN 3-642-02716-4
Classificazione DAT 706f
SS 4800
004
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Presenting Constraints -- On the Use of Automata for Deciding Linear Arithmetic -- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus -- A Schemata Calculus for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A Novel Architecture for Situation Awareness Systems -- On the Proof Theory of Regular Fixed Points -- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus -- A Tableau-Based System for Spatial Reasoning about Directional Relations -- Terminating Tableaux for the Basic Fragment of Simple Type Theory -- Modular Sequent Systems for Modal Logic -- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions -- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories -- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference -- Sound Global State Caching for ALC with Inverse Roles -- A Tableau System for the Modal ?-Calculus -- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies -- Prime Implicate Tries -- Proof Systems for a Gödel Modal Logic -- Generic Modal Cut Elimination Applied to Conditional Logics -- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents -- Automated Synthesis of Tableau Calculi -- Tableaux for Projection Computation and Knowledge Compilation.
Record Nr. UNISA-996465384603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated Technology for Verification and Analysis [[electronic resource] ] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / / edited by Zhiming Liu, Anders P. Ravn
Automated Technology for Verification and Analysis [[electronic resource] ] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / / edited by Zhiming Liu, Anders P. Ravn
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 414 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Computers
Computer programming
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Algorithms
Theory of Computation
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Soggetto genere / forma Kongress.
Macao (2009)
ISBN 3-642-04761-0
Classificazione DAT 286f
DAT 325f
DAT 704f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Verifying VLSI Circuits -- 3-Valued Abstraction for (Bounded) Model Checking -- Local Search in Model Checking -- State Space Reduction -- Exploring the Scope for Partial Order Reduction -- State Space Reduction of Linear Processes Using Control Flow Reconstruction -- A Data Symmetry Reduction Technique for Temporal-epistemic Logic -- Tools -- TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets -- CLAN: A Tool for Contract Analysis and Conflict Discovery -- UnitCheck: Unit Testing and Model Checking Combined -- Probabilistic Systems -- LTL Model Checking of Time-Inhomogeneous Markov Chains -- Statistical Model Checking Using Perfect Simulation -- Quantitative Analysis under Fairness Constraints -- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems -- Medley -- Memory Usage Verification Using Hip/Sleek -- Solving Parity Games in Practice -- Automated Analysis of Data-Dependent Programs with Dynamic Memory -- Temporal Logic I -- On-the-fly Emptiness Check of Transition-Based Streett Automata -- On Minimal Odd Rankings for Büchi Complementation -- Specification Languages for Stutter-Invariant Regular Properties -- Abstraction and Refinement -- Incremental False Path Elimination for Static Software Analysis -- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement -- Don’t Know for Multi-valued Systems -- Logahedra: A New Weakly Relational Domain -- Fault Tolerant Systems -- Synthesis of Fault-Tolerant Distributed Systems -- Formal Verification for High-Assurance Behavioral Synthesis -- Dynamic Observers for the Synthesis of Opaque Systems -- Temporal Logic II -- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation -- LTL Model Checking for Recursive Programs -- On Detecting Regular Predicates in Distributed Systems.
Record Nr. UNISA-996465383803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bioinformatics and Computational Biology [[electronic resource] ] : First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009, Proceedings / / edited by Sanguthevar Rajasekaran
Bioinformatics and Computational Biology [[electronic resource] ] : First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009, Proceedings / / edited by Sanguthevar Rajasekaran
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 450 p.)
Disciplina 570
Collana Lecture Notes in Bioinformatics
Soggetto topico Life sciences
Computers
Data mining
Bioinformatics
Artificial intelligence
Information storage and retrieval
Life Sciences, general
Theory of Computation
Data Mining and Knowledge Discovery
Computational Biology/Bioinformatics
Artificial Intelligence
Information Storage and Retrieval
Soggetto genere / forma Kongress.
New Orleans (La., 2009)
ISBN 3-642-00727-9
Classificazione BIO 110f
BIO 180f
DAT 718f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Association Analysis Techniques for Bioinformatics Problems -- Analyzing and Interrogating Biological Networks (Abstract) -- From Architecture to Function (and Back) in Bio-networks -- A New Machine Learning Approach for Protein Phosphorylation Site Prediction in Plants -- Assembly of Large Genomes from Paired Short Reads -- Amino Acid Classification and Hash Seeds for Homology Search -- Genotype and Haplotype Reconstruction from Low-Coverage Short Sequencing Reads -- Gene Networks Viewed through Two Models -- Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper -- The 2-Interval Pattern Matching Problems and Its Application to ncRNA Scanning -- Refereed Papers -- RNA Pseudoknot Folding through Inference and Identification Using TAGRNA -- Comparing Bacterial Genomes by Searching Their Common Intervals -- Generalized Binary Tanglegrams: Algorithms and Applications -- Three-Dimensional Multimodality Modelling by Integration of High-Resolution Interindividual Atlases and Functional MALDI-IMS Data -- Detecting Motifs in a Large Data Set: Applying Probabilistic Insights to Motif Finding -- A Biclustering Method to Discover Co-regulated Genes Using Diverse Gene Expression Datasets -- Computational Protocol for Screening GPI-anchored Proteins -- Towards Large-Scale Molecular Dynamics Simulations on Graphics Processors -- An Agent-Based Model of Solid Tumor Progression -- Deciphering Drug Action and Escape Pathways: An Example on Nasopharyngeal Carcinoma -- Selection of Multiple SNPs in Case-Control Association Study Using a Discretized Network Flow Approach -- Biclustering Expression Data Based on Expanding Localized Substructures -- Constrained Fisher Scores Derived from Interaction Profile Hidden Markov Models Improve Protein to Protein Interaction Prediction -- Improving Protein Localization Prediction Using Amino Acid Group Based Physichemical Encoding -- The Impact of Gene Selection on Imbalanced Microarray Expression Data -- Spatial Information and Boolean Genetic Regulatory Networks -- Modeling of Genetic Regulatory Network in Stochastic ?-Calculus -- fMRI Activation Detection by MultiScale Hidden Markov Model -- cnF2freq: Efficient Determination of Genotype and Haplotype Probabilities in Outbred Populations Using Markov Models -- A Comprehensive Analysis Workflow for Genome-Wide Screening Data from ChIP-Sequencing Experiments -- A Fitness Distance Correlation Measure for Evolutionary Trees -- Alignment and Analysis of Closely Related Genomes -- Computational Prediction of Genes Translationally Regulated by Cytoplasmic Polyadenylation Elements -- Multiple Sequence Alignment System for Pyrosequencing Reads -- A Bayesian Approach to High-Throughput Biological Model Generation -- Parallel Selection of Informative Genes for Classification -- Simulation Methods in Uncovering New Regulatory Mechanisms in Signaling Pathways -- GridSPiM: A Framework for Simple Locality and Containment in the Stochastic ?-Calculus -- Mutual Information Based Extrinsic Similarity for Microarray Analysis -- Graph Spectral Approach for Identifying Protein Domains.
Record Nr. UNISA-996466019303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Biometric ID Management and Multimodal Communication [[electronic resource] ] : Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009, Proceedings / / edited by Julian Fierrez, Javier Ortega-Garcia, Anna Esposito, Andrzej Drygajlo, Marcos Faundez-Zanuy
Biometric ID Management and Multimodal Communication [[electronic resource] ] : Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009, Proceedings / / edited by Julian Fierrez, Javier Ortega-Garcia, Anna Esposito, Andrzej Drygajlo, Marcos Faundez-Zanuy
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIII, 358 p.)
Disciplina 004n/a
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Pattern recognition
Optical data processing
Biometrics (Biology)
Information storage and retrieval
Artificial intelligence
Pattern Recognition
Image Processing and Computer Vision
Biometrics
Computer Imaging, Vision, Pattern Recognition and Graphics
Information Storage and Retrieval
Artificial Intelligence
Soggetto genere / forma Kongress.
Madrid (2009)
ISBN 3-642-04391-7
Classificazione BIO 110f
DAT 760f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Face Processing and Recognition -- Illumination Invariant Face Recognition by Non-Local Smoothing -- Manifold Learning for Video-to-Video Face Recognition -- MORPH: Development and Optimization of a Longitudinal Age Progression Database -- Verification of Aging Faces Using Local Ternary Patterns and Q-Stack Classifier -- Voice Analysis and Modeling -- Recognition of Emotional State in Polish Speech - Comparison between Human and Automatic Efficiency -- Harmonic Model for Female Voice Emotional Synthesis -- Anchor Model Fusion for Emotion Recognition in Speech -- Multimodal Interaction -- Audiovisual Alignment in a Face-to-Face Conversation Translation Framework -- Maximising Audiovisual Correlation with Automatic Lip Tracking and Vowel Based Segmentation -- Visual Context Effects on the Perception of Musical Emotional Expressions -- Eigenfeatures and Supervectors in Feature and Score Fusion for SVM Face and Speaker Verification -- Face and Expression Recognition -- Facial Expression Recognition Using Two-Class Discriminant Features -- A Study for the Self Similarity Smile Detection -- Analysis of Head and Facial Gestures Using Facial Landmark Trajectories -- Combining Audio and Video for Detection of Spontaneous Emotions -- Face Recognition Using Wireframe Model Across Facial Expressions -- Body and Gait Recognition -- Modeling Gait Using CPG (Central Pattern Generator) and Neural Network -- Fusion of Movement Specific Human Identification Experts -- CBIR over Multiple Projections of 3D Objects -- Biometrics beyond the Visible Spectrum: Imaging Technologies and Applications -- Poster Session -- Formant Based Analysis of Spoken Arabic Vowels -- Key Generation in a Voice Based Template Free Biometric Security System -- Extending Match-On-Card to Local Biometric Identification -- A New Fingerprint Matching Algorithm Based on Minimum Cost Function -- Invariant Fourier Descriptors Representation of Medieval Byzantine Neume Notation -- Bio-Inspired Reference Level Assigned DTW for Person Identification Using Handwritten Signatures -- Pressure Evaluation in On-Line and Off-Line Signatures -- Confidence Partition and Hybrid Fusion in Multimodal Biometric Verification System -- Multi-biometric Fusion for Driver Authentication on the Example of Speech and Face -- Multi-modal Authentication Using Continuous Dynamic Programming -- Biometric System Verification Close to “Real World” Conditions -- Developing HEO Human Emotions Ontology -- Common Sense Computing: From the Society of Mind to Digital Intuition and beyond -- On Development of Inspection System for Biometric Passports Using Java -- Handwritten Signature On-Card Matching Performance Testing -- Classification Based Revocable Biometric Identity Code Generation -- Vulnerability Assessment of Fingerprint Matching Based on Time Analysis -- A Matching Algorithm Secure against the Wolf Attack in Biometric Authentication Systems -- A Region-Based Iris Feature Extraction Method Based on 2D-Wavelet Transform -- A Novel Contourlet Based Online Fingerprint Identification -- Fake Finger Detection Using the Fractional Fourier Transform -- Comparison of Distance-Based Features for Hand Geometry Authentication -- A Comparison of Three Kinds of DP Matching Schemes in Verifying Segmental Signatures -- Ergodic HMM-UBM System for On-Line Signature Verification -- Improving Identity Prediction in Signature-based Unimodal Systems Using Soft Biometrics.
Record Nr. UNISA-996465657903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui