Se connecter

Bibliographies thématiques / Microgravity Science and Applications Program / Thèses

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Microgravity Science and Applications Program.

Thèses sur le sujet « Microgravity Science and Applications Program »

Auteur : Grafiati

Publié le 25 juillet 2024

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 31 meilleures thèses pour votre recherche sur le sujet « Microgravity Science and Applications Program ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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/.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, 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/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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 (

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

18

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

20

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

22

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

23

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

25

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

26

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

28

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

31

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!