Relevant bibliographies by topics / Formalismos

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Formalismos'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formalismos.'

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.

Journal articles on the topic "Formalismos"

1

Vargas, Celso. "La utilización de formalismos basados en unificación para el análisis de las lenguas naturales." Revista de Filología y Lingüística de la Universidad de Costa Rica 18, no. 2 (2015): 71. http://dx.doi.org/10.15517/rfl.v18i2.20098.

Full text
Abstract:
Perspectivas de la Inteligencia Artificial y Ciencias de la Computación son muy fructífero en el desarrollo de formalismos para el análisis del lenguaje natural y la comprensión. En este artículo presento algunos aspectos generales de una perspectiva teórica ampliamente utilizados en la descripción de las lenguas naturales. Este enfoque se basa en los recursos computacionales, especialmente los que se derivan de la programación lógica, en la que el algoritmo de unificación juega un papel importante. En la primera sección describo los orígenes de la unificación. En la segunda sección le doy una
APA, Harvard, Vancouver, ISO, and other styles
2

Pria, Albano Dalla. "A relação entre o desenvolvimento de formalismos gramaticais de base lexicalista e as exigências do PLN." DELTA: Documentação de Estudos em Lingüística Teórica e Aplicada 24, no. 2 (2008): 199–230. http://dx.doi.org/10.1590/s0102-44502008000200003.

Full text
Abstract:
O objetivo deste trabalho é mostrar que o desenvolvimento de formalismos gramaticais de base lexicalista está diretamente relacionado às exigências do PLN. Léxicos estruturados e o formalismo gramatical são centrais para um sistema de PLN. Este trabalho fundamenta-se no desenvolvimento do modelo HPSG, que se impôs no cenário lingüístico e lingüístico-tecnológico como uma teoria lingüística formal que, desde a sua origem, comprometeu-se com descrições lexicalistas, formalmente precisas e computacionalmente tratáveis dos fenômenos lingüísticos. Atualmente, conclui-se que as implementações do mod
APA, Harvard, Vancouver, ISO, and other styles
3

Prysthon, Angela. "Revisitando a Antropofagia: os Estudos Culturais brasileiros nos anos 90." Revista FAMECOS 9, no. 17 (2008): 101. http://dx.doi.org/10.15448/1980-3729.2002.17.3155.

Full text
Abstract:
Este ensaio procura situar as correntes principais de apreensão de fenômenos culturais na década de 90: uma, herdeira dos estudos sociológicos de Antonio Candido e da Teoria Crítica praticada por Roberto Schwarz, onde a História entra como peça fundamental e o aporte marxista serve como ponto de partida para uma revisão contemporânea. Uma outra que, utilizando os avanços formalistas e a autoridade científica conferidos por abordagens estruturais, retoma as vozes dos fundadores de uma “semiótica brasileira”, Haroldo de Campos, Augusto de Campos e Décio Pignatari. E a problematização do conceito
APA, Harvard, Vancouver, ISO, and other styles
4

Ferrer, Lautaro. "Propuesta de Conceptualización de Requisitos para Proyectos Software Basados en Formalismos de Ingeniería de Conocimiento." Revista Latinoamericana de Ingenieria de Software 4, no. 5 (2016): 216. http://dx.doi.org/10.18294/relais.2016.216-230.

Full text
Abstract:
El proceso de conceptualización de requisitos para Proyectos Software basados en formalismos de Ingeniería de Conocimiento presenta una serie de inconvenientes al identificarlos. En este artículo se presenta una propuesta de conceptualización de requisitos para Proyectos Software basados en formalismos de Ingeniería de Conocimiento que se estructura en dos fases: (a) Análisis Orientado al Problema: cuya finalidad es comprender el problema planteado por el usuario que concluye en la conceptualización del modelo de conocimiento para Proyectos Software, y (b) Análisis Orientado al Producto: cuya
APA, Harvard, Vancouver, ISO, and other styles
5

Montezuma Panez, Óscar. "La profesión legal y la tecnología en el Perú." Advocatus, no. 039 (2021): 23–28. http://dx.doi.org/10.26439/advocatus2021.n39.5115.

Full text
Abstract:
En la presente ocasión, ADVOCATUS tuvo la oportunidad de entrevistar a Óscar Montezuma Panez, abogado digital peruano especialista en Derecho de la Tecnología, propiedad intelectual, Derecho de la Competencia, negocios digitales e innovación legal. A través de las siguientes líneas nos ofrece sus opiniones sobre la profesión legal y su relación con la tecnología en el Perú, abordando temas como el uso de redes sociales y software, los formalismos del Derecho y reflexiones respecto a la innovación.
APA, Harvard, Vancouver, ISO, and other styles
6

Di Felippo, Ariani. "As abordagens teóricas e os formalismos para o tratamento computacional do significado lexical." Revista Brasileira de Linguística Aplicada 10, no. 1 (2010): 43–69. http://dx.doi.org/10.1590/s1984-63982010000100004.

Full text
Abstract:
No âmbito do Processamento Automático de Línguas Naturais (PLN), o desenvolvimento de recursos léxico-semânticos é premente. Ao conceber os sistemas de PLN como um exercício de "engenharia da linguagem humana", acredita-se que o desenvolvimento de tais recursos pode ser beneficiado pelos modelos de "representação do conhecimento", desenvolvidos pela Engenharia do Conhecimento. Esses modelos, em particular, fornecem simultaneamente o arcabouço teórico-metodológico e a metalinguagem formal para o tratamento computacional do significado das unidades lexicais. Neste artigo, após a apresentação da
APA, Harvard, Vancouver, ISO, and other styles
7

Vidal, Marisol. "Buchner Bründler: el hormigón hecho atmósfera." EN BLANCO. Revista de Arquitectura 6, no. 16 (2014): 6. http://dx.doi.org/10.4995/eb.2014.5749.

Full text
Abstract:
<p>La obra de Buchner Bründler se caracteriza por gestos claros y sencillos que derivan en espacios audaces, a menudo sorprendentes, complejos pero no complicados. Desde su sede en Basilea han construido una obra reconocible por su coherencia y consistencia pero sin caer en formalismos autorepetitivos. La materialidad radical e intensa con la que llevan a cabo esos proyectos, donden el hormigón juega un papel fundamental a la hora de dotar de densidad atmosférica a los espacios, hace de Buchner Bründler uno de los despachos más consolidados y a la vez prometedores de la suiza germanoparl
APA, Harvard, Vancouver, ISO, and other styles
8

Lucio, Amanda Costa Ferreira. "Navilouca: uma experiência do encontro entre arte e vida." Epígrafe 9, no. 1 (2020): 155–89. http://dx.doi.org/10.11606/issn.2318-8855.v9i1p155-189.

Full text
Abstract:
Este artigo se empenha na observação da relação entre a vida e a arte presente nas páginas do Almanaque Navilouca, organizado pelos poetas Torquato Neto e Waly Salomão, lançado em único volume em 1974. Neste estudo, será investigado como o Almanaque materializou um discurso que dialoga com a proposta de deslocamento da forma e sensibilidade da arte brasileira pós-1968, produzindo uma transmutação das experiências entre arte e realidade. Esta atitude promoveu o recurso da invenção artística, rompendo com os formalismos, inserindo o corpo e comportamento como dimensões políticas e culturais que
APA, Harvard, Vancouver, ISO, and other styles
9

Velazco, Sandra, and Julia Salinas. "Comprensión de los Conceptos de Campo, Energía y Potencial Eléctricos y Magnéticos en Estudiantes Universitarios." Revista Brasileira de Ensino de Física 23, no. 3 (2001): 308–18. http://dx.doi.org/10.1590/s1806-11172001000300009.

Full text
Abstract:
La enseãanza y el aprendizaje de los conceptos de campo, potencial y energía plantea especiales dificultades a estudiantes y docentes. Informamos sobre un estudio en el área de la electricidad y el magnetismo. Se analiza la comprensión de aspectos básicos de aquellos conceptos alcanzada por alumnos de segundo año de carreras de Ingeniería que habían completado el cursado de la asignatura y aprobado las evaluaciones correspondientes. Los resultados muestran la necesidad de complementar más la instrucción con abordajes cualitativos, conceptuales, comprensivos, que en la instrucción habitual suel
APA, Harvard, Vancouver, ISO, and other styles
10

Hermoso Félix, María Jesús. "La dialéctica platónica: ¿un fármaco para la polis?" Isegoría, no. 62 (April 17, 2020): 109. http://dx.doi.org/10.3989/isegoria.2020.062.06.

Full text
Abstract:
En el presente artículo proponemos fijar nuestra atención en una de las perspectivas vinculada a la dialéctica platónica que atañe de lleno a la conformación de la polis: el cuestionamiento de fondo que el proceder de la dialéctica dirige a lo cotidiano, a las convenciones sociales, a los formalismos, a las creencias socialmente asumidas. Nos centraremos en el pasaje de República 537e-539e donde la dialéctica aparece vinculada internamente con la refutación. Este proceder, que abre el camino al desarrollo del método dialéctico, requiere tomar distancia respecto de la visión cotidiana inconscie
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Formalismos"

1

Mafra, Carlos Roberto [UNESP]. "Os formalismos da supercorda." Universidade Estadual Paulista (UNESP), 2005. http://hdl.handle.net/11449/132635.

Full text
Abstract:
Made available in DSpace on 2016-01-13T13:27:27Z (GMT). No. of bitstreams: 0 Previous issue date: 2005. Added 1 bitstream(s) on 2016-01-13T13:32:51Z : No. of bitstreams: 1 000854837.pdf: 2684330 bytes, checksum: a314a83403a465bb9f5f87561d345b7b (MD5)
APA, Harvard, Vancouver, ISO, and other styles
2

Mafra, Carlos Roberto. "Os formalismos da supercorda /." São Paulo, 2005. http://hdl.handle.net/11449/132635.

Full text
Abstract:
Orientador: Nathan Jacob Berkovits<br>Banca: Vladimir Demyanovich Pershin<br>Banca: Victor de Oliveira Rivelles<br>Resumo: Neste trabalho nós revisamos o formalismo de Green-Schwarz (GS) da supercorda e discutimos os seus problemas e vantagens com relação ao formalismo de Ramond-Neveu-Schwarz (RNS). Nós demonstramos, entre outras coisas, que o formalismo de Green-Schwarz possui supersimetria manifesta no espaço-tempo, mas que não pode ser quantizado covariantemente, exatamente o oposto do que ocorre em RNS. Então nós finalmente estudamos o formalismo recém criado de espinores puros, que incorp
APA, Harvard, Vancouver, ISO, and other styles
3

Gomes, João Tiago Assunção 1986. "Formalismos Gibbsianos para sistemas de spins unidimensionais." [s.n.], 2012. http://repositorio.unicamp.br/jspui/handle/REPOSIP/307025.

Full text
Abstract:
Orientador: Eduardo Garibaldi<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica<br>Made available in DSpace on 2018-08-20T22:00:53Z (GMT). No. of bitstreams: 1 Gomes_JoaoTiagoAssuncao_M.pdf: 1424859 bytes, checksum: 6679c0458ae1350513c30bdc7ea2e699 (MD5) Previous issue date: 2012<br>Resumo: Exibir os estados de Gibbs e os estados de equilíbrios para certos sistemas de spins sobre reticulados é um problema de grande interesse para mecânica estatística. Com este intuito, apresentamos para o caso unidimensional dois forma
APA, Harvard, Vancouver, ISO, and other styles
4

Dizeró, Wagner José. "Formalismos adaptativos aplicados na modelagem de softwares educacionais." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18052011-150106/.

Full text
Abstract:
Esta tese apresenta uma proposta de aplicação de formalismos adaptativos na modelagem e elaboração de cursos para softwares educacionais. A princípio, soluções adaptativas podem ser incorporadas a qualquer tipo de dispositivo guiado por regras. Neste projeto, o dispositivo subjacente utilizado será a Máquina de Moore, que é um autômato finito com saída associada aos seus estados. Assim, para cada estado pode-se associar o material didático a ser apresentado pela função de saída. Aplicando-se os conceitos de adaptatividade nesse transdutor, é possível elaborar cursos dinâmicos, que se auto-modi
APA, Harvard, Vancouver, ISO, and other styles
5

Ribeiro, Guilherme Marques. "Introdução aos sistemas vinculados e aos Formalismos Simplético e de Dirac." Universidade Federal de Juiz de Fora (UFJF), 2015. https://repositorio.ufjf.br/jspui/handle/ufjf/5355.

Full text
Abstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-27T19:48:01Z No. of bitstreams: 1 guilhermemarquesribeiro.pdf: 1025565 bytes, checksum: 681a6e31eb787e74456258f00aa65e53 (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-07T21:07:11Z (GMT) No. of bitstreams: 1 guilhermemarquesribeiro.pdf: 1025565 bytes, checksum: 681a6e31eb787e74456258f00aa65e53 (MD5)<br>Made available in DSpace on 2017-08-07T21:07:11Z (GMT). No. of bitstreams: 1 guilhermemarquesribeiro.pdf: 1025565 bytes, checksum: 681a6e31eb787e74456258f00aa65e53 (MD5) Pr
APA, Harvard, Vancouver, ISO, and other styles
6

Pfrimer, Frederico Rodrigues. "Sobre os formalismos matemáticos da mecânica quântica: Dirac, von Neumann e álgebra C*." Universidade Federal de Goiás, 2013. http://repositorio.bc.ufg.br/tede/handle/tede/3689.

Full text
Abstract:
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-11-25T13:50:12Z No. of bitstreams: 2 Dissertação - Frederico Rodrigues Pfrimer - 2013.pdf: 725779 bytes, checksum: 35a40a3b56a3b9d50e297d0cb743f17c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-11-25T14:46:04Z (GMT) No. of bitstreams: 2 Dissertação - Frederico Rodrigues Pfrimer - 2013.pdf: 725779 bytes, checksum: 35a40a3b56a3b9d50e297d0cb743f17c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306
APA, Harvard, Vancouver, ISO, and other styles
7

Marchioro, Dáfni Fernanda Zenedin [UNESP]. "Relação entre os formalismos de Green-Schwarz e espinores puros para a supercorda." Universidade Estadual Paulista (UNESP), 2005. http://hdl.handle.net/11449/102509.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:32:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-03Bitstream added on 2014-06-13T20:27:16Z : No. of bitstreams: 1 marchioro_dfz_dr_ift.pdf: 456969 bytes, checksum: 2a5b04c825c9224829a3bca3da7ebeb7 (MD5)<br>Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)<br>Nesta tese, mostramos a equivalência dos formalismos de Green-Schwarz e de espinores puros para a supercorda. Partindo da ação de Green-Schwarz no semi-gauge de cone de luz e adicionando graus de liberdade fermiônicos, relacionamos os operadores BRST do formalismo de espin
APA, Harvard, Vancouver, ISO, and other styles
8

Mito, Ingrid de Vargas. "ChatMath: ferramenta de comunicação síncrona para troca de formalismos matemáticos através da web." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2003. http://hdl.handle.net/10183/5590.

Full text
Abstract:
A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e in
APA, Harvard, Vancouver, ISO, and other styles
9

Rodrigues, Davi Röhe Salomon da Rosa [UNESP]. "Os formalismos das simetrias de Becchi-Rouet-Stora-Tyutin e de Batalin-Vilkovisky e aplicações." Universidade Estadual Paulista (UNESP), 2012. http://hdl.handle.net/11449/92032.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:25:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-08-06Bitstream added on 2014-06-13T20:07:33Z : No. of bitstreams: 1 rodrigues_drsr_me_ift.pdf: 444020 bytes, checksum: 7f980a4302d0587432696d64478f8a75 (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)<br>Sistemas com simetrias de gauge não podem ser quantizados da forma usual e necessitam de outros métodos capazes de fixar as condições de gauge. Sistemas que apresentam vínculos possuem graus de liber
APA, Harvard, Vancouver, ISO, and other styles
10

Rodrigues, Davi Röhe Salomon da Rosa. "Os formalismos das simetrias de Becchi-Rouet-Stora-Tyutin e de Batalin-Vilkovisky e aplicações /." São Paulo, 2012. http://hdl.handle.net/11449/92032.

Full text
Abstract:
Orientador: Nathan Jacob Berkovits<br>Banca: Andrei Mikhaylov<br>Banca: Silvio Paolo Sorella<br>Resumo: Sistemas com simetrias de gauge não podem ser quantizados da forma usual e necessitam de outros métodos capazes de fixar as condições de gauge. Sistemas que apresentam vínculos possuem graus de liberdade internos gerados por transformações de gauge. Nestes casos as equações de movimento não são suficientes para determinar a evolução de um sistema e é preciso impor vínculos ao sistema. Para fixar essas condições é necessário a adição de fantasmas. Depois que os vínculos foram fixados resta ainda
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Formalismos"

1

"Mladoformalisty": Russkai︠a︡ proza. Petropolis, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hyde, George. Formalism. Routledge, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ajello, Raffaele. Formalismo medievale e moderno. Jovene, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Uribes, José Manuel Rodríguez. Formalismo ético y constitucionalismo. Tirant lo Blanch, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hunter, Anthony, and Simon Parsons, eds. Applications of Uncertainty Formalisms. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49426-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Aucouturier, Michel. Le formalisme russe. Presses universitaires de France, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Denning, Peter J. Beyond formalism. Research Institute for Advanced Computer Science, NASA Ames Research Center, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Aucouturier, Michel. Le formalisme russe. Presses universitaires de France, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Oliveira, Carlos Alberto Alvaro de. Do formalismo no processo civil. 2nd ed. Editora Saraiva, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Colban, Erik A. Simplified unification based grammar formalisms. University of Oslo, Department of Mathematics, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Formalismos"

1

Neunhäuserer, Jörg. "Formalismus." In Einführung in die Philosophie der Mathematik. Springer Berlin Heidelberg, 2019. http://dx.doi.org/10.1007/978-3-662-59555-8_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Tapp, Christian. "Formalismus." In An den Grenzen des Endlichen. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-29654-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Neunhäuserer, Jörg. "Formalismus." In Einführung in die Philosophie der Mathematik. Springer Berlin Heidelberg, 2021. http://dx.doi.org/10.1007/978-3-662-63714-2_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Roberson, Robert E., and Richard Schwertassek. "Formalisms." In Dynamics of Multibody Systems. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-86464-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bartelmann, Matthias, Björn Feuerbacher, Timm Krüger, Dieter Lüst, Anton Rebhan, and Andreas Wipf. "Hamilton-Formalismus." In Theoretische Physik 1 | Mechanik. Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-56115-7_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kanngießer, Siegfried. "6. Formalismus." In Handbücher zur Sprach- und Kommunikationswissenschaft / Handbooks of Linguistics and Communication Science (HSK), edited by Ulrich Ammon, Norbert Dittmar, Klaus J. Mattheier, and Peter Trudgill. De Gruyter, 1987. http://dx.doi.org/10.1515/9783110858020-012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Albert, Christopher, and Klaus Lichtenegger. "Lagrange-Formalismus." In Physikalische Rezepte: Mechanik. Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-57297-9_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Albert, Christopher, and Klaus Lichtenegger. "Hamilton-Formalismus." In Physikalische Rezepte: Mechanik. Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-57297-9_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bremer, Manuel. "Form/Formalismus." In Lexikon der Geisteswissenschaften. Böhlau Verlag, 2011. http://dx.doi.org/10.7767/boehlau.9783205790099.189.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Polster, Jürgen. "Gemeinsamer Formalismus." In Reaktionskinetische Auswertung spektroskopischer Meßdaten. Vieweg+Teubner Verlag, 1995. http://dx.doi.org/10.1007/978-3-322-87596-9_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formalismos"

1

Dias, Luiz Gustavo, and Vaston Gonçalves da Costa. "Gestão, Formalismos e Desenvolvimento de Software - Uma Análise Acerca Das Produções Brasileiras." In Simpósio de Metodologias Ativas - Inovações para o Ensino e a aprendizagem na Educação básica e superior & III Simpósio do Mestrado Profissional em Gestão Organizacional/III CIIE. Editora Edgard Blücher, 2017. http://dx.doi.org/10.5151/sma2016-008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Alves Vieira, Marcos, and Sérgio Teixeira de Carvalho. "Simulando o Acesso a Recursos Compartilhados em um Cenário de Computação Ubíqua." In I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/mssis.2019.7556.

Full text
Abstract:
Novos paradigmas de computação como a Internet das Coisas e a Web das Coisas estão tornando os espaços inteligentes cada vez mais comuns. Um dos problemas nesse contexto é garantir o acesso aos recursos dos espaços inteligentes pelas diferentes entidades que o compõem, considerando diferentes prioridades e permissões de acesso. Este trabalho tem como objetivo apresentar e simular a utilização de um algoritmo e uma linguagem de especificação de políticas de acesso a recursos compartilhados em um cenário de computação ubíqua. A simulação foi feita sob os formalismos da Especif
APA, Harvard, Vancouver, ISO, and other styles
3

Mocko, Gregory, and David W. Rosen. "A Critical Analysis of Description Logics for Engineering Information Management." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99473.

Full text
Abstract:
Engineering information management (EIM), specifically the development of information models, is becoming increasingly important to facilitate the exchange of digital product information across the extended enterprise. A myriad of information models has been proposed for capturing a broad scope of design information. Recently, description logics (DLs) have received significant attention in current literature as an underlying representational formalism for developing engineering information models. In this paper, we address the question: “Why should description logics (DLs) be used for engineer
APA, Harvard, Vancouver, ISO, and other styles
4

Habib, Walid, and Allen C. Ward. "In Pursuit of a Design Mathematics: Generalizing the Labeled Interval Calculus." In ASME 1991 Design Technical Conferences. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/detc1991-0060.

Full text
Abstract:
Abstract The Labeled Interval Calculus (LIC) is a formalism for reasoning about sets of design possibilities. Examples include toleranced objects, abstract descriptions involving many possible instantiations, and varying operating conditions. It has been successful in a “mechanical design compiler”, which accepts schematics and specifications and returns catalog numbers for optimal implementations. The LIC at present operates on monotonic algebraic equations and intervals of real values, but it now appears possible to generalize it to address arbitrary types of mathematical sets and relationsh
APA, Harvard, Vancouver, ISO, and other styles
5

Fiadeiro, José Luiz, and Tom Maibaum. "Interconnecting formalisms." In the 3rd ACM SIGSOFT symposium. ACM Press, 1995. http://dx.doi.org/10.1145/222124.222141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schlenoff, Craig. "Ontology formalisms." In the 9th Workshop. ACM Press, 2009. http://dx.doi.org/10.1145/1865909.1865947.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kurfman, Mark A., Robert B. Stone, Mike Van Wie, Kristin L. Wood, and Kevin N. Otto. "Theoretical Underpinnings of Functional Modeling: Preliminary Experimental Studies." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/dtm-14563.

Full text
Abstract:
Abstract A model of how a product should function to satisfy customers is an essential element in clarifying, identifying, and establishing product architectures. Such functional models greatly enhance the generation of creative form solutions to a chosen architecture. A wider breadth of solutions is generally possible, implementing new and stable technologies. In turn, using the recent concepts of design repositories, the possibilities exist to archive, retrieve, compute, reconfigure, and reason with the product forms. To realize these benefits to the fullest extent possible, functional model
APA, Harvard, Vancouver, ISO, and other styles
8

Kumanayaka, O. W. H., and D. N. Ranasinghe. "Formalisms for ontology validation." In 2007 International Conference on Industrial and Information Systems. IEEE, 2007. http://dx.doi.org/10.1109/iciinfs.2007.4579189.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Black, Alan, Graeme Ritchie, Steve Pulman, and Graham Russell. "Formalisms for morphographemic description." In the third conference. Association for Computational Linguistics, 1987. http://dx.doi.org/10.3115/976858.976861.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lagha, Massyl, Sébastien Duplaa, Nicolas Binder, Xavier Carbonneau, and Benoit Rodriguez. "Similarity Study of Lightly Loaded Shrouded Rotors for Distributed Propulsion." In ASME Turbo Expo 2019: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/gt2019-90788.

Full text
Abstract:
Abstract Achieving the objectives of the American and European long-term air transport in terms of emission reduction requires to shift to hybrid/electric aircraft by 2050. This implies the development of distributed propulsion systems using multiple low-diameter lightly-loaded shrouded rotors, operating at high rotational speed and moderate flight Mach number. The relevance of characteristic maps of such a propulsive system is discussed in this paper. It is based on an integrative approach, that takes advantage of the two different formalisms generally found when dealing with aeronautical pro
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formalismos"

1

CHUNG, SUH-URK. SPIN FORMALISMS (UPDATED VERSION). Office of Scientific and Technical Information (OSTI), 2006. http://dx.doi.org/10.2172/890945.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Markov, Igor. Quantum Simulation Beyond Stabilizer Formalism. Defense Technical Information Center, 2011. http://dx.doi.org/10.21236/ada543711.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Prabhakar, Shyam. A Matrix Formalism for Landau Damping. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/9944.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jones, Chris, and Maja J. Mataric. Toward a Multi-Robot Coordination Formalism. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada459516.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gleiser, M., R. Holman, and N. P. Neto. First order formalism for quantum gravity. Office of Scientific and Technical Information (OSTI), 1987. http://dx.doi.org/10.2172/6507242.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kheifets, S. A. Canonical formalism for coupled beam optics. Office of Scientific and Technical Information (OSTI), 1989. http://dx.doi.org/10.2172/5437699.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Luccio, A. Spin Rotation of Formalism for Spin Tracking. Office of Scientific and Technical Information (OSTI), 2008. http://dx.doi.org/10.2172/939966.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Luccio A. U. Spin rotation formalism for spin tracking (REVISED). Office of Scientific and Technical Information (OSTI), 2008. http://dx.doi.org/10.2172/1061885.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Warnock, R. EVOLVING BUNCH AND RETARDATION IN THE IMPEDANCE FORMALISM. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/833077.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Karr, Michael. Transaction Graphs: A Sketch Formalism for Activity Coordination. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada230852.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography