Results 11 to 20 of about 16,973 (123)

Classical limit and quantum logic [PDF]

, 2018
The analysis of the classical limit of quantum mechanics usually focuses on the state of the system. The general idea is to explain the disappearance of the interference terms of quantum states appealing to the decoherence process induced by the ...
Fortin, Sebastian Ezequiel, Holik, Federico Hernán, Losada, Marcelo Adrián   +2 more
core   +2 more sources

Topology at the Deconfinement Transition Uncovered by Inverse Blocking in SU(2) Pure Gauge Theory with Fixed Point Action [PDF]

, 1996
Renormalization group transformations as discussed recently in deriving fixed point actions are used to analyse the vacuum structure near to the deconfinement temperature. Monte Carlo configurations are generated using the fixed point action.
't Hooft, Albanese, Alles, Alles, Bietenholz, Blatter, Bomyakov, Bomyakov, Bornyakov, Brower, Brower, Callan, Campostrini, Campostrini, Campostrini, Chernodub, Chernodub, Christou, Chu, Chu, de Forcrand, de Forcrand, de Forcrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, DeGrand, Del Debbio, Del Debbio, Di Giacomo, Di Giacomo, Di Vecchia, Di Vecchia, Di Vecchia, E.-M. Ilgenfritz, Falcioni, Fox, Garcia Perez, Gross, Göckeler, Hart, Ilgenfritz, Ilgenfritz, Ilgenfritz, Kronfeld, Kronfeld, Kronfeld, Kronfeld, Lüscher, M. Feurstein, M. Müller-Preussker, Makhaldiani, Mandelstam, Markum, Münster, Niedermayer, Phillips, S. Thurner, Schäfer, Schäfer, Shuryak, Smit, Smit, Teper, Thurner, Thurner, Veselov   +73 more
core   +2 more sources

A Formal Model for Trust in Dynamic Networks [PDF]

, 2003
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation.
Carbone, M., Nielsen, M., Sassone, V.
core   +5 more sources

Linear Pantographic Sheets: Existence and Uniqueness of Weak Solutions [PDF]

, 2018
The well-posedness of the boundary value problems for second gradient elasticity has been studied under the assumption of strong ellipticity of the dependence on the second placement gradients (see, e.g., Chambon and Moullet in Comput. Methods Appl. Mech.
Boutin, Claude, Dell’Isola, Francesco, Eremeyev, Victor A., Steigmann, David   +3 more
core   +1 more source

Tabling with Sound Answer Subsumption [PDF]

, 2016
Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an ...
Desouter, Benoit, Piróg, Maciej, Schrijvers, Tom, Vandenbroucke, Alexander   +3 more
core   +3 more sources

Topological Photonics [PDF]

, 2019
Topological photonics is a rapidly emerging field of research in which geometrical and topological ideas are exploited to design and control the behavior of light.
Amo, Alberto, Carusotto, Iacopo, Goldman, Nathan, Hafezi, Mohammad, Lu, Ling, Ozawa, Tomoki, Price, Hannah M., Rechtsman, Mikael, Schuster, David, Simon, Jonathan, Zilberberg, Oded   +10 more
core   +3 more sources

Strongly Complete Logics for Coalgebras [PDF]

, 2012
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky, Yde Venema
core   +3 more sources

Information completeness in Nelson algebras of rough sets induced by quasiorders

, 2012
In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be
A. Sendlewski, A.H. Stone, D. Nelson, D. Vakarelov, D.M. Gabbay, G. Kreisel, H. Rasiowa, J. Barwise, J. Järvinen, J. Järvinen, J.-Y. Girard, Jouni Järvinen, P. Miglioli, P. Miglioli, P. Pagliani, P. Pagliani, P. Pagliani, Piero Pagliani, R. Cignoli, S. Vickers, Sándor Radeleczki, T.S. Blyth, Z. Pawlak   +22 more
core   +1 more source

On formal aspects of the epistemic approach to paraconsistency [PDF]

, 2018
This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence.
Carnielli, Walter, Coniglio, Marcelo E., Rodrigues, Abilio   +2 more
core  

Semilattices global valuations in the topos approach to quantum mechanics [PDF]

, 2017
In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum systems when its phase space is ...
de Ronde, Christian, Domenech, Graciela, Freytes Solari, Hector Carlos   +2 more
core   +1 more source