Showing 61 - 80 results of 125 for search 'proof complexity', query time: 0.04s Refine Results
  1. 61

    Strong boundedness of analytic functions in tubes by Richard D. Carmichael

    Published 1979-01-01
    “…Certain classes of analytic functions in tube domains TC=ℝn+iC in n-dimensional complex space, where C is an open connected cone in ℝn, are studied. …”
    Get full text
    Article
  2. 62

    Derived categories and the analytic approach to general reciprocity laws. Part I by Michael Berg

    Published 2005-01-01
    “…We reformulate Hecke's open problem of 1923, regarding the Fourier-analytic proof of higher reciprocity laws, as a theorem about morphisms involving stratified topological spaces. …”
    Get full text
    Article
  3. 63

    Remarks on orthogonal polynomials with respect to varying measures and related problems by Xin Li

    Published 1993-01-01
    “…As an example, we present a simple and short proof for a known result on the weak-star convergence of orthogonal polynomials w.r.t, varying measures. …”
    Get full text
    Article
  4. 64
  5. 65
  6. 66

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

    On the relation between Moore's and Penrose's conditions by Gaoxiong Gan

    Published 2002-01-01
    “…Moore (1920) defined the reciprocal of any matrix over the complex field by three conditions, but the beauty of the definition was not realized until Penrose (1955) defined the same inverse using four conditions. …”
    Get full text
    Article
  8. 68

    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
  9. 69

    Law of Evidence / by Monaghan, Nicola (Lawyer)

    Published 2015
    View in OPAC
    Book
  10. 70
  11. 71

    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
  12. 72

    TM-Chain: TCB Measurement Management Using Cloud Blockchain for IoT Devices by Jaemin Park, Sungjin Park

    Published 2025-01-01
    “…Based on TM-Chain, the verifiers launch remote attestation against the target devices using the TCB measurements verified by the cloud blockchain. We implemented a proof-of-concept (PoC) on a device to evaluate the performance overhead and a PoC on a public cloud to assess the feasibility.…”
    Get full text
    Article
  13. 73

    Mise en scène du paysage montagnard et valorisation sélective des patrimoines dans une vallée pyrénéenne en reconversion économique by Pierre Dérioz, Philippe Bachimon, Maud Loireau

    Published 2014-12-01
    “…This heritage part of the strategy is intended for the residents, the owners of secondary residences, and for tourists in the strict sense of the term: proof of this is in how the promotion of the industrial heritage has been accompanied the disappearance of its physical evidence in the landscape (destruction of the factory), the shift to the reconstruction of a memory being considered as a means of more effectively breaking with this industrial past.…”
    Get full text
    Article
  14. 74

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

    Published 2013
    View in OPAC
    Book
  15. 75

    Spatially Formulated Connected Automated Vehicle Trajectory Optimization with Infrastructure Assistance by Ran Yi, Yang Zhou, Xin Wang, Zhiyuan Liu, Xiaotian Li, Bin Ran

    Published 2022-01-01
    “…Based on the formulation, we first conducted a mathematical proof on the controllability of our system, to show that our system can be controlled in the spatial domain and curvilinear coordinate. …”
    Get full text
    Article
  16. 76

    Towards evaluating and building versatile large language models for medicine by Chaoyi Wu, Pengcheng Qiu, Jinxin Liu, Hongfei Gu, Na Li, Ya Zhang, Yanfeng Wang, Weidi Xie

    Published 2025-01-01
    “…To demonstrate the dataset’s utility, we conducted a proof-of-concept experiment by performing instruction tuning on a lightweight, open-source medical language model. …”
    Get full text
    Article
  17. 77

    Redesigning geometry assessments to promote advanced geometric thinking: A case study on formal deduction and rigor by Scristia, Tatang Herman, Septy Sari Yukans

    Published 2025-02-01
    “…These redesigns are expected to help pre-service mathematics teachers tackle more complex mathematical problems by encouraging logical reasoning and argumentation. …”
    Get full text
    Article
  18. 78

    Estimation of Blood Pressure by Image-Free, Wearable Ultrasound by Ana Belen Amado Rey

    Published 2024-05-01
    “…Soon thereafter, in vivo measurements of BP and stiffness, and their correlation analysis will be performed to corroborate the accuracy of the developed proof-of-concept device.…”
    Get full text
    Article
  19. 79

    PTH1R-CaSR Cross Talk: New Treatment Options for Breast Cancer Osteolytic Bone Metastases by Yanmei Yang, Bin Wang

    Published 2018-01-01
    “…The effects of intermittent PTH and allosteric modulators of CaSR for the use of bone-anabolic agents and prevention of BrCa bone metastases constitute a proof of principle for therapeutic consideration. …”
    Get full text
    Article
  20. 80

    Protective Role of rAAV-NDI1, Serotype 5, in an Acute MPTP Mouse Parkinson's Model by Jennifer Barber-Singh, Byoung Boo Seo, Akemi Matsuno-Yagi, Takao Yagi

    Published 2011-01-01
    “…It is conceivable that the AAV-serotype5 carrying the NDI1 gene is a powerful tool for proof-of-concept study to demonstrate complex I defects as the causable factor in diseases of the brain.…”
    Get full text
    Article