Zaloguj się

Gotowe bibliografie tematyczne / Dynamic Proof of Storage / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Dynamic Proof of Storage.

Rozprawy doktorskie na temat „Dynamic Proof of Storage”

Autor: Grafiati

Data publikacji: 3 czerwca 2025

Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Dynamic Proof of Storage”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

2

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

6

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

15

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

17

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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).

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

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

Pełny tekst źródła

Streszczenie:

碩士<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

Style APA, Harvard, Vancouver, ISO itp.

46

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

碩士<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

Style APA, Harvard, Vancouver, ISO itp.

48

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

Pełny tekst źródła

Streszczenie:

碩士<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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

碩士<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

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!