المؤلفون: Goswami, Prashant, 1980

المصدر: Computer graphics forum (Print). 43(2)

مصطلحات موضوعية: CCS concepts, snow, ice, procedural animation, computer graphics, CG, Computing methodologies → Physical simulation

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-26124Test
https://doi.org/10.1111/cgf.15059Test
https://bth.diva-portal.org/smash/get/diva2:1853187/FULLTEXT01.pdfTest

المؤلفون: Gottlob, Georg, Lanzinger, Matthias, Okulmus, Cem, Pichler, Reinhard

المصدر: ACM Transactions on Database Systems. 49(1)

مصطلحات موضوعية: CCS Concepts, Information systems, Relational database query languages, Mathematics of computing, Hypergraphs, Computing methodologies, Parallel algorithms

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-223094Test
https://doi.org/10.1145/3638758Test
https://umu.diva-portal.org/smash/get/diva2:1850455/FULLTEXT01.pdfTest

المؤلفون: Boutalbi, Karima, Boutalbi, Rafika, Verjus, Hervé, Salamatian, Kave

المساهمون: Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry ), éQuipe d'AppRentissage de MArseille (QARMA), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: The ACM Web Conference 2024 ; https://hal.science/hal-04547942Test ; The ACM Web Conference 2024, May 2024, Singapoore, Singapore. ⟨10.1145/3589335.3651519⟩

مصطلحات موضوعية: CCS CONCEPTS Unsupervised learning • Clustering → Graph clustering • NLP → Word embedding • Representation learning → Tensor Hierarchical clustering, Tensor, Graphs, Data representation, CCS CONCEPTS, Unsupervised learning, • Clustering → Graph clustering, • NLP → Word embedding, • Representation learning → Tensor, Hierarchical clustering, [SHS.INFO]Humanities and Social Sciences/Library and information sciences

جغرافية الموضوع: Singapoore, Singapore

العلاقة: hal-04547942; https://hal.science/hal-04547942Test; https://hal.science/hal-04547942/documentTest; https://hal.science/hal-04547942/file/WWW_H_TGM%20%282%29.pdfTest

الإتاحة: https://doi.org/10.1145/3589335.3651519Test
https://hal.science/hal-04547942Test
https://hal.science/hal-04547942/documentTest
https://hal.science/hal-04547942/file/WWW_H_TGM%20%282%29.pdfTest

المؤلفون: de Frutos-Fernández, María Inés, Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo

المساهمون: Universidad Autónoma de Madrid (UAM), Combinatoire, théorie des nombres (CTN), Institut Camille Jordan (ICJ), É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)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), CA1/RSUE/2021-00623 of the Spanish Ministry ofUniversities, the Recovery, Transformation and Resilience Plan, and Universidad Autónoma de Madrid., Appel à Projets Recherche UJM 2023 of Université Jean Monnet Saint-Étienne, ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010)

المصدر: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)
https://ujm.hal.science/ujm-04222610Test
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩
https://popl24.sigplan.org/home/CPP-2024Test

مصطلحات موضوعية: Logic and verification, Proof theory formal mathematics, Lean, mathlib, algebraic number theory, local fields, discrete valuation rings, Theory of computation, CCS Concepts: Theory of computation → Logic and verification, Proof theory formal mathematics Lean mathlib algebraic number theory local fields discrete valuation rings, CCS Concepts, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

جغرافية الموضوع: London, United Kingdom

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ujm-04222610; https://ujm.hal.science/ujm-04222610Test; https://ujm.hal.science/ujm-04222610v3/documentTest; https://ujm.hal.science/ujm-04222610v3/file/deFrutosFerandez%26Nuccio-A%20Formalization%20of%20Complete%20DVR%20and%20Local%20Fields.pdfTest; ARXIV: 2310.01998

الإتاحة: https://doi.org/10.1145/3636501.3636942Test
https://ujm.hal.science/ujm-04222610Test
https://ujm.hal.science/ujm-04222610v3/documentTest
https://ujm.hal.science/ujm-04222610v3/file/deFrutosFerandez%26Nuccio-A%20Formalization%20of%20Complete%20DVR%20and%20Local%20Fields.pdfTest

المؤلفون: Pham, Thi Hoang Thi, Molli, Pascal, Skaf-Molli, Hala, Nédelec, Brice

المساهمون: Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Gestion de Données Distribuées (LS2N - équipe GDD), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), ACM, ANR-22-CE23-0021,MeKaNo,Interroger le Web avec des Concepts(2022)

المصدر: WWW ’24 Companion, May 13–17, 2024, Singapore, Singapore ; https://hal.science/hal-04552420Test ; WWW ’24 Companion, May 13–17, 2024, Singapore, Singapore, ACM, May 2024, Singapore, Singapore. ⟨10.1145/3589335.3651543⟩

مصطلحات موضوعية: CCS CONCEPTS Information systems → Database query processing SPARQL Sampling Federation Summary, CCS CONCEPTS, Information systems → Database query processing SPARQL, Sampling, Federation, Summary, [INFO]Computer Science [cs]

جغرافية الموضوع: Singapore

العلاقة: hal-04552420; https://hal.science/hal-04552420Test; https://hal.science/hal-04552420/documentTest; https://hal.science/hal-04552420/file/paper.pdfTest

الإتاحة: https://doi.org/10.1145/3589335.3651543Test
https://hal.science/hal-04552420Test
https://hal.science/hal-04552420/documentTest
https://hal.science/hal-04552420/file/paper.pdfTest

المؤلفون: Nasser, Hadi, El Zein, Dima, da Costa Pereira, Célia, Escazut, Cathy, Tettamanzi, Andrea G. B.

المساهمون: Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Paul D. Clough, Morgan Harvey, Frank Hopfgartner

المصدر: Proceedings of the 2024 ACM SIGIR Conference on Human Information Interaction and Retrieval, CHIIR 2024, Sheffield, United Kingdom, March 10-14, 2024 ; CHIIR '24: 2024 ACM SIGIR Conference on Human Information Interaction and Retrieval ; https://inria.hal.science/hal-04567545Test ; CHIIR '24: 2024 ACM SIGIR Conference on Human Information Interaction and Retrieval, Mar 2024, Sheffield - UK, United Kingdom. pp.364-369, ⟨10.1145/3627508.3638331⟩

مصطلحات موضوعية: CCS Concepts: Information systems → Information retrieval Information retrieval • Human-centered computing → Human computer interaction (HCI) Search-As-Learning, User Knowledge, Knowledge Graphs, Interactive IR, Retrieval system ACM, CCS Concepts, Information systems → Information retrieval, Information retrieval, • Human-centered computing → Human computer interaction (HCI) Search-As-Learning, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Sheffield - UK, United Kingdom

العلاقة: hal-04567545; https://inria.hal.science/hal-04567545Test; https://inria.hal.science/hal-04567545/documentTest; https://inria.hal.science/hal-04567545/file/Association_for_Computing_Machinery__ACM____SIG_Proceedings_Template__2_.pdfTest

الإتاحة: https://doi.org/10.1145/3627508.3638331Test
https://inria.hal.science/hal-04567545Test
https://inria.hal.science/hal-04567545/documentTest
https://inria.hal.science/hal-04567545/file/Association_for_Computing_Machinery__ACM____SIG_Proceedings_Template__2_.pdfTest

المؤلفون: Bautista, Esteban, Brisson, Laurent, Bothorel, Cécile, Smits, Grégory

المساهمون: 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), Département Logique des Usages, Sciences sociales et Sciences de l'Information (IMT Atlantique - LUSSI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Lab-STICC_IMTA_CID_DECIDE, 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), Département Informatique (IMT Atlantique - INFO), Equipe MOTEL (Lab-STICC_MOTEL)

المصدر: The 17th ACM International Conference on Web Search and Data Mining ; https://hal.science/hal-04361052Test ; The 17th ACM International Conference on Web Search and Data Mining, Mar 2024, Mérida (Yucatan), Mexico. ⟨10.1145/3616855.3635834⟩

مصطلحات موضوعية: CCS CONCEPTS Information systems → Data stream mining Social networks Traffic analysis • Security and privacy → Intrusion/anomaly detection and malware mitigation anomaly detection, temporal networks, model interpretability, CCS CONCEPTS, Information systems → Data stream mining, Social networks, Traffic analysis, • Security and privacy → Intrusion/anomaly detection and malware mitigation anomaly detection, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Mérida (Yucatan), Mexico

العلاقة: hal-04361052; https://hal.science/hal-04361052Test; https://hal.science/hal-04361052/documentTest; https://hal.science/hal-04361052/file/MAD_Paper.pdfTest

الإتاحة: https://doi.org/10.1145/3616855.3635834Test
https://hal.science/hal-04361052Test
https://hal.science/hal-04361052/documentTest
https://hal.science/hal-04361052/file/MAD_Paper.pdfTest

المؤلفون: Haddad, Alexandre, Bailly, Gilles, Taouachi, Rabah, Choussy, Olivier, Avellino, Ignacio

المساهمون: Institut Curie Paris, Institut des Systèmes Intelligents et de Robotique (ISIR), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Sorbonne Université (SU), AFIHM, Sorbonne Université

المصدر: IHM'24 - 35e Conférence Internationale Francophone sur l'Interaction Humain-Machine ; https://hal.science/hal-04487266Test ; IHM'24 - 35e Conférence Internationale Francophone sur l'Interaction Humain-Machine, AFIHM; Sorbonne Université, Mar 2024, Paris, France

مصطلحات موضوعية: surgery, video summarization, endoscopic video, collaborative video editing, video tags, chirurgie, résumés vidéo, chirurgie endoscopique, montage vidéo collaborative, tags vidéo, CCS Concepts: Human-centered computing → Collaborative and social computing, Interaction design process and methods chirurgie résumés vidéo chirurgie endoscopique montage vidéo collaborative tags vidéo surgery video summarization endoscopic video collaborative video editing video tags, CCS Concepts, Human-centered computing → Collaborative and social computing, Interaction design process and methods chirurgie, tags vidéo surgery, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

جغرافية الموضوع: Paris, France

العلاقة: hal-04487266; https://hal.science/hal-04487266Test; https://hal.science/hal-04487266v2/documentTest; https://hal.science/hal-04487266v2/file/Haddad%20et%20al.%20-%202024%20-%20Utilisation%20de%20Tags.pdfTest

الإتاحة: https://hal.science/hal-04487266Test
https://hal.science/hal-04487266v2/documentTest
https://hal.science/hal-04487266v2/file/Haddad%20et%20al.%20-%202024%20-%20Utilisation%20de%20Tags.pdfTest

المؤلفون: Blettery, Emile, Gouet-Brunet, Valérie

المساهمون: Laboratoire sciences et technologies de l'information géographique (LaSTIG), Ecole des Ingénieurs de la Ville de Paris (EIVP)-École nationale des sciences géographiques (ENSG), Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel-Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel, ANRT Cifre 2019/1841HPC resources from GENCI-IDRIS (grant 2022-AD011013510R1)

المصدر: ISSN: 1556-4673 ; Journal on Computing and Cultural Heritage ; https://hal.science/hal-04593736Test ; Journal on Computing and Cultural Heritage, 2024, 37 (4), pp.1-34. ⟨10.1145/3666007⟩.

مصطلحات موضوعية: CCS Concepts: Information systems → Top-k retrieval in databases Image search • Human-centered computing → Interactive systems and tools Visualization • Applied computing → Arts and humanities Image retrieval, Re-ranking, Data linking, Graph visualization, Geographical iconographic heritage, CCS Concepts, Information systems → Top-k retrieval in databases, Image search, • Human-centered computing → Interactive systems and tools, Visualization, • Applied computing → Arts and humanities Image retrieval, [SHS.INFO]Humanities and Social Sciences/Library and information sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [SHS.MUSEO]Humanities and Social Sciences/Cultural heritage and museology

العلاقة: hal-04593736; https://hal.science/hal-04593736Test; https://hal.science/hal-04593736/documentTest; https://hal.science/hal-04593736/file/JOCCH_Submission_Final.pdfTest

الإتاحة: https://doi.org/10.1145/3666007Test
https://hal.science/hal-04593736Test
https://hal.science/hal-04593736/documentTest
https://hal.science/hal-04593736/file/JOCCH_Submission_Final.pdfTest

المؤلفون: Faggian, Claudia, Daniele, Pautasso, Gabriele, Vanoni

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Dipartimento di Informatica Torino, Università degli studi di Torino = University of Turin (UNITO)

المصدر: Proc. ACM Program. Lang ; https://hal.science/hal-04337161Test ; Proc. ACM Program. Lang, In press, POPL 2024, ⟨10.1145/363292⟩

مصطلحات موضوعية: CCS Concepts: Theory of computation → Lambda calculus Probabilistic computation Linear logic Type theory Denotational semantics intersection types, bounds, Bayesian networks, probabilistic programming, programming languages, geometry of interaction, CCS Concepts, Theory of computation → Lambda calculus, Probabilistic computation, Linear logic, Type theory, Denotational semantics, intersection types, [INFO]Computer Science [cs]

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2311.04651; hal-04337161; https://hal.science/hal-04337161Test; https://hal.science/hal-04337161/documentTest; https://hal.science/hal-04337161/file/2311.04651.pdfTest; ARXIV: 2311.04651

الإتاحة: https://doi.org/10.1145/363292Test
https://hal.science/hal-04337161Test
https://hal.science/hal-04337161/documentTest
https://hal.science/hal-04337161/file/2311.04651.pdfTest