نتایج جستجو برای: mathematical planning
تعداد نتایج: 407343 فیلتر نتایج به سال:
چکیده ندارد.
Electrochemotherapy uses electroporation for enhancing chemotherapy. Electrochemotherapy can be performed using standard operating procedures with predefined electrode geometries, or using patient-specific treatment planning to predict electroporation. The latter relies on realistic computer models to provide optimal results (i.e. electric field distribution as well as electrodes' position and ...
Proof planning is an application of AI-planning in mathematical domains. One of its strengths comes from the usage of mathematical knowledge that heuristically restricts the search space. We investigate problem classes for which little or no heuristic control knowledge is available and test the usage of randomization and restart techniques for “search control”. This approach does not rely on do...
Theory, computation, and an example of mathematical programming models with optimization problems in the constraints have been discussed in a previous paper [1]. A computer program for solving mathematical programming models with nonlinear programs in the constraints has been presented in a subsequent paper [2], A procedure for transforming mathematical programs with two-sided optimization prob...
Stereotactic radiosurgery (SRS) is the accurate, conformal delivery of high-dose radiation to well-defined targets while minimizing normal structure doses via steep dose gradients. While inverse treatment planning (ITP) with computerized optimization algorithms are routine, many aspects of the planning process remain user-dependent. We performed an international, multi-institutional benchmark t...
In the present economic context, the operating theater is considered as a critical activity in health care management. This paper describes a model for operating room (OR) planning under constraint of a unique equipment. At first level we schedule elective surgeries under the uncertainty of using a unique equipment. At the second level we consider emergency surgeries, and at the third le...
Proof planning is an application of Artiicial Intelligence (AI)-planning in mathematical domains for theorem proving. The paper presents a knowledge-based proof planning approach that is implemented in the OMEGA proof planner. It evaluates control-rules in order to restrict the otherwise intractable search spaces and combines proof planning with domain-speciic constraint solving. Several AI-tec...
A large body of work exists in process industry supply chain optimisation. We describe the state of the art of research in infrastructure design, modelling and analysis and planning and scheduling, together with some industrial examples. We will consider two network design type problems in more detail and then draw some conclusions about the degree to which different classes of problem have bee...
Proof Planning Proof planning considers mathematical theorems as planning problems. A proof planning problem is defined by an initial state specified by the proof assumptions, the goal state given by the theorem to be proved, and a set of planning operators called methods. Finding a proof corresponds therefore to searching for a sequence of planning operators that derive the theorem from the as...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید