-
1Conference
Contributors: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Max Planck Institute for Software Systems (MPI-SWS), European Project: 101003349,ERC-2020-COG,ERC-2020-COG,PERSIST(2021)
Source: ESOP ; https://hal.science/hal-04642776 ; ESOP, May 2025, Hamilton, Ontario, Canada, Canada. pp.88-116, ⟨10.4230/LIPIcs⟩
Subject Terms: Concurrency theory, Software Verification, Observational refinements, Asynchrony, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: https://doi.org/10.5281/zenodo.14735088; info:eu-repo/semantics/altIdentifier/arxiv/2501.13002; info:eu-repo/grantAgreement//101003349/EU/A Semantic Foundation for Persistent Programming/PERSIST; ARXIV: 2501.13002
-
2Report
Authors: André, Julien, Bessec, Marie, Goulby, Zachary
Contributors: Banque de France (Banque de France), Banque de France, Université Paris Dauphine-PSL, Université Paris Sciences et Lettres (PSL), The author acknowledges free academic access to the Gemini API provided by Google.
Source: https://hal.science/hal-05128225 ; 2025.
Subject Terms: GDP nowcasting, Large language Models LLMs, Artificial intelligence, JEL: C - Mathematical and Quantitative Methods/C.C4 - Econometric and Statistical Methods: Special Topics/C.C4.C45 - Neural Networks and Related Topics, JEL: C - Mathematical and Quantitative Methods/C.C5 - Econometric Modeling/C.C5.C53 - Forecasting and Prediction Methods • Simulation Methods, JEL: E - Macroeconomics and Monetary Economics/E.E3 - Prices, Business Fluctuations, and Cycles/E.E3.E37 - Forecasting and Simulation: Models and Applications, ACM: D.: Software, ACM: H.: Information Systems, [SHS]Humanities and Social Sciences, [STAT]Statistics [stat]
-
3Book
Authors: Rascoussier, Florian, Lahoche, Lise
Contributors: Ifip, Hal, Nikolaos Pitropakis, Sokratis Katsikas, Steven Furnell, Konstantinos Markantonakis, Département de Science des Données (IMT Atlantique - DSD), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), 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), Universität Passau Passau, Université de Lyon-Institut National des Sciences Appliquées (INSA), Diversity-centric Software Engineering (DiverSe), Centre Inria de l'Université de Rennes, 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), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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 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)-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), SmartVMI, PhDTrack INSA Lyon - Universität Passau
Source: IFIP Advances in Information and Communication Technology ISBN: 9783031651748
Subject Terms: Graph Convolutional Networks, Memory Graph, Heap dumps, Machine learning, Knowledge graphs, [INFO]Computer Science [cs], Memory Graphs, ACM: D.: Software, [INFO] Computer Science [cs], SSH keys, ACM: I.: Computing Methodologies, Embeddings
File Description: application/pdf
-
4Conference
Authors: Desbois, Dominique
Contributors: Desbois, Dominique, Prof. Edwin Diday, Université Paris Dauphine, Prof. Gilbert Saporta, CNAM, AgroParisTech, Conservatoire national des arts et métiers, Facepa, Cland, ANR-16-CONV-0003,CLAND,CLAND : Changement climatique et usage des terres(2016), European Project: 212292,EC:FP7:KBBE,FP7-KBBE-2007-1,FACEPA(2008)
Source: Symbolic data analysis Workshop 2023 (SDA 2023)
Symbolic data analysis Workshop 2023 (SDA 2023), Conservatoire national des arts et métiers, Nov 2023, Paris, FranceSubject Terms: [STAT]Statistics [stat], JEL: D - Microeconomics, JEL: M - Business Administration and Business Economics • Marketing • Accounting • Personnel Economics, Interval data analysis, [QFIN]Quantitative Finance [q-fin], JEL: Q - Agricultural and Natural Resource Economics • Environmental and Ecological Economics, Farm accounting data network, ACM: D.: Software, conditional quantile estimates, [QFIN] Quantitative Finance [q-fin], [STAT] Statistics [stat]
File Description: application/pdf
-
5Book
Contributors: 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), CoMputational imagINg anD viSion (IRIT-MINDS), Imagerie Ultrasonore, Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé (CREATIS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-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)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Université Toulouse III - Paul Sabatier (UT3), The experiments presented in this paper were carried out using the OSIRIM platform (http://osirim.irit.fr/site/en) that is administered by the Institut de Recherche en Informatique de Toulouse (IRIT) and supported by the French National Center for Scientific Research (CNRS), the Occitanie Region, the French Government, and the European Regional Development Fund (ERDF). The work has benefited from a CISA-IRIT funding., Sanju Tiwari, Fernando Ortiz Rodriguez, Sarra Ben Abbes, Patience Usoro Usip, Rim Hantach
Source: Semantic AI in Knowledge Graphs ; https://hal.science/hal-04166570 ; Sanju Tiwari; Fernando Ortiz Rodriguez; Sarra Ben Abbes; Patience Usoro Usip; Rim Hantach. Semantic AI in Knowledge Graphs, Taylor & Francis Group, pp.91-110, 2023, 978-1003313267. ⟨10.1201/9781003313267-4⟩ ; https://www.taylorfrancis.com/chapters/edit/10.1201/9781003313267-4
Subject Terms: Deep Learning, Contrastive Learning, Triplet Loss, ACM: D.: Software, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]
-
6Book
Authors: Olmedo, Agustín, Arévalo, Gabriela, Cassol, Ignacio, Perez, Quentin, Urtado, Christelle, Vauttier, Sylvain
Contributors: Laboratorio de Investigación, Desarrollo y Transferencia de la Universidad Austral (LIDTUA), Consejo Nacional de Investigaciones Científicas y Técnicas Buenos Aires (CONICET)-Universidad Austral, Consejo Nacional de Investigaciones Científicas y Técnicas Buenos Aires (CONICET), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, 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), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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 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)-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), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), EuroMov - Digital Health in Motion (Euromov DHM), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Montpellier (UM), Hermann Kaindl, Mike Mannion and Leszek A. Maciaszek
Source: Evaluation of Novel Approaches to Software Engineering ; https://imt-mines-ales.hal.science/hal-04157804 ; Hermann Kaindl, Mike Mannion and Leszek A. Maciaszek. Evaluation of Novel Approaches to Software Engineering, 1829, Springer, pp.155-178, 2023, Communications in Computer and Information Science, 978-3-031-36596-6. ⟨10.1007/978-3-031-36597-3_8⟩
Subject Terms: Collaborative software development, Distributed version control system, Pull-based development, Pull request, Integration process efficiency, Software merging, Merge conflicts, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
7Conference
Authors: Prieur, Benoît
Contributors: PALO IT (PALO IT), Programmez!
Source: Devcon #18 - 100% Quantique ; https://hal.science/hal-04040389 ; Devcon #18 - 100% Quantique, Programmez!, Feb 2023, Paris, France ; https://www.programmez.com/page-devcon/devcon-18-100-quantique
Subject Terms: Quantum teleportation, Quantum computing, AQASM, MyQLM, Atos, Téléportation quantique, Informatique quantique, ACM: D.: Software, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO]Computer Science [cs]
Relation: hal-04040389; https://hal.science/hal-04040389; https://hal.science/hal-04040389/document
-
8Academic Journal
Contributors: GONDRET, Florence, Physiologie, Environnement et Génétique pour l'Animal et les Systèmes d'Elevage Rennes (PEGASE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss), Centre Inria de l'Université de Rennes, 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 (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 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)-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), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), ANR-11-INBS-0013,IFB (ex Renabi-IFB),Institut français de bioinformatique(2011)
Source: Bioinformatics
Subject Terms: 0301 basic medicine, [SDV]Life Sciences [q-bio], 0206 medical engineering, Libraries, 02 engineering and technology, ACM: D.: Software, [INFO] Computer Science [cs], Applications Notes, 3. Good health, [SDV] Life Sciences [q-bio], 03 medical and health sciences, [INFO]Computer Science [cs], Software, Python, Signal Transduction, Gene Library
File Description: application/pdf
Linked Full TextAccess URL: https://academic.oup.com/bioinformatics/advance-article-pdf/doi/10.1093/bioinformatics/btab441/39300702/btab441.pdf
https://pubmed.ncbi.nlm.nih.gov/34128961
https://hal.science/hal-03265223v1
https://hal.science/hal-03265223v1/document
https://doi.org/10.1093/bioinformatics/btab441
https://pubmed.ncbi.nlm.nih.gov/34128961/
https://academic.oup.com/bioinformatics/advance-article-pdf/doi/10.1093/bioinformatics/btab441/39300702/btab441.pdf -
9Report
Authors: Mcgrath, Thomas, J, Saint-Vanne, Julien, Hutinet, Sébastien, Vetter, Walter, Poma, Giulia, Fujii, Yukiko, Dodson, Robin, E, Johnson-Restrepo, Boris, Muenhor, Dudsadee, Le Bizec, Bruno, Dervilly, Gaud, Covaci, Adrian, Cariou, Ronan
Contributors: Laboratoire d'étude des Résidus et Contaminants dans les Aliments (LABERCA), École nationale vétérinaire, agroalimentaire et de l'alimentation Nantes-Atlantique (ONIRIS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Universiteit Antwerpen = University of Antwerp, Universität Hohenheim = University of Hohenheim, University of Cartagena, École nationale vétérinaire, agroalimentaire et de l'alimentation Nantes-Atlantique (ONIRIS), Financial support was provided from postdoctoral fellowships for Thomas J. McGrath from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Actions project number 101110252 (ANEX-PXA) and Scientific Research Foundation-Flanders (Fonds Wetenschappelijk Onderzoek, FWO) – project number 12Z9320N. Further support provided by the Exposome Centre of Excellence of the University of Antwerp (BOF grant, Antigoon database number 41222). Dudsadee Muenhor is grateful to the Thailand-United States Educational Foundation (TUSEF/Fulbright Thailand) for the Fulbright Thai Visiting Scholar Program (TVS). B. Johnson-Restrepo would like to thank the Ministry of Science, Technology, and Innovation (MinCiencias) for support of the samples collected in Colombia under Grant No. 110759634967. Yukiko Fujii would like to thank the Japan Society for the Promotion of Science (JSPS) (Grant No. 21K12262).
Source: https://oniris.hal.science/hal-04525586 ; 2024.
Subject Terms: bromochloro alkanes (BCAs), polychlorinated alkanes (PCAs), chlorinated paraffins (CPs), indoor dust, CP-Seeker, MESH: Public Health, JEL: Q - Agricultural and Natural Resource Economics • Environmental and Ecological Economics/Q.Q5 - Environmental Economics/Q.Q5.Q53 - Air Pollution • Water Pollution • Noise • Hazardous Waste • Solid Waste • Recycling, ACM: D.: Software, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [CHIM.ANAL]Chemical Sciences/Analytical chemistry, [SDE.MCG]Environmental Sciences/Global Changes
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2404.01698; ARXIV: 2404.01698
-
10Academic Journal
Authors: Rolland, Thibault, De Vico Fallani, Fabrizio
Contributors: Algorithms, models and methods for images and signals of the human brain = Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain ICM Paris (ARAMIS), Institut du Cerveau = Paris Brain Institute (ICM), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-CHU Pitié-Salpêtrière AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Sorbonne Université (SU)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-CHU Pitié-Salpêtrière AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Sorbonne Université (SU)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Sorbonne Université, Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Equipe Neuroingénierie des systèmes pour modéliser et interfacer les réseaux cérébraux = Systems neuroengineering to model and interface brain networks ICM Paris (NERV), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut du Cerveau = Paris Brain Institute (ICM), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Sorbonne Université (SU)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), The research leading to these results has received funding from the “Agence Nationale de la Recherche” through contract number ANR-15-NEUC-0006-02., ANR-15-NEUC-0006,NETBCI,US-France Research Proposal- Modeling and Predicting Brain-Computer Interface Learning from Dynamic Networks(2015)
Source: ISSN: 1932-6203.
Subject Terms: Dataviz, Art, Software, Complex systems, Physical networks, ACM: D.: Software, ACM: H.: Information Systems, [SDV]Life Sciences [q-bio], [CHIM]Chemical Sciences, [INFO]Computer Science [cs], [PHYS]Physics [physics], [SDE]Environmental Sciences, [SDU]Sciences of the Universe [physics], [SHS]Humanities and Social Sciences, [SPI]Engineering Sciences [physics], [QFIN]Quantitative Finance [q-fin]
-
11Academic Journal
Authors: Auras, Emmanuelle
Contributors: LIttoral ENvironnement et Sociétés (LIENSs), Institut national des sciences de l'Univers (INSU - CNRS)-La Rochelle Université (ULR)-Centre National de la Recherche Scientifique (CNRS)
Source: ISSN: 0038-030X ; EISSN: 1492-1375 ; Sociologie et Sociétés.
Subject Terms: sociologie - image - professions - littoral - climat, ACM: D.: Software, [SHS.SOCIO]Humanities and Social Sciences/Sociology, [SHS.ANTHRO-SE]Humanities and Social Sciences/Social Anthropology and ethnology
-
12Academic Journal
Authors: Jouannaud, Jean-Pierre, Orejas, Fernando
Contributors: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Centre Inria de l'Université Paris-Saclay, 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), Universitat Politècnica de Catalunya = Université polytechnique de Catalogne Barcelona (UPC)
Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-02562152 ; Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩.
Subject Terms: Drags, graphs, unification, confluence, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
13Academic Journal
Authors: El Azri Ennassiri, Mariam
Contributors: Université Cadi Ayyad Marrakech (UCA)
Source: ISSN: 2658-8455 ; International Journal of Accounting, Finance, Auditing, Management and Economics ; https://hal.science/hal-03970794 ; International Journal of Accounting, Finance, Auditing, Management and Economics, 2023, 1.1 (2023), 4 (1-1 (2023)), pp.134-149. ⟨10.5281/zenodo.7582342⟩ ; https://www.ijafame.org/index.php/ijafame/article/view/888.
Subject Terms: law, constraints, efficiency, management, gestion, droit, contraintes, efficacité, Theoretical Research, JEL: K - Law and Economics/K.K2 - Regulation and Business Law/K.K2.K22 - Business and Securities Law, ACM: D.: Software, [SHS]Humanities and Social Sciences, [SHS.DROIT]Humanities and Social Sciences/Law
Relation: hal-03970794; https://hal.science/hal-03970794; https://hal.science/hal-03970794/document; https://hal.science/hal-03970794/file/ARTICLE%20MARIAM%20EL%20AZRI%20ENNASSIRI.pdf
-
14Conference
Authors: Zawilski, Bartosz
Contributors: Centre d'études spatiales de la biosphère (CESBIO), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire Midi-Pyrénées (OMP), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales Toulouse (CNES)-Centre National de la Recherche Scientifique (CNRS)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales Toulouse (CNES)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Data acquisition at FR-Lam and FR-Aur were mainly funded by the Institut National des Sciences de l’Univers of the Centre National de la Recherche Scientifique (CNRS-INSU) through the ICOS and OSR SW observatories. Facilities and staff were also funded and supported by the University Toulouse III - Paul Sabatier, the CNES and IRD (Institut de Recherche pour le Développement).
Source: Atelier d'Expérimentation et d'instrumentation 2022 AEI ; https://hal.science/hal-03846456 ; Atelier d'Expérimentation et d'instrumentation 2022 AEI, Jun 2022, Montpellier, France. ; https://atelexpinst2022.sciencesconf.org/
Subject Terms: ACM: D.: Software, ACM: C.: Computer Systems Organization, ACM: H.: Information Systems, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
Subject Geographic: Montpellier, France
-
15Conference
Authors: Masson, Maxime, Cayèré, Cécile, Bessagnet, Marie-Noëlle, Sallaberry, Christian, Roose, Philippe, Faucher, Cyril
Contributors: Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), Laboratoire Informatique, Image et Interaction - EA 2118 (L3I), La Rochelle Université (ULR)
Source: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing ; https://univ-pau.hal.science/hal-03778251 ; SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.547-555, ⟨10.1145/3477314.3507057⟩
Subject Terms: semantic trajectories, mobility tracks, data integration, geographic information, ETL, ACM: D.: Software, [INFO]Computer Science [cs]
Subject Geographic: Virtual Event, France
-
16Conference
Authors: Vukšić, Marko, Kovacevic, Tonko, Džaja, Barbara, Đukić, Predrag, Šitić, Slaven, Tran, Hai Nam, Rodin, Vincent, Lemarchand, Laurent, Nicolas, Valérie-Anne, Plantec, Alain, Rubini, Stéphane, Singhoff, Frank
Contributors: Equipe Software/HArdware and unKnown Environment inteRactions (Lab-STICC_SHAKER), 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)
Source: Sea Tech Week ; https://hal.univ-brest.fr/hal-03778490 ; Sea Tech Week, Sep 2022, Brest, France
Subject Terms: ACM: D.: Software, [INFO]Computer Science [cs]
-
17Conference
Authors: Adams, Oliver, Galliot, Benjamin, Wisniewski, Guillaume, Lambourne, Nicholas, Foley, Ben, Sanders-Dwyer, Rahasya, Wiles, Janet, Michaud, Alexis, Guillaume, Séverine, Besacier, Laurent, Cox, Christopher, Aplonova, Katya, Jacques, Guillaume, Hill, Nathan
Contributors: Atos zData, Langues et civilisations à tradition orale (LACITO), Université Sorbonne Nouvelle - Paris 3-Institut National des Langues et Civilisations Orientales (Inalco)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Linguistique Formelle (LLF - UMR7110), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), The University of Queensland (UQ All campuses : Brisbane, Dutton Park Gatton, Herston, St Lucia and other locations ), ARC Centre of Excellence for the Dynamics of Language (CoEDL), Laboratoire d'Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), University of Alberta, Langage, LAngues et Cultures d'Afrique (LLACAN), Institut National des Langues et Civilisations Orientales (Inalco)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherches Linguistiques sur l'Asie Orientale (CRLAO), École des hautes études en sciences sociales (EHESS)-Institut National des Langues et Civilisations Orientales (Inalco)-Centre National de la Recherche Scientifique (CNRS), School of Oriental and African Studies (SOAS), University of London, Institut des Langues Rares (ILARA) de l'École Pratique des Hautes Études (EHESS), ANR-19-CE38-0015,CLD2025,La documentation computationnelle des langues à l'horizon 2025(2019), ANR-10-LABX-0083,EFL,Empirical Foundations of Linguistics : data, methods, models(2010), ANR-12-CORP-0006,HimalCo,Corpus parallèles en langues himalayennes(2012), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), European Project: 609823,ERC-2013-SyG,ERC-2013-SyG,ASIA(2014), European Project: 758232,ERC-2017-STG,ERC-2017-STG,SPEECHREPORTING(2018)
Source: Proceedings of ComputEL-4 ; ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages ; https://shs.hal.science/halshs-03030529 ; ComputEL-4: Fourth Workshop on the Use of Computational Methods in the Study of Endangered Languages, Mar 2021, Hawai‘i, United States
Subject Terms: automatic transcription, language documentation, endangered languages, automatic speech recognition, Computational Language Documentation, MESH: reconnaissance automatique de la parole, MESH: transcription automatique, MESH: Traitement Automatique des Langues Naturelles, MESH: documentation linguistique, MESH: langues en danger, ACM: D.: Software, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
Subject Geographic: Hawai‘i, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2101.03027; info:eu-repo/grantAgreement//609823/EU/Beyond Boundaries: Religion, Region, Language and the State/ASIA; info:eu-repo/grantAgreement//758232/EU/Discourse reporting in African storytelling/SPEECHREPORTING; ARXIV: 2101.03027
-
18Conference
Authors: Bienvenut, Willy Vincent, Langella, Olivier, Baillau, Thierry, Rusconi, Filippo, Davanture, Marlène, Blein-Nicolas, Mélisande, Zivy, Michel
Contributors: Génétique Quantitative et Evolution - Le Moulon (Génétique Végétale) (GQE-Le Moulon), AgroParisTech-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)
Source: InPPO meeting ; https://hal.science/hal-03683573 ; InPPO meeting, Mar 2021, Vancouvert, Canada
Subject Terms: ACM: D.: Software, [INFO]Computer Science [cs], [SDV]Life Sciences [q-bio]
Subject Geographic: Vancouvert
Time: Vancouvert, Canada
-
19Book
Authors: Jourlin, Pierre
Contributors: Laboratoire Informatique d'Avignon (LIA), Avignon Université (AU)-Centre d'Enseignement et de Recherche en Informatique - CERI
Source: https://hal.science/hal-03222107 ; Editions universitaires d'Avignon, 2021, 978-2-35768-127-9 ; https://eua.hypotheses.org/5167.
Subject Terms: ACM: D.: Software, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET], [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing
-
20Report
Authors: Cheng, Zheng, Méry, Dominique
Contributors: Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), TELECOM Nancy, Université de Lorraine (UL), ANR-17-CE25-0005,DISCONT,Intégration correcte de modèles discrets et continus(2017)
Source: https://hal.science/hal-04152829 ; 2023.
Subject Terms: control theory, verification, Laplace transform, formal method, ACM: D.: Software, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]