Einloggen

Thematische Bibliographien / Proof reconstruction / Zeitschriftenartikel

Zeitschriftenartikel zum Thema „Proof reconstruction“

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Proof reconstruction.

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung 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.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

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 Quelle

Annotation:

To those brought up in a logic-based tradition there seems to be a simple and clear definition of proof. But this is largely a twentieth century invention; many earlier proofs had a different nature. We will look particularly at the faulty proof of Euler's Theorem and Lakatos' rational reconstruction of the history of this proof. We will ask: how is it possible for the errors in a faulty proof to remain undetected for several years—even when counter-examples to it are known? How is it possible to have a proof about concepts that are only partially defined? And can we give a logic-based account of such phenomena? We introduce the concept of schematic proofs and argue that they offer a possible cognitive model for the human construction of proofs in mathematics. In particular, we show how they can account for persistent errors in proofs.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Francez, 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 Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Fasan, 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 Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Ivá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 Quelle

Annotation:

Abstract The score set of a tournament is defined as the set of its different outdegrees. In 1978 Reid [15] published the conjecture that for any set of nonnegative integers D there exists a tournament T whose degree set is D. Reid proved the conjecture for tournaments containing n = 1, 2, and 3 vertices. In 1986 Hager [4] published a constructive proof of the conjecture for n = 4 and 5 vertices. In 1989 Yao [18] presented an arithmetical proof of the conjecture, but general polynomial construction algorithm is not known. In [6] we described polynomial time algorithms which reconstruct the score sets containing only elements less than 7. In [5] we improved this bound to 9. In this paper we present and analyze new algorithms Hole-Map, Hole-Pairs, Hole-Max, Hole-Shift, Fill-All, Prefix-Deletion, and using them improve the above bound to 12, giving a constructive partial proof of Reid’s conjecture.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Banach, 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 Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Krajewski, 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 Quelle

Annotation:

Abstract The Euclidean ideal of mathematics as well as all the foundational schools in the philosophy of mathematics have been contested by the new approach, called the “maverick” trend in the philosophy of mathematics. Several points made by its main representatives are mentioned – from the revisability of actual proofs to the stress on real mathematical practice as opposed to its idealized reconstruction. Main features of real proofs are then mentioned; for example, whether they are convincing, understandable, and/or explanatory. Therefore, the new approach questions Hilbert’s Thesis, according to which a correct mathematical proof is in principle reducible to a formal proof, based on explicit axioms and logic.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

D’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 Quelle

Annotation:

Enophthalmos is a severe complication of primary reconstruction following orbital floor fractures, oncological resections, or maxillo-facial syndromes. The goal of secondary orbital reconstruction is to regain a symmetrical globe position to restore function and aesthetics. In this article, we present a method of computer-assisted orbital floor reconstruction using a mirroring technique and a custom-made titanium or high-density polyethylene mesh printed using computer-aided manufacturing techniques. This reconstructive protocol involves four steps: mirroring of the healthy orbit computer tomography files at the contralateral affected site, virtual design of a customized implant, computer-assisted manufacturing (CAM) of the implant using Direct Metal Laser Sintering (DMLS) or Computer Numerical Control (CNC) methods, and surgical insertion of the device. Clinical outcomes were assessed using 3dMD photogrammetry and computed tomography measures in 13 treated patients and compared to a control group treated with stock implants. An improvement of 3.04 mm (range 0.3–6 mm) in globe protrusion was obtained for the patients treated with patient-specific implants (PSI), and no major complications have been registered. The technique described here appears to be a viable method for correcting complex orbital floor defects needing delayed reconstruction.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

RUMBERG, 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 Quelle

Annotation:

AbstractIn this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Klima, 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 Quelle

Annotation:

This paper is not going to offer any criticism of the way Gaven Kerr treats Aquinas’ argument. Instead, it offers an alternative way of reconstructing Aquinas’ argument, intending to strengthen especially those controversial aspects of it that Kerr’s reconstruction left untreated or in relative obscurity. Accordingly, although the paper’s treatment will have to have some overlaps with Kerr’s (such as the critique of Kenny’s critique of Aquinas), it will deal with issues essential to adequate replies to certain competent criticisms of his argument untreated by Kerr (such as Buridan’s critique). For the sake of the “formally inclined” reader, the paper’s treatment will also include an Appendix offering a formal reconstruction of both the main argument and its sub-arguments to demonstrate the formal rigor of Aquinas’ original.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Godino-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 Quelle

Annotation:

Numerous methods in the extensive literature on magnetic resonance imaging (MRI) reconstruction exploit temporal redundancy to accelerate cardiac cine. Some of them include motion compensation, which involves high computational costs and long runtimes. In this work, we proposed a method—elastic alignedSENSE (EAS)—for the direct reconstruction of a motion-free image plus a set of nonrigid deformations to reconstruct a 2D cardiac sequence. The feasibility of the proposed approach was tested in 2D Cartesian and golden radial multi-coil breath-hold cardiac cine acquisitions. The proposed approach was compared against parallel imaging compressed sense (sPICS) and group-wise motion corrected compressed sense (GWCS) reconstructions. EAS provides better results on objective measures with considerable less runtime when an acceleration factor is higher than 10×. Subjective assessment of an expert, however, invited proposing the combination of EAS and GWCS as a preferable alternative to GWCS or EAS in isolation.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Hinestroza G., Doris, Carlos E. Mejia, Lijia Guo und Diego A. Murio. „Rigorous Proofs For Cone-Beam Reconstruction“. Revista de Ciencias 8 (08.11.2011): 95–110. http://dx.doi.org/10.25100/rc.v8i0.616.

Der volle Inhalt der Quelle

Annotation:

Cone beam reconstruction is a three-dimensional tomographic reconstruction technique with the potential capability of producing images with temporal contrast, and three-dimensional spatial resolution.In this paper we present a rigorous proof of the novel three-dimensional inversion formula developed by B. Smith and derive strict tipper bound« for the error

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Myasnikov, A., S. Merts, K. Gertsenberger, A. Driuk und S. Nemnyugin. „Parallel Event Reconstruction in BmnRoot Using the Proof System“. Physics of Particles and Nuclei Letters 19, Nr. 5 (Oktober 2022): 577–79. http://dx.doi.org/10.1134/s1547477122050302.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Sanchez, J., und H. Benaroya. „Asymptotic approximation method of force reconstruction: Proof of concept“. Mechanical Systems and Signal Processing 92 (August 2017): 39–63. http://dx.doi.org/10.1016/j.ymssp.2017.01.022.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Gupta, S. K., Pankaj Mangal und Vineet Paliwal. „Some work towards the proof of the reconstruction conjecture“. Discrete Mathematics 272, Nr. 2-3 (November 2003): 291–96. http://dx.doi.org/10.1016/s0012-365x(03)00198-5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

RICCA, RENZO L., und BERNARDO NIPOTI. „GAUSS' LINKING NUMBER REVISITED“. Journal of Knot Theory and Its Ramifications 20, Nr. 10 (Oktober 2011): 1325–43. http://dx.doi.org/10.1142/s0218216511009261.

Der volle Inhalt der Quelle

Annotation:

In this paper we provide a mathematical reconstruction of what might have been Gauss' own derivation of the linking number of 1833, providing also an alternative, explicit proof of its modern interpretation in terms of degree, signed crossings and intersection number. The reconstruction presented here is entirely based on an accurate study of Gauss' own work on terrestrial magnetism. A brief discussion of a possibly independent derivation made by Maxwell in 1867 completes this reconstruction. Since the linking number interpretations in terms of degree, signed crossings and intersection index play such an important role in modern mathematical physics, we offer a direct proof of their equivalence. Explicit examples of its interpretation in terms of oriented area are also provided.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Stoyanova, Ani, Ann-Kathrin Berg und Katharina Beyer. „A Robotic Completely Intercorporeal Jejunal Pouch Reconstruction after Gastrectomy“. Current Oncology 29, Nr. 11 (12.11.2022): 8600–8608. http://dx.doi.org/10.3390/curroncol29110678.

Der volle Inhalt der Quelle

Annotation:

Robotic surgery is increasingly gaining importance. While initial results suggest an advantage of the robotic over the minimally invasive approach in patients with gastric cancer, definitive proof of its superiority has yet to be provided. There are numerous approaches to recreate a gastric reservoir after a total gastrectomy. However, a major disadvantage of most conventional reconstructions are long term effects such as dumping syndrome, afferent loop syndrome and poor nutrition intake with severe impact on the patient quality of life. The jejunal pouch reconstruction is a beneficial reconstruction, which provides a larger reservoir capacity after gastrectomy and prevents anastomotic stenosis and dumping syndrome. The completely intercorporeal approach with a Pfannenstiel incision instead of an unfavorable midline incision can potentially decrease delayed complications such as incision hernias. With the increased deployment of robotic surgery, a complete intercorporeal reconstruction is now possible without major increase in operating time or further technical weak points. We provide for the first time a detailed technical explanation of the completely intercorporeal robotic jejunal pouch reconstruction after gastrectomy.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Abaci, Uygar. „Kant's Only Possible Argument and Chignell's Real Harmony“. Kantian Review 19, Nr. 1 (31.01.2014): 1–25. http://dx.doi.org/10.1017/s1369415413000277.

Der volle Inhalt der Quelle

Annotation:

AbstractAndrew Chignell recently proposed an original reconstruction of Kant's ‘Only Possible Argument’ for the existence of God. Chignell claims that what motivates the ‘Grounding Premise’ of Kant's proof, ‘real possibility must be grounded in actuality’, is the requirement that the predicates of a really possible thing must be ‘really harmonious’, i.e. compatible in an extra-logical or metaphysical sense. I take issue with Chignell's reconstruction. First, the pre-Critical Kant does not present ‘real harmony’ as a general condition of real possibility. Second, the real harmony requirement is not what motivates the ‘Grounding Premise’ of the proof. Instead, this premise is sufficiently motivated by what Chignell labels the ‘content’ requirement. Finally, Kant's downgrading of the proof in his Critical period is not based on a concern regarding the real harmony of the predicates of God, but on his Critical restrictions on cognition in general and modal cognition in particular.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Lodder, Elmer, und Maarten van der Elst. „Chest Wall Reconstruction with Precontoured Locking Plate Proof of Concept“. Journal of Cancer Therapy 01, Nr. 03 (2010): 131–33. http://dx.doi.org/10.4236/jct.2010.13021.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Fortun, Denis, Paul Guichard, Ning Chu und Michael Unser. „Reconstruction From Multiple Poses in Fluorescence Imaging: Proof of Concept“. IEEE Journal of Selected Topics in Signal Processing 10, Nr. 1 (Februar 2016): 61–70. http://dx.doi.org/10.1109/jstsp.2015.2493884.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Scherf, N., J. Einenkel, L. C. Horn, N. Wentzensen, M. Loeffler, J. P. Kuska und U. D. Braumann. „Large Histological Serial Sections for Computational Tissue Volume Reconstruction“. Methods of Information in Medicine 46, Nr. 05 (2007): 614–22. http://dx.doi.org/10.1160/me9065.

Der volle Inhalt der Quelle

Annotation:

Summary Objectives: A proof of principle study was conducted for microscopic tissue volume reconstructions using a new image processing chain operating on alternately stained large histological serial sections. Methods: Digital histological images were obtained from conventional brightfield transmitted light microscopy. A powerful nonparametric nonlinear optical flow-based registration approach was used. In order to apply a simple but computationally feasible sum-of-squared-differences similarity measure even in case of differing histological stainings, a new consistent tissue segmentation procedure was placed upstream. Results: Two reconstructions from uterine cervix carcinoma specimen were accomplished, one alternately stained with p16INK4a (surrogate tumor marker) and H&E (routine reference), and another with three different alternate stainings, H&E, p16INK4a, and CD3 (a T-lymphocyte marker). For both cases, due to our segmentation-based reference-free nonlinear registration procedure, resulting tissue reconstructions exhibit utmost smooth image-to-image transitions without impairing warpings. Conclusions: Our combination of modern nonparametric nonlinear registration and consistent tissue segmentation has turned out to provide a superior tissue reconstruction quality.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

MILLER, DALE E. „On Millgram on Mill“. Utilitas 16, Nr. 1 (11.02.2004): 96–108. http://dx.doi.org/10.1017/s0953820803001080.

Der volle Inhalt der Quelle

Annotation:

In a recent article in Ethics, Elijah Millgram presents a novel reconstruction of J. S. Mill's ‘proof’ of the principle of utility. Millgram's larger purpose is to critique instrumentalist approaches to practical reasoning. His reading of the proof makes Mill out to be an instrumentalist, and Millgram thinks that the ultimate failure of Mill's argument usefully illustrates an inconsistency inherent in instrumentalism. Yet Millgram's interpretation of the proof does not succeed. Mill is not an instrumentalist. Millgram may be right that instrumentalism is incoherent, but he has chosen the wrong figure to illustrate the point.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Dalla Rosa, Davide. „On the Formal Validity of Proof by Contradiction in Kant’s Logic“. History of Philosophy & Logical Analysis 25, Nr. 1 (10.06.2022): 95–114. http://dx.doi.org/10.30965/26664275-bja10015.

Der volle Inhalt der Quelle

Annotation:

Abstract The paper provides a reconstruction of proof by contradiction in Kant’s pure general logic. A seemingly less-explored point of view on this topic is how apagogical proof can account for the formal truth of a judgement. Integrating the argument held by Kjosavik (2019), I intend to highlight how one can use proof by contradiction, conceived as a modus tollens, to establish the logical actuality (logical or formal truth) of a cognition. Although one might agree on the capacity of the proof to prove formal falsity, the logical actuality of a judgement is assessable based on a logically grounded judgement and, as for transcendental logic, this cognitive operation has to presuppose the real possibility of an object.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Pafitanis, Georgios, Alexandros Vris, Dimitris Reissis, Amir Sadri, Reza Alamouti, Simon Myers und Parviz Sadigh. „Recycling of flap pedicle in complex lower extremity reconstruction: A proof of free muscle flap neovascularization“. Archives of Plastic Surgery 47, Nr. 6 (15.11.2020): 619–21. http://dx.doi.org/10.5999/aps.2018.00171.

Der volle Inhalt der Quelle

Annotation:

This article portrays the authors’ clinical experience of a complex case of lower extremity reconstruction using a recycled pedicle from 10 years old free latissimus dorsi musculocutaneous flap to supply a new free anterolateral thigh flap for proximal tibia wound defect reconstruction. It provides clinical evidence that muscle neovascularization occurs and supports the dogma peripheral tissue neovascularization. This case stipulates that recycling of pedicle is feasible, when used with appropriate strategy and safety and also provides evidence for the long-term survival of greater saphenous vein grafts in lower extremity reconstruction.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Aspden, Suzanne. „‘An infinity of factions’: Opera in eighteenth-century Britain and the undoing of society“. Cambridge Opera Journal 9, Nr. 1 (März 1997): 1–19. http://dx.doi.org/10.1017/s0954586700005139.

Der volle Inhalt der Quelle

Annotation:

It seems fair to say that we are enmeshed in an Age of Reconstruction. Whatever groans the shibboleth of ‘authenticity’ may elicit from musicians and musicologists, the film industry's leap for the bandwagon is proof of the principle that Period Pieces Pay. Of the recent spate of feature films set in the eighteenth century, one in particular has marketed itself through its reconstructive credentials. The technologies that allow us to remodel our bodies, and revive old recordings on compact disc, also allowed the makers of Farinelli, Il Castrato to reach back and breathe new life into the voice of the long-dead castrati.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Borys, 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, Nr. 3 (2022): 473–78. http://dx.doi.org/10.12716/1001.16.03.08.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Bocher, Marie, Alexandre Fournier und Nicolas Coltice. „Ensemble Kalman filter for the reconstruction of the Earth's mantle circulation“. Nonlinear Processes in Geophysics 25, Nr. 1 (16.02.2018): 99–123. http://dx.doi.org/10.5194/npg-25-99-2018.

Der volle Inhalt der Quelle

Annotation:

Abstract. Recent advances in mantle convection modeling led to the release of a new generation of convection codes, able to self-consistently generate plate-like tectonics at their surface. Those models physically link mantle dynamics to surface tectonics. Combined with plate tectonic reconstructions, they have the potential to produce a new generation of mantle circulation models that use data assimilation methods and where uncertainties in plate tectonic reconstructions are taken into account. We provided a proof of this concept by applying a suboptimal Kalman filter to the reconstruction of mantle circulation (Bocher et al., 2016). Here, we propose to go one step further and apply the ensemble Kalman filter (EnKF) to this problem. The EnKF is a sequential Monte Carlo method particularly adapted to solve high-dimensional data assimilation problems with nonlinear dynamics. We tested the EnKF using synthetic observations consisting of surface velocity and heat flow measurements on a 2-D-spherical annulus model and compared it with the method developed previously. The EnKF performs on average better and is more stable than the former method. Less than 300 ensemble members are sufficient to reconstruct an evolution. We use covariance adaptive inflation and localization to correct for sampling errors. We show that the EnKF results are robust over a wide range of covariance localization parameters. The reconstruction is associated with an estimation of the error, and provides valuable information on where the reconstruction is to be trusted or not.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Kövesdi, Balázs, Dénes Kollár und László Dunai. „Temporary Structural Health Monitoring of Historical Széchenyi Chain Bridge“. Buildings 14, Nr. 2 (17.02.2024): 535. http://dx.doi.org/10.3390/buildings14020535.

Der volle Inhalt der Quelle

Annotation:

A temporary monitoring system was installed on the 175-year-old historical Széchenyi Chain Bridge during its reconstruction. The bridge is in the downtown area in the capital city of Hungary and plays a significant role in the city life of Budapest. Six-month-long measurements were conducted during the reconstruction process of the bridge, yielding crucial insights into the structural behaviour of the historical structure. The measurement results were evaluated; the findings encompass the rotation capacity of the pins between the chain elements and the structural response to temperature changes. This information helped the decision-making between 2021 and 2023 by the designers and construction company during the reconstruction. For instance, daily temperature fluctuations resulted in increased bending moments in the chain elements, rising up to 158% compared to the values observed during a proof load test in 2018. Furthermore, the measurements reveal an approximate 42% increase in normal forces compared to the proof load test, which highlights the high sensitivity of chain bridges to temperature fluctuations, where geometric stiffness plays a crucial role. Reconstruction, namely reducing self-weight, notably intensifies the impact on normal forces and bending moments. These outcomes strongly emphasize the dominance of the dead load and self-weight in the case of chain bridges.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Zhou, Meng, und Yi Mao. „Reconstruction of Cosmological Initial Density Field with Observations from the Epoch of Reionization“. Astrophysical Journal 965, Nr. 1 (01.04.2024): 31. http://dx.doi.org/10.3847/1538-4357/ad2991.

Der volle Inhalt der Quelle

Annotation:

Abstract The initial density distribution provides a basis for understanding the complete evolution of cosmological density fluctuations. While reconstruction in our local Universe exploits the observations of galaxy surveys with large volumes, observations of high-redshift galaxies are performed with a small field of view and therefore can hardly be used for reconstruction. Here, we propose reconstructing the initial density field using the H i 21 cm and CO line intensity maps from the epoch of reionization. Observations of these two intensity maps provide complementary information on the density field—the H i 21 cm field is a proxy of matter distributions in the neutral regions, while the CO line intensity maps are sensitive to the high-density, star-forming regions that host the sources for reionization. Technically, we employ the conjugate gradient method and develop the machinery for minimizing the cost function for the intensity mapping observations. Analytical expressions for the gradient of cost function are derived explicitly. We show that the resimulated intensity maps match the input maps of mock observations using semi-numerical simulations of reionization with an rms error ≲7% at all stages of reionization. This reconstruction is also robust with an rms error of ∼10% when an optimistic level of shot noise is applied to the CO map or white noise at the level of ≲10% of the standard deviation is applied to each map. Our proof-of-concept work demonstrates the robustness of the reconstruction method, thereby providing an effective technique for reconstructing the cosmological initial density distribution from high-redshift observations.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Castagna, Giuseppe, Mickaël Laurent, Kim Nguyễn und Matthew Lutze. „On type-cases, union elimination, and occurrence typing“. Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–31. http://dx.doi.org/10.1145/3498674.

Der volle Inhalt der Quelle

Annotation:

We extend classic union and intersection type systems with a type-case construction and show that the combination of the union elimination rule of the former and the typing rules for type-cases of our extension encompasses occurrence typing . To apply this system in practice, we define a canonical form for the expressions of our extension, called MSC-form. We show that an expression of the extension is typable if and only if its MSC-form is, and reduce the problem of typing the latter to the one of reconstructing annotations for that term. We provide a sound algorithm that performs this reconstruction and a proof-of-concept implementation.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Asaadi, 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, Nr. 1 (23.03.2020): 9. http://dx.doi.org/10.3390/instruments4010009.

Der volle Inhalt der Quelle

Annotation:

Traditional charge readout technologies of single-phase Liquid Argon Time projection Chambers (LArTPCs) based on projective wire readout introduce intrinsic ambiguities in event reconstruction. Combined with the slow response inherent in LArTPC detectors, reconstruction ambiguities have limited their performance, until now. Here, we present a proof of principle of a pixelated charge readout that enables the full 3D tracking capabilities of LArTPCs. We characterize the signal-to-noise ratio of charge readout chain to be about 14, and demonstrate track reconstruction on 3D space points produced by the pixel readout. This pixelated charge readout makes LArTPCs a viable option for high-multiplicity environments.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Xi, Hongguang, und Jianzhong Su. „A harmonic function method for EEG source reconstruction“. Electronic Research Archive 30, Nr. 2 (2022): 492–514. http://dx.doi.org/10.3934/era.2022026.

Der volle Inhalt der Quelle

Annotation:

<abstract><p>In this paper we study a harmonic function method for dipolar source reconstruction, and implemented the numerical simulations. We propose a new error estimate and provide a rigorous proof of the estimate. Then, we validate our method in computer-simulated data and study its numerical stability in different noise levels. It is shown that the harmonic function method can be used to quickly and accurately locate the active regions in EEG source reconstruction.</p></abstract>

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

AMENTA, NINA, SUNGHEE CHOI, TAMAL K. DEY und NAVEEN LEEKHA. „A SIMPLE ALGORITHM FOR HOMEOMORPHIC SURFACE RECONSTRUCTION“. International Journal of Computational Geometry & Applications 12, Nr. 01n02 (Februar 2002): 125–41. http://dx.doi.org/10.1142/s0218195902000773.

Der volle Inhalt der Quelle

Annotation:

The problem of computing a piecewise linear approximation to a surface from a set of sample points is important in solid modeling, computer graphics and computer vision. A recent algorithm1 using the Voronoi diagram of the sample points gave a guarantee on the distance of the output surface from the original sampled surface assuming that the sample was sufficiently dense. We give a similar algorithm, simplifying the computation and the proof of the geometric guarantee. In addition, we guarantee that our output surface is homeomorphic to the original surface; to our knowledge this is the first such topological guarantee for this problem.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Roch, S. „A Short Proof that Phylogenetic Tree Reconstruction by Maximum Likelihood Is Hard“. IEEE/ACM Transactions on Computational Biology and Bioinformatics 3, Nr. 1 (Januar 2006): 92–94. http://dx.doi.org/10.1109/tcbb.2006.4.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Vershik, A. M. „A bijective proof of the Jacobi identity and reconstruction of Young diagrams“. Journal of Soviet Mathematics 41, Nr. 2 (April 1988): 889–91. http://dx.doi.org/10.1007/bf01247084.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Mbuku, 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 (02.01.2024): 125. http://dx.doi.org/10.1302/1358-992x.2024.2.125.

Der volle Inhalt der Quelle

Annotation:

To design slow resorption patient-specific bone graft whose properties of bone regeneration are increased by its geometry and composition and to assess it in in-vitro and in-vivo models.A graft composed by hydroxyapatite (HA) and β-TCP was designed as a cylinder with 3D gyroid porosities and 7 mm medullary space based on swine's anatomy. It was produced using a stereolithography 3D-printing machine (V6000, Prodways).Sterile bone grafts impregnated with or without a 10µg/mL porcine BMP-2 (pBMP-2) solution were implanted into porcine femurs in a bone loss model. Bone defect was bi-weekly evaluated by X-ray during 3 months. After sacrifice, microscanner and non-decalcified histology analysis were conducted on biopsies.Finally, osteoblasts were cultured inside the bone graft or in monolayer underneath the bone graft. Cell viability, proliferation, and gene expression were assessed after 7 and 14 days of cell culture (n=3 patients).3D scaffolds were successfully manufactured with a composition of 80% HA and 20% β-TCP ±5% with indentation compressive strength of 4.14 MPa and bending strength of 11.8MPa.In vivo study showed that bone regeneration was highly improved in presence of pBMP-2. Micro-CT shows a filling of the gyroid sinuses of the implant (Figure 1).In vitro, the presence of BMP2 did not influence the viability of the osteoblasts and the mortality remained below 3%. After 7 days, the presence of BMP2 in the scaffold significantly increased by 85 and 65% the COL1A1 expression and by 8 and 33-fold the TNAP expression by osteoblasts in the monolayer or in the scaffold, respectively. This BMP2 effect was transient in monolayer and did not modify gene expression at day 14.BMP2-impregnated bone graft is a promising patient-personalized 3D-printed solution for bone defect regeneration, by promoting neighboring host cells recruitment and solid new bone formation.For any figures and tables, please contact the authors directly.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Schäfer, Jörg. „A Note on Ultrametric Spaces, Minimum Spanning Trees and the Topological Distance Algorithm“. Information 11, Nr. 9 (28.08.2020): 418. http://dx.doi.org/10.3390/info11090418.

Der volle Inhalt der Quelle

Annotation:

We relate the definition of an ultrametric space to the topological distance algorithm—an algorithm defined in the context of peer-to-peer network applications. Although (greedy) algorithms for constructing minimum spanning trees such as Prim’s or Kruskal’s algorithm have been known for a long time, they require the complete graph to be specified and the weights of all edges to be known upfront in order to construct a minimum spanning tree. However, if the weights of the underlying graph stem from an ultrametric, the minimum spanning tree can be constructed incrementally and it is not necessary to know the full graph in advance. This is possible, because the join algorithm responsible for joining new nodes on behalf of the topological distance algorithm is independent of the order in which the nodes are added due to the property of an ultrametric. Apart from the mathematical elegance which some readers might find interesting in itself, this provides not only proofs (and clearer ones in the opinion of the author) for optimality theorems (i.e., proof of the minimum spanning tree construction) but a simple proof for the optimality of the reconstruction algorithm omitted in previous publications too. Furthermore, we define a new algorithm by extending the join algorithm to minimize the topological distance and (network) latency together and provide a correctness proof.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Vovin, Alexander. „Proto-K(r)adai ‘hand’, ‘eye’, and ‘bird’ revisited“. Cahiers de Linguistique Asie Orientale 47, Nr. 1 (11.10.2018): 150–64. http://dx.doi.org/10.1163/19606028-04701003.

Der volle Inhalt der Quelle

Annotation:

Abstract This article revisits the traditional comparisons for K(r)adai and Austronesian ‘hand’, ‘eye’, and ‘bird’. In the case of ‘hand’ it attempts to improve the comparison by offering an unorthodox solution for Proto-K(r)adai reconstruction that, in my opinion, should be *lima, virtually identical to proto-Austronesian. It also provides additional evidence for reconstructing ‘eye’ and ‘bird’ as disyllabic words in K(r)adai, showing that these two were also very close to (with minor differences) to proto-Austronesian. Although these facts alone cannot be used as ultimate proof of K(r)adai and Austronesian genetic relationship, I believe that they constitute a further step in refining the arguments in this direction.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Aftab, 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, Nr. 7 (01.01.2024): 072017. http://dx.doi.org/10.1088/1742-6596/2687/7/072017.

Der volle Inhalt der Quelle

Annotation:

Abstract Methodical studies to improve the existing e-beam Longitudinal Phase Space (LPS) tomography were performed at the Photo Injector Test facility at DESY in Zeuthen. Proof-of-principle simulations were done to address some core concerns e.g. booster phase range, space charge effects and noisy artefacts in results. Phase advance analysis was done with the help of an analytical model that determined the booster phase range and step size. A slit was introduced before the booster to truncate the beam and reduce space charge forces. The reconstruction method adopted was image space reconstruction algorithm owing to its assurance of non-negative solution. An initial scientific presumption of LPS from low energy momentum measurements was established to reduce artefacts in the phase space. This paper will explain the proof-of-principle simulations highlighting the key aspects to obtain accurate results. Reconstructed LPS for different experimental cases will be presented to demonstrate the diagnostic capability.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Hinst, 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, Nr. 1 (05.04.2014): 22–44. http://dx.doi.org/10.30965/26664275-01701003.

Der volle Inhalt der Quelle

Annotation:

The primary aim is the reconstruction of the main argument of the second chapter of Anselm’s Proslogion. To be proved is the statement that God, or something than which nothing greater can be thought, exists in reality. I proceed by a piecemeal analysis of every sentence of the Latin original and its subsequent translation into a formal second-order language with choice operator. Reconstructing Anselm’s reasoning demands interpretative input and additions. For example, the formula ‘quod maius est’ has to be suitably interpreted and expanded. Furthermore, I try to explicate Anselm’s maius predicate in terms of a perfection predicate and to develop a general proof for Anselm’s theorem, i.e. the statement that something/that than which something greater cannot be thought has all greater-making attributes.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Qin, 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.03.2023): 182–95. http://dx.doi.org/10.54097/hset.v37i.6073.

Der volle Inhalt der Quelle

Annotation:

Intersections in construction are common in China when roads in plenty of Chinese cities are under reconstruction and expansion in a large scale. As intersections are traffic hub where big traffic flows passing by, smoothness and efficiency are ought to be guaranteed in order to reduce effect caused by construction. However, plans at lower cost and more effective are appreciated because reconstructing an intersection is costly. The research analysis the current situation and raise a complete optimize plan for the crossing of Youyi Road and Luojiagang Road in order to proof there is possibility to optimize an intersection at lower cost. The research raises a feasible optimize plan for a crossing. It is feasible to cheaply optimize a crossing which still allows vehicles running while under construction.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Hintz, Peter, und Gunther Uhlmann. „Reconstruction of Lorentzian Manifolds from Boundary Light Observation Sets“. International Mathematics Research Notices 2019, Nr. 22 (02.02.2017): 6949–87. http://dx.doi.org/10.1093/imrn/rnx320.

Der volle Inhalt der Quelle

Annotation:

Abstract On a time-oriented Lorentzian manifold (M, g) with nonempty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets S ⊂ M of sources is uniquely determined by measurements of the intersection of future light cones from points in S with a fixed open subset of the boundary of M; here, light rays are reflected at ∂M according to Snell’s law. Our proof is constructive, and allows for interior conjugate points as well as multiply reflected and self-intersecting light cones.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Ginthör, Stephan J., Judith Schlagnitweit, Matthias Bechmann und Norbert Müller. „Nuclear spin noise tomography in three dimensions with iterative simultaneous algebraic reconstruction technique (SART) processing“. Magnetic Resonance 1, Nr. 2 (06.08.2020): 165–73. http://dx.doi.org/10.5194/mr-1-165-2020.

Der volle Inhalt der Quelle

Annotation:

Abstract. We report three-dimensional spin noise imaging (SNI) of nuclear spin density from spin noise data acquired by Faraday detection. Our approach substantially extends and improves the two-dimensional SNI method for excitation-less magnetic resonance tomography reported earlier (Müller and Jerschow, 2006). This proof of principle was achieved by taking advantage of the particular continuous nature of spin noise acquired in the presence of constant magnitude magnetic field gradients and recent advances in nuclear spin noise spectroscopy acquisition as well as novel processing techniques. In this type of projection–reconstruction-based spin noise imaging the trade-off between signal-to-noise ratio (or image contrast) and resolution can be adjusted a posteriori during processing of the original time-domain data by iterative image reconstruction in a unique way not possible in conventional rf-pulse-dependent magnetic resonance imaging (MRI). The 3D SNI is demonstrated as a proof of concept on a commercial 700 MHz high-resolution NMR spectrometer, using a 3D-printed polymeric phantom immersed in water.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Chen, P., Z. Chen, E. Landao, T. Leys, T. Wang, Q. Zheng, Y. Ding und M. Zheng. „FABRICATION OF BIOACTIVE COLLAGEN ROPE FOR ANTERIOR CRUCIATE LIGAMENT RECONSTRUCTION“. Orthopaedic Proceedings 105-B, SUPP_7 (04.04.2023): 137. http://dx.doi.org/10.1302/1358-992x.2023.7.137.

Der volle Inhalt der Quelle

Annotation:

To address the current challenge of anterior cruciate ligament (ACL) reconstruction, this study is the first to fabricate a braided collagen rope (BCR) which mimics native hamstring for ACL reconstruction. The study aims to evaluate the biological and biomechanical properties of BCR both in vivo and vitro.Rabbit ACL reconstruction model using collagen rope and autograft (hamstring tendon) was conducted. The histological and biomechanical evaluations were conducted at 6-, 12-, 18, 26-week post-operation. In vitro study included cell morphology analysis, cell function evaluation and RNA sequencing of the tenocytes cultured on BCR. A cadaver study was also conducted to verify the feasibility of BCR for ACL reconstruction.BCR displays satisfactory mechanical strength similar to hamstring graft for ACL reconstruction in rabbit. Histological assessment showed BCR restore ACL morphology at 26 weeks similar to native ACL. The superior dynamic ligamentization in BCR over autograft group was evidenced by assessment of cell and collagen morphology and orientation. The in vitro study showed that the natural collagen fibres within BCR enables to signal the morphology adaptation and orientation of human tenocytes in bioreactor. BCR enables to enhance cell proliferation and tenogenic expression of tenocytes as compared to hydrolysed collagen. We performed an RNA-Sequencing (RNA-seq) experiment where RNA was extracted from tenocyte seeded with BCR. Analysis of enriched pathways of the up-regulated genes revealed that the most enriched pathways were the Hypoxia-inducible factor 1-alpha (HIF1A) regulated networks, implicating the possible mechanism BCR induced ACL regeneration. The subsequent cadaver study was conducted to proof the feasibility of BCR for ACL reconstruction.This study demonstrated the proof-of-concept of bio-textile braided collagen rope for ACL reconstruction, and the mechanism by which BCR induces natural collagen fibres that positively regulate morphology and function of tenocytes.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Soemarto, Soehartono. „The Reconstruction of the Reversal of the Burden of Proof Verificationin Corruption Delict“. International Journal of English Literature and Social Sciences 3, Nr. 5 (2018): 732–45. http://dx.doi.org/10.22161/ijels.3.5.7.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Pietruski, Piotr, Marcin Majak, Ewelina Światek-Najwer, Magdalena Żuk, Michał Popek, Maciej Mazurek, Marta Świecka und Janusz Jaworowski. „Navigation-guided fibula free flap for mandibular reconstruction: A proof of concept study“. Journal of Plastic, Reconstructive & Aesthetic Surgery 72, Nr. 4 (April 2019): 572–80. http://dx.doi.org/10.1016/j.bjps.2019.01.026.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Kereković, Davorin. „Project “proof of the identity of reconstruction project of the city of Vukovar”“. Computers, Environment and Urban Systems 18, Nr. 2 (März 1994): 143–46. http://dx.doi.org/10.1016/0198-9715(94)90009-4.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Peng, Hanchuan, Fuhui Long, Ting Zhao und Eugene Myers. „Proof-editing is the Bottleneck Of 3D Neuron Reconstruction: The Problem and Solutions“. Neuroinformatics 9, Nr. 2-3 (18.12.2010): 103–5. http://dx.doi.org/10.1007/s12021-010-9090-x.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Cureton, Adam. „A Contractualist Reading of Kant's Proof of the Formula of Humanity“. Kantian Review 18, Nr. 3 (07.10.2013): 363–86. http://dx.doi.org/10.1017/s1369415413000150.

Der volle Inhalt der Quelle

Annotation:

AbstractKant offers the following argument for the formula of humanity (FH): Each rational agent necessarily conceives of her own rational nature as an end in itself and does so on the same grounds as every other rational agent, so all rational agents must conceive of one another's rational nature as an end in itself. As it stands, the argument appears to be question-begging and fallacious. Drawing on resources from the formula of universal law (FUL) and Kant's claims about the primacy of duties to oneself, I propose a contractualist reconstruction of this puzzling line of reasoning.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Altenkort, Luis, Alexander M. Eller, Olaf Kaczmarek, Lukas Mazur, Guy D. Moore und 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.

Der volle Inhalt der Quelle

Annotation:

In a recently published work we provide a proof-of-concept of a novel method to extract the heavy quark momentum diffusion coefficient from color-electric correlators on the lattice using gradient flow. The transport coefficient can be found in the infrared limit of the corresponding spectral function which is reconstructed through perturbative model fits of the correlator data. In this proceedings report we want to give more detailed insights into the systematic uncertainties of this procedure and compare our results with other studies.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

AMBARTSOUMIAN, GAIK, RIM GOUIA-ZARRAD, VENKATESWARAN P. KRISHNAN und SOUVIK ROY. „Image reconstruction from radially incomplete spherical Radon data“. European Journal of Applied Mathematics 29, Nr. 3 (11.09.2017): 470–93. http://dx.doi.org/10.1017/s0956792517000250.

Der volle Inhalt der Quelle

Annotation:

We study inversion of the spherical Radon transform with centres on a sphere (the data acquisition set). Such inversions are essential in various image reconstruction problems arising in medical, radar and sonar imaging. In the case of radially incomplete data, we show that the spherical Radon transform can be uniquely inverted recovering the image function in spherical shells. Our result is valid when the support of the image function is inside the data acquisition sphere, outside that sphere, as well as on both sides of the sphere. Furthermore, in addition to the uniqueness result, our method of proof provides reconstruction formulas for all those cases. We present a robust computational algorithm and demonstrate its accuracy and efficiency on several numerical examples.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!