Siga este link para ver outros tipos de publicações sobre o tema: Microgravity Science and Applications Program.

Teses / dissertações sobre o tema "Microgravity Science and Applications Program"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 31 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Microgravity Science and Applications Program".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.

1

Wendt, N. Rodney. "Applications of program understanding and rule-based quality assurance to Slam II simulation programs." Thesis, University of Ottawa (Canada), 1993. http://hdl.handle.net/10393/6893.

Texto completo da fonte
Resumo:
With the advance of time, our inventory of simulation programs has and continues to accumulate. To maximize the return on our investment of time and money into these software systems, it is advantageous for us to reuse software components as much as possible. For example, previously engineered simulation models can often be reused and exercised under a new set of experimental conditions. Before a software component can be reused, the analyst must learn and understand its functionality. This learning process is often made unnecessarily difficult due to incomplete documentation. Another contribu
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Kang, Paul J. (Paul Ji Hwan) 1974. "A technical and economic analysis of structural composite use in automotive body-in-white applications." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/34697.

Texto completo da fonte
Resumo:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Materials Science and Engineering; and, (S.M.)--Massachusetts Institute of Technology, Technology and Policy Program, 1998.<br>Science Library copy in pages.<br>Includes bibliographical references (leaves 163-170).<br>by Paul J. Kang.<br>S.M.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Du, Wei. "Advanced middleware support for distributed data-intensive applications." Connect to resource, 2005. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1126208308.

Texto completo da fonte
Resumo:
Thesis (Ph. D.)--Ohio State University, 2005.<br>Title from first page of PDF file. Document formatted into pages; contains xix, 183 p.; also includes graphics (some col.). Includes bibliographical references (p. 170-183). Available online via OhioLINK's ETD Center
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Huang, Jin. "Detecting Server-Side Web Applications with Unrestricted File Upload Vulnerabilities." Wright State University / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=wright163007760528389.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Ezeozue, Chidube Donald. "Large-scale consensus clustering and data ownership considerations for medical applications." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/86273.

Texto completo da fonte
Resumo:
Thesis: S.M. in Technology and Policy, Massachusetts Institute of Technology, Engineering Systems Division, Technology and Policy Program, 2013.<br>Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 97-101).<br>An intersection of events has led to a massive increase in the amount of medical data being collected from patients inside and outside the hospital. These events include the development of new sensors, the continuous decrease in the co
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Sanjeepan, Vivekananthan. "A service-oriented, scalable, secure framework for Grid-enabling legacy scientific applications." [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0013276.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Ghafoor, Sheikh Khaled. "Integrating Algorithmic and Systemic Load Balancing Strategies in Parallel Applications." MSSTATE, 2003. http://sun.library.msstate.edu/ETD-db/theses/available/etd-11112003-113055/.

Texto completo da fonte
Resumo:
Load imbalance is a major source of performance degradation in parallel scientific applications. Load balancing increases the efficient use of existing resources and improves performance of parallel applications running in distributed environments. At a coarse level of granularity, advances in runtime systems for parallel programs have been proposed in order to control available resources as efficiently as possible by utilizing idle resources and using task migration. At a finer granularity level, advances in algorithmic strategies for dynamically balancing computational loads by data redistri
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Cherian, Mathew Sam. "A semantic data federation engine : design, implementation & applications in educational information management." Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/65501.

Texto completo da fonte
Resumo:
Thesis (S.M. in Technology and Policy)--Massachusetts Institute of Technology, Engineering Systems Division, Technology and Policy Program; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 87-90).<br>With the advent of the World Wide Web, the amount of digital information in the world has increased exponentially. The ability to organize this deluge of data, retrieve it, and combine it with other data would bring numerous benefits to organizations th
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Minh, Hyunsik Eugene. "Communication options for protection and control device in Smart Grid applications." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/82401.

Texto completo da fonte
Resumo:
Thesis (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; in conjunction with the Leaders for Global Operations Program at MIT, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 74-75).<br>Increasing use of electricity, interest in renewable energy sources, and need for a more reliable power grid system are some of the many drivers for the concept of the Smart Grid technology. In order to achieve these goals, one of the crit
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Pizarro, Oscar. "Large area underwater mosaicing for scientific applications by Oscar Pizarro." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/91909.

Texto completo da fonte
Resumo:
Thesis (S.M.)--Joint Program in Applied Ocean Science and Engineering (Massachusetts Institute of Technology, Dept. of Ocean Engineering; and the Woods Hole Oceanographic Institution), 2003.<br>Thesis (S.M.)--Joint Program in Applied Ocean Science and Engineering (Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and the Woods Hole Oceanographic Institution), 2003.<br>Includes bibliographical references (p. 73-79).<br>S.M.
Estilos ABNT, Harvard, Vancouver, APA, etc.
11

Long, Wendy. "CATY : an ASN. 1-C++ translator in support of distributed object-oriented applications /." Master's thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-10242009-020105/.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
12

Uquillas-Gomez, Verónica. "Supporting Integration Activities in Object-Oriented Applications." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2012. http://tel.archives-ouvertes.fr/tel-00835097.

Texto completo da fonte
Resumo:
De plus en plus de logiciels sont développés par des équipes de développeurs travaillant de manière collaborative en parallèle. Les développeurs peuvent altérer un ensemble d'artéfacts, inspecter et in- tégrer le code de changements faits par d'autres développeurs. Par exemple, les corrections d'erreurs, les améliorations ou nouvelles fonctionnalités doivent être intégrées dans la version finale d'un logi- ciel et ceci à différents moments du cycle de développement. A un niveau technique, le processus de développement collaboratif est mis en pratique à l'aide d'outils de contrôle de versions (
Estilos ABNT, Harvard, Vancouver, APA, etc.
13

Ji, Katrina Yun. "ADAP: A component-based model using design patterns with applications in E-Commerce." CSUSB ScholarWorks, 2000. https://scholarworks.lib.csusb.edu/etd-project/1694.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
14

Niu, Qingpeng. "Characterization and Enhancement of Data Locality and Load Balancing for Irregular Applications." The Ohio State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=osu1420811652.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
15

Filippi, Margaux(Martin-Filippi). "Advancing the theory and applications of Lagrangian Coherent Structures methods for oceanic surface flows." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122328.

Texto completo da fonte
Resumo:
Thesis: Sc. D., Joint Program in Applied Ocean Science and Engineering (Massachusetts Institute of Technology, Department of Earth, Atmospheric, and Planetary Sciences; and the Woods Hole Oceanographic Institution), 2019<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 207-218).<br>Ocean surface transport is at the core of many environmental disasters, including the spread of marine plastic pollution, the Deepwater Horizon oil spill and the Fukushima nuclear contamination. Understanding and predicting flow transport, however, remains a scientific challenge
Estilos ABNT, Harvard, Vancouver, APA, etc.
16

Singh, Saurabh. "Characterizing applications by integrating andimproving tools for data locality analysis and programperformance." The Ohio State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=osu1492741656429829.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
17

Jamrozik, Hervé. "Aide à la mise au point des applications parallèles et réparties à base d'objets persistants." Phd thesis, Grenoble 1, 1993. http://tel.archives-ouvertes.fr/tel-00005129.

Texto completo da fonte
Resumo:
L'objectif de ce travail est d'offrir une aide a la mise au point des applications paralleles et reparties, a base dobjets persistants, permettant une mise au point cyclique et offrant une observation de l'execution dun haut niveau dabstraction. Le non-determinisme et la sensibilite a toute perturbation de ce type d'execution rendent tres difficile la correction des erreurs liees aux conditions d'execution. Les limitations de l'analyse statique des programmes et des approches dynamiques fondees sur une execution courante nous conduisent a preconiser la mise en oeuvre de methodes basees sur la
Estilos ABNT, Harvard, Vancouver, APA, etc.
18

Merry, Alexander. "Reasoning with !-graphs." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:416c2e6d-2932-4220-8506-50e6b403b660.

Texto completo da fonte
Resumo:
The aim of this thesis is to present an extension to the string graphs of Dixon, Duncan and Kissinger that allows the finite representation of certain infinite families of graphs and graph rewrite rules, and to demonstrate that a logic can be built on this to allow the formalisation of inductive proofs in the string diagrams of compact closed and traced symmetric monoidal categories. String diagrams provide an intuitive method for reasoning about monoidal categories. However, this does not negate the ability for those using them to make mistakes in proofs. To this end, there is a project (Quan
Estilos ABNT, Harvard, Vancouver, APA, etc.
19

Ramraj, Varun. "Exploiting whole-PDB analysis in novel bioinformatics applications." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:6c59c813-2a4c-440c-940b-d334c02dd075.

Texto completo da fonte
Resumo:
The Protein Data Bank (PDB) is the definitive electronic repository for experimentally-derived protein structures, composed mainly of those determined by X-ray crystallography. Approximately 200 new structures are added weekly to the PDB, and at the time of writing, it contains approximately 97,000 structures. This represents an expanding wealth of high-quality information but there seem to be few bioinformatics tools that consider and analyse these data as an ensemble. This thesis explores the development of three efficient, fast algorithms and software implementations to study protein struct
Estilos ABNT, Harvard, Vancouver, APA, etc.
20

Pallow, Richard Brian. "Graduate Advisor System." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2917.

Texto completo da fonte
Resumo:
The purpose of this project is to update the architecture and design of the California State University San Bernardino Graduate Advisor System. This system allows potential students into the Master of Science degree program in Computer Science to complete their application online.
Estilos ABNT, Harvard, Vancouver, APA, etc.
21

Ferrer, Esteban. "A high order Discontinuous Galerkin - Fourier incompressible 3D Navier-Stokes solver with rotating sliding meshes for simulating cross-flow turbines." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:db8fe6e3-25d0-4f6a-be1b-6cde7832296d.

Texto completo da fonte
Resumo:
This thesis details the development, verification and validation of an unsteady unstructured high order (≥ 3) h/p Discontinuous Galerkin - Fourier solver for the incompressible Navier-Stokes equations on static and rotating meshes in two and three dimensions. This general purpose solver is used to provide insight into cross-flow (wind or tidal) turbine physical phenomena. Simulation of this type of turbine for renewable energy generation needs to account for the rotational motion of the blades with respect to the fixed environment. This rotational motion implies azimuthal changes in blade aero
Estilos ABNT, Harvard, Vancouver, APA, etc.
22

Paneth, Omer. "Foundations and applications of program obfuscation." Thesis, 2016. https://hdl.handle.net/2144/34412.

Texto completo da fonte
Resumo:
Code is said to be obfuscated if it is intentionally difficult for humans to understand. Obfuscating a program conceals its sensitive implementation details and protects it from reverse engineering and hacking. Beyond software protection, obfuscation is also a powerful cryptographic tool, enabling a variety of advanced applications. Ideally, an obfuscated program would hide any information about the original program that cannot be obtained by simply executing it. However, Barak et al. [CRYPTO 01] proved that for some programs, such ideal obfuscation is impossible. Nevertheless, Garg et
Estilos ABNT, Harvard, Vancouver, APA, etc.
23

Ren, Xiaoxia. "Change impact analysis for Java programs and applications." 2007. http://hdl.rutgers.edu/1782.2/rucore10001600001.ETD.16765.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
24

Li, Chang. "Garbage collection scheduling for Java applications." 2001. http://wwwlib.umi.com/cr/yorku/fullcit?pMQ67749.

Texto completo da fonte
Resumo:
Thesis (M. Sc.)--York University, 2001. Graduate Programme in Computer Science.<br>Typescript. Includes bibliographical references (leaves 87-92). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://wwwlib.umi.com/cr/yorku/fullcit?pMQ67749.
Estilos ABNT, Harvard, Vancouver, APA, etc.
25

Psallidas, Fotis. "Physical Plan Instrumentation in Databases: Mechanisms and Applications." Thesis, 2019. https://doi.org/10.7916/d8-vwcd-6050.

Texto completo da fonte
Resumo:
Database management systems (DBMSs) are designed with the goal set to compile SQL queries to physical plans that, when executed, provide results to the SQL queries. Building on this functionality, an ever-increasing number of application domains (e.g., provenance management, online query optimization, physical database design, interactive data profiling, monitoring, and interactive data visualization) seek to operate on how queries are executed by the DBMS for a wide variety of purposes ranging from debugging and data explanation to optimization and monitoring. Unfortunately, DBMSs provide li
Estilos ABNT, Harvard, Vancouver, APA, etc.
26

Athaiya, Snigdha. "Extending Program Analysis Techniques to Web Applications and Distributed Systems." Thesis, 2020. https://etd.iisc.ac.in/handle/2005/5523.

Texto completo da fonte
Resumo:
Web-based applications and distributed systems are ubiquitous and indispensable today. These systems use multiple parallel machines for greater functionality, and efficient and reliable computation. At the same time they present innumerable challenges, especially in the field of program analysis. In this thesis, we address two problems in the domain of web based applications and distributed systems relating to program analysis, and design effective solutions for those problems. The first challenge that the thesis addresses is the difficulty of analyzing a web application in an end-to-e
Estilos ABNT, Harvard, Vancouver, APA, etc.
27

Zhong, Peilin. "New Primitives for Tackling Graph Problems and Their Applications in Parallel Computing." Thesis, 2021. https://doi.org/10.7916/d8-pnyz-ck91.

Texto completo da fonte
Resumo:
We study fundamental graph problems under parallel computing models. In particular, we consider two parallel computing models: Parallel Random Access Machine (PRAM) and Massively Parallel Computation (MPC). The PRAM model is a classic model of parallel computation. The efficiency of a PRAM algorithm is measured by its parallel time and the number of processors needed to achieve the parallel time. The MPC model is an abstraction of modern massive parallel computing systems such as MapReduce, Hadoop and Spark. The MPC model captures well coarse-grained computation on large data --- data is distr
Estilos ABNT, Harvard, Vancouver, APA, etc.
28

Côté, Hugo. "Programmes de branchement catalytiques : algorithmes et applications." Thèse, 2018. http://hdl.handle.net/1866/22123.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
29

Rengasamy, Vasudevan. "A Runtime Framework for Regular and Irregular Message-Driven Parallel Applications on GPU Systems." Thesis, 2014. http://etd.iisc.ac.in/handle/2005/3193.

Texto completo da fonte
Resumo:
The effective use of GPUs for accelerating applications depends on a number of factors including effective asynchronous use of heterogeneous resources, reducing data transfer between CPU and GPU, increasing occupancy of GPU kernels, overlapping data transfers with computations, reducing GPU idling and kernel optimizations. Overcoming these challenges require considerable effort on the part of the application developers. Most optimization strategies are often proposed and tuned specifically for individual applications. Message-driven executions with over-decomposition of tasks constitute an im
Estilos ABNT, Harvard, Vancouver, APA, etc.
30

Rengasamy, Vasudevan. "A Runtime Framework for Regular and Irregular Message-Driven Parallel Applications on GPU Systems." Thesis, 2014. http://hdl.handle.net/2005/3193.

Texto completo da fonte
Resumo:
The effective use of GPUs for accelerating applications depends on a number of factors including effective asynchronous use of heterogeneous resources, reducing data transfer between CPU and GPU, increasing occupancy of GPU kernels, overlapping data transfers with computations, reducing GPU idling and kernel optimizations. Overcoming these challenges require considerable effort on the part of the application developers. Most optimization strategies are often proposed and tuned specifically for individual applications. Message-driven executions with over-decomposition of tasks constitute an im
Estilos ABNT, Harvard, Vancouver, APA, etc.
31

Arora, Himanshu. "Checking Observational Purity of Procedures." Thesis, 2018. https://etd.iisc.ac.in/handle/2005/5298.

Texto completo da fonte
Resumo:
We provide two static analysis approaches(using theorem proving) that check if a given (recursive) procedure behaves as if it were stateless, even when it maintains state in global variables. In other words, we check if the given procedure behaves like a mathematical function. In order to eliminate the need for manual annotations, we make use of an invariant that makes use of uninterpreted function symbols. This invariant captures the set of reachable global states in all runs of the procedure, if the procedure is observationally pure. If the procedure is not observationally pure, this i
Estilos ABNT, Harvard, Vancouver, APA, etc.
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!