Search - CAPP Access content directly

Filter your results

22 Results
Domains : math

AGREE - Algebraic Graph Rewriting with Controlled Embedding

Andrea Corradini , Dominique Duval , Rachid Echahed , Frederic Prost , Leila Ribeiro et al.
ICGT 2015 - 8th International Conference on Graph Transformation, Jul 2015, L'Aquila, Italy. pp.35-51, ⟨10.1007/978-3-319-21145-9_3⟩
Conference papers hal-01403189v1

Optimal accessing and non-accessing structures for graph protocols

Sylvain Gravier , Jérôme Javelle , Mehdi Mhalla , Simon Perdrix
Preprints, Working Papers, ... hal-00944430v1

The physical Church-Turing thesis and the principles of quantum theory

Pablo Arrighi , Gilles Dowek
QIPC, 2011, Zurich, Switzerland. Local proceedings
Conference papers hal-00944544v1

Graph States, Pivot Minor, and Universality of (X,Z)-measurements

Mehdi Mhalla , Simon Perdrix
International Journal of Unconventional Computing, 2013, 9 (1-2), pp.153-171
Journal articles hal-00934104v1

Stochastic Cellular Automata: Correlations, Decidability and Simulations

Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier
Fundamenta Informaticae, 2013, 126 (2-3), pp.121-156. ⟨10.3233/FI-2013-87⟩
Journal articles hal-00944466v1

New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States

Jérôme Javelle , Mehdi Mhalla , Simon Perdrix
TQC 2012 - 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. pp.1-12, ⟨10.1007/978-3-642-35656-8_1⟩
Conference papers hal-00934531v1

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Dominique Duval , Rachid Echahed , Frederic Prost
GT-VMT 2011 - International Workshop on Graph Transformation and Visual Modeling Techniques (satellite workshop of ETAPS 2011), Apr 2011, Saarbrücken, Germany. 17 p
Conference papers hal-00828532v1

Which graph states are useful for quantum information processing?

Mehdi Mhalla , Mio Murao , Simon Perdrix , Masato Someya , Peter S. Turner et al.
TQC 2011 - Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p
Conference papers hal-00932374v1
Image document

Polytope compatibility

Andreas Bluhm , Ion Nechita , Simon Schmidt
Preprints, Working Papers, ... hal-04082901v1

Combinatorial graph games.

Sylvain Gravier , Eric Duchêne , Mehdi Mhalla
Ars Combinatoria, 2008
Journal articles hal-00290414v1
Image document

Quantum Polar Codes

Ashutosh Goswami
Information Theory [math.IT]. Université Grenoble Alpes [2020-..], 2021. English. ⟨NNT : 2021GRALM042⟩
Theses tel-03588305v1
Image document

Schémas de formules et de preuves en logique propositionnelle

Vincent Aravantinos
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2010. Français. ⟨NNT : ⟩
Theses tel-00523658v1
Image document

On group theory for quantum gates and quantum coherence

Michel Planat , Philippe Jorrand
Journal of Physics A: Mathematical and Theoretical, 2008, 41, pp.182001
Journal articles hal-00263678v2
Image document

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

Nicolas Balacheff , Thierry Boy de La Tour
Hanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in Mathematics Research and Teaching, Springer, pp.349-365, 2019, 978-3-030-28483-1
Book sections hal-02333646v1

Contextuality in multipartie pseudo-telepathy graph games

Anurag Anshu , Peter Hoyer , Mehdi Mhalla , Simon Perdrix
FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. pp.41-55, ⟨10.1007/978-3-662-55751-8_5⟩
Conference papers hal-01378413v1
Image document

Graph Transformation with Focus on Incident Edges

Dominique Duval , Rachid Echahed , Frederic Prost
ICGT 2012 - 6th International Conference on Graph Transformations, Sep 2012, Bremen, Germany. pp.156-171, ⟨10.1007/978-3-642-33654-6_11⟩
Conference papers hal-00828535v1

The Pullback-Pushout Approach to Algebraic Graph Transformation

Andrea Corradini , Dominique Duval , Rachid Echahed , Frederic Prost , Leila Ribeiro et al.
ICGT 2017, Jul 2017, Marburg, Germany. pp.3-19, ⟨10.1007/978-3-319-61470-0_1⟩
Conference papers hal-01984745v1

Causal graph dynamics

Pablo Arrighi , Gilles Dowek
Preprints, Working Papers, ... hal-00944505v1

Generalized Cayley Graphs and Cellular Automata over them

Pablo Arrighi , Simon Martiel , Vincent Nesme
GCM, 2012, Bremen, Germany. Local proceedings
Conference papers hal-00944506v1

Applying causality principles to the axiomatization of probabilistic cellular automata

Pablo Arrighi , Renan Fargetton , Vincent Nesme , Eric Thierry
Preprints, Working Papers, ... hal-00944542v1
Image document

Quantum Secret Sharing with Graph States

Sylvain Gravier , Jérôme Javelle , Mehdi Mhalla , Simon Perdrix
MEMICS 2012 - International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. pp.15-31, ⟨10.1007/978-3-642-36046-6_3⟩
Conference papers hal-00933722v1
Image document

Parallel Graph Rewriting with Overlapping Rules

Rachid Echahed , Aude Maignan
[Research Report] LJK and LIG. 2016, pp.26
Reports hal-01408834v1