نتایج جستجو برای: rigorous procedure

تعداد نتایج: 649143  

Journal: :J. Global Optimization 2015
Ferenc Domes Arnold Neumaier

This paper considers the problem of finding and verifying feasible points for constraint satisfaction problems, including those with uncertain coefficients. The main part is devoted to the problem of finding a narrow box around an approximately feasible solution for which it can be rigorously and automatically proved that it contains a feasible solution. Some examples demonstrate difficulties w...

2011
Bridie Angela Evans Emma Bedson Philip Bell Hayley Hutchings Lesley Lowes David Rea Anne Seagrove Stefan Siebert Graham Smith Helen Snooks Marie Thomas Kym Thorne Ian Russell

Background Involving service users in research is encouraged as a way to improve research quality, relevance and accountability and is a pre-requisite for many funding bodies. Existing guidance for researchers on how to do this mainly discusses general principles. Some researchers may question the value, feasibility and impact of including service users and limit the scope of involvement. We de...

Journal: :Scientific American 1914

Journal: :Journal of Network and Computer Applications 2012

Journal: :Proceedings of the International Astronomical Union 2008

Journal: :SIAM Journal on Applied Dynamical Systems 2012

Journal: :Journal of Physics: Conference Series 2006

Journal: :Mathematics 2022

In this paper, we present a numerical approach to solving singularly perturbed semilinear convection-diffusion problems. The nonlinear part of the problem is linearized via quasilinearization technique. We then design and implement fitted operator finite difference method solve sequence linear problems that emerges from process. carry out rigorous analysis attest convergence proposed procedure ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید