Results 11 to 20 of about 392,469 (282)
Algebraic Approach to Algorithmic Logic [PDF]
Formalized Mathematics, 2014 We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic.
Bancerek, Grzegorz
core +5 more sources
Algorithmic Approach to a Minimization Problem [PDF]
Abstract and Applied Analysis, 2012 We first construct an implicit algorithm for solving the minimization problem minx∈Ω∥x∥ , where Ω is the intersection set of the solution set of some equilibrium problem, the fixed points set of a nonexpansive mapping, and the solution set of some ...
Yonghong Yao +3 more
doaj +4 more sources
An Algorithmic Approach to Natural Behavior [PDF]
Current Biology, 2020 Uncovering the mechanisms and implications of natural behavior is a goal that unites many fields of biology. Yet, the diversity, flexibility, and multi-scale nature of these behaviors often make understanding elusive. Here, we review studies of animal pursuit and evasion - two special classes of behavior where theory-driven experiments and new modeling
Hein, A.M. +5 more
openaire +5 more sources
Heterotic compactification, an algorithmic approach [PDF]
Journal of High Energy Physics, 2007 We approach string phenomenology from the perspective of computational algebraic geometry, by providing new and efficient techniques for proving stability and calculating particle spectra in heterotic compactifications. This is done in the context of complete intersection Calabi-Yau manifolds in a single projective space where we classify positive ...
Anderson, L. B., He, Y., Lukas, A.
openaire +6 more sources
Algorithm-based approach to headache
Journal of Family Medicine and Primary Care, 2023 ABSTRACT One of the most commonly encountered scenarios in any healthcare setting is a patient presenting with a headache. Yet, the assessment, diagnosis and treatment of headache disorders can be challenging and burdensome for even specialist doctors in medicine, psychiatry, oto-rhinology, neurology and so on.
Jayaprakash R. Ravan +2 more
openaire +3 more sources
Beyond Serendipity to an Algorithmic Approach
Plastic and Reconstructive Surgery, Global Open, 2018 Shaghayegh Harbi, MS, PhD +2 more
doaj +5 more sources
An algorithmic approach to Rupert’s problem
Mathematics of Computation, 2023 A polyhedron P ⊂ R 3 \mathbf {P} \subset \mathbb {R}^3 has Rupert’s property if a hole can be cut into it, such that a copy of P \mathbf {P} can pass through this hole.
Steininger, Jakob, Yurkevich, Sergey
openaire +5 more sources
Approximate algorithms for neural-Bayesian approaches [PDF]
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heskes, T.M., Bakker, B.J., Kappen, H.J.
openaire +3 more sources
Applied Sciences, 2020 The naval multi-function console provides various types of information to the operator. It is equipment that is key for submarine navigation, and fatal human errors can occur due to the mismatch between the console specifications and the operator’s
Jihwan Lee +3 more
doaj +1 more source
Cutaneous vasculitis; An algorithmic approach to diagnosis
Frontiers in Medicine, 2022 Vasculitides, characterized by inflammation and damage of blood vessels, encompass a broad spectrum of diseases. They can occur with different pathophysiological mechanisms and have a rich clinical heterogeneity depending on the vessel diameters they ...
Erkan Alpsoy
doaj +1 more source