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.
Automata, Languages, and Programming [[electronic resource] ] : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings / / edited by Serge Abiteboul, Eli Shamir
| Automata, Languages, and Programming [[electronic resource] ] : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings / / edited by Serge Abiteboul, Eli Shamir |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (XVI, 648 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Computer logic Mathematical logic Computer programming Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-48566-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unexpected upper bounds on the complexity of some communication games -- Valuations and unambiguity of languages, with applications to fractal geometry -- On the computational power of probabilistic and faulty neural networks -- Deciding properties of integral relational automata -- On the cost of recomputing: tight bounds on pebbling with faults -- On some relations between dynamical systems and transition systems -- Complexity results for multi-pebble automata and their logics -- An analysis of the Core-ML language: Expressive power and type reconstruction -- Expressiveness of efficient semi-deterministic choice constructs -- Tailoring recursion for complexity -- Determinizing asynchronous automata -- On the complementation of Büchi asynchronous cellular automata -- Distribution and locality of concurrent systems -- Liveness in timed and untimed systems -- Average-case analysis of pattern-matching in trees under the BST probability model -- On the approximation of shortest common supersequences and longest common subsequences -- Optimal parallel algorithms for Prefix Matching -- Optimal two-dimensional compressed matching -- Maintaining spanning trees of small diameter -- Simple fast parallel hashing -- The Optimal Alphabetic Tree problem revisited -- On the cutting edge of relativization: The resource bounded injury method -- PSPACE-completeness of certain algorithmic problems on the subgroups of free groups -- Higher-order processes and their models -- Efficient local correctness checking for single and alternating boolean equation systems -- Undecidable verification problems for programs with unreliable channels -- Reasoning about programs by exploiting the environment -- A model of intuitionistic affine logic from stable domain theory -- Bistructures, bidomains and linear logic -- Equivalences for fair Kripke structures -- Generalizing finiteness conditions of labelled transition systems -- A kleene theorem for recognizable languages over concurrency monoids -- Least solutions of equations over N -- Fast uniform analysis of Coupled-Context-Free languages -- Polynomial closure of group languages and open sets of the Hall topology -- Pumping, cleaning and symbolic constraints solving -- Dynamically-typed computations for order-sorted equational presentations -- Combining first order algebraic rewriting systems, recursion and extensional lambda calculi -- On the theory of interconnection networks for parallel computers -- Multiway cuts in directed and node weighted graphs -- A fast randomized LOGSPACE algorithm for graph connectivity -- Short vertex disjoint paths and multiconnectivity in random graphs: Reliable network computing -- The size of an intertwine -- Finding even cycles even faster -- Polynomial time analysis of toroidal periodic graphs -- A tight lower bound for primitivity in k-structures -- Randomness in distribution protocols -- Lower space bounds for randomized computation -- The average case complexity of the parallel prefix problem -- Prefix codes: Equiprobable words, unequal letter costs -- A super-logarithmic lower bound for hypercubic sorting networks -- Efficient strategies for robot navigation in unknown environment. |
| Record Nr. | UNISA-996466262303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICDT '90 [[electronic resource] ] : Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings / / edited by Serge Abiteboul, Paris C. Kanellakis
| ICDT '90 [[electronic resource] ] : Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings / / edited by Serge Abiteboul, Paris C. Kanellakis |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (VII, 530 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Computer programming Database management Artificial intelligence Programming languages (Electronic computers) Data Structures and Information Theory Programming Techniques Database Management Data Storage Representation Artificial Intelligence Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-46682-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Finite-model theory—a personal perspective -- Playing games with objects -- Representing object identity in a pure functional language -- A class abstraction for a hierarchical type system -- Algebraic optimization of object-oriented query languages -- A relational object model -- Maintaining bounded disorder files in multiprocessor multi-disk environments -- An evaluation model for clustering strategies in the O2 object-oriented database system -- Efficient algorithms for managing the history of evolving databases -- Logic and Databases: An assessment -- A closed form for datalog queries with integer order -- On the expressive power of the relational calculus with arithmetic constraints -- Conjectures and refutations in database design and dependency theory -- A theory of specialization constraints for complex objects -- Removing redundancy and updating databases -- Improving the concurrency of integrity checks and write operations -- A flexible and adaptable tool kit approach for concurrency control in non standard database systems -- A comparative analysis of two-phase-commit protocols -- Efficient voting protocols with witnesses -- Voting and relocation strategies preserving consistency among replicated files -- Well!: An evaluation procedure for all logic programs -- Beginnings of a theory of general database completions -- Recursively indefinite databases -- Low complexity aggregation in graphlog and Datalog -- Deciding boundedness for uniformly connected Datalog programs -- The Revised Gärdenfors postulates and update semantics -- Foundations of canonical update support for closed database views -- Drawing updates from derivations -- Optimization of a subclass of conjunctive queries -- Complex transitive closure queries on a fragmented graph -- Multiple SIP strategies and bottom-up adorning in logic query optimization -- On estimating the size of projections -- Static estimation of query sizes in horn programs. |
| Record Nr. | UNISA-996465386703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Nested Relations and Complex Objects in Databases [[electronic resource] /] / edited by Serge Abiteboul, Patrick C. Fischer, Hans-Jörg Schek
| Nested Relations and Complex Objects in Databases [[electronic resource] /] / edited by Serge Abiteboul, Patrick C. Fischer, Hans-Jörg Schek |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Database management
Information storage and retrieval Database Management Information Storage and Retrieval |
| ISBN | 3-540-46175-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The advanced information management prototype -- Verso: A database machine based on nested relations -- The two roles of nested relations in the DASDBS project -- A storage structure for Nested Relational Databases -- Four views of complex objects: A sophisticate's introduction -- An introduction to the completeness of languages for complex objects and nested relations -- On the uniqueness of nested relations -- An introduction to the Nested Sequences of Tuples data model and algebra -- Recursively defined complex objects -- Query languages for Nested Relational Databases -- Nested relations and recursive queries -- Realization of nested relation interfaces for relational and network databases -- An approach to manage large inheritance networks within a DBS supporting nested relations -- On the normalization in Nested Relational Databases -- Complex objects modeling: An entity-relationship approach -- A data model for complex objects based on a semantic database model and nested relations -- ?-Acyclic database schemes and nested relations. |
| Record Nr. | UNISA-996465641903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Personal Analytics and Privacy. An Individual and Collective Perspective [[electronic resource] ] : First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers / / edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul
| Personal Analytics and Privacy. An Individual and Collective Perspective [[electronic resource] ] : First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers / / edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXIV, 159 p. 37 illus.) |
| Disciplina | 005.8 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computers
Application software Computer security Computers and civilization Information Systems and Communication Service Computer Appl. in Social and Behavioral Sciences Systems and Data Security Computers and Society |
| ISBN | 3-319-71970-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Your Privacy, My Privacy? On Leakage Risk Assessment in Online Social Networks -- From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems -- Assessing Privacy Risk in Retail Data.- Differential Privacy and Neural Networks -- Co-clustering for Differentially Private Synthetic Data Generation -- Evaluating the Impact of Friends in Predicting User's Availability in Online Social Networks -- Movement Behaviour Recognition for Water Activities -- Automatic Recognition of Public Transport Trips from Mobile Device Sensor Data and Transport Infrastructure Information -- Guess the Movie - Linking Facebook Pages to IMDb Movies -- Research on Online Digital Cultures - Community Extraction and Analysis by Markov and k-Means Clustering -- Churn Prediction Using Dynamic RFM-Augmented Node2vec -- Multi-scale Community Detection in Temporal Networks Using Spectral Graph Wavelets -- Influence Maximization-based Event Organization on Social Networks. |
| Record Nr. | UNISA-996466423103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Personal Analytics and Privacy. An Individual and Collective Perspective : First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers / / edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul
| Personal Analytics and Privacy. An Individual and Collective Perspective : First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers / / edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXIV, 159 p. 37 illus.) |
| Disciplina | 005.8 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computers
Application software Computer security Computers and civilization Information Systems and Communication Service Computer Appl. in Social and Behavioral Sciences Systems and Data Security Computers and Society |
| ISBN | 3-319-71970-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Your Privacy, My Privacy? On Leakage Risk Assessment in Online Social Networks -- From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems -- Assessing Privacy Risk in Retail Data.- Differential Privacy and Neural Networks -- Co-clustering for Differentially Private Synthetic Data Generation -- Evaluating the Impact of Friends in Predicting User's Availability in Online Social Networks -- Movement Behaviour Recognition for Water Activities -- Automatic Recognition of Public Transport Trips from Mobile Device Sensor Data and Transport Infrastructure Information -- Guess the Movie - Linking Facebook Pages to IMDb Movies -- Research on Online Digital Cultures - Community Extraction and Analysis by Markov and k-Means Clustering -- Churn Prediction Using Dynamic RFM-Augmented Node2vec -- Multi-scale Community Detection in Temporal Networks Using Spectral Graph Wavelets -- Influence Maximization-based Event Organization on Social Networks. |
| Record Nr. | UNINA-9910484982803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||