Results 171 to 180 of about 344 (214)

Attending to Preservice Teachers' Assets: Beliefs and Practices for Supporting Expansive Sensemaking in Elementary Science

open access: yesScience Education, EarlyView.
ABSTRACT Preservice elementary science teachers' beliefs and practices influence the kinds of adaptations they make to curriculum materials and the extent to which they are able to enact justice‐oriented science lessons. Through this qualitative study, we explored the beliefs and practices of five focal preservice teachers through an analysis of their ...
Jessica Bautista, Elizabeth A. Davis
wiley   +1 more source

ON DEFINABILITY IN MULTIMODAL LOGIC

The Review of Symbolic Logic, 2009
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for ...
Halpern, Joseph Y.   +2 more
openaire   +1 more source

Multimode quantum optical logic

Conference on Coherence and Quantum Optics, 2007
We embed qubits within simple two-mode states and effect a Fredkin gate by a resonant multi-photon interaction with an atom.
M S Everitt, B M Garraway
openaire   +1 more source

A multimodal logic for closeness

Journal of Applied Non-Classical Logics, 2017
AbstractWe introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.
A. Burrieza   +2 more
openaire   +1 more source

Interval Type-2 Fuzzy Logic for Semisupervised Multimodal Hashing

IEEE Transactions on Cybernetics, 2021
Retrieving nearest neighbors across correlated data in multiple modalities, such as image-text pairs on Facebook and video-tag pairs on YouTube, has become a challenging task due to the huge amount of data. Multimodal hashing methods that embed data into binary codes can boost the retrieving speed and reduce storage requirements.
Dayong Tian   +3 more
openaire   +2 more sources

Multimo dal Logics of Products of Topologies

Studia Logica, 2006
If modal logics \(L_1,L_2\) with modalities \(\square_1,\square_2\) are determined by classes \(\mathbb{F}_1,\mathbb{F}_{2}\) of Kripke frames, then \(L_1 \times L_2\) is determined by the class of products \(\mathbb{F}_1 \times \mathbb{F}_{2}= \langle W_1 \times W_2,R_1,R_2\rangle\) and is axiomatized (by D. Gabbay and V.
van Benthem, J.   +3 more
openaire   +3 more sources

Multimodal identification using Markov logic networks

Face and Gesture 2011, 2011
Human robot interaction presents a unique set of challenges for biometric person identification. During normal interactions between the robot and a user, a tremendous amount of information is available for identification. Our objective is to use this information to identify users quickly and accurately during interactions with a robot.
Wallace Lawson, Eric Martinson
openaire   +1 more source

Transfer Theorems for Multimodal Logics

1997
Abstract Many of the modal logics that have been developed contain two or more modal operators. A notable example is the tense logic of Prior, which contains operators for both the past and the future. A more recent example is the logic of programs, which contains infinitely many operators, one for each program.
Kit Fine, Gerhard Schurz
openaire   +1 more source

Special Issue on Multimodal Logics: A Preface

Logica Universalis, 2012
It is a fact that investigations of multimodality are currently an advanced area of inquiry within the immense field of intensional logic. A remarkable aspect of this growth is that important branches of modal logic have been shown to be reconstructable as branches of multimodal logic.
Walter Carnielli, Claudio Pizzi
openaire   +1 more source

A multimodal logic for reasoning about complementarity

Journal of Applied Non-Classical Logics, 2000
ABSTRACT Two objects o1, o2 of an information system are said to be complementary with respect to attribute a if α(o1) = -α(o2), where α(o) is the set of values of attribute a assigned to o. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute α e A.
Ivo Düntsch, Beata Konikowska
openaire   +1 more source

Home - About - Disclaimer - Privacy