Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space when searching for proofs or counterexamples. The choice of exploration strategy employed by the analysis has direct impact on its success, whereas the ability to find short counterexamples quickly and—as a complementary task—to ...

The radio-wave refraction error caused by the troposphere and ionosphere badly affects accuracy in terms of navigation, positioning, measurement, control a target; it is main source errors high-accuracy measurement systems. technology needed for correction (mainly ionosphere) has been focus research long time. At present, methods used have low accuracy. For an S-band signal, can generally only ...

Adults primarily walk to reach a new location, but why do infants walk? Do infants, like adults, walk to travel to a distant goal? We observed 30 13-month-old and 30 19-month-old infants during natural walking in a laboratory playroom. We characterized the bout structure of walking-when infants start and stop walking-to examine why infants start and stop walking. Locomotor activity was composed...

Exploration is a highly interactive, goal-driven process which involves decision making and travelling for the purpose of discovery. We propose a system for guided exploration in a virtual environment, a system which supports the user while exploring the environment. We support target selection by integrating the output of queriable information spaces into our system. We support travelling to t...

Abstract. A two-stage fuzzy inference system (FIS) is applied to prospectivity modelling and exploration-target delineation for rare earth element (REE) deposits associated with carbonatite–alkaline complexes in the western part of state Rajasthan India. The design FIS selection input predictor map are guided by a generalised conceptual model carbonatite–alkaline-complex-related REE mineral sys...

We are developing autonomous underwater vehicles for exploration and inspection tasks. Our objectives are to enable these submersible robots to autonomously search in regular patterns, follow along fixed natural and artificial features, and swim after dynamic targets. We have developed a method of visually-guiding autonomous land vehicles using correlationbased feature tracking to follow target...

Limitations on interplanetary communications create operations latencies and slow progress in planetary surface missions, with particular challenges to narrow–field-of-view science instruments requiring precise targeting. The AEGIS (Autonomous Exploration for Gathering Increased Science) autonomous targeting system has been in routine use on NASA’s Curiosity Mars rover since May 2016, selecting...

Saccadic eye movements are the primary vehicle by which human gaze is brought in alignment with vital visual information present in naturalistic scenes. Although numerous studies using the double-step paradigm have demonstrated that saccade preparation is subject to modification under certain conditions, this has yet to be studied directly within a naturalistic scene-viewing context. To reveal ...

cancer stem cells (cscs) have been identified as rare cellular populations in many cancers, including leukemia and solid tumors. this minor subpopulation of cancerous cells is immortal tumor-initiating cells which thought to be responsible for cancer initiation, progression, metastasis, recurrence and drug/radiation resistance. low proliferative rate, high self-renewing capacity, differentiatio...

How do animals in groups organize their work? Division of labour, i.e. the process by which individuals within a group choose which tasks to perform, has been extensively studied in social insects. Variability among individuals within a colony seems to underpin both the decision over which tasks to perform and the amount of effort to invest in a task. Studies have focused mainly on discrete tas...