Results 51 to 60 of about 344,169 (311)
Annals of Gastroenterological Surgery, EarlyView.ABSTRACT The therapeutic landscape of hepatocellular carcinoma (HCC) has been transformed by recent advancements in systemic therapies, particularly with the introduction of immune checkpoint inhibitors, expanding treatment options beyond conventional locoregional approaches.
Keiichi Akahoshi +4 more
wiley +1 more source
Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories
, 2016 Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true $\Pi_n$-sentences or
Salehi, Saeed, Seraji, Payam
core +1 more source
Advanced Intelligent Discovery, EarlyView.Automated procedural analysis is recognized as one of the major game changers for robotic surgery. Meaning digital analysis needs to replace the manual assessments that set todays standard. Mechanical robotic‐instrument tracking enables the derivation of quantitative kinematic metrics that support behavior‐based workflow segmentation into distinct ...
Kateryna Pirkovets +4 more
wiley +1 more source
Journal of Formalized Reasoning, 2008 We present a formalisation of a constructive proof of Lebesgue’s Dominated Convergence Theorem given by the Sacerdoti Coen and Zoli in [CSCZ]. The proof is done in the abstract setting of ordered uniformities, also introduced by the two authors as a ...
Claudio Sacerdoti Coen, Enrico Tassi
doaj
Algorithmic and combinatoric aspects of multiple harmonic sums [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 Ordinary generating series of multiple harmonic sums admit a full singular expansion in the basis of functions $\{(1-z)^α \log^β (1-z)\}_{α ∈ℤ, β ∈ℕ}$, near the singularity $z=1$. A constructive proof of this result is given, and, by combinatoric aspects,
Christian Costermans +2 more
doaj +1 more source
Constructive Proofs or Constructive Statements?
, 2005 A question raised at previous MAP meetings is the following. Is Sergeraert's "Constructive Algebraic Topology" (CAT, in short) really constructive (in the strict logical sense of the word "constructive")? We have not an answer to that question, but we are interested in the following: could have a positive (or negative) answer to the previous ...
openaire +5 more sources
Equal Sum Sequences and Imbalance Sets of Tournaments [PDF]
, 2014 Reid conjectured that any finite set of non-negative integers is the score set of some tournament and Yao gave a non-constructive proof of Reid's conjecture using arithmetic arguments. No constructive proof has been found since.
Khan, Muhammad Ali
core
Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing
Advanced Intelligent Systems, EarlyView.This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian +37 more
wiley +1 more source
Growth functions for some uniformly amenable groups
Open Mathematics, 2017 We present a simple constructive proof of the fact that every abelian discrete group is uniformly amenable. We improve the growth function obtained earlier and find the optimal growth function in a particular case.
Dronka Janusz +3 more
doaj +1 more source
An Analysis of Tennenbaum's Theorem in Constructive Type Theory [PDF]
Logical Methods in Computer ScienceTennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers.
Marc Hermes, Dominik Kirst
doaj +1 more source