• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (39)
    • Institut National de Recherche en Informatique et en Automatique (Inria) (27)
    • Inria Rennes – Bretagne Atlantique (24)
    • Diversity-centric Software Engineering (DiverSe) (23)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) (23)
    • Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (23)
    • Université de Rennes 1 (UR1) (23)
    • Institut de recherche en informatique de Toulouse (IRIT) (21)
    • Université Fédérale Toulouse Midi-Pyrénées (21)
    • Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) (21)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (173)
    • Miscellaneous (71)
    • Book (33)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...14 Hits 1 – 20 of 277 1 Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice ... Borg, Markus; Bengtsson, Johan; Österling, Harald. - : arXiv, 2022 BASE Show details 2 SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations ... Niu, Changan; Li, Chuanyi; Ng, Vincent. - : arXiv, 2022 BASE Show details 3 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022 BASE Show details 4 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show details 5 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 BASE Show details 6 MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation ... Zhu, Wenqing; Yoshida, Norihiro; Kamiya, Toshihiro. - : arXiv, 2022 BASE Show details 7 Classification of Natural Language Processing Techniques for Requirements Engineering ... Zhao, Liping; Alhoshan, Waad; Ferrari, Alessio. - : arXiv, 2022 BASE Show details 8 Conceptual Modeling of Events Based on One-Category Ontology ... Al-Fedaghi, Sabah. - : arXiv, 2022 BASE Show details 9 Towards Property-Based Tests in Natural Language ... Gordon, Colin S.. - : arXiv, 2022 BASE Show details 10 Accelerating Code Search with Deep Hashing and Code Classification ... Gu, Wenchao; Wang, Yanlin; Du, Lun. - : arXiv, 2022 BASE Show details 11 CSRS: Code Search with Relevance Matching and Semantic Matching ... Cheng, Yi; Kuang, Li. - : arXiv, 2022 BASE Show details 12 Detecting Privacy Requirements from User Stories with NLP Transfer Learning Models ... Casillo, Francesco; Deufemia, Vincenzo; Gravino, Carmine. - : arXiv, 2022 BASE Show details 13 Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities Hwang Arcolezi, Héber; Cerna Nahuis, Selene Leya; Couchot, Jean-François... In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021) BASE Show details 14 Exploiting augmented intelligence in the modeling of safety-critical autonomous systems Yang, Zhibin; Bao, Yang; Yang, Yongqiang... In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021) BASE Show details 15 Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom Casseau, Christophe; Falleri, Jean-Rémy; Blanc, Xavier... In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (2021) BASE Show details 16 Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM NZEBOP NDENOKA, Gérard; Tchuente, M.; Simeu, Emmanuel In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021) BASE Show details 17 SEALS: A framework for building Self-Adaptive Virtual Machines Jouneaux, Gwendal; Barais, Olivier; Combemale, Benoit... In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021) BASE Show details 18 Automating user-feedback driven requirements prioritization Kifetew, Fitsum Meshesha; Perini, Anna; Susi, Angelo... In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021) BASE Show details 19 Automatic Guide Generation for Stan via NumPyro Baudart, Guillaume; Mandel, Louis In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021) BASE Show details 20 3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues Tazouti, Yassine. - : HAL CCSD, 2021 In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021) BASE Show details Page: 1 2 3 4 5...14

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 277 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0