Sentence examples for theory exploration from inspiring English sources

As the use of automated reasoning assistants becomes more widespread one can envision their use following a certain methodical order: First, automated reasoning tools are used for theory exploration and discovery.

Recently, we proposed a systematic method for top-down synthesis and verification of lemmata and algorithms called "lazy thinking method" as a part of systematic mathematical theory exploration (mathematical knowledge management).

Two of his more influential books are Perception, Motives, and Personality (1970) and Psychoanalytic Theory: An Exploration of Essentials (1975).

Figure 3 shows the results of the theory space exploration of fair sequential lineups.

A theory space exploration varies the parameters over a wide range to see what the model can predict.

Additional file 1: Attached Appendix contains overall identification rates as a function of lineup size and model parameters from the theory space exploration.

We implement the grounded theory in exploration of their concern towards what they learn in the Kuala Lumpur Industrial Training Institute and the industry.

(2) Attach importance to the research of accumulation and enrichment geological theory and exploration & development key engineering technologies for lower production and lower pressure marine shale gas reservoir, and at the same time orderly promote the construction of non-marine shale gas exploration & development demonstration areas.

The theory space exploration will proceed as follows: We begin by focusing on the same comparison as Wells et al. (Smith et al., 2017; Wells, Smalarz, et al., 2015), simultaneous lineups vs. showups, and then we move to an assessment of sequential lineups, which Wells et al. never considered.

Balslev et al. [ 20] compared the effects of a video case and a paper case on the verbal group interaction among residents and showed that the video case group yielded higher frequencies of clauses relating to data exploration, theory building and theory evaluation than the group using the paper case.

It is very important to apply the SRV technology for the exploitation of tight carbonate in theory and practical exploration.