Results 41 to 50 of about 1,142,282 (251)
Nonabelian Gauge Symmetry in the Causal Epstein-Glaser Approach
, 1995 We present some generalizations of a recently proposed alternative approach to nonabelian gauge theories based on the causal Epstein-Glaser method in perturbative quantum field theory.
Hurth T., Tobias Hurth
core +1 more source
Proof-irrelevant model of CC with predicative induction and judgmental equality [PDF]
Logical Methods in Computer Science, 2011 We present a set-theoretic, proof-irrelevant model for Calculus of Constructions (CC) with predicative induction and judgmental equality in Zermelo-Fraenkel set theory with an axiom for countably many inaccessible cardinals. We use Aczel's trace encoding
Gyesik Lee, Benjamin Werner
doaj +1 more source
Association between cholesterol-phospholipid vesicles and cholesterol crystals in human gallbladder bile [PDF]
, 1989 Rapid aggregation of cholesterol-phospholipid vesicles in gallbladder bile seems to be the first event in the production of cholesterol crystals, a prerequisite for cholesterol gallstone formation.
Jüngst, Dieter +1 more
core +1 more source
The Complexity of Model Checking Higher-Order Fixpoint Logic [PDF]
Logical Methods in Computer Science, 2007 Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed \lambda-calculus and the modal \lambda-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of programs that ...
Roland Axelsson +2 more
doaj +1 more source
New Approach to Duality-Invariant Nonlinear Electrodynamics [PDF]
, 2013 We survey a new approach to the duality-invariant systems of nonlinear electrodynamics, based on introducing auxiliary bi-spinor fields. In this approach, the entire information about the given self-dual system is encoded in the U(1) invariant ...
Ivanov, Evgeny +2 more
core +3 more sources
A lower bound on web services composition [PDF]
Logical Methods in Computer Science, 2008 A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web services; where the construction is understood as a simulation of the ...
Anca Muscholl, Igor Walukiewicz
doaj +1 more source
Broadband cloaking with volumetric structures composed of two-dimensional transmission-line networks
, 2008 The cloaking performance of two microwave cloaks, both based on the recently proposed transmission-line approach, are studied using commercial full-wave simulation software. The cloaks are shown to be able to reduce the total scattering cross sections of
Alitalo, Pekka +3 more
core +1 more source
Quantifier-Free Interpolation of a Theory of Arrays [PDF]
Logical Methods in Computer Science, 2012 The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on the theory of arrays, however, is limited by the impossibility of deriving ...
Roberto Bruttomesso +2 more
doaj +1 more source
Well Behaved Transition Systems [PDF]
Logical Methods in Computer Science, 2017 The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem.
Michael Blondin +2 more
doaj +1 more source
A thermo-mechanically consistent Burnett regime continuum flow equation without Chapman-Enskog expansion [PDF]
, 2013 Chapman-Enskog expansion is the orthodox approach to derive continuum flow models from Boltzmann’s kinetic equation for dilute gases. Beyond the Navier-Stokes-Fourier order, these models known as Burnett hydrodynamic-regime equations violate a number of ...
Dadzie, Kokou
core +1 more source