-
1eBook
Συνεισφορές: Kim, Byung-Gyu, Sekiya, Hiroo, Lee, Deokwoo
Θεματικοί όροι: Open Access, Machine Learning Algorithm, Mobile Information Processing Systems, Computer Vision Representations, Multimedia Information Systems, Artificial intelligence, Human Computer Interaction (HCI), Visualization, Theory and Algorithms for Application Domains, Graphical and digital media applications, Image processing, Virtual reality, Augmented reality (AR), Human–computer interaction
Περιγραφή αρχείου: application/pdf
Relation: Communications in Computer and Information Science; Computer Science; Computer Science (R0)
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/108690
-
2eBook
Συνεισφορές: Kim, Byung-Gyu, Sekiya, Hiroo, Lee, Deokwoo
Θεματικοί όροι: Open Access, Machine Learning Algorithm, Mobile Information Processing Systems, Computer Vision Representations, Multimedia Information Systems, Artificial intelligence, Human Computer Interaction (HCI), Visualization, Theory and Algorithms for Application Domains, Graphical and digital media applications, Image processing, Virtual reality, Augmented reality (AR), Human–computer interaction
Περιγραφή αρχείου: image/jpeg
Relation: Communications in Computer and Information Science; Computer Science; Computer Science (R0)
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/169625
https://library.oapen.org/handle/20.500.12657/108690
https://library.oapen.org/bitstream/20.500.12657/108690/1/9789819531417.pdf -
3Conference
Συγγραφείς: Matsubara, Tomoya, Sugimoto, Maki, Saito, Hideo
Πηγή: 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) VRW Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), 2024 IEEE Conference on. :559-564 Mar, 2024
Relation: 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)
-
4eBook
Συνεισφορές: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
Περιγραφή αρχείου: image/png; image/jpeg
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/144770
https://library.oapen.org/handle/20.500.12657/93255
https://library.oapen.org/bitstream/20.500.12657/93255/1/978-3-031-71177-0.pdf -
5Conference
Συγγραφείς: Froese, Henri, Hoefer, Martin, Wilhelmi, Lisa
Συνεισφορές: Henri Froese and Martin Hoefer and Lisa Wilhelmi
Πηγή: Saarbrücken/Wadern, : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 330, 2:[1]-2:16 (2025). doi:10.4230/LIPICS.SAND.2025.2
4th Symposium on Algorithmic Foundations of Dynamic Networks : SAND 2025, June 9–11, 2025, Liverpool, GB / Edited by Kitty Meeks, Christian Scheideler
4th Symposium on Algorithmic Foundations of Dynamic Networks : SAND 2025, June 9–11, 2025, Liverpool, GB / Edited by Kitty Meeks, Christian Scheideler4. Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2025, Liverpool, UK, 2025-06-09-2025-06-11Θεματικοί όροι: Financial Networks, Debt Swap, Local Search, ddc:004, Networks → Network algorithms, Theory of computation → Theory and algorithms for application domains
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συγγραφείς: Iasonas Nikolaou, Evimaria Terzi
Πηγή: Proceedings of the ACM Web Conference 2024. :2417-2428
Θεματικοί όροι: Social Networks, Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Theory of Computation, Computer Science - Social and Information Networks, Theory and Algorithms for Application Domains, Algorithmic Game Theory and Mechanism Design
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2403.00859
-
7Academic Journal
Συγγραφείς: Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Πηγή: Proceedings of the ACM on Management of Data. 2:1-16
Θεματικοί όροι: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Theory of computation, Theory and algorithms for application domains, Database theory, Data provenance, Datalog, Provenance, Databases (cs.DB), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2303.12773
-
8Conference
Συγγραφείς: Feldman, Michal, Mauras, Simon, Mohan, Divyarthi, Reiffenhäuser, Rebecca
Συνεισφορές: Tel Aviv University (TAU), IA coopérative : équité, vie privée, incitations (FAIRPLAY), Centre de Recherche en Économie et Statistique (CREST), Ecole Nationale de la Statistique et de l'Analyse de l'Information Bruz (ENSAI), Groupe des Écoles Nationales d'Économie et Statistique (GENES)-Groupe des Écoles Nationales d'Économie et Statistique (GENES)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-École Nationale de la Statistique et de l'Administration Économique (ENSAE Paris), Groupe des Écoles Nationales d'Économie et Statistique (GENES)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Ecole Nationale de la Statistique et de l'Analyse de l'Information Bruz (ENSAI), Groupe des Écoles Nationales d'Économie et Statistique (GENES)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Criteo AI Lab, Criteo Paris -Criteo Paris -Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Boston University Boston (BU), Universiteit van Amsterdam = University of Amsterdam (UvA), This work was supported in part by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No. 866132
Πηγή: EC 2025 - 26th ACM Conference on Economics and Computation ; https://hal.science/hal-05225654 ; EC 2025 - 26th ACM Conference on Economics and Computation, Jul 2025, Stanford, United States. pp.189-205, ⟨10.1145/3736252.3742518⟩
Θεματικοί όροι: Interdependent Valuations, Combinatorial Auctions, Online Algorithms, CCS Concepts: • Theory of computation → Theory and algorithms for application domains, Algorithmic game theory and mechanism design, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Θέμα γεωγραφικό: Stanford, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2507.23500; ARXIV: 2507.23500
-
9Conference
Συγγραφείς: Huynh, Brandon, Orlosky, Jason, Hollerer, Tobias
Πηγή: 2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR) Virtual Reality and 3D User Interfaces (VR), 2019 IEEE Conference on. :1606-1611 Mar, 2019
Relation: 2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR)
-
10eBook
Συνεισφορές: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/93255
-
11Conference
Συνεισφορές: Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Equipe COgnition, Models and Machines for Engaging Digital Interactive Applications (Lab-STICC_COMMEDIA), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), École Nationale d'Ingénieurs de Brest (ENIB), Michael Sioutis, Pietro Sala, Fusheng Wang
Πηγή: LIPIcs ; 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) ; https://hal.science/hal-04731383 ; 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Oct 2024, Montpellier, France. pp.10:1-10:16, ⟨10.4230/LIPIcs.TIME.2024.10⟩
Θεματικοί όροι: Theory of computation → Theory and algorithms for application domains, Cognition, Narration, Knowledge Representation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Θέμα γεωγραφικό: Montpellier, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2410.08597; ARXIV: 2410.08597
-
12Academic Journal
Συγγραφείς: Angles, Renzo, Bonifati, Angela, Dumbrava, Stefania, Fletcher, George, Hare, Keith, Hidders, Jan, Lee, Victor, Li, Bei, Libkin, Leonid, Martens, Wim, Murlak, Filip, Perryman, Josh, Savković, Ognjen, Schmidt, Michael, Sequeda, Juan, Staworko, Slawomir, Tomaszuk, Dominik
Συνεισφορές: Staworko, Slawomir
Πηγή: Angles, R, Bonifati, A, Dumbrava, S, Fletcher, G, Hare, K W, Hidders, J, Lee, V E, Li, B, Libkin, L, Martens, W, Murlak, F, Perryman, J, Savković, O, Schmidt, M, Sequeda, J, Staworko, S & Tomaszuk, D 2021, PG-Keys: Keys for Property Graphs . in Proceedings of the 2021 International Conference on Management of Data (SIGMOD ’21) . pp. 2423-2436, ACM SIGMOD/PODS International Conference on Management Data, Xi'an, China, 20/06/21 . https://doi.org/10.1145/3448016.3457561
Θεματικοί όροι: Theory and algorithms for application domains, Database theory, key constraints, Database management system engines, 02 engineering and technology, Information system, Database constraints theory, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Integrity checking, Data management systems, property graphs, Theory of computation, Data modeling
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3448016.3457561
https://inria.hal.science/hal-03189192v1
https://doi.org/10.1145/3448016.3457561
https://inria.hal.science/hal-03189192v1/document
https://2021.sigmod.org/sigmod_industrial_list.shtml#6
https://dblp.uni-trier.de/db/conf/sigmod/sigmod2021.html#AnglesBDFHHLLLM21
https://doi.org/10.1145/3448016.3457561
https://hdl.handle.net/20.500.11820/c6fa988f-78c6-4647-b49d-c36473e6d74d
https://www.pure.ed.ac.uk/ws/files/203073446/PG_KEYS_ANGLES_DOA05032021_AFV.pdf -
13Conference
Συγγραφείς: Huynh, Brandon, Orlosky, Jason, Hollerer, Tobias
Πηγή: 2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR) Virtual Reality and 3D User Interfaces (VR), 2019 IEEE Conference on. :986-987 Mar, 2019
Relation: 2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR)
-
14Academic Journal
Συγγραφείς: Funke, Daniel, Hüning, Nicolai, Sanders, Peter
Συνεισφορές: Daniel Funke and Nicolai Hüning and Peter Sanders, Gørtz, Inge Li, Farach-Colton, Martin, Puglisi, Simon J., Herman, Grzegorz
Θεματικοί όροι: Computational Geometry (cs.CG), FOS: Computer and information sciences, sweepline algorithms, 4. Education, Theory of computation → Theory and algorithms for application domains, 15. Life on land, Geo-information systems, 13. Climate action, Computer Science - Data Structures and Algorithms, computational geometry, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), 14. Life underwater, ddc:004
Περιγραφή αρχείου: application/pdf
-
15Conference
Συγγραφείς: Angelopoulos, Spyros
Συνεισφορές: Spyros Angelopoulos, Angelopoulos, Spyros
Θεματικοί όροι: consistency and robustness, Search problems, Computer Science - Data Structures and Algorithms, competitive ratio, line and star search, Theory of computation → Theory and algorithms for application domains, [INFO] Computer Science [cs], ddc:004, predictions, Theory of computation → Online algorithms
Περιγραφή αρχείου: application/pdf
-
16Conference
Συγγραφείς: Paz, Ami, Peterfreund, Liat
Συνεισφορές: Systèmes Parallèles - LISN (ParSys), Algorithmes, Apprentissage et Calcul (AAC), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Gaspard-Monge (LIGM), École nationale des ponts et chaussées (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel
Πηγή: FUN'22 - 11th International Conference on Fun with Algorithms ; https://hal.science/hal-04288778 ; FUN'22 - 11th International Conference on Fun with Algorithms, May 2022, Favignana, Italy. ⟨10.4230/LIPIcs.FUN.2022.23⟩
Θεματικοί όροι: Guess Who?, Binary Search, Error Correcting Codes, Erasure Codes, Theory of computation → Representations of games and their complexity, Theory of computation → Sorting and searching, Theory of computation → Theory and algorithms for application domains, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
17Academic Journal
Συγγραφείς: Henzinger, Monika, Peale, Charlotte, Reingold, Omer, Shen, Judy Hanwen
Συνεισφορές: Monika Henzinger and Charlotte Peale and Omer Reingold and Judy Hanwen Shen, Celis, L. Elisa
Θεματικοί όροι: FOS: Computer and information sciences, cohort selection, 4. Education, leximin, fairness, 0102 computer and information sciences, 02 engineering and technology, Theory of computation → Theory and algorithms for application domains, 01 natural sciences, 3. Good health, 102031 Theoretische Informatik, maxmin, Computer Science - Computers and Society, 102031 Theoretical computer science, Computer Science - Data Structures and Algorithms, Computers and Society (cs.CY), 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), ddc:004, 10. No inequality
Περιγραφή αρχείου: application/pdf
-
18Academic Journal
Συγγραφείς: Karni, Gili, Rothblum, Guy N., Yona, Gal
Συνεισφορές: Gili Karni and Guy N. Rothblum and Gal Yona, Braverman, Mark
Θεματικοί όροι: FOS: Computer and information sciences, 02 engineering and technology, Theory of computation → Theory and algorithms for application domains, algorithmic fairness, 01 natural sciences, 3. Good health, Computer Science - Computers and Society, Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, Computers and Society (cs.CY), 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), ddc:004, 0101 mathematics, Computer Science and Game Theory (cs.GT)
Περιγραφή αρχείου: application/pdf
-
19Conference
Συγγραφείς: Acharyya, Ankush, Jallu, Ramesh, Löffler, Maarten, Meijer, Gert, Saumell, Maria, I. Silveira, Rodrigo, Staals, Frank, Raj Tiwary, Hans
Συνεισφορές: Ankush Acharyya and Ramesh K. Jallu and Maarten Löffler and Gert G.T. Meijer and Maria Saumell and Rodrigo I. Silveira and Frank Staals, Sub Geometric Computing, Geometric Computing, Janowicz, Krzysztof, Verstegen, Judith A.
Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
11th International Conference on Geographic Information Science (GIScience 2021)-Part IIΘεματικοί όροι: Viewshed complexity, Classificació AMS::68 Computer science::68U Computing methodologies and applications, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], Theory of computation → Theory and algorithms for application domains, Computing methodologies, Triangulated irregular network, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Informàtica, Polyhedral Terrain, Visibility, Digital elevation model, 68 Computer science::68U Computing methodologies and applications [Classificació AMS], ddc:004
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://research-portal.uu.nl/en/publications/6825fa18-3046-4233-b1bf-1100959069a0
https://doi.org/10.4230/LIPIcs.GIScience.2021.II.10
https://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-06696
https://drops.dagstuhl.de/opus/volltexte/2021/14769/pdf/LIPIcs-GIScience-2021-II-10.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14769/
https://dblp.uni-trier.de/db/conf/giscience/giscience2021-2.html#AcharyyaJLMSSS21
https://arxiv.org/abs/2103.06696
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2021.II.10
http://hdl.handle.net/11104/0324652
https://dspace.library.uu.nl/handle/1874/423338 -
20Academic Journal
Συγγραφείς: Bonifati, Angela, Dumbrava, Stefania, Fletcher, George, Hidders, Jan, Hofer, Matthias, Martens, Wim, Murlak, Filip, Shinavier, Joshua, Staworko, Slawomir, Tomaszuk, Dominik
Συνεισφορές: Base de Données (BD), Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Institut Polytechnique de Paris (IP Paris), Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (ACMES-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), Eindhoven University of Technology Eindhoven (TU/e), Birkbeck College University of London, Universität Bayreuth Deutschland = University of Bayreuth Germany = Université de Bayreuth Allemagne, Uniwersytet Warszawski Polska = University of Warsaw Poland = Université de Varsovie Pologne (UW), Linking Dynamic Data (LINKS), Centre Inria de l'Université de Lille, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), University of Bialystok, Réponse efficace aux requêtes sous mises à jourEQUUS - ANR-19-CE48-0019AAPG2019 - 2019, ANR-21-CE48-0015,VeriGraph,Requêtes et transformations vérifiables pour les graphes(2021)
Πηγή: ISSN: 2150-8097.
Θεματικοί όροι: Information systems, Data management systems, Database management system engines, Database query processing, Query languages, Theory of computation, Theory and algorithms for application domains, Database theory, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]