Sentence examples for maintained explicitly from inspiring English sources

In our system, previously proved formulae are maintained explicitly and therefore can be passed to other reasoning modules.

Five of these are maintained explicitly, in addition to the standard generalization relation is a.

The NPU Cheviot flock, a closed flock maintained explicitly as a source of natural scrapie infections, has been comprehensively documented and demographic information and epidemiological data on all sheep are available [ 20].

This assumption is typically maintained (either explicitly or implicitly) in resume audit studies, since otherwise the studies would not be informative about employers' preferences.

While bands such as Hawkwind maintained an explicitly psychedelic course into the 1970s, most dropped the psychedelic elements in favour of wider experimentation.

While some bands such as Hawkwind maintained an explicitly psychedelic course into the 1970s, most bands dropped the psychedelic elements in favour of embarking on wider experimentation.

"The UK maintains an explicitly 'expeditionary' defence and security policy that requires forces to be deployed at extended reach for long periods of time in potentially hostile waters, as was shown off Libya in 2011," he said.

It maintains an explicitly sparse current solution, alternating between a coordinate-wise gradient step, which may add a new non-zero parameter, and a multivariate gradient step over the non-zero parameters, which may make one of them zero.

Given the difficulty in breathing new life into NAFTA, Mexican business and government officials have explicitly maintained that the TPP would serve to consolidate its major export market and the North American production network, built since the Agreement came into effect in 1994 (de Rosenzweig Mendialdua 2015 .19.

The first is a stationary adaptive process maintained by an explicitly time-dependent fitness "seascape", in which selection coefficients at individual genomic sites change direction at a constant rate (Mustonen and Lässig 2007, 2008, 2009).

The ICONAS project coordinator maintained contact with and explicitly requested feedback from the organisations that used the questionnaire.