Log in

Relevant bibliographies by topics / Methods of arithmetic operations / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Methods of arithmetic operations.

Dissertations / Theses on the topic 'Methods of arithmetic operations'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 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 'Methods of arithmetic operations.'

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

Ревенко, А. В. "Послідовність Фібоначчі". Thesis, Сумський державний університет, 2018. http://essuir.sumdu.edu.ua/handle/123456789/66843.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hunter, Aaron Matthew. "Arithmetic operations in first-order spectra." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq37553.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Trappmann, Henryk. "Arborescent numbers : higher arithmetic operations and division trees." Phd thesis, Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2007/1524/.

Full text

Abstract:

The overall program "arborescent numbers" is to similarly perform the constructions from the natural numbers (N) to the positive fractional numbers (Q+) to positive real numbers (R+) beginning with (specific) binary trees instead of natural numbers. N can be regarded as the associative binary trees. The binary trees B and the left-commutative binary trees P allow the hassle-free definition of arbitrary high arithmetic operations (hyper ... hyperpowers). To construct the division trees the algebraic structure "coppice" is introduced which is a group with an addition over which the multiplicatio

APA, Harvard, Vancouver, ISO, and other styles

4

Furness, Richard. "Circuit architectures for arithmetic operations in finite fields." Thesis, University of Huddersfield, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.285617.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

McCleeary, Ryan. "Lazy exact real arithmetic using floating point operations." Diss., University of Iowa, 2019. https://ir.uiowa.edu/etd/6991.

Full text

Abstract:

Exact real arithmetic systems can specify any amount of precision on the output of the computations. They are used in a wide variety of applications when a high degree of precision is necessary. Some of these applications include: differential equation solvers, linear equation solvers, large scale mathematical models, and SMT solvers. This dissertation proposes a new exact real arithmetic system which uses lazy list of floating point numbers to represent the real numbers. It proposes algorithms for basic arithmetic computations on these structures and proves their correctness. This proposed sy

APA, Harvard, Vancouver, ISO, and other styles

6

Spenner, Laura. "Quantum logic implementation of unary arithmetic operations with inheritance." Ann Arbor, Mich. : ProQuest, 2008. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1452767.

Full text

Abstract:

Thesis (M.S. in Computer Engineering)--S.M.U.<br>Title from PDF title page (viewed Mar. 16, 2009). Source: Masters Abstracts International, Volume: 46-05, page: 2734. Adviser: Mitchell A. Thornton. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

7

Che, Ismail Rizalafande. "Fast, area-efficient 32-bit LNS for computer arithmetic operations." Thesis, University of Newcastle Upon Tyne, 2012. http://hdl.handle.net/10443/1702.

Full text

Abstract:

The logarithmic number system has been proposed as an alternative to floating-point. Multiplication, division and square-root operations are accomplished with fixedpoint arithmetic, but addition and subtraction are considerably more challenging. Recent work has demonstrated that these operations too can be done with similar speed and accuracy to their floating-point equivalents, but the necessary circuitry is complex. In particular, it is dominated by the need for large lookup tables for the storage of a non-linear function. This thesis describes the architectures required to implement a newly

APA, Harvard, Vancouver, ISO, and other styles

8

Choi, Jae Hun. "High speed and low area techniques for computer arithmetic operations /." Full text (PDF) from UMI/Dissertation Abstracts International, 2000. http://wwwlib.umi.com/cr/utexas/fullcit?p3004236.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Natter, William. "Design and implementation of digit-serial online multiply-accumulate arithmetic operations." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ60479.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Frechtling, Michael Kenneth. "Automated Dynamic Error Analysis Methods for Optimization of Computer Arithmetic Systems." Thesis, The University of Sydney, 2015. http://hdl.handle.net/2123/13928.

Full text

Abstract:

Computer arithmetic is one of the more important topics within computer science and engineering. The earliest implementations of computer systems were designed to perform arithmetic operations and cost if not all digital systems will be required to perform some sort of arithmetic as part of their normal operations. This reliance on the arithmetic operations of computers means the accurate representation of real numbers within digital systems is vital, and an understanding of how these systems are implemented and their possible drawbacks is essential in order to design and implement modern high

APA, Harvard, Vancouver, ISO, and other styles

11

Poulos, Konstantinos. "NEW TECHNIQUES ON VLSI CIRCUIT TESTING & EFFICIENT IMPLEMENTATIONS OF ARITHMETIC OPERATIONS." OpenSIUC, 2020. https://opensiuc.lib.siu.edu/dissertations/1872.

Full text

Abstract:

Testing is necessary factor to guarantee that ICs operate according to specifications before being delivered to customers. Testing is a process used to identify ICs containing imperfections or manufacturing defects that may cause failures. Inaccuracy and imperfections can be introduced during the fabrication of the chips due to the complex mechanical and chemical steps required during the manufacturing processes. The testing process step applies test patterns to circuits and analyzes their responses. This work focuses on VLSI circuit testing with two implementations for DFT (Design for testabi

APA, Harvard, Vancouver, ISO, and other styles

12

Takagi, Naofumi. "Studies on Hardware Algorithms for Arithmetic Operations with a Redundant Binary Representation." Kyoto University, 1988. http://hdl.handle.net/2433/154053.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Melo, Heather Aurora Florence de. "Totally real Galois representations in characteristic 2 and arithmetic cohomology /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1048.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Dyer, A. K. "Applications of sieve methods in number theory." Thesis, Bucks New University, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384646.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Jennings, Daniel Blair. "Welding information system : design, operations, methods." Thesis, University of British Columbia, 1991. http://hdl.handle.net/2429/29988.

Full text

Abstract:

This thesis encompasses a Welding Information System for Design, Operations, and Methods (WISDOM). In essence, the WISDOM project aimed at research and development of an innovative and comprehensive information collection on welding in close cooperation with industry utilizing modern micro-computer techniques of information review, retrieval, storage, updating, and transfer. Emphasis is placed on new and more efficient methods of knowledge communication, pursuing the idea of exploring knowledge (in contrast to rehearsing recipes). The development of this project concentrated on the following t

APA, Harvard, Vancouver, ISO, and other styles

16

Rolland, Erik. "Abstract heuristic search methods for graph partitioning." Connect to resource, 1991. http://rave.ohiolink.edu/etdc/view.cgi?acc%5Fnum=osu1262633923.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Elwardi, Ben Amor Sonia. "Architectures optiques / optoélectroniques haute densité dédiées au calcul et aux traitement des signaux." Thesis, Evry, Institut national des télécommunications, 2015. http://www.theses.fr/2015TELE0001/document.

Full text

Abstract:

Les travaux développés dans ce manuscrit de thèse concernent la proposition et la mise au point d’une nouvelle architecture optique basée sur la modulation de cohérence (MC) d’une source à spectre large dédiée aux calculs arithmétiques et au traitement des signaux. La modulation de cohérence de lumière est une technique particulière de codage optique qui autorise, entre autres, le multiplexage des signaux à travers une seule porteuse. Les signaux à traiter sont codés en MC par le biais de paires modulateur de lumière/lame de phase placées en série et éclairées par un seul faisceau de lumière p

APA, Harvard, Vancouver, ISO, and other styles

18

Koch, Felix-Sebastian. "A direct comparison between mathematical operations in mental arithmetic with regard to working memory’s subsystems." Thesis, Linköping University, Department of Computer and Information Science, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2694.

Full text

Abstract:

<p>This study examined the idea that each mathematical operation (addition, subtraction, multiplication and division) is mainly linked to one of the components of working memory as proposed by Baddeley. The phonological loop, visual-spatial sketchpad and central executive have been studied using a dual-task methodology with 7 different secondary tasks. 35 undergraduate and graduate students were timed in their response time for mental calculation and error rates were calculated. Results show clear differences of operations and of number pairs. Interaction between conditions and operations was

APA, Harvard, Vancouver, ISO, and other styles

19

Headlam, Caroline. "An investigation into children's understanding of the order of operations." Thesis, University of Plymouth, 2013. http://hdl.handle.net/10026.1/1497.

Full text

Abstract:

This thesis reports on the findings of an international study into the way in which children approach calculations which involve the order of operations. The study involved 203 pupils aged between 12 to 14 years from four different countries: England, The USA (New York State), Japan and The Netherlands. Many pupils in England are taught to use mnemonics such as BODMAS or BIDMAS to remember the correct order of operations, and in the USA pupils are often taught to use PEMDAS. However in Japan and The Netherlands these methods are not used, and the approach to teaching mathematics differs consid

APA, Harvard, Vancouver, ISO, and other styles

20

Lukin, Galit. "Prescriptive methods for adaptive learning." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/127293.

Full text

Abstract:

Thesis: S.M., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, May, 2020<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 53-54).<br>It is undeniable that recent world events and globalization have transformed online learning into one of the main channels for education. Online learning has become a necessity, not a luxury. Universities, schools, and pre-schools have transformed into the online learning space holding classes of hundreds of students concurrently. However, online learning has yet to reach its full

APA, Harvard, Vancouver, ISO, and other styles

21

Huang, Dashan. "Studies on quantitative finance via operations research methods." 京都大学 (Kyoto University), 2007. http://hdl.handle.net/2433/135989.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Croxton, Keely L., Bernard Gendon, and Thomas L. Magnanti. "Models and Methods for Merge-In-Transit Operations." Massachusetts Institute of Technology, Operations Research Center, 2001. http://hdl.handle.net/1721.1/5135.

Full text

Abstract:

We develop integer programming formulations and solution methods for addressing operational issues in merge-in-transit distribution systems. The models account for various complex problem features including the integration of inventory and transportation decisions, the dynamic and multimodal components of the application, and the non-convex piecewise linear structure of the cost functions. To accurately model the cost functions, we introduce disaggregation techniques that allow us to derive a hierarchy of linear programming relaxations. To solve these relaxations, we propose a cutting-plane pr

APA, Harvard, Vancouver, ISO, and other styles

23

Chang, Allison An. "Integer optimization methods for machine learning." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/72643.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2012.<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. 129-137).<br>In this thesis, we propose new mixed integer optimization (MIO) methods to ad- dress problems in machine learning. The first part develops methods for supervised bipartite ranking, which arises in prioritization tasks

APA, Harvard, Vancouver, ISO, and other styles

24

Yildirim, Hamdi Murat. "Algebraic Properties Of The Operations Used In Block Cipher Idea." Phd thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/3/12608289/index.pdf.

Full text

Abstract:

In this thesis we obtain several interesting algebraic properties of the operations used in the block cipher IDEA which are important for cryptographic analyzes. We view each of these operations as a function from $mathbb Z_{2}^n times mathbb Z_{2}^n to mathbb Z_{2}^n$. By fixing one of variables $v(z)=mathbf Z$ in $mathbb Z_{2}^n times mathbb Z_{2}^n$, we define functions $mathbf {f}_z$ and $mathbf {g}_z$ from $mathbb Z_{2}^n$ to $mathbb Z_{2}^n$ for the addition $BIGboxplus$ and the multiplication $BIGodot$ operations, respectively. We first show that the nonlinearity of $mathbf {g}_z$ rema

APA, Harvard, Vancouver, ISO, and other styles

25

Marks, Christopher E. (Christopher Edward). "Analytic search methods in online social networks." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/112012.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2017.<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 (pages 175-185).<br>This thesis presents and evaluates methods for searching and analyzing social media data in order to improve situational awareness. We begin by proposing a method for network vertex search that looks for the target

APA, Harvard, Vancouver, ISO, and other styles

26

Grigas, Paul (Paul Edward). "Methods for convex optimization and statistical learning." Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/106683.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2016.<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 (pages 219-225).<br>We present several contributions at the interface of first-order methods for convex optimization and problems in statistical machine learning. In the first part of this thesis, we present new results for the Frank-W

APA, Harvard, Vancouver, ISO, and other styles

27

Barrois, Benjamin. "Methods to evaluate accuracy-energy trade-off in operator-level approximate computing." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S097/document.

Full text

Abstract:

Les limites physiques des circuits à base de silicium étant en passe d'être atteintes, de nouveaux moyens doivent être trouvés pour outrepasser la fin de la loi de Moore. Beaucoup d'applications peuvent tolérer des approximations dans leurs calculs à différents niveaux, sans dégrader la qualité de leur sortie, ou en la dégradant de manière acceptable. Cette thèse se concentre sur les architectures arithmétiques approximatives afin de saisir cette opportunité. Tout d'abord, une étude critique de l'état de l'art des additionneurs et multiplieurs approximatifs est présentée. Ensuite, un modèle de

APA, Harvard, Vancouver, ISO, and other styles

28

Kyriakidou-Christofidou, Athina. "Teaching addition and subtraction operations with schematic place-value learning aids & the impact on arithmetic competency." Thesis, Saint Louis University, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10109214.

Full text

Abstract:

<p> The present mixed-methods quasi-experimental study (embedding a case study and a mixed factorial within-between ANOVA test), conducted in a private English school in Limassol, Cyprus, investigated how the use of the schematic learning aids (researcher-made color-coded flash-cards and grids) influence year-2 children's ability to read, write and represent Hindu-Arabic numerals and how these number representations affect their arithmetic competency. This was achieved by comparing an intervention group (n=16) and a control group (n=17) before and after the 2-week intervention. </p><p> It is

APA, Harvard, Vancouver, ISO, and other styles

29

Theyyar, Maalolan Lakshman. "Trusted Unmanned Aerial System Operations." Thesis, Virginia Tech, 2020. http://hdl.handle.net/10919/98735.

Full text

Abstract:

Proving the correctness of autonomous systems is challenged by the use of non-deterministic artificial intelligence algorithms and ever-increasing lines of code. While correctness is conventionally determined through analysis and testing, it is impossible to train and test the system for all possible scenarios or formally analyze millions of lines of code. This thesis describes an alternative method that monitors system behavior during runtime and executes a recovery action if any formally specified property is violated. Multiple parallel safety monitors synthesized from linear temporal logic

APA, Harvard, Vancouver, ISO, and other styles

30

Papush, Anna. "Data-driven methods for personalized product recommendation systems." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/115655.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references.<br>The online market has expanded tremendously over the past two decades across all industries ranging from retail to travel. This trend has resulted in the growing availability of information regarding consumer preferences and purchase behavior, sparking the development of increasingly more sophisticated product recommendation systems. Thus, a competitive edge in this rapidly growing sector could b

APA, Harvard, Vancouver, ISO, and other styles

31

Varma, Krishnaraj M. "Fast Split Arithmetic Encoder Architectures and Perceptual Coding Methods for Enhanced JPEG2000 Performance." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/26519.

Full text

Abstract:

JPEG2000 is a wavelet transform based image compression and coding standard. It provides superior rate-distortion performance when compared to the previous JPEG standard. In addition JPEG2000 provides four dimensions of scalability-distortion, resolution, spatial, and color. These superior features make JPEG2000 ideal for use in power and bandwidth limited mobile applications like urban search and rescue. Such applications require a fast, low power JPEG2000 encoder to be embedded on the mobile agent. This embedded encoder needs to also provide superior subjective quality to low bitrate im

APA, Harvard, Vancouver, ISO, and other styles

32

AKSAKALLI, VURAL. "Heuristic Methods for Gang-Rip Saw Arbor Design and Scheduling." NCSU, 1999. http://www.lib.ncsu.edu/theses/available/etd-19991102-031914.

Full text

Abstract:

<p>AKSAKALLI, VURAL. Heuristic Methods for Gang-Rip Saw Arbor Design and Scheduling. (Under the direction of Dr. Yahya Fathi).This research considers the problem of designing and scheduling arbors for gang-rip saw systems. Such systems are typically used within the furniture manufacturing industry for processing lumber, where lumber boards are first ripped lengthwise into strips of different widths, and then, cut to the required lengths to be used in manufacturing.A saw with multiple cutting channels is used to perform this operation. This saw has fixed blades at specific positions on a rotati

APA, Harvard, Vancouver, ISO, and other styles

33

Makaya, Makaya L. "Interactive methods for multiple objective linear programming in decision support." Master's thesis, University of Cape Town, 2005. http://hdl.handle.net/11427/4385.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Harris, William Ray. "Anomaly detection methods for unmanned underwater vehicle performance data." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/98718.

Full text

Abstract:

Thesis: S.M., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 101-102).<br>This thesis considers the problem of detecting anomalies in performance data for unmanned underwater vehicles(UUVs). UUVs collect a tremendous amount of data, which operators are required to analyze between missions to determine if vehicle systems are functioning properly. Operators are typically under heavy time constraints when performing this data analysis. The goal of this resea

APA, Harvard, Vancouver, ISO, and other styles

35

Wang, Yuchen. "Interpretable machine learning methods with applications to health care." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/127295.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, May, 2020<br>Cataloged from the official PDF of thesis.<br>Includes bibliographical references (pages 131-142).<br>With data becoming increasingly available in recent years, black-box algorithms like boosting methods or neural networks play more important roles in the real world. However, interpretability is a severe need for several areas of applications, like health care or business. Doctors or managers often need to understand how models make predictions, in order to make their fin

APA, Harvard, Vancouver, ISO, and other styles

36

Toulis, Panagiotis. "Implicit methods for iterative estimation with large data sets." Thesis, Harvard University, 2016. http://nrs.harvard.edu/urn-3:HUL.InstRepos:33493434.

Full text

Abstract:

The ideal estimation method needs to fulfill three requirements: (i) efficient computation, (ii) statistical efficiency, and (iii) numerical stability. The classical stochastic approximation of (Robbins, 1951) is an iterative estimation method, where the current iterate (parameter estimate) is updated according to some discrepancy between what is observed and what is expected assuming the current iterate has the true parameter value. Classical stochastic approximation undoubtedly meets the computation requirement, which explains its widespread popularity, for example, in modern applications of

APA, Harvard, Vancouver, ISO, and other styles

37

Biehn, Neil David. "Implicit Runge-Kutta Methods for Stiff and Constrained Optimal Control Problems." NCSU, 2001. http://www.lib.ncsu.edu/theses/available/etd-20010322-165913.

Full text

Abstract:

<p>The purpose of the research presented in this thesis is to better understand and improve direct transcription methods for stiff and state constrained optimal control problems. When some implicit Runge-Kutta methods are implemented as approximations to the dynamics of an optimal control problem, a loss of accuracy occurs when the dynamics are stiff or constrained. A new grid refinement strategy which exploits the variation of accuracy is discussed. In addition, the use of a residual function in place of classical error estimation techniques is proven to work well for stiff systems. Computati

APA, Harvard, Vancouver, ISO, and other styles

38

Sullivan, Margaret A. "Reduced precision redundancy applied to arithmetic operations in field programmable gate arrays for satellite control and sensor systems." Thesis, Monterey, California. Naval Postgraduate School, 2008. http://hdl.handle.net/10945/3719.

Full text

Abstract:

This thesis examines two problems in on-board computing for space vehicles and develops rules for applying Reduced Precision Redundancy (RPR) as a new method of fault tolerance in Field Programmable Gate Arrays against Single Event Effects due to radiation on orbit. RPR was discovered by Snodgrass in 2006 and was first demonstrated using the single-input CORDIC algorithm. This research applies RPR to elementary multiple-input arithmetic operations (addition, subtraction, multiplication, division) and extends applications to multi-level combinations of these operations as they appear in spacec

APA, Harvard, Vancouver, ISO, and other styles

39

Chung, Carl Yuk Kay. "Managing ramp operations at airport : issues, models and solution methods /." View abstract or full-text, 2005. http://library.ust.hk/cgi/db/thesis.pl?IEEM%202005%20CHUNG.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Acuña-Agost, Rodrigo. "Mathematical modeling and methods for rescheduling trains under disrupted operations." Phd thesis, Université d'Avignon, 2009. http://tel.archives-ouvertes.fr/tel-00453640.

Full text

Abstract:

En raison de problèmes opérationnels et d'autres événements inattendus, un grand nombre d'incidents se produisent quotidiennement dans les systèmes de transport ferroviaire. Certains d'entre eux ont un impact local, mais quelques fois, essentiellement dans les réseaux ferroviaires plus saturés, des petits incidents peuvent se propager à travers tout le réseau et perturber de manière significative les horaires des trains. Dans cette thèse doctorale, nous présentons le problème de réordonnancement de plan de circulation ferroviaire en cas d'incident comme la problématique de créer un plan de cir

APA, Harvard, Vancouver, ISO, and other styles

41

Tufano, Alessandro <1993&gt. "Analytics and Methods for Logistic System Design and Operations Management." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amsdottorato.unibo.it/9495/1/tufano_alessandro_tesi.pdf.

Full text

Abstract:

Analytics is the technology working with the manipulation of data to produce information able to change the world we live every day. Analytics have been largely used within the last decade to cluster people’s behaviour to predict their preferences of items to buy, music to listen, movies to watch and even electoral preference. The most advanced companies succeded in controlling people’s behaviour using analytics. Despite the evidence of the super-power of analytics, they are rarely applied to the big data collected within supply chain systems (i.e. distribution network, storage systems and pro

APA, Harvard, Vancouver, ISO, and other styles

42

Zeljić, Aleksandar. "From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-334565.

Full text

Abstract:

Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. Failure of safety-critical systems is unacceptable, due to high-stakes involving human lives or huge amounts of money, time and effort. By formally proving properties of systems, we can be assured that they meet safety requirements.

APA, Harvard, Vancouver, ISO, and other styles

43

Becker, Adrian Bernard Druke. "Decomposition methods for large scale stochastic and robust optimization problems." Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/68969.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2011.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 107-112).<br>We propose new decomposition methods for use on broad families of stochastic and robust optimization problems in order to yield tractable approaches for large-scale real world application. We introduce a new type of a Markov decision problem named the Generalized Rest less Bandits Problem that encompasses a broad generalization of the restless bandit problem. For this class of stoch

APA, Harvard, Vancouver, ISO, and other styles

44

Asgharzadeh, Talebi Zohreh. "Exact and Heuristic Methods for solving the View-Selection Problem for Aggregate Queries." NCSU, 2006. http://www.lib.ncsu.edu/theses/available/etd-05092006-123513/.

Full text

Abstract:

In this thesis we present a formal study of the following view-selection problem: Given a set of queries, a database, and an upper bound on the amount of disk space that can be used to store materialized views, return definitions of views that, when materialized in the database, would reduce the evaluation costs of the queries. Optimizing the layout of stored data using view selection has a direct impact on the performance of the entire database system. At the same time, the optimization problem is intractable, even under natural restrictions on the types of queries of interest. We introduce a

APA, Harvard, Vancouver, ISO, and other styles

45

Maye, P. J. "Exact and heuristic methods of finding network structure in linear programs." Thesis, Coventry University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.276165.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Liu, Jessamyn. "Anomaly detection methods for detecting cyber attacks in industrial control systems." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/129055.

Full text

Abstract:

Thesis: S.M., Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, September, 2020<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 119-123).<br>Industrial control systems (ICS) are pervasive in modern society and increasingly under threat of cyber attack. Due to the critical nature of these systems, which govern everything from power and wastewater plants to refineries and manufacturing, a successful ICS cyber attack can result in serious physical consequences. This thesis evaluates multiple anomaly detection meth

APA, Harvard, Vancouver, ISO, and other styles

47

McNerney, Michael A., and Marshall V. Ecklund. "Personnel recovery operations for special operations forces in urban environments modeling successful overt and clandestine methods of recovery." Thesis, Monterey, California. Naval Postgraduate School, 2004. http://hdl.handle.net/10945/1159.

Full text

Abstract:

Approved for public release; distribution is unlimited<br>This thesis presents two prescriptive models for approaching challenges to special operations forces with regard to personnel recovery in an urban environment. It begins by developing a model for overt recovery methods, using McRaven's model of Special Operations as the foundation. This model is then tested against three different case studies from operations in Mogadishu, Somalia in 1993. The original six principles proposed by McRaven are complimented with four newly-prescribed principles that account for the interactions of the isola

APA, Harvard, Vancouver, ISO, and other styles

48

Ecklund, Marshall V. McNerney Michael A. "Personnel recovery operations for Special Operations Forces in Urban Environments : modeling successful overt and clandestine methods of recovery /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Jun%5FEcklund%5FMcNerney.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Foong, Yew Chong. "Airlift operations modeling using Discrete Event Simulation (DES)." Thesis, Monterey, California : Naval Postgraduate School, 2009. http://edocs.nps.edu/npspubs/scholarly/theses/2009/Dec/09Dec%5FFoong.pdf.

Full text

Abstract:

Thesis (M.S. in Modeling, Virtual Environments, and Simulation (MOVES))--Naval Postgraduate School, December 2009.<br>Thesis Advisor(s): Buss, Arnold. Second Reader: Meyer, David. "December 2009." Description based on title screen as viewed on January 28, 2010. Author(s) subject terms: Discrete Event Simulation, airlift operation. Includes bibliographical references (p. 145-147). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

50

Sölveling, Gustaf. "Stochastic programming methods for scheduling of airport runway operations under uncertainty." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/44842.

Full text

Abstract:

Runway systems at airports have been identified as a major source of delay in the aviation system and efficient runway operations are, therefore, important to maintain and/or increase the capacity of the entire aviation system. The goal of the airport runway scheduling problem is to schedule a set of aircraft and minimize a given objective while maintaining separation requirements and enforcing other operational constraints. Uncertain factors such as weather, surrounding traffic and pilot behavior affect when aircraft can be scheduled, and these factors need to be considered in planning models

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!