Graphic and diagrammatic techniques have always been very popular for defining and communicating software system properties. Engineering in general has a whole body of drawing techniques to design complex systems. In software engineering research and practice tried to emulate these drawing techniques and early approaches like ER and SA diagrams1) are still in use today. Recently object orientat...

To create a text with graphic instructions for output pictures into L A T E X document, we offer software that allows us to build a picture in WIZIWIG mode and for setting the text with these graphical instructions .

SUMMARY pySolo is a multiplatform software for analysis of sleep and locomotor activity in Drosophila melanogaster. pySolo provides a user-friendly graphic interface and it has been developed with the specific aim of being accessible, portable, fast and easily expandable through an intuitive plug-in structure. Support for development of additional plug-ins is provided through a community websit...

The effects of spatially correlated noise on a phenomenological equation equivalent to a non-local version of the Kardar-Parisi-Zhang (KPZ) equation are studied via the dynamic renormalization group (DRG) techniques. The correlated noise coupled with the long ranged nature of interactions prove the existence of different phases in different regimes, giving rise to a range of roughness exponents...

MOTIVATION Pairwise relatedness plays an important role in a range of genetic research fields. However, currently only few estimators exist for individuals that are admixed, i.e. have ancestry from more than one population, and these estimators fail in some situations. RESULTS We present a new software tool, RelateAdmix, for obtaining maximum likelihood estimates of pairwise relatedness from ...

In this paper we present a Web-based, database oriented CSCW system to support information dispersal between di€erent Local Government authorities (Region, Prefecture and Municipalities) and the citizens. The system is implemented around the `shared workspace' notion, a group of directories and ®les controlled by the users of the workspace. Intranet and Extranet technologies are exploited to en...

During model checking of software against various specifications, it is often the case that the same parts of the program have to be modeled/verified multiple times. To reduce the overall verification effort, this paper proposes a new technique that extracts function summaries after the initial successful verification run, and then uses them for more efficient subsequent analysis of the other s...

In the last couple of years, organizations have demonstrated an increased willingness to exchange information and knowledge regarding vulnerabilities, threats, incidents and mitigation strategies in order to collectively protect against today’s sophisticated cyberattacks. As a reaction to this trend, software vendors started to create offerings that facilitate this exchange and appear under the...

We describe a design and implementation of a multi-stage algorithm for computing eigenvalues and eigenvectors of a dense symmetric matrix. We show that reformulating the algorithms is beneficial even if that doubles the computational complexity. Through detailed analysis we show that the effect of increase in operation count may be compensated by much improved performance rate. Our performance ...