Results 11 to 20 of about 7,425 (94)

Context-driven progressive enhancement of mobile web applications: a multicriteria decision-making approach [PDF]

, 2014
Personal computing has become all about mobile and embedded devices. As a result, the adoption rate of smartphones is rapidly increasing and this trend has set a need for mobile applications to be available at anytime, anywhere and on any device. Despite
Desruelle, Heïko, Gielen, Frank
core   +2 more sources

Laver and set theory [PDF]

, 2016
In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.Accepted ...
Kanamori, Akihiro
core   +1 more source

Boolean Delay Equations: A simple way of looking at complex systems

, 2007
Boolean Delay Equations (BDEs) are semi-discrete dynamical models with Boolean-valued variables that evolve in continuous time. Systems of BDEs can be classified into conservative or dissipative, in a manner that parallels the classification of ordinary ...
Albert, Allègre, Andronov, Arnold, Arnold, Arnol’d, Arnol’d, Bak, Barbara Coluzzi, Battisti, Bellman, Bhattacharrya, Bjerknes, Bowman, Bufe, Burridge, Chang, Chang, Collet, Correale, Correale, Courant, Darby, Dee, Derrida, Derrida, Dijkstra, Dijkstra, Driver, Drossel, Gabrielov, Gabrielov, Gagneur, Gershenson, Ghil, Ghil, Ghil, Ghil, Ghil, Ghil, Greil, Guckenheimer, Gutowitz, Hale, Hénon, Ilya Zaliapin, Isaacson, Jacob, Jaume, Jensen, Jiang, Jin, Jin, Jin, Jin, Jin, Jin, Kauffman, Kauffman, Kauffman, Kauffman, Keilis-Borok, Keilis-Borok, Keilis-Borok, Keilis-Borok, Kellogg, Khinchin, Klemm, Knopoff, Latif, Lichtenberg, Lorenz, Mandelbrot, Maraun, Martin, McDonald, Mertins, Mesot, Michael Ghil, Mihaljev, Molchan, Moron, Mysak, Mézard, Neelin, Neumann, Neumann, Nicolis, Peitgen, Peitgen, Pepke, Philander, Press, Rasmusson, Richtmyer, Romanowicz, Samuelsson, Saunders, Scholz, Schuster, Smale, Thomas, Thomas, Turcotte, Turcotte, Tziperman, Tziperman, Van Leer, Varadi, Varadi, von Neumann, Weisbuch, Wohlleben, Wolfram, Wolfram, Wolfram, Wright, Yiou, Zaliapin, Zaliapin, Öktem   +120 more
core   +2 more sources

An Individual-based Probabilistic Model for Fish Stock Simulation [PDF]

, 2010
We define an individual-based probabilistic model of a sole (Solea solea) behaviour. The individual model is given in terms of an Extended Probabilistic Discrete Timed Automaton (EPDTA), a new formalism that is introduced in the paper and that is shown ...
Buti, Federico, Corradini, Flavio, Merelli, Emanuela, Paschini, Elio, Penna, Pierluigi, Tesei, Luca   +5 more
core   +3 more sources

On some peculiar aspects of the constructive theory of point-free spaces

, 2010
This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle
Blass, Gutierres, Herrlich
core   +1 more source

The prospects for mathematical logic in the twenty-first century [PDF]

, 2001
The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris, Anand Pillay, Richard A, Richard A. Shore, Samuel R. Buss   +4 more
core   +3 more sources

Is the dream solution to the continuum hypothesis attainable?

, 2012
The dream solution of the continuum hypothesis (CH) would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true.
Hamkins, Joel David
core   +1 more source

Interface Simulation Distances

, 2012
The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance.
Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun, Černý, Pavol   +3 more
core   +2 more sources

Boolean Valued Models, Saturation, Forcing Axioms [PDF]

, 2015
This dissertation will focus on Boolean-valued models, giving some insight into the theory of Boolean ultrapowers, and developing the connection with forcing axioms and absoluteness results. This study will be divided into three chapters.
PARENTE, FRANCESCO
core  

A survey of recent results on congruence lattices of lattices [PDF]

, 2005
We review recent results on congruence lattices of (infinite) lattices. We discuss results obtained with box products, as well as categorical, ring-theoretical, and topological ...
Tuma, Jiri, Wehrung, Friedrich
core