Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 25 for “"computational theory"”.
-
A compatibilist computational theory of mind
… defends the idea that the mind is essentially computational, a position that has in recent decades come under attack by theories that focus on bodily action and that view the mind as a product of interaction with the world and not as a set of secluded processes in the brain. The most prominent …
-
A computational theory of physical skill.
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
-
Identification and control of haptic systems : a computational theory
Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997.
-
An Update on the Computational Theory of Hamiltonian Period Functions
<p>Lately, state-of-the-art calculation in both physics and mathematics has expanded to include the field of symbolic computing. The technical content of this dissertation centers on a few Creative Telescoping algorithms of our own design (Mathematica implementations are given as a supplement). …
-
Towards a computational theory of definite anaphora comprehension in English discourse
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1979.
-
Physics-informed machine learning techniques for edge plasma turbulence modelling in computational theory and experiment
… devices. Drift-reduced Braginskii two-fluid theory has for decades been widely applied to model boundary plasmas with varying success. Towards better understanding edge turbulence in both theory and experiment, a custom-built physics-informed deep learning framework constrained by partial …
-
Supporting design: a computational theory of design and its implementation in a software support tool
… implementation. This framework includes a computational model that is shown to be completely general (Turing-equivalent). Therefore, the theory and model are suitable for representing any design project. They are applied specifically to software development. Practical support for software …
-
Mapping spatial relations
… perceptual world. In this thesis, I present a computational theory for how spatial relations are grounded in the perceptual world. Three constraints are critical to this theory: abstractness, groundedness and flexibility all of which need to be satisfied in order to explain the structure of …
-
THE PROGRAM PATHING TRUST MODEL FOR CRITICAL SYSTEM PROCESS AUTHORIZATION
… and cannot be trusted. This research uses a computational theory approach to create a framework for a solution for the process invocation sequence problem. Using the Program Pathing Trust Model, a solution capable of identifying both valid and invalid process invocation sequences is developed.
-
On fundamental computational barriers in the mathematics of information
This thesis is about computational theory in the setting of the mathematics of information. The first goal is to demonstrate that many commonly considered problems in optimisation theory cannot be solved with an algorithm if the input data is only known up to an arbitrarily small error (modelling …
-
The problem of logical omniscience
… with aspects of semantics, pragmatics, computational theory, information theory, and philosophy of mind are essential to offering a full analysis of which logical consequences are accessible to an agent in light of what she explicitly accepts. The problem is deeper than recognized in …
-
The affordance-based concept
… interpret linguistic meaning. I introduce a new computational theory of conceptual structure that has as its core claim that concepts are neither internal nor external to the language user, but instead span the objective-subjective boundary. This theory proposes interaction and prediction as a …
-
Shape Grammars Reality (SGr) : computing in the real world
… with shapes. The current applications of the computational theory of Shape Grammars use primarily sketching on tracing paper with conventional tools. SGR proposes a user interface on the intersection between Augmented Reality (AR) technologies and eye-tracking research. By using Virtual …
-
I Am Error
… (or NES). The book investigates the underlying computational architecture of the console and its effects on the creative works (e.g. videogames) produced for the platform. I Am Error advances the concept of platform as a shifting configuration of hardware and software that extends even beyond …
-
A place for computing visual meaning : the broadened drawing-scape
… Finally Stiny's eye establishes a "unique computational theory: Shape Grammars" (Knight and Stiny). And all this happens in a series of places (Casey), as one wanders through streams of creative visual processes along one's humaning (Ingold). Once I portray the moment of visual discovery as …
-
Privacy Preserving Network Security Data Analytics
… Statisticians, information security experts, and computational theory researchers, to name a few, have produced extensive bodies of work regarding privacy preservation. Still the need to improve our ability to control the dissemination of potentially private information is driven home by an …
-
Verificación formal en ACL2 del algoritmo de Buchberger
ACL2 is a computational logic, an automated reasoning system and an applicative programming language, a subset of COMMON LISP, based in pure lambda-calculus. It was developed in the University of Texas at Austin (USA) and is based in an untyped quantifier-free first-order logic of total recursive …
-
Compound-Gaussian-regularized inverse problems: theory, algorithms, and neural networks
… algorithms and standard DNNs while doing so in a computationally efficient fashion. In this work, we leverage algorithm unrolling to combine a powerful statistical prior, the compound Gaussian (CG) prior, with the powerful representational ability of machine learning and DNN approaches. …
-
Computational and Spectroscopic Determination of Lithiated Benzylic Nitriles in THF/HMPA Solution
… of metalated nitriles and the spectroscopic and computational techniques employed to characterize their solution structure. Also reviewed herein are the controversial determinations drawn from these efforts. The research and data which follow in Chapters 2 and 3 focus on resolution of the …
Page 1 of 2