-
1
المصدر: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE),,Pasadena, United States,-- SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering. :56-69
مصطلحات موضوعية: Attribute Grammars, Circular Attributes, Static Analysis, Demand Analysis, Fixpoint Computations, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
2
المؤلفون: Heander, Lo, Söderberg, Emma, Rydenfält, Christofer
المساهمون: Söderberg, Emma, Editor, Church, Luke, Editor
المصدر: 10th Edition of the Programming Experience Workshop, PX/24,Lund, Sweden,-- Programming '24: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming. :57-67
مصطلحات موضوعية: code review, collaborative design, double diamond design process, focus group, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science, Människa-datorinteraktion (interaktionsdesign), Human Computer Interaction
وصف الملف: electronic
-
3
المؤلفون: Ihalainen, Hannes, Oertel, Andy, Tan, Yong Kiam, Berg, Jeremias, Järvisalo, Matti, Myreen, Magnus O., Nordström, Jakob
المساهمون: Benzmüller, Christoph, Editor, Heule, Marijn J.H., Editor, Schmidt, Renate A., Editor
المصدر: 12th International Joint Conference, IJCAR 2024,Nancy, France,-- Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:396-418
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
4
المؤلفون: Gratorp, Christina
المصدر: Intelligent Secure Trustable Things. 1147(1):309-329
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
5
المؤلفون: Dhar, Chandranan, Ethan, Jordan, Jejurikar, Ravindra, Khairallah, Mustafa, List, Eik, Mandal, Sougata
المصدر: IACR Transactions on Symmetric Cryptology. 2024(2):348-370
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
6
المؤلفون: Koptekin, Dilek, Yapar, Etka, Vural, Kıvılcım Başak, Sağlıcan, Ekin, Altınışık, N. Ezgi, Malaspinas, Anna-Sapfo, Alkan, Can, Somel, Mehmet
المصدر: Genome Biology. 26
مصطلحات موضوعية: Ancient DNA (aDNA), reference bias, post-mortem damage, Naturvetenskap, Biologi, Genetik, Natural Sciences, Biological Sciences, Genetics, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Computer and Information Science, Computer Science
-
7
المؤلفون: Klingström, Tomas, Zonabend König, Emelie
المساهمون: Sveriges lantbruksuniversitet, Originator
المصدر: Briefings in Functional Genomics. 24
مصطلحات موضوعية: Computer Science, Datavetenskap (datalogi), Animal and Dairy Science, Husdjursvetenskap
-
8
المصدر: Information and Computation. 303
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
9
المؤلفون: Riouak, Idriss, Fors, Niklas, Hedin, Görel, Reichenbach, Christoph
المصدر: Challenges of Software Verification Symposium 2024,Venice, Italy,-- International Journal on Software Tools for Technology Transfer ELLIIT: the Linköping-Lund initiative on IT and mobile communication.
مصطلحات موضوعية: Static Program Analysis, Reference Attribute Grammars, Control flow analysis, Dataflow Analysis, Bug detection, Interactive bug detection and fixing, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
وصف الملف: electronic
-
10
المساهمون: Larsson, Stefan, Editor, White, James, Editor, Söderlund, Kasia, Editor, Tanqueray, Laetitia, Editor
المصدر: Smart City Governance Student Essays. 3
مصطلحات موضوعية: Smart city governance, AI and ethics, AI and law, datafication, platformisation, AI transparency, participation, autonomous agents, smart buildings, autonomous vehicles, Samhällsvetenskap, Annan samhällsvetenskap, Tvärvetenskapliga studier inom samhällsvetenskap, Social Sciences, Other Social Sciences, Social Sciences Interdisciplinary, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science, Juridik, Juridik och samhälle, Law, Law and Society
وصف الملف: electronic
-
11
المؤلفون: Martinsson, John
المصدر: Licentiate Theses in Mathematical Sciences. 2024(3)
مصطلحات موضوعية: Annotation efficiency, Sound event detection, Machine learning, Naturvetenskap, Matematik, Sannolikhetsteori och statistik, Natural Sciences, Mathematics, Probability Theory and Statistics, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Computer and Information Science, Computer Science
وصف الملف: electronic
-
12
المؤلفون: Hrusto, Adha
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
وصف الملف: electronic
-
13
المؤلفون: Younus, Saleena, Rönnstrand, Lars, Kazi, Julhash U.
المصدر: Frontiers in Artificial Intelligence StemTherapy: National Initiative on Stem Cells for Regenerative Therapy EpiHealth: Epidemiology for Health. 7:01-11
مصطلحات موضوعية: ensemble learning, imputation, matrix factorization, mix-type data, tabular data, Teknik, Annan teknik, Mediateknik, Engineering and Technology, Other Engineering and Technologies, Media Engineering, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
14
المؤلفون: Amirshahi, Alireza, Dan, Jonathan, Miranda, José, Aminifar, Amir, Atienza, David
المصدر: 5th Annual Conference on Health, Inference, and Learning, CHIL 2024,New York, United States,-- Proceedings of the fifth Conference on Health, Inference, and Learning. 248:397-409
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science, Datorteknik, Computer Engineering
-
15
المؤلفون: Hashemi, Atiye Sadat, Ghazani, Mirfarid Musavian, Ohlsson, Mattias, Björk, Jonas, Dietler, Dominik
المساهمون: Mantas, John, Editor, Hasman, Arie, Editor, Demiris, George, Editor, Saranto, Kaija, Editor, Marschollek, Michael, Editor, Arvanitis, Theodoros N., Editor, Ognjanovic, Ivana, Editor, Benis, Arriel, Editor, Gallos, Parisis, Editor, Zoulias, Emmanouil, Editor, Andrikopoulou, Elisavet, Editor
المصدر: 34th Medical Informatics Europe Conference, MIE 2024,Athens, Greece,-- Digital Health and Informatics Innovations for Sustainable Health Care Systems - Proceedings of MIE 2024 eSSENCE: The e-Science Collaboration EpiHealth: Epidemiology for Health. 316:1916-1920
مصطلحات موضوعية: Anomaly detection, Anomaly transformer, COVID-19 pandemic, Incremental learning, Public health surveillance, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
16
المؤلفون: Vylund, Lotta, Frykmer, Tove, McNamee, Margaret, Eriksson, Kerstin
المصدر: Fire Technology. 60(5):3475-3498
مصطلحات موضوعية: Complex problem, Complexity framework, Fire and rescue service, Problem space, Problem-solving network, Sub-problems, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
17
المؤلفون: Olajos, Rikard, Doggett, Michael
المصدر: 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications,Rome, Italy,-- Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 1: GRAPP, HUCAPP and IVAPP ELLIIT: the Linköping-Lund initiative on IT and mobile communication. 1:293-299
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
18
المؤلفون: Pavlopoulos, John, Romell, Alv, Curman, Jacob, Steinert, Olof, Lindgren, Tony, Borg, Markus, Randl, Korbinian
المصدر: Machine Learning. 113(2):843-861
مصطلحات موضوعية: Automotive fault nowcasting, Multilingual text classification, Natural language processing, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
19
المؤلفون: Callanan, Gareth, Gruian, Flavius
المصدر: MEMOCODE 'st ACM-IEEE International Conference on Formal Methods and Models for System Design ELLIIT: the Linköping-Lund initiative on IT and mobile communication. :169-179
مصطلحات موضوعية: Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science
-
20Academic Journal
المؤلفون: Korwisi, B, Hay, G, Attal, N, Aziz, Q, Bennett, MI, Benoliel, R, Cohen, M, Evers, S, Giamberardino, MA, Kaasa, S, Kosek, E, Lavand'homme, P, Nicholas, M, Perrot, S, Schug, S, Smith, BH, Svensson, P, Vlaeyen, JWS, Wang, SJ, Treede, RD, Rief, W, Barke, A
المصدر: Pain. 162(7):2087-2096