Works matching DE "ELIMINATION (Mathematics)"
Results: 187
Relationships Between Two Approaches: Rigged Configurations and 10-Eliminations.
- Published in:
- Letters in Mathematical Physics, 2009, v. 89, n. 1, p. 51, doi. 10.1007/s11005-009-0318-3
- By:
- Publication type:
- Article
Simultaneous backward stability of Gauss and Gauss–Jordan elimination.
- Published in:
- Numerical Linear Algebra with Applications, 2003, v. 10, n. 4, p. 317, doi. 10.1002/nla.299
- By:
- Publication type:
- Article
A Multigrid Method Based on Incomplete Gaussian Elimination.
- Published in:
- Numerical Linear Algebra with Applications, 1996, v. 3, n. 5, p. 369, doi. 10.1002/(SICI)1099-1506(199609/10)3:5<369::AID-NLA89>3.0.CO;2-M
- By:
- Publication type:
- Article
A branch-and-bound parallel algorithm for single-machine total weighted tardiness problem.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2008, v. 37, n. 9-10, p. 996, doi. 10.1007/s00170-007-1023-y
- By:
- Publication type:
- Article
Groupoids, imaginaries and internal covers.
- Published in:
- Turkish Journal of Mathematics, 2012, v. 36, n. 2, p. 173, doi. 10.3906/mat-1001-91
- By:
- Publication type:
- Article
A SEQUENTIAL PROCEDURE WITH ELIMINATION FOR PARTITIONING A SET OF NORMAL POPULATIONS HAVING A COMMON UNKNOWN VARIANCE.
- Published in:
- Sequential Analysis, 2001, v. 20, n. 4, p. 279, doi. 10.1081/SQA-100107649
- By:
- Publication type:
- Article
Synthesis and Dehydrobromination of 3-Bromomethyl- and 3-Bromo-3-methoxymethylcyclobutane-1-carbonitriles and Methyl 3-Bromomethyl- and 3-Bromo-3-methoxymethylcyclobutane-1-carboxylates.
- Published in:
- Russian Journal of Organic Chemistry, 2003, v. 39, n. 1, p. 40, doi. 10.1023/A:1023486427682
- By:
- Publication type:
- Article
Multi-focused cut elimination.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 5, p. 614, doi. 10.1017/S0960129516000451
- By:
- Publication type:
- Article
Detecting Causal Chains in Small-n Data.
- Published in:
- Field Methods, 2013, v. 25, n. 1, p. 3, doi. 10.1177/1525822X12462527
- By:
- Publication type:
- Article
Effects of ultraviolet (UV) exclusion on the seasonal concentration of photosynthetic and UV-screening pigments in Scots pine needles.
- Published in:
- Global Change Biology, 2007, v. 13, n. 1, p. 252, doi. 10.1111/j.1365-2486.2006.01275.x
- By:
- Publication type:
- Article
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2271, doi. 10.1093/logcom/exx006
- By:
- Publication type:
- Article
ADC method of proof search for intuitionistic propositional natural deduction.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 395, doi. 10.1093/logcom/ext032
- By:
- Publication type:
- Article
Feature Selection Model Development on Near-Infrared Spectroscopy Data, Case Study of Beef Freshness Quality Prediction.
- Published in:
- International Journal of Advanced Computer Science & Applications, 2024, v. 15, n. 1, p. 645, doi. 10.14569/ijacsa.2024.0150163
- By:
- Publication type:
- Article
METHOD FOR IMPROVEMENT OF PARAMETER'S PRECISION USED ON HYDROLOGICAL SYNTHESIS IN THE ROMANIAN SIDE OF THE PRUT BASIN.
- Published in:
- Annals of DAAAM & Proceedings, 2009, p. 1781
- By:
- Publication type:
- Article
Preprocessing in Propositional Satisfiability Using Bounded (2, k)-Consistency on Regions with a Locally Difficult Constraint Setup.
- Published in:
- International Journal on Artificial Intelligence Tools, 2014, v. 23, n. 1, p. -1, doi. 10.1142/S0218213013500292
- By:
- Publication type:
- Article
LAZARD'S ELIMINATION (IN TRACES) IS FINITE-STATE RECOGNIZABLE.
- Published in:
- International Journal of Algebra & Computation, 2007, v. 17, n. 1, p. 53, doi. 10.1142/S0218196707003433
- By:
- Publication type:
- Article
Non-elementary speed-ups in logic calculi.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 629, doi. 10.1002/malq.200710067
- By:
- Publication type:
- Article
Synthesized substructural logics.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 219, doi. 10.1002/malq.200610036
- By:
- Publication type:
- Article
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 237, doi. 10.1002/malq.200610042
- By:
- Publication type:
- Article
Normal derivability in modal logic.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 6, p. 632, doi. 10.1002/malq.200410054
- By:
- Publication type:
- Article
Non-effective Quantifier Elimination.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 557, doi. 10.1002/1521-3870(200111)47:4<557::AID-MALQ557>3.0.CO;2-O
- By:
- Publication type:
- Article
A Problem of Normal Form in Natural Deduction.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 121, doi. 10.1002/(SICI)1521-3870(200001)46:1<121::AID-MALQ121>3.0.CO;2-A
- By:
- Publication type:
- Article
On P Versus NP for Parameter-Free Programs Over Algebraic Structures.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 1, p. 67, doi. 10.1002/1521-3870(200101)47:1<67::AID-MALQ67>3.0.CO;2-V
- By:
- Publication type:
- Article
Modal Tree-Sequents.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 197, doi. 10.1002/malq.19960420117
- By:
- Publication type:
- Article
Cut-Elimination Theorem for the Logic of Constant Domains.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 153, doi. 10.1002/malq.19940400203
- By:
- Publication type:
- Article
Dietary uptake and elimination of selected polychlorinated biphenyl congeners and hexachlorobenzene in earthworms
- Published in:
- Environmental Toxicology & Chemistry, 2001, v. 20, n. 8, p. 1778
- By:
- Publication type:
- Article
Improving the Performance of SVM-RFE to Select Genes in Microarray Data.
- Published in:
- BMC Bioinformatics, 2006, v. 7, p. S12, doi. 10.1186/1471-2105-7-S2-S12
- By:
- Publication type:
- Article
Targeting autophagy potentiates tyrosine kinase inhibitor-induced cell death in Philadelphia chromosome-positive cells, including primary CML stem cells.
- Published in:
- 2009
- By:
- Publication type:
- journal article
Distance and proximity.
- Published in:
- Neohelicon, 2010, v. 37, n. 2, p. 469, doi. 10.1007/s11059-010-0066-5
- By:
- Publication type:
- Article
MATHEMATICAL AND NUMERICAL MODELING OF THE COUPLED DYNAMIC THERMOELASTIC PROBLEMS FOR ISOTROPIC BODIES.
- Published in:
- TWMS Journal of Pure & Applied Mathematics, 2020, v. 11, n. 1, p. 119
- By:
- Publication type:
- Article
Incomplete Symbols - Definite Descriptions Revisited.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 5, p. 489, doi. 10.1007/s10992-014-9339-1
- By:
- Publication type:
- Article
A Note on Harmony.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 3, p. 613, doi. 10.1007/s10992-011-9208-0
- By:
- Publication type:
- Article
Inquisitive Logic.
- Published in:
- Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 55, doi. 10.1007/s10992-010-9142-6
- By:
- Publication type:
- Article
How to Precisify Quantifiers.
- Published in:
- Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 103, doi. 10.1007/s10992-010-9152-4
- By:
- Publication type:
- Article
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus.
- Published in:
- Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 95, doi. 10.1007/s10992-010-9149-z
- By:
- Publication type:
- Article
EXISTENCE AND UNIQUENESS OF MAXIMAL REDUCTIONS UNDER ITERATED STRICT DOMINANCE.
- Published in:
- Econometrica, 2002, v. 70, n. 5, p. 2007, doi. 10.1111/1468-0262.00360
- By:
- Publication type:
- Article
Fourier-Motzkin elimination method in MOLP problems.
- Published in:
- Journal of Multi-Criteria Decision Analysis, 2002, v. 11, n. 2, p. 55, doi. 10.1002/mcda.316
- By:
- Publication type:
- Article
Overview of quantum error prevention and leakage elimination.
- Published in:
- Journal of Modern Optics, 2004, v. 51, n. 16-18, p. 2449, doi. 10.1080/09500340408231803
- By:
- Publication type:
- Article
HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 2, p. 408, doi. 10.1017/S1755020316000010
- By:
- Publication type:
- Article
VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED.
- Published in:
- Review of Symbolic Logic, 2012, v. 5, n. 2, p. 212, doi. 10.1017/S1755020311000323
- By:
- Publication type:
- Article
NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION.
- Published in:
- Review of Symbolic Logic, 2012, v. 5, n. 2, p. 205, doi. 10.1017/S1755020311000311
- By:
- Publication type:
- Article
ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM.
- Published in:
- Review of Symbolic Logic, 2011, v. 4, n. 3, p. 367, doi. 10.1017/S1755020310000286
- By:
- Publication type:
- Article
AN ORACLE-BASED, OUTPUT-SENSITIVE ALGORITHM FOR PROJECTIONS OF RESULTANT POLYTOPES.
- Published in:
- International Journal of Computational Geometry & Applications, 2013, v. 23, n. 4/5, p. 397, doi. 10.1142/S0218195913600108
- By:
- Publication type:
- Article
A new approach to the solution of optimal stopping problem in a discrete time.
- Published in:
- Stochastics: An International Journal of Probability & Stochastic Processes, 2011, v. 83, n. 4-6, p. 467, doi. 10.1080/17442508.2010.521243
- By:
- Publication type:
- Article
Optimal stopping of Markov chains and three abstract optimization problems.
- Published in:
- Stochastics: An International Journal of Probability & Stochastic Processes, 2011, v. 83, n. 4-6, p. 405, doi. 10.1080/17442508.2010.514051
- By:
- Publication type:
- Article
Elimination of unnecessary contact states in contact state graphs for robotic assembly tasks.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2014, v. 70, n. 9-12, p. 1683, doi. 10.1007/s00170-013-5413-z
- By:
- Publication type:
- Article
Leanness evaluation using IF-THEN rules.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2012, v. 63, n. 1-4, p. 407, doi. 10.1007/s00170-012-3919-4
- By:
- Publication type:
- Article
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 95, doi. 10.1007/s11225-010-9275-1
- By:
- Publication type:
- Article
Voting by Eliminating Quantifiers.
- Published in:
- Studia Logica, 2009, v. 92, n. 3, p. 365, doi. 10.1007/s11225-009-9200-7
- By:
- Publication type:
- Article
The Epsilon Calculus and Herbrand Complexity.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 133, doi. 10.1007/s11225-006-6610-7
- By:
- Publication type:
- Article