Search results for "Theorem"
showing 10 items of 1250 documents
Periodic Classification of Local Anaesthetics (Procaine Analogues)
2006
Algorithms for classification are proposed based on criteria (information entropyand its production). The feasibility of replacing a given anaesthetic by similar ones in thecomposition of a complex drug is studied. Some local anaesthetics currently in use areclassified using characteristic chemical properties of different portions of their molecules.Many classification algorithms are based on information entropy. When applying theseprocedures to sets of moderate size, an excessive number of results appear compatible withdata, and this number suffers a combinatorial explosion. However, after the equipartitionconjecture, one has a selection criterion between different variants resulting fromc…
Mixed finite elements for nonlocal elastic multilayered composite plate refined theories
2020
Abstract A novel mixed finite element formulation for the layerwise analysis of nonlocal multilayered composite plates is presented. The finite elements are formulated starting from the weak form of a set of governing equations for the laminate layers that were deduced via the Reissner Mixed Variational Theorem. The primary variables, namely displacements and out-of-plane stresses, are expressed at layer level as through-the-thickness expansions of suitable selected functions with coefficients approximated by the finite element scheme. The through-the-thickness expansion order is considered as a free parameter. This way, finite elements for different refined higher order plate theories can …
Multiple nodal solutions for semilinear robin problems with indefinite linear part and concave terms
2017
We consider a semilinear Robin problem driven by Laplacian plus an indefinite and unbounded potential. The reaction function contains a concave term and a perturbation of arbitrary growth. Using a variant of the symmetric mountain pass theorem, we show the existence of smooth nodal solutions which converge to zero in $C^1(\overline{\Omega})$. If the coefficient of the concave term is sign changing, then again we produce a sequence of smooth solutions converging to zero in $C^1(\overline{\Omega})$, but we cannot claim that they are nodal.
Superlinear Robin Problems with Indefinite Linear Part
2018
We consider a semilinear Robin problem with an indefinite linear part and a superlinear reaction term, which does not satisfy the usual in such cases AR condition. Using variational methods, together with truncation–perturbation techniques and Morse theory (critical groups), we establish the existence of three nontrivial solutions. Our result extends in different ways the multiplicity theorem of Wang.
A Qualified Kolmogorovian Account of Probabilistic Contextuality
2014
We describe a mathematical language for determining all possible patterns of contextuality in the dependence of stochastic outputs of a system on its deterministic inputs. The central principle contextuality-by-default is that the outputs indexed by mutually incompatible values of inputs are stochastically unrelated; but they can be coupled imposed a joint distribution on in a variety of ways. A system is characterized by a pattern of which outputs can be "directly influenced" by which inputs a primitive relation, hypothetical or normative, and by certain constraints imposed on the outputs such as Bell-type inequalities or their quantum analogues. The set of couplings compatible with these …
The Algorithm of a Game-Based System in the Relation between an Operator and a Technical Object in Management of E-Commerce Logistics Processes with …
2021
Machine learning (ML) is applied in various logistic processes utilizing innovative techniques (e.g., the use of drones for automated delivery in e-commerce). Early challenges showed the insufficient drones’ steering capacity and cognitive gap related to the lack of theoretical foundation for controlling algorithms. The aim of this paper is to present a game-based algorithm of controlling behaviours in the relation between an operator (OP) and a technical object (TO), based on the assumption that the game is logistics-oriented and the algorithm is to support ML applied in e-commerce optimization management. Algebraic methods, including matrices, Lagrange functions, systems of differential e…
Deontology of Compound Actions
2018
This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of a logical system . This system is semantically defined by providing its intended models in which the role of actions of various types (atomic, sequential and compound ones) is accentuated. Since the…
On Solving the Problem of Identifying Unreliable Sensors Without a Knowledge of the Ground Truth: The Case of Stochastic Environments.
2017
The purpose of this paper is to propose a solution to an extremely pertinent problem, namely, that of identifying unreliable sensors (in a domain of reliable and unreliable ones) without any knowledge of the ground truth. This fascinating paradox can be formulated in simple terms as trying to identify stochastic liars without any additional information about the truth. Though apparently impossible, we will show that it is feasible to solve the problem, a claim that is counterintuitive in and of itself. One aspect of our contribution is to show how redundancy can be introduced, and how it can be effectively utilized in resolving this paradox. Legacy work and the reported literature (for exam…
Adiabatic evolution for systems with infinitely many eigenvalue crossings
1998
International audience; We formulate an adiabatic theorem adapted to models that present an instantaneous eigenvalue experiencing an infinite number of crossings with the rest of the spectrum. We give an upper bound on the leading correction terms with respect to the adiabatic limit. The result requires only differentiability of the considered projector, and some geometric hypothesis on the local behavior of the eigenvalues at the crossings.
Support for the monophyletic origin of Gnathifera from phylogenomics
2009
The monophyletic origin of Spiralia within the metazoan tree of life is supported by many large-scale phylogenomic data. While there is now substantial molecular evidence for Lophotrochozoa being a monophyletic taxon within Spiralia, the phylogenetic affiliations of many other spiralian phyla remain unclear. Here we focus on the question of a monophyletic taxon Gnathifera, which was originally characterized by jaw morphology as comprising the taxa Rotifera, Acanthocephala and Gnathostomulida. Based on a large-scale molecular sequence dataset of 11,146 amino acid residues, we reconstructed phylogenetic trees of spiralian phyla using maximum-likelihood and Bayesian approaches. We obtain the f…