Zobrazeno 1 - 10
of 25
pro vyhledávání: '"inductive construction"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ICWS
In Variational Quantum Simulations, the construction of a suitable parametric quantum circuit is subject to two counteracting effects. The number of parameters should be small for the device noise to be manageable, but also large enough for the circu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ec29a568a569d64de29832b6e72934e
Autor:
Salwa Souaf, Frédéric Loulergue
Publikováno v:
21st International Conference on Formal Engineering Methods (ICFEM)
21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩
Formal Methods and Software Engineering ISBN: 9783030324087
ICFEM
21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩
Formal Methods and Software Engineering ISBN: 9783030324087
ICFEM
International audience; Alloy is both a formal language and a tool for software mod-eling. The language is basically first order relational logic. The analyzer is based on instance finding: it tries to refute assertions and if it succeeds it reports
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b895f584933941f534bb08d6a18dfe57
https://hal.archives-ouvertes.fr/hal-02317118/file/ICFEM_2019__Alloy_to_Coq.pdf
https://hal.archives-ouvertes.fr/hal-02317118/file/ICFEM_2019__Alloy_to_Coq.pdf
Publikováno v:
Advances in Applied Mathematics. 50(1):16-45
This is the post-print version of the Article - Copyright @ 2013 Elsevier In an earlier paper, we proved that an internally 4-connected binary matroid with at least seven elements contains an internally 4-connected proper minor that is at most six el
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f901ddfea7fa557520dc0784d9e3e01
Autor:
HARA, Takashi
Publikováno v:
数理解析研究所講究録別冊. :83-104
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::bac295a72646415f33d62f386b30e26c
http://hdl.handle.net/2433/196247
http://hdl.handle.net/2433/196247
Autor:
Claudio Sacerdoti Coen
Publikováno v:
Electronic Notes in Theoretical Computer Science. 174:97-118
We compare several reduction and conversion strategies for the Calculus of (co)Inductive Constructions by running benchmarks from the library of the Coq proof assistant. All the strategies have been implemented in an independent verifier for the proo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b98b4c1c860f4e313fff3d48f77b8fc2
https://doi.org/10.1016/j.entcs.2007.02.050
https://doi.org/10.1016/j.entcs.2007.02.050
Autor:
Nguyen, Viet Hang
La théorie de la rigidité étudie l'unicité des réalisations des graphes, i.e., des charpentes. Initialement motivée par l'ingénierie des structures, la théorie de la rigidité trouve aujourd'hui des applications dans plusieurs domaines import
Externí odkaz:
http://www.theses.fr/2013GRENM052/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.