المؤلفون: Yong Li, Yotam Gingold, Shoaib Kamil, Alec Jacobson

المصدر: ACM Transactions on Graphics. 40:1-14

مصطلحات موضوعية: Syntax (programming languages), Programming language, Semantics (computer science), Computer science, NumPy, 020207 software engineering, 02 engineering and technology, computer.file_format, Python (programming language), computer.software_genre, 01 natural sciences, Computer Graphics and Computer-Aided Design, 010101 applied mathematics, Linear algebra, 0202 electrical engineering, electronic engineering, information engineering, Compiler, Executable, 0101 mathematics, computer, Markdown, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2d29ec769d79abf3bf92308f72e29f9f
https://doi.org/10.1145/3478513.3480506

المؤلفون: JhaSunil Kr., WangJinwei, ShiYun-Qing, HuangWei, LuoXiangyang

المصدر: ACM Transactions on Multimedia Computing, Communications, and Applications. 17:1-18

مصطلحات موضوعية: Computer Networks and Communications, Computer science, business.industry, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, computer.file_format, Image editing, computer.software_genre, JPEG, Amplitude, Hardware and Architecture, Feature (computer vision), Jpeg compression, Computer vision, Artificial intelligence, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::426763b3dce6c0e74e064af81d6b7ac6
https://doi.org/10.1145/3464388

المؤلفون: Fernando Magno Quintão Pereira, Guilherme Ottoni, Angélica Aparecida Moreira

المصدر: Proceedings of the ACM on Programming Languages. 5:1-28

مصطلحات موضوعية: Profiling (computer programming), Binary optimization, Computer science, business.industry, Propeller, Binary number, Context (language use), computer.file_format, computer.software_genre, Software, Computer engineering, Compiler, Executable, Safety, Risk, Reliability and Quality, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6ca310d7da4346b66eccbd3d01c562c2
https://doi.org/10.1145/3485521

المؤلفون: Kalyan Veeramachaneni, Micah J. Smith, Kelvin Lu, Jürgen Cito

المصدر: Proceedings of the ACM on Human-Computer Interaction. 5:1-39

مصطلحات موضوعية: FOS: Computer and information sciences, Feature engineering, Computer Science - Machine Learning, Computer Networks and Communications, Computer science, Computer Science - Human-Computer Interaction, Cloud computing, 02 engineering and technology, Machine Learning (cs.LG), Human-Computer Interaction (cs.HC), Computer Science - Software Engineering, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Software system, business.industry, Software development, 020207 software engineering, computer.file_format, Data science, Software Engineering (cs.SE), Human-Computer Interaction, Conceptual framework, Programming paradigm, Executable, business, computer, Social Sciences (miscellaneous)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::726633ce50db880bad31c7582c2c658a
https://doi.org/10.1145/3479575

المؤلفون: Fournier-VigerPhilippe, NawazM. Saqib, YunUnil, SongWei, WuYouxi

المصدر: ACM Transactions on Management Information Systems. 13:1-22

مصطلحات موضوعية: Profit (accounting), General Computer Science, Computer science, computer.file_format, computer.software_genre, Management Information Systems, Task (project management), Set (abstract data type), Simulated annealing, Bitmap, Data mining, Database transaction, Hill climbing, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8aa74a835fd2a7a0ad858ec59780030c
https://doi.org/10.1145/3462636

المؤلفون: Hongzhi Yu, Kaiying Deng, Jun Ma, Yan Xu

المصدر: ACM Transactions on Asian and Low-Resource Language Information Processing. 20:1-10

مصطلحات موضوعية: Speech Acoustics, General Computer Science, Database, Computer science, Value (computer science), Speech synthesis, Phonetics, computer.file_format, computer.software_genre, Formant, Vowel, Bitmap, computer, Word (group theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b99995814d8efd384346b2487a90861e
https://doi.org/10.1145/3459927

المؤلفون: Chia-Heng Tu, Hsiao-Hsuan Chang, Qihui Sun

المصدر: ACM Transactions on Cyber-Physical Systems. 5:1-28

مصطلحات موضوعية: Control and Optimization, Artificial neural network, Computer Networks and Communications, Computer science, business.industry, Deep learning, media_common.quotation_subject, Cyber-physical system, computer.file_format, Python (programming language), computer.software_genre, Convolutional neural network, Human-Computer Interaction, Software framework, Computer architecture, Debugging, Artificial Intelligence, Hardware and Architecture, Artificial intelligence, Executable, business, computer, media_common, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6379aeef07698cc93c3d6d034fd12e42
https://doi.org/10.1145/3472612

المؤلفون: Weiguo Wu, Chi Zhang, Shiqiang Nie

المصدر: ACM Transactions on Embedded Computing Systems. 20:1-20

مصطلحات موضوعية: Computer science, Reliability (computer networking), Latency (audio), NAND gate, Parallel computing, computer.file_format, Program optimization, Hardware and Architecture, Overhead (computing), Executable, State (computer science), Performance improvement, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ca368c56b1ba28c7f2c2663094122aca
https://doi.org/10.1145/3477000

المؤلفون: Daniel Hernández, Luis Galárraga, Katja Hose

المساهمون: Large Scale Collaborative Data Mining (LACODAM), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Aalborg University [Denmark] (AAU), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)

المصدر: Proceedings of the VLDB Endowment (PVLDB)
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021, 14 (13), pp.3389-3401. ⟨10.14778/3484224.3484235⟩
Proceedings of the VLDB Endowment (PVLDB), 2021, 14 (13), pp.3389-3401. ⟨10.14778/3484224.3484235⟩

مصطلحات موضوعية: Provenance, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Information retrieval, Computer science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, General Engineering, SPARQL, 020201 artificial intelligence & image processing, 02 engineering and technology, computer.file_format, Query Rewriting, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c78683aea90f90b090a16c59f4914ce
https://doi.org/10.14778/3484224.3484235

المؤلفون: Vadim Zaliva, Calvin Beck, Irene Yoon, Yannick Zakowski, Steve Zdancewic, Ilia Zaichuk

المساهمون: CASH - Compilation and Analysis, Software and Hardware (CASH), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), University of Pennsylvania, Department of Computer and Information Science [Pennsylvania] (CIS)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473572⟩

مصطلحات موضوعية: Monads, Verified Compilation, Correctness, Semantics (computer science), Computer science, Formal semantics (linguistics), 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Semantic data model, 01 natural sciences, Operational semantics, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Coq, Safety, Risk, Reliability and Quality, Theory of computation, Denotational semantics, Bisimulation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Interpretation (logic), Programming language, 020207 software engineering, computer.file_format, Semantics, Compilers, 010201 computation theory & mathematics, Program verification, LLVM, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Executable, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be7b231401a844d53f3deaa6fe4dd409
https://doi.org/10.1145/3473572