Conventional imagers and almost all vision processes use and rely on theories that are based on the principle of static image-frames. A frame is a 2D matrix that represents the spatial locations of intensities of a scene projected on the imager. The notion of a frame itself is so embedded in machine vision, that it is usually taken for granted that this is how biological systems store light information. This paper presents a biosinpired event-based image formation principle, which output data (...) rely on an asynchronous acquisition process. The generated information is stored in temporal volumes, which size and information depend only on the dynamic content of observed scenes. Practical analysis of such information will shows that the processing of visual information can only be based on a semiotic process. The paper also provides a general definition of the notion of visual features as the interpretation of signs according to different possible readings of the codified visual signal. (shrink)

v. 1. Sŏngnihak pʻyŏn -- v. 2. Kyŏngse sasang pʻyŏn.

Forcing extensions yield models of ZFC in which a long sequence of club subsets of ω 1 has the following property: every subsequence of size ℵ 1 has a finite intersection.

다산 역학의 성립과 정수, 그리고 그 경학적.사상사적의의를 논구한 저술.

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

플라톤과 아리스토텔레스로 대표되는 희랍철학 사상 에 관한 17인의 공동논문집.

Until the 1930s Germany had been the international leader in biochemistry, chemistry, and areas of biology. After WWII, however, molecular biology as a new interdisciplinary scientific enterprise was scarcely represented in Germany for almost 20 years. Three major reasons for the low performance of molecular biology are discussed: first, the forced emigration of Jewish scientists after 1933, which not only led to the expulsion of future distinguished molecular biologists, but also to a strong decline of ''dynamic biochemistry'', a field which (...) contributed greatly to molecular biology. Second, German university structures that strongly impeded interdisciplinary research. Third, the international isolation and self-isolation of German scientists that was a major obstacle to the implementation of new fields of research developed elsewhere. Despite the fact that there was no official boycott against Germany as there had been after WWI and despite the Cold War policy of integrating Germans into the West, as a consequence of National Socialism and WWI for many years only very few German scientists gained access to the international community of molecular biologists. Max Delbruck played an important role in helping the Germans establish modern, mostly molecular, biology because he retained strong connections to Germany. Most importantly, it required a new generation of young scientists who had received part of their training in the US to establish modern molecular biology at German universities and Max Planck Institutes. (shrink)