3239 search results - page 640 / 648 » A Logical Process Calculus |
108
click to vote
BMCBI
2008
15 years 16 days ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
CN
2008
15 years 15 days ago
2008
Electrical-to-optical domain conversions and vice versa (denoted by O/E/O conversions) for each hop in optical core transport networks impose considerable capital and financial ov...
105
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
114
Voted
AO
2006
15 years 14 days ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
117
Voted
ARTMED
2006
15 years 14 days ago
2006
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...