39 research outputs found
Haematophagic behavior in laboratory of Lutzomyia cruzi (Mangabeira) (Diptera: Psychodidae) in relation to three mammalian blood sources in Manaus, Brazil
Properties of baryon resonances from a multichannel partial wave analysis
Properties of nucleon and resonances are derived from a multichannel
partial wave analysis. The statistical significance of pion and photo-induced
inelastic reactions off protons are studied in a multichannel partial-wave
analysis.Comment: 12 pages, 8 Table
Abort or Retry — A Role for Legal Knowledge Based Systems in Electronic Service Delivery?
Electronic service delivery is closely tied to legal decision making. Legal decision making is by nature complicated. It involves the (strict) application of rules, but it also inevitably leaves room for discretion. If the ambition of electronic service delivery is taken seriously, this means that (some) legal decisions have to be taken by computers. Legal knowledge based systems (LKBSs) capable of performing this task have been around since the early nineteen nineties. These systems, although successful, never really broke through and are somewhat forgotten. With the advent of e-Government and its focus on electronic service delivery, legal decision making systems are desperately needed. This paper argues that legal knowledge based system technology is neglected undeserved and that it offers opportunities for serious electronic service delivery
DNA walker circuits: computational potential, design, and verification
Abstract. Unlike their traditional, silicon counterparts, DNA computers have natural interfaces with both chemical and biological systems. These can be used for a number of applications, including the precise arrangement of matter at the nanoscale and the creation of smart biosensors. Like silicon circuits, DNA strand displacement systems (DSD) can evaluate non-trivial functions. However, these systems can be slow and are susceptible to errors. It has been suggested that localised hybridization reactions could overcome some of these challenges. Localised reactions occur in DNA ‘walker ’ systems which were recently shown to be capable of navigating a programmable track tethered to an origami tile. We investigate the computational potential of these systems for evaluating Boolean functions. DNA walkers, like DSDs, are also susceptible to errors. We develop a discrete stochastic model of DNA walker ‘circuits ’ based on experimental data, and demonstrate the merit of using probabilistic model checking techniques to analyse their reliability, performance and correctness.