Study on the records of deaths verification service in the mortality information...

Checking the accuracy of a criterion for selection of glass forming alloys in the...

A quantitative analysis of design products images apearing in design literature,...

A framework for modeling and formal verification of safety instrumented systems control...

Inference rules and scientific theories Two proposals of logical-probabilistic solutions...

Inference rules and scientific theories Two proposals of logical-probabilistic solutions...

VIDAese: visual exploratory process to support empirical studies in software verification,...

Study and survey of assembling parameters to a radioactive source production laboratory...

Grain transportation demand models: verification, evaluation and comparative ana...

Energy efficiency modeling for the sustainable management through the measurement...