Results 71 to 80 of about 3,624,229 (370)
Analytic and non-analytic proofs [PDF]
, 1984 In automated theorem Poving different kinds of proof systems have been used. Traditional proof systems, such as Hilbert-style proofs or natural deduction we call non-analytic, while resolution or mating proof systems we call analytic. There are many good reasons to study the connections between analytic and non-analytic proofs.
openaire +2 more sources
On Analytic Independence [PDF]
Transactions of the American Mathematical Society, 1976 This article examines the concept of “analytic independence". Several illustrative examples have been included. The main results are Theorems 1-4 which state the relations between analytic independence and the degree of field extensions, transcendence degree, order of poles and “gap” respectively.
T. T. Moh, Shreeram S. Abhyankar
openaire +3 more sources
Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, 2021 Changing the user interface always entails risks of decreasing application ergonomics and user churn. The purpose of this work is to find methods for changing the user interface without the need to use and increase the number of active users. Using Alpha/
Y. G. Pavlovich, I. F. Kirinovich
doaj +1 more source
Integration of Exploration and Search: A Case Study of the M3 Model [PDF]
, 2019 International audienceEffective support for multimedia analytics applications requires exploration and search to be integrated seamlessly into a single interaction model.
A Babenko +5 more
core +2 more sources
Big data analytics for manufacturing internet of things: opportunities, challenges and enabling technologies [PDF]
Enterprise Information Systems, 2019 Data analytics in massive manufacturing data can extract huge business values while can also result in research challenges due to the heterogeneous data types, enormous volume and real-time velocity of manufacturing data.
Hongning Dai +4 more
semanticscholar +1 more source
Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders
Population Ecology, EarlyView.We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa +2 more
wiley +1 more source
Analytic cycles on real analytic manifolds
Mathematische Annalen, 2004 Let \(X\) be a compact real analytic manifold of dimension \(n\); the authors study homology classes in \(H_* (X, \mathbb{Z}/2)\) represented by analytic subsets of \(X\) (here analytic means the set of zeros of global analytic functions). If \(H_k^{an} (X, \mathbb{Z}/ 2)\) is the subgroup of classes of \(H_k (X, \mathbb{Z}/2)\) corresponding to ...
J. Bochnak +2 more
openaire +5 more sources
Analytics and complexity: learning and leading for the future [PDF]
, 2012 There is growing interest in the application of learning analytics to manage, inform and improve learning and teaching within higher education. In particular, learning analytics is seen as enabling data-driven decision making as universities are seeking ...
Beer, Colin, Clark, Damien, Jones, David
core +1 more source
Infection Models for Pine Wilt Disease on the Basis of Vector Behaviors
Population Ecology, EarlyView.Infection models for pine wilt disease without vector density were built to estimate the transmission coefficient of the pathogenic nematode. The models successfully simulated the annual change in the density of infected trees for four pine stands. ABSTRACT Pine wilt disease is caused by the pinewood nematode (Bursaphelenchus xylophilus Steiner et ...
Katsumi Togashi
wiley +1 more source