Skip to main content

HOL

0 Followers
Recent papers in HOL
Holmium:YAG Transurethral Incision Versus Laser Photoselective Vaporization for Benign Prostatic Hyperplasia in a Small Prostate
PREVENCION Y EXTINCION DE INCENDIOS
An extended systematic literature review on provision of evidence for safety certification
Roles Principales Product Owner El Product
HOL, GDCT and LDCT for Pedestrian Detection
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets
HOL, GDCT AND LDCT FOR PEDESTRIAN DETECTION
In this paper, we present and analyze different approaches implemented here to resolve pedestrian detection problem. Histograms of Oriented Laplacian (HOL) is a descriptor of characteristic, it aims to highlight objects in digital images,... more
ANO DE LA PROMOCION DE LA INDUSTRIA RESPONSABLE Y EL COMPROMISO CLIMATICO
A Shallow Embedding of Z In HOL
A simple ‘shallow’ semantic embedding of the Z notation into the higher order logic, as supported by the HOL theorem proving system, is presented.Z is is typically used for human-readable formal specification whereas HOL is used for... more
Verification of probabilistic properties in HOL using the cumulative distribution function
Baseline serum magnesium concentrations and neurodevelopmental outcomes of extremely low birth weight premature infants
Z and HOL
A simple `shallow' semantic embedding of the Z notation into the HOL logic is described. The Z notation is based on set theory and fi rst order predicate logic and is typically used for human-readable formal speci fication. The HOL... more
Compositionality and correctness of fault tolerant patterns in HOL4
Homorganic Lengthening
On the accurate reliability analysis of combinational circuits using theorem proving
Holmium:YAG Transurethral Incision Versus Laser Photoselective Vaporization for Benign Prostatic Hyperplasia in a Small Prostate