Results 91 to 100 of about 1,037,765 (269)
$L_p$-Bounds for the \v{C}eby\v{s}ev functional
, 2023 In this paper several new bounds for the \v{C}eby\v{s}ev functional involving $L_p$-norm are presented.Comment: This work contains inaccurate results. Some results do not hold.
Alomari, Mohammad W.
core
Modularizing the Elimination of r=0 in Kleene Algebra [PDF]
Logical Methods in Computer Science, 2005 Given a universal Horn formula of Kleene algebra with hypotheses of the form r = 0, it is already known that we can efficiently construct an equation which is valid if and only if the Horn formula is valid. This is an example of elimination of hypotheses,
Christopher Hardin
doaj +1 more source
Bounded Model Checking of Pointer Programs Revisited [PDF]
arXiv, 2016 Bounded model checking of pointer programs is a debugging technique for programs that manipulate dynamically allocated pointer structures on the heap. It is based on the following four observations. First, error conditions like dereference of a dangling pointer, are expressible in a~fragment of first-order logic with two-variables. Second, the fragment
arxiv
General Recursion via Coinductive Types [PDF]
Logical Methods in Computer Science, 2005 A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories.
Venanzio Capretta
doaj +1 more source
A review of artificial intelligence in brachytherapy
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Artificial intelligence (AI) has the potential to revolutionize brachytherapy's clinical workflow. This review comprehensively examines the application of AI, focusing on machine learning and deep learning, in various aspects of brachytherapy.
Jingchu Chen +4 more
wiley +1 more source
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani +2 more
doaj +1 more source
Dose rate correction of a diode array for universal wedge field dosimetric verification
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose To study the performance of MapCHECK 3 (MC3) in measuring universal wedge fields and propose a dose rate correction strategy to improve MC3 measurement accuracy. Materials and methods Universal wedge fields with different wedge angles and field sizes were measured at different depths using MC3.
Linyi Shen +6 more
wiley +1 more source
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [PDF]
Logical Methods in Computer Science, 2005 This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion ...
Luca Aceto +3 more
doaj +1 more source
Sphere-foliated minimal and constant mean curvature hypersurfaces in product spaces [PDF]
, 2010 In this paper, we prove that minimal hypersurfaces when $n\geq 3$ and nonzero constant mean curvature hypersurfaces when $n\geq2$ foliated by spheres in parallel horizontal hyperplanes in ${\mathbb{H}}^n \times \mathbb{R}$ must be rotationally symmetric ...
Seo, Keomkyo
core +1 more source
Integrable systems from supergravity BPS equations
, 2008 Integrable systems of the sine-Gordon/Liouville type, which arise from reducing the BPS equations for solutions invariant under 16 supersymmetries in Type IIB supergravity and M-theory, are shown to be special cases of an infinite family of integrable ...
D'Hoker, Eric, Estes, John
core +1 more source