To see the other types of publications on this topic, follow the link: Microgravity Science and Applications Program.

Dissertations / Theses on the topic 'Microgravity Science and Applications Program'

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

Select a source type:

Consult the top 31 dissertations / theses for your research on the topic 'Microgravity Science and Applications Program.'

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 (
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
18

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
20

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
22

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
23

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
25

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
26

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
28

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
31

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

Full text
Abstract:
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
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!