Search - Université Toulouse - Jean Jaurès Access content directly

Filter your results

15 Results
Structure: Internal structure identifier : 152470

Logic and Information Security: Special issue of the Journal of Applied Non-Classical Logics 19-2009

Philippe Balbiani , Hans Van Ditmarsch , Jan van Eijck
Journal of Applied Non-Classical Logics, 19 (4), , 2009, ⟨10.1080/11663081.2009.9736630⟩
Special issue hal-04000440v1
Image document

Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering

Benoit Combemale , Jörg Kienzle , Gunter Mussbacher , Olivier Barais , Erwan Bousse , et al.
Computer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Journal articles hal-01803008v1
Image document

The Software Language Extension Problem

Manuel Leduc , Thomas Degueule , Eric van Wyk , Benoit Combemale
Software and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Journal articles hal-02399166v1
Image document

Modular Language Composition for the Masses

Manuel Leduc , Thomas Degueule , Benoit Combemale
SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Conference papers hal-01890446v1
Image document

Inferring trust (CLIMA 2004)

Mehdi Dastani , Andreas Herzig , Joris Hulstijn , Leendert W. N. van Der Torre
Fifth workshop on computational logic in multi-agent systems (CLIMA V 2004) à JELIA 2004, Sep 2004, Lisbon, Portugal. pp.144-160
Conference papers hal-03519776v1

Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks

Milan Korda , Monique Laurent , Victor Magron , Andries Steenkamp
Mathematical Programming, 2023, ⟨10.1007/s10107-023-01993-x⟩
Journal articles hal-03782934v1
Image document

Improved convergence rates for Lasserre-type hierarchies of upper bounds for box-constrained polynomial optimization

Etienne de Klerk , Roxana Hess , Monique Laurent
SIAM Journal on Optimization, 2017, 27 (1), pp.317-367
Journal articles hal-01290369v1
Image document

Shape-Diverse DSLs: Languages without Borders (Vision Paper)

Fabien Coulon , Thomas Degueule , Tijs van Der Storm , Benoit Combemale
SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩
Conference papers hal-01889155v1
Image document

Maximin Action Identification: A New Bandit Framework for Games

Aurélien Garivier , Emilie Kaufmann , Wouter M. Koolen
29th Annual Conference on Learning Theory (COLT), Jun 2016, New-York, United States
Conference papers hal-01273842v2
Image document

MMD Aggregated Two-Sample Test

Antonin Schrab , Ilmun Kim , Mélisande Albert , Béatrice Laurent , Benjamin Guedj , et al.
Journal of Machine Learning Research, 2023, 24 (194), pp.1-81
Journal articles hal-03408976v3
Image document

Automatic generation of Truffle-based interpreters for Domain-Specific Languages

Manuel Leduc , Gwendal Jouneaux , Thomas Degueule , Gurvan Le Guernic , Olivier Barais , et al.
The Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Journal articles hal-02395867v2
Image document

Efficient Content Delivery in the Presence of Impatient Jobs

Maialen Larrañaga , Onno J. Boxma , Rudesindo Núñez-Queija , Mark S. Squillante
International Teletraffic Congress, Sep 2015, Ghent, Belgium
Conference papers hal-01167531v1
Image document

A Language-Parametric Approach to Exploratory Programming Environments

L. Thomas van Binsbergen , Damian Frölich , Mauricio Verano Merino , Joey Lai , Pierre Jeanjean , et al.
SLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩
Conference papers hal-03921387v1

Bound-Constrained Polynomial Optimization Using Only Elementary Calculations

Etienne de Klerk , Jean B Lasserre , Monique Laurent , Zhao Sun
Mathematics of Operations Research, 2017, 42 (3), pp.834 - 853. ⟨10.1287/moor.2016.0829⟩
Journal articles hal-01698348v1
Image document

Moment Matrices, Border Bases and Real Radical Computation

Jean-Bernard Lasserre , Monique Laurent , Bernard Mourrain , Philipp Rostalski , Philippe Trébuchet
Journal of Symbolic Computation, 2013, 51, pp.63-85. ⟨10.1016/j.jsc.2012.03.007⟩
Journal articles hal-00651759v1