Dissertations / Theses on the topic 'Modular'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Modular.'
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.
Weidner, Jan [Verfasser], and Wolfgang [Akademischer Betreuer] Soergel. "Modular equivariant formality = Modulare äquivariante Formalität." Freiburg : Universität, 2014. http://d-nb.info/1123480745/34.
Full textBasson, Dirk Johannes. "On the coefficients of Drinfeld modular forms of higher rank." Thesis, Stellenbosch : Stellenbosch University, 2014. http://hdl.handle.net/10019.1/86387.
Full textENGLISH ABSTRACT: Rank 2 Drinfeld modular forms have been studied for more than 30 years, and while it is known that a higher rank theory could be possible, higher rank Drinfeld modular forms have only recently been de ned. In 1988 Gekeler published [Ge2] in which he studies the coe cients of rank 2 Drinfeld modular forms. The goal of this thesis is to perform a similar study of the coe cients of higher rank Drinfeld modular forms. The main results are that the coe cients themselves are (weak) Drinfeld modular forms, a product formula for the discriminant function, the rationality of certain naturally de ned modular forms, and the computation of some Hecke eigenforms and their eigenvalues.
AFRIKAANSE OPSOMMING: Drinfeld modulêre vorme van rang 2 word al vir meer as 30 jaar bestudeer en alhoewel dit lankal bekend is dat daar Drinfeld modulêre vorme van hoër rang moet bestaan, is die de nisie eers onlangs vasgepen. In 1988 het Gekeler die artikel [Ge2] gepubliseer waarin hy die koeffisiënte van Fourier reekse van rang 2 Drinfeld modulêre vorme bestudeer. Die doel van hierdie proefskrif is om dieselfde studie vir Drinfeld modulêre vorme van hoër rang uit te voer. Die hoofresultate is dat die koeffi siënte self (swak) Drinfeld modulêre vorme is, `n produk formule vir die diskriminant funksie, die feit dat sekere natuurlik gede finiëerde modulêre vorme rasionaal is, en die vasstelling van Hecke eievorme en hul eiewaardes.
Petersen, Dan. "Admissible covers, modular operads and modular forms." Licentiate thesis, KTH, Matematik (Avd.), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-48923.
Full textDenna avhandling innehåller tre artiklar relaterade till operader och modulirum för godtagbara övertäckningar av kurvor. I artikel A isoleras kohomologiklasser associerade till modulära former inuti ett visst rum av godtag- bara övertäckningar, vilket visar att detta modulirum kan användas som ett substitut för en Kuga–Sato-varietet. Artikel B innehåller ett kombinatoriskt bevis av Ezra Getzlers semiklassiska approximation för modulära operader, och beviset av en formel som behövs i artikel A. I artikel C förklaras i vilken mening rum av tillåtbara övertäckningar utgör en modulär operad, nämligen en operad färgad av en gruppoid.
QC 20111124
Ghitza, Alexandru Edgar 1976. "Siegel modulator form (mod p) and algebraic modular forms." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29346.
Full textIncludes bibliographical references (p. 101-104) and index.
In his letter [Ser96], J.-P. Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions ... , where B is the endomorphism algebra of a supersingular elliptic curve. After giving a detailed exposition of Serre's result, we prove that the systems of Hecke eigenvalues given by Siegel modular forms (mod p) of genus g are the same as the ones given by algebraic modular forms (mod p) on the group GUg(B), as defined in [Gro99] and [Gro98]. The correspondence is obtained by restricting to the superspecial locus of the moduli space of abelian varieties.
by Alexandru Edgar Ghitza.
Ph.D.
Kurth, Christopher. "Modular forms and modular symbols for noncongruence groups." [Ames, Iowa : Iowa State University], 2009.
Find full textTamir, Rotem. "Modular Envelops." VCU Scholars Compass, 2013. http://scholarscompass.vcu.edu/etd/3086.
Full textCrespo, Marina Rosa. "Coordenação modular: acepções contemporâneas." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/16/16132/tde-21122017-104312/.
Full textModular coordination is a system for relative ordering of dimensions, spaces, and building components. Its application presents remote manifestations through principles that control the design and set suitable scales for the parts and the whole. Nevertheless, the industrial mass production defined the role that the subject would play during the 20th century. In Brazil, its development took place between the 1960s and the 1970s; period that several authors consider decisive in what regards the subject\'s fundamental formatting. From the 1980s on, the specific debates about the matter went through a gap that lasted until the turn of the century when the interest in the field resurfaced. It is consensual among authors that Brazil still has not been successful to implement comprehensive modular coordination standards, but there is a lack of up-to-date analysis as well. The objective of the dissertation - to examine the discipline\'s development in Brazil after 1986 - is based on indications that recent discussions are leaving aside current issues and that there is a weakening of an integrated view of the matter. The main conclusions indicate that a dissociation between architecture and construction has accompanied the building industry\'s development, which affects the application of modular coordination. Moreover, the housing program and the research funding were decisive for the resumption of the field; nonetheless, there are echoes from the models established by the private sector, with emphasis on the rationalization and application of industrial components. In this context, it should be noted that modular coordination, as a field of dimensional coordination, is linked to human needs.
Estrada, Eduardo Luis. "Formas modulares aplicadas a teoria dos numeros." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/307500.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica
Made available in DSpace on 2018-08-06T00:16:28Z (GMT). No. of bitstreams: 1 Estrada_EduardoLuis_M.pdf: 1229842 bytes, checksum: 17b398d3ef955f687a933b77677a7113 (MD5) Previous issue date: 2006
Resumo: Abordamos, de maneira elementar, as estruturas algébrica e topológica sobre a qual são construídas as formas modulares, objetos principais do nosso estudo. Após a definição de formas modulares, realizamos um estudo particular sobre duas funções específicas relacionadas à teoria dos números: h(t) e. u(t). Trata-se de um texto introdutório, no qual apresentamos diversos conceitos e resultados extremamente importantes da teoria, tais como as demonstrações de que as duas funções supracitadas são formas modulares e a apresentação de uma fórmula explícita para seus sistemas multiplicadores
Abstract: In an elemmentary way, we have dealt with the algebraic and topological structures in which the modular forms are constructed. After the definition of this important tool, we have made a particular study about two specific functions related to number theory: h(t) and u(t). It is an introductory text, in which we have presented many concepts and results extremely importants of the theory, such as the proofs of the fact that the two functions h(t) and u(t) are modular forms and the presentation of an exact formula for their multiplier systems
Mestrado
Analise Matematica
Mestre em Matemática
Bygott, Jeremy S. "Modular forms and modular symbols over imaginary quadratic fields." Thesis, University of Exeter, 1998. http://hdl.handle.net/10871/8322.
Full textYoung, Quinn Eric. "Development of Modular Thermal Control Architecture for Modular Satellites." DigitalCommons@USU, 2008. https://digitalcommons.usu.edu/etd/217.
Full textElgenedy, Mohamed Atef. "High-voltage pulse generators incorporating modular multilevel converter sub-modules." Thesis, University of Strathclyde, 2018. http://digitool.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=29620.
Full textMalakuti, Somayeh, and Mariam Zia. "Adopting Architectural Event Modules for Modular Coordination of Multiple Applications." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-175973.
Full textHallehn, Philip, and Victor Lindgren. "Modular Internationalisation Strategy." Thesis, Uppsala universitet, Företagsekonomiska institutionen, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-253331.
Full textWang, Haowu. "Reflective modular forms and Weyl invariant E8 Jacobi modular forms." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I028/document.
Full textThis thesis consists of two independent parts. In the first part we develop an approach based on the theory of Jacobi forms of lattice index to classify reflective modular forms on lattices of arbitrary level. Reflective modular forms have applications in algebraic geometry, Lie algebra and arithmetic. The classification of reflective modular forms is an open problem and has been investigated by Borcherds, Gritsenko, Nikulin, Scheithauer and Ma since 1998. In this part, we establish new necessary conditions for the existence of a reflective modular form. We prove non-existence of reflective modular forms and 2-reflective modular forms on lattices of large rank. We also give a complete classification of 2-reflective modular forms on lattices containing two hyperbolic planes. The second part is devoted to the study of Weyl invariant $E_8$ Jacobi forms. This type of Jacobi forms has significance in Frobenius manifolds, Gromov--Witten theory and string theory. In 1992, Wirthm\"{u}ller proved that the space of Jacobi forms for any irreducible root system not of type $E_8$ is a polynomial algebra. But very little has been known about the case of $E_8$. In this paper we show that the bigraded ring of Weyl invariant $E_8$ Jacobi forms is not a polynomial algebra and prove that every such Jacobi form can be expressed uniquely as a polynomial in nine algebraically independent Jacobi forms introduced by Sakai with coefficients which are meromorphic $\SL_2(\ZZ)$ modular forms. The latter result implies that the space of Weyl invariant $E_8$ Jacobi forms of fixed index is a free module over the ring of $\SL_2(\ZZ)$ modular forms and that the number of generators can be calculated by a generating series. We determine and construct all generators of small index. These results give a proper extension of the Chevalley type theorem to the case of $E_8$
Ivarsson, Mikael. "Modular relay control." Thesis, Mälardalen University, School of Innovation, Design and Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-10369.
Full textEnics Sweden AB, Västerås, is an electronics manufacturing services company with its main business in manufacturing electronics. Most, if not all, electronic devices that are manufactured are being widely tested before delivery to ensure proper functionality. Often during tests a large number of signals are measured by one to a few digital multimeters and are therefore controlled through relays. Relays are also used when applying stimuli with high currents or voltages to the unit under test.
This work have been focused on finding a concept, including designing and producing a prototype, for a modular relay control system for use in fabrication of small test systems and for use when there is a need for adding more relays to an existing system.
Akin, Ihsan Haluk. "Spectral Modular Multiplication." Phd thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/3/12610463/index.pdf.
Full textonhage and Strassen are among the most important successful utilization. Recent advancements in technology report the spectral methods may also be beneficial for modular operations heavily used in public key cryptosystems. In this study, we evaluate the use of spectral methods in modular multiplication. We carefully compare their timing performances with respect to the full return algorithms. Based on our evaluation, we introduce new approaches for spectral modular multiplication for polynomials and exhibit standard reduction versions of the spectral modular multiplication algorithm for polynomials eliminating the overhead of Montgomery&rsquo
s method. Moreover, merging the bipartite method and standard approach, we introduce the bipartite spectral modular multiplication to improve the hardware performance of spectral modular multiplication for polynomials. Finally, we introduce Karatsuba combined bipartite method for polynomials and its spectral version.
Kaihara, Marcelo E., 直史 高木, and Naofumi Takagi. "Bipartite Modular Multiplication." Springer, 2005. http://hdl.handle.net/2237/2751.
Full textEjouamai, Rachid. "Modular elliptic surfaces." Thesis, University of Ottawa (Canada), 2006. http://hdl.handle.net/10393/27210.
Full textMöller, Björn. "Modular mechatronic mechanism /." Stockholm, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-372.
Full textEdgington, Padraic D. "Modular Bayesian filters." Thesis, University of Louisiana at Lafayette, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3712276.
Full textIn this dissertation, I introduce modularization as a means of efficiently solving problems represented by dynamic Bayesian networks and study the properties and effects of modularization relative to traditional solutions. Modularizing a Bayesian filter allows its results to be calculated faster than a traditional Bayesian filter. Traditional Bayesian filters can have issues when large problems must be solved within a short period of time. Modularization addresses this issue by dividing the full problem into a set of smaller problems that can then be solved with separate Bayesian filters. Since the time complexity of Bayesian filters is greater than linear, solving several smaller problems is cheaper than solving a single large problem. The cost of reassembling the results from the smaller problems is comparable to the cost of the smaller problems. This document introduces the concept of both exact and approximate modular Bayesian filters and describes how to design each of the elements of a modular Bayesian filters. These concepts are clarified by using a series of examples from the realm of vehicle state estimation and include the results of each stage of the algorithm creation in a simulated environment. A final section shows the implementation of a modular Bayesian filter in a real-world problem tasked with addressing the problem of vehicle state estimation in the face of transitory sensor failure. This section also includes all of the attending algorithms that allow the problem to be solved accurately and in real-time.
Kallsäby, Mattias. "Modular MiniTest Tester." Thesis, Luleå tekniska universitet, Datavetenskap, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-65101.
Full textMeadowcroft, Thomas Andrew. "Modular multivariable control." Thesis, Massachusetts Institute of Technology, 1992. http://hdl.handle.net/1721.1/12554.
Full textMorrison, Ewan K. "Modular Frobenius manifolds." Thesis, University of Glasgow, 2012. http://theses.gla.ac.uk/4260/.
Full textPatel, Arushi Mukesh. "Modular Pattern Installation." Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/83566.
Full textMaster of Architecture
Kenvin, Ryan James. "ReThinking Modular Architecture." Thesis, Virginia Tech, 2014. http://hdl.handle.net/10919/25289.
Full textMaster of Architecture
Fiume, Federico. "Emergency Modular Architecture." Doctoral thesis, Università degli studi di Trento, 2022. http://hdl.handle.net/11572/329050.
Full textEchevarría–Quintana, Marcos. "Metodología de diseño conceptual modular para la selección de variables modulares." Doctoral thesis, Universitat Politècnica de Catalunya, 2015. http://hdl.handle.net/10803/334182.
Full textLas investigaciones recientes sobre el análisis de los sistemas de desarrollo de producto, hacen referencia a la búsqueda de metodologías que establezcan los vínculos entre las variables que aplican al concepto de diseño y desarrollo con e l objetivo de establecer puentes de comunicación que faciliten la comprensión en sistemas globales; Es decir, la convergencia del conocimiento hacia soluciones prácticas y sencillas que determinen las diferentes plataformas de producto con soluciones modulares. La metodología propuesta FAS (Función - Ensamble - Espacio) ha sido desarrollada a partir de las distintas metodologías de diseño para la selección de las relaciones entre distintos sistemas. Ahora bien, en la búsqueda de encontrar sistemas modulares en productos complejos, FAS oferta las soluciones prácticas para las plataformas de producto. La metodología parte de la selección de las variables involucradas en el concepto de diseño, y por medio de una solución algorítmica, basada en algoritmos de agrupación, es capaz de encontrar los grupos de relaciones que permitirán el desarrollo de sistemas modulares. El objetivo del diseño de estos módulos tiende a reducir los tiempos de desarrollo del producto, a la comunización de los componentes, a la mejora en el manejo de información entre los sistemas y equipos, y por tanto a minimizar los costes de desarrollo y producción. El paradigma de diseño tradicional, parte de la idea de crear productos para satisfacer las necesidades de los clientes a los cuales se quiere hacer llegar. Ésta idea es correcta siempre y cuando los objetivos del proyecto se cumplan. Pero para mejorar los objetivos, en un mercado mundial y competitivo, se tienen que tomar en cuenta el cubrir las necesidades de una población mayor de clientes con una reducción de los recursos, y esto se está logrando con las plataformas de productos. El diseño de plataformas de productos, tiene consigo ventajas significativas en cuanto a la reducción de los recursos necesarios para su desarrollo, mayor nivel de conocimiento, incremento de ventas y reducción de los costes. Las desventajas radican en el tiempo o visibilidad que se tiene de los productos que se ofertan, ya que si no se cuenta con éste periodo en el análisis, la potencia de los productos de la plataforma se reduce notablemente. La aportación general que se pretende hacer con ésta tesis, es la de cambiar los paradigmas que se tienen del diseño clásico o tradicional a un diseño conceptual modular. El paradigma a cambiar consiste en desarrollar plataformas de productos desde la fase de concepto (estrategia de grupo), en la que desde la idea inicial / conceptual del proyecto se contemple el desarrollo de plataformas modulares para un rango mayor de productos a ofrecer. Las ventajas que contempla un desarrollo en etapas iniciales aventaja a las de las plataformas de productos tradicionales que se utilizan en ésta época. La metodología FAS da soluciones prácticas y sencillas en la búsqueda de sistemas modulares que formen parte de una plataforma de productos. Siguiendo los pasos y tomando en cuenta los requerimientos para su ejecución, ésta metodología es capaz de responder con soluciones factibles en el campo del desarrollo modular conceptual, consiguiendo una mejor comprensión de la necesidad de diseñar bajo los conceptos que establece. La metodología se ha validado con los sistemas modulares de un espejo retrovisor y un tablero de instrumentos del sector automotriz, en el que los resultados satisfacen las hipótesis y objetivos de crear sistemas modulares a través de ésta metodología.
Yun, Seung-kook. "Optimal self assembly of modular manipulators with active and passive modules." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/47822.
Full textIncludes bibliographical references (p. 89-92).
In this thesis, we describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The robotic module is the Shady3D robot and the passive component is a rigid bar with embedded IR LEDs. We propose algorithms that demonstrate the cooperative aggregation of modular robotic manipulators with greater capability and workspace out of these two types of elements. The distributed algorithms are based on locally optimal matching. We demonstrate how to build an active structure by the cooperative aggregation and disassembly of modular robotic manipulators. A target structure is modeled as a dynamic graph. We prove that the same optimality - quadratic competitive ratio - as for the static graph can be achieved for the algorithms. We demonstrate how this algorithm can be used to build truss-like structures. We present results from physical experiments in which two 3DOF Shady3D robots and one rigid bar coordinate to self-assemble into a 6DOF manipulator. We then demonstrate cooperative algorithms for forward and inverse kinematics, grasping, and mobility with this arm.
by Seung-kook Yun.
S.M.
Sendanayake, Sukhi Vanessa. "Seismic mitigation of steel modular buildings using novel inter-modular connections." Thesis, Queensland University of Technology, 2020. https://eprints.qut.edu.au/180893/1/Sukhi%20Vanessa_Sendanayake_Thesis.pdf.
Full textVicedo, Yann. "Applications of steel-plate composite structures for nuclear modular construction." Thesis, KTH, Betongbyggnad, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-302440.
Full textTrots att kärnkraften är världens näst viktigaste koldioxidsnåla elkälla är utvecklingen av kärnkraftskapaciteten begränsad och överensstämmer inte med Internationella energiorganets scenario för hållbar utveckling. En av de viktigaste orsakerna till denna långsamma utveckling är de höga och ökande kostnaderna för ny kärnkraftskapacitet. Kapitalkostnaderna kan faktiskt utgöra mer än 80 % av den energikostnaden för ett nytt kärnkraftverk. Konstruktionen står för cirka 10 % och byggandet för cirka 20 % av den totala kapitalkostnaden. Att projektering och byggande har så stor betydelse för kärnkraftverkens kostnader beror delvis på begränsningar i de traditionella byggmetoderna när det gäller både tekniska möjligheter och tidsplaner för genomförandet. För att minska byggkostnaderna för nya kärnkraftverk föreslås byggmetoder som bygger på moduler, ”modulära byggmetoder”, särskilt sådana byggmetoder för stålplåtskompositkonstruktioner. Stålplåtskompositkonstruktionen består av en tunn plåt som samverkar med förtillverkad betong. Syftet med denna avhandling var att utvärdera möjligheterna för modulära konstruktioner med stålplåtskompositpaneler att uppfylla kraven på kärnkraftssäkerhet och funktionalitet samt att identifiera potentiella vinster och förbättringar i samband med detta. Fördelar och begränsningar med stålplåtskompositmoduler identifierades i vetenskaplig litteratur och i mellanstatliga studier om möjligheter och relaterades till de särskilda egenskaperna hos kärnkraftstekniska konstruktioners utformning och konstruktion. Modulär konstruktion av stålplåtskompositkonstruktioner bygger på tillverkning av stålbetongkompositmoduler utanför byggarbetsplatsen. Den högre produktiviteten i verkstäderna och den möjliga parallelliseringen av arbetsuppgifter kan leda till en betydande förkortning av produktionstiderna och en minskning av kapitalkostnaderna. Dessutom erbjuder stålplåtskompositmoduler nya tekniska möjligheter som kan bidra till att lösa vissa byggbarhetsproblem. Modulbyggandet av stålplåtskompositkonstruktioner kräver dock en omprövning av de traditionella konstruktions- och byggmetoderna, eftersom de innebär nya utmaningar och begränsningar. I synnerhet bör modulariseringsfrågan tas upp så snart som möjligt i byggprocessen, och modultillverkningskapaciteten bör snabbt identifieras eller skapas för att kunna leverera korrekt tillverkade moduler i tid. Med tanke på fördelarna och begränsningarna med modulbyggandet av stålplåtskompositkonstruktioner verkar det som om stålplåtskompositmoduler med fördel kan uppfylla de flesta av kraven för kärnkraftsteknisk konstruktion. På grund av bristen på feedback föreslås dock att användningen av stålplåtskompositmoduler begränsas till kritiska betongkonstruktioner i inneslutningsbyggnaden. I synnerhet verkar det som om konstruktionen av inneslutningskupolen och reaktorstödstrukturen kan dra nytta av konstruktionsmetoderna för stålplåtskompositkonstruktioner
Cai, Yulin. "Integral Points on Modular Curves, Singular Moduli and Conductor-Discriminant Inequality." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0098.
Full textThis thesis discusses three topics, so it includes three parts. In the first part, we study S-integral points on the modular curve X0(p). Bilushowed that, using Baker’s method, they can be effectively bounded in terms of p, the base field and the set of places S. Sha made this result explicit, but the bound he obtained is double exponential in p. We drastically improve upon the result of Sha, obtaining a simple exponential bound. This is done using a very explicit version of the Chevalley-Weil principle based on the work of Liu and Lorenzini. Our bound is not only sharper than that of Sha, but is also explicit in all parameters. In the second part, we consider singular moduli. For a fixed singular modulus a, we give an effective upper bound of norm of x - a for another singular modulus x with large discriminant. In the third part, we give a relation between Artin conductors of a Weierstrass model Y and the ones of two given Weierstrass models Y1,Y2. With this relation, we know that the conductor-discriminant inequality holds for Y if it holds for Y1 and Y2
Gray, Elizabeth. "The comparability between modular and non-modular examinations at GCE Advanced level." Thesis, University College London (University of London), 2002. http://discovery.ucl.ac.uk/10018985/.
Full textAsplund, Eric, and Joakim Kron. "Modular Apartments - A flexible wall construction for a connection between two modules." Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129608.
Full textHidell, Markus. "Decentralized Modular Router Architectures." Doctoral thesis, Stockholm : Laboratory for Communications Networks, Royal Institute of Technology, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4090.
Full textSnaith, Daniel Victor. "Overconvergent Siegel modular forms." Thesis, Imperial College London, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.420391.
Full textKammüller, Florian. "Modular reasoning in Isabelle." Thesis, University of Cambridge, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624446.
Full textGalbraith, Steven D. "Equations for modular curves." Thesis, University of Oxford, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337773.
Full textOwens, Crystal (Crystal E. ). "Modular LEGO brick microfluidics." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/117456.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 93-96).
Wider use and adaptation of microfluidic systems is hindered by the infrastructure, knowledge, and time required to build prototype devices, especially when multiple fluid operations and measurements are required. As a result, rapid prototyping methods based on planar and three-dimensional printing are attracting interest; however, these techniques cannot produce structures with the resolution, smoothness, and feature size needed for standard microfluidic devices. Herein I present a new approach to rapidly construct modular microfluidic systems by modification and assembly of interlocking injection-molded blocks. I demonstrate this principle using micromilling of store-bought LEGO® bricks to create surface fluidic pathways on bricks, and develop procedures for sealing and interconnecting bricks to form modular, reconfigurable microfluidic systems. Micromilling using a desktop machine achieves channel dimensions of 50 pm in depth and 150 pm in width, or greater, etched into the sidewalls of blocks. Sealing these channels with adhesive films allows internal fluid pressure of at least 400 kPa. The intrinsic tolerances of injection molded bricks and their elastically averaged connections gives mechanical locating repeatability of 1 pm, which enables fluid to pass between bricks via an O-ring with >99.9% sealing reliability. Using the LEGO-based approach, I build systems made of assembled brick units for generating droplets, sensing light, sorting with inertial and magnetic forces, and repeatably positioning a smartphone camera, and characterize their performance. Then, I fabricate and measure LEGO-like bricks made by FDM and SLA three-dimensional printing, showing that they can integrate with injection-molded bricks to add useful function, although their surface quality, resolution, and material limit performance. In addition, I adapt these components for two educational activities for high school students: a colorimetric titration device and a modular designable boat. The standard interface among all bricks enables a wide variety of brick units to be incorporated onto a common platform, making this "lab on a brick" a new and viable platform for advancing research and education in microfluidics.
by Crystal Owens.
S.M.
Kohler, Eddie 1973. "The Click modular router." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/86585.
Full textIncludes bibliographical references (p. 122-127).
by Eddie Kohler.
Ph.D.
Bachelder, Laura Govoni 1971. "Semi-finished modular cells." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/63220.
Full textIncludes bibliographical references (p. 62-64).
This thesis subject is a pre-fabricated element (cell): a system that employs natural, light, and economic materials to produce a near-finished portion of a building. The intent is to introduce sustainable design into construction industry through prefabrication. The cell has been envisioned both for permanent and temporary usage: in the former case, preeminently as a construction element, while in the latter, as a finished unit. In both cases, the cell is mainly an assembly of smaller components that can possibly be recycled and reused after dismantling without additional reprocessing. The main idea behind the cell is to employ simple and small elements to achieve sustainable design.
by Laura Govoni Bachelder.
S.M.
Kuncak, Viktor (Viktor Jaroslav) 1977. "Modular data structure verification." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/38533.
Full textThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Includes bibliographical references (p. 149-166).
This dissertation describes an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my colleagues in a verification system called Jahob. Jahob verifies properties of Java programs with dynamically allocated data structures. Developers write Jahob specifications in classical higher-order logic (HOL); Jahob reduces the verification problem to deciding the validity of HOL formulas. I present a new method for proving HOL formulas by combining automated reasoning techniques. My method consists of 1) splitting formulas into individual HOL conjuncts, 2) soundly approximating each HOL conjunct with a formula in a more tractable fragment and 3) proving the resulting approximation using a decision procedure or a theorem prover. I present three concrete logics; for each logic I show how to use it to approximate HOL formulas, and how to decide the validity of formulas in this logic. First, I present an approximation of HOL based on a translation to first-order logic, which enables the use of existing resolution-based theorem provers. Second, I present an approximation of HOL based on field constraint analysis, a new technique that enables decision procedures for special classes of graphs (such as monadic second-order logic over trees) to be applied to arbitrary graphs.
(cont.) Third, I present an approximation using Boolean Algebra with Presburger Arithmetic (BAPA), a logic that combines reasoning about sets of elements with reasoning about cardinalities of sets. BAPA can express relationships between sizes of data structures and invariants that correlate data structure size with integer variables. I present the first implementation of a BAPA decision procedure, and establish the exact complexity bounds for BAPA and quantifier-free BAPA. Together, these techniques enabled Jahob to modularly and automatically verify data structure implementations based on singly and doubly-linked lists, trees with parent pointers, priority queues, and hash tables. In particular, Jahob was able to prove that data structure implementations satisfy their specifications, maintain key data structure invariants expressed in a rich logical notation, and never produce run-time errors such as null dereferences or out of bounds accesses.
by Viktor Kuncak.
Ph.D.
Omiecinski, Tomasz Adam. "Reconfigurable integrated modular avionics." Thesis, University of Bristol, 1999. http://hdl.handle.net/1983/e9e10bd7-72c6-4aff-9027-f297dded5e41.
Full textRue, Timothy James. "Modular Vehicle Design Concept." Thesis, Virginia Tech, 2015. http://hdl.handle.net/10919/51219.
Full textMaster of Science
Alencar, Jeovah Pereira de. "Aritmética modular e criptografia." reponame:Repositório Institucional da UFABC, 2013.
Find full textRasin, Ezer. "Modular interactions in phonology." Thesis, Massachusetts Institute of Technology, 2018. https://hdl.handle.net/1721.1/121841.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 153-162).
This thesis makes two separate claims about the architecture of phonology: (1) The computation of stress takes place in a distinct cognitive module from segmental phonology. This module is informationally encapsulated from segmental features. (2) Phonological generalizations over underlying representations can be captured in the lexicon. The claim in (1) suggests a departure from a consensus view in generative phonology since the 1950's. According to this view, multiple phonological computations, including the computation of word stress and segmental processes, are carried out in a single cognitive module known as phonology. In Chapter 1 I challenge this view in two steps. I first argue for a new phonological universal based on the stress patterns of around 400 languages: (3) STREss-ENCAPSULATION UNIVERSAL: the distribution of stress is never directly conditioned by segmental features. After reanalyzing reported counterexamples to the universal, I argue for an account of the universal in terms of a modular decomposition of phonology along the lines of (1). The claim in (2) suggests a return to the architecture of early generative phonology, in which phonological generalizations could be captured in the lexicon (using constraints on underlying representations) as well as in the mapping from underlying representations to surface forms. Most recent work in phonology has abandoned that architecture, taking the lexicon to be merely a storage place for lexical items. Chapter 2, written jointly with Roni Katzir, presents an argument for constraints on underlying representations from learnability. In Chapter 3 I develop a new theory of blocking in non-derived environments, a phenomenon that has posed a long-standing puzzle for phonological theory since the 1970's. I argue that the new theory, which relies on constraints on underlying representations, offers a better account of the phenomenon than its predecessors.
by Ezer Rasin.
Ph. D. in Linguistics
Ph.D.inLinguistics Massachusetts Institute of Technology, Department of Linguistics and Philosophy
Cordie, Troy P. "Modular reconfigurable field robotics." Thesis, Queensland University of Technology, 2022. https://eprints.qut.edu.au/230503/1/Troy_Cordie_Thesis.pdf.
Full textPeng, Jiahao. "Performance and Design of Composite Modular System with Tenon Connections for Multi-Storey Buildings." Thesis, The University of Sydney, 2021. https://hdl.handle.net/2123/26788.
Full textWernz, Annalena Barbara Margit [Verfasser], Aloys [Akademischer Betreuer] Krieg, and Susanne [Akademischer Betreuer] Pumplün. "On hermitian modular groups and modular forms / Annalena Wernz ; Aloys Krieg, Susanne Pumplün." Aachen : Universitätsbibliothek der RWTH Aachen, 2019. http://d-nb.info/121134584X/34.
Full textWernz, Annalena [Verfasser], Aloys [Akademischer Betreuer] Krieg, and Susanne [Akademischer Betreuer] Pumplün. "On hermitian modular groups and modular forms / Annalena Wernz ; Aloys Krieg, Susanne Pumplün." Aachen : Universitätsbibliothek der RWTH Aachen, 2019. http://d-nb.info/121134584X/34.
Full textOman, Gregory Grant. "A generalization of Jónsson modules over commutative rings with identity." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1164331653.
Full text