Results 31 to 40 of about 268 (109)
, 2002 This thesis investigates the mathematical foundations that are necessary for an extension of Abramsky's domain theory in logical form to continuous domains.We present a multi-lingual sequent calculus, that is a positive logic allowing sequents that ...
Kegelmann, Mathias
core +1 more source
Models of high energy ρρ,ρ̄ρ scattering [PDF]
, 1987 A phenomenological description is sought of the dynamics operating in high energy elastic hadron-hadron scattering. The predictions of a simple Pomeron and weak cut model of high energy elastic scattering are compared with the new and surprising ρ̄ρ data
Carter, M.K.
core
Cut-set Theorems for Multi-state Networks
, 2004 Journal PaperWe derive new cut-set bounds on the achievable rates in a general multi-terminal network with finite number of states. Multiple states are common in communication networks in the form of multiple channel and nodes' states.
Aazhang, Behnaam +2 more
core
Robust designs for series estimation [PDF]
We discuss optimal design problems for a popular method of series estimation in regression problems. Commonly used design criteria are based on the generalized variance of the estimates of the coefficients in a truncated series expansion and do not take ...
Dette, Holger, Wiens, Douglas P.
core
The structure of logical consequence : proof-theoretic conceptions
, 2010 The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage ...
Hjortland, Ole T.
core
A Closed-Form Approach to Coupler-Curves of Multi-Loop Mechanisms
, 1999 This paper presents a closed-form approach, based on the theory of resultants, for deriving the coupler curve equation of 16 8-link mechanisms. The solution approach entails successive elimination of problem unknowns to reduce a multivariate system of 8 ...
A. K. Dhingra, D. Kohli, A. N. Almadi
core +1 more source
Elimination Practice: Software Tools and Applications
, 2003 The first half of the book presents the library Epsilon that has been built up for symbolic polynomial elimination and decomposition with (geometric) applications.
Wang, Dongming
core +2 more sources
Response to “Remarks on two new theorems of Date and Fagin”
, 1993 In [DF92], we present simple conditions, which we now describe, for guaranteeing higher normal forms for relational databases. A key is simple if it consists of a single attribute. We show in [DF92] that if a relation schema is in third normal form (3NF)
Ronald Fagin, C. J. Date
core
, 2007 A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an ...
Jan Krajícek
core
, 2010 A well-studied logical model of mathematical proofs is the sequent calculus introduced by Gerhard Gentzen. In the sequent calculus, the use of lemmas corresponds to the application of the cut rule.
Weller, Daniel
core