Literatura científica selecionada sobre o tema "Proof reconstruction"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Proof reconstruction".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Proof reconstruction"
Bundy, Alan, Mateja Jamnik e Andrew Fugard. "What is a proof?" Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363, n.º 1835 (14 de setembro de 2005): 2377–91. http://dx.doi.org/10.1098/rsta.2005.1651.
Texto completo da fonteFrancez, Nissim, e Gilad Ben-Avi. "Proof-Theoretic Reconstruction of Generalized Quantifiers". Journal of Semantics 32, n.º 3 (20 de março de 2014): 313–71. http://dx.doi.org/10.1093/jos/ffu001.
Texto completo da fonteFasan, Oluwasola Mary, e Martin S. Olivier. "Correctness proof for database reconstruction algorithm". Digital Investigation 9, n.º 2 (novembro de 2012): 138–50. http://dx.doi.org/10.1016/j.diin.2012.09.002.
Texto completo da fonteIványi, Antal. "Reconstruction of score sets". Acta Universitatis Sapientiae, Informatica 6, n.º 2 (1 de dezembro de 2014): 210–29. http://dx.doi.org/10.1515/ausi-2015-0005.
Texto completo da fonteBanach, R. "Sequent reconstruction in LLM—A sweepline proof". Annals of Pure and Applied Logic 73, n.º 3 (junho de 1995): 277–95. http://dx.doi.org/10.1016/0168-0072(94)00033-y.
Texto completo da fonteKrajewski, Stanisław. "Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs". Studia Humana 9, n.º 3-4 (1 de outubro de 2020): 154–64. http://dx.doi.org/10.2478/sh-2020-0034.
Texto completo da fonteD’Alpaos, Diana, Giovanni Badiali, Francesco Ceccariglia e Achille Tarsitano. "Delayed Orbital Floor Reconstruction Using Mirroring Technique and Patient-Specific Implants: Proof of Concept". Journal of Personalized Medicine 14, n.º 5 (26 de abril de 2024): 459. http://dx.doi.org/10.3390/jpm14050459.
Texto completo da fonteRUMBERG, ANTJE. "BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS". Review of Symbolic Logic 6, n.º 3 (3 de julho de 2013): 424–59. http://dx.doi.org/10.1017/s1755020313000154.
Texto completo da fonteKlima, Gyula. "Aquinas’s Real Distinction and Its Role in a Causal Proof of God’s Existence". Roczniki Filozoficzne 67, n.º 4 (23 de dezembro de 2019): 7–26. http://dx.doi.org/10.18290/rf.2019.67.4-1.
Texto completo da fonteGodino-Moya, Alejandro, Rosa-María Menchón-Lara, Marcos Martín-Fernández, Claudia Prieto e Carlos Alberola-López. "Elastic AlignedSENSE for Dynamic MR Reconstruction: A Proof of Concept in Cardiac Cine". Entropy 23, n.º 5 (29 de abril de 2021): 555. http://dx.doi.org/10.3390/e23050555.
Texto completo da fonteTeses / dissertações sobre o assunto "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.
Texto completo da fonteLambdapi 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.
Texto completo da fonteLast, Carsten [Verfasser], e 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.
Texto completo da fonteAfonso, 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.
Texto completo da fonteA 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.
Livros sobre o assunto "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.
Encontre o texto completo da fonteCaccamo, Francesco, Pavel Helan e Massimo Tria, eds. Primavera di Praga, risveglio europeo. Florence: Firenze University Press, 2011. http://dx.doi.org/10.36253/978-88-6453-271-4.
Texto completo da fonteDisaster-Proof! Rourke Educational Media, 2017.
Encontre o texto completo da fonteKoontz, Robin. Disaster-Proof! Rourke Educational Media, 2017.
Encontre o texto completo da fonteDisaster-Proof! Rourke Educational Media, 2017.
Encontre o texto completo da fonteSchmitt, Stephanie. Proof Reconstruction in Classical and Non-Classical Logics. Ios Pr Inc, 2000.
Encontre o texto completo da fonteReconstructing history: Essays in honour of Prof. V.C. Srivastava. Varanasi: Felicitation Committee, 1998.
Encontre o texto completo da fonteMisra, Vidya Dhar. Reconstructing History (Essays in Honour of Prof. V.C. Srivastava) - 2 vol. South Asia Books, 1996.
Encontre o texto completo da fonteLohwasser, Nelo, e Rainer Schreg, eds. 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.
Texto completo da fonteCapítulos de livros sobre o assunto "Proof reconstruction"
Schurr, Hans-Jörg, Mathias Fleury e 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.
Texto completo da fonteReeves, Joseph E., Benjamin Kiesl-Reiter e 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.
Texto completo da fonteSchmitt, Stephan, e 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.
Texto completo da fonteKaliszyk, Cezary, e 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.
Texto completo da fonteAndreotti, Bruno, Hanna Lachnitt e 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.
Texto completo da fonteBöhme, Sascha, e 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.
Texto completo da fonteMontoro, Bárbara, e 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.
Texto completo da fonteAltenkirch, Thorsten, Martin Hofmann e 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.
Texto completo da fonteWernhard, Christoph, e 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.
Texto completo da fonteLachnitt, Hanna, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark Barrett e 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.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Proof reconstruction"
Blanco, Roberto, Dale Miller e 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.
Texto completo da fonte"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.
Texto completo da fontePaez, Gonzalo, e Marija Strojnik. "Phase reconstruction from undersampled intensity pattern(s): uniqueness and convergence proof". In International Conference on Optical Metrology, editado por Malgorzata Kujawinska e Mitsuo Takeda. SPIE, 1999. http://dx.doi.org/10.1117/12.357728.
Texto completo da fonteTatum, Marcus, Geb W. Thomas e 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.
Texto completo da fonteKosasih, 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.
Texto completo da fonteNguyen, Hung T., Vladik Kreinovich e 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.
Texto completo da fonteBrown, Matthew, Valerian Thiel, Markus Allgaier, Michael Raymer, Brian Smith, Paul Kwiat e 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.
Texto completo da fonteShi, 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.
Texto completo da fonteHolter, 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.
Texto completo da fonteSaey, Philippe, Frederic Depuydt, Mathieu Troch, Annemarie Kokosy, Stijn Noppe e 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.
Texto completo da fonteRelatórios de organizações sobre o assunto "Proof reconstruction"
Gershoni, Jonathan M., David E. Swayne, Tal Pupko, Shimon Perk, Alexander Panshin, Avishai Lublin e Natalia Golander. Discovery and reconstitution of cross-reactive vaccine targets for H5 and H9 avian influenza. United States Department of Agriculture, janeiro de 2015. http://dx.doi.org/10.32747/2015.7699854.bard.
Texto completo da fonte