Works matching DE "COMPLETENESS theorem"
Results: 842
The Goal after Tomorrow: Offline Goal Reasoning with Norms.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 1703, doi. 10.1613/jair.1.15566
- By:
- Publication type:
- Article
COMPLETENESS THEOREMS IN THE UNIFORM NORM CONNECTED TO ELLIPTIC EQUATIONS OF HIGHER ORDER WITH CONSTANT COEFFICIENTS.
- Published in:
- Analysis & Applications, 2012, v. 10, n. 1, p. 1, doi. 10.1142/S0219530512500017
- By:
- Publication type:
- Article
Incommensurability and the first fundamental welfare theorem.
- Published in:
- Oxford Economic Papers, 2005, v. 57, n. 4, p. 664, doi. 10.1093/oep/gpi030
- By:
- Publication type:
- Article
Deep cascaded action attention network for weakly-supervised temporal action localization.
- Published in:
- Multimedia Tools & Applications, 2023, v. 82, n. 19, p. 29769, doi. 10.1007/s11042-023-14670-0
- By:
- Publication type:
- Article
Modelling as a Tool for Cross-border Analysis of the Position of Insolvency Office Holders.
- Published in:
- International Insolvency Review, 2016, v. 25, n. 3, p. 167, doi. 10.1002/iir.1259
- By:
- Publication type:
- Article
Collapsibility to a Subcomplex of a Given Dimension is NP-Complete.
- Published in:
- Discrete & Computational Geometry, 2018, v. 59, n. 1, p. 246, doi. 10.1007/s00454-017-9915-6
- By:
- Publication type:
- Article
Minimum Manhattan Network is NP-Complete.
- Published in:
- Discrete & Computational Geometry, 2011, v. 45, n. 4, p. 701, doi. 10.1007/s00454-011-9342-z
- By:
- Publication type:
- Article
Entropy NOR: Early Functional Completeness in Entropy Networks.
- Published in:
- Fluctuation & Noise Letters, 2016, v. 15, n. 1, p. -1, doi. 10.1142/S0219477516500048
- By:
- Publication type:
- Article
Congruence Convergence in Pp-Wave Space-Time.
- Published in:
- Theoretical & Mathematical Physics, 2018, v. 195, n. 2, p. 729, doi. 10.1134/S0040577918050082
- By:
- Publication type:
- Article
Classification of Novikov Complete Logics with Extra Logical Constants.
- Published in:
- Algebra & Logic, 2003, v. 42, n. 3, p. 207, doi. 10.1023/A:1023992710944
- By:
- Publication type:
- Article
From Capstan to Coal Mine with a Bean Can.
- Published in:
- Teaching Mathematics & its Applications, 1998, v. 17, n. 3, p. 112, doi. 10.1093/teamat/17.3.112
- By:
- Publication type:
- Article
On derivations of Leibniz algebras.
- Published in:
- Electronic Research Archive, 2024, v. 32, n. 7, p. 1, doi. 10.3934/era.2024214
- By:
- Publication type:
- Article
Beyond validation: Using programmed diagnostics to learn about, monitor, and successfully complete your DH project.
- Published in:
- Digital Scholarship in the Humanities, 2019, v. 34, p. i100, doi. 10.1093/llc/fqz011
- By:
- Publication type:
- Article
A short-note on 'Common fixed point theorems for non-compatible self-maps in generalized metric spaces'.
- Published in:
- Journal of Inequalities & Applications, 2015, v. 2015, n. 1, p. 1, doi. 10.1186/s13660-015-0579-6
- By:
- Publication type:
- Article
Attribute dependencies for data with grades I.
- Published in:
- International Journal of General Systems, 2016, v. 45, n. 7/8, p. 864, doi. 10.1080/03081079.2016.1205711
- By:
- Publication type:
- Article
Continuity and completeness of lattice-valued possibilistic measures.
- Published in:
- International Journal of General Systems, 2006, v. 35, n. 5, p. 555, doi. 10.1080/03081070600687700
- By:
- Publication type:
- Article
Modelling of extremal fuzzy dynamic systems: Part V. Optimization of continuous controllable extremal fuzzy processes and the choice of decisions.
- Published in:
- International Journal of General Systems, 2006, v. 35, n. 5, p. 529, doi. 10.1080/03081070600687684
- By:
- Publication type:
- Article
A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 11, p. 2504, doi. 10.3390/math11112504
- By:
- Publication type:
- Article
Commutativity and Completeness Degrees of Weakly Complete Hypergroups.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 6, p. 981, doi. 10.3390/math10060981
- By:
- Publication type:
- Article
On the Correlation between Banach Contraction Principle and Caristi's Fixed Point Theorem in b -Metric Spaces.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 1, p. 136, doi. 10.3390/math10010136
- By:
- Publication type:
- Article
A GENERALIZED COMMON FIXED POINT THEOREM UNDER AN IMPLICIT RELATION.
- Published in:
- Demonstratio Mathematica, 2018, v. 51, n. 1, p. 91, doi. 10.1515/dema-2015-0009
- By:
- Publication type:
- Article
COINCIDENCE AND FIXED POINT FOR WEAKLY RECIPROCALLY CONTINUOUS SINGLE-VALUED AND MULTI-VALUED MAPS.
- Published in:
- Demonstratio Mathematica, 2018, v. 51, n. 1, p. 704, doi. 10.2478/dema-2014-0056
- By:
- Publication type:
- Article
An algebraic study of the logic S5'(BL).
- Published in:
- Mathematica Slovaca, 2022, v. 72, n. 6, p. 1447, doi. 10.1515/ms-2022-0098
- By:
- Publication type:
- Article
Completeness of Some Commutative Subalgebras Associated with Nijenhuis Operators on Lie Algebras.
- Published in:
- Doklady Mathematics, 2018, v. 97, n. 2, p. 137, doi. 10.1134/S1064562418020096
- By:
- Publication type:
- Article
On the completeness of systems of root vectors for first-order systems: Application to the Regge problem.
- Published in:
- Doklady Mathematics, 2013, v. 88, n. 3, p. 678, doi. 10.1134/S1064562413060148
- By:
- Publication type:
- Article
A criterion for the decidability of the A-completeness problem for definite automata.
- Published in:
- Doklady Mathematics, 2011, v. 84, n. 1, p. 447, doi. 10.1134/S1064562411040065
- By:
- Publication type:
- Article
On the completeness of the root vectors of first-order systems.
- Published in:
- Doklady Mathematics, 2010, v. 82, n. 3, p. 899, doi. 10.1134/S1064562410060165
- By:
- Publication type:
- Article
NP-Completeness of the integer balancing problem for a three-dimensional matrix.
- Published in:
- Doklady Mathematics, 2010, v. 82, n. 3, p. 912, doi. 10.1134/S1064562410060190
- By:
- Publication type:
- Article
Loaded sectioned space elevator.
- Published in:
- Cosmic Research, 2015, v. 53, n. 3, p. 230, doi. 10.1134/S0010952515030065
- By:
- Publication type:
- Article
On interpolative Hardy-Rogers contractive of Suzuki type mappings.
- Published in:
- Topological Algebra & its Applications, 2021, v. 9, n. 1, p. 13, doi. 10.1515/taa-2020-0102
- By:
- Publication type:
- Article
Quantum computational finance for martingale asset pricing in incomplete markets.
- Published in:
- Scientific Reports, 2024, v. 14, n. 1, p. 1, doi. 10.1038/s41598-024-68838-1
- By:
- Publication type:
- Article
Completeness criterion with respect to the enumeration closure operator in the three-valued logic.
- Published in:
- Discrete Mathematics & Applications, 2022, v. 32, n. 2, p. 105, doi. 10.1515/dma-2022-0010
- By:
- Publication type:
- Article
Maximum subclasses in classes of linear automata over finite fields.
- Published in:
- Discrete Mathematics & Applications, 2020, v. 30, n. 6, p. 365, doi. 10.1515/dma-2020-0034
- By:
- Publication type:
- Article
The complexity of checking the polynomial completeness of finite quasigroups.
- Published in:
- Discrete Mathematics & Applications, 2020, v. 30, n. 3, p. 169, doi. 10.1515/dma-2020-0016
- By:
- Publication type:
- Article
Completeness problem for the class of linear automata functions.
- Published in:
- Discrete Mathematics & Applications, 2016, v. 26, n. 2, p. 89, doi. 10.1515/dma-2016-0007
- By:
- Publication type:
- Article
The algorithm for completeness recognizing in function algebra L(ℤ).
- Published in:
- Discrete Mathematics & Applications, 2014, v. 24, n. 1, p. 21, doi. 10.1515/dma-2014-0003
- By:
- Publication type:
- Article
The completeness criterion for some systems containing P-sets of automaton functions.
- Published in:
- Discrete Mathematics & Applications, 2013, v. 23, n. 3/4, p. 327, doi. 10.1515/dma-2013-023
- By:
- Publication type:
- Article
The completeness problem in the function algebra of linear integer-coefficient polynomials.
- Published in:
- Discrete Mathematics & Applications, 2010, v. 20, n. 5-6, p. 621, doi. 10.1515/DMA.2010.038
- By:
- Publication type:
- Article
On completeness and A-completeness of S-sets of determinate functions containing all one-place determinate S-functions.
- Published in:
- Discrete Mathematics & Applications, 2009, v. 19, n. 3, p. 263, doi. 10.1515/DMA.2009.015
- By:
- Publication type:
- Article
Efficient recognition of completeness of systems of automaton functions with compete Boolean part.
- Published in:
- Discrete Mathematics & Applications, 2003, v. 13, n. 1, p. 63, doi. 10.1515/156939203321669564
- By:
- Publication type:
- Article
Neural Excitability and Singular Bifurcations.
- Published in:
- Journal of Mathematical Neuroscience, 2015, v. 5, p. 1, doi. 10.1186/s13408-015-0029-2
- By:
- Publication type:
- Article
The Use of Snyder Synthetic Hydrograph for Simulation of Overland Flow in Small Ungauged and Gauged Catchments.
- Published in:
- Soil & Water Research, 2018, v. 13, n. 4, p. 185, doi. 10.17221/237/2017-SWR
- By:
- Publication type:
- Article
Probabilistic Unawareness.
- Published in:
- Games (20734336), 2016, v. 7, n. 4, p. 38, doi. 10.3390/g7040038
- By:
- Publication type:
- Article
A Comparison of Internet Protocol (IPv6) Security Guidelines.
- Published in:
- Future Internet, 2014, v. 6, n. 1, p. 1, doi. 10.3390/fi6010001
- By:
- Publication type:
- Article
On Eigenfunctions and Eigenvalues of a Nonlocal Laplace Operator with Multiple Involution.
- Published in:
- Symmetry (20738994), 2021, v. 13, n. 10, p. 1781, doi. 10.3390/sym13101781
- By:
- Publication type:
- Article
A Proof of the Standard Completeness for the Involutive Uninorm Logic.
- Published in:
- Symmetry (20738994), 2019, v. 11, n. 4, p. 445, doi. 10.3390/sym11040445
- By:
- Publication type:
- Article
Framework for a Symmetric Integration Approach.
- Published in:
- Symmetry (20738994), 2019, v. 11, n. 2, p. 224, doi. 10.3390/sym11020224
- By:
- Publication type:
- Article
Randomized clinical trials with run-in periods: frequency, characteristics and reporting.
- Published in:
- Clinical Epidemiology, 2019, v. 11, p. 169, doi. 10.2147/CLEP.S188752
- By:
- Publication type:
- Article
Completitud y continuidad en Fundamentos de la geometría de Hilbert: acerca del Vollständigkeitsaxiom.
- Published in:
- Theoria: An International Journal for Theory, History & Foundations of Science, 2013, v. 28, n. 1, p. 139, doi. 10.1387/theoria.4544
- By:
- Publication type:
- Article
Beltrami's completeness for p symmetric matrix fields.
- Published in:
- Mathematical Models & Methods in Applied Sciences, 2022, v. 32, n. 6, p. 1251, doi. 10.1142/S0218202522500282
- By:
- Publication type:
- Article