Log in

Relevant bibliographies by topics / Theoretical foundations of computer science / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Theoretical foundations of computer science.

Dissertations / Theses on the topic 'Theoretical foundations of computer science'

Author: Grafiati

Published: 4 June 2025

Last updated: 1 August 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Theoretical foundations of computer science.'

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

Clément, Ian. "Proof theoretical foundations for constructive Description Logic." Thesis, McGill University, 2008. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=22027.

Full text

Abstract:

Description logics (DLs) are a family of knowledge representation languages to describe concepts in a given domain. While we can define the semantics of description logics using, for example, a translation into first-order logic, so far the proof-theoretic nature of DL has not been well investigated. In this thesis, we develop a proof theory for a constructive version of Description Logic, specifically Attributive Language with Complement (ALC), in two steps: First, we define a natural deduction system for ALC and develop a sequent calculus formulation, for which we prove cut-admissibility

APA, Harvard, Vancouver, ISO, and other styles

2

Huggins, Jonathan H. (Jonathan Hunter). "Scaling Bayesian inference : theoretical foundations and practical methods." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/117836.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 129-140).<br>Bayesian statistical modeling and inference allow scientists, engineers, and companies to learn from data while incorporating prior knowledge, sharing power across experiments via hierarchical models, quantifying

APA, Harvard, Vancouver, ISO, and other styles

3

Bogdan, Paul. "Theoretical Foundations of Multicore Systems Design: A Dynamical Systems Perspective." Research Showcase @ CMU, 2011. http://repository.cmu.edu/dissertations/183.

Full text

Abstract:

The proliferation of complex phenomena and the tightening competition for limited resources are two fundamental challenges for the modeling, analysis, and optimization of dynamical processes taking place in networked environments/architectures. Modes of collective and competitive behavior can be noticed across a wide array of social, biological, and technological contexts. From urban crowds to bacterial colonies, from brain neurons to human cells and even electron-hole interactions in semiconductors, dynamical phase transitions influence the macroscopic behavior of complex networks. To address

APA, Harvard, Vancouver, ISO, and other styles

4

Locklair, Gary H. "Foundations of Computer Science A Survey of Computer Science via its Grand Ideas." NSUWorks, 2002. http://nsuworks.nova.edu/gscis_etd/680.

Full text

Abstract:

This dissertation constitutes findings on research into the grand ideas of computer science and a philosophical framework for the grand ideas. By way of illustration, this dissertation is in the form of a college-level text meant to demonstrate both the grand ideas of computer science and a potential framework for them. The text is a sophisticated survey of the foundational concepts which form the basis of computer science. The text may serve as an introduction to computer science for those new to the discipline and also as a concise review of topics for those familiar with the discipline. The

APA, Harvard, Vancouver, ISO, and other styles

5

Cox, Louis Anthony. "Mathematical foundations of risk measurement." Thesis, Massachusetts Institute of Technology, 1986. http://hdl.handle.net/1721.1/114010.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING<br>Bibliography: leaves 261-266.<br>by Louis Anthony Cox, Jr.<br>Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

6

Rodriguez, Paul Fabian. "Mathematical foundations of simple recurrent networks /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1999. http://wwwlib.umi.com/cr/ucsd/fullcit?p9935464.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Williams, A. Lynn. "Multiple Oppositions: Theoretical Foundations for an Alternative Contrastive Intervention Approach." Digital Commons @ East Tennessee State University, 2000. https://dc.etsu.edu/etsu-works/2007.

Full text

Abstract:

Abstract A multiple opposition approach to phonological intervention is described as an alternative contrastive approach for the treatment of severe speech disorders in children. The development and theoretical constructs of this approach are presented within the context of a clinical case study. The multiple opposition approach is based on the premise that the systemic level of phonological organization is essential in the description and intervention of disordered sound systems. Phonological descriptions identify phoneme collapses, which are viewed as phonologic strategies developed by the c

APA, Harvard, Vancouver, ISO, and other styles

8

Fleming, David M. "Foundations of object-based specification design." Morgantown, W. Va. : [West Virginia University Libraries], 1997. http://etd.wvu.edu/templates/showETD.cfm?recnum=1036.

Full text

Abstract:

Thesis (Ph. D.)--West Virginia University, 1997.<br>Title from document title page. Document formatted into pages; contains xi, 161 p. : ill. Includes abstract. Includes bibliographical references (p. 158-161).

APA, Harvard, Vancouver, ISO, and other styles

9

Fahrenbach, Florian, Alexander Kaiser, Florian Kragulj, and Clemens Kerschbaum. "Designing a Tool to Assess Professional Competences: Theoretical Foundations and Potential Applications." Academic Conferences and Publishing International Limited, 2019. http://epub.wu.ac.at/6994/1/2019_ECKM_FahrenbachEtAl.pdf.

Full text

Abstract:

This conceptual paper outlines the descriptive theoretical foundations or kernel theories for designing an information and communication technology (ICT) tool to assess professional competences in the Austrian trade and craft sector. Upon completion, the ICT-tool serves as a boundary object in which applicants and assessors can interact. While this paper consists of a literature review and conceptual discussion, the overall project is methodologically placed within a multidisciplinary design-science paradigm. Design science scaffolds and structures the development of a theoretical model, the

APA, Harvard, Vancouver, ISO, and other styles

10

Enström, Emma. "On difficult topics in theoretical computer science education." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-152357.

Full text

Abstract:

This thesis primarily reports on an action research project that has been conducted on a course in theoretical computer science (TCS). The course is called Algorithms, data structures, and complexity (ADC) and is given at KTH Royal Institute of Technology in Stockholm, Sweden. The ADC course is an introduction to TCS, but resembles and succeeds courses introducing programming, system development best practices, problem solving, proving, and logic. Requiring the completion of four programming projects, the course can easily be perceived as a programming course by the students. Most previous res

APA, Harvard, Vancouver, ISO, and other styles

11

Arafat, Sachi. "Foundations research in information retrieval inspired by quantum theory." Thesis, Connect to e-thesis, 2008. http://theses.gla.ac.uk/181/.

Full text

Abstract:

Thesis (Ph.D.) - University of Glasgow, 2007.<br>Ph.D. thesis submitted to the Department of Computer Science, Faculty of Information and Mathematical Sciences, University of Glasgow, 2007. Includes bibliographical references. Print version also available.

APA, Harvard, Vancouver, ISO, and other styles

12

Björkman, Christina. "Crossing boundaries, focusing foundations, trying translations : feminist technoscience strategies in computer science /." Karlskrona : School of Technoculture, Humanities and Planning, Blekinge Institute of Technology, 2005. http://www.bth.se/fou/forskinfo.nsf/01f1d3898cbbd490c12568160037fb62/ba43f85b96bff20bc1257003005d1dd3/$FILE/inlaga_christina_bjorkman.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Björkman, Christina. "Crossing Boundaries, Focusing Foundations, Trying Translations : Feminist Technoscience Strategies in Computer Science." Doctoral thesis, Karlskrona : Blekinge Institute of Technology, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00296.

Full text

Abstract:

In this thesis I explore feminist technoscience strategies in computer science, starting in “the gender question in computer science”, and ending up in communication and translation between feminist technoscience research and computer science educational practice. Necessary parts in this work concern issues of boundary crossings between disciplines, and focusing on the foundations of computer science: what it means to “know computer science”. The point of departure is in computer science (CS), in particular CS education. There are at this starting point two intertwined issues: the gender quest

APA, Harvard, Vancouver, ISO, and other styles

14

Scassellati, Brian M. "Foundations for a theory of mind for a humanoid robot." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/86727.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>Includes bibliographical references (p. 161-174).<br>by Brian Michael Scassellati.<br>Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

15

Hutchins-Korte, Laura. "Learning by game-building in theoretical computer science education." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/3162.

Full text

Abstract:

It has been suggested that theoretical computer science (TCS) suffers more than average from a lack of intrinsic motivation. The reasons provided in the literature include the difficulty of the subject, lack of relevance to the informatics degree or future careers, and lack of enjoyment of the learning experience. This thesis presents evidence of these claims derived from the results of an expert survey. Increasing the students’ perceived control of the learning experience has been shown to increase student motivation in numerous different settings. A few of those also showed increased student

APA, Harvard, Vancouver, ISO, and other styles

16

Mannadiar, Raphaël. "A multi-paradigm modelling approach to the foundations of domain-specific modelling." Thesis, McGill University, 2012. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=110552.

Full text

Abstract:

The complexity of software systems has been steadily increasing over the past few decades. As a result, numerous means of shielding developers from unnecessarily low-level details, or accidental complexity, have been adopted. Today, Model-Driven Engineering (MDE) is considered to be the state-of-the-art of such means. Models describe complex systems from various viewpoints and at various levels of abstraction. To reduce accidental complexity, Multi-Paradigm Modelling (MPM) promotes modelling every part of a system, at the most appropriate level(s) of abstraction, using the most appropriate for

APA, Harvard, Vancouver, ISO, and other styles

17

Weis, Stephen August 1978. "New foundations for efficient authentication, commutative cryptography, and private disjointness testing." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/37842.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 105-115).<br>This dissertation presents new constructions and security definitions related to three areas: authentication, cascadable and commutative crytpography, and private set operations. Existing works relevant to each of these areas fall into one of two categories: efficient solutions

APA, Harvard, Vancouver, ISO, and other styles

18

Ullah, Ehsan. "Pathway Analysis of Metabolic Networks using Graph Theoretical Approaches." Thesis, Tufts University, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=3640954.

Full text

Abstract:

<p> Cellular pathways defining biochemical transformational routes are often utilized as engineering targets to achieve industrial-scale production of commercially useful biomolecules including polyesters, building blocks for polymers, biofuels, and therapeutics derived from isoprenoids, polyketides, and non-ribosomal peptides. Identifying target pathways can be expedited using computational tools, leading to reduced development cost, time, and effort, and enabling new discoveries with potential positive impact on human health and the environment. </p><p> This thesis addresses three cellula

APA, Harvard, Vancouver, ISO, and other styles

19

Bonneel, Nicolas. "Audio and Visual Rendering with Perceptual Foundations." Phd thesis, Université de Nice Sophia-Antipolis, 2009. http://tel.archives-ouvertes.fr/tel-00432117.

Full text

Abstract:

Realistic visual and audio rendering still remains a technical challenge. Indeed, typical computers do not cope with the increasing complexity of today's virtual environments, both for audio and visuals, and the graphic design of such scenes require talented artists. In the first part of this thesis, we focus on audiovisual rendering algorithms for complex virtual environments which we improve using human perception of combined audio and visual cues. In particular, we developed a full perceptual audiovisual rendering engine integrating an efficient impact sounds rendering improved by using our

APA, Harvard, Vancouver, ISO, and other styles

20

Kumar, Santosh. "Foundations of coverage for wireless sensor networks." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1154986262.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Allen, Linda J. "The politics of structural choice of the Commission for Environmental Cooperation : the theoretical foundations of the design of international environmental institutions /." [Bloomington, Ind.] : Indiana University, 2005. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:3185389.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Nefdt, Ryan Mark. "The foundations of linguistics : mathematics, models, and structures." Thesis, University of St Andrews, 2016. http://hdl.handle.net/10023/9584.

Full text

Abstract:

The philosophy of linguistics is a rich philosophical domain which encompasses various disciplines. One of the aims of this thesis is to unite theoretical linguistics, the philosophy of language, the philosophy of science (particularly mathematics and modelling) and the ontology of language. Each part of the research presented here targets separate but related goals with the unified aim of bringing greater clarity to the foundations of linguistics from a philosophical perspective. Part I is devoted to the methodology of linguistics in terms of scientific modelling. I argue against both the Con

APA, Harvard, Vancouver, ISO, and other styles

23

McGinniss, Iain. "Theoretical and practical aspects of typestate." Thesis, University of Glasgow, 2014. http://theses.gla.ac.uk/5244/.

Full text

Abstract:

The modelling and enforcement of typestate constraints in object oriented languages has the potential to eliminate a variety of common and difficult to diagnose errors. While the theoretical foundations of typestate are well established in the literature, less attention has been paid to the practical aspects: is the additional complexity justifiable? Can typestate be reasoned about effectively by "real" programmers? To what extent can typestate constraints be inferred, to reduce the burden of large type annotations? This thesis aims to answer these questions and provide a holistic treatment of

APA, Harvard, Vancouver, ISO, and other styles

24

Engel, Ofer. "The micro-foundations of email communication networks." Thesis, London School of Economics and Political Science (University of London), 2013. http://etheses.lse.ac.uk/895/.

Full text

Abstract:

The popular and scientific literature has been discussing the advent of ‘big data’ with a measure of excitement and apprehension. For the first time in history, it seems, every breath we take, every move we make, someone’s watching us. But beyond their unprecedented volumes and the anxieties they raise, new communication data have a less obvious aspect, in so far as they are (arguably) of a fundamentally different kind, compared to traditional network datasets. Traditionally, social network data describe relationships between individuals; quasistatic social ties such as friendship, trust, kins

APA, Harvard, Vancouver, ISO, and other styles

25

Blanke, Tobias. "Theoretical evaluation of XML retrieval." Thesis, University of Glasgow, 2011. http://theses.gla.ac.uk/2828/.

Full text

Abstract:

This thesis develops a theoretical framework to evaluate XML retrieval. XML retrieval deals with retrieving those document parts that specifically answer a query. It is concerned with using the document structure to improve the retrieval of information from documents by only delivering those parts of a document an information need is about. We define a theoretical evaluation methodology based on the idea of `aboutness' and apply it to XML retrieval models. Situation Theory is used to express the aboutness proprieties of XML retrieval models. We develop a dedicated methodology for the evaluatio

APA, Harvard, Vancouver, ISO, and other styles

26

Papachristoudis, Georgios. "Theoretical guarantees and complexity reduction in information planning." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/99780.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 165-173).<br>Information planning addresses the problem of determining the optimal set of measurements that would reduce the uncertainty over latent variables of interest under a set of constraints. A commonly used reward for

APA, Harvard, Vancouver, ISO, and other styles

27

Taneja, Sonia. "A game-theoretical analysis of Grid job scheduling." Thesis, IMT Alti Studi Lucca, 2012. http://e-theses.imtlucca.it/84/1/Taneja_phdthesis.pdf.

Full text

Abstract:

Computational Grid is a well-established platform that gives an assurance to provide a vast range of heterogeneous resources for high performance computing. To grasp the full advantage of Grid systems, efficient and effective resource management and Grid job scheduling are key requirements. Particularly in resourcemanagement and job scheduling, conflictsmay arise as Grid resources are usually owned by different organizations/sites,which have different and often contradictory goals. For instance some site prefers first to execute its own local jobs over the Grid jobs, in order to minimize the

APA, Harvard, Vancouver, ISO, and other styles

28

Campbell, Brian. "Type-based amortized stack memory prediction." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/3176.

Full text

Abstract:

Controlling resource usage is important for the reliability, efficiency and security of software systems. Automated analyses for bounding resource usage can be invaluable tools for ensuring these properties. Hofmann and Jost have developed an automated static analysis for finding linear heap space bounds in terms of the input size for programs in a simple functional programming language. Memory requirements are amortized by representing them as a requirement for an abstract quantity, potential, which is supplied by assigning potential to data structures in proportion to their size. This assign

APA, Harvard, Vancouver, ISO, and other styles

29

Jia, Xibei. "From relations to XML : cleaning, integrating and securing data." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/3161.

Full text

Abstract:

While relational databases are still the preferred approach for storing data, XML is emerging as the primary standard for representing and exchanging data. Consequently, it has been increasingly important to provide a uniform XML interface to various data sources— integration; and critical to protect sensitive and confidential information in XML data — access control. Moreover, it is preferable to first detect and repair the inconsistencies in the data to avoid the propagation of errors to other data processing steps. In response to these challenges, this thesis presents an integrated framewor

APA, Harvard, Vancouver, ISO, and other styles

30

Hua, Xiayu. "Theoretical Analysis of Real-Time Scheduling on Resources with Performance Degradation and Periodic Rejuvenation." Thesis, Illinois Institute of Technology, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10603696.

Full text

Abstract:

<p> In 1973, Liu and Layland published their seminal paper on schedulability analysis of real-time system for both EDF and RM schedulers. In this work, they provide schedulability conditions and schedulability utilization bounds for both EDF and RM scheduling algorithms, respectively. In the following four decades, scheduling algorithms, utilization bounds and schedulability analyses for real-time tasks have been studied intensively. Amongst those studies, most of the research relies on a strong assumption that the performance of a computing resource does not change during its lifetime. Unfort

APA, Harvard, Vancouver, ISO, and other styles

31

Campbell, Newton Henry Jr. "Algorithmic Foundations of Heuristic Search using Higher-Order Polygon Inequalities." NSUWorks, 2016. http://nsuworks.nova.edu/gscis_etd/374.

Full text

Abstract:

The shortest path problem in graphs is both a classic combinatorial optimization problem and a practical problem that admits many applications. Techniques for preprocessing a graph are useful for reducing shortest path query times. This dissertation studies the foundations of a class of algorithms that use preprocessed landmark information and the triangle inequality to guide A* search in graphs. A new heuristic is presented for solving shortest path queries that enables the use of higher order polygon inequalities. We demonstrate this capability by leveraging distance information from two lan

APA, Harvard, Vancouver, ISO, and other styles

32

Mayfield, James L. IV. "A Parameterized Framework for Quantum Computation." University of Cincinnati / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1342543546.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Bartl, Eduard. "Mathematical foundations of graded knowledge spaces." Diss., Online access via UMI:, 2009.

Find full text

Abstract:

Thesis (Ph. D.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, Department of Systems Science and Industrial Engineering, 2009.<br>Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

34

Markatou, Evangelia Anna. "The loudest one wins : efficient communication in theoretical wireless networks." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119737.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 68-70).<br>In order to develop the most efficient algorithms for wireless networks, first one must understand their theoretical limitations. To this end, we study the leader election and broadcast problems in wireless networ

APA, Harvard, Vancouver, ISO, and other styles

35

Xu, Zhiqian. "Theoretical models for microwave remote sensing of forests and vegetation." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/11010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Qu, Hongyang. "Theoretical and practical tools for validating discrete and real-time systems." Thesis, University of Warwick, 2005. http://wrap.warwick.ac.uk/61400/.

Full text

Abstract:

System validation has been investigated for a long time. Testing is used to find errors inside a system; in contrast, model checking is used to verify whether a given property holds in the system. Both methods have their own advantages and interact with each other. This thesis focuses on four methodologies for model checking and testing. In the end, they are integrated into a practical validating tool set, which is described in this thesis. Many techniques have been developed to manage the state space for a complicated system. But they still fail to reduce the state space for some large-scale

APA, Harvard, Vancouver, ISO, and other styles

37

Xie, Jingnan. "Complexity Theoretic Parallels Among Automata, Formal Languages and Real Variables Including Multi-Patterns, L-Systems and Cellular Automata." Thesis, State University of New York at Albany, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10272502.

Full text

Abstract:

<p>In this dissertation, we emphasize productiveness not just undecidability since pro- ductiveness implies constructive incompleteness. Analogues of Rice?s Theorem for different classes of languages are investigated, refined and generalized. In particular, several sufficient but general conditions are presented for predicates to be as hard as some widely discussed predicates such as ?= ?? and ?= {0,1}??. These conditions provide several general methods for proving complexity/productiveness results and apply to a large number of simple and natural predicates. As the first step in apply- ing th

APA, Harvard, Vancouver, ISO, and other styles

38

Burkett, Brendan J. "An expert system for city building foundation construction." Thesis, Queensland University of Technology, 1990. https://eprints.qut.edu.au/36474/1/36474_Burkett_1990_Vol-1.pdf.

Full text

Abstract:

The application of Expert Systems in the Geotechnical and Construction fields of Civil Engineering has been investigated and a prototype knowledge based Expert System (SITEPREP) has been developed for site preparation when constructing city building foundations. In developing this system the problems of knowledge acquisition and the selection of a suitable expert system building environment have been investigated. It has been concluded that knowledge acquisition is the most important criterion when developing an expert system. Further, it has been found that the most efficient method

APA, Harvard, Vancouver, ISO, and other styles

39

Lin, Chia-Liang. "Theoretical and experimental studies of a 17 GHz photocathode RF gun." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11852.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Shen, Yuan Ph D. Massachusetts Institute of Technology. "Network localization and navigation : theoretical framework, efficient operation, and security assurance." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/89845.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 221-231).<br>Reliable and accurate localization of mobile network nodes is a key enabler for numerous emerging applications in the commercial, public safety, and military sectors. Achieving such location awareness by conventi

APA, Harvard, Vancouver, ISO, and other styles

41

Oakes, Bentley. "Practical and theoretical issues of evolving behaviour trees for a turn-based game." Thesis, McGill University, 2013. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=119721.

Full text

Abstract:

The concept of evolving components of an artificial intelligence (AI) has seen increased interest in recent years as the power and complexity of AI has grown. In entertainment software, this AI can impact the player's experiences and enjoyment through elements such as the level of difficulty of the player's competition. Therefore AI development is an important research topic, especially as development is considered difficult by the video game industry. This work applies the evolutionary computing paradigm to a turn-based domain by evolving team strategies. These strategies are represented as b

APA, Harvard, Vancouver, ISO, and other styles

42

Fritsch, Joerg. "Functional programming languages in computing clouds : practical and theoretical explorations." Thesis, Cardiff University, 2016. http://orca.cf.ac.uk/96984/.

Full text

Abstract:

Cloud platforms must integrate three pillars: messaging, coordination of workers and data. This research investigates whether functional programming languages have any special merit when it comes to the implementation of cloud computing platforms. This thesis presents the lightweight message queue CMQ and the DSL CWMWL for the coordination of workers that we use as artefact to proof or disproof the special merit of functional programming languages in computing clouds. We have detailed the design and implementation with the broad aim to match the notions and the requirements of computing clouds

APA, Harvard, Vancouver, ISO, and other styles

43

Kharechko, Andriy. "Linear and ellipsoidal pattern separation : theoretical aspects and experimental analysis." Thesis, University of Southampton, 2009. https://eprints.soton.ac.uk/195011/.

Full text

Abstract:

This thesis deals with a pattern classification problem, which geometrically implies data separation in some Euclidean feature space. The task is to infer a classifier (a separating surface) from a set or sequence of observations. This classifier would later be used to discern observations of different types. In this work, the classification problem is viewed from the perspective of the optimization theory: we suggest an optimization problem for the learning model and adapt optimization algorithms for this problem to solve the learning problem. The aim of this research is twofold, so this thes

APA, Harvard, Vancouver, ISO, and other styles

44

Karzand, Mina. "Theoretical study of two prediction-centric problems : graphical model learning and recommendations." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/114030.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 177-184).<br>Motivated by prediction-centric learning problems, two problems are discussed in this thesis. PART I. Learning a tree-structured Ising model: We study the problem of learning a tree Ising model from samples such

APA, Harvard, Vancouver, ISO, and other styles

45

Tyulmankov, Danil. "Time-domain diffuse correlation spectroscopy: instrument prototype, preliminary measurements, and theoretical modeling." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113444.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 86-91).<br>Near-infrared spectroscopy (NIRS) is an emerging diffuse optical imaging tool with both clinical and academic applications such as functional brain imaging, breast cancer detection, and cerebral health monitoring.

APA, Harvard, Vancouver, ISO, and other styles

46

Weis, James W. (James Woodward). "Artificial intelligence and protein engineering : information theoretical approaches to modeling enzymatic catalysis." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/108969.

Full text

Abstract:

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 57-62).<br>The importance of dynamics in enzymatic function has been extensively recognized in the literature. Despite this, the vast majority of enzyme engineering approaches are based on the energetic optimization of static molecular structures. Using computational sampling techniques, especially rare-event sampling methods like Transition Path Sampling, we can now generate large datasets o

APA, Harvard, Vancouver, ISO, and other styles

47

Vasilyev, Dmitry Missiuro. "Theoretical and practical aspects of linear and nonlinear model order reduction techniques." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/42909.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 133-142).<br>Model order reduction methods have proved to be an important technique for accelerating time-domain simulation in a variety of computer-aided design tools. In this study we present several new techniques for model reduction of the large-scale linear and nonlinear systems. First

APA, Harvard, Vancouver, ISO, and other styles

48

Turakhia, Dishita Girish. "Thirteen ways of looking : a theoretical inquiry in computational creative thinking." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113918.

Full text

Abstract:

Thesis: S.M., Massachusetts Institute of Technology, Department of Architecture, 2017.<br>Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 97-99).<br>The vision of this research is to propose a novel computational framework to study Creative Thinking. If we are to embed machi

APA, Harvard, Vancouver, ISO, and other styles

49

Kimmel, Jason. "Simple Games on Networks." Oberlin College Honors Theses / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=oberlin1307994412.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Long, Sunny (Sunny X. ). "Testing theoretical game theory results on a large scale : prisoner's dilemma on Facebook." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/85443.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 77-79).<br>In my research, I designed and implemented an online game accessable to a large diverse audience via the Facebook social network to test out game theoretic results and study social interactions. In this game, we designed scenarios that mirrored classic game theory situations, most prominantly the Iterated Prisoner's Dilemma game. The game allows for Facebook users to play each o

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!