Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Relational and neighborhood semantics for intuitionistic modal logic

100%

Kojima K.

Reports on Mathematical Logic

2012

tom Vol. 47

87-113

We investigate semantics for an intuitionistic modal logic in which the "possibility" modality does not distribute over disjunction. In particular, the main aim of this paper is to study such intuitionistic modal logic as a variant of classical non-normal modal logic. We first give a neighborhood semantics together with a sound and complete axiomatization. Next, we study relationships between our approach and the relational (Kripke-style) semantics considered in the literature. It is shown that a relational model can be represented as a neighborhood model, and the converse direction holds under a slight restriction. Also, by considering degenerate cases of neighborhood and relational semantics, we demonstrate that a certain classical monotone modal logic has relational semantics, and can be embedded into a classical normal bimodal logic.

An accurate prediction of high-frequency circuit behaviour

51%

Yoshitomi S. , Kimijima H. , Kojima K. , Kokatsu H.

Journal of Telecommunications and Information Technology

2005

tom nr 1

47-62

An accurate way to predict the behaviour of an RF analogue circuit is presented. A lot of effort is required to eliminate the inaccuracies that may generate the deviation between simulation and measurement. Efficient use of computer-aided design and incorporation of as many physical effects as possible overcomes this problem. Improvement of transistor modelling is essential, but there are many other unsolved problems affecting the accuracy of RF analogue circuit modelling. In this paper, the way of selection of accurate transistor model and the extraction of parasitic elements from the physical layout, as well as implementation to the circuit simulation will be presented using two CMOS circuit examples: an amplifier and a voltage controlled oscillator (VCO). New simulation technique, electro-magnetic (EM)-co-simulation is introduced.

Analysis of water-soluble proteins by two-dimensional electrophoresis in the encystment process of Colpoda cucullus Nag-1 and cytoskeletal dynamics

26%

Sogame Y. , Kojima K. , Takeshita T. , Kikuchi S. , Shimada Y. , Nakamura R. , Arikawa M. , Miyata S. , Kinoshita E. , Suizu F. , Matsuoka T.

Acta Protozoologica

2020

tom 59

nr 3-4