Works matching DE "FINITE model theory"

Results: 250

CONTENTS OF VOLUME 30.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. i, doi. 10.1017/bsl.2025.11
Publication type:: Article

Submajorization inequalities of τ-measurable operators for concave and convex functions.

Published in:

Positivity, 2015, v. 19, n. 2, p. 341, doi. 10.1007/s11117-014-0300-x

By:

Bekjan, Turdebek;
Dauitbek, Dostilek

Publication type:

Article

Strict p-negative type of a metric space.

Published in:

Positivity, 2010, v. 14, n. 3, p. 529, doi. 10.1007/s11117-009-0035-2

By:

Hanfeng Li;
Weston, Anthony

Publication type:

Article

On some vector lattices of operators and their finite elements.

Published in:

Positivity, 2009, v. 13, n. 1, p. 145, doi. 10.1007/s11117-008-2175-1

By:

Hahn, Norbert;
Hahn, Siegfried;
Weber, Martin

Publication type:

Article

Strain gradient finite element model for finite deformation theory: size effects and shear bands.

Published in:

Computational Mechanics, 2020, v. 65, n. 5, p. 1219, doi. 10.1007/s00466-020-01816-2

By:

Song, Yooseob;
Voyiadjis, George Z.

Publication type:

Article

THE LIKELIHOOD RATIO TEST FOR GENERAL MIXTURE MODELS WITH OR WITHOUT STRUCTURAL PARAMETER.

Published in:

ESAIM: Probability & Statistics, 2009, v. 13, n. 4, p. 301, doi. 10.1051/ps:2008010

By:

Azaïs, Jean-Marc;
Gassiat, Élisabeth;
Mercadier, Cécile

Publication type:

Article

An alternate approach for transient flow modeling in urban drainage systems.

Published in:

Water Resources Management, 2007, v. 21, n. 7, p. 1225, doi. 10.1007/s11269-006-9078-3

By:

Sreeja, P.;
Gupta, Kapil

Publication type:

Article

Common natures of finite modes in Spinoza's Ethics.

Published in:

Cogent Arts & Humanities, 2016, v. 3, n. 1, p. 1, doi. 10.1080/23311983.2016.1190438

By:

Stephenson, Erik;
Fosl, Peter Stanley

Publication type:

Article

The Power of a Propositional Constant.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 1, p. 133, doi. 10.1007/s10992-012-9256-0

By:

Goldblatt, Robert;
Kowalski, Tomasz

Publication type:

Article

Degeneracy and generalized solutions of optimal control problems.

Published in:

Control & Cybernetics, 2010, v. 39, n. 4, p. 1341

By:

Gurman, Vladimir I.

Publication type:

Article

On extensions of Sobolev functions on the wiener space.

Published in:

Doklady Mathematics, 2013, v. 87, n. 1, p. 58, doi. 10.1134/S1064562413010225

By:

Bogachev, V.;
Shaposhnikov, A.

Publication type:

Article

An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 6, p. 802, doi. 10.1017/S1471068421000314

By:

WEITKÄMPER, FELIX Q.

Publication type:

Article

BLOW UP FOR INITIAL BOUNDARY VALUE PROBLEM OF CRITICAL SEMILINEAR WAVE EQUATION IN TWO SPACE DIMENSIONS.

Published in:

Communications on Pure & Applied Analysis, 2018, v. 17, n. 4, p. 1499, doi. 10.3934/cpaa.2018072

By:

Lai, Ning-An;
Zhou, Yi

Publication type:

Article

Composite disturbance- observer- based control and variable structure control for non-linear systems with disturbances.

Published in:

Transactions of the Institute of Measurement & Control, 2009, v. 31, n. 5, p. 401, doi. 10.1177/0142331208099282

By:

Xinjiang Wei;
Huifeng Zhang;
Lei Guo

Publication type:

Article

ON THE USE OF KÜLSHAMMER TYPE INVARIANTS IN REPRESENTATION THEORY.

Published in:

Bulletin of the Iranian Mathematical Society, 2011, v. 37, n. 2, p. 291

By:

ZIMMERMANN, A.

Publication type:

Article

Consistency of minimizing a penalized density power divergence estimator for mixing distribution.

Published in:

Statistical Papers, 2009, v. 50, n. 1, p. 67, doi. 10.1007/s00362-007-0062-7

By:

Taewook Lee;
Sangyeol Lee

Publication type:

Article

NUMERICAL MODEL AND ANALISIS OF OPTICAL FIBERS WITH INTERNAL ELECTRODES.

Published in:

Revista Colombiana de Física, 2006, v. 38, n. 1, p. 173

By:

Vélez, F. J.;
Aristizabal, V. H.;
Tortes, P.

Publication type:

Article

Spin Structures of the Hubbard Clusters and the Pseudogap.

Published in:

Journal of Superconductivity & Novel Magnetism, 2013, v. 26, n. 9, p. 2845, doi. 10.1007/s10948-013-2218-0

By:

Ovchinnikova, M.

Publication type:

Article

Spinoza’s Critique of Humility in the Ethics.

Published in:

Southern Journal of Philosophy, 2018, v. 56, n. 3, p. 342, doi. 10.1111/sjp.12292

By:

Soyarslan, Sanem

Publication type:

Article

Finite Element and Density Functional Theory Modeling Effectively Predict Pitting Degradation of Hydroxyapatite‐Coated Pure Magnesium.

Published in:

Journal of Biomedical Materials Research, Part B: Applied Biomaterials, 2024, v. 112, n. 12, p. 1, doi. 10.1002/jbm.b.35519

By:

Dunne, Reese A.;
Dickel, Doyl E.;
Green, Addison M.;
Kim, Dam;
Priddy, Lauren B.;
Priddy, Matthew W.

Publication type:

Article

Modelling irregular and multimodal tree diameter distributions by finite mixture models: an approach to stand structure characterisation.

Published in:

Journal of Forest Research, 2012, v. 17, n. 1, p. 79, doi. 10.1007/s10310-011-0254-9

By:

Jaworski, Andrzej;
Podlaski, Rafał

Publication type:

Article

M-Zeroids: Structure and Categorical Equivalence.

Published in:

Studia Logica, 2012, v. 100, n. 5, p. 975, doi. 10.1007/s11225-012-9444-5

By:

Palmatier, Joshua;
Guzman, Fernando

Publication type:

Article

Stochastic finite-fault modeling of M 5.4 earthquake along Uttarakhand-Nepal border.

Published in:

Natural Hazards, 2015, v. 75, n. 2, p. 1145, doi. 10.1007/s11069-014-1367-1

By:

Mittal, Himanshu;
Kumar, Ashok

Publication type:

Article

On the Dirichlet's box principle.

Published in:

International Journal of Mathematical Education in Science & Technology, 2008, v. 39, n. 6, p. 833, doi. 10.1080/00207390801986924

By:

Poon, Kin-Keung;
Shiu, Wai-Chee

Publication type:

Article

24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017.

Published in:

2021

By:

Kennedy, Juliette;
de Queiroz, Ruy

Publication type:

Editorial

Typical automorphism groups of finite nonrigid structures.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 571, doi. 10.1007/s00153-015-0428-9

By:

Koponen, Vera

Publication type:

Article

A note on definability in fragments of arithmetic with free unary predicates.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 5/6, p. 507, doi. 10.1007/s00153-013-0328-9

By:

Speranski, Stanislav

Publication type:

Article

On involutive FL-monoids.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 719, doi. 10.1007/s00153-012-0295-6

By:

Jenei, Sándor;
Ono, Hiroakira

Publication type:

Article

Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 5/6, p. 661, doi. 10.1007/s00153-012-0290-y

By:

Bezhanishvili, Guram;
Lucero-Bryan, Joel

Publication type:

Article

On vectorizations of unary generalized quantifiers.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 3/4, p. 241, doi. 10.1007/s00153-011-0262-7

By:

Luosto, Kerkko

Publication type:

Article

External automorphisms of ultraproducts of finite models.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 3/4, p. 433, doi. 10.1007/s00153-012-0271-1

By:

Lücke, Philipp;
Shelah, Saharon

Publication type:

Article

Entropy of formulas.

Published in:

Archive for Mathematical Logic, 2009, v. 48, n. 6, p. 515, doi. 10.1007/s00153-009-0135-5

By:

Koponen, Vera

Publication type:

Article

Axiomatic Equilibrium Selection for Generic Two-Player Games.

Published in:

Econometrica, 2012, v. 80, n. 4, p. 1639, doi. 10.3982/ECTA9579

By:

Govindan, Srihari;
Wilson, Robert

Publication type:

Article

NONPARAMETRIC IDENTIFICATION OF FINITE MIXTURE MODELS OF DYNAMIC DISCRETE CHOICES.

Published in:

Econometrica, 2009, v. 77, n. 1, p. 135, doi. 10.3982/ECTA6763

By:

KASAHARA, HIROYUKI;
SHIMOTSUI, KATSUMI

Publication type:

Article

Limitations of the invertible-map equivalences.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 5, p. 961, doi. 10.1093/logcom/exac058

By:

Dawar, Anuj;
Grädel, Erich;
Lichter, Moritz

Publication type:

Article

Relating structure and power: Comonadic semantics for computational resources.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 6, p. 1390, doi. 10.1093/logcom/exab048

By:

Abramsky, Samson;
Shah, Nihil

Publication type:

Article

A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 7, p. 1331, doi. 10.1093/logcom/exaa040

By:

Bezhanishvili, Nick;
Henke, Tim

Publication type:

Article

On the connections between |$wtt$| - and |$Q$| -reducibilities.

Published in:

Journal of Logic & Computation, 2019, v. 29, n. 1, p. 37, doi. 10.1093/logcom/exy036

By:

Omanadze, Roland Sh

Publication type:

Article

Methods of class field theory to separate logics over finite residue classes and circuit complexity.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 1987, doi. 10.1093/logcom/exx007

By:

ARRATIA, ARGIMIRO;
ORTIZ, CARLOS E.

Publication type:

Article

One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2135, doi. 10.1093/logcom/exw029

By:

BEZHANISHVILI, NICK;
GHILARDI, SILVIO;
LAURIDSEN, FREDERIK MÖLLERSTRÖM

Publication type:

Article

An axiomatization of ECTL.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 1, p. 117, doi. 10.1093/logcom/ext005

By:

Kashima, Ryo

Publication type:

Article

The d-logic of the real line.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 121, doi. 10.1093/logcom/exr054

By:

Lucero-Bryan, Joel Gregory

Publication type:

Article

Expressing versus Proving: Relating Forms of Complexity in Logic.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 2, p. 267, doi. 10.1093/logcom/exq008

By:

Kolokolova, Antonina

Publication type:

Article

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 1, p. 77, doi. 10.1093/logcom/exn061

By:

BAUMGARTNER, PETER;
FURBACH, ULRICH;
PELZER, BJÖRN

Publication type:

Article

Linear Temporal Logic ℒℒK extended by Multi-Agent Logic Kn with Interacting Agents.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 6, p. 989, doi. 10.1093/logcom/exp027

By:

RYBAKOV, VLADIMIR

Publication type:

Article

Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 1, p. 217, doi. 10.1093/logcom/exn025

By:

STEWART, IAIN A.

Publication type:

Article

Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 2, p. 177, doi. 10.1093/logcom/exi056

By:

Bezhanishvili, Nick;
Cate, Balder Ten

Publication type:

Article

A Hybrid Intuitionistic Logic: Semantics and Decidability.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 1, p. 27, doi. 10.1093/logcom/exi071

By:

Chadha, Rohit;
Macedonio, Damiano;
Sassone, Vladimiro

Publication type:

Article

On the Complexity of the First‐order Random Theory.

Published in:

Journal of Logic & Computation, 2003, v. 13, n. 2, p. 261, doi. 10.1093/logcom/13.2.261

By:

Lotfallah, Wafik Boulos

Publication type:

Article

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 5, p. 809, doi. 10.1093/logcom/12.5.809

By:

STURM, HOLGER;
WOLTER, FRANK

Publication type:

Article