SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Murray Neil) srt2:(2004)"

Search: WFRF:(Murray Neil) > (2004)

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Andersson, Mats, et al. (author)
  • Collection and Use of Railway Track Performance and Maintenance Data
  • 2004
  • In: New Horizons for Rail.
  • Conference paper (peer-reviewed)abstract
    • There is increasing pressure for track managers to optimise the mix of infrastructure maintenance and renewal activities so that better performance can be extracted from the asset at lower operating costs. Track related data is usually collected for several purposes with different players (eg: track owners, rail operators and regulators and funding agencies) requiring data at different levels of detail and about different matters. The paper reports on a review of data collection procedures as part of a project funded by the Rail CRC, aimed at "Enhancing the Optimisation of Maintenance/Renewal." The paper also reports on preliminary outcomes of an international survey of current practice with respect to track related data collection and use.
  •  
2.
  • Hähnle, Reiner, 1962, et al. (author)
  • Linearity and regularity with negation normal form
  • 2004
  • In: Theoretical Computer Science. - : Elsevier BV. - 0304-3975. ; 328:3, s. 325-354
  • Journal article (peer-reviewed)abstract
    • Proving completeness of NC-resolution under a linear restriction has been elusive; it is proved here for formulas in negation normal form. The proof uses a generalization of the AndersonBledsoe excess literal argument, which was developed for resolution. That result is extended to NC-resolution with partial replacement. A simple proof of the completeness of regular, connected tableaux for formulas in conjunctive normal form is also presented. These techniques are then used to establish the completeness of regular, connected tableaux for formulas in negation normal form.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view