Results 1  10
of
272
On representation theorems for nonmonotonic consequence relations
"... On represent at ion theorems for nonmonotonic consequence relations ..."
On Fine's Partition Theorems, Dyson, Andrews and Missed Opportunities
, 2003
"... History almost never works out the way you want it to, especially when you are looking at it after the dust settles. The same is true in mathematics. There are t imes when the solution of a problem is overlooked s imply by accident, due to a combination of unfortunate circumstances. In a celebrated ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
address [D4], Freeman Dyson descr ibed several "missed opportunities, " in part icular his own advance gl impse of Macdonald 's etafunction identit ies. I present here the history of F ine 's part it ion theorems and their combinator ia l proofs. As the reader will see, many
DETAILED BALANCE IN ION CHANNELS: APPLICATION OF FEINBERG’S THEOREM
, 2008
"... Detailed balance helps reduce the number of necessary measurements on ion channel models. Even imprecise formulations may lead to correct conditions because of the special structure of these models. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Detailed balance helps reduce the number of necessary measurements on ion channel models. Even imprecise formulations may lead to correct conditions because of the special structure of these models.
On a Partition Theorem of
 MacMahon–Andrews, Proceedings of the American Mathematical Society 27
, 1971
"... I. Introduct ion. For any ar i thmet ic funct ion f(n), we denote its i terates as follows: fl(n) = f(n); fk(n) = f l [ fk _ l (n)] (k> i). Let q(n) and ~*(n) denote, respect ively, the sum of the div isors of n, and the sum of its uni tary divisors, where we recal l that d is ca l led a uni ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
I. Introduct ion. For any ar i thmet ic funct ion f(n), we denote its i terates as follows: fl(n) = f(n); fk(n) = f l [ fk _ l (n)] (k> i). Let q(n) and ~*(n) denote, respect ively, the sum of the div isors of n, and the sum of its uni tary divisors, where we recal l that d is ca l led a
Ernshaw’s Theorem
, 2010
"... A collection of point charges cannot be maintained in a stable stationary equilibrium configuration solely by the electrostatic interaction of the charges. Restatement of Gauss ’ Law (for free space) No local minima or maxima in free space (only saddle points). Naively speaking → No electrostatic io ..."
ShockleyRamo theorem measures conformation changes of ion channels and proteins
, 2007
"... Abstract Theorems are rarely used in biology because they rarely help the descriptive experimentation to which biologists are devoted. A generalization of Kirchoff's current lawthe ShockleyRamo (SR) theorem [16]seems an exception. SR allows interpretation of macroscopic scale 'gating& ..."
Abstract
 Add to MetaCart
Abstract Theorems are rarely used in biology because they rarely help the descriptive experimentation to which biologists are devoted. A generalization of Kirchoff's current lawthe ShockleyRamo (SR) theorem [16]seems an exception. SR allows interpretation of macroscopic scale &apos
1 A Theorem about Simultaneous Orthological and Homological Triangles Ion Pătraşcu
"... Abstract. In this paper we prove that if 1 2,P P are isogonal points in the triangle ABC, and if 1 1 1A B C and 2 2 2A B C are their corresponding pedal triangles such that the triangles ABC and 1 1 1A B C are homological (the lines 1 1 1, , AA BB CC are concurrent), then the triangles ABC and 2 2 ..."
Abstract
 Add to MetaCart
2A B C are also homological. Introduction. In order for the paper to be selfcontained, we recall below the main definitions and theorems needed in solving this theorem. Also, we introduce the notion of Orthohomological Triangles, which means two triangles that
An Incompleteness Theorem via Abstraction
, 1996
"... ion Alan Bundy 1 , Fausto Giunchiglia 2;3 , Adolfo Villafiorita 4;5 and Toby Walsh 2;5 1. Mathematical Reasoning Group, Dept of AI, University of Edinburgh 2. Mechanized Reasoning Group, IRST 3. DISA, University of Trento 4. Istituto di Informatica, University of Ancona 5. Mechanized Re ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
ion Alan Bundy 1 , Fausto Giunchiglia 2;3 , Adolfo Villafiorita 4;5 and Toby Walsh 2;5 1. Mathematical Reasoning Group, Dept of AI, University of Edinburgh 2. Mechanized Reasoning Group, IRST 3. DISA, University of Trento 4. Istituto di Informatica, University of Ancona 5. Mechanized
A Theorem about Simultaneous Orthological and Homological Triangles Ion Pătraşcu
"... Abstract. In this paper we prove that if P1, ..."
Ion Necoara
"... Abstract: Many practical problems can be formulated as convex optimization problems over the cone of nonnegative univariate polynomials. We use a cutting plane method for solving this type of optimization problems in primal form. Therefore, we must be able to verify whether a polynomial is nonnegati ..."
Abstract
 Add to MetaCart
theorem, which allows to determine the number of distinct roots of a polynomial on a given interval, in combination with the bisection method. For numerical stability we construct the associated Sturm sequence using Chebyshev basis, and thus we can work with high degree polynomials, up to hundreds
Results 1  10
of
272