Decision-theoretic rough set theory is quickly becoming a research direction in rough set theory, which is a general and typical probabilistic rough set model with respect to its threshold semantics and decision features. However, unlike the Pawlak rough set, the positive region, the boundary region and the negative region of a decision-theoretic rough set are not monotonic as the number of att...

Piet J.A.M. Kerkhof and Marcel A.M. Geboers (Transport Phenomena Group, Department of Chemical Engineering and Chemistry, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, Netherlands, email: [email protected]) © 2004 Piet J.A.M. Kerkhof & Marcel A.M. Geboers, Prepared for Presentation at AIChE Annual Meeting, November 8, 2004, Session [198] – Fundamental Research in Tra...

Claudio Carere1,2), Piet J. Drent3), Jaap M. Koolhaas4) & Ton G.G. Groothuis1,5) (1 Department of Animal Behaviour, University of Groningen, The Netherlands; 2 Center for Cellular and Molecular Neurobiology, Behavioural Neuroendocrinology Research Group, University of Liege, Belgium; 3 Netherlands Institute of Ecology, Center for Terrestrial Ecology, Heteren, The Netherlands; 4 Department of An...

Daniël Boer,* Piet J. Mulders, and Cristian Pisano Department of Physics and Astronomy, Vrije Universiteit Amsterdam, NL-1081 HV Amsterdam, The Netherlands Theory Group, KVI, University of Groningen, Zernikelaan 25, NL-9747 AA Groningen, The Netherlands Dipartimento di Fisica, Università di Cagliari, and INFN, Sezione di Cagliari, I-09042 Monserrato (CA), Italy (Received 25 September 2009; publ...

The standard distribution of LTEX contains a number of document styles that are meant to be used, but also serve as examples for other users to create their own document styles. These styles have become very popular among LTEX users. But it should be kept in mind that they were designed for American tastes and contain a number of hard-wired texts. This article describes a set of document-style ...

Quantum Mechanics can be viewed as a linear dynamical theory having a familiar mathematical framework but a mysterious probabilistic interpretation, or as a probabilistic theory having a familiar interpretation but a mysterious formal framework. These points of view are usually taken to be somewhat in tension with one another. The first has generated a vast literature aiming at a “realistic” an...

In these two lectures I describe first the theory of neutrino mass and then discuss the implications of recent data (including 708–day data Super–Kamiokande data) which strongly indicate the need for neutrino conversions to account for the solar and atmospheric neutrino observations. I also mention the LSND data, which provides an intriguing hint. The simplest ways to reconcile all these data i...

We review a physical content of the two simplest models of reggeon field theory: namely the eikonal and the Schwimmer models. The AGK cutting rules are used to obtain the inclusive, the inelastic and the diffractive cross sections. The system of nonlinear equations for these cross sections is written down and analytic expressions for its solution are obtained. We derive the rapidity gap depende...

In this note we compare propositional logics for closed substitutions and propositional logics for open substitutions in constructive arithmetical theories. We provide a strong example where these logics diverge in an essential way. We prove that for Markov’s Arithmetic, i.e. Heyting’s Arithmetic plus Markov’s principle plus Extended Church’s Thesis, the logic of closed and the logic of open su...

In [5], Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. Theorem 1 The first-order theories of Peano arithmetic and ZF with the axiom of infinity negated are bi-interpretable: that is, they are mutually interpretable with interpretations that are inverse to each other. In this note, I describe a theory of sets that is bi-interpret...