Auswahl der wissenschaftlichen Literatur zum Thema „Proof reconstruction“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Proof reconstruction" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Proof reconstruction"
Bundy, Alan, Mateja Jamnik und Andrew Fugard. „What is a proof?“ Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363, Nr. 1835 (14.09.2005): 2377–91. http://dx.doi.org/10.1098/rsta.2005.1651.
Der volle Inhalt der QuelleFrancez, Nissim, und Gilad Ben-Avi. „Proof-Theoretic Reconstruction of Generalized Quantifiers“. Journal of Semantics 32, Nr. 3 (20.03.2014): 313–71. http://dx.doi.org/10.1093/jos/ffu001.
Der volle Inhalt der QuelleFasan, Oluwasola Mary, und Martin S. Olivier. „Correctness proof for database reconstruction algorithm“. Digital Investigation 9, Nr. 2 (November 2012): 138–50. http://dx.doi.org/10.1016/j.diin.2012.09.002.
Der volle Inhalt der QuelleIványi, Antal. „Reconstruction of score sets“. Acta Universitatis Sapientiae, Informatica 6, Nr. 2 (01.12.2014): 210–29. http://dx.doi.org/10.1515/ausi-2015-0005.
Der volle Inhalt der QuelleBanach, R. „Sequent reconstruction in LLM—A sweepline proof“. Annals of Pure and Applied Logic 73, Nr. 3 (Juni 1995): 277–95. http://dx.doi.org/10.1016/0168-0072(94)00033-y.
Der volle Inhalt der QuelleKrajewski, Stanisław. „Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs“. Studia Humana 9, Nr. 3-4 (01.10.2020): 154–64. http://dx.doi.org/10.2478/sh-2020-0034.
Der volle Inhalt der QuelleD’Alpaos, Diana, Giovanni Badiali, Francesco Ceccariglia und Achille Tarsitano. „Delayed Orbital Floor Reconstruction Using Mirroring Technique and Patient-Specific Implants: Proof of Concept“. Journal of Personalized Medicine 14, Nr. 5 (26.04.2024): 459. http://dx.doi.org/10.3390/jpm14050459.
Der volle Inhalt der QuelleRUMBERG, ANTJE. „BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS“. Review of Symbolic Logic 6, Nr. 3 (03.07.2013): 424–59. http://dx.doi.org/10.1017/s1755020313000154.
Der volle Inhalt der QuelleKlima, Gyula. „Aquinas’s Real Distinction and Its Role in a Causal Proof of God’s Existence“. Roczniki Filozoficzne 67, Nr. 4 (23.12.2019): 7–26. http://dx.doi.org/10.18290/rf.2019.67.4-1.
Der volle Inhalt der QuelleGodino-Moya, Alejandro, Rosa-María Menchón-Lara, Marcos Martín-Fernández, Claudia Prieto und Carlos Alberola-López. „Elastic AlignedSENSE for Dynamic MR Reconstruction: A Proof of Concept in Cardiac Cine“. Entropy 23, Nr. 5 (29.04.2021): 555. http://dx.doi.org/10.3390/e23050555.
Der volle Inhalt der QuelleDissertationen zum Thema "Proof reconstruction"
El, haddad Yacine. „Integrating Automated Theorem Provers in Proof Assistants“. Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG052.
Der volle Inhalt der QuelleLambdapi is a proof assistant that allows users to construct a proof of a given theorem in a universal language based on the lambda-pi-calculus. The goal of this thesis is to add more automation to Lambdapi to gain more time and effort for the users. This thesis presents three contributions associated with the integration of automated provers in proof assistants. The first contribution consists of the implementation of a tactic that calls automated provers from Lambdapi by using an external platform called Why3. Usually, automated provers do not generate a complete certificate of a given formula, thus, the second contribution presented in this thesis is the reconstruction in Lambdapi of proofs generated by first-order automated provers implemented in a tool called Ekstrakto. Finally, automated provers often perform some transformations on the formula that they are trying to solve. Among these transformations, we can find Skolemization steps. The last contribution is devoted to the certification of Skolemization steps performed by the automated provers in order to have a complete reconstruction. This has been implemented in a tool called Skonverto
Huang, Xiaorong [Verfasser]. „Human Oriented Proof Presentation: A Reconstructive Approach / Xiaorong Huang“. Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999. http://d-nb.info/1026735831/34.
Der volle Inhalt der QuelleLast, Carsten [Verfasser], und Dr Ing Wahl Friedrich M. [Akademischer Betreuer] Prof. „From Global to Local Statistical Shape Priors - Novel methods to obtain accurate reconstruction results with a limited amount of training shapes / Carsten Last ; Betreuer: Friedrich M. Prof. Dr.-Ing. Wahl“. Braunschweig : Technische Universität Braunschweig, 2016. http://d-nb.info/117581816X/34.
Der volle Inhalt der QuelleAfonso, Mara Cristina da Conceição. „A reconstituição informática e as provas atípicas em processo penal“. Master's thesis, 2017. http://hdl.handle.net/10362/21790.
Der volle Inhalt der QuelleA presente dissertação versa sobre a matéria das provas atípicas em Processo Penal, em geral, e sobre a admissibilidade da prova por reconstituição do facto feita por meios informáticos, em particular. O enquadramento geral das provas atípicas no sistema processual penal português é fundamental para perceber de que forma o plano da legalidade se pode relacionar com o plano da atipicidade da prova, sem ultrapassar os limites impostos pelas proibições de prova. É, portanto, importante perceber se é possível defender a existência de um processo penal aberto no qual tudo o que não for proibido possa ser valorado como meio de prova admissível. Trata-se de uma questão aplicável à reconstituição informática do crime, como nova modalidade da prova penal científica com uma vocação potencial para se constituir como meio de prova legítimo. O objectivo desta dissertação será, portanto, o de explorar a contraposição existente entre a legalidade e a liberdade de prova e a sua repercussão na questão da admissibilidade da reconstituição informática do crime como meio de prova no Processo Penal português e, subsequentemente, perceber qual o regime aplicável a este novo instrumento probatório, considerando a necessidade de assegurar o respeito pelas garantias processuais legalmente previstas.
Bücher zum Thema "Proof reconstruction"
Trinity and process: A critical evaluation and reconstruction of Hartshorne's di-polar theism towards a trinitarian metaphysics. New York: P. Lang, 1992.
Den vollen Inhalt der Quelle findenCaccamo, Francesco, Pavel Helan und Massimo Tria, Hrsg. Primavera di Praga, risveglio europeo. Florence: Firenze University Press, 2011. http://dx.doi.org/10.36253/978-88-6453-271-4.
Der volle Inhalt der QuelleDisaster-Proof! Rourke Educational Media, 2017.
Den vollen Inhalt der Quelle findenKoontz, Robin. Disaster-Proof! Rourke Educational Media, 2017.
Den vollen Inhalt der Quelle findenDisaster-Proof! Rourke Educational Media, 2017.
Den vollen Inhalt der Quelle findenSchmitt, Stephanie. Proof Reconstruction in Classical and Non-Classical Logics. Ios Pr Inc, 2000.
Den vollen Inhalt der Quelle findenReconstructing history: Essays in honour of Prof. V.C. Srivastava. Varanasi: Felicitation Committee, 1998.
Den vollen Inhalt der Quelle findenMisra, Vidya Dhar. Reconstructing History (Essays in Honour of Prof. V.C. Srivastava) - 2 vol. South Asia Books, 1996.
Den vollen Inhalt der Quelle findenLohwasser, Nelo, und Rainer Schreg, Hrsg. Kleine Funde, große Geschichten - Archäologische Funde aus dem Bamberger Dom. University of Bamberg Press, 2021. http://dx.doi.org/10.20378/irb-50035.
Der volle Inhalt der QuelleBuchteile zum Thema "Proof reconstruction"
Schurr, Hans-Jörg, Mathias Fleury und Martin Desharnais. „Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant“. In Automated Deduction – CADE 28, 450–67. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_26.
Der volle Inhalt der QuelleReeves, Joseph E., Benjamin Kiesl-Reiter und Marijn J. H. Heule. „Propositional Proof Skeletons“. In Tools and Algorithms for the Construction and Analysis of Systems, 329–47. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30823-9_17.
Der volle Inhalt der QuelleSchmitt, Stephan, und Christoph Kreitz. „Deleting Redundancy in Proof Reconstruction“. In Lecture Notes in Computer Science, 262–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69778-0_27.
Der volle Inhalt der QuelleKaliszyk, Cezary, und Josef Urban. „PRocH: Proof Reconstruction for HOL Light“. In Automated Deduction – CADE-24, 267–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38574-2_18.
Der volle Inhalt der QuelleAndreotti, Bruno, Hanna Lachnitt und Haniel Barbosa. „Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format“. In Tools and Algorithms for the Construction and Analysis of Systems, 367–86. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30823-9_19.
Der volle Inhalt der QuelleBöhme, Sascha, und Tjark Weber. „Fast LCF-Style Proof Reconstruction for Z3“. In Interactive Theorem Proving, 179–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14052-5_14.
Der volle Inhalt der QuelleMontoro, Bárbara, und Pedro Ferradas. „Research and application of earthquake-proof technology“. In Disaster Risk Management and Reconstruction in Latin America, 29–36. Rugby, Warwickshire, United Kingdom: Practical Action Publishing, 2014. http://dx.doi.org/10.3362/9781780446721.002.
Der volle Inhalt der QuelleAltenkirch, Thorsten, Martin Hofmann und Thomas Streicher. „Categorical reconstruction of a reduction free normalization proof“. In Category Theory and Computer Science, 182–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60164-3_27.
Der volle Inhalt der QuelleWernhard, Christoph, und Wolfgang Bibel. „Learning from Łukasiewicz and Meredith: Investigations into Proof Structures“. In Automated Deduction – CADE 28, 58–75. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_4.
Der volle Inhalt der QuelleLachnitt, Hanna, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark Barrett und Cesare Tinelli. „IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL“. In Tools and Algorithms for the Construction and Analysis of Systems, 311–30. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57246-3_17.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Proof reconstruction"
Blanco, Roberto, Dale Miller und Alberto Momigliano. „Property-Based Testing via Proof Reconstruction“. In PPDP '19: Principles and Practice of Programming Languages 2019. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3354166.3354170.
Der volle Inhalt der Quelle„A mathematical proof of a noise weighted FBP reconstruction algorithm“. In 2013 IEEE Nuclear Science Symposium and Medical Imaging Conference (2013 NSS/MIC). IEEE, 2013. http://dx.doi.org/10.1109/nssmic.2013.6829219.
Der volle Inhalt der QuellePaez, Gonzalo, und Marija Strojnik. „Phase reconstruction from undersampled intensity pattern(s): uniqueness and convergence proof“. In International Conference on Optical Metrology, herausgegeben von Malgorzata Kujawinska und Mitsuo Takeda. SPIE, 1999. http://dx.doi.org/10.1117/12.357728.
Der volle Inhalt der QuelleTatum, Marcus, Geb W. Thomas und Donald D. Anderson. „DESIGN AND EVALUATION OF A SYSTEM FOR CT-FREE VOLUME RECONSTRUCTION FROM INTRA-OPERATIVE FLUOROSCOPY FOR NAVIGATION IN ORTHOPEDIC SURGERY“. In 2023 Design of Medical Devices Conference. American Society of Mechanical Engineers, 2023. http://dx.doi.org/10.1115/dmd2023-9640.
Der volle Inhalt der QuelleKosasih, R. „3D reconstruction of abdominal aortic aneurysm using Laplacian Eigenmaps“. In THE 2ND NATIONAL CONFERENCE ON MATHEMATICS EDUCATION (NACOME) 2021: Mathematical Proof as a Tool for Learning Mathematics. AIP Publishing, 2023. http://dx.doi.org/10.1063/5.0114420.
Der volle Inhalt der QuelleNguyen, Hung T., Vladik Kreinovich und Olga Kosheleva. „Membership functions representing a number vs. representing a set: Proof of unique reconstruction“. In 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2016. http://dx.doi.org/10.1109/fuzz-ieee.2016.7737749.
Der volle Inhalt der QuelleBrown, Matthew, Valerian Thiel, Markus Allgaier, Michael Raymer, Brian Smith, Paul Kwiat und John Monnier. „Proof-of-Principle Laboratory Demonstration of Long-Baseline Interferometric Imaging Using Distributed Single-Photons“. In Quantum 2.0. Washington, D.C.: Optica Publishing Group, 2022. http://dx.doi.org/10.1364/quantum.2022.qm3c.1.
Der volle Inhalt der QuelleShi, Daxin. „Derivation of FBP Reconstruction Algorithm along π-lines Using Katsevich-Type of Proof in Helical CT“. In 2019 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC). IEEE, 2019. http://dx.doi.org/10.1109/nss/mic42101.2019.9059778.
Der volle Inhalt der QuelleHolter, Christian. „Three Years Experience With Solar Air Condition in the EAR Office Tower in Pristina/Kosovo“. In ASME 2005 International Solar Energy Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/isec2005-76255.
Der volle Inhalt der QuelleSaey, Philippe, Frederic Depuydt, Mathieu Troch, Annemarie Kokosy, Stijn Noppe und Jos Knockaert. „Networked sensing architecture using oversampling techniques in PROFINET IRT devices and isochronous mode processing: Proof-of-principle and signal reconstruction at IO Controller side“. In 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 2017. http://dx.doi.org/10.1109/etfa.2017.8247766.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Proof reconstruction"
Gershoni, Jonathan M., David E. Swayne, Tal Pupko, Shimon Perk, Alexander Panshin, Avishai Lublin und Natalia Golander. Discovery and reconstitution of cross-reactive vaccine targets for H5 and H9 avian influenza. United States Department of Agriculture, Januar 2015. http://dx.doi.org/10.32747/2015.7699854.bard.
Der volle Inhalt der Quelle