Zaloguj się

Gotowe bibliografie tematyczne / Proof reconstruction / Artykuły w czasopismach

Artykuły w czasopismach na temat „Proof reconstruction”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Proof reconstruction.

Autor: Grafiati

Data publikacji: 25 maja 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Proof reconstruction”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.

1

Bundy, Alan, Mateja Jamnik i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

2

Francez, Nissim, i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Fasan, Oluwasola Mary, i Martin S. Olivier. "Correctness proof for database reconstruction algorithm". Digital Investigation 9, nr 2 (listopad 2012): 138–50. http://dx.doi.org/10.1016/j.diin.2012.09.002.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Iványi, Antal. "Reconstruction of score sets". Acta Universitatis Sapientiae, Informatica 6, nr 2 (1.12.2014): 210–29. http://dx.doi.org/10.1515/ausi-2015-0005.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

5

Banach, R. "Sequent reconstruction in LLM—A sweepline proof". Annals of Pure and Applied Logic 73, nr 3 (czerwiec 1995): 277–95. http://dx.doi.org/10.1016/0168-0072(94)00033-y.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Krajewski, Stanisław. "Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs". Studia Humana 9, nr 3-4 (1.10.2020): 154–64. http://dx.doi.org/10.2478/sh-2020-0034.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

7

D’Alpaos, Diana, Giovanni Badiali, Francesco Ceccariglia i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

8

RUMBERG, ANTJE. "BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS". Review of Symbolic Logic 6, nr 3 (3.07.2013): 424–59. http://dx.doi.org/10.1017/s1755020313000154.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

10

Godino-Moya, Alejandro, Rosa-María Menchón-Lara, Marcos Martín-Fernández, Claudia Prieto i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

11

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

12

Myasnikov, A., S. Merts, K. Gertsenberger, A. Driuk i S. Nemnyugin. "Parallel Event Reconstruction in BmnRoot Using the Proof System". Physics of Particles and Nuclei Letters 19, nr 5 (październik 2022): 577–79. http://dx.doi.org/10.1134/s1547477122050302.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

13

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

RICCA, RENZO L., i BERNARDO NIPOTI. "GAUSS' LINKING NUMBER REVISITED". Journal of Knot Theory and Its Ramifications 20, nr 10 (październik 2011): 1325–43. http://dx.doi.org/10.1142/s0218216511009261.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

16

Stoyanova, Ani, Ann-Kathrin Berg i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

18

Lodder, Elmer, i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

Scherf, N., J. Einenkel, L. C. Horn, N. Wentzensen, M. Loeffler, J. P. Kuska i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

21

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

23

Pafitanis, Georgios, Alexandros Vris, Dimitris Reissis, Amir Sadri, Reza Alamouti, Simon Myers i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

24

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

Bocher, Marie, Alexandre Fournier i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

27

Kövesdi, Balázs, Dénes Kollár i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

28

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

29

Castagna, Giuseppe, Mickaël Laurent, Kim Nguyễn i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

30

Asaadi, Jonathan, Martin Auger, Antonio Ereditato, Damian Goeldi, Umut Kose, Igor Kreslo, David Lorca i in. "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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

31

Xi, Hongguang, i 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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

32

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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 (styczeń 2006): 92–94. http://dx.doi.org/10.1109/tcbb.2006.4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

Mbuku, R. B., C. Sanchez, R. Evrard, A. Englebert, J. Manon, V. Henriet, G. Nolens i in. "A NEW TISSUE-ENGINEERED PRODUCT INDICATED FOR BONE RECONSTRUCTION: PROOF OF CONCEPT". Orthopaedic Proceedings 106-B, SUPP_2 (2.01.2024): 125. http://dx.doi.org/10.1302/1358-992x.2024.2.125.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

38

Aftab, N., P. Boonpornprasert, G. Georgiev, J. Good, M. Gross, W. Hillert, A. Hoffmann i in. "Improvements in longitudinal phase space tomography at PITZ". Journal of Physics: Conference Series 2687, nr 7 (1.01.2024): 072017. http://dx.doi.org/10.1088/1742-6596/2687/7/072017.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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 (5.04.2014): 22–44. http://dx.doi.org/10.30965/26664275-01701003.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

41

Hintz, Peter, i Gunther Uhlmann. "Reconstruction of Lorentzian Manifolds from Boundary Light Observation Sets". International Mathematics Research Notices 2019, nr 22 (2.02.2017): 6949–87. http://dx.doi.org/10.1093/imrn/rnx320.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

42

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

43

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

46

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

Peng, Hanchuan, Fuhui Long, Ting Zhao i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

48

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

49

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

50

AMBARTSOUMIAN, GAIK, RIM GOUIA-ZARRAD, VENKATESWARAN P. KRISHNAN i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!