Tesis sobre el tema "Formalism"
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 "Formalism".
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.
Agar, Aylin. "Formalism And Anti-formalism As Continuities And Discontinuities". Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/2/12605748/index.pdf.
Texto completoChousionis, Vasileios. "Thermodynamical Formalism". Thesis, University of North Texas, 2004. https://digital.library.unt.edu/ark:/67531/metadc4631/.
Texto completoIosti, Simon. "Une étude modèle-théorique du formalisme tannakien". Thesis, Lyon 1, 2014. http://www.theses.fr/2014LYO10106/document.
Texto completoIn this thesis, we define and study a formalism which allows one to work on Tannakian questions for groups defined over generalized differential rings, which generalize both differential rings and difference rings. We define a notion of differential Tanakian category which is similar to the usual Tannakian formalism, adding a structure which permits to describe the differential structure induced by the generalized differential. We then study the model-theoretical properties of the resulting categories, realizing the Tannakian group associated to a category as a model-theoretical binding group. In the last chapter, we study the notion of universe associated to a first-order structure, and we introduce a topology in this context, which is reminiscent of the topology on the spaces of types in first-order Model Theory. We also study the notion of binding groupoid from the point of view of universes
Marques, Pereira R. A. de S. F. "Canonical formalism in superspace". Thesis, Imperial College London, 1988. http://hdl.handle.net/10044/1/47175.
Texto completoGenyuk, Julia. "Topics in multifractal formalism /". The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1488187049539505.
Texto completoFrisoni, Pietropaolo. "Canonical formalism for compact sources". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19296/.
Texto completoHalbert, J. T. "A modified Zwanzig-Mori formalism". College Park, Md.: University of Maryland, 2009. http://hdl.handle.net/1903/9571.
Texto completoThesis research directed by: Dept. of Mathematics. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Chuang, S. T. "The revival of legal formalism". Thesis, University of Cambridge, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.597685.
Texto completoJurga, Natalia Anna. "Thermodynamic formalism and dimension gaps". Thesis, University of Warwick, 2018. http://wrap.warwick.ac.uk/109524/.
Texto completoYe, Kangfeng. "Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)". Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/15526/.
Texto completoKempton, Thomas. "Thermodynamic formalism for symbolic dynamical systems". Thesis, University of Warwick, 2011. http://wrap.warwick.ac.uk/36843/.
Texto completoGonzaÌlez, Luiz Felipe. "Some integral operators in thermodynamic formalism". Thesis, University of Warwick, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.396693.
Texto completoAyyaz, Usman. "Time series formalism : a systems approach". Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/112896.
Texto completoCataloged from PDF version of thesis.
Includes bibliographical references (pages 51-52).
Time series data has become a modern day phenomena: from stock market data to social media information, modern day data exists as a continuous flow of information indexed by timestamps. Using this data to gather contextual inference and make future predictions is vital to gaining an analytical edge. While there are specialized time series databases and libraries available that optimize for performance and scale, there is an absence of a unifying framework that standardizes interaction with time series data sets. We introduce a python-based time series formalism which provides a SQL style querying interface alongside a rich selection of time series prediction algorithms. Users can forecast data or impute missing entries using a specialized prediction query which employs learning models under the hood. The decoupled architecture of our framework allows it to be easily substituted with any SQL database. We show the functionality of our abstraction with a single machine implementation which will be a building block towards a scalable distributed platform for time series analysis.
by Usman Ayyaz.
M. Eng.
Pinotsis, Dimitrios A. "The Dbar formalism, Quaternions and applications". Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612735.
Texto completoKubo, Naotaka. "Brane dynamics in Fermi gas formalism". Doctoral thesis, Kyoto University, 2021. http://hdl.handle.net/2433/263458.
Texto completoYang, Naikuo. "Formalism of privacy preserving access control". Thesis, University of Manchester, 2011. https://www.research.manchester.ac.uk/portal/en/theses/formalism-of-privacy-preserving-access-control(ea4a3d37-fcd9-471b-a33e-7414c315aad9).html.
Texto completoPivkina, Inna Valentinovna. "REVISION PROGRAMMING: A KNOWLEDGE REPRESENTATION FORMALISM". Lexington, Ky. : [University of Kentucky Libraries], 2001. http://lib.uky.edu/ETD/ukycosc2001d00022/pivkina.pdf.
Texto completoTitle from document title page. Document formatted into pages; contains vii, 121 p. : ill. Includes abstract. Includes bibliographical references (p. 116-119).
Magnusson, Roger. "Mueller matrix ellipsometry on advanced nanostructures". Thesis, Linköping University, The Department of Physics, Chemistry and Biology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-10698.
Texto completoEllipsometry is an optical technique used for studies of thin films and surfaces. The technique is based on measurement and analysis of the changes in the state of polarization that occur when polarized light is reflected on a sample surface.
The multichannel Mueller matrix ellipsometer is a new system that is about to enter the commercial market. It can measure the full 4x4 Mueller matrix of a sample.
The Laboratory of Applied Optics at the Department of Physics, Chemistry and Biology at Linköpings University has purchased one such multichannel Mueller matrix ellipsometer, called RC2, from J.A. Woollam Co., Inc.
This project has the objective to investigate potentials and limitations of this new ellipsometer. This is done by comparing measurements carried out on RC2 with similar measurements made on a different, well known ellipsometer system, the VASE ellipsometer.
A study of the theoretical background of ellipsometry has been made including a description of the Jones formalism of describing optical properties as well as the Stokes/ Mueller formalism.
A short theoretical description of the RC2 principles, in order to better understand the new ellipsometer is also given.
Measurements have been made on samples of varying complexity, including isotropic and anisotropic samples with in-plane anisotropy and out-of-plane anisotropy.
On samples with no depolarization there should be no difference between the two ellipsometers. As can be seen in the experimental results there is some difference, but very little. Both for the isotropic samples, where Δ and ψ have been measured, and anisotropic, where the full Mueller matrix has been measured, we find a good match between VASE and RC2.
When the samples are depolarizing, we expect to see a difference in the Mueller matrix. We do notice a significant difference in the measurements on tilted nanometer rods of TiO2, which has an advanced nano-structure in the upper layer. We can thus conclude that samples with depolarizing properties reveal this when measured with the new RC2 ellipsometer.
Polimeno, Paolo. "Optical forces in the T-matrix formalism". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/15802/.
Texto completoDumlu, Cesim Kadri. "Quantum Decoherence And Quantum State Diffusion Formalism". Master's thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608563/index.pdf.
Texto completos main aim is to analyze the main approaches that are employed in the context of open quantum systems. The general form of Markovian master equations are derived by a constructive approach. The Quantum State Diffusion (QSD) formalism is stressed upon as an alternative method to the master equations. Using the Caldeira-Leggett model in the context of QSD, stationary solutions of a charged particle exposed to a uniform magnetic field are found. The important points are summarized and the results are discussed.
Pai, Madhusudan Gurpura. "Probability density function formalism for multiphase flows". [Ames, Iowa : Iowa State University], 2007.
Buscar texto completoGaskell, Craig. "A graphical based formalism for executable specification". Thesis, University of Hull, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363277.
Texto completoSosnovsky, Eugeny. "Nuclear reactor multiphysics via bond graph formalism". Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92056.
Texto completoThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 205-216).
This work proposes a simple and effective approach to modeling nuclear reactor multiphysics problems using bond graphs. Conventional multiphysics simulation paradigms normally use operator splitting, which treats the individual physics separately and exchanges the information at every time step. This approach has limited accuracy, and so recently, there has been an increased interest in fully coupled physics simulation. The bond graph formalism has recently been suggested as a potential paradigm for reactor multiphysics simulation; this work develops the tools necessary to utilize bond graphs for practical transient reactor analysis. The bond graph formalism was first introduced to solve the multiphysics problem in electromechanical systems. Over the years, it has been used in many fields including nuclear engineering, but with limited scope due to its perceived impracticality in large systems. Bond graph formalism works by first representing a discretized multiphysics system using a group of graph elements, connected with bonds; the bonds transport conserved quantities, and the elements impose the relations between them. The representation can be automatically converted into a state derivative vector, which can be integrated in time. In an earlier work, the bond graph formalism was first applied to neutron diffusion, and coupled to diffusive heat transfer in a 1D slab reactor. In this work, methods are developed to represent, using bond graphs, 2D and 3D multigroup neutron diffusion with precursors, nonlinear point kinetics, and basic nearly-incompressible 1D flow for fully coupled reactor simulation. High-performance, matrix-based bond graph processing methods were developed to support the simulation of medium- and large-scale problems. A pressurized water reactor point kinetics, single-channel rod ejection benchmark problem was used to verify the nonlinear point kinetics representation. 2D and 3D boiling water reactor control blade drop problems were also successfully simulated with the matrix-based bond graph processing code. The code demonstrated 3rd-order convergence in time, a very desirable property of fully coupled time integrators.
by Eugeny Sosnovsky.
Sc. D.
VENÂNCIO, Joás da Silva. "The spinorial formalism, with applications in physics". Universidade Federal de Pernambuco, 2017. https://repositorio.ufpe.br/handle/123456789/25303.
Texto completoSubmitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-07-30T19:29:53Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Joás da Silva Venâncio.pdf: 1106103 bytes, checksum: 66414f4f5a286fce40d1ebea42164d5b (MD5)
Rejected by Alice Araujo (alice.caraujo@ufpe.br), reason: on 2018-07-30T19:31:50Z (GMT)
Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-07-30T19:32:53Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Joás da Silva Venâncio.pdf: 1106103 bytes, checksum: 66414f4f5a286fce40d1ebea42164d5b (MD5)
Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-07-31T22:11:21Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Joás da Silva Venâncio.pdf: 1106103 bytes, checksum: 66414f4f5a286fce40d1ebea42164d5b (MD5)
Made available in DSpace on 2018-07-31T22:11:21Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Joás da Silva Venâncio.pdf: 1106103 bytes, checksum: 66414f4f5a286fce40d1ebea42164d5b (MD5) Previous issue date: 2017-02-23
CNPq
It is well-known that the rotation symmetries play a central role in the development of all physics. In this dissertation, the material is presented in a way which sets the scene for the introduction of spinors which are objects that provide the least-dimensional faithful representation for the group Spin(n), the group that is the universal coverage of the group SO(n), the group of rotations in n dimensions. With that goal in mind, much of this dissertation is devoted to studying the Clifford algebra, a special kind of algebra defined on vector spaces endowed with inner products. At the heart of the Clifford algebra lies the idea of a spinor. With these tools at our disposal, we studied the basic elements of differential geometry which enabled us to emphasise the more geometrical origin of spinors. In particular, we construct the spinor bundle which immediately lead to the notion of a spinor field which represents spin ½ particles, such as protons, electrons, and neutrons. A higher-dimensional generalization of the so-called monogenic multivector functions is also investigated. In particular, we solved the monogenic equations for spinor fields on conformally flat spaces in arbitrary dimension. Particularly, the massless Dirac field is a type of monogenic. Finally, the spinorial formalism is used to show that the Dirac equation minimally coupled to an electromagnetic field is separable in spaces that are the direct product of bidimensional spaces. In particular, we applied these results on the background of black holes whose horizons have topology R X S² X … X S².
É bem conhecido que as simetrias de rotação desempenham um papel central no desenvolvimento de toda a física. Nesta dissertação, apresentamos o conteúdo de forma a estabelecer o cenário para a introdução dos chamados spinors, os quais são objetos que fornecem as representações fiéis de menor dimensão para o grupo Spin(n), o grupo que é a cobertura universal do grupo SO(n), o grupo das rotações em n dimensões. Para este fim, grande parte desta dissertação é dedicada ao estudo da álgebra de Clifford, um tipo especial de álgebra definida em espaços munidos de um produto interno. No coração da álgebra de Clifford está precisa definição de um espinor. Com estas ferramentas à nossa disposição, estudamos os elementos básicos de geometria diferêncial, o que nos permitiu entender sobre a origem mais geométrica de espinores. Em particular, construímos o fibrado espinorial, o qual conduziu imediatamente a noção de um campo espinorial que, por sua vez, representa com precição as partículas com spin 1=2 tais como: prótons, elétrons e neutrons. Uma generalização para dimensões mais altas do conceito de multivetores monogênicos também é investigada. Em particular, resolvemos a equação dos monogênicos para campos espinoriais em espaços conformemente planos em dimensão arbitrária. Particularmente, o campo de Dirac sem massa é um tipo de monogênico. Finalmente, o formalismo espinorial foi usado para mostrar que a equação de Dirac com massa minimamente acoplada ao campo eletromagnético é separável em espaços que são produtos diretos de espaços bidimensionais. Em particular, aplicamos estes resultados a buracos negros com horizontes topológicos R X S² X … X S².
Golden, Boris. "A unified formalism for complex systems architecture". Palaiseau, Ecole polytechnique, 2013. http://pastel.archives-ouvertes.fr/docs/00/82/71/07/PDF/phd.pdf.
Texto completoComplex industrial systems are typically artificial objects designed by men, involving a huge number of heterogeneous components (e. G. Hardware, software, or human organizations) working together to perform a mission. In this thesis, we are interested in modeling the functional behavior of such systems, and their integration. We will model real systems as functional black boxes (with an internal state), whose structure and behaviors can be described by the recursive integration of heterogeneous smaller subsystems. Our purpose is to give a unified and minimalist semantics for heterogeneous integrated systems and their integration
Leduc, Lætitia. "2D quantum Gravity in the Kähler formalism". Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEE013/document.
Texto completoNowadays, two-dimensional quantumgravity can be studied in two differentapproaches, one involving discrete theories(triangulation, matrix model...), the othercontinuous ones, mainly based on the socalled Liouville action which universallydescribes the coupling of any conformal fieldtheory to gravity. While the Liouville action isrelatively well understood, the appropriatefunctional integral measure is however rathercomplicated. Nevertheless, a formula for thearea dependence of the quantum gravitypartition function in the presence of conformalmatter has been obtained, under thesimplifying assumption of a free-fieldmeasure. Notwithstanding its non-rigorousderivation, this formula, often referred to asthe KPZ formula, has since been verified inmany instances and has scored manysuccesses. Recent developments of efficient multiloopregularization methods on curved spacetimesopened the way for a precise and welldefinedperturbative computation of the fixedareapartition function in the Kählerformalism. In this work, a first-principlescomputation of the fixed-area partitionfunction in the Liouville theory is performed,up to three loops. Among other things, therole of the non-trivial quantum gravityintegration measure is highlighted.Renormalization is required and may beinterpreted as a renormalization of theintegration measure. This leads to a finite andregularization-independent result at two loops,that is more general than the KPZ result,although compatible. Finiteness andregularization-independence seem alsopossible at three loops. These results aregeneralized to the coupling to non-conformalmatter on the torus
Jönsson, Johan. "Non-isotropic Cosmology in 1+3-formalism". Thesis, Linköpings universitet, Matematiska institutionen, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-113269.
Texto completoTakagaki, Ken. "A formalism for object-based information systems development". Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/31016.
Texto completoBusiness, Sauder School of
Graduate
Kagiso, Dintle Nelson. "Dimension theory and multifractal analysis via thermodynamic formalism". Thesis, University of Warwick, 2015. http://wrap.warwick.ac.uk/77523/.
Texto completoCautun, Marius. "Photon production in the Color Glass Condensate formalism". Thesis, McGill University, 2009. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66993.
Texto completoDans cette thèse, le modèle développé par Krasnitz et al. basé sur les champs classiques est utilisé pour calculer la production de quarks et de photons dans les collisions d'ions lourds. La première partie de la thèse consiste en une vérification indépendante de certains résultats sur la production de quarks. Pour se faire, une méthode itérative est développée afin de solutionner le système d'équations non-linéaires qui donnent les conditions initiales du champ de gluon. Dans la seconde partie, l'expression donnant le taux de production de photons est simplifié en utilisant les symétries et les propriétés du Color Glass Condensate et du modèle de McLerran-Venugopalan. Deux diagrammes de Feynman donnent la contribution à l'ordre dominant mais l'un d'eux est plus important que l'autre. Le diagramme dominant donne un spectre continu superposé d'un pic proéminant.
Basoalto, Hector Christian. "Weight function formalism applied to crack bridging problems". Thesis, Queen Mary, University of London, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243985.
Texto completoChan, Ka-bo y 陳家寶. "On Griffiths' formalism of the calculus of variations". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B30456630.
Texto completoMenard, Kenneth A. "Gaussian beam resonator formalism using the yy method". Master's thesis, University of Central Florida, 1995. http://digital.library.ucf.edu/cdm/ref/collection/RTD/id/21214.
Texto completoA simple and powerful new paraxial ray formalism is shown to provide an alternate method for designing Gaussian Beam Resonators. The theory utilizes the Delano yybar diagram approach and is an extensio of the recent work by Shack and Kessler for laser systems. The method is shown to be complementary to the conventional ABCD method and is founded upon J.A. Arnaud's pioneering ideas for complex rays. The thesis develops an analytic formulation of a ray based complex wavefront curvature and yields a clearly generalized description of spherical wave propagation, for which Gaussian beams are considered a special case. The resultant theory unifies the complex q parameter and the ABCD law, with the yybar complex ray components and also suggests that the ABCD law for the complex q parameter has its origin in the yybar complex ray. New fundamental equations for designing stable multi-element resonators using the yybar coordinates are derived, and it is shown that the yybar diagram provides a novel method for defining automatically stable resonators. Various applications for the yybar design technique are also discussed, including the setting of convenient design constraints, the description of M2 beams, generating phase diagrams, and resonator syntheis and analysis.
M.S.;
Electrical Engineering
Engineering;
Electrical Engineering
49 p.
vii, 49 leaves, bound : ill. ; 28 cm.
Welford, Theresa Malphrus. "Trans-Atlantic connections : the Movement and New Formalism". Thesis, University of Essex, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423547.
Texto completoSurry, Patrick David. "Prescriptive formalism for constructing domain-specific evolutionary algorithms". Thesis, University of Edinburgh, 1998. http://hdl.handle.net/1842/11439.
Texto completoPintore, Anna. "Legal formalism: a comparison between Jori and Schauer". Pontificia Universidad Católica del Perú, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/116188.
Texto completoIn questo saggio vengono esaminate e messe a confronto le idee di Mario Jori e di Frederick Schauer in tema di formalismo giuridico. Pur essendo state elaborate l’una indipendentemente dall’altra, presentano notevoli somiglianze, perché entrambe usano la nozione di norma o regola come punto focale per chiarire la nozione di formalismo giuridico, e perché entrambe difendono quest’ultimo dalle critiche usualmente rivolte ad esso. L’autrice ritiene che l’esame delle idee dei due autori possa contribuire a chiarire (e criticare) la controversa nozione di defeasibility delle norme giuridiche e possa altresì, in via generale, contribuire a ridimensionare, dal punto di vista teorico-giuridico, le novità del diritto degli odierni Stati costituzionali, oltre che a comprenderne meglio i meccanismi di funzionamento.
En este trabajo se examina y compara las ideas de Mario Jori y de Frederick Schauer en relación con el formalismo jurídico. A pesar de haber sido desarrolladas de forma independiente unas de las otras, dichas ideas presentan notables semejanzas ya que ambos autores utilizan el concepto de una norma o regla como punto focal para aclarar la noción de formalismo jurídico, y porque ambos lo defienden de las críticas que usualmente se le dirigen. La autora considera que el examen de las ideas de los dos autores puede contribuir a aclarar (y criticar) la controvertida noción de defeasibility (derrotabilidad) de las normas jurídicas y, de modo general, también a redimensionar, desde el punto de vista teórico-jurídico, las novedades que presentan los derechos de los modernos Estados constitucionales, y comprender mejor los mecanismos de su funcionamiento.
Fontes, De Avila Sandra Eliza. "Extended bag-of-words formalism for image classification". Paris 6, 2013. http://www.theses.fr/2013PA066212.
Texto completoIn this dissertation, we have addressed the problem of representing images based on their visual information. Our aim is content-based concept detection in images and videos, with a novel representation that enriches the Bag-of-Words model. Relying on the quantization of highly discriminant local descriptors by a codebook, and the aggregation of those quantized descriptors into a single pooled feature vector, the Bag-of-Words model has emerged as the most promising approach for image classification. We propose BossaNova, a novel image representation which offers a more information-preserving pooling operation based on a distance-to-codeword distribution. The experimental evaluations on many challenging image classification benchmarks, such as ImageCLEF Photo Annotation, MIRFLICKR, PASCAL VOC and 15-Scenes, have shown the advantage of BossaNova when compared to traditional techniques, even without using complex combinations of different local descriptors. An extension of our approach has also been studied. It concerns the combination of BossaNova representation with another representation very competitive based on Fisher Vectors. The results consistently reaches other state-of-the-art representations in many datasets. It also experimentally demonstrate the complementarity of the two approaches. This study allowed us to achieve, in the competition ImageCLEF 2012 Flickr Photo Annotation Task, the 2nd among the 28 visual submissions
Wang, Chun-yen. "Closed-time-path formalism for gauge field theory /". Digital version accessible at:, 2000. http://wwwlib.umi.com/cr/utexas/main.
Texto completoTizzano, Luigi. "Geometry of BV quantization and Mathai-Quillen formalism". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/5941/.
Texto completoCanfield, Peter John. "The Polytope Formalism: isomerism and associated unimolecular isomerisation". Thesis, The University of Sydney, 2022. https://hdl.handle.net/2123/29731.
Texto completoTeraguchi, Shunsuke. "Vacuum String Field Theory in the Oscillator Formalism". 京都大学 (Kyoto University), 2004. http://hdl.handle.net/2433/147806.
Texto completoAvila, Sandra Eliza Fontes de. "Extended bag-of-words formalism for image classification". Universidade Federal de Minas Gerais, 2013. http://hdl.handle.net/1843/ESSA-9ACJ4K.
Texto completoInformação visual, na forma de imagens e vídeos digitais, tornou-se tão onipresente em repositórios de dados, que não pode mais ser considerada uma 'cidadã de segunda classe', eclipsada por informações textuais. Neste cenário, a classificação de imagens tornou-se uma tarefa crítica. Em particular, a busca pela identificação automática de conceitos semânticos complexos, representados em imagens, tais como cenas ou objetos, tem motivado pesquisadores em diversas áreas como, por exemplo, Recuperação de Informação, Visão Computacional, Processamento de Imagem e Inteligência Artificial. No entanto, em contraste com os documentos de texto, cujas palavras apresentam conteúdo semântico, imagens consistem de pixels que não têm nenhuma informação semântica por si só, tornando a tarefa muito difícil. O problema abordado nesta tese refere-se à representação de imagens com base no seu conteúdo visual. Objetiva-se a detecção de conceitos em imagens e vídeos, por meio de uma nova representação que enriquece o modelo saco de palavras visuais. Baseando-se na quantização de descritores locais discriminantes por um dicionário, e na agregação desses descritores quantizados em um vetor único, o modelo saco de palavras surgiu como uma das abordagens mais promissora para a classificação de imagens. Nesta tese, é proposto BossaNova, uma nova representação de imagens que preserva informações importantes sobre a distribuição dos descritores locais em torno de cada palavra visual. Os resultados experimentais em diversas bases de classificação de images, tais como ImageCLEF Photo Annotation, MIRFLICKR, PASCAL VOC e 15-Scenes, mostraram a vantagem da abordagem BossaNova quando comparada às técnicas tradicionais, mesmo sem fazer uso de combinações complexas de diferentes descritores locais. Uma extensão da representação BossaNova também foi estudada nesta tese. Trata-se da combinação da abordagem BossaNova com uma outra representação muito competitiva baseada nos vetores de Fisher. Os resultados consistemente alcançam outras representações no estado-da-arte em diversas bases de dados, demonstrando a complementaridade das duas abordagens. Este estudo resultou no segundo lugar, na competição ImageCLEF 2012 Flickr Photo Annotation Task, dentre as 28 submissões, na categoria de informação visual. Ademais, a representação BossaNova também foi avaliada na aplicação real de detecção de pornografia. Os resultados validaram, mais uma vez, a relevância da abordagem BossaNova em relação às técnicas tradicionais em uma aplicação real
Luster, Craig. "Seed Pods, Bases and Formalism: An Artist's Journey". PDXScholar, 1996. https://pdxscholar.library.pdx.edu/open_access_etds/5259.
Texto completoGIACCONE, PAOLO. "BLACK HOLES IN SUPERGRAVITY AND HAMILTON-JACOBI FORMALISM". Doctoral thesis, Politecnico di Torino, 2013. http://hdl.handle.net/11583/2506153.
Texto completoOLIVERA, M. LEONI. "APPLIED N=2 SUPERSPACE FORMALISM IN THREE DIMENSIONS". Doctoral thesis, Università degli Studi di Milano, 2011. http://hdl.handle.net/2434/153036.
Texto completoVassura, Edoardo. "Path integrals on curved space and the worldline formalism". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13448/.
Texto completoSchlör, Rainer C. "Symbolic timing diagrams a visual formalism for model verification /". [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=963925326.
Texto completoZeb, Jehan. "An ontology-supported transaction formalism protocol in infrastructure management". Thesis, University of British Columbia, 2014. http://hdl.handle.net/2429/50997.
Texto completoApplied Science, Faculty of
Civil Engineering, Department of
Graduate
Barnich, Glenn. "Classical and quantum aspects of the extended antifield formalism". Doctoral thesis, Universite Libre de Bruxelles, 2000. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211778.
Texto completoRaab, Erik. "Leading Regge trajectory bosons in the pure spinor formalism". Thesis, Uppsala universitet, Teoretisk fysik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-349418.
Texto completo