Today’s kernel based protocol implementation architectures may lead to a major performance limitation in the context of local high-speed networks. In this paper, we describe an approach for hardware support of transport layer protocols. Because of the high complexity of such protocols and various environmental conditions and requirements, such architecture must be very flexible and adaptable. H...

We introduce a general approach to cryptographic protocol verification based on answer set programming. In our approach, cryptographic protocols are represented as extended logic programs where the answer sets correspond to traces of protocol runs. Using queries, we can find attacks on a protocol by finding the answer sets for the corresponding logic program. Our encoding is modular, with diffe...

Recovery of the P53 tumor suppressor pathway via small molecule inhibitors of oncoprotein MDM2 highlights the critical role of computational methodologies in targeted cancer therapies. Molecular docking programs in particular, have become essential during computeraided drug design by providing a quantitative ranking of predicted binding geometries of small ligands to proteins based on binding f...

The flexible flowshop problem is a well known and common challenge. Extended with unrelated parallel machines and especially with the dynamic aspect of distributed release times, the problem gets very ‘close to reality’. Triggered by the growing complexity of logistic systems, the paradigm of central planning is being shifted to decentralised control. As part of this, an autonomous control conc...

This paper presents a protocol software test bed, which was developed for the testing ofa Network Access Authentication Protocol (NAAP) implementation. We demonstrate how modular software design can help in protocol testing and we present a simple software interface that enables flexible protocol testing of protocol implementations. Besides normal use scenarios, the test bed allows automatic te...

BACKGROUND Women with polycystic ovary syndrome (PCOS) are at risk of developing ovarian hyperstimulation syndrome (OHSS) during ovarian stimulation. Use of GnRH antagonist in the general subfertile population is associated with lower incidence of OHSS than agonists and similar probability of live birth but it is unclear if this is true for patients with PCOS. Our aim was to compare the flexibl...

The growing demand for high-speed wireless access to the Internet is the driving force behind the current trends to design All-IP wireless networks, whose Access Router and mobile stations use Internet Protocol for signaling and /or data transport. That will allow an ubiquitous IPbased access by mobile users, with special emphasis on the ability to use a wide variety of wireless and wired acces...

Even today, some types of fuel cells have been already used in practical applications such as combined heat and power generation applications and space vehicle applications. Though research and development activities are still required, the fuel cell technology is one of the most important technologies that allow us to draw the environment friendly society in the twenty-first century. This sect...