نتایج جستجو برای: de morgan stone semi

تعداد نتایج: 1698255  

2010
Akhil Kapur Ayesha C. Qureshi Jens Peder Bagger

Akhil Kapur, MBCHB, MD,* Roger J. Hall, MD,†‡ Iqbal S. Malik, MMBCHIR, PHD,† Ayesha C. Qureshi, MBBS,* Jeremy Butts, MBBS,† Mark de Belder, MD,§ Andreas Baumbach, MS, Gianni Angelini, MD, MCH, Adam de Belder, MBBS, MD,¶ Keith G. Oldroyd, MBCHB, MD,# Marcus Flather, MBBS,†** Michael Roughton, MSC,** Petros Nihoyannopoulos, MD,† Jens Peder Bagger, MBBS, DSC,† Kenneth Morgan, MBCHB, BSC,† Kevin J....

Journal: :Computación y Sistemas 2006
Rogelio Hasimoto-Beltrán Ashfaq A. Khokhar

Rogelio Hasimoto-Beltrán and Ashfaq A. Khokhar 1 Centro de Investigación en Matemáticas – CIMAT Jalisco s/n, Col. Mineral de Valenciana, Guanajuato, Gto., México 36240 Tel: +52-(473)-732-7155 ext. 49636, Fax: +52-(473)-732-5749 [email protected] 2 University of Illinois at Chicago, Departments of Computer Sciences and Electrical and Computer Engineering, 851 South Morgan Street, Chicago, IL 606...

2005
ANDREAS DÖRING

The Stone spectrum of a von Neumann algebra is a generalization of the Gelfand spectrum, as was shown by de Groote. In this article we clarify the structure of the Stone spectra of von Neumann algebras of type In.

Journal: :J. London Math. Society 2011
Luis Escauriaza Carlos E. Kenig Gustavo Ponce Luis Vega

We prove unique continuation properties for solutions of evolution Schrödinger equation with time dependent potentials. In the case of the free solution these correspond to uncertainly principles referred to as being of Morgan type. As an application of our method we also obtain results concerning the possible concentration profiles of solutions of semi-linear Schrödinger equations.

Journal: :Inf. Sci. 2011
Gianpiero Cattaneo Davide Ciucci Didier Dubois

An algebraic model of a kind of modal extension of de Morgan logic is described under the name MDS5 algebra. The main properties of this algebra can be summarized as follows: (1) it is based on a de Morgan lattice, rather than a Boolean algebra; (2) a modal necessity operator that satisfies the axioms N , K, T , and 5 (and as a consequence also B and 4) of modal logic is introduced; it allows o...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2015
Avishay Tal

We present a deterministic algorithm that counts the number of satisfying assignments for any de Morgan formula F of size at most n3−16ε in time 2n−n ε · poly(n), for any small constant ε > 0. We do this by derandomizing the randomized algorithm mentioned by Komargodski et al. (FOCS, 2013) and Chen et al. (CCC, 2014). Our result uses the tight “shrinkage in expectation” result of de Morgan form...

2003
Mai Gehrke Carol Walker

—In this paper, we examine and compare de Morgan-, Kleene-, and Boolean-disjunctive and conjunctive normal forms in fuzzy settings. This generalizes papers of Turksen on the subject of Boolean-normal forms.

2014
Fawang Liu Richard Magin Changpin Li Alla Sikorskii Santos Bravo Yuste

1 School of Mathematical Sciences, Queensland University of Technology, P.O. Box 2434, Brisbane, QLD 4001, Australia 2 Department of Bioengineering, University of Illinois, 851 South Morgan Street, Chicago, IL 60607, USA 3Department of Mathematics, Shanghai University, Shanghai 200444, China 4Department of Statistics and Probability, Michigan State University, East Lansing, MI 48824, USA 5Depar...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید