Filtrer vos résultats
- 5
- 1
- 6
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 6
- 4
- 2
- 1
- 1
- 1
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
6 résultats
|
|
triés par
|
From Structuring Elements to Structuring Neighborhood Systems14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
Communication dans un congrès
hal-02288568v1
|
|||
|
Potential Field Based Optimization of a Prey-Predator Multi-Agent System9th Vienna Conference on Mathematical Modelling, Feb 2018, Vienna, Austria. ⟨10.11128/arep.55.a55287⟩
Communication dans un congrès
hal-01768192v1
|
||
|
(In)finite Trace Equivalence of Probabilistic Transition Systems14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Communication dans un congrès
hal-02044641v1
|
||
|
Weakening and Iterating Laws using String DiagramsMFPS XXXVIII, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10482⟩
Communication dans un congrès
hal-04085131v1
|
||
|
Combining probabilistic and non-deterministic choice via weak distributive lawsLICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.454-464, ⟨10.1145/3373718.3394795⟩
Communication dans un congrès
hal-02564365v1
|
||
|
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩
Communication dans un congrès
hal-04491472v1
|