Sciweavers

BCS
2008
14 years 1 months ago
Automation of the Complete Sample Management in a Biotech Laboratory
Both Robots and Personal Computers established new markets about 30 years ago and were enabling factors in Automation and Information Technology. However, while you can see Person...
Martin Wojtczyk, Michael Marszalek, Alois Knoll, R...
BCS
2008
14 years 1 months ago
Developing Knowledge-Based Systems using the Semantic Web
The benefits of reuse have long been recognized in the knowledge engineering community where the dream of creating knowledge-based systems on-the-fly from libraries of reusable co...
David Corsar, Derek H. Sleeman
BCS
2008
14 years 1 months ago
Brain-Like Approximate Reasoning
Andrzej W. Przybyszewski
BCS
2008
14 years 1 months ago
A Hardware Relaxation Paradigm for Solving NP-Hard Problems
Digital circuits with feedback loops can solve some instances of NP-hard problems by relaxation: the circuit will either oscillate or settle down to a stable state that represents...
Paul Cockshott, Andreas Koltes, John O'Donnell, Pa...
BCS
2008
14 years 1 months ago
Dynamic Neighbourhood Cellular Automata
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...
Stefan S. Dantchev
BCS
2008
14 years 1 months ago
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...
Peter Van Roy
BCS
2008
14 years 1 months ago
Component-Based Description of Programming Languages
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
Peter D. Mosses