Sentence examples for states exploration from inspiring English sources

UNITED STATES EXPLORATION INC., Denver, a producer of oil and natural gas, said it had agreed to be acquired by DGL Acquisition Corp., a company formed by Steven D. Durrett for this acquisition, for $53.3 million.

Our study will provide a novel tool for further transgenic application and naïve states exploration of pig pluripotent cells.

The searching process of particle swarm optimizations (PSO) includes four states: exploration, exploitation, convergence and jump-out.

MAPSO develops an innovative strategy of diversity-measurement to evaluate the population distribution, and performs a real-time alternating strategy to determine one of two predefined evolutionary states, exploration and exploitation, in each iteration.

But production declined, and by 1993 fuel subsidies and price caps had siphoned off any profits the state exploration giant could have used to explore for and develop new fields.

We then discuss implementation issues for parallel automata-theoretic model checking using this parallel state exploration algorithm.

The approach is demonstrated by applying the Murø state exploration system to a 'kill-the-capture' surprise in the MD-88 autopilot.

In particular, a parallel state exploration algorithm using a two-queue structure for load balancing is proposed and its performance analysed at the hand of experimental studies.

The verification of security protocols has attracted a lot of interest in the formal methods community, yielding two main verification approaches: i) state exploration, e.g. FDR [Gavin Lowe. Breaking and fixing the needham-schroeder public-key protocol using FDR.

The tools for cryptographic protocols analysis based on state exploration are designed to be completely automatic and should carry out their job with a reasonable amount of computing and storage resources, even when run by users having a limited amount of expertise in the field.

Basically MECA promotes an hybridism of SOAR, used to implement rule-based processing and space-state exploration in System 2 modules, with a Dynamic Subsumption Motivational System performing the role of System 1, using a representational system based on conceptual spaces and grounded cognition.