Advanced Database Systems [[electronic resource] /] / edited by Nabil R. Adam, Bharat K. Bhargava |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XVI, 460 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Computer programming Database management Information storage and retrieval Application software Data Structures and Information Theory Programming Techniques Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) |
ISBN | 3-540-48204-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | COMPOSE: A system for composite specification and detection -- Access controls in object-oriented database systems — Some approaches and issues -- The decomposition property of non-deterministic databases -- The architecture of an object base environment for simulation -- Transition from a relation to object model implementation -- An object-oriented knowledge model for KBMS-supported evolutionary prototyping of software systems -- Applying OOAD in the design and implementation of an intelligent geographic information system -- Indexical databases -- A temporal query language for a conceptual model -- A data model for time-series analysis -- A relational model and SQL-like query language for spatial databases -- Parallel query processing -- Towards flexible distributed information retrieval -- Efficient parallel recovery in replicated databases -- Document allocation in multiprocessor information retrieval systems -- Amalgame: A tool for creating interoperating persistent, heterogeneous components -- Correctness and enforcement of multidatabase interdependencies -- FEMUS: A federated multilingual database system -- Communication and synchronization issues in distributed multimedia database systems -- Multimedia database systems. |
Record Nr. | UNISA-996465773603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced database systems / Nabil R. Adam, Bharat K. Bhargava (eds.) |
Pubbl/distr/stampa | Berlin \etc.!, : Springer, c1993 |
Descrizione fisica | XV, 451 p. ; 24 cm |
Disciplina | 005.74 |
Collana | Lecture notes in computer science |
Soggetto topico | Archivi di dati |
ISBN |
0387575073
3540575073 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10004495 |
Berlin \etc.!, : Springer, c1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Advanced Database Systems [[electronic resource] ] : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6 - 8, 1992. Proceedings / / edited by Peter M.D. Gray, Rob J. Lucas |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (XI, 265 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Database management Computer communication systems Computer logic Operating systems (Computers) Microprocessors Data Structures and Information Theory Database Management Computer Communication Networks Logics and Meanings of Programs Operating Systems Processor Architectures |
ISBN | 3-540-47272-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The promise of distributed computing and the challenges of legacy systems -- Object oriented requirements capture and analysis — The ORCA project -- A model for versioning of classes in object-oriented databases -- A Storage manager for the Hypernode model -- Views and formal implementation in a three-level schema architecture for dynamic objects -- The meiko computing surface: A parallel & scalable open systems platform for Oracle -- A study of a parallel database machine and its performance the NCR/Teradata DBC/1012 -- Control of a large massively parallel database machine using sQL catalogue extensions, and a DSDL in preference to an operating system -- Integration of modal logic and the functional data model -- The Raleigh activity model: Integrating versions, concurrency, and access control -- A graphical data modelling program with constraint specification and management -- Association merging in a schema metaintegration system for a heterogeneous Object-Oriented database environment -- Generating active rules from high-level specifications -- Employing integrity constraints for query modification and intensional answer generation in multi-database systems. |
Record Nr. | UNISA-996465768503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 8th International Conference, CAiSE'96, Herakleion, Crete, Greece, May (20-24), 1996. Proceedings / / edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XII, 588 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Data structures (Computer science) Database management Software engineering Application software Information storage and retrieval Theory of Computation Data Structures and Information Theory Database Management Software Engineering Information Systems Applications (incl. Internet) Information Storage and Retrieval |
ISBN | 3-540-68451-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MetaEdit+ A fully configurable multi-user and multi-tool CASE and CAME environment -- MENTOR: A Computer Aided Requirements Engineering environment -- A logic-based framework for reasoning support in software evolution -- TALE — A Temporal Active Language and Execution model -- DEGAS: Capturing dynamics in objects -- From rules to rule patterns -- Tool-based re-engineering of a legacy MIS: An experience report -- Developing an Information System using Troll — an application field study -- Active relationships for controlling the propagation of information and activities in databases -- Multi-data models translations in interoperable information systems -- Interoperable transactions in business models — A structured approach -- On information modeling to support interoperable spatial databases -- Guidelines for formalizing Fusion object-oriented analysis models -- Techniques for process analysis and unification -- Handling conceptual model validation by planning -- Database design recovery -- The world-wide web as a platform for supporting interactive Concurrent Engineering -- Context-driven information base update -- Managing overlapping transactional workflows -- Shared data management mechanism for distributed software development based on a reflective object-oriented model -- Agent-based tool integration for distributed information systems -- When parents need not have children — Cognitive biases in information modeling -- The role of benchmarking in information system development -- User-enhanceability for organisational information systems through visual programming -- An integration method for design schemas -- Advanced primitives for changing schemas of object databases -- Views for information system design without reorganization -- Semantics, features, and applications of the viewpoint abstraction -- Relaxing the instantiation link: Towards a content-based data model for information retrieval -- Deriving normalized is_a hierarchies by using applicability constraints. |
Record Nr. | UNISA-996465617603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Parallel Processing Technologies [[electronic resource] ] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011, Proceedings / / edited by Olivier Temam, Pen-chung Yew, Binyu Zang |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (190 p. 89 illus.) |
Disciplina | 005.74 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Database management
Data mining Application software Operating systems (Computers) Computer programming Information storage and retrieval systems Database Management Data Mining and Knowledge Discovery Computer and Information Systems Applications Operating Systems Programming Techniques Information Storage and Retrieval |
ISBN | 3-642-24151-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466241903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Query Processing [[electronic resource] ] : Volume 1: Issues and Trends / / edited by Barbara Catania, Lakhmi C. Jain |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (354 p.) |
Disciplina | 005.74 |
Collana | Intelligent Systems Reference Library |
Soggetto topico |
Computational intelligence
Artificial intelligence Data mining Computational Intelligence Artificial Intelligence Data Mining and Knowledge Discovery |
ISBN | 3-642-28323-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From the content: Advanced Query Processing: An Introduction -- On Skyline Queries and how to Choose from Pareto Sets -- Processing Framework for Ranking and Skyline Queries -- Preference-Based Query Personalization -- Approximate Queries for Spatial Data -- Approximate XML Query Processing -- Progressive and Approximate Join Algorithms on Data Streams. |
Record Nr. | UNINA-9910438057603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced web services / / Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou |
Pubbl/distr/stampa | New York, : Springer, c2014 |
Descrizione fisica | 1 online resource (xix, 633 pages) : illustrations (some color) |
Disciplina |
004
004.6 005.7 005.74 |
Collana | Gale eBooks |
Soggetto topico | Web services |
ISBN | 1-4614-7535-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Design and Management of Web Service Transactions with Forward Recovery -- A Generic Framework for Testing the Web Services Transaction -- Universal Identity Management Based on Delegation in SOA -- The Roadmap of Trust and Trust Evaluation in Web Applications and Web Services -- Web Service-based Trust Management in Cloud Environments -- Web Service Contracts: Specification and Matchmaking -- A Certification-Aware Service-Oriented Architecture -- A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions -- WSDARWIN: Studying the Evolution of Web Service Systems -- SCML: A Change Management Language for Adaptive Long Term Composed Services -- A Semantic-based Approach to Generate Abstract Services for Service Organization -- Exploring Service Networks of Biological Processes on the Web -- Automating Tendering Processes with Web Services: A Case Study on Building Construction Tendering in Hong Kong -- Service Trust Management for E-Government Applications -- Trust-Oriented Service Provider Selection in Complex OnlineSocial Networks -- AnalyzingWeb Services Networks: Theory and Practice -- Work as a Service -- Virtualizing Software and Human for Elastic Hybrid Services -- Realizing a Social Ecosystem of Web Services -- ubiREST: A RESTful Service-oriented Middleware for Ubiquitous Networking -- MobileWeb and Cloud Services -- TOSCA: Portable Automated Deployment and Management of Cloud Applications -- A V-Model Approach for Business Process Requirements Elicitation in Cloud Design -- Cloud-based Systems Need Multi-level Management -- Web Services for Things. |
Record Nr. | UNINA-9910298568203321 |
New York, : Springer, c2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in bioinformatics and computational biology : second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007 proceedings / / Marie-France Sagot; Maria Emilia M. T. Walter |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (185 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Computational biology
Bioinformatics |
ISBN | 3-540-73731-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Selected Articles -- Automating Molecular Docking with Explicit Receptor Flexibility Using Scientific Workflows -- Gene Set Enrichment Analysis Using Non-parametric Scores -- Comparison of Simple Encoding Schemes in GA’s for the Motif Finding Problem: Preliminary Results -- Multi-Objective Clustering Ensemble with Prior Knowledge -- Biological Sequence Comparison Application in Heterogeneous Environments with Dynamic Programming Algorithms -- New EST Trimming Procedure Applied to SUCEST Sequences -- A Method for Inferring Biological Functions Using Homologous Genes Among Three Genomes -- Validating Gene Clusterings by Selecting Informative Gene Ontology Terms with Mutual Information -- An Optimized Distance Function for Comparison of Protein Binding Sites -- Comparing RNA Structures: Towards an Intermediate Model Between the Edit and the Lapcs Problems -- Evolving Phylogenetic Trees: A Multiobjective Approach -- Comparing Several Approaches for Hierarchical Classification of Proteins with Decision Trees -- High Efficiency on Prediction of Translation Initiation Site (TIS) of RefSeq Sequences -- Extended Abstracts -- Outlining a Strategy for Screening Non-coding RNAs on a Transcriptome Through Support Vector Machines -- Mapping Contigs onto Reference Genomes -- Molecular Dynamics Simulations of Cruzipains 1 and 2 at Different Temperatures -- Genetic Algorithm for Finding Multiple Low Energy Conformations of Poly Alanine Sequences Under an Atomistic Protein Model -- Cellular Fingerprints: A Novel Concept for the Integration of Experimental Data and Compound-Target-Pathway Relations (Extended Abstract) -- Identification of the Putative Class 3 R Genes in Coffea arabica from CafEST Database. |
Record Nr. | UNISA-996465763703316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in bioinformatics and computational biology : second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007 proceedings / / Marie-France Sagot; Maria Emilia M. T. Walter |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (185 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Computational biology
Bioinformatics |
ISBN | 3-540-73731-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Selected Articles -- Automating Molecular Docking with Explicit Receptor Flexibility Using Scientific Workflows -- Gene Set Enrichment Analysis Using Non-parametric Scores -- Comparison of Simple Encoding Schemes in GA’s for the Motif Finding Problem: Preliminary Results -- Multi-Objective Clustering Ensemble with Prior Knowledge -- Biological Sequence Comparison Application in Heterogeneous Environments with Dynamic Programming Algorithms -- New EST Trimming Procedure Applied to SUCEST Sequences -- A Method for Inferring Biological Functions Using Homologous Genes Among Three Genomes -- Validating Gene Clusterings by Selecting Informative Gene Ontology Terms with Mutual Information -- An Optimized Distance Function for Comparison of Protein Binding Sites -- Comparing RNA Structures: Towards an Intermediate Model Between the Edit and the Lapcs Problems -- Evolving Phylogenetic Trees: A Multiobjective Approach -- Comparing Several Approaches for Hierarchical Classification of Proteins with Decision Trees -- High Efficiency on Prediction of Translation Initiation Site (TIS) of RefSeq Sequences -- Extended Abstracts -- Outlining a Strategy for Screening Non-coding RNAs on a Transcriptome Through Support Vector Machines -- Mapping Contigs onto Reference Genomes -- Molecular Dynamics Simulations of Cruzipains 1 and 2 at Different Temperatures -- Genetic Algorithm for Finding Multiple Low Energy Conformations of Poly Alanine Sequences Under an Atomistic Protein Model -- Cellular Fingerprints: A Novel Concept for the Integration of Experimental Data and Compound-Target-Pathway Relations (Extended Abstract) -- Identification of the Putative Class 3 R Genes in Coffea arabica from CafEST Database. |
Record Nr. | UNINA-9910767513703321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Bioinformatics and Computational Biology [[electronic resource] ] : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / / edited by Joao Carlos Setubal, Sergio Verjovski-Almeida |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XIV, 258 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Database management
Bioinformatics Bioinformatics Computational biology Health informatics Artificial intelligence Algorithms Database Management Computer Appl. in Life Sciences Health Informatics Artificial Intelligence Algorithm Analysis and Problem Complexity |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Differential Gene Expression in the Auditory System -- Searching for Non-coding RNA -- Cyberinfrastructure for PathoSystems Biology -- Analysis of Genomic Tiling Microarrays for Transcript Mapping and the Identification of Transcription Factor Binding Sites -- Full Papers -- Perturbing Thermodynamically Unfeasible Metabolic Networks -- Protein Cellular Localization with Multiclass Support Vector Machines and Decision Trees -- Combining One-Class Classifiers for Robust Novelty Detection in Gene Expression Data -- Evaluation of the Contents of Partitions Obtained with Clustering Gene Expression Data -- Machine Learning Techniques for Predicting Bacillus subtilis Promoters -- An Improved Hidden Markov Model Methodology to Discover Prokaryotic Promoters -- Modeling and Property Verification of Lactose Operon Regulation -- YAMONES: A Computational Architecture for Molecular Network Simulation -- Structure Prediction and Docking Studies of Chorismate Synthase from Mycobacterium Tuberculosis -- Analysis of the Effects of Multiple Sequence Alignments in Protein Secondary Structure Prediction -- Tests of Automatic Annotation Using KOG Proteins and ESTs from 4 Eukariotic Organisms -- Diet as a Pressure on the Amino Acid Content of Proteomes -- A Method for Comparing Three Genomes -- Comparison of Genomic DNA to cDNA Alignment Methods -- Segmentation and Centromere Locating Methods Applied to Fish Chromosomes Images -- Extended Abstracts -- Sequence Motif Identification and Protein Family Classification Using Probabilistic Trees -- Prediction of Myotoxic and Neurotoxic Activities in Phospholipases A2 from Primary Sequence Analysis -- Genomics and Gene Expression Management Tools for the Schistosoma Mansoni cDNA Microarray Project -- SAM Method as an Approach to Select Candidates for Human Prostate Cancer Markers -- New EST Trimming Strategy -- A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays -- The BioPAUÁ Project: A Portal for Molecular Dynamics Using Grid Environment -- Analysis of Structure Prediction Tools in Mutated MeCP-2 -- Protein Loop Classification Using Artificial Neural Networks -- VIZ – A Graphical Open-Source Architecture for Use in Structural Bioinformatics -- Selection of Data Sets of Motifs as Attributes in the Process of Automating the Annotation of Proteins’ Keywords -- Bioinformatics Tools for HIV-1 Identification in Southern Brazilian States -- Fact and Task Oriented System for Genome Assembly and Annotation -- A Clustering Strategy to Find Similarities in Mycoplasma Promoters -- Gene Prediction by Syntenic Alignment -- Real Time Immersive Visualization and Manipulation of the Visible Human Data Set. |
Record Nr. | UNINA-9910483990903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|