M ost traditional computing systems and applications research treats software as the variable and hardware as the constant. In ubiquitous computing research, it’s difficult to maintain this perspective. A defining characteristic of ubiquitous computing systems is embodying physical context and interaction with a given physical locale rather than abstracting from it.1 Generally, ubiquitous compu...

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This textbook introduces three of these techniques, based on logic and automata: Duration Calculus, Timed Automata, and PLC-A...

Data hiding is a technique which embeds secret data into cover media. It is important to the multimedia security and has been widely studied. Recently, some researchers paid attention to reversible data hiding methods. These methods can reconstruct the original image from the stego-image when embedded data are extracted. In this paper, we extend the hit-pattern-based reversible steganographic m...

Today, SDL and SystemC are two very popular languages for embedded systems modeling. SDL has specific advanced features that make it good for reflection of the multi-object systems and interactions between modules. It is also good for system model validation. The SystemC models are better suitable for tracing internal functions of the modeled modules. The hypothetical possibility of combined us...

Over the years, the Institute for Studies of the Medical Profession has arranged a number of international, interdisciplinary research meetings, several of them resulting in scientific publications. This was also the case with the symposium that LEFO arranged in the summer of 2014, the topic of which was the relationship between doctors’ professional satisfaction, quality of medical care, and t...

With its genome almost fully sequenced, the zebrafish has gone from bit player to rising star among model organisms. Its lower maintenance costs and the ease of tissue imaging in live zebrafish are among the benefits that have cast this organism as an emerging player in disease research and drug screening.

On a recent trip to China and India, I had the opportunity to discuss with many young researchers at various universities about the expectations that they must meet in order to succeed professionally. Many of them thought that the road to success was measured in various forms of “scientometric” data, such as h-index factors and the number of publication citations. I do think that scientometric ...

We provide a game theoretic analysis of information sharing among competing researchers in two contexts: sharing when one researcher is asked by another to share specific information or materials and sharing involving presentation of new results in an open forum. The models are tested based on a survey of German and UK bioscientists. The theory and empirics both suggest that academia is less op...