Log in

Relevant bibliographies by topics / Algebras, Linear Algorithms / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Algebras, Linear Algorithms.

Dissertations / Theses on the topic 'Algebras, Linear Algorithms'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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 'Algebras, Linear Algorithms.'

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

Gunnels, John Andrew. "A systematic approach to the design and analysis of linear algebra algorithms." Access restricted to users with UT Austin EID Full text (PDF) from UMI/Dissertation Abstracts International, 2001. http://wwwlib.umi.com/cr/utexas/fullcit?p3037015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Porter, Annabelle Louise. "The evolution of equation-solving: Linear, quadratic, and cubic." CSUSB ScholarWorks, 2006. https://scholarworks.lib.csusb.edu/etd-project/3069.

Full text

Abstract:

This paper is intended as a professional developmental tool to help secondary algebra teachers understand the concepts underlying the algorithms we use, how these algorithms developed, and why they work. It uses a historical perspective to highlight many of the concepts underlying modern equation solving.

APA, Harvard, Vancouver, ISO, and other styles

3

Wu, Wenhao. "High-performance matrix multiplication hierarchical data structures, optimized kernel routines, and qualitative performance modeling /." Master's thesis, Mississippi State : Mississippi State University, 2003. http://library.msstate.edu/etd/show.asp?etd=etd-07092003-003633.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rocha, Eugénio Alexandre Miguel. "Uma Abordagem Algébrica à Teoria de Controlo Não Linear." Doctoral thesis, Universidade de Aveiro, 2003. http://hdl.handle.net/10773/21444.

Full text

Abstract:

Doutoramento em Matemática<br>Nesta tese de Doutoramento desenvolve-se principalmente uma abordagem algébrica à teoria de sistemas de controlo não lineares. No entanto, outros tópicos são também estudados. Os tópicos tratados são os seguidamente enunciados: fórmulas para sistemas de controlo sobre álgebras de Lie livres, estabilidade de um sistema de corpos rolantes, algoritmos para aritmética digital, e equações integrais de Fredholm não lineares. No primeiro e principal tópico estudam-se representações para as soluções de sistemas de controlo lineares no controlo. As suas trajetórias

APA, Harvard, Vancouver, ISO, and other styles

5

Yelkenci, Serhat. "Algorithmic Music Composition Using Linear Algebra." Thesis, Southern Illinois University at Edwardsville, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10275073.

Full text

Abstract:

<p> Sound, in its all forms, is a source of energy whose capabilities humankind is not yet fully aware of. Composition - the way of aggregating sounds into the form of music - still holds to be an unperceived methodology with lots of unknowns. Methodologies used by composers are generally seem as being innate talent, something that cannot be used or shared by others. Yet, as any other form of art, music actually is and can be interpreted with mathematics and geometry. The focus of this thesis is to propose a generative algorithm to compose structured music pieces using linear algebra as the ma

APA, Harvard, Vancouver, ISO, and other styles

6

Delaplace, Claire. "Algorithmes d'algèbre linéaire pour la cryptographie." Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S045/document.

Full text

Abstract:

Dans cette thèse, nous discutons d’aspects algorithmiques de trois différents problèmes, en lien avec la cryptographie. La première partie est consacrée à l’algèbre linéaire creuse. Nous y présentons un nouvel algorithme de pivot de Gauss pour matrices creuses à coefficients exacts, ainsi qu’une nouvelle heuristique de sélection de pivots, qui rend l’entière procédure particulièrement efficace dans certains cas. La deuxième partie porte sur une variante du problème des anniversaires, avec trois listes. Ce problème, que nous appelons problème 3XOR, consiste intuitivement à tro

APA, Harvard, Vancouver, ISO, and other styles

7

Weihrauch, Christian. "Analysis of Monte Carlo algorithms for linear algebra problems." Thesis, University of Reading, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.515747.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Iakymchuk, Roman [Verfasser]. "Performance modeling and prediction for linear algebra algorithms / Roman Iakymchuk." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012. http://d-nb.info/1026308690/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Sato, Hiroyuki. "Riemannian Optimization Algorithms and Their Applications to Numerical Linear Algebra." 京都大学 (Kyoto University), 2013. http://hdl.handle.net/2433/180615.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Maust, Reid S. "Optimal power flow using a genetic algorithm and linear algebra." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1163.

Full text

Abstract:

Thesis (Ph. D.)--West Virginia University, 1999.<br>Title from document title page. Document formatted into pages; contains vi, 91 p. : ill. Vita. Includes abstract. Includes bibliographical references (p. 41-42).

APA, Harvard, Vancouver, ISO, and other styles

11

Kannan, Ramaseshan. "Numerical linear algebra problems in structural analysis." Thesis, University of Manchester, 2014. https://www.research.manchester.ac.uk/portal/en/theses/numerical-linear-algebra-problems-in-structural-analysis(7df0f708-fc12-4807-a1f5-215960d9c4d4).html.

Full text

Abstract:

A range of numerical linear algebra problems that arise in finite element-based structural analysis are considered. These problems were encountered when implementing the finite element method in the software package Oasys GSA. We present novel solutions to these problems in the form of a new method for error detection, algorithms with superior numerical effeciency and algorithms with scalable performance on parallel computers. The solutions and their corresponding software implementations have been integrated into GSA's program code and we present results that demonstrate the use of these impl

APA, Harvard, Vancouver, ISO, and other styles

12

Kaya, Dogan. "Parallel algorithms for numerical linear algebra on a shared memory multiprocessor." Thesis, University of Newcastle Upon Tyne, 1995. http://hdl.handle.net/10443/2008.

Full text

Abstract:

This thesis discusses a variety of parallel algorithms for linear algebra problems including the solution of the linear system of equations Ax = b using QR and L U decomposition, reduction of a general matrix A to Hessenberg form, reduction of a real symmetric matrix B to tridiagonal form, and solution of the symmetric tridiagonal eigenproblem. Empirical comparisons are carried out using various different versions of the above algorithms and this is described in this thesis. We also compare three different synchronisation mechanisms when applied to the reduction to Hessenberg form problem. We

APA, Harvard, Vancouver, ISO, and other styles

13

Lamas, Daviña Alejandro. "Dense and sparse parallel linear algebra algorithms on graphics processing units." Doctoral thesis, Universitat Politècnica de València, 2018. http://hdl.handle.net/10251/112425.

Full text

Abstract:

Una línea de desarrollo seguida en el campo de la supercomputación es el uso de procesadores de propósito específico para acelerar determinados tipos de cálculo. En esta tesis estudiamos el uso de tarjetas gráficas como aceleradores de la computación y lo aplicamos al ámbito del álgebra lineal. En particular trabajamos con la biblioteca SLEPc para resolver problemas de cálculo de autovalores en matrices de gran dimensión, y para aplicar funciones de matrices en los cálculos de aplicaciones científicas. SLEPc es una biblioteca paralela que se basa en el estándar MPI y está desarrollada con la p

APA, Harvard, Vancouver, ISO, and other styles

14

Feng, Wei Pate Thomas H. "The QR algorithm for eigenvalue estimation theory and experiments /." Auburn, Ala, 2008. http://hdl.handle.net/10415/1488.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Nguyen, Hong Diep. "Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2011. http://tel.archives-ouvertes.fr/tel-00680352.

Full text

Abstract:

Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results. Moreover, interval arithmetic computations can be time-consuming. We propose several accurate algorithms and efficient implementations in verified linear algebra using interval arithmetic. Two fundamental problems are addressed, namely the multiplication of interval matrices and the verification of a floating-point solution of a linear system. For the first problem, we propose two algorithms which offer new tradeoffs between speed an

APA, Harvard, Vancouver, ISO, and other styles

16

Musco, Cameron N. (Cameron Nicholas). "The power of randomized algorithms : from numerical linear algebra to biological systems." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/120424.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 323-347).<br>In this thesis we study simple, randomized algorithms from a dual perspective. The first part of the work considers how randomized methods can be used to accelerate the solution of core problems in numerical linear algebra. In particular, we give a randomized low-rank approximation algorithm for positive semidefinite matrices that runs in sublinear time, significantly improving

APA, Harvard, Vancouver, ISO, and other styles

17

Fabregat, Traver Diego [Verfasser]. "Knowledge-based automatic generation of linear algebra algorithms and code / Diego Fabregat Traver." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014. http://d-nb.info/1052303080/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Gomes, Neto Francisco de Assis Magalhães 1964. "Minimização de funções quadraticas com algeba linear adaptativa e aplicações." [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/307441.

Full text

Abstract:

Orientador: Jose Mario Martinez<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica<br>Made available in DSpace on 2018-07-20T05:24:48Z (GMT). No. of bitstreams: 1 GomesNeto_FranciscodeAssisMagalhaes_D.pdf: 2662734 bytes, checksum: bab718dc42406f664ee7a530da9a333c (MD5) Previous issue date: 1995<br>Resumo: Não informado.<br>Abstract: Not informed.<br>Doutorado<br>Doutor em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

19

Zounon, Mawussi. "On numerical resilience in linear algebra." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0038/document.

Full text

Abstract:

Comme la puissance de calcul des systèmes de calcul haute performance continue de croître, en utilisant un grand nombre de cœurs CPU ou d’unités de calcul spécialisées, les applications hautes performances destinées à la résolution des problèmes de très grande échelle sont de plus en plus sujettes à des pannes. En conséquence, la communauté de calcul haute performance a proposé de nombreuses contributions pour concevoir des applications tolérantes aux pannes. Cette étude porte sur une nouvelle classe d’algorithmes numériques de tolérance aux pannes au niveau de l’application qui ne nécessite p

APA, Harvard, Vancouver, ISO, and other styles

20

Brenčys, Liutauras. "Puasono lygties sprendimas naudojantis šaltinio apibendrintomis hiperbolinės funkcijomis." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20110804_100133-71588.

Full text

Abstract:

Sudarytas Puasono lygties sprendimo per „rutuliukų“ potencialus algoritmas. Šiuo metodu Puasono lygties sprendimo uždavinys suvedamas į tiesinių algebrinių lygčių sistemos sprendimą. Sudaryta ir išbandyta matematiniu paketu MATHCAD to sprendimo programa. Palyginti gauti sprendiniai su tais, kurie gaunami analiziškai, įvertintas gautų sprendinių tikslumas. Šį sprendimo būdą galima panaudoti realiems fizikiniams potencialams paskaičiuoti, turint galvoje realų potencialą su kuriuo realūs krūviai.<br>It consists of Poisson equation solution in the "ball" potential algorithm. In this method the Poi

APA, Harvard, Vancouver, ISO, and other styles

21

Barbieri, Caroline Domingues Porto do Nascimento [UNESP]. "Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos." Universidade Estadual Paulista (UNESP), 2014. http://hdl.handle.net/11449/126338.

Full text

Abstract:

Made available in DSpace on 2015-08-20T17:09:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-11-11. Added 1 bitstream(s) on 2015-08-20T17:26:54Z : No. of bitstreams: 1 000846221.pdf: 1635996 bytes, checksum: 3433248530a7bdc61a9bdbec1086772b (MD5)<br>A geração eficiente de implicantes primos é um fator importante na fase de cobertura dos mintermos em métodos de minimização de funções booleanas. Este trabalho apresenta uma versão aprimorada do método denominado de Clause-Column Table, utilizado na geração de implicantes primos. Neste novo algoritmo adicionou-se o teorema da adjacênci

APA, Harvard, Vancouver, ISO, and other styles

22

Kochinke, Sebastian. "Special Linear Systems on Curves and Algorithmic Applications." Doctoral thesis, Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-219598.

Full text

Abstract:

Seit W. Diffie und M. Hellman im Jahr 1976 ihren Ansatz für einen sicheren kryptographischen Schlüsselaustausch vorgestellten, ist der sogenannte Diskrete Logarithmus zu einem zentrales Thema der Kryptoanalyse geworden. Dieser stellt eine Erweiterung des bekannten Logarithmus auf beliebige endliche Gruppen dar. In der vorliegenden Dissertation werden zwei von C. Diem eingeführte Algorithmen untersucht, mit deren Hilfe der diskrete Logarithmus in der Picardgruppe glatter, nichthyperelliptischer Kurven vom Geschlecht g > 3 bzw. g > 4 über endlichen Körpern berechnet werden kann. Beide Ansätze

APA, Harvard, Vancouver, ISO, and other styles

23

Turnes, Christopher Kowalczyk. "Efficient solutions to Toeplitz-structured linear systems for signal processing." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/51878.

Full text

Abstract:

This research develops efficient solution methods for linear systems with scalar and multi-level Toeplitz structure. Toeplitz systems are common in one-dimensional signal-processing applications, and typically correspond to temporal- or spatial-invariance in the underlying physical phenomenon. Over time, a number of algorithms have been developed to solve these systems economically by exploiting their structure. These developments began with the Levinson-Durbin recursion, a classical fast method for solving Toeplitz systems that has become a standard algorithm in signal processing. Over tim

APA, Harvard, Vancouver, ISO, and other styles

24

Peh, Lawrence T. W. "An efficient algorithm for extracting Boolean functions from linear threshold gates, and a synthetic decompositional approach to extracting Boolean functions from feedforward neural networks with arbitrary transfer functions." University of Western Australia. Dept. of Computer Science, 2000. http://theses.library.uwa.edu.au/adt-WU2003.0013.

Full text

Abstract:

[Formulae and special characters can only be approximated here. Please see the pdf version of the Abstract for an accurate reproduction.] Artificial neural networks are universal function approximators that represent functions subsymbolically by weights, thresholds and network topology. Naturally, the representation remains the same regardless of the problem domain. Suppose a network is applied to a symbolic domain. It is difficult for a human to dynamically construct the symbolic function from the neural representation. It is also difficult to retrain networks on perturbed training vecto

APA, Harvard, Vancouver, ISO, and other styles

25

Fasi, Massimiliano. "Weighted geometric mean of large-scale matrices: numerical analysis and algorithms." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8274/.

Full text

Abstract:

Computing the weighted geometric mean of large sparse matrices is an operation that tends to become rapidly intractable, when the size of the matrices involved grows. However, if we are not interested in the computation of the matrix function itself, but just in that of its product times a vector, the problem turns simpler and there is a chance to solve it even when the matrix mean would actually be impossible to compute. Our interest is motivated by the fact that this calculation has some practical applications, related to the preconditioning of some operators arising in domain decomposition

APA, Harvard, Vancouver, ISO, and other styles

26

Srđan, Milićević. "Algorithms for computing the optimal Geršgorin-type localizations." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2020. https://www.cris.uns.ac.rs/record.jsf?recordId=114425&source=NDLTD&language=en.

Full text

Abstract:

There are numerous ways to localize eigenvalues. One of the best known results is that the spectrum of a given matrix ACn,n is a subset of a union of discs centered at diagonal elements whose radii equal to the sum of the absolute values of the off-diagonal elements of a corresponding row in the matrix. This result (Ger&scaron;gorin's theorem, 1931) is one of the most important and elegant ways of eigenvalues localization ([63]). Among all Ger&scaron;gorintype sets, the minimal Ger&scaron;gorin set gives the sharpest and the most precise localization of the spectrum ([39]). In this thesis,

APA, Harvard, Vancouver, ISO, and other styles

27

Moreau, Gilles. "On the Solution Phase of Direct Methods for Sparse Linear Systems with Multiple Sparse Right-hand Sides." Thesis, Lyon, 2018. http://www.theses.fr/2018LYSEN084/document.

Full text

Abstract:

Cette thèse se concentre sur la résolution de systèmes linéaires creux dans le contexte d’applications massivement parallèles. Ce type de problèmes s’exprime sous la forme AX=B, où A est une matrice creuse d’ordre n x n, i.e. qui possède un nombre d’entrées nulles suffisamment élevé pour pouvoir être exploité, et B et X sont respectivement la matrice de seconds membres et la matrice de solution de taille n x nrhs. Cette résolution par des méthodes dites directes est effectuée grâce à une étape de factorisation qui réduit A en deux matrices triangulaires inférieure et supérieure L et U, suivie

APA, Harvard, Vancouver, ISO, and other styles

28

Cabarcas, Daniel. "Gröbner Bases Computation and Mutant Polynomials." University of Cincinnati / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1307321300.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Åkerling, Erik, and Jimmy Jerenfelt. "Analys och framtagning av algoritm för rodermätning." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-23459.

Full text

Abstract:

Arbetet är ett utredningsarbete som går ut på att försöka lokalisera felkällor och göra förbättringar på en testutrustning som mäter rodervinklar på akterdelen på en robot. Rapporten innehåller en översiktlig bild över den tidigare metoden och dess felkällor som hittas vid test av den tidigare metoden. Utredningen utmanar också många utav antagandena som är gjorda för beräkningarna av den tidigare metoden. Detta utförs för att kunna bekräfta eller dementera antagandena. Detta görs i form av matematiska modeller som testar olika delar av metoden. Varje del i rapporten består av en beskrivning a

APA, Harvard, Vancouver, ISO, and other styles

30

Maddah, Sumayya Suzy. "Formal reduction of differential systems : Singularly-perturbed linear differential systems and completely integrable Pfaffian systems with normal crossings." Thesis, Limoges, 2015. http://www.theses.fr/2015LIMO0065/document.

Full text

Abstract:

Dans cette thèse, nous nous sommes intéressés à l'analyse locale de systèmes différentiels linéaires singulièrement perturbés et de systèmes de Pfaff complètement intégrables et multivariés à croisements normaux. De tels systèmes ont une vaste littérature et se retrouvent dans de nombreuses applications. Cependant, leur résolution symbolique est toujours à l'étude. Nos approches reposent sur l'état de l'art de la réduction formelle des systèmes linéaires singuliers d'équations différentielles ordinaires univariées (ODS). Dans le cas des systèmes différentiels linéaires singulièrement perturbés

APA, Harvard, Vancouver, ISO, and other styles

31

Sharify, Meisam. "Algorithmes de mise à l'échelle et méthodes tropicales en analyse numérique matricielle." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00643836.

Full text

Abstract:

L'Algèbre tropicale peut être considérée comme un domaine relativement nouveau en mathématiques. Elle apparait dans plusieurs domaines telles que l'optimisation, la synchronisation de la production et du transport, les systèmes à événements discrets, le contrôle optimal, la recherche opérationnelle, etc. La première partie de ce manuscrit est consacrée a l'étude des applications de l'algèbre tropicale à l'analyse numérique matricielle. Nous considérons tout d'abord le problème classique de l'estimation des racines d'un polynôme univarié. Nous prouvons plusieurs nouvelles bornes pour la valeur

APA, Harvard, Vancouver, ISO, and other styles

32

DiPaolo, Conner. "Randomized Algorithms for Preconditioner Selection with Applications to Kernel Regression." Scholarship @ Claremont, 2019. https://scholarship.claremont.edu/hmc_theses/230.

Full text

Abstract:

The task of choosing a preconditioner M to use when solving a linear system Ax=b with iterative methods is often tedious and most methods remain ad-hoc. This thesis presents a randomized algorithm to make this chore less painful through use of randomized algorithms for estimating traces. In particular, we show that the preconditioner stability || I - M-1A ||F, known to forecast preconditioner quality, can be computed in the time it takes to run a constant number of iterations of conjugate gradients through use of sketching methods. This is in spite of folklore which suggests the quantity is im

APA, Harvard, Vancouver, ISO, and other styles

33

Jacquelin, Mathias. "Memory-aware algorithms : from multicores to large scale platforms." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2011. http://tel.archives-ouvertes.fr/tel-00662525.

Full text

Abstract:

This thesis focus on memory-aware algorithms tailored for hierarchical memory architectures, found for instance within multicore processors. We first study the matrix product on multicore architectures. We model such a processor, and derive lower bounds on the communication volume. We introduce three ad hoc algorithms, and experimentally assess their performance.We then target a more complex operation: the QR factorization of tall matrices. We revisit existing algorithms to better exploit the parallelism of multicore processors. We thus study the critical paths of many algorithms, prove some o

APA, Harvard, Vancouver, ISO, and other styles

34

Farabegoli, Bruno. "Analisi delle componenti principali." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/11479/.

Full text

Abstract:

La tesi descrive il metodo dell'analisi delle componenti principali, vertendo sia sull'aspetto matematico che la caratterizza sia su alcune sue applicazioni. Vengono anche definite le nozioni di algebra lineare e statistica fondamentali per la sua descrizione.

APA, Harvard, Vancouver, ISO, and other styles

35

Bacha, Inès. "Traitement symbolique des systèmes d'équations différentielles non linéaires au voisinage des singularités." Université Joseph Fourier (Grenoble), 1997. http://www.theses.fr/1997GRE10078.

Full text

Abstract:

Cette these se rattache a l'etude locale des equations differentielles, elle est composee de trois parties dependantes. Dans la premiere partie, nous presentons differentes theories telles que les formes normales, les transformations quasi-monomiales ainsi que celle du polygone de newton afin de mettre en place un algorithme pour simplifier les systemes planaires d'equations differentielles au voisinage des singularites isolees. Cet algorithme se base essentiellement sur les travaux d'a. Bruno sur les solutions locales des systemes d'equations differentielles. Quelques exemples d'application s

APA, Harvard, Vancouver, ISO, and other styles

36

Asafu-Adjei, Joseph Kwaku. "Probabilistic Methods." VCU Scholars Compass, 2007. http://hdl.handle.net/10156/1420.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Ishigami, Hiroyuki. "Studies on Parallel Solvers Based on Bisection and Inverse Iterationfor Subsets of Eigenpairs and Singular Triplets." 京都大学 (Kyoto University), 2016. http://hdl.handle.net/2433/215685.

Full text

Abstract:

5章（本文31～40ページ）と元となった論文の著作権はIEEEに属するため、規約に従い、本文79ページにおいて出典を示すともに、コピーライト表記を付している。本文39、40ページの全ての図の著作権は、IEEEに属する。このため、これら全ての図においてコピーライト表記を付している。<br>Kyoto University (京都大学)<br>0048<br>新制・課程博士<br>博士(情報学)<br>甲第19858号<br>情博第609号<br>新制||情||106(附属図書館)<br>32894<br>京都大学大学院情報学研究科数理工学専攻<br>(主査)教授中村佳正, 教授梅野健, 教授中島浩<br>学位規則第4条第1項該当

APA, Harvard, Vancouver, ISO, and other styles

38

Pecatte, Timothée. "Bornes inférieures et algorithmes de reconstruction pour des sommes de puissances affines." Thesis, Lyon, 2018. http://www.theses.fr/2018LYSEN029/document.

Full text

Abstract:

Le cadre général de cette thèse est l'étude des polynômes comme objets de modèles de calcul. Cette approche permet de définir de manière précise la complexité d'évaluation d'un polynôme, puis de classifier des familles de polynômes en fonction de leur difficulté dans ce modèle. Dans cette thèse, nous nous intéressons en particulier au modèle AffPow des sommes de puissance de forme linéaire, i.e. les polynômes qui s'écrivent $f = \sum_{i = 1}^s \alpha_i \ell_i^{e_i}$, avec $\deg \ell_i = 1$. Ce modèle semble assez naturel car il étend à la fois le modèle de Waring $f = \sum \alpha_i \ell_i^d$ e

APA, Harvard, Vancouver, ISO, and other styles

39

Zhang, Weijian. "Evolving graphs and similarity-based graphs with applications." Thesis, University of Manchester, 2018. https://www.research.manchester.ac.uk/portal/en/theses/evolving-graphs-and-similaritybased-graphs-with-applications(66a23d3d-1ad0-454b-9ba0-175b566af95d).html.

Full text

Abstract:

A graph is a mathematical structure for modelling the pairwise relations between objects. This thesis studies two types of graphs, namely, similarity-based graphs and evolving graphs. We look at ways to traverse an evolving graph. In particular, we examine the influence of temporal information on node centrality. In the process, we develop EvolvingGraphs.jl, a software package for analyzing time-dependent networks. We develop Etymo, a search system for discovering interesting research papers. Etymo utilizes both similarity-based graphs and evolving graphs to build a knowledge graph of research

APA, Harvard, Vancouver, ISO, and other styles

40

Dénès, Maxime. "Étude formelle d'algorithmes efficaces en algèbre linéaire." Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00945775.

Full text

Abstract:

Les méthodes formelles ont atteint un degré de maturité conduisant à la conception de systèmes de preuves généralistes, permettant à la fois de vérifier la correction de systèmes logiciels complexes ou de formaliser des mathématiques avancées. Mais souvent, l'accent est mis davantage sur la facilité du raisonnement sur les programmes plutôt que sur leur exécution efficace. L'antagonisme entre ces deux aspects est particulièrement sensible pour les algorithmes de calcul formel, dont la correction repose habituellement sur des concepts mathématiques élaborés, mais dont l'efficacité pratique est

APA, Harvard, Vancouver, ISO, and other styles

41

Sidhom, Lilia. "Sur les différentiateurs en temps réel : algorithmes et applications." Phd thesis, INSA de Lyon, 2011. http://tel.archives-ouvertes.fr/tel-00701576.

Full text

Abstract:

La qualité de la dérivation numérique en ligne d'un signal bruité joue un rôle primordial dans diverses applications touchant différents domaines (1D et 2D). Dans le travail présenté, nous nous sommes intéressés aux dérivateurs type "signal". Nos travaux s'inscrivent dans ce contexte et abordent des aspects théoriques et applicatifs. Du point de vue théorique, une étude de deux familles de dérivateurs a été effectuée. En premier lieu, nous avons étudié les dérivateurs de nature algébrique [travaux du projet INRIA-Non-A] et en deuxième lieu les différentiateurs modes glissants d'ordre supérieur

APA, Harvard, Vancouver, ISO, and other styles

42

Rémy, Adrien. "Solving dense linear systems on accelerated multicore architectures." Thesis, Paris 11, 2015. http://www.theses.fr/2015PA112138/document.

Full text

Abstract:

Dans cette thèse de doctorat, nous étudions des algorithmes et des implémentations pour accélérer la résolution de systèmes linéaires denses en utilisant des architectures composées de processeurs multicœurs et d'accélérateurs. Nous nous concentrons sur des méthodes basées sur la factorisation LU. Le développement de notre code s'est fait dans le contexte de la bibliothèque MAGMA. Tout d'abord nous étudions différents solveurs CPU/GPU hybrides basés sur la factorisation LU. Ceux-ci visent à réduire le surcoût de communication dû au pivotage. Le premier est basé sur une stratégie de pivotage di

APA, Harvard, Vancouver, ISO, and other styles

43

Tisseur, Françoise. "Méthodes numériques pour le calcul d'éléments spectraux : étude de la précision, la stabilité et la parallélisation." Saint-Etienne, 1997. http://www.theses.fr/1997STET4006.

Full text

Abstract:

Cette thèse est constituée de deux parties. La première traite de la méthode QR pour le calcul de valeurs propres de matrices quelconques, de tailles modérées. Les contributions originales à ce sujet sont a) une preuve rigoureuse de sa stabilité inverse, b) un nouveau critère d'arrêt justifié par une analyse mathématique. La seconde partie traite de la méthode de Yau et Lu pour le calcul de valeurs propres de matrices symétriques réelles de grandes tailles. Les contributions dans ce travail à ce sujet sont a) une compréhension mathématique accrue de la méthode, b) sa validation numérique, c) u

APA, Harvard, Vancouver, ISO, and other styles

44

Seiller, Thomas. "Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4064.

Full text

Abstract:

Cette thèse est une étude de la géométrie de l'interaction dans le facteur hyperfini (GdI5), introduite par Jean-Yves Girard, et de ses liens avec les constructions plus anciennes. Nous commençons par montrer comment obtenir des adjonctions purement géométriques comme une identité entre des ensembles de cycles apparaissant entre des graphes. Il est alors possible, en choisissant une fonction qui mesure les cycles, d'obtenir une adjonction numérique. Nous montrons ensuite comment construire, sur la base d'une adjonction numérique, une géométrie de l'interaction pour la logique linéaire multipli

APA, Harvard, Vancouver, ISO, and other styles

45

Sedoglavic, Alexandre. "Méthodes seminumériques en algèbre différentielle; applications à l'étude des propriétés structurelles de systèmes différentiels algébriques en automatique." Phd thesis, Ecole Polytechnique X, 2001. http://tel.archives-ouvertes.fr/tel-00401888.

Full text

Abstract:

Les travaux présentés dans ce mémoire se basent sur les apports de l'algèbre différentielle et les méthodes du calcul symbolique pour résoudre des problèmes d'automatique non linéaire qui ne se prêtent pas à une résolution numérique directe.<br /><br />Le problème de l'observabilité algébrique locale consiste à décider si les variables d'état intervenant dans un modèle peuvent être déterminées en fonction des entrées et des sorties supposées parfaitement connues.<br /><br />Nous présentons un algorithme probabiliste de complexité arithmétique polynomiale en la taille de l'entrée permettant de

APA, Harvard, Vancouver, ISO, and other styles

46

Bientinesi, Paolo. "Mechanical derivation and systematic analysis of correct linear algebra algorithms." Thesis, 2006. http://hdl.handle.net/2152/2679.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Tropp, Joel Aaron. "Topics in sparse approximation." Thesis, 2004. http://hdl.handle.net/2152/1272.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Tropp, Joel Aaron Dhillon Inderjit S. Gilbert Anna C. "Topics in sparse approximation." 2004. http://wwwlib.umi.com/cr/utexas/fullcit?p3143480.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Gunnels, Joseph Andrew. "A systematic approach to the design and analysis of linear algebra algorithms." 2001. http://hdl.handle.net/2152/10503.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Yamamoto, Yusaku. "High performance algorithms for numerical linear algebra." Thesis, 2003. http://hdl.handle.net/2237/6641.

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!