Filter your results
- 20
- 14
- 15
- 11
- 5
- 2
- 1
- 1
- 31
- 5
- 4
- 1
- 1
- 1
- 4
- 5
- 6
- 2
- 6
- 3
- 1
- 31
- 3
- 34
- 12
- 12
- 9
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 34
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Solving Analytic Differential Equations in Polynomial Time over Unbounded DomainsMathematical Foundations of Computer Science, MFCS'11, 2011, Poland. pp.170-181
Conference papers
hal-00760919v1
|
||
|
A Universal Ordinary Differential EquationLogical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16(1:28)2020⟩
Journal articles
hal-03011133v1
|
||
|
Computability, Complexity and Programming with Ordinary Differential Equations37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.3⟩
Conference papers
hal-03668004v1
|
||
Population Protocols that Correspond to Symmetric GamesInternational Journal of Unconventional Computing, 2013, 9 (1-2), pp.5--36
Journal articles
hal-01198889v1
|
|||
|
A Survey on Continuous Time ComputationsNew Computational Paradigms. Changing Conceptions of What is Computable, Springer, pp.383-423, 2008
Book sections
hal-00760976v1
|
||
|
Polynomial differential equations compute all real computable functions on computable compact intervalsJournal of Complexity, 2007, 23 (3), pp.317--335
Journal articles
inria-00102947v2
|
||
|
A dynamic approach for load balancingThe Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Samson Lasaulce and Yezekael Hayel, Oct 2009, Pise, Italy
Conference papers
inria-00435160v1
|
||
|
Learning Equilibria in Games by Stochastic Distributed AlgorithmsGelenbe, Erol and Lent, Ricardo. Computer and Information Sciences III, Springer London, pp.31--38, 2013, ⟨10.1007/978-1-4471-4594-3_4⟩
Book sections
hal-00782034v1
|
||
Apprentissage distribué d'états stables pour le routagecongr{è}s de la Soci{é}t{é} Française de Recherche Op{é}rationnelle et d'Aide à la D{é}cision (ROADEF'09), Feb 2009, Nancy, France
Conference papers
inria-00430134v1
|
|||
|
On the Number of Binary-Minded Individuals Required To Compute $\sqrt\frac12$Theoretical Computer Science, 2011, 411 (22), pp.2262--2267. ⟨10.1016/j.tcs.2011.01.003⟩
Journal articles
hal-00760928v1
|
||
|
Fondements de l'Informatique: Logique, Modèles, CalculsEcole Polytechnique, 2011
Books
hal-00760775v1
|
||
|
On the convergence of population protocols when population goes to infinityApplied Mathematics and Computation, 2009, Applied Mathematics and Computation, 215, pp.1340-1350. ⟨10.1016/j.amc.2009.04.056⟩
Journal articles
inria-00432318v1
|
||
|
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital ProgramsCMSB 2017 - 15th International Conference on Computational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. pp.108-127
Conference papers
hal-01519828v3
|
||
|
Homonym Population ProtocolsTheory of Computing Systems, 2018, 62 (5), pp.1318-1346. ⟨10.1007/s00224-017-9833-2⟩
Journal articles
hal-01688764v1
|
||
Population protocols that correspond to symmetric games.International Journal of Unconventional Computing, 2013, 9 ((1-2)), pp.5-36
Journal articles
hal-01303147v1
|
|||
Playing With Population ProtocolsInternational Workshop on The Complexity of Simple Programs, Dec 2008, Cork, Ireland
Conference papers
inria-00330344v1
|
|||
|
Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions[Research Report] 2009
Reports
inria-00421561v1
|
||
|
Algebraic Characterizations of Complexity-Theoretic Classes of Real FunctionsInternational Journal of Unconventional Computing, 2011, 7 (5), pp.331-351
Journal articles
hal-00644361v1
|
||
|
Computation with perturbed dynamical systemsJournal of Computer and System Sciences, 2013, 79 (5), pp.714-724. ⟨10.1016/j.jcss.2013.01.025⟩
Journal articles
hal-00643634v2
|
||
Playing with Population ProtocolsThe Complexity of Simple Program, CSP'08, Dec 2008, Cork, Ireland
Conference papers
hal-00760951v1
|
|||
|
On the complexity of solving polynomial initial value problemsInternational Symposium on Symbolic and Algebraic Computation (ISSAC'12), 2012, France
Conference papers
hal-00760742v1
|
||
|
Learning Equilibria in Games by Stochastic Distributed Algorithms27th International Symposium on Computer and Information Sciences, ISCIS'2012, 2012, France
Conference papers
hal-00760749v1
|
||
|
Computing with Pavlovian PopulationsPrinciples of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings, 2011, France. pp.409-420
Conference papers
hal-00760778v1
|
||
Theoretical Computer Science: Computability, Decidability and LogicA Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
Book sections
hal-03173193v1
|
|||
|
Décidabilité et ComplexitéPierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Book sections
inria-00549416v1
|
||
Distributed Learning of Equilibria in a Routing GameParallel Processing Letters, 2009, 19 (2), pp.189-204. ⟨10.1142/S012962640900016X⟩
Journal articles
inria-00432310v1
|
|||
Theoretical Computer Science: Computational ComplexityA Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
Book sections
hal-02995771v1
|
|||
|
Computing with Large Populations Using InteractionsMathematical Foundations of Computer Science 2012, MFCS'2012, Aug 2012, Slovakia. pp.234-246
Conference papers
hal-00760669v1
|
||
|
Towards an Axiomatization of Simple Analog AlgorithmsTheory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings, Date-Added = 2012-05-04 20:32:53 +0000, Date-Modified = 2012-05-04 20:35:01 +0000, 2012, China. pp.525-536
Conference papers
hal-00760736v1
|
||
Homonym Population Protocols, or Providing a Small Space of Computation Using a Few IdentifiersThird International Conference, NETYS 2015, May 2015, Agadir, Morocco
Conference papers
hal-01153806v1
|
- 1
- 2