A six-session course on Optical networking taught in 2002. These sessions covered the following topics:
Fundamentals of Networking,
Introduction to TCP/IP,
Fundamentals of Op...
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
In continuous black-box optimization, various stochastic local search techniques are often employed, with various remedies for fighting the premature convergence. This paper surve...
Our recent work is devoted to the development of an agent-based travel support system in which personalized information is delivered to the user. Thus far we have focused our atte...
Mateusz Kruszyk, Maria Ganzha, Maciej Gawinecki, M...
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...