This paper proposes a mixed integer programming model to solve a non-identical parallel machine (NIPM) scheduling with sequence-dependent set-up times and human resiliency engineering. The presented mathematical model is formulated to consider human factors including Learning, Teamwork and Awareness. Moreover, processing time of jobs are assumed to be non-deterministic and dependent to their st...

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

Intuitive knowledge management and user interfaces need a good understanding of the respective users and practices. We are especially interested in the target group of users of mathematical knowledge. One important mathematical practice consists in using mathematical expressions, which evolved as concise and precise representations of mathematical knowledge and as such guide and inform mathemat...

The understanding of the control of eye movements has greatly benefited from the analysis of mathematical models. Currently most comprehensive models include sequential shifts of visual attention. Here we propose an alternative model of eye movement control, which includes three new principles: spatially distributed lexical processing, a separation of saccade timing from saccade target selectio...

From the strict mathematical viewpoint, it is impossible to fully achieve the goal of digital image processing, which ].sto determine an unknown function of two dimensions from a finite number of discrete measurements Linearly related to it. However, the necessity to display image data in a form that is visually useful to an observer s~persedee such mathematically correct admonitions. Engineeri...