In the present paper a general critisicsm of kinetic equations for vehicular traac is given. The necessity of introducing an Enskog-type correction into these equations is shown. An Enskog-like kinetic traac ow equation is presented and uid dynamic equations are derived. This derivation yields new coeecients for the standard uid dynamic equations of vehicular traac. Numerical simulations for in...

Microporous carbons are important in a wide variety of applications, ranging from pollution control to supercapacitors, yet their structure at the molecular level is poorly understood. Over the years, many structural models have been put forward, but none has been entirely satisfactory in explaining the properties of the carbons. The discovery of fullerenes and fullerene-related structures such...

We consider a regular assembly of singly occupied cells with two accessible volumes. Coupled to cell volumes are interaction energies between nearest neighbors that lead to a phase transition with a critical point. We find that these compressible cell models can serve as Ising-like prototypes of the one-component liquid-liquid and isostructural solid-solid phase transitions that originate in th...

We give a realizability model of Girard-Scedrov-Scott’s Bounded Linear Logic (BLL). This gives a new proof that all numerical functions representable in that system are polytime. Our analysis naturally justifies the design of the BLL syntax and suggests further extensions.

We consider Ising models on graphs that converge locally to trees. Examples include random regular graphs with bounded degree and uniformly random graphs with bounded average degree. We prove that the ‘cavity’ prediction for the limiting free energy per spin is correct for any temperature and external field. Further, local marginals can be approximated by iterating a set of mean field (cavity) ...

The Web can be modeled as a directed graph in which a node represents a web page and an edge represents an hyperlink. Recent studies suggested that despite it chaotic appearance, the Web is highly structured graph, in a statistical sense. In this paper we introduce a new web-like model that incorporates the main features of the web: power law degree distributions for both incoming and outgoing ...

I describe the main features of new intersecting D4and D5-brane orbifold models that yield the non-supersymmetric standard model, up to vector-like matter and, in some cases, extra U(1) factors in the gauge group. There are six-stack D4-brane models that have charged-singlet scalar tachyons and which either contain all of the Yukawa couplings to the tachyonic Higgs doublets that are needed to g...

The aim of this paper is to harness the mathematical machinery around presheaves for the purposes of process calculi. Joyal, Nielsen and Winskel proposed a general definition of bisimulation from open maps. Here we show that open-map bisimulations within a range of presheaf models are congruences for a general process language, in which CCS and related languages are easily encoded. The results ...

1 Departamento de Electromagnetismo y F́ısica de la Materia and Instituto “Carlos I” de F́ısica Teórica y Computacional, Universidad de Granada, Facultad de Ciencias, Fuentenueva s/n, E-18071 Granada, Spain 2 Department of Physics, College of Computer and Information Sciences, Bouvé College of Health Sciences, Northeastern University, Boston MA02120, USA 3 Departament de F́ısica i Enginyeria Nucle...

We are interested in the question whether the models induced by the infinitary lambda calculus are orderable, that is whether they have a partial order with a least element making the context operators monotone. The first natural candidate is the prefix relation: a prefix of a term is obtained by replacing some subterms by ⊥. We prove that six models induced by the infinitary lambda calculus (w...