Log in

Relevant bibliographies by topics / SOLVER program / Dissertations / Theses

To see the other types of publications on this topic, follow the link: SOLVER program.

Dissertations / Theses on the topic 'SOLVER program'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

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 'SOLVER program.'

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

Stewart, Charles. "Automated Selected of Mixed Integer Program Solver Parameters." VCU Scholars Compass, 2010. http://scholarscompass.vcu.edu/etd/2137.

Full text

Abstract:

This paper presents a method that uses designed experiments and statistical models to extract information about how solver parameter settings perform for classes of mixed integer programs. The use of experimental design facilitates fitting a model that describes the response surface across all combinations of parameter settings, even those not explicitly tested, allowing identification of both desirable and poor settings. Identifying parameter settings that give the best expected performance for a specific class of instances and a specific solver can be used to more efficiently solve a large s

APA, Harvard, Vancouver, ISO, and other styles

2

Zhang, Lei Ph D. Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science. "A fast 3D full-wave solver for nanophotonics." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/39327.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Computation for Design and Optimization Program, 2007.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 57-61).<br>Conventional fast integral equation solvers seem to be ideal approaches for simulating 3-D nanophotonic devices, as these devices are considered to be open structures, generating fields in both an interior channel and in the infinite exterior domain. However, many devices of interest, s

APA, Harvard, Vancouver, ISO, and other styles

3

Bozic, Vladan. "Three-stage Hermite-Birkhoff-Taylor ODE solver with a C++ program." Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/27751.

Full text

Abstract:

One-step 3-stage Hermite-Birkhoff-Taylor methods, denoted by HBT( p)3, are constructed for solving nonstiff systems of first-order differential equations of the form y' = f( x, y), y(x0) = y0. The method uses derivatives y' to y(p--2) as in Taylor methods and is combined with a 3-stage Runge-Kutta method of order 3. Forcing a Taylor expansion of the numerical solution to agree with an expansion of the true solution leads to Taylor- and Runge-Kutta-type order conditions, which are then reorganized into Vandermonde-type linear systems whose solutions are the coefficients of the method. The ne

APA, Harvard, Vancouver, ISO, and other styles

4

Yano, Masayuki Ph D. Massachusetts Institute of Technology. "Massively parallel solver for the high-order Galerkin Least-Squares method." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/54217.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Computation for Design and Optimization Program, 2009.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student submitted PDF version of thesis.<br>Includes bibliographical references (p. 85-91).<br>A high-order Galerkin Least-Squares (GLS) finite element discretization is combined with massively parallel implicit solvers. The stabilization parameter of the GLS discretization is modified to improve the resolution characteri

APA, Harvard, Vancouver, ISO, and other styles

5

Li, Yi. "Variable-step variable-order 3-stage Hermite-Birkhoff ODE solver of order 5 to 15 with a C++ program." Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/28001.

Full text

Abstract:

Variable-step variable-order 3-stage Hermite-Birkhoff (HB) methods HB( p)3 of order p = 5 to 15 are constructed for solving nonstiff differential equations. Forcing a Taylor expansion of the numerical solution to agree with an expansion of the true solution leads to multistep and Runge-Kutta type order conditions which are reorganized into linear confluent Vandermonde-type systems of HB type. Fast algorithms are developed for solving these systems in O(p2) operations to obtain HB interpolation polynomials in terms of generalized Lagrange basis functions. The order and stepsize of these methods

APA, Harvard, Vancouver, ISO, and other styles

6

Zhang, Yu. "Variable-step variable-order 3-stage Hermite-Birkhoff-Obrechkoff ODE solver of order 4 to 14 with a C program." Thesis, University of Ottawa (Canada), 2007. http://hdl.handle.net/10393/27500.

Full text

Abstract:

Variable-step variable-order 3-stage Hermite-Birkhoff-Obrechkoff methods of order 4 to 14, denoted by HBO(4-14)3, are constructed for solving nonstiff systems of first-order differential equations of the form y' = f (x, y), y( x0) = y0. These methods use y' and y" as in Obrechkoff's method. Forcing a Taylor expansion of the numerical solution to agree with an expansion of the true solution leads to multistep- and Runge-Kutta-type order conditions which are reorganized into linear Vandermonde-type systems. Fast algorithms are developed for solving these systems to obtain Hermite-Birkhoff inte

APA, Harvard, Vancouver, ISO, and other styles

7

Zhuang, Yuchuan. "Variable-step variable-order 2-stage Hermite-Birkhoff-Obrechkoff ODE solver of order 3 to 14 with a C program." Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/27746.

Full text

Abstract:

Variable-step variable-order 2-stage Hermite-Birkhoff-Obrechkoff (HBO) methods, HBO(p)2, of order p = 3 to 14, named HBO(3-14)2, are constructed for solving nonstiff first-order differential equations. Forcing an expansion of the numerical solution to agree with a Taylor expansion of the true solution leads to multistep and Runge-Kutta type order conditions which are reorganized into linear Vandermonde-type systems of HBO type. Fast algorithms are developed for solving these systems in O( p2) operations to obtain Hermite-Birkhoff interpolation polynomials in terms of generalized Lagrange basis

APA, Harvard, Vancouver, ISO, and other styles

8

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

9

Ferrer, Esteban. "A high order Discontinuous Galerkin - Fourier incompressible 3D Navier-Stokes solver with rotating sliding meshes for simulating cross-flow turbines." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:db8fe6e3-25d0-4f6a-be1b-6cde7832296d.

Full text

Abstract:

This thesis details the development, verification and validation of an unsteady unstructured high order (≥ 3) h/p Discontinuous Galerkin - Fourier solver for the incompressible Navier-Stokes equations on static and rotating meshes in two and three dimensions. This general purpose solver is used to provide insight into cross-flow (wind or tidal) turbine physical phenomena. Simulation of this type of turbine for renewable energy generation needs to account for the rotational motion of the blades with respect to the fixed environment. This rotational motion implies azimuthal changes in blade aero

APA, Harvard, Vancouver, ISO, and other styles

10

Жужгов, А. И., та A. I. Zhuzhgov. "Разработка web-приложения решения задачи оптимизации затрат на перевозку продукции : магистерская диссертация". Master's thesis, б. и, 2021. http://hdl.handle.net/10995/99886.

Full text

Abstract:

Объектом исследования является процесс транспортных перевозок. Предметом исследования выступают пункты потребления и пункты производства, автоматизация системы расчета оптимальной стоимости перевозки. Поставленные задачи: 1. Возможность ввода, корректировки и сохранения вариантов расчёта по оптимизации. 2. Отображение результатов расчета в графическом виде на пользовательской форме. Целью данной работы является создание информационного Web-приложения, который позволит рассчитывать оптимальную стоимость перевозки продукции, предоставлять пользователю результаты расчета в графическом виде. Науч

APA, Harvard, Vancouver, ISO, and other styles

11

ALMEIDA, VALMOR FERNANDES DE. "A COMPUTER PROGRAM TO SOLVE THE THREE-DIMENSIONAL TRANSPORT PHENOMENA EQUATIONS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1989. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=19128@1.

Full text

Abstract:

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>Neste trabalho desenvolveu-se um programa numérico geral capaz de resolver as equações de transporte tridimensionais parabólicas típicas da modelagem de problemas da mecânica dos fluidos e transferência de calor e massa. Utilizou-se o método de diferença finitas com formulação em volumes de controle (volumes finitos) e o esquema de discretização power law. O método de discretização utilizado na direção principal do escoamento (direção parabólica) é totalmente implícito. O sistema de equações obtido é resolvido por métodos iterati

APA, Harvard, Vancouver, ISO, and other styles

12

Foster, Andrew Wallace. "Predicting solder defects in printed circuit board assembly (PCBA) process." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122584.

Full text

Abstract:

Thesis: M.B.A., Massachusetts Institute of Technology, Sloan School of Management, 2019, In conjunction with the Leaders for Global Operations Program at MIT<br>Thesis: S.M., Massachusetts Institute of Technology, Department of Civil and Environmental Engineering, 2019, In conjunction with the Leaders for Global Operations Program at MIT<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 72-76).<br>Printed circuit boards (PCBs) are core components of virtually every modern electronic device, from smartphones to servers. Accordingly, printed circuit board ass

APA, Harvard, Vancouver, ISO, and other styles

13

Shariati, Saeed. "A solver for sets of linear systems for neural network simuations in CUDA." reponame:Repositório Institucional da UFABC, 2014.

Find full text

Abstract:

Orientador: Prof. Raphael Yokoingawa de Camargo<br>Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Neurociência e Cognição, 2014.<br>Nowadays, utilizing co-processors, accelerators and specially GPGPU computation are widely accepted as a new paradigm of High Performance Computing (HPC). However, developing softwares that can utilize available resources still remains a challenging task. In other side, scientist have used legacy CPU-based simulators for decades and many of them are still the main tools in different fields of science. In fact, any activity that

APA, Harvard, Vancouver, ISO, and other styles

14

Richards, James E. S. M. Massachusetts Institute of Technology. "Integrating the Army Geospatial Enterprise : synchronizing geospatial-intelligence to the dismounted soldier." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/59269.

Full text

Abstract:

Thesis (S.M. in System Design and Management)--Massachusetts Institute of Technology, Engineering Systems Division, 2010.<br>"June 2010." Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 124-126).<br>The Army's Geospatial Enterprise (AGE) has an emerging identity and value proposition arising from the need to synchronize geospatial information activities across the Army in order to deliver value to military decision makers. Recently, there have been significant efforts towards increasing the capability of the enterprise to create value for its diverse stakeholde

APA, Harvard, Vancouver, ISO, and other styles

15

Liu, Tianhai [Verfasser], and B. [Akademischer Betreuer] Beckert. "Efficient Verification of Programs with Complex Data Structures Using SMT Solvers / Tianhai Liu ; Betreuer: B. Beckert." Karlsruhe : KIT-Bibliothek, 2018. http://d-nb.info/1163320420/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Bekmann, Joachim Peter Computer Science &amp Engineering Faculty of Engineering UNSW. "Rapid development of problem-solvers with HeurEAKA! - a heuristic evolutionary algorithm and incremental knowledge acquisition approach." Awarded by:University of New South Wales. School of Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/25748.

Full text

Abstract:

A new approach for the development of problem-solvers for combinatorial problems is proposed in this thesis. The approach combines incremental knowledge acquisition and probabilistic search algorithms, such as evolutionary algorithms, to allow a human to rapidly develop problem-solvers in new domains in a framework called HeurEAKA. The approach addresses a known problem, that is, adapting evolutionary algorithms to the search domain by the introduction of domain knowledge. The development of specialised problem-solvers has historically been labour intensive. Implementing a problem-solver from

APA, Harvard, Vancouver, ISO, and other styles

17

Desai, Jitamitra. "A Discrete Optimization Approach to Solve a Reader Location Problem for Estimating Travel Times." Thesis, Virginia Tech, 2002. http://hdl.handle.net/10919/32683.

Full text

Abstract:

Traffic incidents routinely impact the flow of vehicles on roadways. These incidents need to be identified, and responded to in a timely fashion in order to keep traffic moving safely and efficiently. One of the main areas of transportation research that remains of contemporary interest is the study of travel times. Travel time information technologies, until very recently, have not been efficient enough to provide instantaneous information for managing traffic flow. The Virginia Department of Transportation (VDOT) currently operates a number of surveillance technologies. Of particular inter

APA, Harvard, Vancouver, ISO, and other styles

18

Sapol, Stephen J. (Stephen John). "A systems approach to leadership and soldier health and discipline in the United States Army." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/111288.

Full text

Abstract:

Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, Engineering Systems Division, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 118-121).<br>The United States Army is entering a period of strategic reset after more than a decade of intense combat operations. One of the most critical areas of this reset is ensuring the health and discipline of the force remains intact. There are factors, both health and discipline, which drive high-risk behaviors by soldiers. Therefore it is critical to understand if the system is ade

APA, Harvard, Vancouver, ISO, and other styles

19

Schulze, Frielinghaus Stefan [Verfasser], Helmut [Akademischer Betreuer] Seidl, Markus [Gutachter] Müller-Olm, and Helmut [Gutachter] Seidl. "Interprocedural Program Analysis : Herbrand Equalities and Local Solvers / Stefan Schulze Frielinghaus ; Gutachter: Markus Müller-Olm, Helmut Seidl ; Betreuer: Helmut Seidl." München : Universitätsbibliothek der TU München, 2018. http://d-nb.info/1153882663/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Singh, Sanprit. "Business model analysis of mobitto: how to solve the chicken and egg problem of a multi-sided platform?" Master's thesis, NSBE - UNL, 2013. http://hdl.handle.net/10362/11668.

Full text

Abstract:

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics<br>The present work project is a business model analysis of Mobitto. Mobitto is a Lisbon-based multi-sided platform that creates value by enabling direct interactions between two sides, namely businesses and consumers, through a mobile smartphone application. Businesses can advertise campaigns to consumers through the application. Purchases through the application are rewarded with loyalty points. Mobitto takes a 30% margin on the transactions o

APA, Harvard, Vancouver, ISO, and other styles

21

Marušák, Matej. "Generická syntéza invariantů v programu založená na šablonách." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2019. http://www.nusl.cz/ntk/nusl-403166.

Full text

Abstract:

Cieľom tejto práce je návrh a implementácia generického strategy solveru pre nástroj 2LS. 2LS je analyzátor na statickú verifikáciu programov napísaných v jazyku C. Verifikovaný program je za využita abstraktnej interpretácie analyzovaný SMT solverom. Prevod z ab- straktného stavu programu do logickej formule, s ktorou vie pracovať SMT solver vykonáva komponenta nazývaná strategy solver. Aktuálne pre každú doménu existuje jeden takýto solver. Navrhované riešenie vytvára jeden obecný strategy solver, ktorý zjednodušuje tvorbu nových domén. Zároveň navrhovaný spôsob umožnuje prevedenie existujúc

APA, Harvard, Vancouver, ISO, and other styles

22

Dancho, Natalie. "Training Program Evaluation for a Prototype Command, Control & Communication System: Soldier Requirements, Performance & Feedback." TopSCHOLAR®, 1989. https://digitalcommons.wku.edu/theses/2243.

Full text

Abstract:

An Army training program was evaluated in order to present recommendations for program refinement. The training program, developed as part of two larger Army combat development (CD) studies (DuBois & Smith, 1989a, 1989b), represents an attempt to define program design requirements for training tank commanders to use the Intervehicular Information System (IVIS). IVIS is a computer-based command, control, and communications system proposed for future M1A1 tank upgrades. Twenty-four Army tank commanders (TCs) participated in the research effort. TCs were of various rank and age. Training and test

APA, Harvard, Vancouver, ISO, and other styles

23

Holuša, Radim. "Návrh systému hodnocení a odměňování vojáků armády České republiky." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2012. http://www.nusl.cz/ntk/nusl-223673.

Full text

Abstract:

This dissertation is dedicated to the evaluation and remuneration processes career soldiers in the Army of the Czech Republic. The main goal is to make an analysis of evaluation and remuneration in the company and on the basis of research make a suggestion to improve these processes. In the theoretic part are explained the basic conceptions as the evaluation and remuneration that are related with army background and the requirements laid to regular soldiers. In the practical part is the chosen company described and the research, that contains of questionnaire commanders and career soldiers. In

APA, Harvard, Vancouver, ISO, and other styles

24

Maluk, Saib. "Students’ Use of IT to Solve Group-Oriented Educational Tasks within a Course : A study of IT Management Master Program at Umeå University." Thesis, Umeå universitet, Institutionen för informatik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-185871.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Gibson, Mark G. "The need for object-oriented systems to extend or replace the relational database model to solve performance problems." Virtual Press, 1992. http://liblink.bsu.edu/uhtbin/catkey/834637.

Full text

Abstract:

The relational model has dominated the database field because of its reduced application development time and non-procedural data manipulation features. It has significant problems, however, including weak integrity constraints. This paper discusses the need for object oriented techniques to improve on these flaws. Three existing DBMS will be discussed: IRIS, ORION, and OZ.<br>Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

26

Puelz, Michael. "A program to generate and validate new test versions of a neuropsychological planning test." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/834522.

Full text

Abstract:

Computers are used for diagnostic and training in the neuropsychological rehabilitation. PLANTEST is a program for the IBM-PC that was developed for diagnostic support. It implements a test that gives information about the reduced ability of brain-injured patients to make plans regarding a certain task.The presented thesis describes a knowledge-based system that can be used to develop new test versions for PLANTEST. The program is called SolvePT and it can prove the solubility of test material used in PLANTEST. It can also automatically generate new test material. The program uses an exhaustiv

APA, Harvard, Vancouver, ISO, and other styles

27

Maňas, Roman. "Adaptace a vzdělávání zaměstnanců v rezortu ministerstva obrany." Master's thesis, Vysoká škola ekonomická v Praze, 2010. http://www.nusl.cz/ntk/nusl-73267.

Full text

Abstract:

The aim of the thesis entitled ''Education and training of staff in the MoD'' is to analyze the current staff activities in the examined sector and to determine their development. In the first part are analyzed structural and legislative terms of the Ministry of Defense. Further the staff and the requirements imposed on it are analyzed. In conclusion, analyzing the factors motivating the new incoming employees, are mentioned. The work contains recommended methods for solving the current situation and the methods oriented to the long-term development of personal function too.

APA, Harvard, Vancouver, ISO, and other styles

28

Nnanyereugo, Iwuanyanwu Paul. "An analysis of pre-service teachers' ability to use a dialogical argumentation instructional model to solve mathematical problems in physics." University of the Western Cape, 2017. http://hdl.handle.net/11394/6252.

Full text

Abstract:

Philosophiae Doctor - PhD (Education)<br>This study chronicles a teacher training education programme. The findings emerged from the observation of argumentation skills employed by students in a physical science education classroom for pre-service high school teachers. Their task was to use the nature of arguments to solve mathematical problems of mechanics in a physics classroom. Forty first-year students were examined on how they used a dialogical argumentation instructional model (DAIM) based on Toulmin's (1958/2003) Argument Pattern (TAP), Downing's (2007) Analytical Model (DAM) and

APA, Harvard, Vancouver, ISO, and other styles

29

Bjørneng, Bjørn. "How to increase the understanding of differentials by using the Casio-calculator model 9860 G I/II to solve differential equations." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-79468.

Full text

Abstract:

The major aims of this paper are to present how we can improve the students understanding and involvement in mathematics by using a programming/graphic calculator. I will use differentials as examples such as differentiation ,integrals and differential equations, creating lines of slopes for differential equation of the type y’= f(x,y) . Find the solution of some differential equations by using regression and create the graph connected to the differential equation. As we have different approaches to solving a problem, it is a hope the students interest in mathematics will improve. The tools us

APA, Harvard, Vancouver, ISO, and other styles

30

Silva, Charles Biral. "Propriedades espectroscópicas de ftalocianinas com diferentes ligantes e núcleos metálicos." reponame:Repositório Institucional da UFABC, 2016.

Find full text

Abstract:

Orientador: Prof. Dr. Hueder Paulo Moisés de Oliveira<br>Dissertação (mestrado) - Universidade Federal do ABC. Programa de Pós-Graduação em Ciência e Tecnologia/Química, 2016.<br>As propriedades fotofísicas e fotoquímica de quatro ftalocianinas comerciais (parte A) foram investigadas em DMSO, DMSO80%/THF20%, DMSO60%/THF40%, DMSO40%/THF60%, DMSO20%/THF80% e THF (v/v). Quatro ftalocianinas foram sintetizadas (parte B), sendo elas a metil ftalocianina de zinco (MetZnPc), metil ftalocianina de cloro-alumínio (MetAlClPc), terc-butil ftalocianina de zinco (TbutZnPc) e terc-butil ftalocianina de clor

APA, Harvard, Vancouver, ISO, and other styles

31

Guney, Murat Efe. "High-performance direct solution of finite element problems on multi-core processors." Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/34662.

Full text

Abstract:

A direct solution procedure is proposed and developed which exploits the parallelism that exists in current symmetric multiprocessing (SMP) multi-core processors. Several algorithms are proposed and developed to improve the performance of the direct solution of FE problems. A high-performance sparse direct solver is developed which allows experimentation with the newly developed and existing algorithms. The performance of the algorithms is investigated using a large set of FE problems. Furthermore, operation count estimations are developed to further assess various algorithms. An out-of-core v

APA, Harvard, Vancouver, ISO, and other styles

32

Bernabeu, Llinares Miguel Oscar. "An open source HPC-enabled model of cardiac defibrillation of the human heart." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:9ca44896-8873-4c91-9358-96744e28d187.

Full text

Abstract:

Sudden cardiac death following cardiac arrest is a major killer in the industrialised world. The leading cause of sudden cardiac death are disturbances in the normal electrical activation of cardiac tissue, known as cardiac arrhythmia, which severely compromise the ability of the heart to fulfill the body's demand of oxygen. Ventricular fibrillation (VF) is the most deadly form of cardiac arrhythmia. Furthermore, electrical defibrillation through the application of strong electric shocks to the heart is the only effective therapy against VF. Over the past decades, a large body of research has

APA, Harvard, Vancouver, ISO, and other styles

33

Noubarangar, Rahmat. "Approche psychanalytique et psychopathologique des troubles identitaires chez les enfants soldats centrafricains et tchadiens une fois désarmés intégrés au programme : DDR (Désarmement, Démobilisation et Réinsertion) au Tchad." Thesis, Université de Paris (2019-....), 2019. http://www.theses.fr/2019UNIP7045.

Full text

Abstract:

La crise centrafricaine a eu pour conséquence un enrôlement d’enfants ; ce fait nous a conduit à mener cette recherche, intitulée : « Approche psychanalytique et psychopathologique des troubles identitaires chez les enfants soldats centrafricains et tchadiens une fois désarmés. Analyse du programme: DDR (désarmement, démobilisation et réinsertion) au Tchad ». Cette recherche a pour support clinique un stage effectué avec l’équipe de l’UNICEF dans le Centre de transit et d’orientation (CTO) N’Djamena. Elle s’enracine sur des observations, des entretiens et des activités thérapeutiques autour de

APA, Harvard, Vancouver, ISO, and other styles

34

Anyikame, Hans Awuru. "The role and effect of small arms in the recruitment of child soldiers in Africa: can the international law be strengthened?" Thesis, University of the Western Cape, 2011. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_5815_1365584973.

Full text

Abstract:

<p>It is an unfortunate and cruel reality that both government and armed groups used child soldiers during armed conflict. Child soldiers have become an integral part of government forces as well as insurgent groups in Africa and elsewhere. Most of them are being exploited as combatants, while others perform functions, such as porters, spies who are able to enter small spaces, cooks, messengers, lookouts, and even suicide bombers. Some of the most disturbing aspects of child soldiering are that some of them are being forced to kill or are themselves killed, sexually abused and are exposed to d

APA, Harvard, Vancouver, ISO, and other styles

35

Chvatík, Štěpán. "Asynchronní motor s vnějším rotorem." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-377075.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Yang, Cheng-Wen, and 楊正文. "Masyu solver program HLMasyuSolver." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/vueqmr.

Full text

Abstract:

碩士<br>國立東華大學<br>資訊工程學系<br>102<br>Due to small games on APPs become more popular. More and more puzzle games which are kinds of small games are developed. The most famous puzzle game is Sudoku. Others puzzle games such as Light up, Nulikabe, Nonogram, Masyu, and so many more are popular, too. This paper introduces single player AI problem-solving program of Masyu. The puzzle game Masyu is developed by the Japanese Nikoli Company. Masyu in Chinese as 黑白珠鍊, is a kind of logic puzzle game, which is similar to Sudoku. Sudoku is filled by the digital, but Masyu is to be filled in a two-dimensional b

APA, Harvard, Vancouver, ISO, and other styles

37

Laza, Marius. "A robust linear program solver for projectahedra." Thesis, 2002. http://hdl.handle.net/2429/12127.

Full text

Abstract:

Linear programming has a wide range of applications, optimization-related problems being one of them. Important concerns in linear programming are efficiency, robustness, and accuracy. Linear programming is used in a reachability analysis tool called Coho [GM99] for dynamical systems. Previous experience has shown that linear programs in this tool lead to highly ill-conditioned linear systems which prevented successful reachability analysis. This thesis presents a robust linear program solver with provable error bounds that exploits the special structure of the linear programs that resu

APA, Harvard, Vancouver, ISO, and other styles

38

Dania, Carolina Inés. "Análisis de refinamientos entre sistemas de transiciones modales basado en SAT." Bachelor's thesis, 2009. http://hdl.handle.net/11086/17.

Full text

Abstract:

Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.<br>Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, diseñar y mantener (éxitosamente) software de calidad y de gran escala (y en los tiempos estipulados). En busca de proveer garantías del correcto funcionamiento del software, surgieron una variedad de técnicas y metodologías de desarrollo con sólidas bases matemáticas y lógicas. Los sistemas de transición

APA, Harvard, Vancouver, ISO, and other styles

39

Ezudheen, P. "Learning Invariants for Verification of Programs and Control Systems." Thesis, 2022. https://etd.iisc.ac.in/handle/2005/5962.

Full text

Abstract:

Deductive verification techniques in the style of Floyd and Hoare have the potential to give us concise, compositional, and scalable proofs of the correctness of various kinds of software systems like programs and control systems. However, the major hurdle in adopting these techniques is that the verification engineer often needs to come up with adequate program invariants (like loop invariants), which may require a lot of expertise and manual effort. This thesis tries to address this problem by attempting to automate the process of finding adequate invariants, using machine learning and other

APA, Harvard, Vancouver, ISO, and other styles

40

Zaraket, Fadi A. 1974. "Program analysis with boolean logic solvers." Thesis, 2007. http://hdl.handle.net/2152/3672.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Pei-ShanHsin and 辛佩珊. "Using CCM Algorithm to Solve Nonlinear Program in Multiple Criteria Inventory Management." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/74011471558166591153.

Full text

Abstract:

碩士<br>國立成功大學<br>交通管理學系碩博士班<br>100<br>As the varieties of goods have increased to meet the demands of an uncertain market, inventory management has been gradually gaining in importance in recent years. ABC principle is the traditional way dealing with inventory management which classify all the items (SKUs) into three categories based on their valuation. In the past the sole criterion, Annual Dollar Usage (ADU) has been viewed as the only way to value SKUs; however, lots of scholars revealed that only one criterion would be insufficient, multiple criteria should be taken into account when tackl

APA, Harvard, Vancouver, ISO, and other styles

42

"Computing a Probabilistic Extension of Answer Set Program Language Using ASP and Markov Logic Solvers." Master's thesis, 2017. http://hdl.handle.net/2286/R.I.45538.

Full text

Abstract:

abstract: LPMLN is a recent probabilistic logic programming language which combines both Answer Set Programming (ASP) and Markov Logic. It is a proper extension of Answer Set programs which allows for reasoning about uncertainty using weighted rules under the stable model semantics with a weight scheme that is adopted from Markov Logic. LPMLN has been shown to be related to several formalisms from the knowledge representation (KR) side such as ASP and P-Log, and the statistical relational learning (SRL) side such as Markov Logic Networks (MLN), Problog and Pearl’s causal models (PCM). Formalis

APA, Harvard, Vancouver, ISO, and other styles

43

Chen, Li-Hung, and 陳麗紅. "An Action Research on Implementing an Instructional Program of PictureBooks to Solve the Peer Conflicts for the Elementary Second Graders." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/93318554046021441299.

Full text

Abstract:

碩士<br>臺北市立大學<br>學習與媒材設計學系課程與教學碩士學位班<br>104<br>Abstract This research adopted the method of action research by using picture books as instructional material in the curriculum in order to assist the elementary second graders to solve conflicts among the peers.There were three purposes of the research：(1)Implementing the setting of using picture books as instructional material in the curriculum to solve students’ conflicts among the peers.(2) Analyzing the learning achievement of the students in the course.(3) To explore the promotion and the reflection of the researcher in the action research. T

APA, Harvard, Vancouver, ISO, and other styles

44

Du, Chang-Ching, and 杜長青. "A Study on The Relationship Between The Army TV Educational Program and Central Faith of the Solider." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/42777843174450898291.

Full text

Abstract:

碩士<br>政治作戰學校<br>新聞研究所<br>94<br>Be stressing for 21 centuries that the Revolution in Military Affairs(RMA), although the type of the war continuously in the change, war of the essence still take "person" as a main key, so all countries still train a soldier the conviction that “Who leads to fight, why has to fight" with various education method, being coagulated with faith protect a strong strength of our country and develop the war capability of the high-tech weapon to the extreme achievement. The army political education set up the soldier beginning in Year 13 of the Republic of China from Hu

APA, Harvard, Vancouver, ISO, and other styles

45

Lin, Cheng-Hao, and 林政豪. "A Study of Elementary Young Students in an After-school Program Using Schematic Videoand Animated Diagrams to Solve Arithmetic Word Problems." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/19402857235511358237.

Full text

Abstract:

碩士<br>亞洲大學<br>資訊工程學系碩士在職專班<br>101<br>This study developed schematic video information system and animated diagrams to help elementary young students in an after-school program solve arithmetic real-life word problems. Some students are from low-income families, some are single parented, and some are under achievers. The single subject multiple-probe design across students was employed with 4 phases: base, intervention, maintenance and transfer. Paper and pencil tests were used in base and transfer phases, and computer tests were used in intervention and maintenance tests. The students were

APA, Harvard, Vancouver, ISO, and other styles

46

CHEN, CHEN-KAI, and 陳振愷. "A Study of Probe Spare Parts for Repairs Solve Program of Diminishing Manufacturing Sources and Material Shortages Using Dynamic Multi-Attribute Decision." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/99054777473828781459.

Full text

Abstract:

碩士<br>國防大學<br>運籌管理學系<br>104<br>Due to progresses of modern technology and fast manufacture technology development, parts and accessories of a weapon system reaches their renewal years with merely 4 to 7 years in average, resulting in the instant encounter of Diminishing Manufacturing Sources and Material Shortages to most of the weapon systems entering their mass production. This research aims to discuss influences to programs by criteria and weights in different time periods under an objective situation. We use Modified Delphi method to design our test questionnaires, and substitute the obtai

APA, Harvard, Vancouver, ISO, and other styles

47

Lin, Shu-Jing, and 林淑菁. "The effect of applying schematic drawing on the Primary School Resource Program Students to solve Multiplication and Division of Mathematic Word Problems for Positive Integer." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/76519271240171880799.

Full text

Abstract:

碩士<br>國立台北師範學院<br>特殊教育學系碩士班<br>91<br>Abstract The purpose of this study was to explore the influence of schematic drawing teaching strategies on the learning of solving multiplication and division of mathematic word problems for positive integer for the primary school resource program students. In order to examine the effect of schematic drawing, researcher adopted a multiple-baseline design and the analysis of teaching procedure. The finding was that it’s effective for the primary school resource program students to apply schematic drawing that were designed according to scaffo

APA, Harvard, Vancouver, ISO, and other styles

48

Yang, Shu-Fen, and 楊淑芬. "A Study on the Effects of the Primary School Resource Program Students Who Use Schematic Drawings to Solve Comparative Addition and Subtraction Applied Mathematics Problems." Thesis, 2001. http://ndltd.ncl.edu.tw/handle/86468298932493951843.

Full text

Abstract:

碩士<br>國立台北師範學院<br>特殊教育學系碩士班<br>89<br>This study examined the effects of three primary school resource program students to solve comparative addition and subtraction applied mathematics problems by using schematic drawings. In addition, the study also analyzed the difficulties that these students encountered during their learning of the strategy of schematic drawings to solve comparative addition and subtraction applied mathematics problems. This study was conducted by using single subject multiple probes across subjects design. The results indicated that: a.schematic draw

APA, Harvard, Vancouver, ISO, and other styles

49

Arora, Himanshu. "Checking Observational Purity of Procedures." Thesis, 2018. https://etd.iisc.ac.in/handle/2005/5298.

Full text

Abstract:

We provide two static analysis approaches(using theorem proving) that check if a given (recursive) procedure behaves as if it were stateless, even when it maintains state in global variables. In other words, we check if the given procedure behaves like a mathematical function. In order to eliminate the need for manual annotations, we make use of an invariant that makes use of uninterpreted function symbols. This invariant captures the set of reachable global states in all runs of the procedure, if the procedure is observationally pure. If the procedure is not observationally pure, this i

APA, Harvard, Vancouver, ISO, and other styles

50

Moreira, Daniel Filipe dos Santos. "Implementação de microgeração no sector residencial." Master's thesis, 2010. http://hdl.handle.net/10216/60292.

Full text

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!