Results 61 to 70 of about 4,414,858 (168)
Nonlinear differential equation with first order partial derivatives
Вестник КазНУ. Серия математика, механика, информатика, 2018 The asymptotic behavior of solutions of a nonlinear differential equation with first-order partial derivatives solved with respect to one of the derivatives is investigated.
T. М. Aldibekov, M. M. Aldazharova
doaj +1 more source
Computing with First-Order Logic
Journal of Computer and System Sciences, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Serge Abiteboul, Victor Vianu
openaire +2 more sources
On a linear system of differential equations
Вестник КазНУ. Серия математика, механика, информатика, 2019 The linear systems of partial differential equations of the first order with the identical main parts is considered. Аpplying the well-known relation between a normal system of ordinary differential equations and a linear system of partial differential
T. М. Aldibekov, M. M. Aldazharova
doaj +1 more source
Annals of Pure and Applied Logic, 2013 From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models.
Steven Awodey, Henrik Forssell
openaire +2 more sources
First-Order Formative Rules [PDF]
, 2014 Extended version of a paper which is to appear in the proceedings of RTA-TLCA 2014 (Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications)
Carsten Fuhs, Cynthia Kop
openaire +2 more sources
First Order Framework for Gauge k-Vortices
Advances in High Energy Physics, 2018 We study vortices in generalized Maxwell-Higgs models, with the inclusion of a quadratic kinetic term with the covariant derivative of the scalar field in the Lagrangian density.
D. Bazeia +3 more
doaj +1 more source
, 2010 Efficient probabilistic inference is key to the success of statistical relational learning. One issue that increases the cost of inference is the presence of irrelevant random variables. The Bayes-ball algorithm can identify the requisite variables in a propositional Bayesian network and thus ignore irrelevant variables.
Meert, Wannes +2 more
openaire +1 more source
Physiologic kinetic profile of glycemic response in a single dose of clonidine
National Journal of Physiology, Pharmacy and Pharmacology, 2017 Background: Clonidine activates peripheral α-2 adrenoreceptors and influences glycemic levels. Aim and Objective: The aim and objective of the study was to determine the physiologic kinetic profile of glycemic response in a single dose of ...
Derick Erl P. Sumalapao
doaj +1 more source
Super-heated first order phase transitions
Journal of High Energy PhysicsWe study first order phase transitions that occur when the temperature of the system increases and we identify the conditions that lead to super-heating, a phase where the system can heat up arbitrarily.
Giulio Barni, Andrea Tesi
doaj +1 more source
Reliability-based analysis of machine structures using second-order reliability method
Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2019 In design and manufacture of machine structures and elements, the characteristics and sizes are randomly changing factors because of the change of loads, the mechanical properties of materials, and the quality of manufacturing process (size tolerances ...
Nguyen Huu LOC +2 more
doaj +1 more source