Artigos de revistas sobre o tema "Proof reconstruction"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "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.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
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 fonteHinestroza G., Doris, Carlos E. Mejia, Lijia Guo e Diego A. Murio. "Rigorous Proofs For Cone-Beam Reconstruction". Revista de Ciencias 8 (8 de novembro de 2011): 95–110. http://dx.doi.org/10.25100/rc.v8i0.616.
Texto completo da fonteMyasnikov, A., S. Merts, K. Gertsenberger, A. Driuk e S. Nemnyugin. "Parallel Event Reconstruction in BmnRoot Using the Proof System". Physics of Particles and Nuclei Letters 19, n.º 5 (outubro de 2022): 577–79. http://dx.doi.org/10.1134/s1547477122050302.
Texto completo da fonteSanchez, J., e H. Benaroya. "Asymptotic approximation method of force reconstruction: Proof of concept". Mechanical Systems and Signal Processing 92 (agosto de 2017): 39–63. http://dx.doi.org/10.1016/j.ymssp.2017.01.022.
Texto completo da fonteGupta, S. K., Pankaj Mangal e Vineet Paliwal. "Some work towards the proof of the reconstruction conjecture". Discrete Mathematics 272, n.º 2-3 (novembro de 2003): 291–96. http://dx.doi.org/10.1016/s0012-365x(03)00198-5.
Texto completo da fonteRICCA, RENZO L., e BERNARDO NIPOTI. "GAUSS' LINKING NUMBER REVISITED". Journal of Knot Theory and Its Ramifications 20, n.º 10 (outubro de 2011): 1325–43. http://dx.doi.org/10.1142/s0218216511009261.
Texto completo da fonteStoyanova, Ani, Ann-Kathrin Berg e Katharina Beyer. "A Robotic Completely Intercorporeal Jejunal Pouch Reconstruction after Gastrectomy". Current Oncology 29, n.º 11 (12 de novembro de 2022): 8600–8608. http://dx.doi.org/10.3390/curroncol29110678.
Texto completo da fonteAbaci, Uygar. "Kant's Only Possible Argument and Chignell's Real Harmony". Kantian Review 19, n.º 1 (31 de janeiro de 2014): 1–25. http://dx.doi.org/10.1017/s1369415413000277.
Texto completo da fonteLodder, Elmer, e Maarten van der Elst. "Chest Wall Reconstruction with Precontoured Locking Plate Proof of Concept". Journal of Cancer Therapy 01, n.º 03 (2010): 131–33. http://dx.doi.org/10.4236/jct.2010.13021.
Texto completo da fonteFortun, Denis, Paul Guichard, Ning Chu e Michael Unser. "Reconstruction From Multiple Poses in Fluorescence Imaging: Proof of Concept". IEEE Journal of Selected Topics in Signal Processing 10, n.º 1 (fevereiro de 2016): 61–70. http://dx.doi.org/10.1109/jstsp.2015.2493884.
Texto completo da fonteScherf, N., J. Einenkel, L. C. Horn, N. Wentzensen, M. Loeffler, J. P. Kuska e U. D. Braumann. "Large Histological Serial Sections for Computational Tissue Volume Reconstruction". Methods of Information in Medicine 46, n.º 05 (2007): 614–22. http://dx.doi.org/10.1160/me9065.
Texto completo da fonteMILLER, DALE E. "On Millgram on Mill". Utilitas 16, n.º 1 (11 de fevereiro de 2004): 96–108. http://dx.doi.org/10.1017/s0953820803001080.
Texto completo da fonteDalla Rosa, Davide. "On the Formal Validity of Proof by Contradiction in Kant’s Logic". History of Philosophy & Logical Analysis 25, n.º 1 (10 de junho de 2022): 95–114. http://dx.doi.org/10.30965/26664275-bja10015.
Texto completo da fontePafitanis, Georgios, Alexandros Vris, Dimitris Reissis, Amir Sadri, Reza Alamouti, Simon Myers e Parviz Sadigh. "Recycling of flap pedicle in complex lower extremity reconstruction: A proof of free muscle flap neovascularization". Archives of Plastic Surgery 47, n.º 6 (15 de novembro de 2020): 619–21. http://dx.doi.org/10.5999/aps.2018.00171.
Texto completo da fonteAspden, Suzanne. "‘An infinity of factions’: Opera in eighteenth-century Britain and the undoing of society". Cambridge Opera Journal 9, n.º 1 (março de 1997): 1–19. http://dx.doi.org/10.1017/s0954586700005139.
Texto completo da fonteBorys, Andrzej. "Definition of Sampled Signal Spectrum and Shannon’s Proof of Reconstruction Formula". TransNav, the International Journal on Marine Navigation and Safety of Sea Transportation 16, n.º 3 (2022): 473–78. http://dx.doi.org/10.12716/1001.16.03.08.
Texto completo da fonteBocher, Marie, Alexandre Fournier e Nicolas Coltice. "Ensemble Kalman filter for the reconstruction of the Earth's mantle circulation". Nonlinear Processes in Geophysics 25, n.º 1 (16 de fevereiro de 2018): 99–123. http://dx.doi.org/10.5194/npg-25-99-2018.
Texto completo da fonteKövesdi, Balázs, Dénes Kollár e László Dunai. "Temporary Structural Health Monitoring of Historical Széchenyi Chain Bridge". Buildings 14, n.º 2 (17 de fevereiro de 2024): 535. http://dx.doi.org/10.3390/buildings14020535.
Texto completo da fonteZhou, Meng, e Yi Mao. "Reconstruction of Cosmological Initial Density Field with Observations from the Epoch of Reionization". Astrophysical Journal 965, n.º 1 (1 de abril de 2024): 31. http://dx.doi.org/10.3847/1538-4357/ad2991.
Texto completo da fonteCastagna, Giuseppe, Mickaël Laurent, Kim Nguyễn e Matthew Lutze. "On type-cases, union elimination, and occurrence typing". Proceedings of the ACM on Programming Languages 6, POPL (16 de janeiro de 2022): 1–31. http://dx.doi.org/10.1145/3498674.
Texto completo da fonteAsaadi, Jonathan, Martin Auger, Antonio Ereditato, Damian Goeldi, Umut Kose, Igor Kreslo, David Lorca et al. "First Demonstration of a Pixelated Charge Readout for Single-Phase Liquid Argon Time Projection Chambers". Instruments 4, n.º 1 (23 de março de 2020): 9. http://dx.doi.org/10.3390/instruments4010009.
Texto completo da fonteXi, Hongguang, e Jianzhong Su. "A harmonic function method for EEG source reconstruction". Electronic Research Archive 30, n.º 2 (2022): 492–514. http://dx.doi.org/10.3934/era.2022026.
Texto completo da fonteAMENTA, NINA, SUNGHEE CHOI, TAMAL K. DEY e NAVEEN LEEKHA. "A SIMPLE ALGORITHM FOR HOMEOMORPHIC SURFACE RECONSTRUCTION". International Journal of Computational Geometry & Applications 12, n.º 01n02 (fevereiro de 2002): 125–41. http://dx.doi.org/10.1142/s0218195902000773.
Texto completo da fonteRoch, S. "A Short Proof that Phylogenetic Tree Reconstruction by Maximum Likelihood Is Hard". IEEE/ACM Transactions on Computational Biology and Bioinformatics 3, n.º 1 (janeiro de 2006): 92–94. http://dx.doi.org/10.1109/tcbb.2006.4.
Texto completo da fonteVershik, A. M. "A bijective proof of the Jacobi identity and reconstruction of Young diagrams". Journal of Soviet Mathematics 41, n.º 2 (abril de 1988): 889–91. http://dx.doi.org/10.1007/bf01247084.
Texto completo da fonteMbuku, R. B., C. Sanchez, R. Evrard, A. Englebert, J. Manon, V. Henriet, G. Nolens et al. "A NEW TISSUE-ENGINEERED PRODUCT INDICATED FOR BONE RECONSTRUCTION: PROOF OF CONCEPT". Orthopaedic Proceedings 106-B, SUPP_2 (2 de janeiro de 2024): 125. http://dx.doi.org/10.1302/1358-992x.2024.2.125.
Texto completo da fonteSchäfer, Jörg. "A Note on Ultrametric Spaces, Minimum Spanning Trees and the Topological Distance Algorithm". Information 11, n.º 9 (28 de agosto de 2020): 418. http://dx.doi.org/10.3390/info11090418.
Texto completo da fonteVovin, Alexander. "Proto-K(r)adai ‘hand’, ‘eye’, and ‘bird’ revisited". Cahiers de Linguistique Asie Orientale 47, n.º 1 (11 de outubro de 2018): 150–64. http://dx.doi.org/10.1163/19606028-04701003.
Texto completo da fonteAftab, N., P. Boonpornprasert, G. Georgiev, J. Good, M. Gross, W. Hillert, A. Hoffmann et al. "Improvements in longitudinal phase space tomography at PITZ". Journal of Physics: Conference Series 2687, n.º 7 (1 de janeiro de 2024): 072017. http://dx.doi.org/10.1088/1742-6596/2687/7/072017.
Texto completo da fonteHinst, Peter. "A Logical Analysis of the Main Argument in Chapter 2 of the Proslogion by Anselm of Canterbury". History of Philosophy and Logical Analysis 17, n.º 1 (5 de abril de 2014): 22–44. http://dx.doi.org/10.30965/26664275-01701003.
Texto completo da fonteQin, Mengyuan. "Optimization of Intersection in Construction at Low Cost- A Case Study of the Intersection of Youyi Road and Luojiagang Road". Highlights in Science, Engineering and Technology 37 (18 de março de 2023): 182–95. http://dx.doi.org/10.54097/hset.v37i.6073.
Texto completo da fonteHintz, Peter, e Gunther Uhlmann. "Reconstruction of Lorentzian Manifolds from Boundary Light Observation Sets". International Mathematics Research Notices 2019, n.º 22 (2 de fevereiro de 2017): 6949–87. http://dx.doi.org/10.1093/imrn/rnx320.
Texto completo da fonteGinthör, Stephan J., Judith Schlagnitweit, Matthias Bechmann e Norbert Müller. "Nuclear spin noise tomography in three dimensions with iterative simultaneous algebraic reconstruction technique (SART) processing". Magnetic Resonance 1, n.º 2 (6 de agosto de 2020): 165–73. http://dx.doi.org/10.5194/mr-1-165-2020.
Texto completo da fonteChen, P., Z. Chen, E. Landao, T. Leys, T. Wang, Q. Zheng, Y. Ding e M. Zheng. "FABRICATION OF BIOACTIVE COLLAGEN ROPE FOR ANTERIOR CRUCIATE LIGAMENT RECONSTRUCTION". Orthopaedic Proceedings 105-B, SUPP_7 (4 de abril de 2023): 137. http://dx.doi.org/10.1302/1358-992x.2023.7.137.
Texto completo da fonteSoemarto, Soehartono. "The Reconstruction of the Reversal of the Burden of Proof Verificationin Corruption Delict". International Journal of English Literature and Social Sciences 3, n.º 5 (2018): 732–45. http://dx.doi.org/10.22161/ijels.3.5.7.
Texto completo da fontePietruski, Piotr, Marcin Majak, Ewelina Światek-Najwer, Magdalena Żuk, Michał Popek, Maciej Mazurek, Marta Świecka e Janusz Jaworowski. "Navigation-guided fibula free flap for mandibular reconstruction: A proof of concept study". Journal of Plastic, Reconstructive & Aesthetic Surgery 72, n.º 4 (abril de 2019): 572–80. http://dx.doi.org/10.1016/j.bjps.2019.01.026.
Texto completo da fonteKereković, Davorin. "Project “proof of the identity of reconstruction project of the city of Vukovar”". Computers, Environment and Urban Systems 18, n.º 2 (março de 1994): 143–46. http://dx.doi.org/10.1016/0198-9715(94)90009-4.
Texto completo da fontePeng, Hanchuan, Fuhui Long, Ting Zhao e Eugene Myers. "Proof-editing is the Bottleneck Of 3D Neuron Reconstruction: The Problem and Solutions". Neuroinformatics 9, n.º 2-3 (18 de dezembro de 2010): 103–5. http://dx.doi.org/10.1007/s12021-010-9090-x.
Texto completo da fonteCureton, Adam. "A Contractualist Reading of Kant's Proof of the Formula of Humanity". Kantian Review 18, n.º 3 (7 de outubro de 2013): 363–86. http://dx.doi.org/10.1017/s1369415413000150.
Texto completo da fonteAltenkort, Luis, Alexander M. Eller, Olaf Kaczmarek, Lukas Mazur, Guy D. Moore e Hai-Tao Shu. "Spectral reconstruction details of a gradient-flowed color-electric correlator". EPJ Web of Conferences 259 (2022): 10004. http://dx.doi.org/10.1051/epjconf/202225910004.
Texto completo da fonteAMBARTSOUMIAN, GAIK, RIM GOUIA-ZARRAD, VENKATESWARAN P. KRISHNAN e SOUVIK ROY. "Image reconstruction from radially incomplete spherical Radon data". European Journal of Applied Mathematics 29, n.º 3 (11 de setembro de 2017): 470–93. http://dx.doi.org/10.1017/s0956792517000250.
Texto completo da fonte