176
click to vote
NFM
2014
10 years 2 months ago
2014
Abstract. RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne sys...
MBMV
2014
10 years 2 months ago
2014
In general, synchronous systems can be represented as a set of so-called synchronous guarded actions (SGAs) that consist of a trigger condition and an atomic action. Whenever the ...
LATA
2014
Springer
10 years 2 months ago
2014
Springer
The Strahler number or Horton-Strahler number of a tree, originally introduced in geophysics, has a surprisingly rich theory. We sketch some milestones in its history, and its conn...
GKR
2014
10 years 2 months ago
2014
This is an application paper in which we propose to use an extended version of the conceptual graph framework to represent and reason on expert knowledge for cheese making. In thi...
319
click to vote
WOB
2013
11 years 23 days ago
2013
RNA prediction has long been struggling with long-range base pairs since prediction accuracy decreases with base pair span. We analyze here the empirical distribution of base pair ...