Works matching DE "FIRST-order logic"

Results: 899

Efficient Allocations in Dynamic Private Information Economies with Persistent Shocks: A First-Order Approach.

Published in:

Review of Economic Studies, 2013, v. 80, n. 3, p. 1027, doi. 10.1093/restud/rds045

By:

Kapička, Marek

Publication type:

Article

EXPLAINING THE ACTUALITY OPERATOR AWAY.

Published in:

Philosophical Quarterly, 2017, v. 67, n. 269, p. 709, doi. 10.1093/pq/pqx006

By:

MACKAY, JOHN

Publication type:

Article

A Modified Regularization Method.

Published in:

Siberian Mathematical Journal, 2003, v. 44, n. 6, p. 981, doi. 10.1023/B:SIMJ.0000007473.40614.56

By:

Germanovich, O. P.;
Malyshev, A. V.

Publication type:

Article

Spectral WENO schemes with Adaptive Mesh Refinement for models of polydisperse sedimentation.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2013, v. 93, n. 6-7, p. 373, doi. 10.1002/zamm.201100189

By:

Bürger, Raimund;
Mulet, Pep;
Villada, Luis Miguel

Publication type:

Article

Instantaneous closed loop control of the radiative transfer equations with applications in radiotherapy.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2012, v. 92, n. 1, p. 8, doi. 10.1002/zamm.201000191

By:

Frank, M.;
Herty, M.;
Hinze, M.

Publication type:

Article

A generalization of the Helmholtz conditions for the existence of a first-order Lagrangian<FNR></FNR><FN>This work has been supported by the German Science Foundation (DFG) under contract No. Ma 1505/26 </FN>.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2006, v. 86, n. 9, p. 722, doi. 10.1002/zamm.200510278

By:

Kielau, Gerald;
Maißer, Peter

Publication type:

Article

El uso de Prolog en el aula: de lógica a inteligencia artificial.

Published in:

Revista Vínculos, 2013, v. 10, n. 2, p. 289

By:

Gil Suárez, Sonia Milena;
Martínez Buitrago, Diana Isabel

Publication type:

Article

Recognising archaeological food remains: archaeobotanical case studies from Bulgaria.

Published in:

Bulgarian e-Journal of Archaeology, 2019, v. 9, n. 2, p. 181

By:

Hristova, Ivanka;
Marinova, Elena;
Heiss, Andreas G.;
Papadopoulou, Lambrini;
Nikolov, Vassil;
Popov, Hristo;
Iliev, Stanislav;
Valamoti, Soultana Maria

Publication type:

Article

Characterising Context-Independent Quantifiers and Inferences.

Published in:

Studia Humana, 2024, v. 13, n. 2, p. 1, doi. 10.2478/sh-2024-0007

By:

Krajewski, Stanisław

Publication type:

Article

The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions).

Published in:

Studia Humana, 2020, v. 9, n. 3/4, p. 19, doi. 10.2478/sh-2020-0026

By:

Beziau, Jean-Yves

Publication type:

Article

FIRST-ORDER PARTIAL DIFFERENTIAL EQUATIONS AND CONSUMER THEORY.

Published in:

Discrete & Continuous Dynamical Systems - Series S, 2018, v. 11, n. 6, p. 1143, doi. 10.3934/dcdss.2018065

By:

Hosoya, Yuhki

Publication type:

Article

INTEGRATING FACTORS AND CONSERVATION LAWS FOR SOME CAMASSA-HOLM TYPE EQUATIONS.

Published in:

Communications on Pure & Applied Analysis, 2012, v. 11, n. 4, p. 1421, doi. 10.3934/cpaa.2012.11.1421

By:

Euler, Marianna;
Euler, Norbert

Publication type:

Article

First-order optimality conditions and duality results for multi-objective optimisation problems.

Published in:

Annals of Operations Research, 2009, v. 172, n. 1, p. 277, doi. 10.1007/s10479-009-0607-3

By:

Askar, S. S.;
Tiwari, A.

Publication type:

Article

Simple kinetic models to explain the change in dislocation activity of crystals during a growth process.

Published in:

Philosophical Magazine Letters, 2009, v. 89, n. 10, p. 599, doi. 10.1080/09500830903196653

By:

Vasanth Kumar, K.

Publication type:

Article

A PT -Symmetric Dual-Core System with the Sine-Gordon Nonlinearity and Derivative Coupling.

Published in:

Symmetry (20738994), 2016, v. 8, n. 6, p. 39, doi. 10.3390/sym8060039

By:

Cuevas-Maraver, Jesús;
Malomed, Boris A.;
Kevrekidis, Panayotis G.

Publication type:

Article

LIE THEOREM ON INTEGRATING FACTOR FOR POLYNOMIAL DIFFERENTIAL SYSTEMS.

Published in:

ROMAI Journal, 2013, v. 9, n. 1, p. 123

By:

Orlov, Victor

Publication type:

Article

Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values.

Published in:

Scientific Annals of Computer Science, 2023, v. 33, n. 2, p. 159, doi. 10.7561/SACS.2023.2.159

By:

MIDDELBURG, C. A.

Publication type:

Article

A MODEL THEORY FOR THE POTENTIAL INFINITE.

Published in:

Reports on Mathematical Logic, 2022, n. 57, p. 3, doi. 10.4467/20842589RM.22.001.16658

By:

EBERL, Matthias

Publication type:

Article

TABLEAU-BASED TRANSLATION FROM FIRST-ORDER LOGIC TO MODAL LOGIC.

Published in:

Reports on Mathematical Logic, 2021, n. 56, p. 57, doi. 10.4467/20842589rm.21.003.14375

By:

PERKOV, Tin;
MIKEC, Luka

Publication type:

Article

Dynamic Modeling and Analysis of Hub-Tapered Beam System.

Published in:

Advances in Mechanical Engineering (Sage Publications Inc.), 2013, v. 5, p. 1, doi. 10.1155/2013/313279

By:

Si-jia Chen;
Ding-guo Zhang

Publication type:

Article

Nelson's Stochastic Mechanics by Means of Feynman Path Integrals.

Published in:

Modern Physics Letters B, 2000, v. 14, n. 3, p. 73, doi. 10.1142/S0217984900000124

By:

Botelho, Luiz C. L.

Publication type:

Article

Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 2/3, p. 183, doi. 10.1142/S0129054123440021

By:

Henriksson, Viktor;
Kufleitner, Manfred

Publication type:

Article

The entropy rate of Linear Additive Markov Processes.

Published in:

PLoS ONE, 2024, v. 19, n. 4, p. 1, doi. 10.1371/journal.pone.0295074

By:

Smart, Bridget;
Roughan, Matthew;
Mitchell, Lewis

Publication type:

Article

Integrating the conceptual domains of social commerce: a meta-theoretical perspective.

Published in:

International Review of Retail, Distribution & Consumer Research, 2014, v. 24, n. 4, p. 361, doi. 10.1080/09593969.2014.880935

By:

Williams, David E.

Publication type:

Article

Can First-Order Logical Truth be Defined in Purely Extensional Terms?

Published in:

British Journal for the History of Philosophy, 2014, v. 22, n. 2, p. 343, doi. 10.1080/09608788.2014.891195

By:

Ebbs, Gary

Publication type:

Article

Modal Pluralism and Higher‐Order Logic.

Published in:

Philosophical Perspectives, 2022, v. 36, n. 1, p. 31, doi. 10.1111/phpe.12165

By:

Clarke‐Doane, Justin;
McCarthy, William

Publication type:

Article

RADICAL ANTI‐DISQUOTATIONALISM.

Published in:

Philosophical Perspectives, 2018, v. 32, n. 1, p. 41, doi. 10.1111/phpe.12109

By:

Bacon, Andrew

Publication type:

Article

DEFLATIONISM AND THE FUNCTION OF TRUTH.

Published in:

Philosophical Perspectives, 2018, v. 32, n. 1, p. 326, doi. 10.1111/phpe.12113

By:

Picollo, Lavinia;
Schindler, Thomas

Publication type:

Article

Evidences of the Instability Fixed Points of First-Order Phase Transitions.

Published in:

Journal of Statistical Physics, 2011, v. 143, n. 6, p. 1136, doi. 10.1007/s10955-011-0225-8

By:

Shuangli Fan;
Fan Zhong

Publication type:

Article

Hintikka's Logical Revolution.

Published in:

Frontiers of Philosophy in China, 2019, v. 14, n. 4, p. 630, doi. 10.3868/s030-008-019-0037-9

By:

XU Difei

Publication type:

Article

Toward model-theoretic modal logics.

Published in:

Frontiers of Philosophy in China, 2010, v. 5, n. 2, p. 294, doi. 10.1007/s11466-010-0017-2

By:

Ma Minghui

Publication type:

Article

John Cage's Silent Piece and the Japanese gardening technique of shakkei: Formalizing Whittington's conjecture through conceptual graphs.

Published in:

Journal of Mathematics & Music, 2019, v. 13, n. 1, p. 4, doi. 10.1080/17459737.2019.1605412

By:

Fowler, Michael D.

Publication type:

Article

Linear notation for existential graphs.

Published in:

Semiotica, 2011, v. 2011, n. 186, p. 129, doi. 10.1515/semi.2011.049

By:

Hammer, Eric

Publication type:

Article

Ligatures in Peirce's existential graphs.

Published in:

Semiotica, 2011, v. 2011, n. 186, p. 89, doi. 10.1515/semi.2011.047

By:

Dau, Frithjof

Publication type:

Article

Modelling and Searching of Combinatorial Spaces Based on Markov Logic Networks.

Published in:

Journal of Algorithms & Computational Technology, 2011, v. 5, n. 2, p. 289, doi. 10.1260/1748-3018.5.2.289

By:

Biba, Marenglen;
Ferilli, Stefano;
Esposito, Floriana

Publication type:

Article

On qualitative analysis of delay systems and x = f( t, x, x) on time scales.

Published in:

Proceedings of the Indian Academy of Sciences: Mathematical Sciences, 2010, v. 120, n. 2, p. 249, doi. 10.1007/s12044-010-0017-0

By:

Yajun Ma;
Yu Zhang;
Jitao Sun

Publication type:

Article

Expressive Power of Abstract Meaning Representations.

Published in:

Computational Linguistics, 2016, v. 42, n. 3, p. 527, doi. 10.1162/COLI_a_00257

By:

Bos, Johan

Publication type:

Article

Hilbert's Tenth Problem over function fields of positive characteristic not containing the algebraic closure of a finite field.

Published in:

Journal of the European Mathematical Society (EMS Publishing), 2017, v. 19, n. 7, p. 2103, doi. 10.4171/JEMS/714

By:

Eisenträger, Kirsten;
Shlapentokh, Alexandra

Publication type:

Article

On Whitening the Grey Parameters of Grey Power Model.

Published in:

Journal of Grey System, 2011, v. 23, n. 3, p. 223

By:

Wang Zheng-Xin;
Dang Yao-Guo;
Li Xue-Mei

Publication type:

Article

A TEDIOUS PROBLEM FROM MONADIC LOGIC (CONTINUED).

Published in:: Diagram, 2023, v. 23, n. 6, p. 1
Publication type:: Article

A Generalized Decision Support System Using Predicate Calculus and Network Data Base Management.

Published in:

Operations Research, 1981, v. 29, n. 2, p. 263, doi. 10.1287/opre.29.2.263

By:

Bonczek, Robert H.;
Clyde W. Holsapple;
Andrew B. Whinston

Publication type:

Article

An argumentation framework for description logic ontology reasoning and management.

Published in:

Journal of Intelligent Information Systems, 2013, v. 40, n. 3, p. 375, doi. 10.1007/s10844-012-0230-7

By:

Zhang, Xiaowang;
Lin, Zuoquan

Publication type:

Article

Discretization of semilinear bang-singular-bang control problems.

Published in:

Computational Optimization & Applications, 2016, v. 64, n. 1, p. 295, doi. 10.1007/s10589-015-9800-2

By:

Felgenhauer, Ursula

Publication type:

Article

A sparsity preserving stochastic gradient methods for sparse regression.

Published in:

Computational Optimization & Applications, 2014, v. 58, n. 2, p. 455, doi. 10.1007/s10589-013-9633-9

By:

Lin, Qihang;
Chen, Xi;
Peña, Javier

Publication type:

Article

Numerical experiments with an inexact Jacobian trust-region algorithm.

Published in:

Computational Optimization & Applications, 2011, v. 48, n. 2, p. 255, doi. 10.1007/s10589-009-9247-4

By:

Walther, Andrea;
Biegler, Lorenz T.

Publication type:

Article

Verification supported refactoring of embedded sql.

Published in:

Software Quality Journal, 2021, v. 29, n. 3, p. 629, doi. 10.1007/s11219-020-09517-y

By:

Spasić, Mirko;
Janičić, Milena Vujošević

Publication type:

Article

Guest editor's introduction to the special section on tests and proofs.

Published in:

2013

By:

Fraser, Gordon;
Gargantini, Angelo

Publication type:

Editorial

A framework for testing first-order logic axioms in program verification.

Published in:

Software Quality Journal, 2013, v. 21, n. 1, p. 159, doi. 10.1007/s11219-011-9168-1

By:

Ahn, Ki;
Denney, Ewen

Publication type:

Article

Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.

Published in:

Software Quality Journal, 2013, v. 21, n. 1, p. 101, doi. 10.1007/s11219-011-9148-5

By:

Blanchette, Jasmin

Publication type:

Article

Disaster waste clean-up system performance subject to time-dependent disaster waste accumulation.

Published in:

Natural Hazards, 2018, v. 91, n. 2, p. 717, doi. 10.1007/s11069-017-3151-5

By:

Cheng, Cheng;
Zhang, Lihai;
Thompson, Russell George

Publication type:

Article