Log in

Relevant bibliographies by topics / Problem Solver / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Problem Solver.

Dissertations / Theses on the topic 'Problem Solver'

Author: Grafiati

Published: 4 June 2021

Last updated: 19 February 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Problem Solver.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Hoessen, Benoît. "Solving the Boolean satisfiability problem using the parallel paradigm." Thesis, Artois, 2014. http://www.theses.fr/2014ARTO0406/document.

Full text

Abstract:

Cette thèse présente différentes techniques permettant de résoudre le problème de satisfaction de formule booléenes utilisant le parallélisme et du calcul distribué. Dans le but de fournir une explication la plus complète possible, une présentation détaillée de l'algorithme CDCL est effectuée, suivi d'un état de l'art. De ce point de départ, deux pistes sont explorées. La première est une amélioration d'un algorithme de type portfolio, permettant d'échanger plus d'informations sans perte d'efficacité. La seconde est une bibliothèque de fonctions avec son interface de programmation permettant d

APA, Harvard, Vancouver, ISO, and other styles

2

Danieli, Adrian B. (Adrian Brian) 1975. "A Tsume-Go life & death problem solver." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50434.

Full text

Abstract:

Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.<br>Includes bibliographical references (p. 61-62).<br>by Adrian B. Danieli.<br>S.B.and M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

3

Geary, John Michael. "Social work skills : roles of the problem solver /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303841346.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lampl, Damian. "Smart Grid Optimization Using a Capacitated Transshipment Problem Solver." Thesis, North Dakota State University, 2013. https://hdl.handle.net/10365/27120.

Full text

Abstract:

A network flow model known as the capacitated transshipment problem, or CTP, can represent key aspects of a smart grid test network with the goal of finding minimum cost electric power flows using multiple different cost performance metrics. A custom CTP Solver was developed and implemented as an ASP.NET web application in an effort to study these various minimum cost smart grid problems and provide their optimal solutions. The CTP Solver modifies traditional linear programming concepts by introducing object oriented software development practices, as well as an insightful innovation for handl

APA, Harvard, Vancouver, ISO, and other styles

5

Ahmadi, Ehsan. "SOLVING INCREMENTAL SPECIFICATIONS USING Z3 SMT SOLVER." OpenSIUC, 2016. https://opensiuc.lib.siu.edu/theses/2036.

Full text

Abstract:

Many problems in nature can be represented as some kind of a satisfiability problem. Several SAT solvers and SMT solvers have been developed in the last decade with the goal of checking the satisfiability of different SAT problems. An all-solution satisfiability modulo theories on top of the Z3 SMT solver is presented that uses the clause blocking algorithm to find all the solution sets of a SAT problem. Then, an incremental All-SMT solver has been presented based on the all-SMT solver which is able to find the satisfiable answers of an incremental SMT problem based on the solution set of the

APA, Harvard, Vancouver, ISO, and other styles

6

Bain, Stuart, and n/a. "Evolving Algorithms for Over-Constrained and Satisfaction Problems." Griffith University. School of Information and Communication Technology, 2007. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20071126.080227.

Full text

Abstract:

The notion that a universally effective problem solver may still exist, and is simply waiting to be found, is slowly being abandoned in the light of a growing body of work reporting on the narrow applicability of individual heuristics. As the formalism of the constraint satisfaction problem remains a popular choice for the representation of problems to be solved algorithmically, there exists an ongoing need for new algorithms to effciently handle the disparate range of problems that have been posed in this representation. Given the costs associated with manually applying human algorithm develo

APA, Harvard, Vancouver, ISO, and other styles

7

Bain, Stuart. "Evolving Algorithms for Over-Constrained and Satisfaction Problems." Thesis, Griffith University, 2007. http://hdl.handle.net/10072/365848.

Full text

Abstract:

The notion that a universally effective problem solver may still exist, and is simply waiting to be found, is slowly being abandoned in the light of a growing body of work reporting on the narrow applicability of individual heuristics. As the formalism of the constraint satisfaction problem remains a popular choice for the representation of problems to be solved algorithmically, there exists an ongoing need for new algorithms to effciently handle the disparate range of problems that have been posed in this representation. Given the costs associated with manually applying human algorithm develo

APA, Harvard, Vancouver, ISO, and other styles

8

Li, Changqing. "Wave Diffraction and Refraction Problem and a Block-Wise Band Matrix Solver." W&M ScholarWorks, 1995. https://scholarworks.wm.edu/etd/1539617698.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Molari, Luca. "Algoritmi di ottimizzazione per il bus touring problem." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/9275/.

Full text

Abstract:

Nel campo della Ricerca Operativa e dei problemi di ottimizzazione viene presentato un problema, denominato Bus Touring Problem (BTP), che modella una problematica riguardante il carico e l’instradamento di veicoli nella presenza di di vincoli temporali e topologici sui percorsi. Nel BTP, ci si pone il problema di stabilire una serie di rotte per la visita di punti di interesse dislocati geograficamente da parte di un insieme di comitive turistiche, ciascuna delle quali stabilisce preferenze riguardo le visite. Per gli spostamenti sono disponibili un numero limitato di mezzi di trasporto, i

APA, Harvard, Vancouver, ISO, and other styles

10

Thi, Thanh Truc Vu. "Testing and optimization of Unicorn Fluid-Structure Interaction solver for simulating an industrial problem." Thesis, KTH, Numerisk analys, NA, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-139104.

Full text

Abstract:

In industry applications, such as power supply plants, the issue of interaction between fluid and structure is always presented. More precisely, the fluid flow affects the structure by applying force(s) on it and vice versa. As a result, the structure can move (vibrate) or deform. A good understanding of this problem can help to design the system in term of safety, stability and efficiency. This project aims to optimize and test the Unicorn FSI solver from the FEniCS project [1] to simulate the interaction of fluid and structure in an experiment, which was carried out at Vattenfall Research an

APA, Harvard, Vancouver, ISO, and other styles

11

Hunt, John. "A task specific integration architecture for multiple problem solver, model-based, diagnostic expert systems." Thesis, Aberystwyth University, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Punch, William F. "A diagnosis system using a task integrated problem solver architecture (TIPS), including causal reasoning /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487599963589822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Suzuki, Atsushi. "A Parallel Finite Element Solver for Large-Scale 3-D Stokes Problem and its Application to Earth's Mantle Convection Problem." 京都大学 (Kyoto University), 2003. http://hdl.handle.net/2433/148278.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Huang, Shuo. "A New Multidomain Approach and Fast Direct Solver for the Boundary Element Method." University of Cincinnati / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1505125721346283.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Ada, Ketchie, Nehe Meret, and Shapira Hila. "For the Creative Problem-Solver : An Integrated Process of Design Thinking and Strategic Sustainable Development." Thesis, Blekinge Tekniska Högskola, Sektionen för ingenjörsvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4208.

Full text

Abstract:

Since the dawn of humanity design has influenced human life. Today, facing the depletion of the socio-ecological system, increasing complex problems threaten humanity’s existence. Design has been a contributor to creating such problems, yet with appropriate tools can become a source for solutions. Design Thinking (DT) was identified as a possible approach that could contribute to Strategic Sustainable Development (SSD). The purpose of this thesis is to examine potential contributors and hindrances of the DT process with regards to SSD, and create a prototype for an integrated process that coul

APA, Harvard, Vancouver, ISO, and other styles

16

Genc, Balkan Ziya. "Implementation And Comparison Of Turbulence Models On A Flat Plate Problem Using A Navier-stokes Solver." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/1096668/index.pdf.

Full text

Abstract:

For turbulent flow calculations, some of the well-known turbulence models in the literature are applied on a previously developed Navier-Stokes solver designed to handle laminar flows. A finite volume formulation, which is cell-based for inviscid terms and cell-vertex for viscous terms, is used for numerical discretization of the Navier-Stokes equations in conservative form. This formulation is combined with one-step, explicit time marching Lax-Wendroff numerical scheme that is second order accurate in space. To minimize non-physical oscillations resulting from the numerical scheme, second and

APA, Harvard, Vancouver, ISO, and other styles

17

Talal, Khan Muhammad. "Formulation of the power flow problem in human readable form for translation into an efficient solver." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-201090.

Full text

Abstract:

Power systems are complex systems that need supervision and control to operatereliably and safely. Energy Management Systems (EMS)/SCADA provides the necessary aids formonitoring and control of power systems. Since power ow forms the basis of power system analysis,power ow solvers (PFS) are an integral part of EMS/SCADA systems. With the evolving powersystems new challenges appear which force new functionalities and requirements on EMS/SCADA,these in turn are translated into requirements on the PFS. Current EMS/SCADA utilize PFS thatwere developed in the 1970's and 1980's. Maintaining and upgr

APA, Harvard, Vancouver, ISO, and other styles

18

Oriani, Mattia. "A mixed hybrid finite volumes solver for robust primal and adjoint CFD." Thesis, Queen Mary, University of London, 2018. http://qmro.qmul.ac.uk/xmlui/handle/123456789/39760.

Full text

Abstract:

In the context of gradient-based numerical optimisation, the adjoint method is an e cient way of computing the gradient of the cost function at a computational cost independent of the number of design parameters, which makes it a captivating option for industrial CFD applications involving costly primal solves. The method is however a ected by instabilities, some of which are inherited from the primal solver, notably if the latter does not fully converge. The present work is an attempt at curbing primal solver limitations with the goal of indirectly alleviating adjoint robustness issues. To th

APA, Harvard, Vancouver, ISO, and other styles

19

Serédi, Silvester. "Evoluční algoritmy v úloze booleovské splnitelnosti." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-236224.

Full text

Abstract:

The goal of this Master's Thesis is finding a SAT solving heuristic by the application of an evolutionary algorithm. This thesis surveys various approaches used in SAT solving and some variants of evolutionary algorithms that are relevant to this topic. Afterwards the implementation of a linear genetic programming system that searches for a suitable heuristic for SAT problem instances is described, together with the implementation of a custom SAT solver which expoloits the output of the genetic program. Finally, the achieved results are summarized.

APA, Harvard, Vancouver, ISO, and other styles

20

Immler, Fabian [Verfasser], Tobias [Akademischer Betreuer] Nipkow, Tobias [Gutachter] Nipkow, and Warwick [Gutachter] Tucker. "A Verified ODE Solver and Smale's 14th Problem / Fabian Immler ; Gutachter: Tobias Nipkow, Warwick Tucker ; Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2018. http://d-nb.info/1163013404/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Pham, Duc Nghia, and n/a. "Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems." Griffith University. Institute for Integrated and Intelligent Systems, 2006. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070216.143447.

Full text

Abstract:

Recent research has shown that it is often preferable to encode real-world problems as propositional satisfiability (SAT) problems and then solve using a general purpose SAT solver. However, much of the valuable information and structure of these realistic problems is flattened out and hidden inside the corresponding Conjunctive Normal Form (CNF) encodings of the SAT domain. Recently, systematic SAT solvers have been progressively improved and are now able to solve many highly structured practical problems containing millions of clauses. In contrast, state-of-the-art Stochastic Local Search (S

APA, Harvard, Vancouver, ISO, and other styles

22

Pham, Duc Nghia. "Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems." Thesis, Griffith University, 2006. http://hdl.handle.net/10072/365503.

Full text

Abstract:

Recent research has shown that it is often preferable to encode real-world problems as propositional satisfiability (SAT) problems and then solve using a general purpose SAT solver. However, much of the valuable information and structure of these realistic problems is flattened out and hidden inside the corresponding Conjunctive Normal Form (CNF) encodings of the SAT domain. Recently, systematic SAT solvers have been progressively improved and are now able to solve many highly structured practical problems containing millions of clauses. In contrast, state-of-the-art Stochastic Local Search (S

APA, Harvard, Vancouver, ISO, and other styles

23

Daniel, James Gray. "Technical director as problem solver West Virginia University Division of Theatre and Dance's production of A flea in her ear /." Morgantown, W. Va. : [West Virginia University Libraries], 2007. https://eidr.wvu.edu/etd/documentdata.eTD?documentid=5531.

Full text

Abstract:

Thesis (M.F.A.)--West Virginia University, 2007.<br>Title from document title page. Document formatted into pages; contains iv, 61 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 23).

APA, Harvard, Vancouver, ISO, and other styles

24

Dirks, Denise. "Mediation and a Problem Solving Approach to Junior Primary Mathematics." University of the Western Cape, 1996. http://hdl.handle.net/11394/8379.

Full text

Abstract:

Magister Educationis - MEd<br>This study argues that not all children in the Junior Primary phase benefit from the Problem Centred Approach in mathematics that was adapted by the Research, Unit for Mathematics at the University of Stellenbosch (RUMEUS). \One of the reasons could be that not all pupils can construct their own knowledge and methods. There are the highly capable pupils who cope well with this approach. These pupils are able to solve mathematical problems with little or no teacher interaction. Then there are the average and weaker pupils who cannot solve a mathematical problem

APA, Harvard, Vancouver, ISO, and other styles

25

Wallace, Ian Patrick. "Improved computational approaches to classical electric energy problems." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28922.

Full text

Abstract:

This thesis considers three separate but connected problems regarding energy networks: the load flow problem, the optimal power flow problem, and the islanding problem. All three problems are non-convex non linear problems, and so have the potential of returning local solutions. The goal of this thesis is to find solution methods to each of these problems that will minimize the chances of returning a local solution. The thesis first considers the load ow problem and looks into a novel approach to solving load flows, the Holomorphic Embedding Load Flow Method (HELM). The current literature does

APA, Harvard, Vancouver, ISO, and other styles

26

Ding, Jian. "Fast Boundary Element Method Solutions For Three Dimensional Large Scale Problems." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/6830.

Full text

Abstract:

Efficiency is one of the key issues in numerical simulation of large-scale problems with complex 3-D geometry. Traditional domain based methods, such as finite element methods, may not be suitable for these problems due to, for example, the complexity of mesh generation. The Boundary Element Method (BEM), based on boundary integral formulations (BIE), offers one possible solution to this issue by discretizing only the surface of the domain. However, to date, successful applications of the BEM are mostly limited to linear and continuum problems. The challenges in the extension of the BEM to n

APA, Harvard, Vancouver, ISO, and other styles

27

Nguyen, Thi Phong. "Direct and inverse solvers for scattering problems from locally perturbed infinite periodic layers." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLX004/document.

Full text

Abstract:

Nous sommes intéressés dans cette thèse par l'analyse de la diffraction directe et inverse des ondes par des couches infinies périodiques localement perturbées à une fréquence fixe. Ce problème a des connexions avec le contrôle non destructif des structures périodiques telles que des structures photoniques, des fibres optiques, des réseaux, etc. Nous analysons d'abord le problème direct et établissons certaines conditions sur l'indice de réfraction pour lesquelles il n'existe pas de modes guidés. Ce type de résultat est important car il montre les cas pour lesquels les mesures peuvent être eff

APA, Harvard, Vancouver, ISO, and other styles

28

Miller, Catherine Marie 1959. "Teachers as problem solvers/problem solvers as teachers: Teachers' practice and teaching of mathematical problem solving." Diss., The University of Arizona, 1996. http://hdl.handle.net/10150/282150.

Full text

Abstract:

This study investigated the relationship among three high school mathematics teachers definitions and beliefs about mathematical problem solving, their problem solving practices and how they teach mathematical problem solving. Each teacher was interviewed three times and observed once during a problem solving lesson. Data comprised of transcriptions of audio tapes, field notes, and completed problem solving checklists were used to prepare the case studies. While the definitions, practices and teaching of the teachers varied, the findings were consistent within each case. The results suggest th

APA, Harvard, Vancouver, ISO, and other styles

29

Ugarte, Crystal. "A numerical investigation of Anderson localization in weakly interacting Bose gases." Thesis, KTH, Numerisk analys, NA, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-269167.

Full text

Abstract:

The ground state of a quantum system is the minimizer of the total energy of that system. The aim of this thesis is to present and numerically solve the Gross-Pitaevskii eigenvalue problem (GPE) as a physical model for the formation of ground states of dilute Bose gases at ultra-low temperatures in a disordered potential. The first part of the report introduces the quantum mechanical phenomenon that arises at ground states of the Bose gases; the Anderson localization, and presents the nonlinear eigenvalue problem and the finite element method (FEM) used to discretize the GPE. The numerical met

APA, Harvard, Vancouver, ISO, and other styles

30

Bousmar, Khadija. "Conception d'un solveur matériel spécifique pour la résolution rapide du problème SAT appliqué à l'évaluation du risque en génie industriel." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0341.

Full text

Abstract:

Dans cette thèse, nous abordons un sujet dans le domaine du génie industriel se rapportant à la résolution d’un problème de décision, fondamental dans la théorie de la complexité et de la satisfiabilité propositionnelle, nommé SAT. Ce dernier est présenté généralement sous un formalisme mathématique, permettant de modéliser des problèmes complexes, tant académiques qu’issus du monde réel. Ces problèmes sont présentés sous une forme booléenne dans le but de tester leur faisabilité. Ils sont relatifs à plusieurs domaines applicatifs, tels que la vérification de matériels et logiciels, les téléco

APA, Harvard, Vancouver, ISO, and other styles

31

Procházka, Lukáš. "Redukce nedeterministických konečných automatů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-237032.

Full text

Abstract:

Nondeterministic finite automaton is an important tool, which is used to process strings in many different areas of programming. It is important to try to reduce its size for increasing programs' effectiveness. However, this problem is computationally hard, so we need to search for new techniques. Basics of finite automata are described in this work. Some methods for their reduction are then introduced. Usable reduction algorithms are described in greater detail. Then they are implemented and tested. The test results are finally evaluated.

APA, Harvard, Vancouver, ISO, and other styles

32

Bieszczad, Andrzej Carleton University Dissertation Engineering Systems and Computer. "Neuromorphic distributed general problem solvers." Ottawa, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Zhang, Huaibao. "HIGH TEMPERATURE FLOW SOLVER FOR AEROTHERMODYNAMICS PROBLEMS." UKnowledge, 2015. https://uknowledge.uky.edu/me_etds/64.

Full text

Abstract:

A weakly ionized hypersonic flow solver for the simulation of reentry flow is firstly developed at the University of Kentucky. This code is the fluid dynamics module of known as Kentucky Aerothermodynamics and Thermal Response System (KATS). The solver uses a second-order finite volume approach to solve the laminar Navier– Stokes equations, species mass conservation and energy balance equations for flow in chemical and thermal non-equilibrium state, and a fully implicit first-order backward Euler method for the time integration. The hypersonic flow solver is then extended to account for very l

APA, Harvard, Vancouver, ISO, and other styles

34

Price, Christopher John. "Model reuse in diverse problem solvers." Thesis, Aberystwyth University, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241799.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Araujo, Luiz Jonatã Pires de. "A hybrid methodology to solve the container loading problem with weight distribution and cutting problems." Universidade de Fortaleza, 2011. http://dspace.unifor.br/handle/tede/88221.

Full text

Abstract:

Made available in DSpace on 2019-03-29T23:27:59Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-09-27<br>Transport of goods has represented an important role in economic development throughout the history and ship containerization brought great advantages. Its invention in mid-1950s brought down the cost of transport and reduced time for loading and unloading cargo. Consequently, it increased efficiency of port working and reduced handling cargo to hours instead of weeks, as before. However, the good use of containerization involves new and specialized logistic process, a number of t

APA, Harvard, Vancouver, ISO, and other styles

36

Dewaal, Nicholas. "The Importance of the Riemann-Hilbert Problem to Solve a Class of Optimal Control Problems." Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd1759.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Venkata, Narasimha Koushik Srinath. "Ant Colony Optimization Technique to Solve Min-Max MultiDepot Vehicle Routing Problem." University of Cincinnati / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1324399082.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Lu, Zhaosong. "Algorithm Design and Analysis for Large-Scale Semidefinite Programming and Nonlinear Programming." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/7151.

Full text

Abstract:

The limiting behavior of weighted paths associated with the semidefinite program (SDP) map $X^{1/2}SX^{1/2}$ was studied and some applications to error bound analysis and superlinear convergence of a class of primal-dual interior-point methods were provided. A new approach for solving large-scale well-structured sparse SDPs via a saddle point mirror-prox algorithm with ${cal O}(epsilon^{-1})$ efficiency was developed based on exploiting sparsity structure and reformulating SDPs into smooth convex-concave saddle point problems. An iterative solver-based long-step primal-dual infeasible path-fo

APA, Harvard, Vancouver, ISO, and other styles

39

Beuchler, Sven. "Fast solvers for degenerated problems." Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200600611.

Full text

Abstract:

In this paper, finite element discretizations of the degenerated operator -ω<sup>2</sup>(y) u<sub>xx</sub>-ω<sup>2</sup>(x)u<sub>yy</sub>=g in the unit square are investigated, where the weight function satisfies ω(ξ)=ξ<sup>α</sup> with α ≥ 0. We propose two multi-level methods in order to solve the resulting system of linear algebraic equations. The first method is a multi-grid algorithm with line-smoother. A proof of the smoothing property is given. The second method is a BPX-like preconditioner which we call MTS-BPX preconditioner. We show

APA, Harvard, Vancouver, ISO, and other styles

40

Kohengadol, Roni A. "Nonlinear solvers for plasticity problems." Link to electronic thesis, 2004. http://www.wpi.edu/Pubs/ETD/Available/etd-0408104-111231.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Medina, Juan Pablo. "Bitter beers: a spatial orientation problem solved." Revista de Química, 2014. http://repositorio.pucp.edu.pe/index/handle/123456789/99714.

Full text

Abstract:

La determinación de la estereoquímica en los compuestos orgánicos ha sido un problema que la comunidad científica ha ido dando solución a lo largo de los años. Diferentes métodos han surgido, como la difracción de rayos X o los distintos tipos de Resonancia Magnética (RMN). Sin embargo, se acaba de descubrir que el método utilizado hasta ahora en la determinación de la configuración absoluta de los α-ácidos, que provienen del lúpulo utilizado en la elaboración de las cervezas bitter, parece que no era el correcto.<br>Determination of the stereochemistry of organic compounds has been a problem

APA, Harvard, Vancouver, ISO, and other styles

42

Lewis, Ryan. "A Problem Well Defined is Nearly Solved." University of Cincinnati / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1277124765.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Shaw-Hones, Gayle E. Haslam Elizabeth L. "Learning to solve problems within a pharmaceutical organization : designing problem and story-based constructivist e-learning environments /." Philadelphia, Pa. : Drexel University, 2008. http://hdl.handle.net/1860/2827.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Liestøl, Lars. "Adaption of a two phase solver for axisymmetric problems." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for energi- og prosessteknikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-18792.

Full text

Abstract:

This report documents the adaptation of a two dimensional two phaseNavier-Stokes solver to axisymmetric problems. The changes fromCartesian to cylindrical coordinates are thoroughly described with finitedifference methods for the heat equation, Poisson equation, singleand two phase Navier-Stokes equations.The jump conditions at interfacesare modified to accommodate these changes for the two phaseNavier-Stokes equations.The changes to the solver are done step by step, and every changeis verified through intermediate test cases with analytical solutions tolimit the possible sources of errors.Fin

APA, Harvard, Vancouver, ISO, and other styles

45

McCluskey, T. L. "Experience-driven heuristic acquisition in general problem solvers." Thesis, City University London, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234449.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Lopez, Lurdes. "HELPING AT-RISK STUDENTS SOLVE MATHEMATICAL WORD PROBLEMS THROUGH THE USE OF DIRECT INSTRUCTION AND PROBLEM SOLVING STRATEGIES." Master's thesis, University of Central Florida, 2008. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3193.

Full text

Abstract:

This action research study examined the influence mathematical strategies had on middle school students' mathematical ability. The purpose of this action research study was to observe students mathematical abilities and to investigate whether teaching students problem-solving strategies in mathematics will enhance student's mathematical thinking and their ability to comprehend and solve word problems. The study took place in an urban school in Orlando, Florida in the fall of 2004. The subjects will be 12 eighth grade students assigned to my intensive math class. Quantitative data was collected

APA, Harvard, Vancouver, ISO, and other styles

47

Nemani, Ashish Kumar. "Combinational approaches to solve scheduling problems." [Gainesville, Fla.] : University of Florida, 2009. http://purl.fcla.edu/fcla/etd/UFE0041090.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Drexler, Michael. "Newton's method as a global solver for non-linear problems." Thesis, University of Oxford, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360197.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Whitford, Angela Tracy. "Heuristic approaches to solve the frequency assignment problem." Thesis, Goldsmiths College (University of London), 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321956.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Vazquez, ortiz Karla Esmeralda. "Advanced methods to solve the maximum parsimony problem." Thesis, Angers, 2016. http://www.theses.fr/2016ANGE0015/document.

Full text

Abstract:

La reconstruction phylogénétique est considérée comme un élément central de divers domaines comme l’écologie, la biologie et la physiologie moléculaire pour lesquels les relations généalogiques entre séquences d’espèces ou de gènes, représentées sous forme d’arbres, peuvent apporter des éclairages significatifs à la compréhension de phénomènes biologiques. Le problème de Maximum de Parcimonie est une approche importante pour résoudre la reconstruction phylogénétique en se basant sur un critère d’optimalité pour lequel l’arbre comprenant le moins de mutations est préféré. Dans cette thèse nous

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!