Works matching DE "ELIMINATION (Mathematics)"

Results: 187

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:

Peña, J. M.

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:

Reusken, Arnold

Publication type:

Article

Constraint elimination method for the committee problem.

Published in:

Automation & Remote Control, 2012, v. 73, n. 2, p. 355, doi. 10.1134/S0005117912020130

By:

Kobylkin, K.

Publication type:

Article

Distribution and elimination of lindane in goats

Published in:

Bulletin of Environmental Contamination & Toxicology, 1986, v. 36, n. 4, p. 518

By:

Gyrd-Hansen, N.;
Kraul, I.;
Mosha, R. D.

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:

Gratzl, Norbert

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:

Francez, Nissim;
Dyckhoff, Roy

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:

Båve, Arvid

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:

Schroeder-Heister, Peter

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:

Ciardelli, Ivano;
Roelofsen, Floris

Publication type:

Article

Identifying and Eliminating Tobacco-related Disparities.

Published in:

American Journal of Health Education, 2006, v. 37, n. 1, p. 51, doi. 10.1080/19325037.2006.10598877

By:

Williams, Cecilia;
Clark, Jeffrey;
Alley, Kelly

Publication type:

Article

Randomized heuristics for exploiting Jacobian scarcity.

Published in:

Optimization Methods & Software, 2012, v. 27, n. 2, p. 311, doi. 10.1080/10556788.2011.577774

By:

Lyons, Andrew;
Safro, Ilya;
Utke, Jean

Publication type:

Article

On optimality preserving eliminations for the minimum edge count and optimal Jacobian accumulation problems in linearized DAGs.

Published in:

Optimization Methods & Software, 2012, v. 27, n. 2, p. 337, doi. 10.1080/10556788.2011.580745

By:

Mosenkis, Viktor;
Naumann, Uwe

Publication type:

Article

A Community-Driven Action Plan to Eliminate Breast and Cervical Cancer Disparity: Successes and Limitations.

Published in:

Journal of Cancer Education, 2006, v. 21, p. S91, doi. 10.1207/s15430154jce2101s_16

By:

Fouad, Mona N.;
Partridge, Edward;
Dignan, Mark;
Holt, Cheryl;
Johnson, Rhoda;
Nagy, Christine;
Parham, Groesbeck;
Person, Sharina;
Scarinci, Isabel;
Wynn, Theresa

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:

Baumgartner, Michael

Publication type:

Article

STATISTICAL QUERY-BASED RULE DERIVATION SYSTEM BY BACKWARD ELIMINATION ALGORITHM.

Published in:

Discrete & Continuous Dynamical Systems - Series S, 2015, v. 8, n. 6, p. 1341, doi. 10.3934/dcdss.2015.8.1341

By:

SAYLI, AYLA;
SARIHAN, AYSE ONCU

Publication type:

Article

Tacrolimus Once-Daily Formulation in the Prophylaxis of Transplant Rejection in Renal or Liver Allograft Recipients.

Published in:

Drugs, 2007, v. 67, n. 13, p. 1944, doi. 10.2165/00003495-200767130-00013

By:

Florman, Sander

Publication type:

Article

An extension of the ELECTRE approach with multi-valued neutrosophic information.

Published in:

Neural Computing & Applications, 2017, v. 28, p. 1011, doi. 10.1007/s00521-016-2411-8

By:

Peng, Juan-juan;
Wang, Jian-qiang;
Wu, Xiao-hui

Publication type:

Article

Kernelized LARS–LASSO for constructing radial basis function neural networks.

Published in:

Neural Computing & Applications, 2013, v. 23, n. 7/8, p. 1969, doi. 10.1007/s00521-012-1189-6

By:

Zhou, Quan;
Song, Shiji;
Wu, Cheng;
Huang, Gao

Publication type:

Article

One-Pot Method for Regioselective Bromination and Sequential Carbon-Carbon Bond-Forming Reactions of Allylic Alcohol Derivatives.

Published in:

European Journal of Organic Chemistry, 2013, v. 2013, n. 16, p. 3337, doi. 10.1002/ejoc.201300173

By:

Kutsumura, Noriki;
Matsubara, Yusuke;
Niwa, Kentaro;
Ito, Ai;
Saito, Takao

Publication type:

Article

Long-term polychlorinated biphenyl elimination by three size classes of yellow perch (Perca flavescens).

Published in:

Canadian Journal of Fisheries & Aquatic Sciences, 2007, v. 64, n. 9, p. 1222, doi. 10.1139/f07-088

By:

Paterson, Gord;
Drouillard, Ken G;
Leadley, Todd A;
Haffner, G Doug

Publication type:

Article

A Common Subexpression Sharing Approach for Multiplierless Synthesis of Multiple Constant Multiplications.

Published in:

Engineering Letters, 2007, v. 15, n. 1, p. 149

By:

Yuen-Hong Alvin Ho;
Chi-Un Lei;
Ngai Wong

Publication type:

Article

Neville elimination on multi- and many-core systems: OpenMP, MPI and CUDA.

Published in:

Journal of Supercomputing, 2011, v. 58, n. 2, p. 215, doi. 10.1007/s11227-009-0360-z

By:

Alonso, P.;
Cortina, R.;
Martínez-Zaldívar, F.;
Ranilla, J.

Publication type:

Article

Monoidal transforms and invariants of singularities in positive characteristic.

Published in:

Compositio Mathematica, 2013, v. 149, n. 8, p. 1267, doi. 10.1112/S0010437X1200084X

By:

Benito, Angélica;
Villamayor U., Orlando E.

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:

Pereira, L. C.;
Haeusler, E. H.;
Costa, V. G.;
Sanz, W.

Publication type:

Article

Logic and Meaning: The Philosophical Significance of the Sequent Calculus*.

Published in:

Mind (0026-4423), 1988, v. 97, n. 385, p. 50, doi. 10.1093/mind/XCVII.385.50

By:

KREMER, MICHAEL

Publication type:

Article

The attractiveness of choice alternatives when freedom to choose is eliminated by a social agent.

Published in:

1966

By:

Hammock, Thomas;
Brehm, Jack W.;
Hammock, T;
Brehm, J W

Publication type:

journal article

Elimination of limit cycles in a class of digital filters using single saturation nonlinearity.

Published in:

Journal of Difference Equations & Applications, 2008, v. 14, n. 12, p. 1255, doi. 10.1080/10236190801943212

By:

Singh, Vimal

Publication type:

Article

A simple method for determining the extinction ratio of strongly scattering media.

Published in:

Instruments & Experimental Techniques, 2006, v. 49, n. 5, p. 693, doi. 10.1134/S0020441206050150

By:

Aulov, V.

Publication type:

Article

Epsilon substitution for ID1 via cut-elimination.

Published in:

Archive for Mathematical Logic, 2018, v. 57, n. 5/6, p. 497, doi. 10.1007/s00153-017-0590-3

By:

Towsner, Henry

Publication type:

Article

Bounding quantification in parametric expansions of Presburger arithmetic.

Published in:

Archive for Mathematical Logic, 2018, v. 57, n. 5/6, p. 577, doi. 10.1007/s00153-017-0593-0

By:

Goodrick, John

Publication type:

Article

An extension of the omega-rule.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 593, doi. 10.1007/s00153-016-0482-y

By:

Akiyoshi, Ryota;
Mints, Grigori

Publication type:

Article

A remark on strict independence relations.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 535, doi. 10.1007/s00153-016-0479-6

By:

Conant, Gabriel

Publication type:

Article

Amalgamation through quantifier elimination for varieties of commutative residuated lattices.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 15, doi. 10.1007/s00153-011-0251-x

By:

Marchioni, Enrico

Publication type:

Article

A Connection Between Cut Elimination and Normalization.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 113, doi. 10.1007/s00153-005-0295-x

By:

Borisavljević, Mirjana

Publication type:

Article

Cut elimination for a calculus with context-dependent rules.

Published in:

Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 167, doi. 10.1007/s001530000058

By:

Elbl, Birgit

Publication type:

Article

A proof of Gentzen's Hauptsatz without multicut.

Published in:

Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 9, doi. 10.1007/s001530050170

By:

von Plato, Jan

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:

NORIHIRO KAMIDE

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:

MINTS, G.;
STEINERT-THRELKELD, SH.

Publication type:

Article

New heuristics for conversion of Deterministic finite automata to Regular expression.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 4, p. 261

By:

Chhabra, Tamanna;
Kuymar, Ajay

Publication type:

Article

General Jacobi Identity Revisited Again.

Published in:

International Journal of Theoretical Physics, 2007, v. 46, n. 11, p. 2843, doi. 10.1007/s10773-007-9397-z

By:

Nishimura, Hirokazu;
Osoekawa, Takeshi

Publication type:

Article

η-conversions of IPC implemented in atomic F.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 115, doi. 10.1093/jigpal/jzw035

By:

FERREIRA, GILDA

Publication type:

Article

Connexive Gentzen.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 964, doi. 10.1093/jigpal/jzu019

By:

McCall, Storrs

Publication type:

Article

Sequent Calculi for Some Strict Implication Logics.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 155, doi. 10.1093/jigpal/jzm058

By:

Ishigaki, Ryo;
Kashima, Ryo

Publication type:

Article

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 173, doi. 10.1093/jigpal/jzi013

By:

Mateus, Paulo;
Rasga, João;
Sernadas, Cristina

Publication type:

Article

Defining double negation elimination.

Published in:

Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 853, doi. 10.1093/jigpal/8.6.853

By:

Restall, G

Publication type:

Article

Analytic cut trees.

Published in:

Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 733, doi. 10.1093/jigpal/8.6.733

By:

Cellucci, C

Publication type:

Article

A cut-free Gentzen formulation of the modal logic S5.

Published in:

Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 629, doi. 10.1093/jigpal/8.5.629

By:

Braüner, T

Publication type:

Article

An analysis of (linear) exponentials based on extended sequents.

Published in:

Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 735, doi. 10.1093/jigpal/6.5.735

By:

Guerrini, S;
Martini, S;
Masini, A

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:

Presman, Ernst

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:

Sonin, Isaac M.

Publication type:

Article