The present note illustrates how logical formalizations of common sense knowledge and reasoning can achieve some of the open-endedness of human common sense reasoning. A plan is made to fly from Glasgow to Moscow and is shown by circumscription to lead to the traveller arriving in Moscow. Then a fact about an unexpected obstacle— the traveller losing his ticket—is added without changing any of ...

B eing agile is a declaration of prioritizing for project maneuverability with respect to shifting requirements, shifting technology, and a shifting understanding of the situation. Other priorities that might override agility include predictability , cost, schedule, process-accreditation, or use of specific tools. Most managers run a portfolio of projects having a mix of those priorities. They ...

Objective(s): We aim to investigate the clinical impact of 18F-FDG PET/CT in managing patients with gynecological malignancies and pelvic or extrapelvic lymph nodes that are of equivocal significance on conventional imaging.Methods: We retrospectively evaluated 18F-FDG PET/CT scans of patients with gynecologic tumors who were referred to King Hussein Cancer Center from January 2010 to August 20...

Voltage sag is one of the most significant power quality problems in industry and has a impact on induction motor safety stability. This paper analyzes characteristics voltage dips systems motors with special emphasis balanced help virtual grids (regenerative grid simulator), as per IEC 61000-4-11. Three phase 3.3 kW, 16 A coupled to DC generator 3.7 7.8 rated are considered for test analysis. ...

Many planning domains have temporal features that can be expressed as durations associated with actions. Unfortunately, the conservative model of actions of most temporal planners is not appropriate for some domains which require richer models. Level 3 of PDDL2.1 introduces a model of durative actions which includes local conditions and effects to be satisfied at different times during the exec...

This paper introduces a generic method to scale HPC clusters on top of the Kubernetes cloud orchestrator. Users define their targeted infrastructure with usual syntax for recipes, and our approach automatically translates description full-fledged containerized cluster. Moreover, resource extensions or shrinks are handled, allowing dynamic resize cluster without disturbing its running. The orche...