Discipline
Résultats 21-40 de 50
-
Formal proof of polynomial-time complexity with quasi-interpretations
7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, 08-01-2018Autre communication scientifique (congrès sans actes - poster - séminaire...) -
Formal security proofs with minimal fuss: Implicit computational complexity at work
Information and Computation, Elsevier, 04-2015, 241, 96-113Compte-rendu et recension critique d'ouvragetexte intégral -
Generalized Benford’s Law as a Lie Detector
Advances in Cognitive Psychology, Vizja Press & IT, 30-06-2017, 13; 2, 121 - 127Compte-rendu et recension critique d'ouvragetexte intégral -
Geometric Amortization of Enumeration Algorithms
40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), Hamburg, 07-03-2023, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023Communication dans un congrès avec actestexte intégral -
How to deal with potentially huge dimensional state space: The meta-dynamics approach - Application to a model of the co-evolution of bacterio-phage populations
Journal of Computational and Applied Mathematics; Special Issue on Evolutionary Problems, Elsevier, 15-08-2007, 205; 2, 687-695Compte-rendu et recension critique d'ouvragetexte intégral -
Human behavioral complexity peaks at age 25
PLoS Computational Biology, Public Library of Science, 2017Compte-rendu et recension critique d'ouvragetexte intégral -
Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation
10-12-2013, National Institute of InformaticsRapport de recherche -
Incremental delay enumeration: Space and time
Discrete Applied Mathematics, Elsevier, 08-2018Compte-rendu et recension critique d'ouvragetexte intégral -
Indexing labeled sequences
PeerJ Computer Science, PeerJ, 2018, 4, 1-14Compte-rendu et recension critique d'ouvragetexte intégral -
k-medoid clustering is solvable in polynomial time for a 2d Pareto front
6th World Congress on Global Optimization (WCGO 2019), Metz, 08-07-2019Autre communication scientifique (congrès sans actes - poster - séminaire...) -
Knowledge Compilation Languages as Proof Systems
Theory and Applications of Satisfiability Testing – SAT 2019, Lisbon, 07-07-2019, 29-06-2019Communication dans un congrès avec actestexte intégral -
Linear High-Order Deterministic Tree transducers with Regular look-ahead
28-08-2020, INRIARapport de recherchetexte intégral -
Linear high-order deterministic tree transducers with regular look-ahead
MFCS 2020 : The 45th International Symposium on Mathematical Foundations of Computer Science, Prague, 24-08-2020, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), 28-08-2020Communication dans un congrès avec actestexte intégral -
Méthodes des moments pour l'inférence de systèmes séquentiels linéaires rationnels
Université de Lille 1 - Sciences et Technologies, 08-07-2016Thèsetexte intégral -
Model Interpretability through the Lens of Computational Complexity
NeurIPS 2020, Held online, 07-12-2020Communication dans un congrès avec actestexte intégral -
Monadic Second-Order Logic with Arbitrary Monadic Predicates
ACM Transactions on the Web, http://tweb.acm.org/, 2017, 9; 3, 39 - 56Compte-rendu et recension critique d'ouvragetexte intégral -
Multi-level Parallel Branch-and-Bound Algorithms for Solving Permutation Problems on GPU-accelerated Clusters
Université Lille 1, 18-09-2020Habilitation à diriger des recherchestexte intégral -
On the parameterized complexity of non-hereditary relaxations of clique
2023, Liris; Loria; CRIStALRapport de recherchetexte intégral -
Optimization of Video Content Descriptions for Retrieval
Multimedia Dictionary, Second Edition, Springer, 2008Partie d'ouvrage -
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)
14-12-2018, CNRSRapport de recherchetexte intégral