Search results

article

On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements

Marc Gyssens, Mathias Niepert, Dirk Van Gucht, M. Gyssens, more

Information Processing Letters > 2014 > 114 > 11 > 628-633

Conditional independence (CI) statements occur in several areas of computer science and artificial intelligence, e.g., as embedded multivalued dependencies in database theory, disjunctive association rules in data mining, and probabilistic CI statements in probability theory. Although, syntactically, such constraints can always be represented in the form I(A,B|C), with A, B, and C subsets of some...

article

Proof systems for Moss' coalgebraic logic

Marta Bílková, Alessandra Palmigiano, Yde Venema, M. Bilkova, more

Theoretical Computer Science > 2014 > 549 > Complete > 36-60

We study Gentzen-style proof theory of the finitary version of the coalgebraic logic introduced by L. Moss. The logic captures the behaviour of coalgebras for a large class of set functors. The syntax of the logic, defined uniformly with respect to a finitary coalgebraic type functor T, uses a single modal operator ∇T of arity given by the functor T itself, and its semantics is defined in terms of...

article

Transforming everyday experience: Transformative learning, disorienting dilemmas and Honneth's theory of recognition

Ted Fleming

Journal for the Theory of Social Behaviour > 52 > 4 > 563 - 578

Axel Honneth's theory of recognition outlines the personal and social contexts of family, law and community solidarities in which recognition – and misrecognitions – are experienced. His work has implications for Mezirow's theory of transformative learning. Transformative learning is critiqued for an over dependence on the Dewey/Habermas foundations that demand high levels of rationality and for an...

article

Skeletal and soft tissue completeness of the acanthodian fossil record

Lisa Schnetz, Richard J. Butler, Michael I. Coates, Ivan J. Sansom, more

Palaeontology > 65 > 4 > n/a - n/a

Acanthodians are a poorly understood paraphyletic grade of extinct Palaeozoic fishes. They play an increasingly prominent role in our understanding of vertebrate evolution as part of the chondrichthyan stem‐group even though their evolutionary history is scarce. The limited preservation of their mostly cartilaginous skeleton largely results in a bias towards isolated remains such as fin spines and...

article

A proof of the completeness of Lamb modes

Jean‐Luc Akian

Mathematical Methods in the Applied Sciences > 45 > 3 > 1402 - 1419

The aim of this paper is to give a precise proof of the completeness of Lamb modes of an elastic isotropic plate. This proof is relatively simple and short but relies on two powerful mathematical theorems. The first one is a theorem on elliptic systems with a parameter due to Agranovich and Vishik. The second one is a theorem due to Locker which gives a criterion to show the completeness of the set...

article

Dichotomy and μ‐pseudo almost automorphic solutions for delayed partial functional differential equations in admissible spaces

Chiraz Jendoubi

Mathematische Nachrichten > 294 > 2 > 338 - 353

We prove the existence and uniqueness of μ‐pseudo almost automorphic solution for a delayed non‐autonomous partial functional differential equation in the exponential dichotomic case, where the nonlinear operator F satisfies the φ‐Lipschitz condition and φ belongs to some admissible spaces. We further prove the existence of an invariant stable manifold around the μ‐pseudo almost automorphic solution...

article

Ten more years of discovery: revisiting the quality of the sauropodomorph dinosaur fossil record

Daniel D. Cashmore, Philip D. Mannion, Paul Upchurch, Richard J. Butler, more

Palaeontology > 63 > 6 > 951 - 978

Spatiotemporal changes in fossil specimen completeness can bias our understanding of a group's evolutionary history. The quality of the sauropodomorph fossil record was assessed a decade ago, but the number of valid species has since increased by 60%, and 17% of the taxa from that study have since undergone taxonomic revision. Here, we assess how 10 years of additional research has changed our outlook...

article

Global gaps in trait data for terrestrial vertebrates

Adrienne Etard, Sophie Morrill, Tim Newbold, Catherine Sheard

Global Ecology and Biogeography > 29 > 12 > 2143 - 2158

Aim Trait data are increasingly being used in studies investigating the impacts of global changes on the structure and functioning of ecological communities. Despite a growing number of trait data collations for terrestrial vertebrates, there is to date no global assessment of the gaps and biases the data present. Here, we assess whether terrestrial vertebrate trait data are taxonomically, spatially...

article

Comparing biodiversity databases: Greater Caribbean reef fishes as a case study

Iliana Chollett, D. Ross Robertson

Fish and Fisheries > 21 > 6 > 1195 - 1212

There is a widespread need for reliable biodiversity databases for science and conservation. Among the many public databases available, we lack guidance as to how their data quality varies. Here, we compare species distribution data for a well known regional reef fish fauna extracted from five global online databases that supply “as is” data (GBIF, OBIS, IDigBio, FishNet2 and FishBase) and our own...

article

A Family of Kripke Contingency Logics

Jie Fan

Theoria > 86 > 4 > 482 - 499

In Fan's 2019 article, “Symmetric Contingency Logic with Unlimitedly Many Modalities”, it is left as an open question in Fan (2019b) how to (completely) axiomatize contingency logic over the class of symmetric and transitive frames, and conjectured that

ℂ LB 4 = ℂ LB + Δ_{i} φ \to Δ_{i} (Δ_{i} φ \lor ψ)

is the desired axiomatization. In the current article, we show that the conjecture is false, and then propose a desired axiomatization,...

article

A Propositional Metric Logic with Fixed Finite Ranges

Radosav Djordjević, Nebojša Ikodinović, Nenad Stojanović

Fundamenta Informaticae > 2020 > Vol. 174, nr 2 > 185--199

The aim of this article is developing a formal system suitable for reasoning about the distance between propositional formulas. We introduce and study a formal language which is the extension of the classical propositional language obtained by adding new binary operators D_≤s and D_≥s , s ∈ Range, where Range is a fixed finite set. In our language it is allowed to make formulas of the form D_≤s (α ;...

article

The completeness properties of Gaussian‐type orbitals in quantum chemistry

Robert A. Shaw

International Journal of Quantum Chemistry > 120 > 17 > n/a - n/a

In this work, I extend results on the convergence of Gaussian basis sets in quantum chemistry, previously shown for ground‐state hydrogenic wavefunctions, to orbitals of arbitrary angular momentum. I give rigorous proofs of their asymptotic behavior, and demonstrate for methods with regular potential operators—in particular, Hartree–Fock and Kohn–Sham density functional theory—that the assumption...

article

Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl

Víctor Aranda

Bulletin of the Section of Logic > 2020 > 49 > 2

Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem...

article

Moving towards a better understanding of iterative evolution: an example from the late Silurian Monograptidae (Graptolithina) of the Baltic Basin

Misha Whittingham, Sigitas Radzevičius, Andrej Spiridonov, Lesley Cherns

Palaeontology > 63 > 4 > 629 - 649

Iterative evolution has proved a difficult evolutionary phenomenon to study and interpret. Inferences of causality vary from study to study and quantitatively based phylogenetic reconstruction has never been attempted. In an effort to better understand iterative evolution we employed stratocladistics, gap analysis and disparity analysis to study the case of the Monograptidae in the aftermath of the...

article

National data with high validity and completeness showed that only 0.04% of Danish children had been registered with diagnosed hypertension

Adam F. Langhoff, Malene Landbo Børresen, Malgorzata P. Wason, Mikael Andersson, more

Acta Paediatrica > 109 > 7 > 1458 - 1464

Aim Hypertension has been reported in up to 4.0% of American children, but no national data exist in Europe. We studied the frequency of registered hypertension in Danish children and evaluated the data. Methods This 2014‐2015 study focused on patients under the age of 16 registered with hypertension in the Danish National Patient Register and 10 paediatric departments in central and eastern Denmark...

article

Use case specifications: How complete are they?

Saurabh Tiwari, Atul Gupta

Journal of Software: Evolution and Process > 32 > 1 > n/a - n/a

The flexibility of the use cases in specifying requirements from informal textual descriptions to more formal ones makes them usable in different contexts and purposes. However, the versatility of use cases regarding their admissible structure raises a natural concern about the specification completeness. This paper reports on the analysis of the eight different variants of use case template regarding...

article

(ω,c)‐asymptotically periodic functions, first‐order Cauchy problem, and Lasota‐Wazewska model with unbounded oscillating production of red cells

Edgardo Alvarez, Samuel Castillo, Manuel Pinto

Mathematical Methods in the Applied Sciences > 43 > 1 > 305 - 319

In this paper, we study a new class of functions, which we call (ω,c)‐asymptotically periodic functions. This collection includes asymptotically periodic, asymptotically antiperiodic, asymptotically Bloch‐periodic, and unbounded functions. We prove that the set conformed by these functions is a Banach space with a suitable norm. Furthermore, we show several properties of this class of functions as...

article

The Jacob factor: Aging and spirituality

Stephen Streed

Dialog > 58 > 4 > 286 - 293

Peace is a gift of God. Humans cannot create it. The meaning of “peace” in Hebrew is “completeness.” Humans seek completion in daily tasks, especially in younger years. In later years, completion takes on new urgency in a search for balance and meaning in one's accomplishments. Here a discovery of inner peace begins to take shape, where there is a perfect peace and acceptance. Others chafe under this...

article

Convergence of Spectral Decompositions for a Singular Differential Operator with General Boundary Conditions

L. V. Kritskov

Computational Mathematics and Modeling > 2019 > 30 > 4 > 326-339

We investigate the general boundary-value problem for the operator lu = −u′′ + q(x)u , 0 < x < 1, If the complex-valued coefficients q(x) is summable on (0,1), the integral ∫ 0 1 x 1 − x q x dx $$ {\int}_0^1x\left(1-x\right)\left|q(x)\right| dx $$ converges.The asymptotic solutions of the equation lu = μ²u derived in this article are used to construct the asymptotic spectrum...

article

Feasibility analysis of conducting observational studies with the electronic health record

Marcel von Lucadou, Thomas Ganslandt, Hans-Ulrich Prokosch, Dennis Toddenroth

BMC Medical Informatics and Decision Making > 2019 > 19 > 1 > 1-14

Background The secondary use of electronic health records (EHRs) promises to facilitate medical research. We reviewed general data requirements in observational studies and analyzed the feasibility of conducting observational studies with structured EHR data, in particular diagnosis and procedure codes. Methods After reviewing published observational studies from the University Hospital of Erlangen...

INFONA - science communication portal

Search results

On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements

Proof systems for Moss' coalgebraic logic

Transforming everyday experience: Transformative learning, disorienting dilemmas and Honneth's theory of recognition

Skeletal and soft tissue completeness of the acanthodian fossil record

A proof of the completeness of Lamb modes

Dichotomy and μ‐pseudo almost automorphic solutions for delayed partial functional differential equations in admissible spaces

Ten more years of discovery: revisiting the quality of the sauropodomorph dinosaur fossil record

Global gaps in trait data for terrestrial vertebrates

Comparing biodiversity databases: Greater Caribbean reef fishes as a case study

A Family of Kripke Contingency Logics

A Propositional Metric Logic with Fixed Finite Ranges

The completeness properties of Gaussian‐type orbitals in quantum chemistry

Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl

Moving towards a better understanding of iterative evolution: an example from the late Silurian Monograptidae (Graptolithina) of the Baltic Basin

National data with high validity and completeness showed that only 0.04% of Danish children had been registered with diagnosed hypertension

Use case specifications: How complete are they?

(ω,c)‐asymptotically periodic functions, first‐order Cauchy problem, and Lasota‐Wazewska model with unbounded oscillating production of red cells

The Jacob factor: Aging and spirituality

Convergence of Spectral Decompositions for a Singular Differential Operator with General Boundary Conditions

Feasibility analysis of conducting observational studies with the electronic health record

Filter options

Publication date

Content availability

Publication type

Publication language

Keywords

Data set

INFONA - science communication portal

Search results

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Publication language

Keywords

Data set

Reporting an error / abuse

Sending the report failed

Accessibility options