Tesis sobre el tema "Graphical languages"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Graphical languages".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Parsons, M. S. "Applicative languages and graphical data structures". Thesis, University of Kent, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379988.
Texto completoSchweimeier, Ralf. "Categorical and graphical models of programming languages". Thesis, University of Sussex, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366059.
Texto completoGodwin, William Henry. "Formalizing graphical notations". n.p, 1998. http://ethos.bl.uk/.
Texto completoMarsden, Gary. "Designing graphical interface programming languages for the end user". Thesis, University of Stirling, 1998. http://hdl.handle.net/1893/1920.
Texto completoCarpenter, Steven M. "Visual meta-programming language graphical user interface for generative programming". Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FCarpenter.pdf.
Texto completoThesis advisor(s): Mikhail Auguston, Richard Riehle. Includes bibliographical references (p. 89). Also available online.
Terwilliger, James Felger. "Graphical User Interfaces as Updatable Views". PDXScholar, 2009. https://pdxscholar.library.pdx.edu/open_access_etds/2671.
Texto completoPierson, Graham C. "Code maintenance and design for a visual programming language graphical user interface". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FPierson.pdf.
Texto completoArmstrong, Kris A. "The Separation Principle – A Principle for Programming Language Design". University of Toledo / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1373382351.
Texto completoSun, Hanqiu. "A high-level graphics language based on the Graphical Kernel System". Thesis, University of British Columbia, 1986. http://hdl.handle.net/2429/26330.
Texto completoApplied Science, Faculty of
Electrical and Computer Engineering, Department of
Graduate
Nie, Chunsheng. "A visual language for part21 file based on express data model". Ohio University / OhioLINK, 2000. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1172603859.
Texto completoClark, Gard J. "DFQL : a graphical dataflow query language". Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28125.
Texto completoGoff, Roger Allen. "Complexity measurement of a graphical programming language and comparison of a graphical and a textual design language". Thesis, Virginia Tech, 1987. http://hdl.handle.net/10919/45686.
Texto completoFor many years the software engineering community has been attacking the software reliability problem on two fronts. First via design methodologies, languages and tools as a precheck on quality and second by measuring the quality of produced software as a postcheck. This research attempts to unify the approach to creating reliable software by providing the ability to measure the quality of a design prior to its implementation. Also presented is a comparison of a graphical and a textual design language in an effort to support cognitive science research findings that the human brain works more effectively in images than in text.
Master of Science
Godwin, William. "Formalizing graphical notations". Thesis, Open University, 1998. http://oro.open.ac.uk/57865/.
Texto completoNaguleswaran, M. "A graphical relational query language on Apple Macintosh". Thesis, University of Canterbury. Computer Science, 1988. http://hdl.handle.net/10092/9381.
Texto completoPeters, Nancy Lynn. "A graphical query language supporting flexible database access". Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/76414.
Texto completoIncludes bibliographical references.
GRAF-ASQ (GRaphical And Fully Accessible Structure-based Queries) is a graphical query language designed to provide flexible, wide access to data via the use of n-tuples and Prolog concepts. It is also designed to provide the ability to view the database schema graphically and to store queries which can be retrieved and from which more complex queries can be built. The system is built to interface with MacDRAW so that it can store and retrieve information connected to graphical objects. The system is independent of MacDRAW, however. It accepts data in a general format that other programs can give it. Implemented so far is the ability to view the schema with different central foci and to make atomic attributes invisible. Also implemented is the ability to get data about graphical objects from MacDRAW, including type and simple attribute information, and to query and search for data via menues. If the data found relates to MacDRAW objects, those objects can be highlighted within MacDRAW. The graphical query language itself has not been implemented.
Funded, in part, by Apple Computer, Inc., Educational Marketing Division.
by Nancy Lynn Peters.
M.S.
Déguernel, Ken. "Apprentissage de structures musicales en contexte d'improvisation". Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0011/document.
Texto completoCurrent musical improvisation systems are able to generate unidimensional musical sequences by recombining their musical contents. However, considering several dimensions (melody, harmony...) and several temporal levels are difficult issues. In this thesis, we propose to combine probabilistic approaches with formal language theory in order to better assess the complexity of a musical discourse, both from a multidimensional and multi-level point of view in the context of improvisation where the amount of data is limited. First, we present a system able to follow the contextual logic of an improvisation modelled by a factor oracle whilst enriching its musical discourse with multidimensional knowledge represented by interpolated probabilistic models. Then, this work is extended to create another system using a belief propagation algorithm representing the interaction between several musicians, or between several dimensions, in order to generate multidimensional improvisations. Finally, we propose a system able to improvise on a temporal scenario with multi-level information modelled with a hierarchical grammar. We also propose a learning method for the automatic analysis of hierarchical temporal structures. Every system is evaluated by professional musicians and improvisers during listening sessions
Li, Kaiyan. "Unified modeling language class diagram translator for the online design pattern library system". CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2194.
Texto completoFinnie, Sigbjorn O. "Composing graphical user interfaces in a purely functional language". Thesis, University of Glasgow, 1998. http://theses.gla.ac.uk/1597/.
Texto completoWakelin, Andrew. "A database query language for operations on graphical objects". Thesis, Abertay University, 1988. https://rke.abertay.ac.uk/en/studentTheses/826893af-0377-4ec6-a09a-6a5bd246df28.
Texto completoWessman, Richard R. "Ada and the graphical kernel system /". Online version of thesis, 1988. http://hdl.handle.net/1850/10624.
Texto completoMartin, Walter E. "Cview, a graphical program generator for the C programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10224.
Texto completoKeramopoulos, Euclid. "GOQL, a graphical query language for object-oriented database systems". Thesis, University of Westminster, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433847.
Texto completoBrännström, Andreas. "Knowledge Elicitation of Human Activities Using a Graphical Modeling Language". Thesis, Umeå universitet, Institutionen för psykologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-148985.
Texto completoPågående forskning har tagit upp det generella problemet med att representera komplexa mänskliga aktiviteter för att tillhandahålla intelligenta mjukvaruagenter med ett sätt att identifiera, resonera och utvärdera mänskliga aktiviteter. Tillförlitlig utvärdering av komplexa mänskliga aktiviteter kräver att den intelligenta agenten erhåller en representation med definierande särdrag hos aktiviteten. Det är en svår uppgift då en persons aktiviteter drivs av mål, motiv och normer som kan vara motstridiga i en situation. För att kunna ge kunskap om mänskliga aktiviteter till en intelligent mjukvaruagent behöver vi verktyg som kan tillåta oss att modellera mänskliga aktiviteter. Denna studie har utvärderat en prototyp av ett grafiskt modelleringsspråk där den övergripande forskningsfrågan var att hitta minsta antalet modelleringskomponenter som krävs för att representera kunskapen om aktiviteter från en domänexpert. Åtta deltagare testade prototypen genom användbarhetstester med tänka högt metodik där deras förståelse av språkets struktur testades. Grundad teori avändes för att analysera den kvalitativa datan. Validitet har diskuterats. Resultaten visade att den hierarkiska strukturen hos Activity theory är en stödjande teoretisk grund för det grafiska språket som liknar hur arbetsterapeuterna resonerar när de analyserar mänskliga aktiviteter. Studien föreslår minsta antalet modelleringskomponenter som krävs för det grafiska språket. Ett fokus för framtida studier är att rikta in sig på det intelligenta mjukvarusystemet för att ytterligare expandera och justera språket efter agentens krav och hitta en komplexitetsnivå i språket som båda parter kan förstå.
Pfisterer, Christoph. "A semantic description language for platform independent graphical user interfaces". [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10361117.
Texto completoEchegaray, Daniel. "Making a common graphical language for the validation of linked data". Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-211100.
Texto completoEn mängd olika inbyggda system används inom design och konstruktion av lastbilar inom Scania. På grund av deras heterogenitet och komplexitet kräver sådana system användningen av många mjukvaruverktyg för att stödja inbyggd systemutveckling. Dessa verktyg måste bilda en välintegrerad och effektiv utvecklingsmiljö för att säkerställa att produktdata är konsekventa och korrekta över utvecklingsorganisationen.En prototyp håller på att utvecklas som anpassar en länkad datainriktning för dataintegration, mer specifikt anpassar denna prototyp en dataintegration specifikation utvecklad av Open Services for Lifecycle Collaboration(OSLC). Prototypen tillåter användare att utforma OSLC-gränssnitt mellan produkthanteringsverktyg och OSLC-länkar mellan deras data. Användaren får vidare tillämpa begränsningar på de data som överensstämmer med OSLC-valideringsspråket Resource Shapes. Problemet ligger i prototypen som endast överensstämmer med Resource Shapes, vars begränsningar ofta är för grova för Scanias behov och att det inte finns något standardiserat språk för validering av länkad data. Således, för att utforma denna studie formulerades två forskningsfrågor (1) Hur kan ett gemensamt grafiskt språk skapas för att stödja alla valideringsteknologier av RDF-data? och (2) Hur kan detta grafiska språk stödja Automatisk generering av RDF-grafer? En fallstudie genomförs där det specifika fallet består av ett mjukvaruverktyg som heter SESAMM-tool hos Scania. Fallstudien innehöll en jämförelse av valideringsspråk och vidareutveckling av prototypen. Vidare följs Design Science som forskningsstrategi där en effektiv artefakt sökts för att svara på de angivna forskningsfrågorna. Design Science främjar en iterativ process inklusive genomförande och utvärdering. Data har empiriskt samlats på ett iterativt sätt och utvärderats med hjälp av utvärderingsmetoderna informerat argument och kontrollerat experiment, för valideringsspråkjämförelsen och vidareutvecklingen av prototypen. Två valideringsspråk undersöktes Shapes Constraint Language (SHACL) och Shapes Expression (ShEx).Resultatet av valideringsspråksjämförelsen konkluderade SHACL som valideringsspråket med en större domän av begränsningar, mer finkorniga begränsningar och med möjligheten att definiera nya begränsningar. Detta var baserat på att SHACL-begränsningarna uppmättes täcka 89,5 % av ShEx-begränsningarna och 67,8 % för det omvända. SHACL- och ShEx-täckningen för Resource Shapes-egenskapsbegränsningar mättes till 75 % respektive 50 %. SHACL rekommenderades och valdes för att vidareutveckla prototypen.Vid vidareutveckling av prototypen infördes abstrakta superklasser i den underliggande datamodellen. Superklasserna tog i huvudsak rollen som tidigare klasser för valideringsspråk, som istället utgjordes som underklasser. SHACL anges som en sådan underklass. Denna design erbjöd hög kodåteranvändning inom prototypen men gav också upphov till problem som relaterade till plugin-teknologier som prototypen bygger på. Den nuvarande lösningen har fortfarande problemet att egenskaper hos ett valideringsspråk kan läggas till klasser av ett annat valideringsspråk.
Ekin, Tufan. "Graphical user interface tool kit for path-based network policy language". Thesis, Monterey, California. Naval Postgraduate School, 2002. http://hdl.handle.net/10945/6067.
Texto completoThe Path-based Policy Language (PPL) is a formal network policy language for constructing models of Internet service and access control. Seven changes have been made to the LEXER and YACC code of PPL. Five of the changes are related to the syntax of policy rules in PPL. Two of the changes are related to the semantics of the language. A graphical user interface tool kit for creating, validating, archiving and compiling policies represented in PPL has been developed. The tool kit has a field-by-field interface that allows a policy maker to input and update PPL compliant policy rules, while hiding the subtle details of the PPL syntax from the user. Prior to the work reported here, policy files were created separately and the PPL compiler had to be invoked manually from a command line interface. The GUI combines the processes of forming a policy file and compiling. These processes are performed automatically from the menu items of the tool kit. The GUI itself is password protected, permitting only authorized users access to the system. Protection of the policy rules is also provided via the tool kit.
Mirsad, Ćosović. "Distributed State Estimation in Power Systems using Probabilistic Graphical Models". Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2019. https://www.cris.uns.ac.rs/record.jsf?recordId=108459&source=NDLTD&language=en.
Texto completoGlavni rezultati ove teze su dizajn i analiza novihalgoritama za rešavanje problema estimacije stanjabaziranih na faktor grafovima i „Belief Propagation“ (BP)algoritmu koji se mogu primeniti kao centralizovani ilidistribuirani estimatori stanja u elektroenergetskimsistemima. Na samom početku, definisan je postupak zarešavanje linearnog (DC) problema korišćenjem BPalgoritma. Pored samog algoritma data je analizakonvergencije i predloženo je rešenje za unapređenjekonvergencije. Algoritam se može jednostavnodistribuirati i paralelizovati, te je pogodan za estimacijustanja u realnom vremenu, pri čemu se informacije moguprikupljati na asinhroni način, zaobilazeći neke odpostojećih rutina, kao npr. provera observabilnostisistema. Proširenje algoritma za nelinearnu estimacijustanja je moguće unutar datog modela.Dalje se predlaže algoritam baziran na probabilističkimgrafičkim modelima koji je direktno primenjen nanelinearni problem estimacije stanja, što predstavljalogičan korak u tranziciji od linearnog ka nelinearnommodelu. Zbog nelinearnosti funkcija, izrazi za određenuklasu poruka ne mogu se dobiti u zatvorenoj formi, zbogčega rezultujući algoritam predstavlja aproksimativnorešenje. Nakon toga se predlaže distribuirani Gaus-Njutnov metod baziran na probabilističkim grafičkimmodelima i BP algoritmu koji postiže istu tačnost kao icentralizovana verzija Gaus-Njutnovog metoda zaestimaciju stanja, te je dat i novi algoritam za otkrivanjenepouzdanih merenja (outliers) prilikom merenjaelektričnih veličina. Predstavljeni algoritam uspostavljalokalni kriterijum za otkrivanje i identifikacijunepouzdanih merenja, a numerički je pokazano daalgoritam značajno poboljšava detekciju u odnosu nastandardne metode.
Perez, Manuel A. "A language for interactive computer graphics programming". Virtual Press, 1987. http://liblink.bsu.edu/uhtbin/catkey/484784.
Texto completoSantana, Sepulveda Julio Sergio. "The generation of coordinated natural language and graphical explanations in design environments". Thesis, University of Salford, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.301461.
Texto completoChunawala, Shakil A. (Shakil Ahmed). "Creatr, a genergtic graphical distributed debugger with language support for application interfacing". Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/34094.
Texto completoIncludes bibliographical references (leaves 84-86).
by Shakil A. Chunawala.
M.S.
Jacobs, Robert N. (Robert Nathan). "A wireless sensor-based mobile music environment complied from a graphical language". Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/46087.
Texto completoIncludes bibliographical references (p. 79-80).
In this thesis I demonstrate a framework for a wireless sensor-based mobile music environment. Most prior work has not been truly portable. Those that were have focused on external data as opposed to properties of the listener. In this project I built a short-range wireless sensor network (using the ZigBee protocol and an accelerometer) and a compiler for PureData, a graphical music processing language. With these parts, I realized a synchronized music experience that generates a soundtrack based on the listener's movement. By synchronizing the music to the user's natural rhythms, it encourages the user to maintain a given pace for a longer period of time. I describe extensions to this example that point to a future of portable interactive music tied to exercise and physical activity.
by Robert N. Jacobs.
M.Eng.
Déguernel, Ken. "Apprentissage de structures musicales en contexte d'improvisation". Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0011.
Texto completoCurrent musical improvisation systems are able to generate unidimensional musical sequences by recombining their musical contents. However, considering several dimensions (melody, harmony...) and several temporal levels are difficult issues. In this thesis, we propose to combine probabilistic approaches with formal language theory in order to better assess the complexity of a musical discourse, both from a multidimensional and multi-level point of view in the context of improvisation where the amount of data is limited. First, we present a system able to follow the contextual logic of an improvisation modelled by a factor oracle whilst enriching its musical discourse with multidimensional knowledge represented by interpolated probabilistic models. Then, this work is extended to create another system using a belief propagation algorithm representing the interaction between several musicians, or between several dimensions, in order to generate multidimensional improvisations. Finally, we propose a system able to improvise on a temporal scenario with multi-level information modelled with a hierarchical grammar. We also propose a learning method for the automatic analysis of hierarchical temporal structures. Every system is evaluated by professional musicians and improvisers during listening sessions
Carette, Titouan. "Manier le ZX-calcul : flexsymétrie, systèmes ouverts et limandes". Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0200.
Texto completoThis thesis is about the application of graphical languages to quantum computing. By graphical language, we mean the use of diagrams, similar to circuits, representing the evolution of quantum systems. The thesis introduces those languages in the formalism of category theory and focuses mainly on one language: the ZX-calculus, and its close relatives, the ZW-calculus and ZH-calculus. The notion of flexsymmetry is introduced, describing diagrams whose inputs and outputs are all interchangeable. This notion is used to classified all languages similar to the ZX-calculus. It is shown that the only admissible languages are the ZX-calculus, the ZH-calculus, and the ZW-calculus. Then is tackled the question of extending those languages to mixed-state quantum mechanics. A general categorical construction is proposed and is applied to provide extensions of the different languages. Finally, the thesis introduces notations allowing to handle in a compact way quantum algorithms relying on arbitrary large diagrams. To challenge their efficiency, those notations are used to show the correction of various quantum algorithms
Ford, Natanya. "Developing a graphical language to represent listeners' experiences of spatial attributes in reproduced sound". Thesis, University of Surrey, 2005. http://epubs.surrey.ac.uk/812994/.
Texto completoWessler, Michael Alan 1970. "NPL : a graphical programming language for motor control and its application to bipedal walking". Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/29228.
Texto completoIncludes bibliographical references (p. 123-126).
Current methods for bipedal walking control include playback of recorded joint motion and the derivation of dynamic equations to map desired forces at the body to the required torques at the joints. Both methods require a significant amount of up-front knowledge about the structure and characteristics of the robot. This thesis presents an alternative method of control that removes the interdependence of the joint torques and simplifies the mathematics considerably. The simplification allows a programmer to create and tune a bipedal walk controller without requiring a complete model of the dynamics. The controller is implemented in a graphical programming language similar to fuzzy logic and neural networks, in which the algorithm is contained in the structure of the nodes rather than in the weights of the connections. The language and its development environment are specifically designed to assist the programmer to create and debug the algorithm in a live environment.
by Michael Alan Wessler.
Ph.D.
Wall, Karl. "G#, a graphical approach to functional programming". Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Datateknik och informatik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-43359.
Texto completoSyftet med examensarbetet var att med hjälp av inspiration från funktionell programmering, presentera en lösning på hur ett nytt grafiskt programmeringsspråk med ett funktionellt djup och tänk kan konstrueras. Med hjälp av designbaserad forskning har en artefakt tagits fram som genomgått iterationer av utveckling och testning för att uppnå ett resultat som fungerar som tänkt. Det grafiska språket som tagits fram kallas för G# och är ett språk som tillåter programmeraren att programmera på djupet, funktioner skrivs som block inuti block och språket blir kompakt. Tillhörande G# så konstruerades en struktur i ett JSON-format för hur funktioner i G# kan representeras i ett textat dataformat. Syftet med JSON-formatet var att möjliggöra exekvering av G# och transformering till ett textbaserat programmeringsspråk. Av denna studie kan det dras lärdomar kring hur ett programmeringsspråk kan byggas upp från grunden och vilka svårigheter som måste tacklas för att få ett resultat som fungerar. På grund av begränsning av tid så utvecklades endast vanligt förekommande funktioner inom programmering till G#, språkets slutversion kan göra beräkningar, sköta hantering av listor och utföra enklare algoritmer. Vid utvecklingen av G# användes verktyget Draw.io för att konstruera funktioner. Verktyget var begränsat i funktionalitet och presterade inte enligt förväntan. Därför borde en undersökning som svarar på vilket typ av verktyg som är mest lämpligt för utvecklingen av de grafiska funktionerna göras innan utvecklingen börjar.
Fogel, Earl. "Teaching Prolog using intelligent computer-assisted instruction and a graphical trace". Thesis, University of British Columbia, 1988. http://hdl.handle.net/2429/27923.
Texto completoScience, Faculty of
Computer Science, Department of
Graduate
Miller, Ruane. "A study of PostScript as a graphics programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/11483.
Texto completoBeasley, Johnita. "A graphical alternative to direct SQL based querying". Master's thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-12162009-020050/.
Texto completoTrout, Terry Thoke. "Design of computer animation languages /". Title page, contents and abstract only, 1990. http://web4.library.adelaide.edu.au/theses/09SM/09smt861.pdf.
Texto completoPickering, Jonathan H. "Intelligent camera planning for computer graphics". Thesis, University of York, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274489.
Texto completoClément, Alexandre. "Langages graphiques pour le contrôle quantique et l'optique linéaire". Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0093.
Texto completoIn the models of quantum computing usually considered, some quantum data is manipulated by means of operations which are controlled in an essentially classical way. Controlling these operations in a quantum way is actually possible, but has been much less studied. In particular, quantum control misses a formalism in which one could represent it in a simple way in order to efficiently reason on processes involving it. The first contribution of this thesis is to lay the foundations of a formal framework dedicated to quantum control, in the form of a graphical language. Our main result about this language is the introduction of a complete equational theory, that is, a set of equations that makes it possible, by successive local rewriting, to transform a given diagram into any other diagram representing the same program or physical process. A second contribution is to apply this formalism, on the one hand, to the problem of resource optimisation of processes involving quantum control, and on the other hand, to the characterisation of the observational equivalence of quantum communication channels. A third contribution of this thesis is to introduce a language for linear optical circuits. We equip this language with a complete equational theory, together with a simple normal form, reachable via a strongly normalising and confluent rewriting system. The last contribution of this thesis, maybe the most significant one, is to introduce a complete equational theory for the language of quantum circuits. We obtain this result by exploiting a correspondence between quantum circuits and optical circuits, which allows us to transfer the equational theory already obtained for optical circuits
Parikh, Ankur. "Spectral Probablistic Modeling and Applications to Natural Language Processing". Research Showcase @ CMU, 2015. http://repository.cmu.edu/dissertations/791.
Texto completoYoo, Sirah. "Ineffable: Latency in Symbolic Languages". VCU Scholars Compass, 2017. http://scholarscompass.vcu.edu/etd/4814.
Texto completoUcci, Allison. "American Sign Language : an influence on graphic design problem-solving /". Online version of thesis, 2008. http://hdl.handle.net/1850/6274.
Texto completoEade, Frederick Robert. "The graphic language of vernacular literacy primers in West Africa". Thesis, University of Reading, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359789.
Texto completoSin, Chi-lun. "Interactive mapping using scalable vector graphics technology". Click to view the E-thesis via HKUTO, 2005. http://sunzi.lib.hku.hk/hkuto/record/B35518145.
Texto completoSin, Chi-lun y 冼子倫. "Interactive mapping using scalable vector graphics technology". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2005. http://hub.hku.hk/bib/B35518145.
Texto completoChow, Kent. "GPLOT : a language for plotting graphs". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66062.
Texto completoWillison, Richard. "PyGraph : a graphic front-end for the PAISLey executable specification language /". Online version of thesis, 1987. http://hdl.handle.net/1850/10142.
Texto completo