Log in

Relevant bibliographies by topics / Algebraic system / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Algebraic system.

Dissertations / Theses on the topic 'Algebraic system'

Author: Grafiati

Published: 6 July 2023

Last updated: 25 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 'Algebraic system.'

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

Wilder, A. J. "Algebraic tables : abstract computability and system documentation." Thesis, Swansea University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636599.

Full text

Abstract:

This thesis builds on the work of D. Parnas and other collaborators on the Naval Research Laboratory's pilot Software Cost Reduction Scheme for the A-7E aircraft. This thesis incorporates the tabular approach pioneered by this project into an algebraic environment to benefit the writers of algebraic specifications. Using generic techniques from research from the Software Engineering Research Group at McMaster this thesis defines six classes of function tables which may be used to define algebraic operations. Four of the six classes of function tables are: simple (finite non-recursive), nested,

APA, Harvard, Vancouver, ISO, and other styles

2

Pietschker, Andrej. "Automated test generation from algebraic specifications." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.

Full text

Abstract:

This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techniques. However, the crucial area of system testing remains relatively under-explored. Because a project may spend a good part of its budget on testing, even modest improvements to the cost-effectiveness of testing represent substantial improvements in project budgets. Relatively little literature ha

APA, Harvard, Vancouver, ISO, and other styles

3

Weickert, J. "Navier-Stokes equations as a differential-algebraic system." Universitätsbibliothek Chemnitz, 1998. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199800942.

Full text

Abstract:

Nonsteady Navier-Stokes equations represent a differential-algebraic system of strangeness index one after any spatial discretization. Since such systems are hard to treat in their original form, most approaches use some kind of index reduction. Processing this index reduction it is important to take care of the manifolds contained in the differential-algebraic equation (DAE). We investigate for several discretization schemes for the Navier-Stokes equations how the consideration of the manifolds is taken into account and propose a variant of solving these equations along the

APA, Harvard, Vancouver, ISO, and other styles

4

El, Nabrawy Iman Mohamed Omar. "Algebraic issues in linear multi-dimensional system theory." Thesis, Loughborough University, 2006. https://dspace.lboro.ac.uk/2134/36004.

Full text

Abstract:

1-D Multivariable system theory has been developed richly over the past fifty years using various approaches. The classical approach includes the matrix fraction description (MFD), the state-space approach etc., while the behavioural approach is relatively new. Nowadays, however there is an enormous need to develop this theory for systems where information depends on more than one independent variable i.e. the n-D system theory (n ≥ 2), due to the vast number of applications for these kind of systems. By contrast to the 1-D system theory, the n-D system theory is less developed and its main as

APA, Harvard, Vancouver, ISO, and other styles

5

Hjelmblom, Magnus. "Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms." Doctoral thesis, Stockholms universitet, Institutionen för data- och systemvetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-120602.

Full text

Abstract:

An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. Norms are represented as conditional sentences, whose normative consequences are formulated by applying normative operators to descriptive conditions. From such general normative conditions follow normative sentences regarding specific states of affairs. These in turn result in permission or proh

APA, Harvard, Vancouver, ISO, and other styles

6

Moyer, Nathan Thomas. "A knapsack-type cryptographic system using algebraic number rings." Pullman, Wash. : Washington State University, 2010. http://www.dissertations.wsu.edu/Dissertations/Spring2010/n_moyer_032610.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Almaghrawi, Ahmed Almaamoun. "The application of an algebraic constraint system in electromagnetics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape8/PQDD_0021/MQ55016.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Almaghrawi, Ahmed Almaamoun. "The application of an algebraic constraint system in electormagnetics /." Thesis, McGill University, 1999. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=29852.

Full text

Abstract:

Constraint propagation by means of an Algebraic Constraint System (ACS) can be used to assist the designer to explore a design space. Network transformation has been used for two purposes: first to find implicit constraints that can then be used to avoid the Missing Propagation Path problem (MPP). These new constraints can allow local propagation to succeed. Secondly, network transformation has been used to help verify the algebraic integrity of the model.<br>ACS has the ability to solve a set of equations. Also, it is able to answer user queries and reveal the reasoning process used in obtain

APA, Harvard, Vancouver, ISO, and other styles

9

Scott, B. G. O. "A methodology for formal system development using process algebraic techniques." Thesis, University of Oxford, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294356.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hays, Christopher Thomas. "An algebraic axiom environment for software testing (axenvironment)." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186399.

Full text

Abstract:

This dissertation describes the design and implementation of an algebraic axiom support environment for software testing. Since absolute software correctness is undecidable, "approximate" correctness is as good as software engineering can hope to do. The approximately correct behavior of a software system with respect to a specification can only be demonstrated incrementally, beginning with the modules of a system and finishing with the external interface. Software module specification in the form of algebraic axioms provides a base from which we can be complete and concise in developing and t

APA, Harvard, Vancouver, ISO, and other styles

11

Saldanha, Carlos M. "An algebraic constraint system for computer-aided design in magnetics /." Thesis, McGill University, 1988. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=64003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Eghosa, Edeghagba Elijah. "Ω-Algebraic Structures". Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=104206&source=NDLTD&language=en.

Full text

Abstract:

The research work carried out in this thesis is aimed   at fuzzifying algebraic and relational structures in the framework of Ω-sets, where Ω is a complete lattice.Therefore we attempt to synthesis universal algebra and fuzzy set theory. Our  investigations of Ω-algebraic structures are based on Ω-valued equality, satisability of identities and cut techniques. We introduce Ω-algebras, Ω-valued congruences,  corresponding quotient  Ω-valued-algebras and  Ω-valued homomorphisms and we investigate connections among these notions. We prove that there is an Ω-valued ho

APA, Harvard, Vancouver, ISO, and other styles

13

Sato, Kazuhiro. "An Algebraic Analysis Approach to Trajectory Tracking Control." 京都大学 (Kyoto University), 2014. http://hdl.handle.net/2433/188865.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Rashed, Shawki al [Verfasser], and Gerhard [Akademischer Betreuer] Pfister. "Numerical Algorithms in Algebraic Geometry with Implementation in Computer Algebra System SINGULAR / Shawki Al-Rashed. Betreuer: Gerhard Pfister." Kaiserslautern : Universitätsbibliothek Kaiserslautern, 2011. http://d-nb.info/1017757763/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Syrmos, Vassilis L. "Feedback design techniques in linear system theory : geometric and algebraic approaches." Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/13348.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Song, Xuefeng. "Dynamic modeling issues for power system applications." Texas A&M University, 2003. http://hdl.handle.net/1969.1/1591.

Full text

Abstract:

Power system dynamics are commonly modeled by parameter dependent nonlinear differential-algebraic equations (DAE) x p y x f ) and 0 = p y x g ) . Due to (,, (,, the algebraic constraints, we cannot directly perform integration based on the DAE. Traditionally, we use implicit function theorem to solve for fast variables y to get a reduced model in terms of slow dynamics locally around x or we compute y numerically at each x . However, it is well known that solving nonlinear algebraic equations analytically is quite difficult and numerical solution methods also face many

APA, Harvard, Vancouver, ISO, and other styles

17

Lin, Chuan-kai. "Practical Type Inference for the GADT Type System." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/367.

Full text

Abstract:

Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that allows the type of an algebraic data value to vary with its shape. The GADT type system allows programmers to express detailed program properties as types (for example, that a function should return a list of the same length as its input), and a general-purpose type checker will automatically check those properties at compile time. Type inference for the GADT type system and the properties of the type system are both currently areas of active research. In this dissertation, I attack both problems

APA, Harvard, Vancouver, ISO, and other styles

18

Gabrielson, Donald D. "Battle group stationing algebraic modeling system : an anti-air warfare tactical decision aid methodology /." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1995. http://handle.dtic.mil/100.2/ADA296246.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Barrachina, Sergio, Peter Benner, and Enrique S. Quintana-Ortí. "Solving Large-Scale Generalized Algebraic Bernoulli Equations via the Matrix Sign Function." Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200601684.

Full text

Abstract:

We investigate the solution of large-scale generalized algebraic Bernoulli equations as those arising in control and systems theory in the context of stabilization of linear dynamical systems, coprime factorization of rational matrix-valued functions, and model reduction. The algorithms we propose, based on a generalization of the Newton iteration for the matrix sign function, are easy to parallelize, yielding an efficient numerical tool to solve large-scale problems. Both the accuracy and the parallel performance of our implementations on a cluster of Intel Xeon processors are reported.

APA, Harvard, Vancouver, ISO, and other styles

20

Miscione, Steven. "Loop algebras and algebraic geometry." Thesis, McGill University, 2008. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=116115.

Full text

Abstract:

This thesis primarily discusses the results of two papers, [Hu] and [HaHu]. The first is an overview of algebraic-geometric techniques for integrable systems in which the AKS theorem is proven. Under certain conditions, this theorem asserts the commutatvity and (potential) non-triviality of the Hamiltonian flow of Ad*-invariant functions once they're restricted to subalgebras. This theorem is applied to the case of coadjoint orbits on loop algebras, identifying the flow with a spectral curve and a line bundle via the Lax equation. These results play an important role in the discussion of [HaHu

APA, Harvard, Vancouver, ISO, and other styles

21

Groechenig, Michael. "Autoduality of the Hitchin system and the geometric Langlands programme." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:f0a08e96-2f25-4df1-9e56-99931e411f73.

Full text

Abstract:

This thesis is concerned with the study of the geometry and derived categories associated to the moduli problems of local systems and Higgs bundles in positive characteristic. As a cornerstone of our investigation, we establish a local system analogue of the BNR correspondence for Higgs bundles. This result (Proposition 4.3.1) relates flat connections to certain modules of an Azumaya algebra on the family of spectral curves. We prove properness over the semistable locus of the Hitchin map for local systems introduced by Laszlo–Pauly (Theorem 4.4.1). Moreover, we show that with respect to this

APA, Harvard, Vancouver, ISO, and other styles

22

PUERTO, AUBEL ADRIAN. "Algebraic Structures for the Analysis of Distributability of Elementary Systems and their Processes." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2019. http://hdl.handle.net/10281/241253.

Full text

Abstract:

In questa tesi studio in che modi si possono distribuire i sistemi e i processi che quei sistemi eseguono. La nozione centrale per raggiungere l'obiettivo è che, quando un sistema è distribuito, una sua osservazione "da lontano" richiede uno scambio d'informazioni con le diverse parti del sistema. Questo approccio si caratterizza per il fatto che la "sincronizzazione" (o "handshaking") è il modo fondamentale di interazione. I formalismi impiegati sono presi dalla teoria delle reti di Petri. I sistemi elementari e i sistemi di condizioni ed eventi in quella teoria costituiscono le speci

APA, Harvard, Vancouver, ISO, and other styles

23

Rebahi, Yacine. "Irrégularité des D-modules algébriques holonomes." Université Joseph Fourier (Grenoble ; 1971-2015), 1996. http://www.theses.fr/1996GRE10205.

Full text

Abstract:

Ce travail est consacre a l'etude de l'irregularite des systemes differentiels algebriques holonomes. Nous demontrons que les complexes de solutions de type exponentiel, associes a ces systemes, sont a cohomologie constructible et nous calculons leur caracteristique d'euler poincare. Pour cela, et dans le cas d'un fibre de rang un, nous utilisons un passage a l'infini qui nous permet de nous ramener a des resultats connus pour des solutions formelles de croissance appropriee pour des systemes analytiques holonomes. D'autre part, si nous microlocalisons nos constructions, nous obtenons des resu

APA, Harvard, Vancouver, ISO, and other styles

24

Chapman, Suzannah M. "TEACHING AN ALGEBRAIC EQUATION TO HIGH SCHOOL STUDENTS WITH MODERATE TO SEVERE INTELLECTUAL DISABILITY." UKnowledge, 2016. http://uknowledge.uky.edu/edsrc_etds/25.

Full text

Abstract:

The purpose of this study was to examine the effectiveness of using the system of least prompts and concrete representations to teach students with moderate and severe disabilities (MSD) to solve simple linear equations. A multiple-probe (days) across participants, single case research design was used to evaluate the effectiveness of task analytic instruction along with concrete representation on teaching students with MSD to solve algebraic equations. The results showed the system of least prompts and concrete representations were effective in teaching students with MSD to solve simple linear

APA, Harvard, Vancouver, ISO, and other styles

25

Leclerc, Marc-Antoine. "Homogeneous Projective Varieties of Rank 2 Groups." Thèse, Université d'Ottawa / University of Ottawa, 2012. http://hdl.handle.net/10393/23558.

Full text

Abstract:

Root systems are a fundamental concept in the theory of Lie algebra. In this thesis, we will use two different kind of graphs to represent the group generated by reflections acting on the elements of the root system. The root systems we are interested in are those of type A2, B2 and G2. After drawing the graphs, we will study the algebraic groups corresponding to those root systems. We will use three different techniques to give a geometric description of the homogeneous spaces G/P where G is the algebraic group corresponding to the root system and P is one of its parabolic subgroup. Finally,

APA, Harvard, Vancouver, ISO, and other styles

26

Haiech, Mercedes. "Étude algébrique des systèmes d'équations différentielles polynomiales d'ordre arbitraire." Thesis, Rennes 1, 2020. http://www.theses.fr/2020REN1S035.

Full text

Abstract:

Dans cette thèse, plusieurs axes d'études dont le dénominateur commun est l'algèbre différentielle ont été suivis pour mettre en lumière certaines propriétés algébriques des systèmes d'équations différentielles. Dans une partie nous nous sommes interessée à la surdétermination des systèmes d'équations différentielles linéaires ordinaires et avons produit un algorithme permettant de trouver les générateurs d'un tel système.Une autre partie se penche sur la compréhension du support de solutions d'équations différentielles partielles à l'aide d'outils issus de la géométrie tropicale. Dans une tro

APA, Harvard, Vancouver, ISO, and other styles

27

Sauthoff, Georg [Verfasser]. "Bellman's GAP : a 2nd generation language and system for algebraic dynamic programming / Georg Sauthoff. Technische Fakultät - AG Praktische Informatik." Bielefeld : Universitätsbibliothek Bielefeld, Hochschulschriften, 2011. http://d-nb.info/1015210317/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Hanselmann, Thomas. "Approximate dynamic programming with adaptive critics and the algebraic perceptron as a fast neural network related to support vector machines." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2003. http://theses.library.uwa.edu.au/adt-WU2004.0005.

Full text

Abstract:

[Truncated abstract. Please see the pdf version for the complete text. Also, formulae and special characters can only be approximated here. Please see the pdf version of this abstract for an accurate reproduction.] This thesis treats two aspects of intelligent control: The first part is about long-term optimization by approximating dynamic programming and in the second part a specific class of a fast neural network, related to support vector machines (SVMs), is considered. The first part relates to approximate dynamic programming, especially in the framework of adaptive critic designs (ACDs

APA, Harvard, Vancouver, ISO, and other styles

29

Almabruk, Bleblou Omalkhear Salem. "Some new lattice valued algebraic structures with comparative analysis of various approaches." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=105400&source=NDLTD&language=en.

Full text

Abstract:

In this work a comparative analysis of several approaches to fuzzy algebraic structures and comparison of previous approaches to the recent one developed at University of  Novi Sad has been done. Special attention is paid to reducts and expansions of algebraic structures in fuzzy settings. Besides mentioning all the relevant algebras and properties developed in this setting, particular new algebras and properties are developed and investigated. Some new structures, in particular Omega Boolean algebras, Omega Boolean lattices and Omega Boolean rings are developed in the framework of omega

APA, Harvard, Vancouver, ISO, and other styles

30

Jones, Clinton Christopher. "Determining Coefficients of Checking Polynomials for an Algebraic Method of Fault Tolerant Computations of Numerical Functions." Thesis, Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/5242.

Full text

Abstract:

This thesis presents a practical means for determining checking polynomials for the fault tolerant computation of numerical functions. This method is based on certain algebraic features of the numerical functions such as the transcendence degree of a field extension. Checking polynomials are given for representative simple and compound numerical functions. Some of these checking models are implemented in a simulation environment. The program developed provides the means for generating checking polynomials for a broad class of numerical functions. Considerations for designing and deploying chec

APA, Harvard, Vancouver, ISO, and other styles

31

Song, Kyle Seregay. "Two-Phase Flow Measurement using Fast X-ray Line Detector System." Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/103371.

Full text

Abstract:

Void fraction is an essential parameter for understanding the interfacial structure, and heat and mass transfer mechanisms in various gas-liquid flow systems. It becomes critically important to accurately measure void fraction as advanced high fidelity two-phase flow models require high-quality validation data. However, void fraction measurement remains a challenging task to date due to the complexity and rapid-changing characteristic of the gas-liquid boundary flow structure. This study aims to develop an advanced void fraction measurement system based on x-ray and fast line detector techn

APA, Harvard, Vancouver, ISO, and other styles

32

Kipps, Mark Rew. "A modular approach to modeling an isolated power system on a finite voltage bus using a differential algebraic equation solving routine." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA281036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Longhi, Maurício Borges. "Controle de sistemas quadráticos sujeitos à saturação de atuadores." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/107486.

Full text

Abstract:

O presente trabalho aborda o problema de estabilização local de sistemas não lineares quadráticos contínuos no tempo (possivelmente instáveis em malha aberta) e sujeitos a saturação de atuadores. Além disso o trabalho apresenta um estudo de técnicas de síntese de compensadores de anti-windup para sistemas quadráticos sujeitos à saturação de atuadores. A abordagem do estudo é comparativa em relação a duas formas de representação dos sistemas quadráticos. A primeira forma de abordagem é a Representação Algébrico-Diferencial — DAR (do inglês, Differential Algebraic Representation), aplicável a to

APA, Harvard, Vancouver, ISO, and other styles

34

Arruda, Rafael Lucas de [UNESP]. "Teorema de Riemann-Roch e aplicações." Universidade Estadual Paulista (UNESP), 2011. http://hdl.handle.net/11449/86493.

Full text

Abstract:

Made available in DSpace on 2014-06-11T19:22:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-25Bitstream added on 2014-06-13T20:28:17Z : No. of bitstreams: 1 arruda_rl_me_sjrp.pdf: 624072 bytes, checksum: 23ddd00e27d1ad781e2d1cec2cb65dee (MD5)<br>Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)<br>O objetivo principal deste trabalho é estudar o Teorema de Riemann-Roch, um dos resultados fundamentais na teoria de curvas algébricas, e apresentar algumas de suas aplicações. Este teorema é uma importante ferramenta para a classificação das curvas algébricas, pois relaci

APA, Harvard, Vancouver, ISO, and other styles

35

Pierce, Robyn U. "An exploration of algebraic insight and effective use of computer algebra systems /." Connect to thesis, 2001. http://eprints.unimelb.edu.au/archive/00000739.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

KUSAKARI, Keiichirou, Masahiko SAKAI, and Toshiki SAKABE. "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting." IEICE, 2005. http://hdl.handle.net/2237/9580.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Kondo, Naoya, Kimihiro Umemura, Liren Zhou, and Hideyuki Azegami. "Shape optimization for a link mechanism." Springer, 2013. http://hdl.handle.net/2237/21125.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Sydney, Ali. "The evaluation of software defined networking for communication and control of cyber physical systems." Diss., Kansas State University, 2013. http://hdl.handle.net/2097/15577.

Full text

Abstract:

Doctor of Philosophy<br>Department of Electrical and Computer Engineering<br>Don Gruenbacher<br>Caterina Scoglio<br>Cyber physical systems emerge when physical systems are integrated with communication networks. In particular, communication networks facilitate dissemination of data among components of physical systems to meet key requirements, such as efficiency and reliability, in achieving an objective. In this dissertation, we consider one of the most important cyber physical systems: the smart grid. The North American Electric Reliability Corporation (NERC) envisions a smart grid that

APA, Harvard, Vancouver, ISO, and other styles

39

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

40

Höfner, Peter. "Algebraic calculi for hybrid systems." Norderstedt Books on Demand, 2009. http://d-nb.info/1000477002/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Grundling, Hendrik. "Algebraic structure of degenerate systems /." Title page, table of contents and summary only, 1986. http://web4.library.adelaide.edu.au/theses/09PH/09phg888.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Hadj, Said Yanis. "Prise en compte de la complexité de modélisation dans la gestion énergétique des bâtiments." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAT121/document.

Full text

Abstract:

Du fait de son impact énergétique, la gestion énergétique dans le bâtiment est devenu un enjeu majeur ses dernières années, qu'il s'agisse d'encourager la sobriété énergétique ou de s'adapter aux besoins des réseaux énergétiques. Différents travaux de recherche ont conduit à des gestionnaires énergétiques souvent dotés de capacités d'anticipation. Les premiers résultats, bien qu'encourageants, n'envisagent pas la complexité tant du fait nombre d'éléments que de la diversité des applications de gestion énergétique.Cette thèse propose d'apporter des éléments de solution à la problématique de com

APA, Harvard, Vancouver, ISO, and other styles

43

Junqueira, Luiz Antonio Custódio Manganelli. "Estudo de suavizadores para o método Multigrid algébrico baseado em wavelet." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/3/3143/tde-18082008-141740/.

Full text

Abstract:

Este trabalho consiste na análise do comportamento do método WAMG (Wavelet-Based Algebraic Multigrid), método numérico de resolução de sistemas de equações lineares desenvolvido no LMAG-Laboratório de Eletromagnetismo Aplicado, com relação a diversos suavizadores. O fato dos vetores que compõem os operadores matriciais Pronlongamento e Restrição do método WAMG serem ortonormais viabiliza uma série de análises teóricas e de dados experimentais, permitindo visualizar características não permitidas nos outros métodos Multigrid (MG), englobando o Multigrid Geométrico (GMG) e o Multigrid Algébrico

APA, Harvard, Vancouver, ISO, and other styles

44

Molgado, Alberto. "Refined algebraic quantisation : finite dimensional systems." Thesis, University of Nottingham, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423639.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Scheufele, Wolfgang. "Algebraic query optimization in Database Systems /." [S.l. : s.n.], 1999. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8299303.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Sehnalová, Pavla. "Konvergence řešení soustav algebraických rovnic." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2007. http://www.nusl.cz/ntk/nusl-236797.

Full text

Abstract:

The work describes techniques for solving systems of linear and differential equations. It explains the definition of conversion from system of linear to system of differential equations. The method of the elementary transmission and the transform algorithm are presented. Both of methods are demonstrated on simply examples and properties of conversion are shown. The work compares fast and accurate solutions of methods and algorithm. For computing examples and solving experiments following programs were used: TKSL and TKSL/C. The program TKSL/C was enriched with the graphic user interface which

APA, Harvard, Vancouver, ISO, and other styles

47

Höfner, Peter [Verfasser]. "Algebraic calculi for hybrid systems / Peter Höfner." Norderstedt : Books on Demand, 2009. http://d-nb.info/1000477002/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Matooane, ʾMantśika Amelia. "Parallel systems in symbolic and algebraic computation." Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621402.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Kammar, Ohad. "Algebraic theory of type-and-effect systems." Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/8910.

Full text

Abstract:

We present a general semantic account of Gifford-style type-and-effect systems. These type systems provide lightweight static analyses annotating program phrases with the sets of possible computational effects they may cause, such as memory access and modification, exception raising, and non-deterministic choice. The analyses are used, for example, to justify the program transformations typically used in optimising compilers, such as code reordering and inlining. Despite their existence for over two decades, there is no prior comprehensive theory of type-and-effect systems accounting for their

APA, Harvard, Vancouver, ISO, and other styles

50

Rabehaja, Mananjanahary Tahiry. "Algebraic verification of probabilistic and concurrent systems." Thesis, University of Sheffield, 2014. http://etheses.whiterose.ac.uk/7456/.

Full text

Abstract:

This thesis provides an algebraic modelling and verification of probabilistic concurrent systems in the style of Kleene algebra. Without concurrency, it is shown that the equational theory of continuous probabilistic Kleene algebra is complete with respect to an automata model under standard simulation equivalence. This yields a minimisation-based decision procedure for the algebra. Without probability, an event structure model of Hoare et al.'s concurrent Kleene algebra is constructed. These two algebras are then ``merged" to provide probabilistic concurrent Kleene algebra which is used to di

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!