Agar dilution and broth microdilution are widely recommended quantitative antimicrobial susceptibility test methods, but they are tedious and time consuming to implement as routine tests in many clinical laboratories. Therefore, this study aimed at comparing the broth microdilution and the M.I.C Evaluator method which has been validated for its high accuracy and easy performance for routine dia...

We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial evaluation of functional languages to Prolog. Great care is taken to preserve the operational semantics of the partially evaluated programs, including the effects of non-logical predicates and side effects. At the same tim...

A Serious Game (SG) system for the assessment of the potential of the multi-vehicle surveillance is presented. The SG system is applied to the problem of protection of strategic assets from underwater asymmetric threats. The SG platform integrates the active sonar performance evaluator able to estimate the real performance on the basis of the environmental conditions. The final goal is to provi...

This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally defined interpreter. We demonstrate the use of the resulting partial evaluator for program optimizati...

This paper aims to analyze the teacher's role in 2013 curriculum-based learning process private Islamic elementary schools. The research method used this study was descriptive qualitative. data collection consisted of interviews, observation, and documentation. results found that there were five teacher roles; educator teacher, mediator, motivator, model, mentor evaluator. These roles a positiv...

The aim of this paper is to present the development of a rule-based automatic detector which determines the main idea or the most pertinent discourse unit in two different languages such as Basque and Brazilian Portuguese and in two distinct genres such as scientific abstracts and argumentative answers. The central unit (CU) may be of interest to understand texts regarding relational discourse ...

Lines of Action (LOA) is a two-person zero-sum chess-like connection game. Building an evaluation function for LOA is a difficult task because not much knowledge about the game is available. In this paper the evaluation function of the tournament program MIA is explained. This evaluator consists of the following nine features: concentration, centralisation, centre-of-mass position, quads, mobil...

We show that using deductive systems to specify an offline partial evaluator allows one to specify, prototype, and mechanically verify correctness via meta-programming — all within a single framework. For a λ-mix-style partial evaluator, we specify binding-time constraints using a natural-deduction logic, and the associated program specializer using natural (aka “deductive”) semantics. These de...