Showing 1 - 20 results of 23 for search 'proof complexity', query time: 0.08s Refine Results
  1. 1

    Quantum complexity phase transitions in monitored random circuits by Ryotaro Suzuki, Jonas Haferkamp, Jens Eisert, Philippe Faist

    Published 2025-02-01
    “…In our proof, we make use of percolation theory to find paths along which an exponentially long quantum computation can be run below the critical rate, and to identify events where the state complexity is reset to zero above the critical rate. …”
    Get full text
    Article
  2. 2

    Short Paper - The Binary Linearization Complexity of Pseudo-Boolean Functions by Walter, Matthias

    Published 2024-10-01
    “…This motivates the definition of the linearization complexity of $f$ as the minimum such $k$. Our theoretical contributions are the proof that random polynomials almost surely have a high linearization complexity and characterizations of its value in case we do or do not restrict the set of admissible Boolean functions. …”
    Get full text
    Article
  3. 3
  4. 4

    A serendipity fully discrete div-div complex on polygonal meshes by Botti, Michele, Di Pietro, Daniele A., Salah, Marwa

    Published 2023-03-01
    “…In this work we address the reduction of face degrees of freedom (DOFs) for discrete elasticity complexes. Specifically, using serendipity techniques, we develop a reduced version of a recently introduced two-dimensional complex arising from traces of the three-dimensional elasticity complex. …”
    Get full text
    Article
  5. 5

    Problems on the teaching of geometry in comprehensive schools for 21st century by Valentina Dagienė

    Published 2001-12-01
    “…Geometry involves three kinds of cognitive processes which fulfill specific epistemological functions: (1) visualization processes with regard to space representation for the illustration of a statement, for the heuristic exploration of a complex situation, etc.; (2) construction processes by tools: construction of figu­rations can work like a model; (3) reasoning in relationship to discursive processes for extension of knowledge, for proof, for explanation. …”
    Get full text
    Article
  6. 6

    A new framework for shallow approximations of incompressible flows by Shourick, Nathan, Cheddadi, Ibrahim, Saramito, Pierre

    Published 2023-12-01
    “…A new framework for the asymptotic analysis of incompressible flows of complex non-Newtonian materials is presented in this paper. …”
    Get full text
    Article
  7. 7

    Law of Evidence / by Monaghan, Nicola (Lawyer)

    Published 2015
    View in OPAC
    Book
  8. 8

    Simulation-based high-speed elongational rheometer for Carreau-type materials by Lukas Kannengießer, Walter Arne, Alexander Bier, Nicole Marheineke, Dirk W. Schubert, Raimund Wegener

    Published 2025-02-01
    “…The work can be understood as a proof of concept, a generalization to other, more complex materials is possible.…”
    Get full text
    Article
  9. 9

    A course in mathematical analysis / by Garling, D. J. H.

    Published 2013
    View in OPAC
    Book
  10. 10
  11. 11

    On Erdős sums of almost primes by Gorodetsky, Ofir, Lichtman, Jared Duker, Wong, Mo Dick

    Published 2024-11-01
    “…We also give an alternate, probability-theoretic argument related to the Dickman distribution. Here the proof reduces to showing a sequence of integrals converges exponentially quickly $\mathrm{e}^{-\gamma }$, which may be of independent interest.…”
    Get full text
    Article
  12. 12

    A robust, deep learning-based analysis of time-domain signals for NMR spectroscopy by Kyungdoe Han, Eunhee Kim, Kyoung-Seok Ryu, Donghan Lee

    Published 2025-02-01
    “…Our results confirm that deep learning can efficiently process NMR data to generate final spectra. As a proof of concept, we present the resulting spectra, along with peak lists predicted by supplying only FID input to the deep learning algorithm. …”
    Get full text
    Article
  13. 13

    A SuperLearner-based pipeline for the development of DNA methylation-derived predictors of phenotypic traits. by Dennis Khodasevich, Nina Holland, Lars van der Laan, Andres Cardenas

    Published 2025-02-01
    “…We gathered publicly available DNAm datasets to generate i) a novel childhood epigenetic clock, ii) a reconstructed Hannum adult blood clock, and iii) as a proof of concept, a predictor of polybrominated biphenyl exposure using the three developmental methodologies. …”
    Get full text
    Article
  14. 14

    An Efficient Multiparty Threshold ECDSA Protocol against Malicious Adversaries for Blockchain-Based LLMs by Jing Wang, Xue Yuan, Yingjie Xu, Yudi Zhang

    Published 2024-01-01
    “…Our approach relies on discrete logarithmic zero-knowledge proofs and Feldman verifiable secret sharing, reducing complexity by forgoing multiplication triple protocols. …”
    Get full text
    Article
  15. 15

    SYMBOLIC ANALYSIS OF CLASSICAL NEURAL NETWORKS FOR DEEP LEARNING by Vladimir Milićević, Igor Franc, Maja Lutovac Banduka, Nemanja Zdravković, Nikola Dimitrijević

    Published 2025-03-01
    “…In this paper, we propose, as a proof of concept, to start the system design by drawing a single neuron. …”
    Get full text
    Article
  16. 16

    Coherent Control of Single Molecules via Phase-Shaped Two-Photon Excitation at Room Temperature by Xin-peng Xu, Tobias M. Herkenrath, Ullrich Scherf, Richard Hildner

    Published 2025-01-01
    “…However, for larger functional molecules in condensed phase at room temperature, ensemble measurements do typically not allow exerting full control over competing pathways due to the unavoidable influence of the surrounding (mostly complex) environment. Here, we demonstrate room-temperature coherent control exploiting a nonresonant 2-photon transition into a higher excited state of single conjugated polymer chains embedded in a disordered matrix, including proof-of-principle experiments on bulk films. …”
    Get full text
    Article
  17. 17

    The Switchmaze: an open-design device for measuring motivation and drive switching in mice by Hartmann, Clara, Mahajan, Ambika, Borges, Vinicius, Razenberg, Lotte, Thönnes, Yves, Karnani, Mahesh Miikael

    Published 2024-04-01
    “…Animals need to switch between motivated behaviours, like drinking, feeding or social interaction, to meet environmental availability, internal needs and more complex ethological needs such as hiding future actions from competitors. …”
    Get full text
    Article
  18. 18

    Simultaneous Inference of Past Demography and Selection from the Ancestral Recombination Graph under the Beta Coalescent by Korfmann, Kevin, Sellinger, Thibaut Paul Patrick, Freund, Fabian, Fumagalli, Matteo, Tellier, Aurélien

    Published 2024-03-01
    “…The current methods developed to detect such multiple merger events do not account for complex demographic scenarios or recombination, and require large sample sizes. …”
    Get full text
    Article
  19. 19

    Design of a new model yeast consortium for ecological studies of enological fermentation by Pourcelot, Eléonore, Vigna, Audrey, Marlin, Thérèse, Galeote, Virginie, Nidelet, Thibault

    Published 2025-01-01
    “…Wine fermentation involves complex microbial communities of non-Saccharomyces yeast species besides the well-known Saccharomyces cerevisiae. …”
    Get full text
    Article
  20. 20

    Quantifying the tumour vasculature environment from CD-31 immunohistochemistry images of breast cancer using deep learning based semantic segmentation by Tristan Whitmarsh, Wei Cope, Julia Carmona-Bozo, Roido Manavaki, Stephen-John Sammut, Ramona Woitek, Elena Provenzano, Emma L. Brown, Sarah E. Bohndiek, Ferdia A. Gallagher, Carlos Caldas, Fiona J. Gilbert, Florian Markowetz

    Published 2025-02-01
    “…We also performed a 3D histology analysis on a separate tumour sample as a proof of principle, providing a more comprehensive visualization of vasculature morphology compared to the standard 2D cross-section of a tissue sample. …”
    Get full text
    Article