Abstract. The quality and quantity of soil organic matter (SOM) are key elements that impact health climate regulation by soils. Rock-Eval® thermal analysis technique is becoming more commonly used, as it represents a powerful method for SOM characterization providing insights into bulk chemistry stability. In this study, we applied on large sample set from the first campaign (2000–2009) French...

OBJECTIVES To present the importance of Evidence-based Health Informatics (EBHI) and the ethical imperative of this approach; to highlight the work of the IMIA Working Group on Technology Assessment and Quality Improvement and the EFMI Working Group on Assessment of Health Information Systems; and to introduce the further important evaluation and evidence aspects being addressed. METHODS Revi...

Value lookup(Context ctxt, Parameter p) { exists(Function f, int i | appliesTo(ctxt, f) and p = f.getParameter(i) and result = get(ctxt, i)) } With these preparations out of the way, we now show three representative clauses of the eval predicate: analysis of numeric literals as an example of a simple base case (where we use appliesTo to restrict the range of the otherwise unused parameter ctxt)...

The article deals with the description of impacts COVID-19 on real estate market in Czech Republic. focuses housing - sales and rentals apartments. contains graphs that show development before during COVID-19. Trends are indicated as will develop next period. All results published this were created using EVAL software, which author has been developing since 2007. This software continuously maps...

For a number of years, this author together with Lennart Augustsson have been developing fast implementations of lazy functional languages, based on graph reduction, for ordinary (sequential) computers. Our approach to sequential implementation can be summarised very brie y as follows. Our approach stems from Turner's S, K, I standard combinator reduction approach [Tur79]. But instead of using ...

Penny is a system that exploits ne grained paral lelism in an AKL program During execution a set of workers processes share a set of tasks that are cre ated dynamically To achieve good parallel speedup a worker must be assigned a new task as soon as it be comes idle Since no compiler support nor user anno tations are available to guide the execution the Penny system needs a very e cient dynamic...