Coinductive counting: bisimulation in enumerative combinatorics (extended abstract) CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms. ABSTRACT The recently developed coinductive calculus of streams nds here a further application in enumer-ative c o m binatorics. A general methodology is ...

We seek to understand the link between protein thermodynamics and protein structure in molecular detail. A classical approach to this problem involves assessing changes in protein stability resulting from added cosolvents. Under any given conditions, protein molecules in aqueous buffer are in equilibrium between unfolded and folded states, U(nfolded) <==> N(ative). Addition of organic osmolytes...

This paper provides a substantial proof th at genet ic algorithms (GAs) work for t he traveling salesman problem (TSP) . The method introduced is based on an adjacency matrix representation of the TSP t hat allows t he GA to manipulate edges while using conventional crossover. This combination, interleaved with invers ion (2-opt), allows th e GA to rapidly discover the best known solutions t o ...

----*------.----..-...-.-...-.*.-*-....-.-*.----..----.-*...-...-...---.----.--... ".. The signature file approach is one of the most powerful information storage and retrieval techniques which is used for finding the data objects that are relevant to the user queries. The main idea of all signature based schemes is to reflect the essence of the data items into bit patter& (descriptors or signa...

The pape~ aims to p~esent a CASE system which is an integ~ated compute~ aided tool so-called RUBIS, fo~ designing and p~ototyping Info~mation Systems. RUBIS is o~ganized a~ound the R-schema (RUBIS-schema), which is a decla~ative specification of the Info~mation System (IS) content, based on a conceptual model which emphasizes equally the IS st~uctu~e and behaviou~. Afte~ a b~ief ove~view of the...

Millions of teenagers today engage in social virtual worlds (SVWs). However, teenagers, often referred to as digital natives, represent an under-investigated group in the virtual world research and the Information Systems literature. To this end, we draw on developmental psychology and the uses and gratifications approach to examine teenagers’ continuous SVW use with a multi-method approach. We...

Fig. AI.l The stress dependence of the activation area for a dislocation segment overcoming a simple discrete obstacle. ABSTRACT. This chapte~ p~esents the foundations in continuum mechanics and i~~eve~sible the~odynamics fo~ constitutive ~e­ lations gove~ing plasticity. Special emphasis is given to the connection of mac~oscopic fo~lations to defo~ation mechanisms as ope~ative on the mic~scale....

LTFI()UGII TI-IE PRESENCE of adenninue mnmn(-leotides inn the blood was (hes(-nih)ed as eamly as 1914, a(lequate (hunamntitative studies wene riot made until 1935 when Bunell’ devised a nnepholometn-ic methol. Sine established the fact that tine nnun(-leoti(ies n -ere pmesennt cx(-lusively in the cellunlan componemnt, that the len-el for annv onne individual n as comnstamnt over a pem-iod of sc...

a person, who is talented, performs in a certain capacity above the norm. talent is different from intelligence which is a response to a circumstance using knowledge and skill. the attributes of talent are exceptional memory, rapid processing speed, and high motivation, an affinity for learning, creativity and optimal cognition. there is some proof suggests that certain aspects of talent are re...