85 resultados para Almost always propositional logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A six month old boy is admitted to the children's hospital for sudden loss of consciousness. Hypoglycemia is diagnosed and corrected. Further investigations reveal the diagnosis of hyperinsulinism as underlying cause for hypoglycaemic episodes. Differential diagnosis and therapy of hypoglycemia in infancy are discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Irreversible, nonenzymatic glycation of the haemoglobin A beta chain leads to the formation of haemoglobin A1c (HbA1c), a stable minor haemoglobin component with enhanced electrophoretic mobility. The rate of formation of HbA1c is directly proportional to the ambient glucose concentration. HbA1c is commonly used to assess long-term blood glucose control in patients with diabetes mellitus, because the HbA1c value has been shown to predict the risk for the development of many of the chronic complications in diabetes. There are currently four principal glycohaemoglobin assay techniques (ion-exchange chromatography, electrophoresis, affinity chromatography and immunoassays) and over 20 methods that measure different glycated products. The ranges indicating good and poor glycaemic control can vary markedly between different assays. At the moment values differ between methodologies and even between different laboratories using the same methodology. Optimal use of HbA1c testing requires standardisation. There is progress towards international standardisation and improved precision of HbA1c which will lead to all assays reporting results in a standardised way. Clinicians ordering HbA1c testing for their patients should be aware of the type of assay method used, the reference interval, potential assay interferences (e.g. haemoglobinopathies, chronic alcohol ingestion, carbamylation products in uraemia) and assay performance. And they should know that a variety of factors have been shown to directly influence HbA1c values, e.g. iron deficiency anaemia, chronic renal failure and shortened red blood cell life span.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador: