Showing 1 - 20 results of 109,055 for search 'Computer science' Narrow Search
Search Tools: Email this Search — Save search to account
1
Periodical
Living in an FYP World.

Authors: WILSON, MARK (AUTHOR)

Superior Title: Fast Company. Mar/Apr2023, Issue 255, p7-10. 3p. 2 Cartoon or Caricatures.

Subject Terms: *COMPUTER science, *BUSINESS enterprises, *COMPUTER programming, *POPULAR culture, SCHOOL districts

HTML Full Text     PDF Full Text

Save to List
3
Periodical
SONY PSZ-RA4T PROFESSIONAL RAID: CLEVER PORTABLE AND RUGGED DESIGN, PLUS THUNDERBOLT AND USB.

Authors: JACOBI, JON L.

Superior Title: Macworld - Digital Edition. Mar2019, Vol. 36 Issue 3, p36-40. 5p. 2 Color Photographs, 3 Graphs.

Subject Terms: *RAID (Computer science)

Company/Entity: SONY Corp.

HTML Full Text     PDF Full Text

Save to List
4
Periodical
Mozilla Firefox locks its browser’s cookie jar.

Authors: HACHMAN, MARK (AUTHOR)

Superior Title: PCWorld. Jul2022, Vol. 40 Issue 7, p10-11. 2p. 3 Color Photographs.

Subject Terms: COOKIES (Computer science), COOKIES

HTML Full Text     PDF Full Text

Save to List
5
Report
OmniSat: Self-Supervised Modality Fusion for Earth Observation

Authors: Astruc, Guillaume, Gonthier, Nicolas, Mallet, Clement, Landrieu, Loic

Contributors: École des Ponts ParisTech (ENPC), Centre National d'Etudes Spatiales - Direction Des Lanceurs. (CNES), 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, Institut National de l'Information Géographique et Forestière IGN (IGN), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, ANR-19-CE23-0007,READY3D,Analyse tempts-réel de nuages de points LiDAR dynamiques(2019)

Superior Title: https://hal.science/hal-04556598 ; 2024.

Subject Terms: [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2404.08351; hal-04556598; https://hal.science/hal-04556598; https://hal.science/hal-04556598/document; https://hal.science/hal-04556598/file/2404.08351.pdf; ARXIV: 2404.08351

Availability: https://hal.science/hal-04556598
https://hal.science/hal-04556598/document
https://hal.science/hal-04556598/file/2404.08351.pdf


Save to List
6
Report
Transforming gradient-based techniques into interpretable methods

Authors: Mazini Rodrigues, Caroline, Boutry, Nicolas, Najman, Laurent

Contributors: Laboratoire de Recherche et de Développement de l'EPITA (LRDE), Ecole Pour l'Informatique et les Techniques Avancées (EPITA), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel

Superior Title: https://hal.science/hal-04414672 ; 2024.

Subject Terms: Explainable artificial intelligence, Convolutional neural networks, Gradient-based, Interpretability, explainable artificial intelligence convolutional neural network gradient-based interpretability, convolutional neural network, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]

Relation: hal-04414672; https://hal.science/hal-04414672; https://hal.science/hal-04414672v2/document; https://hal.science/hal-04414672v2/file/main.pdf

Availability: https://hal.science/hal-04414672
https://hal.science/hal-04414672v2/document
https://hal.science/hal-04414672v2/file/main.pdf


Save to List
7
Report
Cut-elimination for the circular modal mu-calculus: linear logic and super exponentials to the rescue

Authors: Bauer, Esaïe, Saurin, Alexis

Contributors: Université Paris Cité (UPCité), CNRS-formation Entreprise (CFE), Centre National de la Recherche Scientifique (CNRS), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

Superior Title: https://hal.science/hal-04496648 ; 2024.

Subject Terms: Circular and non-wellfounded proofs, Cut elimination, Exponential modalities, Fixed-points, Linear logic, Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04496648; https://hal.science/hal-04496648; https://hal.science/hal-04496648/document; https://hal.science/hal-04496648/file/main.pdf

Availability: https://hal.science/hal-04496648
https://hal.science/hal-04496648/document
https://hal.science/hal-04496648/file/main.pdf


Save to List
8
Report
From Differential Linear Logic to Coherent Differentiation

Authors: Ehrhard, Thomas

Contributors: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria), ANR-19-CE48-0014,PPS,Sémantique des programmes probabilistes(2019)

Superior Title: https://hal.science/hal-04418180 ; 2024.

Subject Terms: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2401.14834; hal-04418180; https://hal.science/hal-04418180; https://hal.science/hal-04418180/document; https://hal.science/hal-04418180/file/main.pdf; ARXIV: 2401.14834

Availability: https://hal.science/hal-04418180
https://hal.science/hal-04418180/document
https://hal.science/hal-04418180/file/main.pdf


Save to List
9
Report
Kuroda's Translation for Higher-Order Logic

Authors: Traversié, Thomas

Contributors: Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

Superior Title: https://hal.science/hal-04561757 ; 2024.

Subject Terms: Kuroda's translation, higher-order logic, functional extensionality, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04561757; https://hal.science/hal-04561757; https://hal.science/hal-04561757/document; https://hal.science/hal-04561757/file/kurodahol.pdf

Availability: https://hal.science/hal-04561757
https://hal.science/hal-04561757/document
https://hal.science/hal-04561757/file/kurodahol.pdf


Save to List
10
Report
Teaching Divisibility and Binomials with Coq ; Enseigner divisibilité et binomiaux avec Coq

Authors: Boldo, Sylvie, Clément, François, Hamelin, David, Mayero, Micaela, Rousselin, Pierre

Contributors: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Simulation for the Environment: Reliable and Efficient Numerical Algorithms (SERENA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS), École des Ponts ParisTech (ENPC), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Défi Inria LiberAbaci, Inria, European Project: ERC-2018-SYG-810367,EMC2

Superior Title: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13.

Subject Terms: Worksheet, Coq, Arithmetic, Divisibility, Binomial coefficient, Feuille d'exercices, Arithmétique, Divisibilité, Coefficient binomial, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SHS.EDU]Humanities and Social Sciences/Education

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2404.12676; info:eu-repo/grantAgreement//ERC-2018-SYG-810367/EU/Extreme-scale Mathematically-based Computational Chemistry/EMC2; Report N°: RR-9547; hal-04550762; https://inria.hal.science/hal-04550762; https://inria.hal.science/hal-04550762/document; https://inria.hal.science/hal-04550762/file/RR-9547.pdf; ARXIV: 2404.12676

Availability: https://inria.hal.science/hal-04550762
https://inria.hal.science/hal-04550762/document
https://inria.hal.science/hal-04550762/file/RR-9547.pdf


Save to List
11
Report
Formalization of derived categories in Lean/mathlib ; Formalisation des catégories dérives dans Lean/mathlib

Authors: Riou, Joël

Contributors: Université Paris-Saclay

Superior Title: https://hal.science/hal-04546712 ; 2024.

Subject Terms: Derived category, Homological algebra, Spectral sequence, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04546712; https://hal.science/hal-04546712; https://hal.science/hal-04546712v2/document; https://hal.science/hal-04546712v2/file/derived-categories.pdf

Availability: https://hal.science/hal-04546712
https://hal.science/hal-04546712v2/document
https://hal.science/hal-04546712v2/file/derived-categories.pdf


Save to List
12
Report
Sequence-to-Sequence Language Models for Character and Emotion Detection in Dream Narratives

Authors: Cortal, Gustave

Contributors: Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), 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)

Superior Title: https://hal.science/hal-04512803 ; 2024.

Subject Terms: character and emotion detection, sequence-to-sequence language model, quantitative analysis of dreams, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Relation: hal-04512803; https://hal.science/hal-04512803; https://hal.science/hal-04512803/document; https://hal.science/hal-04512803/file/Sequence-to-Sequence%20Language%20Models%20for%20Character%20and%20Emotion%20Detection%20in%20Dream%20Narratives.pdf

Availability: https://hal.science/hal-04512803
https://hal.science/hal-04512803/document
https://hal.science/hal-04512803/file/Sequence-to-Sequence%20Language%20Models%20for%20Character%20and%20Emotion%20Detection%20in%20Dream%20Narratives.pdf


Save to List
13
Report
The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant

Authors: Leray, Yann, Gilbert, Gaëtan, Tabareau, Nicolas, Winterhalter, Théo

Contributors: 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, Nantes Université (Nantes Univ), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

Superior Title: https://inria.hal.science/hal-04511667 ; 2024.

Subject Terms: dependent types, rewrite rules, type preservation, Coq, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04511667; https://inria.hal.science/hal-04511667; https://inria.hal.science/hal-04511667/document; https://inria.hal.science/hal-04511667/file/RewriteRules.pdf

Availability: https://inria.hal.science/hal-04511667
https://inria.hal.science/hal-04511667/document
https://inria.hal.science/hal-04511667/file/RewriteRules.pdf


Save to List
14
Report
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti

Authors: Felicissimo, Thiago, Winterhalter, Théo

Contributors: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Deducteam - Inria Paris-Saclay / ENS Paris-Saclay

Superior Title: https://hal.science/hal-04470850 ; Deducteam - Inria Paris-Saclay / ENS Paris-Saclay. 2024.

Subject Terms: Dedukti, Rewriting, Confluence, Dependent types, Cumulativity, Universes, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04470850; https://hal.science/hal-04470850; https://hal.science/hal-04470850v2/document; https://hal.science/hal-04470850v2/file/coc-in-dk.pdf

Availability: https://hal.science/hal-04470850
https://hal.science/hal-04470850v2/document
https://hal.science/hal-04470850v2/file/coc-in-dk.pdf


Save to List
15
Report
Galaxy Small-Scale-Admin Poll Results ; Galaxy Small-Scale-Admin Poll Results: February 2024

Authors: Visan, Vlad, Bernt, Matthias, Lopez-Delisle, Lucille, Hotz, Hans-Rudolf

Contributors: Observatoire des Sciences de l'Univers de Grenoble (OSUG ), Institut national des sciences de l'Univers (INSU - CNRS)-Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Université Grenoble Alpes (UGA)-Météo-France, Young Investigators Group Bioinformatics and Transcriptomics, Department of Molecular Systems Biology, Helmholtz Centre for Environmental Research - UFZ, 04318 Leipzig, Ecole Polytechnique Fédérale de Lausanne (EPFL), Friedrich Miescher Institute for Biomedical Research (FMI), Basel, Switzerland, Grenoble Alpes University, Galaxy Training Network, Small-scale Galaxy Admins Community

Superior Title: https://hal.science/hal-04491929 ; Grenoble Alpes University. 2024, pp.20.

Subject Terms: Workflow Management Systems, Workflow System, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Relation: hal-04491929; https://hal.science/hal-04491929; https://hal.science/hal-04491929v2/document; https://hal.science/hal-04491929v2/file/Galaxy-SSA-Feb2024-Poll-Report.pdf

Availability: https://hal.science/hal-04491929
https://hal.science/hal-04491929v2/document
https://hal.science/hal-04491929v2/file/Galaxy-SSA-Feb2024-Poll-Report.pdf


Save to List
16
Report
12 shades of RDF: Impact of Syntaxes on Data Extraction with Language Models

Authors: Ringwald, Célian, Gandon, Fabien, Faron, Catherine, Michel, Franck, Akl, Hanna, Abi

Contributors: 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), 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)-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), ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019), ANR-15-IDEX-0001,UCA JEDI,Idex UCA JEDI(2015)

Superior Title: https://hal.science/hal-04581124 ; 2024.

Subject Terms: Data extraction RDF Linearization Language Model, Data extraction, RDF, Linearization, Language Model, [INFO]Computer Science [cs], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]

Relation: hal-04581124; https://hal.science/hal-04581124; https://hal.science/hal-04581124/document; https://hal.science/hal-04581124/file/ESWC_CameraReady-38.pdf

Availability: https://hal.science/hal-04581124
https://hal.science/hal-04581124/document
https://hal.science/hal-04581124/file/ESWC_CameraReady-38.pdf


Save to List
17
Report
Boolean Network Models of Human Preimplantation Development

Authors: Bolteau, Mathieu, Chebouba, Lokmane, David, Laurent, Bourdon, Jérémie, Guziolowski, Carito

Contributors: Nantes Université (Nantes Univ), NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), 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, Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene Alger (USTHB), Université Frères Mentouri – Constantine 1 = Constantine 1 – Frères Mentouri University (UMC), Centre Hospitalier Universitaire de Nantes = Nantes University Hospital (CHU Nantes), Centre de Recherche en Transplantation et Immunologie - Center for Research in Transplantation and Translational Immunology (U1064 Inserm - CR2TI), Institut National de la Santé et de la Recherche Médicale (INSERM)-Nantes Université - UFR de Médecine et des Techniques Médicales (Nantes Univ - UFR MEDECINE), Nantes Université - pôle Santé, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Santé, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), ANR-20-THIA-0011,AIby4,AI by / for Human, Health and Industry(2020), ANR-20-CE17-0007,BOOSTIVF,Analyse combinée des données morphologiques et moléculaires lors du développement préimplantatoire humain afin d'améliorer la FIV(2020)

Superior Title: https://hal.science/hal-04579386 ; 2024.

Subject Terms: Boolean Networks, Human Embryonic Development, scRNAseq, Systems Biology, Answer Set Programming, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO]Computer Science [cs], [SDV]Life Sciences [q-bio], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]

Relation: hal-04579386; https://hal.science/hal-04579386; https://hal.science/hal-04579386/document; https://hal.science/hal-04579386/file/Bolteau_et_al_2024_Boolean_Network_Models_of_Human_Preimplantation_Development.pdf

Availability: https://hal.science/hal-04579386
https://hal.science/hal-04579386/document
https://hal.science/hal-04579386/file/Bolteau_et_al_2024_Boolean_Network_Models_of_Human_Preimplantation_Development.pdf


Save to List
18
Report
An Exact Characterization of the Generalization Error of Machine Learning Algorithms ; Une caractérisation exacte de l'erreur de généralisation pour des algorithmes d'apprentissage automatique

Authors: Zou, Xinying, Perlaza, Samir, M., Esnaola, Iñaki, Altman, Eitan, Poor, H. Vincent

Contributors: Network Engineering and Operations (NEO ), 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), Department of Electrical and Computer Engineering Princeton (ECE), Princeton University, Laboratoire de Géométrie Algébrique et Applications à la Théorie de l'Information (GAATI), Université de la Polynésie Française (UPF), Department of Automatic Control and Systems Engineering Sheffield (ACSE), University of Sheffield Sheffield, Laboratoire Informatique d'Avignon (LIA), Avignon Université (AU)-Centre d'Enseignement et de Recherche en Informatique - CERI, Inria Exploratory Action -- Information and Decision Making (IDEM)U.S National Science Foundation under Grant ECCS-2335876C3.ai Digital Transformation InstitutePrinceton Language + Intelligence, INRIA, ANR-21-CE25-0013,PARFAIT,Planification et apprentissage pour AI-Edge Computing (PARFAIT)(2021), European Project: 872172,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions,TESTBED2(2020)

Superior Title: https://inria.hal.science/hal-04442566 ; RR-9539, INRIA. 2024, pp.80.

Subject Terms: Statistical Machine Learning, Gibbs Algorithm, Generalization Error, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]

Relation: info:eu-repo/grantAgreement//872172/EU/Testing and Evaluating Sophisticated information and communication Technologies for enaBling scalablE smart griD Deployment/TESTBED2; Report N°: RR-9539; hal-04442566; https://inria.hal.science/hal-04442566; https://inria.hal.science/hal-04442566v3/document; https://inria.hal.science/hal-04442566v3/file/V3-RR9539.pdf

Availability: https://inria.hal.science/hal-04442566
https://inria.hal.science/hal-04442566v3/document
https://inria.hal.science/hal-04442566v3/file/V3-RR9539.pdf


Save to List
19
Report
Correlation of Rankings in Matching Markets

Authors: Castera, Rémi, Loiseau, Patrick, Pradelski, Bary

Contributors: Laboratoire d'Informatique de Grenoble (LIG), 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), Performance analysis and optimization of LARge Infrastructures and Systems (POLARIS), 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 d'Informatique de Grenoble (LIG), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), IA coopérative : équité, vie privée, incitations (FAIRPLAY), Centre de Recherche en Économie et Statistique (CREST), Ecole Nationale de la Statistique et de l'Analyse de l'Information Bruz (ENSAI)-École polytechnique (X)-École Nationale de la Statistique et de l'Administration Économique (ENSAE Paris)-Centre National de la Recherche Scientifique (CNRS)-Ecole Nationale de la Statistique et de l'Analyse de l'Information Bruz (ENSAI)-École polytechnique (X)-École Nationale de la Statistique et de l'Administration Économique (ENSAE Paris)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Polytechnique de Paris (IP Paris)-Criteo AI Lab, Criteo Paris -Criteo Paris, Maison Française d'Oxford (MFO), Ministère de l'Europe et des Affaires étrangères (MEAE)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), ANR-20-CE23-0007,FairPlay,Algorithmes équitables via la théorie des jeux et l'apprentissage séquentiel(2020), ANR-19-CE48-0018,ALIAS,Apprentissage adaptatif multi-agent(2019)

Superior Title: https://hal.science/hal-03672270 ; 2024.

Subject Terms: [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Relation: hal-03672270; https://hal.science/hal-03672270; https://hal.science/hal-03672270v6/document; https://hal.science/hal-03672270v6/file/Correlation_of_Ranking_in_Matching_Markets.pdf

Availability: https://hal.science/hal-03672270
https://hal.science/hal-03672270v6/document
https://hal.science/hal-03672270v6/file/Correlation_of_Ranking_in_Matching_Markets.pdf


Save to List
20
Report
A Simple Loopcheck for Intuitionistic K

Authors: Girlando, Marianna, Kuznets, Roman, Marin, Sonia, Morales, Marianela, Straßburger, Lutz

Contributors: Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), 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), Vienna University of Technology = Technische Universität Wien (TU Wien), University of Birmingham Birmingham, Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute IMDEA Software Madrid

Superior Title: https://inria.hal.science/hal-04569308 ; 2024.

Subject Terms: Intuitionistic modal logic, Labelled sequent calculus, Decidability, Root-first proof search, Finite model property, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04569308; https://inria.hal.science/hal-04569308; https://inria.hal.science/hal-04569308/document; https://inria.hal.science/hal-04569308/file/main-nocomment.pdf

Availability: https://inria.hal.science/hal-04569308
https://inria.hal.science/hal-04569308/document
https://inria.hal.science/hal-04569308/file/main-nocomment.pdf


Save to List