Abstract— Biological processes, and in particular DNA hybridization, offer the potential to form the basis for the assembly of devices at micro- and nano-scales. Our aim is to im...
Biochemical models that exhibit bistability are of interest to biologists and mathematicians alike. Chemical reaction network theory can provide sufficient conditions for the exist...
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...
Michael Oikonomakos, Kostas Christodoulopoulos, Em...
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...