Log in

Relevant bibliographies by topics / Computer synthesis / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Computer synthesis.

Dissertations / Theses on the topic 'Computer synthesis'

Author: Grafiati

Published: 4 June 2021

Last updated: 28 July 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 'Computer synthesis.'

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

Andriushchenko, Roman. "Computer-Aided Synthesis of Probabilistic Models." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417269.

Full text

Abstract:

Předkládaná práce se zabývá problémem automatizované syntézy pravděpodobnostních systémů: máme-li rodinu Markovských řetězců, jak lze efektivně identifikovat ten který odpovídá zadané specifikaci? Takové rodiny často vznikají v nejrůznějších oblastech inženýrství při modelování systémů s neurčitostí a rozhodování i těch nejjednodušších syntézních otázek představuje NP-těžký problém. V dané práci my zkoumáme existující techniky založené na protipříklady řízené induktivní syntéze (counterexample-guided inductive synthesis, CEGIS) a na zjemňování abstrakce (counterexample-guided abstraction refin

APA, Harvard, Vancouver, ISO, and other styles

2

Iskandar, Kurnia Dias. "Computer-assisted synthesis of wrapping cam mechanisms." Thesis, This resource online, 1996. http://scholar.lib.vt.edu/theses/available/etd-09182008-063039/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hagvall, Hörnstedt Julia. "Synthesis of Thoracic Computer Tomography Images using Generative Adversarial Networks." Thesis, Linköpings universitet, Avdelningen för medicinsk teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-158280.

Full text

Abstract:

The use of machine learning algorithms to enhance and facilitate medical diagnosis and analysis is a promising and an important area, which could improve the workload of clinicians’ substantially. In order for machine learning algorithms to learn a certain task, large amount of data needs to be available. Data sets for medical image analysis are rarely public due to restrictions concerning the sharing of patient data. The production of synthetic images could act as an anonymization tool to enable the distribution of medical images and facilitate the training of machine learning algorithms, whi

APA, Harvard, Vancouver, ISO, and other styles

4

Schroeder, Deborah. "Development of computer programs to aid synthesis planning." Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329976.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ortega, Ross Benito. "Communication synthesis and interface synthesis for embedded systems /." Thesis, Connect to this title online; UW restricted, 2000. http://hdl.handle.net/1773/6870.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Crause, Justin. "Fast, Realistic Terrain Synthesis." Thesis, University of Cape Town, 2015. http://pubs.cs.uct.ac.za/archive/00001052/.

Full text

Abstract:

The authoring of realistic terrain models is necessary to generate immersive virtual environments for computer games and film visual effects. However, creating these landscapes is difficult – it usually involves an artist spending many hours sculpting a model in a 3D design program. Specialised terrain generation programs exist to rapidly create artificial terrains, such as Bryce (2013) and Terragen (2013). These make use of complex algorithms to pseudo-randomly generate the terrains, which can then be exported into a 3D editing program for fine tuning. Height-maps are a 2D data-structure, whi

APA, Harvard, Vancouver, ISO, and other styles

7

Mueller, Christopher E. "Synthetic programming user-directed run-time code synthesis for high performance computing /." [Bloomington, Ind.] : Indiana University, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3283098.

Full text

Abstract:

Thesis (Ph.D.)--Indiana University, Dept. of Computer Science, 2007.<br>Source: Dissertation Abstracts International, Volume: 68-09, Section: B, page: 6078. Adviser: Andrew Lumsdaine. Title from dissertation home page (viewed May 12, 2008).

APA, Harvard, Vancouver, ISO, and other styles

8

Van, den Doel Cornelis Pieter. "Sound synthesis for virtual reality and computer games." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0005/NQ38993.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Murphy, Richard. "Constraint-based design synthesis for computer aided design." Thesis, Open University, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.418515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Mitra, Sandipan. "Computer aided synthesis and design of PID controllers." [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-2064.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Coley, Connor Wilson. "Computer assistance in organic synthesis planning and execution." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122903.

Full text

Abstract:

This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Thesis: Ph. D., Massachusetts Institute of Technology, Department of Chemical Engineering, 2019<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 409-432).<br>The identification and synthesis of molecules that exhibit a desired function is an essential part of addressing contemporary problems in science and technology. Small molecules are the predominant solution to challenges in the developme

APA, Harvard, Vancouver, ISO, and other styles

12

Hao, Kecheng. "Equivalence Checking for High-Assurance Behavioral Synthesis." PDXScholar, 2013. https://pdxscholar.library.pdx.edu/open_access_etds/1066.

Full text

Abstract:

The rapidly increasing complexities of hardware designs are forcing design methodologies and tools to move to the Electronic System Level (ESL), a higher abstraction level with better productivity than the state-of-the-art Register Transfer Level (RTL). Behavioral synthesis, which automatically synthesizes ESL behavioral specifications to RTL implementations, plays a central role in this transition. However, since behavioral synthesis is a complex and error-prone translation process, the lack of designers' confidence in its correctness becomes a major barrier to its wide adoption. Therefore, t

APA, Harvard, Vancouver, ISO, and other styles

13

Stawowy, Michele. "Plan Synthesis in Explicit-Input Knowledge and Action Bases." Thesis, IMT Alti Studi Lucca, 2016. http://e-theses.imtlucca.it/208/1/Stawowy_phdthesis.pdf.

Full text

Abstract:

In this Thesis we study plan synthesis for datacentric domains, where the interest is not only upon the actions the system performs to reach its desired goal, but also on how the knowledge defining the domain evolves with the aforementioned actions. We first introduce a rich, dynamic framework named Explicit-input Knowledge and Action Bases (eKABs), where states are Description Logic (DL) Knowledge Bases, whose extensional part is manipulated by actions that possibly introduce new objects from an infinite domain. We show that plan existence over eKABs is undecidable even under seve

APA, Harvard, Vancouver, ISO, and other styles

14

McKenzie, Lynn Mhairi. "Logic synthesis and optimisation using Reed-Muller expansions." Thesis, Edinburgh Napier University, 1995. http://researchrepository.napier.ac.uk/Output/4276.

Full text

Abstract:

This thesis presents techniques and algorithms which may be employed to represent, generate and optimise particular categories of Exclusive-OR Sum- Of-Products (ESOP) forms. The work documented herein concentrates on two types of Reed-Muller (RM) expressions, namely, Fixed Polarity Reed-Muller (FPRM) expansions and KROnecker (KRO) expansions (a category of mixed polarity RM expansions). Initially, the theory of switching functions is comprehensively reviewed. This includes descriptions of various types of RM expansion and ESOP forms. The structure of Binary Decision Diagrams (BDDs) and Reed-Mu

APA, Harvard, Vancouver, ISO, and other styles

15

Xu, Daoyi. "Texture analysis and synthesis using the multiresolution Fourier transform." Thesis, University of Warwick, 1994. http://wrap.warwick.ac.uk/107535/.

Full text

Abstract:

In this thesis, a new frequency domain approach to analysis of texture is presented, in which both the statistical and structural aspects of the problem are combined in a unified framework, the Multiresolution Fourier Transform. (MFT). The analysis scheme consists of two main components: texture synthesis and texture segmentation. The synthesis method works by identifying, for pairs of texture ‘patches’ of a given size, the affine co-ordinate transformation which gives the best match between them. This allows the analysis to take account of the geometric warping which is typically found in ima

APA, Harvard, Vancouver, ISO, and other styles

16

Hunt, Andrew. "Rules for modelling in computer-aided fault tree synthesis." Thesis, Loughborough University, 1992. https://dspace.lboro.ac.uk/2134/27982.

Full text

Abstract:

In the design of process plants safety has assumed an increasingly high profile. One of the techniques used in hazard identification is the fault tree, which involves first the synthesis of the tree and then its analysis. The construction of a fault tree, however, requires special skills and can be a time-consuming process. It is therefore attractive to develop computer aids for the synthesis stage to match those which already exist for the analysis of the tree. A computer based system for fault tree synthesis has been developed at Loughborough University. This thesis is part of a continuing p

APA, Harvard, Vancouver, ISO, and other styles

17

Mullhi, J. S. "Rules for the computer-aided synthesis of fault trees." Thesis, Loughborough University, 1989. https://dspace.lboro.ac.uk/2134/7011.

Full text

Abstract:

This thesis describes the development of a computer-aided fault tree synthesis package for application in the process industries. It builds on the previous research work carried out in the Plant Engineering Group at Loughborough University. The emphasis has been put on describing the underlying methodology as opposed to the actual computer programs. The methodology described was developed by modelling a number of "real" systems, which had already been analysed using manual fault tree construction techniques by British Gas plc. Additionally a number of standard examples from the literature were

APA, Harvard, Vancouver, ISO, and other styles

18

Cross, Andrew W. (Andrew William) 1979. "Synthesis and evaluation of fault-tolerant quantum computer architectures." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/30175.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.<br>Includes bibliographical references (p. 241-247).<br>Fault-tolerance is the cornerstone of practical, large-scale quantum computing, pushed into its prominent position with heroic theoretical efforts. The fault-tolerance threshold, which is the component failure probability below which arbitrarily reliable quantum computation becomes possible, is one standard quality measure of fault-tolerant designs based on recursive simulation. However, there is a gulf between theoretical ach

APA, Harvard, Vancouver, ISO, and other styles

19

Khedr, Mohammed Abdou. "Computer-aided drug design and synthesis of novel antivirals." Thesis, Cardiff University, 2010. http://orca.cf.ac.uk/54378/.

Full text

Abstract:

The Flaviviridae is a family of 66 viruses of which almost half have been associated with human disease. The most well-known members are: Hepatitis C virus (HCV), Dengue virus (DV), and West Nile virus (WNV). Diseases caused by these viruses are a global health problem that put an estimated 2.5 billion people at risk. At present, there are neither vaccines nor other treatments available to prevent or cure these diseases. Potential targets for the development of therapeutics against the virus are the viral protease and polymerase. The aims of this project are to design and synthesize compounds

APA, Harvard, Vancouver, ISO, and other styles

20

AHN, HYEON WOO. "SYNTHESIS, CHARACTAERIZATION AND COMPUTER SIMULATIONS OF STEREOREGULAR POLY-(METHYLPHENYLSILOXANE)." University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1022162140.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Long, Mark K. "Computer aided mask layout synthesis for anisotrophic etch photolithography." Diss., Pasadena, Calif. : California Institute of Technology, 1999. http://resolver.caltech.edu/CaltechETD:etd-02142008-130713.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Ahn, Hyeon Woo. "Synthesis, charactaerization and computer simulations of stereoregular poly(methylphenylsiloxane)." Cincinnati, Ohio : University of Cincinnati, 2002. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=ucin1022162140.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Cook, Anthony Peter Fendick. "A treatment of stereochemistry in computer aided organic synthesis." Thesis, University of Leeds, 2015. http://etheses.whiterose.ac.uk/9147/.

Full text

Abstract:

This thesis describes the author’s contributions to a new stereochemical processing module constructed for the ARChem retrosynthesis program. The purpose of the module is to add the ability to perform enantioselective and diastereoselective retrosynthetic disconnections and generate appropriate precursor molecules. The module uses evidence based rules generated from a large database of literature reactions. Chapter 1 provides an introduction and critical review of the published body of work for computer aided synthesis design. The role of computer perception of key structural features (rings,

APA, Harvard, Vancouver, ISO, and other styles

24

Al-Jassani, ban Adil. "Computer aided synthesis and optimisation of electronic logic circuits." Thesis, Edinburgh Napier University, 2011. http://researchrepository.napier.ac.uk/Output/6658.

Full text

Abstract:

In this thesis, a variety of algorithms for synthesis and optimisation of combinational and sequential logic circuits are developed. These algorithms could be part of new commercial EGAD package for future VLSI digital designs. The results show that considerable saving in components can be achieved resulting in simpler designs that are smaller, cheaper, consume less power and easier to test. The purpose of generating different sets of coefficients related to Reed Muller (RM) is that they contain different number of terms; therefore the minimum one can be selected to design the circuits with re

APA, Harvard, Vancouver, ISO, and other styles

25

Zhang, Xi. "Data Synthesis for Object Recognition." Thesis, Illinois Institute of Technology, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10642437.

Full text

Abstract:

<p> Large and balanced datasets are normally crucial for many machine learning models, especially when the problem is defined in a high dimensional space due to high complexity. In real-world applications, it is usually very hard and/or expensive to obtain adequate amounts of labeled data, even with the help of crowd-sourcing. To address these problems, a possible approach is to create synthetic data and use it for training. This approach has been applied in many application areas of computer vision including document recognition, object retrieval, and object classification. While a boosted pe

APA, Harvard, Vancouver, ISO, and other styles

26

Tasse, Flora Ponjou. "Distributed texture-based terrain synthesis." Master's thesis, University of Cape Town, 2011. http://hdl.handle.net/11427/10910.

Full text

Abstract:

Terrain synthesis is an important field of Computer Graphics that deals with the generation of 3D landscape models for use in virtual environments. The field has evolved to a stage where large and even infinite landscapes can be generated in realtime. However, user control of the generation process is still minimal, as well as the creation of virtual landscapes that mimic real terrain. This thesis investigates the use of texture synthesis techniques on real landscapes to improve realism and the use of sketch-based interfaces to enable intuitive user control.

APA, Harvard, Vancouver, ISO, and other styles

27

SIVA, SUBRAMANYAN D. "APPLICATIONS OF SATISFIABILITY IN SYNTHESIS OF RECONFIGURABLE COMPUTERS." University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1022761893.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Zhao, Chenxu. "Automated synthesis of mixed-technology MEMS systems with electronic control." Thesis, University of Southampton, 2010. https://eprints.soton.ac.uk/171797/.

Full text

Abstract:

Micro-Electro-Mechanical Systems (MEMS) design requires an integration of elements from two or more disparate physical domains: mechanical (translational, rotational, hydraulic), electrical, magnetic, thermal, etc. Different parts of a MEMS system are traditionally designed separately, using different methodologies and different tools applied to different energy domains. Although major Hardware Description Languages (HDLs) such as VHDL, Verilog and SystemC have been supplemented with analogue and mixed-signal (AMS) extensions which are essential in analogue and mixed-technology design, develop

APA, Harvard, Vancouver, ISO, and other styles

29

Patino, Alberto. "Reversible Logic Synthesis Using a Non-blocking Order Search." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/162.

Full text

Abstract:

Reversible logic is an emerging area of research. With the rapid growth of markets such as mobile computing, power dissipation has become an increasing concern for designers (temperature range limitations, generating smaller transistors) as well as customers (battery life, overheating). The main benefit of utilizing reversible logic is that there exists, theoretically, zero power dissipation. The synthesis of circuits is an important part of any design cycle. The circuit used to realize any specification must meet detailed requirements for both layout and manufacturing. Quantum cost is the mai

APA, Harvard, Vancouver, ISO, and other styles

30

Yang, Zhenkun. "Scalable Equivalence Checking for Behavioral Synthesis." PDXScholar, 2015. https://pdxscholar.library.pdx.edu/open_access_etds/2461.

Full text

Abstract:

Behavioral synthesis is the process of compiling an Electronic System Level (ESL) design to a register-transfer level (RTL) implementation. ESL specifications define the design functionality at a high level of abstraction (e.g., with C/C++ or SystemC), and thus provide a promising approach to address the exacting demands to develop feature-rich, optimized, and complex hardware systems within aggressive time-to-market schedules. Behavioral synthesis entails application of complex and error-prone transformations during the compilation process. Therefore, the adoption of behavioral synthesis high

APA, Harvard, Vancouver, ISO, and other styles

31

Amnell, Tobias. "Code synthesis for timed automata." Licentiate thesis, Uppsala universitet, Avdelningen för datorteknik, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-86154.

Full text

Abstract:

In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. the environment to be controlled). Both are modelled as timed automata extended with real time tasks. We consider the extended timed automata as design models. We present a compilation procedure to transform design models to executable code including a run-time scheduler (run time system) preserving the correctness and schedulability

APA, Harvard, Vancouver, ISO, and other styles

32

Blanton, Ronald DeShawn 1965. "Digital system synthesis with standard EDIF output." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/276973.

Full text

Abstract:

In the growing field of digital system design, there is a great need for design tools that will assist the engineer in developing large scale systems. AHPL, A Hardware Programming Language, is a hardware description language which allows a digital system to be described, evaluated, and analyzed. But like many design tools, AHPL cannot satisfy the multitude of design tool applications. In order to enhance the power of AHPL as a design tool, an EDIF translator is developed. The EDIF translator generates an EDIF netlist of an AHPL design, thus making it possible to port AHPL designs to other desi

APA, Harvard, Vancouver, ISO, and other styles

33

Hugo, Benjamin. "Accelerated coplanar facet radio synthesis imaging." Master's thesis, University of Cape Town, 2016. http://hdl.handle.net/11427/20543.

Full text

Abstract:

Imaging in radio astronomy entails the Fourier inversion of the relation between the sampled spatial coherence of an electromagnetic field and the intensity of its emitting source. This inversion is normally computed by performing a convolutional resampling step and applying the Inverse Fast Fourier Transform, because this leads to computational savings. Unfortunately, the resulting planar approximation of the sky is only valid over small regions. When imaging over wider fields of view, and in particular using telescope arrays with long non-East-West components, significant distortions are int

APA, Harvard, Vancouver, ISO, and other styles

34

Chu, Peil-Ying Mark. "Towards automating protocol synthesis and analysis /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303840366.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Strobel, Matthias. "Modeling and computer simulation of ion beam synthesis of nanostructures." Doctoral thesis, [S.l.] : [s.n.], 1999. http://deposit.ddb.de/cgi-bin/dokserv?idn=963546481.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Strobel, M. "Modeling and Computer Simulation of Ion Beam Synthesis of Nanostructures." Forschungszentrum Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:d120-qucosa-30131.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Williamson, C. J. "Computer aided process control systems synthesis using rule-based programming." Thesis, University of Canterbury. Chemical Engineering, 1989. http://hdl.handle.net/10092/9407.

Full text

Abstract:

Current steady-state process simulators have greatly increased the speed and efficiency of the development of Process Flow Diagrams. Chemical Engineers would benefit in the same way from a Computer Aided Design package to assist with generating completed Piping and Instrument Diagrams. Despite the many theoretical methods available in the control science area there is no single and complete available solution to the problem of synthesising control systems for whole chemical processes and therefore no concrete basis from which to develop a computer program. Design activities rely on a significa

APA, Harvard, Vancouver, ISO, and other styles

38

Waters, Keith. "The computer synthesis of expressive three-dimensional facial character animation." Thesis, Middlesex University, 1988. http://eprints.mdx.ac.uk/8095/.

Full text

Abstract:

This present research is concerned with the design, development and implementation of three-dimensional computer-generated facial images capable of expression gesture and speech. A review of previous work in chapter one shows that to date the model of computer-generated faces has been one in which construction and animation were not separated and which therefore possessed only a limited expressive range. It is argued in chapter two that the physical description of the face cannot be seen as originating from a single generic mould. Chapter three therefore describes data acquisition techniques e

APA, Harvard, Vancouver, ISO, and other styles

39

Chi, Li-Jen. "Synthesis and computer-aided structural investigation of potentially photochromic spirooxazines." Thesis, Heriot-Watt University, 2000. http://hdl.handle.net/10399/564.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Newton, Timothy John. "Computer modelling of poly-#beta#-hydroxybutyrate synthesis in alcaligenes eutrophus." Thesis, University of Newcastle Upon Tyne, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262922.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Cancellieri, Michela. "Computer-aided design, synthesis and evaluation of novel antiviral compounds." Thesis, Cardiff University, 2014. http://orca.cf.ac.uk/69187/.

Full text

Abstract:

RNA viruses are a major cause of disease that in the last fifteen years counted for frequent outbreaks, infecting both humans and animals. Examples of emerging or ri-emerging viral pathogens are the Foot-and- Mouth disease virus (FMDV) for animals, Chikungunya virus (CHIKV), Coxsackie virus B3 (CVB3) and Respiratory Syncytial virus (RSV) for humans, all responsible for infections associated with mild to severe complications. Although both vaccines and small-molecule compounds are at different stages of development, no selective antiviral drugs have been approved so far, therefore for all four

APA, Harvard, Vancouver, ISO, and other styles

42

Strobel, M. "Modeling and Computer Simulation of Ion Beam Synthesis of Nanostructures." Forschungszentrum Rossendorf, 1999. https://hzdr.qucosa.de/id/qucosa%3A21840.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Thompson, Jeffrey M. "Computer aided design and synthesis of the RSCR spatial mechanism." Thesis, Virginia Polytechnic Institute and State University, 1987. http://hdl.handle.net/10919/80087.

Full text

Abstract:

Recent efforts in computer aided design and computer aided manufacturing have stressed the development of robotics. However, there are many applications where a spatial mechanism could be used in place of a robot, but the mechanism design theory has not been fully developed. This thesis presents the fundamentals of a computer aided design system for the RSCR (revolute-spheric-cylindric-revolute) spatial mechanism. Exact relationships for position, velocity, and acceleration analysis have been derived. Closed form synthesis equations have been developed for the RS and RC dyads. The theory devel

APA, Harvard, Vancouver, ISO, and other styles

44

Chapman, David P. "Playing with sounds : a spatial solution for computer sound synthesis." Thesis, University of Bath, 1996. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.307047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Singh, Rohit Ph D. Massachusetts Institute of Technology. "Synthesizing a synthesis tool." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/84731.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.<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 85-87).<br>SMT/SAT solvers are used by many tools for program verification and analysis. Most of these tools have an optimization layer which applies transformations (or "rewrite rules") to simplify the internal representation of t

APA, Harvard, Vancouver, ISO, and other styles

46

Sorensen, Matthew J. "Real-time Image Enhancement Using Texture Synthesis." Diss., CLICK HERE for online access, 2004. http://contentdm.lib.byu.edu/ETD/image/etd595.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Liu, Jing. "Robust stability for nonlinear control : state-space and input-output synthesis." Thesis, University of Southampton, 2014. https://eprints.soton.ac.uk/368895/.

Full text

Abstract:

In this thesis we consider the development of a general nonlinear input-output theory which encompasses systems with initial conditions. Appropriate signal spaces (i.e., interval spaces, extended spaces and ambient spaces) are introduced with some fundamental assumptions to constitute a framework for the study of input-output systems with abstract initial conditions. Both systems and closed-loop systems are defined in a set theoretic manner from input-output pairs on a doubly infinite time axis, and a general construction of the initial conditions (i.e., a state at time zero) is given in terms

APA, Harvard, Vancouver, ISO, and other styles

48

Lee, Chao-Hua. "Articulated human motion compression, synthesis and classification." Thesis, University of Cambridge, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Hwang, Yves. "An automated software design synthesis framework." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2009. http://theses.library.uwa.edu.au/adt-WU2009.0157.

Full text

Abstract:

This thesis presents an automated software design synthesis framework known as Project Calliope. This framework aligns with Harel's automated software development process as it addresses the aspect of automating design and implementation. Project Calliope is based on a Statecharts synthesis approach in the literature. The main goal of Project Calliope is to automatically generate testable Unified Modeling Language (UML) Statecharts that are deterministic, visually manageable and UML compliant. In order to minimise design errors in the generated UML Statecharts, Project Calliope supports model

APA, Harvard, Vancouver, ISO, and other styles

50

Sullivan, Kirk Patrick Haig. "Synthesis-by-analogy : a psychologically-motivated approach to computer text-to-speech conversion." Thesis, University of Southampton, 1992. https://eprints.soton.ac.uk/250078/.

Full text

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!