Field operations planning has become critical for the operational efficiency of agricultural
activities, in terms of time and cost. To address this type of planning problem, we (1) …

Understanding the dynamics of complex systems requires developing and combining
different kinds of models that can be simulated separately and together. Modeling the …

DEVS is a sound Modeling and Simulation (M&S) framework that describes a model in a
modular and hierarchical way. It comes along with an abstract simulation algorithm which …

Verification and validation (V&V) are essential concerns in the development of safety-critical
distributed software systems. V&V efforts targeting full system implementations rely on …

Stochastic and point processes are often used to model networks of spiking neurons.
However, the number of neurons, even in a small mammal brain, is at least a few millions …

Recently, studies using deep learning to analyze a large amount of text are being actively
conducted. In particular, a pre-trained language model that applies the learning results of a …

This thesis explores the method that governs the prioritizing process for simultaneous events
in relation to simulation results for discrete-event simulations. Specifically, it contrasts typical …

Wireless sensor networks collect and analyze sensing data in a variety of environments
without human intervention. The sensor network changes its lifetime depending on routing …

무선 센서 네트워크는 인간의 개입 없이 다양한 환경에서 센싱 데이터를 수집하고 분석한다.
센서 네트워크는 초기에 설치된 라우팅 프로토콜들에 따라 네트워크 수명이 변경된다. 게다가 …

Verification and validation (V&V) are necessary for determining the correctness and
reliability of models and simulations as well as for checking the salient properties and …