• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.162-169
• /
• 2001

(No Abstract, See Full-text)

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 2001년도 한국생물과학협회 학술발표대회
• /
• pp.141.3-142
• /
• 2001

No Abstract, See Full Text

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권2호
• /
• pp.325-325
• /
• 1999

This paper presents a locally deterministic abstract machine for a new process model LocPi which is based on a subset of asynchronous polyadic π-calculus and enriched with locations and process mobility. Our calculus has a primitive for migrating and spawning a process to a location(remote site), but does not explicitly represent the place which a process are running at. Running processes may have names attached with their locations and the communication reductions can occur only on located names. So we present how to assign locations to unlocated names. Without a global channel environment, these located names enable us to locate the place which input actions occur at and output messages should be sent to.

• 한국막학회:학술대회논문집
• /
• 한국막학회 2002년도 제10회 하계 Workshop
• /
• pp.23-34
• /
• 2002

No Abstract, See Full-text

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1994년도 한국생물과학협회 학술발표대회
• /
• pp.256-256
• /
• 1994

No Abstract, See Full Text

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 2003년도 한국생물과학협회 학술발표대회
• /
• pp.39-39
• /
• 2003

No Abstract, See Full Text

• 대한용접접합학회:학술대회논문집
• /
• 대한용접접합학회 1993년도 특별강연 및 추계학술발표 개요집
• /
• pp.1-12
• /
• 1993

No Abstract, See Full Text

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2001년도 제17회 학술발표회 논문초록집
• /
• pp.3-4
• /
• 2001

No Abstract, See Full Text

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
• /
• pp.552-555
• /
• 1988

In this paper, the authors introduce the concepts of neural computer systems which have been studied over 25 years in other countries. And also we illustrate the models of neural networks suggested by researchers. Our fundamental hypothesis is that these models are applicable to the construction of artificial neural systems including neural computers. Therefore we assume that neural computer systems are abstract computer systems based on the computational properties of human brains and particularly well suited for problems in vision and language understanding.

• 대한수학회지
• /
• 제54권6호
• /
• pp.1817-1828
• /
• 2017

We give a simple and direct proof of the characterization of positivity preserving semi-flows for ordinary differential systems. The same method provides an abstract result on a class of evolution systems containing reaction-diffusion systems in a bounded domain of ${\mathbb{R}}^n$ with either Neumann or Dirichlet homogeneous boundary conditions. The conditions are exactly the same with or without diffusion. A similar approach gives the optimal result for invariant rectangles in the case of Neumann conditions.