Log in

Relevant bibliographies by topics / Dynamic Proof of Storage / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Dynamic Proof of Storage.

Dissertations / Theses on the topic 'Dynamic Proof of Storage'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Dynamic Proof of Storage.'

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

Lunel, Simon. "Parallelism and modular proof in differential dynamic logic." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S005/document.

Full text

Abstract:

Les systèmes cyber-physiques mélangent des comportements physiques continus, tel la vitesse d'un véhicule, et des comportement discrets, tel que le régulateur de vitesse d'un véhicule. Ils sont désormais omniprésents dans notre société. Un grand nombre de ces systèmes sont dits critiques, i.e. une mauvaise conception entraînant un comportement non prévu, un bug, peut mettre en danger des êtres humains. Il est nécessaire de développer des méthodes pour garantir le bon fonctionnement de tels systèmes. Les méthodes formelles regroupent des procédés mathématiques pour garantir qu'un système se com

APA, Harvard, Vancouver, ISO, and other styles

2

Gow, Jeremy. "The dynamic creation of induction rules using proof planning." Thesis, University of Edinburgh, 2004. http://hdl.handle.net/1842/643.

Full text

Abstract:

A key problem in automating proof by mathematical induction is choosing an induction rule suitable for a given conjecture. Since Boyer & Moore’s NQTHM system the standard approach has been based on recursion analysis, which uses a combination of induction rules based on the relevant recursive function definitions. However, there are practical examples on which such techniques are known to fail. Recent research has tried to improve automation by delaying the choice of inductive rule until later in the proof, but these techniques suffer from two serious problems. Firstly, a lack of search contro

APA, Harvard, Vancouver, ISO, and other styles

3

Olivero, Federica. "The proving process within a dynamic geometry environment." Thesis, University of Bristol, 2003. http://hdl.handle.net/1983/ed52d690-e35f-4bd8-8a3a-74a8b7de5f7c.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lee, Man-sang Arthur. "Impact of exploration in a dynamic geometry environment on students' concept of proof." Hong Kong : University of Hong Kong, 1996. http://sunzi.lib.hku.hk/hkuto/record.jsp?B18034019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Gardiner, John. "Dynamic geometry, construction and proof : making meaning in the mathematics classroom." Thesis, Sheffield Hallam University, 2002. http://shura.shu.ac.uk/6479/.

Full text

Abstract:

The overall aim of this study was to investigate mathematical meaning making in relation to the areas of construction and proof through the use of a dynamic geometry environment (Cabri II as available on the TI 92 calculator). The experimental work was carried out with 11-14 year old pupils in four schools in the North of England between 1996 and 1999. The research involved working with whole classes and a range of groups of varying sizes. The research methodologies adopted were drawn from various areas (an approach advocated as suitable for classroom research by Klafid, 1998). The researcher

APA, Harvard, Vancouver, ISO, and other styles

6

Behzadnia, Peyman. "Dynamic Energy-Aware Database Storage and Operations." Scholar Commons, 2018. http://scholarcommons.usf.edu/etd/7125.

Full text

Abstract:

Energy consumption has become a first-class optimization goal in design and implementation of data-intensive computing systems. This is particularly true in the design of database management systems (DBMS), which is one of the most important servers in software stack of modern data centers. Data storage system is one of the essential components of database and has been under many research efforts aiming at reducing its energy consumption. In previous work, dynamic power management (DPM) techniques that make real-time decisions to transition the disks to low-power modes are normally used to sav

APA, Harvard, Vancouver, ISO, and other styles

7

Ratnayake, Yohan. "PKI based Encryption for Document Sharing, Optimized Storage, and Proof of Existence in the Cloud." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-182906.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lee, Man-sang Arthur, and 李文生. "Impact of exploration in a dynamic geometry environment on students' concept of proof." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1996. http://hub.hku.hk/bib/B3195876X.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Couto, Camilo José d'Avila. "Dinamização do ônus da prova: teoria e prática." Universidade de São Paulo, 2011. http://www.teses.usp.br/teses/disponiveis/2/2137/tde-05072012-140925/.

Full text

Abstract:

Pesquisa desenvolvida na área do direito processual civil por intermédio de análise bibliográfica, baseada na averiguação de legislação, doutrina e jurisprudência pátria e estrangeira, pertinentes à teoria e prática da dinamização do ônus da prova e, em efeito, ao dogma do ônus da prova. Dinamizar o ônus da prova é atribuir o caráter dinâmico ao referido dogma, permitindo ao magistrado, quando da utilização da regra de julgamento, transformar a regra estática de distribuição do ônus da prova em algo dinâmico, ativo, observando determinados elementos conceituais e estruturais. A dinamização do

APA, Harvard, Vancouver, ISO, and other styles

10

Bajracharya, Quree. "Dynamic Modeling, Monitoring and Control of Energy Storage System." Thesis, Karlstads universitet, Fakulteten för teknik- och naturvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-26521.

Full text

Abstract:

Today there is a great interest on the small scale renewable electricity generation due to the changing economics and the demand for highly sustainable electricity generation. However, renewable energy sources are unreliable and fluctuating which causes variation of power flow. In this situation, there can be server problems such as frequency oscillations, violation of the power line capability jeopardizing the security of the power system. Batteries can be an emerging technology which acts as the fast acting spinning reserve that can balance between the load and generation. Conversely, it ver

APA, Harvard, Vancouver, ISO, and other styles

11

Vincent, Jill. "Mechanical linkages, dynamic geometry software, and argumentation : supporting a classroom culture of mathematical proof /." Connect to thesis, 2002. http://eprints.unimelb.edu.au/archive/00001399.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Witt, Oliver [Verfasser]. "Topological and online analysis of dynamic storage networks / Oliver Witt." Lübeck : Zentrale Hochschulbibliothek Lübeck, 2017. http://d-nb.info/1126285218/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Karbaschi, Arash. "Dynamic pattern recognition and data storage using localized holographic recording." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/24753.

Full text

Abstract:

Thesis (Ph.D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2008.<br>Committee Chair: Adibi, Ali; Committee Member: Altunbasak, Yucel; Committee Member: Callen Jr, William R; Committee Member: Gaylord, Thomas K; Committee Member: McLaughlin, Steven W; Committee Member: Trebino, Rick.

APA, Harvard, Vancouver, ISO, and other styles

14

Silva, Luís César da. "Stochastic simulation of the dynamic behavior of grain storage facilities." Universidade Federal de Viçosa, 2002. http://www.locus.ufv.br/handle/123456789/9468.

Full text

Abstract:

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-02-09T15:05:24Z No. of bitstreams: 1 texto completo.pdf: 1153041 bytes, checksum: 3894e22f554e535b931c746ac5e7b4df (MD5)<br>Made available in DSpace on 2017-02-09T15:05:24Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1153041 bytes, checksum: 3894e22f554e535b931c746ac5e7b4df (MD5) Previous issue date: 2002-05-21<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Unidades armazenadoras de grãos podem ser definidas como sistemas projetados e estruturados para receber, limpar, secar, armazenar e expedir gr

APA, Harvard, Vancouver, ISO, and other styles

15

Fazlollahi, Farhad. "Dynamic Liquefied Natural Gas (LNG) Processing with Energy Storage Applications." BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/5956.

Full text

Abstract:

The cryogenic carbon capture™ (CCC) process provides energy- and cost-efficient carbon capture and can be configured to provide an energy storage system using an open-loop natural gas (NG) refrigeration system, which is called energy storing cryogenic carbon capture (CCC-ES™). This investigation focuses on the transient operation and especially on the dynamic response of this energy storage system and explores its efficiency, effectiveness, design, and operation. This investigation included four tasks.The first task explores the steady-state design of four different natural gas liquefaction pr

APA, Harvard, Vancouver, ISO, and other styles

16

Subramanian, Lalitha. "AN INVESTIGATION OF HIGH SCHOOL GEOMETRY STUDENTS PROVING AND LOGICAL THINKING ABILITIES AND THE IMPACT OF DYNAMIC GEOMETRY SOFTWARE ON STUDENT PERFORMANCE." Doctoral diss., University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2545.

Full text

Abstract:

The purpose of this study was to investigate (a) the role of a yearlong geometry course on high school geometry students' logical thinking and proof construction abilities, (b) the linkage between students' logical thinking and proof construction abilities, and (c) the impact of dynamic geometry software on students' performance. In addition, this study also ventured to determine if the type of geometry course had any impact on students' logical thinking and proof construction achievement. The sample for the study consisted of 1,325 high school geometry students enrolled in regular, honors, an

APA, Harvard, Vancouver, ISO, and other styles

17

Williams, Peter. "Dynamic memory for design." Thesis, The University of Sydney, 1995. https://hdl.handle.net/2123/27472.

Full text

Abstract:

This thesis addresses the problem of providing an efficient case memory suitable for use with case-based reasoning in design. First, the requirements of a case memory for design are identified. Then a formal specification of a dynamic memory which satisfies these requirements is produced based on the idea of the memory organization packet presented in Schank’s model of dynamic memory and the assumption that design cases are decomposed into excerpts. Memory organization packets are used to represent both the excerpts themselves and the generalizations that may be formed from them. The term tra

APA, Harvard, Vancouver, ISO, and other styles

18

Coonick, Alun Howard. "Dynamic aspects of a wind/diesel system with flywheel energy storage." Thesis, Imperial College London, 1991. http://hdl.handle.net/10044/1/46726.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Suc, Julia Caroline. "Cross-market optimization for a hydro pumped storage using dynamic programming." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187689.

Full text

Abstract:

Following the liberalization of the electricity sector and the increase of renewables, the design of the electricity markets has evolved. Optimization techniques and models for power system generation scheduling including multiple markets are nowadays crucial. In this thesis, a solution has been developed in order to optimize the schedule of a hydro pumped storage while considering electricity markets with di˙erent time resolutions. The model is based on the German market design and uses deterministic dynamic programming techniques. Based on past data, the final model allows backtesting analys

APA, Harvard, Vancouver, ISO, and other styles

20

Makki, Shiva S. "A Dynamic Equilibrium Analysis of Storage-Trade Interactions in Commodity Markets." The Ohio State University, 1995. http://rave.ohiolink.edu/etdc/view?acc_num=osu1393346349.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Löhndorf, Nils, and David Wozabal. "Indifference pricing of natural gas storage contracts." WU Vienna University of Economics and Business, 2017. http://epub.wu.ac.at/5421/1/5863.pdf.

Full text

Abstract:

Natural gas markets are incomplete due to physical limitations and low liquidity, but most valuation approaches for natural gas storage contracts assume a complete market. We propose an alternative approach based on indifference pricing which does not require this assumption but entails the solution of a high- dimensional stochastic-dynamic optimization problem under a risk measure. To solve this problem, we develop a method combining stochastic dual dynamic programming with a novel quantization method that approximates the continuous process of natural gas prices by a discrete scenario lattic

APA, Harvard, Vancouver, ISO, and other styles

22

Pandya, Maya Jay. "Structural and dynamic properties of a methionine-rich protein from sunflower seed." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.246242.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Noman, Ali. "Addressing the Data Location Assurance Problem of Cloud Storage Environments." Thesis, Université d'Ottawa / University of Ottawa, 2018. http://hdl.handle.net/10393/37375.

Full text

Abstract:

In a cloud storage environment, providing geo-location assurance of data to a cloud user is very challenging as the cloud storage provider physically controls the data and it would be challenging for the user to detect if the data is stored in different datacenters/storage servers other than the one where it is supposed to be. We name this problem as the “Data Location Assurance Problem” of a Cloud Storage Environment. Aside from the privacy and security concerns, the lack of geo-location assurance of cloud data involved in the cloud storage has been identified as one of the main reasons why

APA, Harvard, Vancouver, ISO, and other styles

24

Hunter, Neil Martin. "Development and assessment of dynamic storage cell codes for flood inundation modelling." Thesis, University of Bristol, 2005. http://hdl.handle.net/1983/c8858588-ee07-4810-aacc-4f1d74d7643a.

Full text

Abstract:

Since 1962 storage cell codes have been developed to simulate flow on fluvial and coastal floodplains. These models treat the floodplain as a series of discrete storage cells, with the flow between cells calculated explicitly using some analytical flow formulae such as the Manning equation. Recently these codes have been reconfigured to use regular Cartesian grids to make full use of widely available high resolution data captured from remote sensing platforms and stored in a raster GIS format. Such raster-based storage cell codes have many of the advantages over full two-dimensional depth aver

APA, Harvard, Vancouver, ISO, and other styles

25

Löhndorf, Nils, David Wozabal, and Stefan Minner. "Optimizing Trading Decisions for Hydro Storage Systems using Approximate Dual Dynamic Programming." INFORMS, 2013. http://dx.doi.org/10.1287/opre.2013.1182.

Full text

Abstract:

We propose a new approach to optimize operations of hydro storage systems with multiple connected reservoirs whose operators participate in wholesale electricity markets. Our formulation integrates short-term intraday with long-term interday decisions. The intraday problem considers bidding decisions as well as storage operation during the day and is formulated as a stochastic program. The interday problem is modeled as a Markov decision process of managing storage operation over time, for which we propose integrating stochastic dual dynamic programming with approximate dynamic programming. We

APA, Harvard, Vancouver, ISO, and other styles

26

Baldini, Renato Ornellas. "Distribuição dinâmica do ônus da prova no direito processual do trabalho." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/2/2138/tde-05122013-093647/.

Full text

Abstract:

O presente trabalho estuda a aplicação da teoria da distribuição dinâmica do ônus da prova no Direito Processual do Trabalho. Analisa, inicialmente, os impactos das novas demandas trabalhistas e das modernas teorias do Direito Processual no Direito Processual do Trabalho. Aborda o ônus da prova em seus aspectos gerais, definindo conceito de prova, conceitos e distinções entre ônus, obrigação e dever e conceito de ônus da prova, analisando a evolução teórica e o perfil dogmático da distribuição do ônus da prova, a estrutura funcional do ônus da prova (ônus da prova subjetivo e ônus da prova obj

APA, Harvard, Vancouver, ISO, and other styles

27

Barbosa, MÃrcia Pedrosa Cavalcante. "Impacts of proof in the electronic collection of vat in the state of Ceara: a sectoral analysis." Universidade Federal do CearÃ, 2011. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7907.

Full text

Abstract:

nÃo hÃ<br>The present study sets out this issue, in order to investigate the impacts of electronic invoice in the collection of VAT in the State of CearÃ, more precisely in the pioneering activities in their use. It was intended to achieve this purpose by researching the history, legislation, the operational model and the benefits of this new tool, with a descriptive and econometric analysis of the activities of VAT collections required and not required in the periods before and after the fiscal policy. We used the methodological âdifference in differenceâ, which results indicated that, in a g

APA, Harvard, Vancouver, ISO, and other styles

28

Palmitesta, Mariana Aravechia. "Análise crítica da distribuição dinâmica do ônus da prova." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/2/2137/tde-11042016-130422/.

Full text

Abstract:

Nos últimos anos, a partir do surgimento da ideia de Estado Democrático de Direito, a moderna doutrina processualista passou a entender o processo não só como meio destinado à pacificação social, passando a encará-lo como mecanismo destinado a fazer valer garantias e direitos constitucionais e a alcançar a pacificação justa dos litígios. A partir deste novo contexto, verificou-se a limitação de alguns institutos processuais vigentes, que embora pudessem auxiliar na obtenção do escopo de pacificação, deixavam de resguardar ou de implementar, em alguns momentos, determinadas garantias constituci

APA, Harvard, Vancouver, ISO, and other styles

29

Jaramillo, Juan R. "A tabu search approach for the dynamic space allocation problem." Morgantown, W. Va. : [West Virginia University Libraries], 2002. http://etd.wvu.edu/templates/showETD.cfm?recnum=2712.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 2002.<br>Title from document title page. Document formatted into pages; contains xi, 87 p. : ill. Includes abstract. Includes bibliographical references (p. 84-87).

APA, Harvard, Vancouver, ISO, and other styles

30

Mykoniou, Konstantinos Verfasser], Sven [Akademischer Betreuer] [Klinkel, and Carsten [Akademischer Betreuer] Könke. "Dynamic analysis of multiple liquid-storage tanks / Konstantinos Mykoniou ; Sven Klinkel, Carsten Könke." Aachen : Universitätsbibliothek der RWTH Aachen, 2015. http://d-nb.info/1129787451/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Thiedau, Jan [Verfasser]. "Dynamic Optimization of Gas Transmission Networks for Storage of Renewable Energy / Jan Thiedau." Hannover : Gottfried Wilhelm Leibniz Universität, 2018. http://d-nb.info/1158670478/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Mykoniou, Konstantinos [Verfasser], Sven [Akademischer Betreuer] Klinkel, and Carsten [Akademischer Betreuer] Könke. "Dynamic analysis of multiple liquid-storage tanks / Konstantinos Mykoniou ; Sven Klinkel, Carsten Könke." Aachen : Universitätsbibliothek der RWTH Aachen, 2015. http://d-nb.info/1129787451/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Nishanth, Rini. "Dynamic Response and Life-Cycle Analysis of Floating Production Storage and Offloading Systems." Thesis, Curtin University, 2018. http://hdl.handle.net/20.500.11937/70517.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Li, Wing-wa. "Changes in students' conceptions of geometric proof with the use of pre-constructed, dynamic geometry sketches and accompanying materials /." View the Table of Contents & Abstract, 2005. http://sunzi.lib.hku.hk/hkuto/record/B35288413.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Li, Wing-wa, and 李穎華. "Changes in students' conceptions of geometric proof with the use of pre-constructed, dynamic geometry sketches and accompanying materials." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2005. http://hub.hku.hk/bib/B45007846.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Gawthorpe, Kateřina. "COMPETING CURRENCIES AS AN ALTERNATIVE SCENARIO TO LEGAL TENDER CLAUSE: MATHEMATICAL PROOF." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-197885.

Full text

Abstract:

Previous literature examining the scenario without the constraint of legal tender law is a rather theoretical analysis of the subject matter. Aside from the theoretical examination of the competition of money this paper offers dynamic structural macroeconomic model based on the money in the utility function. This model compares the current monetary conditions with the potential situation permitting more currencies circulating alongside. The main assumption about individuals' preferences over stable currencies underlines the whole paper with emphasis on the mathematical model. The uniqueness of

APA, Harvard, Vancouver, ISO, and other styles

37

Iqbal, Muhammad Safdar. "The Multi-tiered Future of Storage: Understanding Cost and Performance Trade-offs in Modern Storage Systems." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/79142.

Full text

Abstract:

In the last decade, the landscape of storage hardware and software has changed considerably. Storage hardware has diversified from hard disk drives and solid state drives to include persistent memory (PMEM) devices such as phase change memory (PCM) and Flash-backed DRAM. On the software side, the increasing adoption of cloud services for building and deploying consumer and enterprise applications is driving the use of cloud storage services. Cloud providers have responded by providing a plethora of choices of storage services, each of which have unique performance characteristics and pricing.

APA, Harvard, Vancouver, ISO, and other styles

38

Osta, Iman M. "From Physical Model To Proof For Understanding Via DGS:Interplay Among Environments." Proceedings of the tenth International Conference Models in Developing Mathematics Education. - Dresden : Hochschule für Technik und Wirtschaft, 2009. - S. 464 - 468, 2012. https://slub.qucosa.de/id/qucosa%3A1798.

Full text

Abstract:

The widespread use of Dynamic Geometry Software (DGS) is raising many interesting questions and discussions as to the necessity, usefulness and meaning of proof in school mathematics. With these questions in mind, a didactical sequence on the topic “Conics” was developed in a teacher education course tailored for pre-service secondary math methods course. The idea of the didactical sequence is to introduce “Conics” using a concrete manipulative approach (paper folding) then an explorative DGS-based construction activity embedding the need for a proof. For that purpose, the DGS software serves

APA, Harvard, Vancouver, ISO, and other styles

39

Abdelfatah, Hussein Mohamed Abdelsalam [Verfasser], and Ulrich [Akademischer Betreuer] Kortenkamp. "Improving Attitudes towards Geometric Proof through a Suggested Story-Based Dynamic Geometry Approach / Hussein Mohamed Abdelsalam Abdelfatah ; Betreuer: Ulrich Kortenkamp." Karlsruhe : Pädagogische Hochschule Karlsruhe, 2011. http://d-nb.info/1184145563/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Shaheen, Mahmoud Serageldin Abdelazeem. "Cross-Aisle Seismic Behaviour of Drive-In Steel Storage Racks." Thesis, The University of Sydney, 2017. http://hdl.handle.net/2123/18884.

Full text

Abstract:

Many storage racks fail during earthquakes. Investigations of previous earthquake incidents reported that failures in storage racks were either because of inadequate structural design or because racks were struck by heavy pallet loads falling from the racks as pallets moved and dislodged during the earthquake. This has highlighted the need for robust earthquake design guidelines for steel storage racks. Therefore, the main objective of this thesis project was to study the seismic behaviour of drive-in racks, and particularly to derive the ductility factor for the rack in the cross-aisle direct

APA, Harvard, Vancouver, ISO, and other styles

41

Horn, John F. "IPSec-based dynamic security services for the MYSEA environment." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Jun%5FHorn.pdf.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2005.<br>Thesis Advisor(s): Cynthia E. Irvine, Thuy D. Nguyen. Includes bibliographical references (p. 107-109). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

42

Osta, Iman M. "From Physical Model To Proof For Understanding Via DGS: Interplay Among Environments." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-80806.

Full text

Abstract:

The widespread use of Dynamic Geometry Software (DGS) is raising many interesting questions and discussions as to the necessity, usefulness and meaning of proof in school mathematics. With these questions in mind, a didactical sequence on the topic “Conics” was developed in a teacher education course tailored for pre-service secondary math methods course. The idea of the didactical sequence is to introduce “Conics” using a concrete manipulative approach (paper folding) then an explorative DGS-based construction activity embedding the need for a proof. For that purpose, the DGS software serves

APA, Harvard, Vancouver, ISO, and other styles

43

Hussain, Bilaal Yusef. "Dynamic simulations of carbon dioxide pipeline transportation for the purpose of carbon capture and storage." Thesis, University of Birmingham, 2018. http://etheses.bham.ac.uk//id/eprint/8575/.

Full text

Abstract:

This Engineering Doctorate project aimed to study the effects of varying flowrates on the flow dynamics of carbon dioxide within a pipeline. The researched utilised the software gCCS to simulate three different transport system. The first system looked at the effects of transporting pure carbon dioxide in both the supercritical phase and the sub-cooled liquid phase. The outputs from the model showed that when the inlet flowrate is decreased, the outlet flowrate responds in three distinct phases. The second system compared the effects of three different impurities; hydrogen, nitrogen and oxygen

APA, Harvard, Vancouver, ISO, and other styles

44

Hall, Brenton Taylor. "Using the Non-Uniform Dynamic Mode Decomposition to Reduce the Storage Required for PDE Simulations." The Ohio State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=osu1492711382801134.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

卓佳璋. "Research On Dynamic Illustration of Geometry Proof Problems with SVG." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/99367216726354351465.

Full text

Abstract:

碩士<br>國立臺灣師範大學<br>資訊教育學系在職進修碩士班<br>95<br>The development of e-learning is more and more mature, and the applied level is also more and more wide. Among them, in addition to having text information, there are also abundant diagrammatic demonstrations. On the learning of geometry proof problems in mathematics in junior high school, student can only comprehend through pure literalness method, and usually be in need of a dynamic illustration with graph.So we design an automatic system that can simulate deductive process of geometry proof, and match with explanation with graph and text. After readi

APA, Harvard, Vancouver, ISO, and other styles

46

Gaharwar, Prashant. "Dynamic Storage Provisioning with SLO Guarantees." Thesis, 2010. http://hdl.handle.net/10012/5371.

Full text

Abstract:

Static provisioning of storage resources may lead to over-provisioning of resources, which increases costs, or under-provisioning, which runs the risk of violating application-level QoS goals. Toward this end, virtualization technologies have made automated provisioning of storage resources easier allowing more effective management of the resources. In this work, we present an approach that suggests a series of dynamic provisioning decisions to meet the I/O demands of a time-varying workload while avoiding unnecessary costs and Service Level Objective (SLO) violations. We also do a case-study

APA, Harvard, Vancouver, ISO, and other styles

47

Chung, Wei-Sheng, and 鍾偉勝. "Proof of Violation with Adaptive Huffman Coding Hash Tree for Cloud Storage Service." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/j622gu.

Full text

Abstract:

碩士<br>國立中央大學<br>資訊工程學系<br>106<br>Although cloud storage services are very popular nowadays, users have a problem that they do not have an effective way to prove the system is abnormal due to system errors. Users thus cannot claim a loss even when data or files are damaged by some kinds of internal errors. As a result, enterprise users often do not trust or even adopt cloud storage services due to the above-mentioned problem. We intend to design methods to solve the problem of cloud storage services. In this paper, we focus on the research of Proof of Violation (POV). All the updated files in c

APA, Harvard, Vancouver, ISO, and other styles

48

Zhang, Si-Yuan, and 張思遠. "Dynamic Blockchain Storage Scheme Based on Sidechains." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/c78955.

Full text

Abstract:

碩士<br>國立中山大學<br>資訊工程學系研究所<br>106<br>Due to the development of network technique, the cloud storages become more and more popular. Traditional physical memories are expansive, and with limited usable storage space. If the cloud storages are adopted, one can rent large storage space in a lower price. However, centralized cloud has a number of risks. First, the right of the cloud center is over-large, and it means the cloud center can modify or delete data as it wants without being detected. Secondly, once the central services are compromised, all the data are also disclosed. Due to propertied de

APA, Harvard, Vancouver, ISO, and other styles

49

Chiang, Hao-Chun, and 江浩群. "Real-time Auditing and Proof of Violation for Cloud Storage Systems Based on Transponder." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/64129088744808199156.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Wu, Yi-Jui, and 吳奕叡. "A Wormhole-Proof Dynamic Source Routing Protocol for Wireless Ad-hoc Networks." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/96181651592935494498.

Full text

Abstract:

碩士<br>國立交通大學<br>資訊科學與工程研究所<br>95<br>In recent years, wireless mobile ad-hoc networks (MANet) have becoming attractive and important in both research and practice. However, many previous works on MANet assume a trusty network environment, while malicious adversaries can easily disrupt, eavesdrop and intrude because of the nature of wireless communication. In this thesis, we study a particular attack called wormhole attacks, and develop a wormhole-proof dynamic source routing protocol, which requires neither time synchronization nor specialized hardware, to counter wormhole attacks. The results

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!