AI 2018: Advances in Artificial Intelligence [[electronic resource] ] : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / / edited by Tanja Mitrovic, Bing Xue, Xiaodong Li |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIX, 857 p. 288 illus., 199 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Algorithms Optical data processing Special purpose computers Computers Artificial Intelligence Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Special Purpose and Application-Based Systems Models and Principles |
ISBN | 3-030-03991-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466472103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
AIxIA 2023 – Advances in Artificial Intelligence [[electronic resource] ] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini |
Autore | Basili Roberto |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (499 pages) |
Disciplina | 006.3 |
Altri autori (Persone) |
LemboDomenico
LimongelliCarla OrlandiniAndrea |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science Software engineering Application software Computers, Special purpose Compilers (Computer programs) Artificial Intelligence Theory of Computation Software Engineering Computer and Information Systems Applications Special Purpose and Application-Based Systems Compilers and Interpreters |
ISBN | 3-031-47546-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Argumentation and Logic Programming -- ABALearn: An automated logic-based learning system for ABA frameworks -- Deriving Dependency Graphs from Abstract Argumentation Frameworks -- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming -- Mining contrast sequential patterns with ASP -- Ontologies -- An ontological modelling of reason-based preferences -- A Defeasible Description Logic for Abduction -- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry -- Planning -- A Structure-Sensitive Translation from Hybrid to Numeric Planning -- Intrinsically Motivated High-Level Planning for Agent Exploration -- Natural Language Processing -- Mining Argument Components in Essays at Different Levels -- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations -- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian -- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements -- Machine Learning -- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector -- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning -- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks -- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups -- A multi-label classification study for the prediction of long-covid syndrome -- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL -- Robotics and Perception -- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition -- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements -- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study -- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion -- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario -- Hybrid AI -- Inference in Probabilistic Answer Set Programming under the Credal Semantics -- Efficient Modal Decision Trees -- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures -- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language -- Applications of AI -- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings -- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries -- Towards Automatic Digitalization of Railway Engineering Schematics -- Election Manipulation in Social Networks with Single-Peaked Agents -- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study. |
Record Nr. | UNINA-9910760265703321 |
Basili Roberto
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
AIxIA 2023 – Advances in Artificial Intelligence [[electronic resource] ] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini |
Autore | Basili Roberto |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (499 pages) |
Disciplina | 006.3 |
Altri autori (Persone) |
LemboDomenico
LimongelliCarla OrlandiniAndrea |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science Software engineering Application software Computers, Special purpose Compilers (Computer programs) Artificial Intelligence Theory of Computation Software Engineering Computer and Information Systems Applications Special Purpose and Application-Based Systems Compilers and Interpreters |
ISBN | 3-031-47546-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Argumentation and Logic Programming -- ABALearn: An automated logic-based learning system for ABA frameworks -- Deriving Dependency Graphs from Abstract Argumentation Frameworks -- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming -- Mining contrast sequential patterns with ASP -- Ontologies -- An ontological modelling of reason-based preferences -- A Defeasible Description Logic for Abduction -- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry -- Planning -- A Structure-Sensitive Translation from Hybrid to Numeric Planning -- Intrinsically Motivated High-Level Planning for Agent Exploration -- Natural Language Processing -- Mining Argument Components in Essays at Different Levels -- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations -- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian -- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements -- Machine Learning -- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector -- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning -- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks -- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups -- A multi-label classification study for the prediction of long-covid syndrome -- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL -- Robotics and Perception -- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition -- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements -- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study -- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion -- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario -- Hybrid AI -- Inference in Probabilistic Answer Set Programming under the Credal Semantics -- Efficient Modal Decision Trees -- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures -- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language -- Applications of AI -- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings -- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries -- Towards Automatic Digitalization of Railway Engineering Schematics -- Election Manipulation in Social Networks with Single-Peaked Agents -- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study. |
Record Nr. | UNISA-996565872303316 |
Basili Roberto
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 602 p.) |
Disciplina | 005.1/01/512 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Computer logic Special purpose computers Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
ISBN | 3-540-69661-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Software configuration with information systems -- Head-tactics simplification -- Iteration 2-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive subsorted partial logic in CASL -- Specification of timing constraints within the circal process algebra -- On the specification and verification of performance properties for a timed process algebra -- Abstract interpretation of algebraic polynomial systems (Extended abstract) -- Modular refinement and model building -- A linear temporal logic approach to objects with transactions -- Software design, specification, and verification: Lessons learned from the Rether case study -- Refinement rules for real-time multi-tasking programs -- Rigorous object-oriented modeling: Integrating formal and informal notations -- Completeness in abstract interpretation: A domain perspective -- Floating point verification in HOL light: The exponential function -- Verification of distributed real-time and fault-tolerant protocols -- Invariants, bisimulations and the correctness of coalgebraic refinements -- On bisimulation, fault-monotonicity and provable fault-tolerance -- Span(Graph): A categorical algebra of transition systems -- Representing place/transition nets in Span(Graph) -- Invariants of parameterized binary tree networks as greatest fixpoints -- Modelling specification construction by successive approximations -- On partial validation of logic programs -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method integration -- The update calculus -- Selective attribute elimination for categorical data specifications -- ATM switch design: Parametric high-level modeling and formal verification -- The hidden function question revisited -- Synchronization of logics with mixed rules: Completeness preservation -- Symbolic bisimulation for Full LOTOS -- Algebraic composition and refinement of proofs -- Ensuring streams flow -- Extending process languages with time -- Parametric analysis of computer systems -- CAMILA: Prototyping and refinement of constructive specifications -- PAMELA+PVS -- The circal system -- A refinement-type checker for standard ML -- Recording HOL proofs in a structured browsable format -- Analysing multi-agent system traces with IDaF -- DOVE: A tool for design oriented verification and evaluation -- The B method and the B toolkit -- An algebraic language processing environment -- The Cogito development system. |
Record Nr. | UNISA-996465392003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 602 p.) |
Disciplina | 005.1/01/512 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Computer logic Special purpose computers Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
ISBN | 3-540-69661-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Software configuration with information systems -- Head-tactics simplification -- Iteration 2-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive subsorted partial logic in CASL -- Specification of timing constraints within the circal process algebra -- On the specification and verification of performance properties for a timed process algebra -- Abstract interpretation of algebraic polynomial systems (Extended abstract) -- Modular refinement and model building -- A linear temporal logic approach to objects with transactions -- Software design, specification, and verification: Lessons learned from the Rether case study -- Refinement rules for real-time multi-tasking programs -- Rigorous object-oriented modeling: Integrating formal and informal notations -- Completeness in abstract interpretation: A domain perspective -- Floating point verification in HOL light: The exponential function -- Verification of distributed real-time and fault-tolerant protocols -- Invariants, bisimulations and the correctness of coalgebraic refinements -- On bisimulation, fault-monotonicity and provable fault-tolerance -- Span(Graph): A categorical algebra of transition systems -- Representing place/transition nets in Span(Graph) -- Invariants of parameterized binary tree networks as greatest fixpoints -- Modelling specification construction by successive approximations -- On partial validation of logic programs -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method integration -- The update calculus -- Selective attribute elimination for categorical data specifications -- ATM switch design: Parametric high-level modeling and formal verification -- The hidden function question revisited -- Synchronization of logics with mixed rules: Completeness preservation -- Symbolic bisimulation for Full LOTOS -- Algebraic composition and refinement of proofs -- Ensuring streams flow -- Extending process languages with time -- Parametric analysis of computer systems -- CAMILA: Prototyping and refinement of constructive specifications -- PAMELA+PVS -- The circal system -- A refinement-type checker for standard ML -- Recording HOL proofs in a structured browsable format -- Analysing multi-agent system traces with IDaF -- DOVE: A tool for design oriented verification and evaluation -- The B method and the B toolkit -- An algebraic language processing environment -- The Cogito development system. |
Record Nr. | UNINA-9910144902403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Methodology and Software Technology [[electronic resource] ] : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / / edited by Martin Wirsing, Maurice Nivat |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XIII, 647 p.) |
Disciplina | 005.1/2/015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Computer logic Mathematical logic Special purpose computers Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special Purpose and Application-Based Systems |
ISBN | 3-540-68595-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Two industrial trials of formal specification -- Industrial applications of ASF+SDF -- The embedded software of an electricity meter: An experience in using formal methods in an industrial project -- Applying research results in the industrial environment: The case of the TRIO specification language -- Using heterogeneous formal methods in distributed software engineering education -- Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language -- Toward a classification approach to design -- Semantic foundations for embedding HOL in Nuprl -- Free variable tableaux for a many sorted logic with preorders -- Automating induction over mutually recursive functions -- Pushouts of order-sorted algebraic specifications -- A formal framework for modules with state -- Object-oriented implementation of abstract data type specifications -- On the completeness of the equations for the Kleene star in bisimulation -- An equational axiomatization of observation congruence for prefix iteration -- Finite axiom systems for testing preorder and De Simone process languages -- Constructive semantics of Esterel: From theory to practice (abstract) -- Using ghost variables to prove refinement -- Tracing the origins of verification conditions -- Preprocessing for invariant validation -- Formal verification of Signal programs: Application to a power transformer station controller -- The discrete time toolbus -- A study on the specification and verification of performance properties -- Symbolic bisimulation for timed processes -- Approximative analysis by process algebra with graded spatial actions -- Boolean formalism and explanations -- Proving existential termination of normal logic programs -- Programming in Lygon: An overview -- Some characteristics of strong innermost normalization -- On the emergence of properties in component-based systems -- Algebraic view specification -- Towards heterogeneous formal specifications -- A categorical characterization of consistency results -- Algebraic specification of reactive systems -- A model for mobile point-to-point data-flow networks without channel sharing -- Coalgebraic specifications and models of deterministic hybrid systems -- A bounded retransmission protocol for large data packets -- SPECWARE: An advanced environment for the formal development of complex software systems -- Asspegique+ an integrated specification environment providing inter-operability of tools -- Towards integrating algebraic specification and functional programming: the Opal system -- InterACT: An interactive theorem prover for algebraic specifications -- A new proof-manager and graphic interface for the Larch Prover -- TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems -- The ToolBus coordination architecture -- ASD: The action semantic description tools -- Using occurrrence and evolving algebras for the specification of language-based programming tools -- ECHIDNA: A system for manipulating explicit choice higher dimensional automata -- Verification using PEP -- The Fc2tools set -- Programming in Lygon: A system demonstration -- CtCoq: A system presentation -- The Typelab specification and verification environment -- Incremental formalization -- Proplane: A specification development environment -- A logic-based technology to mechanize software components reuse -- TkGofer: A functional GUI library -- ALPHA — A class library for a metamodel based on algebraic graph theory -- Resolution of goals with the functional and logic programming language LPG: Impact of abstract interpretation -- Combining reductions and computations in ReDuX -- Conditional directed narrowing. |
Record Nr. | UNISA-996465664103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithm & SoC Design for Automotive Vision Systems [[electronic resource] ] : For Smart Safe Driving System / / edited by Jaeseok Kim, Hyunchul Shin |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 621.382 |
Soggetto topico |
Electronic circuits
Automotive engineering Special purpose computers Circuits and Systems Electronic Circuits and Devices Automotive Engineering Special Purpose and Application-Based Systems |
ISBN | 94-017-9075-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- 1 Introduction; Jae-seok Kim, Hyun-chul Shin -- 2 Lens Correction and Gamma Correction; Sang-Bock Cho -- 3 Super Resolution; Hyo-Moon Cho -- 4 Image enhancement for improving object recognition; Jae-Seok Kim -- 5 Detection of Vehicles and Pedestrians; Hyunchul Shin, Irfan Riaz -- 6 Monitoring Driver’s State and Predicting Unsafe Driving Behavior; Hang-Bong Kang -- 7 SoC Architecture for Automobile Vision System; Kyounghoon Kim, Kiyoung Choi -- 8 Hardware accelerator for feature point detection and Matching; Jun-Seok Park, Lee-Sup Kim -- 9 Software Development Environment for Automotive SoC; Jeonghun Cho -- 10 Reliability issues for automobile SoCs; Sungju Park. |
Record Nr. | UNINA-9910299740003321 |
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithmic Aspects of Cloud Computing [[electronic resource] ] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / / edited by Luca Foschini, Spyros Kontogiannis |
Autore | Foschini Luca |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (111 pages) |
Disciplina | 004.0151 |
Altri autori (Persone) | KontogiannisSpyros |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science
Computer networks Computers, Special purpose Data structures (Computer science) Information theory Application software Computer systems Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Data Structures and Information Theory Computer and Information Systems Applications Computer System Implementation |
Soggetto non controllato | Mathematics |
ISBN | 3-031-33437-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cloud-Based Urban Mobility Services -- SQL Query Optimization in Distributed NoSQL Databases for Cloud-based Applications -- MAGMA: Proposing a Massive Historical Graph Management System -- New Results in Priority-Based Bin Packing -- More Sparking Soundex-based Privacy-Preserving Record Linkage -- Privacy Preserving Queries of Shortest Path Distances. |
Record Nr. | UNISA-996534464703316 |
Foschini Luca
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithmic Aspects of Cloud Computing [[electronic resource] ] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / / edited by Luca Foschini, Spyros Kontogiannis |
Autore | Foschini Luca |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (111 pages) |
Disciplina | 004.0151 |
Altri autori (Persone) | KontogiannisSpyros |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science
Computer networks Computers, Special purpose Data structures (Computer science) Information theory Application software Computer systems Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Data Structures and Information Theory Computer and Information Systems Applications Computer System Implementation |
Soggetto non controllato | Mathematics |
ISBN | 3-031-33437-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cloud-Based Urban Mobility Services -- SQL Query Optimization in Distributed NoSQL Databases for Cloud-based Applications -- MAGMA: Proposing a Massive Historical Graph Management System -- New Results in Priority-Based Bin Packing -- More Sparking Soundex-based Privacy-Preserving Record Linkage -- Privacy Preserving Queries of Shortest Path Distances. |
Record Nr. | UNINA-9910728390403321 |
Foschini Luca
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithmic Aspects of Cloud Computing [[electronic resource] ] : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / / edited by Gianlorenzo D’Angelo, Othon Michail |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (95 pages) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer networks Computers, Special purpose Data structures (Computer science) Information theory Application software Computer systems Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Data Structures and Information Theory Computer and Information Systems Applications Computer System Implementation |
ISBN | 3-030-93043-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the Fault-Tolerant Online Bin Packing Problem -- R-SWAP: Relay based atomic cross-chain swap protocol -- New Results on Test-Cost Minimization in Database Migration -- Privately querying Privacy: privacy estimation with guaranteed privacy of user and database party -- Brief Announcement: On the Distributed Construction of Stable Networks in Polylogarithmic. |
Record Nr. | UNISA-996464527503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|