Works about ELIMINATION (Mathematics)

Results: 187

Selective Remodeling: Refining Neural Connectivity at the Neuromuscular Junction.

Published in:

PLoS Biology, 2009, v. 7, n. 8, p. 1, doi. 10.1371/journal.pbio.1000185

By:

Won-Suk Chung;
Barres, Ben A.

Publication type:

Article

Simple Models for Multiattribute Choice with Many Alternatives: When It Does and Does Not Pay to Face Trade-offs with Binary Attributes.

Published in:

Management Science, 2005, v. 51, n. 12, p. 1860, doi. 10.1287/mnsc.1050.0448

By:

Hogarth, Robin M.;
Karelaia, Natalia

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

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

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:

MARTZ, FRANÇOISE;
SUTINEN, MARJA-LIISA;
DEROME, KIRSTI;
WINGSLE, GUNNAR;
JULKUNEN-TIITTO, RIITTA;
TURUNEN, MINNA

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:

Raafi'udin, Ridwan;
Purwanto, Y. Aris;
Sitanggang, Imas Sukaesih;
Astuti, Dewi Apri

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:

READ, STEPHEN

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:

GORÉ, RAJEEV;
RAMANAYAKE, REVANTHA

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:

PLATO, JAN VON;
SIDERS, ANNIKA

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:

GRABMAYER, CLEMENS;
LEO, JOOP;
VAN OOSTROM, VINCENT;
VISSER, ALBERT

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:

Arai, Toshiyasu

Publication type:

Article

Synthesized substructural logics.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 219, doi. 10.1002/malq.200610036

By:

Kamide, Norihiro

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:

Çelikler, Yalın F.

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:

von Plato, Jan

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:

Prunescu, Mihai

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:

Hemmerling, Armin

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:

Von Plato, Jan

Publication type:

Article

Modal Tree-Sequents.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 197, doi. 10.1002/malq.19960420117

By:

Cerrato, Claudio

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:

Kashima, Ryo;
Shimura, Tatsuya

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

Fundamentals of Matrix Computations.

Published in:

Technical Gazette / Tehnički Vjesnik, 2011, v. 18, n. 1, p. 151

By:

SOMOLANJI, Marija

Publication type:

Article

A Cut-Elimination Theorem for a Peircean Logic.

Published in:

Transactions of the Charles S. Peirce Society, 1976, v. 12, n. 3, p. 253

By:

White, Richard B.

Publication type:

Article

VIRE: Virtual Reference Elimination for Active RFID-based Localization.

Published in:

Adhoc & Sensor Wireless Networks, 2013, v. 17, n. 3/4, p. 169

By:

ZHAO, YIYANG;
NI, LIONEL M.

Publication type:

Article

Toward a Definition of the Coproduction Concept.

Published in:

Public Administration Review, 1983, v. 43, n. 1, p. 59, doi. 10.2307/975300

By:

Brudney, Jeffrey L.;
England, Robert E.

Publication type:

Article

Error Theory for Elimination by Aspects.

Published in:

Operations Research, 2015, v. 63, n. 3, p. 512, doi. 10.1287/opre.2015.1373

By:

Kohli, Rajeev;
Jedidi, Kamel

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

The Hardness of Polynomial Equation Solving.

Published in:

Foundations of Computational Mathematics, 2003, v. 3, n. 4, p. 347, doi. 10.1007/s10208-002-0065-7

By:

Castro, D.;
Giusti, M.;
Heintz, J.;
Matera, G.;
Pardo, L. M.

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:

Kwak, Sung;
Hasegawa, Tsutomu;
Mozos, Oscar;
Chung, Seong

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:

Vimal, K.;
Vinodh, S.

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:

Wodecki, Mieczysław

Publication type:

Article

What Is the Well-Foundedness of Grounding?

Published in:

Mind (0026-4423), 2016, v. 125, n. 498, p. 439, doi. 10.1093/mind/fzv112

By:

DIXON, T. SCOTT

Publication type:

Article

Roger Crisp on Goodness and Reasons.

Published in:

Mind (0026-4423), 2009, v. 118, n. 472, p. 1081, doi. 10.1093/mind/fzp136

By:

Stratton-Lake, Philip

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

Öğrencilerin matematik kaygılarına farklı bir bakış.

Published in:

Journal of Child & Development (J-CAD) / Çocuk ve Gelişim Dergisi (ÇG-D), 2024, v. 7, n. 13, p. 63, doi. 10.36731/cg.1307195

By:

Mildan, Nurbanu;
Aydoğdu, Fatih

Publication type:

Article

DIAGONALIZATION OF QUADRATIC FORMS BY GAUSS ELIMINATION.

Published in:

Management Science, 1966, v. 12, n. 5, p. 371, doi. 10.1287/mnsc.12.5.371

By:

Beightler, Charles S.;
Wilde, Douglass J.

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:

Razin, V. V.;
Ulin, N. V.;
Raev, V. A.;
Zadonskaya, N. Yu.;
Zuev, D. S.

Publication type:

Article

Benzyladenine-induced stimulation of two components of chlorophyll formation in etiolated cucumber cotyledons.

Published in:

Physiologia Plantarum, 1984, v. 62, n. 4, p. 521, doi. 10.1111/j.1399-3054.1984.tb02793.x

By:

Mitsuru Dei

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

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

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

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

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

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

CONNECTED PERFECT HOP DOMINATING SETS UNDER SOME BINARY OPERATIONS.

Published in:

Advances & Applications in Discrete Mathematics, 2019, v. 20, n. 1, p. 111, doi. 10.17654/DM020010111

By:

Rakim, Raicah C.;
Rara, Helen M.;
Pabilona, Yamilita M.

Publication type:

Article

A Fuzzy Similarity Elimination Algorithm for Indoor Fingerprint Positioning.

Published in:

International Journal of Distributed Sensor Networks, 2015, v. 2015, p. 1, doi. 10.1155/2015/753191

By:

Chen, Yongle;
Liu, Wei;
Xiong, Yongping;
Duan, Jing;
Li, Zhi;
Zhu, Hongsong

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