Academic literature on the topic 'M-teoria'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'M-teoria.'
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 "M-teoria"
1
Abdalla, Elcio. "Teoria quântica da gravitação: cordas e teoria M." Revista Brasileira de Ensino de Física 27, no. 1 (March 2005): 147–55. http://dx.doi.org/10.1590/s1806-11172005000100017.
Full textAbstract:
Discutimos aqui a junção da relatividade geral e da mecânica quântica como necessidade tanto teórica quanto experimental da Física, e suas conseqüências na compreensão do Universo, de seu início e sua evolução.
2
Palmer, Guillermo, and Nicole R. Demarquette. "Comparação entre duas teorias para a determinação da tensão interfacial pelo método de fibra quebrante." Polímeros 13, no. 1 (January 2003): 72–78. http://dx.doi.org/10.1590/s0104-14282003000100013.
Full textAbstract:
A tensão interfacial entre polímeros fundidos é um fator chave para a predição da morfologia de blendas poliméricas. Neste trabalho, as teorias de Tomotika e Tjahjadi et al. para medir tensão interfacial entre polímeros fundidos usando o método de fibra quebrante são avaliadas e comparadas. Em particular, foram testadas ambas as teorias para o par de polímeros PP/PS à temperatura de 200 °C. O valor médio de tensão interfacial calculado usando a teoria de Tomotika foi de 5,88 mN/m, e usando a teoria de Tjahjadi et al. foi de 5,66 mN/m.
3
Kowalska, Marta. "Teoria reportażu Melchiora Wańkowicza." Ogrody Nauk i Sztuk 4, no. 4 (February 15, 2020): 620–25. http://dx.doi.org/10.15503/onis2014.620.625.
Full textAbstract:
Artykuł przybliża teorię reportażu Melchiora Wańkowicza, związane z nią techniki, m.in. mozaikarstwo, rozmywanie gatunków, aspekty stylistyczne. Podkreśla samoświadomość twórczą pisarza, stworzenie i stosowanie teorii wychodzącej daleko poza dane czasy. Wskazuje na nierozerwalne powiązania teorii z procesem twórczym oraz efekty, jakie przyniosła postawa autora. Pracę dopełnia zaprezentowanie odbioru postaci M. Wańkowicza przez krytyków.
4
Rauber, Jaime José. "A TEORIA DA GENERALIZAÇÃO DE M. SINGER." Veritas (Porto Alegre) 43, no. 4 (December 30, 1998): 1021. http://dx.doi.org/10.15448/1984-6746.1998.4.35491.
Full textAbstract:
Com a teoria da generalização de Marcus Singer, procuro mostrar que a proposta de legitimação de normas morais universais que não considerar também as circunstâncias concretas das ações, podem legitimar normas de validade absoluta, o que pode possibilitar a justificação de ações injustas.
5
Villegas Silva, Fulgencio. "LOCALIZACION DE P-BRANAS EN SUPERGRAVEDAD Y TEORIA-M." Revista de Investigación de Física 9, no. 01 (July 17, 2006): 31–35. http://dx.doi.org/10.15381/rif.v9i01.8612.
Full textAbstract:
Se analizan los resultados recientes referentes a una clase especial de soluciones tipo p-branas a la teoría de supergravedad en once y diez dimensiones. Se discute la no localización y localización de las intersecciones de las p-branas. Se presenta el nuevo mecanismo de “ennegrecimiento” de branas localizadas.
6
Iwaniak, Kamil. "W cieniu wojny. O metaforze konceptualnej i metonimii w opisach wojny - na podstawie wybranych artykułów z Onet.pl." Językoznawstwo 17, no. 2 (December 2022): 92–110. http://dx.doi.org/10.25312/2391-5137.17/2022_07ki.
Full textAbstract:
Artykuł ma na celu refleksję nad sposobami konstruowania, typami i funkcjami metafor konceptualnych oraz nad powiązaniami metafory konceptualnej z jej językową realizacją (m. in. przez zjawisko rozkładalności znaczenia). Badania prowadzone są z perspektywy kognitywistycznej. Nacisk zostaje położony na teorie dotyczące metafory konceptualnej, takie jak teoria interakcji metafor, teoria interakcji domen, teoria metafory konceptualnej w propozycji Lakoffa i Johnsona oraz amalgamat pojęciowy. Uwzględnione zostają też metonimia oraz sieciowy model znaczenia. W prowadzonej analizie, która ma charakter jakościowy, następuje próba wskazania na metafory poznawcze obecne w internetowych tekstach tematyzujących konflikt zbrojny w Ukrainie. Korpus tekstowy pochodzi z portalu informacyjnego Onet.pl, który jest jednym z największych portali internetowych w Polsce o znacznym wpływie opiniotwórczym i może służyć jako źródło do wyciągania wniosków lingwistycznych o bardziej ogólnej naturze. Słowa kluczowe: językoznawstwo kognitywne, metafora, metonimia, wojna, teksty internetowe
7
Viparelli, Irene. "La Teoria de A. Negri. Tra "Pensare Nella" e "Pensare Sulla" Congiuntura." Perspectivas - Journal of Political Science, no. 6 (December 1, 2011): 157–79. http://dx.doi.org/10.21814/perspectivas.32.
Full textAbstract:
Il presente articolo si propone di reflettere sull' evoluzione della teoria di Negri, dagli scritti "marxiani" degli anni Sessanta e Settanta, fino all´último testo, scrito in collaborazione con M. Hardt, Commonwealth. La nostra ipotese à che sia possibilecogliere la logica di sviluppo della teoria di Negri soltanto ipotizzando la sua apparteneza alla tradizione del pensiero rivoluzionario; una tradizione che si caratterizza per líntimo legame tra sviluppo teorico e movimento ciclico del capitalismo. Utilizzando il lessico althusseriano, abbiamo definito tale dinamica di svilluppo del pensiero rivoluzionario come alternarsi "pensare nella" e del "pensare sulla" congiuntura. La prima parte dell´articolo è consacrata all´analisi dei testi del cosiddetto "perioso operaista": tali testi, sia per la loro subordinazione alla specifica congiuntura italiano degli anni sessanta e alla crisi internazionale degli anni settanta, sia per la loro ricerca di una strategia politica adeguata alla lotta di classe in questo specifico contesto, non possono che essere considerati come espressione emblematica di un "pensare nella" conguintura. Nella seconda parte ci siamo occupati della produzione teorica di Negri, dagli scritti degli anni Ottanta fino a Multitude, mostrando come l'obiettivo fondamentale sia quello di portare "alla forma del concetto" una serie di intuizioni teoriche sviluppate nel corso della "riflessione congiunturale". Infine, nell'ultima parte, abbiamo formulato l'ipotesi che, con Commonwealth, si compia un nuovo "dislocamento teorico": la crisi finanziaria del 2008 impone a Negri di abbandonare nuovamente l'"astratto" terreno della riflessionare teorica, per immergersi nella "concretezza" della riflessione congiunturale, al fine di definire una strategia rivoluzionaria adeguata alle forze produttive contemporanee, alla Moltitudine biopolitica.
8
Marinho, Neumalyna Lacerda Alves Dantas, and Jaciara De Medeiros Alves Lucena Brandão. "A Teoria Social do Direito Na Concepção de David M. Trubek." Revista de Teorias da Justiça, da Decisão e da Argumentação Jurídica 1, no. 1 (December 6, 2015): 154. http://dx.doi.org/10.26668/indexlawjournals/2525-9644/2015.v1i1.713.
Full textAbstract:
O presente artigo objetiva estudar a relação direito, ordem jurídica e desenvolvimento na perspectiva da teoria da concepção central do direito moderno, a partir da obra de David M. Trubek. A teoria remete a um direito racional como caminho para o alcance do desenvolvimento nas nações do Terceiro Mundo, afastando a ordem tradicional, mas acolhimento de um direito moderno. A concepção central constatou a intencionalidade e a universalidade das regras e, após análises empíricas, o autor comprovou falhas substanciais, devido a sua etnocentridade e evolucionismo, ao acreditar que os países em desenvolvimento somente alcançarão o pleno desenvolvimento se importarem o sistema jurídico do ocidente. De toda forma, os estudos sobre a teoria social do direito contribuíram para o atual conceito de direito e desenvolvimento.
9
Santos, Maiara Rodrigues dos, Thaisa Carolina da Silva Mesquita Souza, Maira Deguer Misko, Lucia Silva, and Regina Szylit. "INTEGRANDO A TEORIA DO CUIDADO HUMANO � PR�TICA DE ENFERMEIROS COM FAM�LIAS DE CRIAN�AS INTERNADAS." Revista Sa�de - UNG-Ser 12, no. 1/2 (February 20, 2019): 15. http://dx.doi.org/10.33947/1982-3282-v12n1-2-3302.
Full textAbstract:
Introdu��o: Teorias de enfermagem necessitam de evid�ncias para implementa��o na pr�tica do cuidado. Objetivo: Compreender a experi�ncia dos enfermeiros sobre a pr�tica da Teoria do Cuidado Humano de Watson com fam�lias de crian�as internadas. M�todo: Estudo qualitativo de pesquisa a��o. A coleta dos dados envolveu o planejamento, discuss�o e viv�ncia de conceitos fundamentais relacionados � teoria. Dados de entrevistas semiestruturadas e notas de observa��o foram utilizados para a an�lise, que seguiu a an�lise tem�tica dedutiva como estrat�gia. Resultados: Os resultados mostram fatores internos e externos aos enfermeiros que influenciam na pr�tica do cuidado oferecido �s fam�lias de crian�as. Tais fatores est�o intimamente relacionados aos processos clinical caritas da teoria de Watson, tornando a pr�tica do referencial forte fonte de evid�ncia e respaldo para as a��es do cuidado de enfermagem. Conclus�o: A teoria favoreceu aproxima��o do enfermeiro com fatores do cuidado de forma aut�ntica, consciente e intencional.
10
Fischer, Sandra, and Aline Vaz. "Distopia, Utopia, Catarse." ALCEU 21, no. 43 (May 24, 2021): 127–45. http://dx.doi.org/10.46391/alceu.v21.ed43.2021.204.
Full textAbstract:
O texto trata do cinema distópico, que tem lugar no Brasil dos últimos anos, como propositor de questões concernentes ao cenário sociopolítico que se instalou no país. Com base principalmente em preceitos advindos advindos de trabalhos que se dedicam às ditas ‘teorias de cineastas’ (PENAFRIA, M. et alii. Teoria dos cineastas: uma abordagem para a teoria do cinema, 2015), e em estudos de Alexandre Astruc (2012), Frantz Fannon (2002), e Ismail Xavier (2020), o enfoque principal recai sobre o filme Bacurau (2019), de Kleber Mendonça Filho e Juliano Dornelles, cujo universo fictício sintomaticamente distópico estimula no espectador, potencialmente, uma vivência catártica capaz de levantar reflexões acerca da experiência estética como uma experiência política e de resistência.
Dissertations / Theses on the topic "M-teoria"
1
Tavares, Cl?udia Fernanda Oliveira Kiermes. "Prova autom?tica de satisfatibilidade m?dulo teoria aplicada ao m?todo B." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17984.
Full textAbstract:
Made available in DSpace on 2014-12-17T15:47:48Z (GMT). No. of bitstreams: 1
ClaudiaFCKT.pdf: 525104 bytes, checksum: 174fb60f1cf9ebfc609d837f2787b6b1 (MD5)
Previous issue date: 2007-07-27Este trabalho apresenta uma extens?o do provador haRVey destinada ? verifica??o de obriga??es de prova originadas de acordo com o m?todo B. O m?todo B de desenvolvimento de software abrange as fases de especifica??o, projeto e implementa??o do ciclo de vida do software. No contexto da verifica??o, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte ? checagem satisfatibilidade de f?rmulas da teoria axiom?tica dos conjuntos, ou seja, podem ser aplicadas ao m?todo B. A checagem de SMT consiste na checagem de satisfatibilidade de f?rmulas da l?gica de primeira-ordem livre de quantificadores dada uma teoria decid?vel. A abordagem de checagem de SMT implementada pelo provador autom?tico de teoremas haRVey ? apresentada, adotando-se a teoria dos vetores que n?o permite expressar todas as constru??es necess?rias ?s especifica??es baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-G?del (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias n?odecid?veis, a teoria NBG apresenta-se como uma op??o adequada para a expans?o da capacidade dedutiva do haRVey ? teoria dos conjuntos. Assim, atrav?s do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao m?todo B
2
LEGRAMANDI, ANDREA. "Supergravity solution classifications through bispinors." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2020. http://hdl.handle.net/10281/257788.
Full textAbstract:
Questa tesi si concentra sulla classificazione delle soluzioni di supergravità in dieci e undici dimensioni.
Imponendo la supersimmetria, la supergravità rivela una pletora di eleganti strutture geometriche che possono essere definite dai parametri fermionici. Tali dati geometrici sono chiamati bispinori e sono l'argomento centrale di questa tesi.
Nella prima parte esploriamo come sia possibile sfruttare i bispori per ottenere una riformulazione più elegante delle condizioni di supersimmetria. Questa discussione si svolge in un contesto generale senza assumere alcuna fattorizzazione dello spazio-tempo. Il formalismo bispinoriale consente inoltre di interpretare molte delle nuove equazioni di supersimmetria come condizioni di calibrazione per le sorgenti, dover per calibrazioni si intende una forma differenziale che identifica le brane con energia minima. Verranno discusse anche la connessione tra calibrazioni e la disuguaglianza BPS e verrà data una definizione delle cariche centrali in termini puramente gravitazionali.
A parte questi risultati formali, probabilmente il principale successo del formalismo bispinoriale è che semplifica drasticamente il compito di classificare le soluzioni di supergravità. Dopo aver discusso come applicare queste tecniche nel caso AdS bidimensionale e Minkowski quadridimensionali, eseguiremo una classificazione completa sia della supergravità di tipo II sia della M-teoria delle soluzioni Minkowski quadridimensionali che preservano due supercariche con gruppo di R -simmetria SU(2) realizzato geometricamente da una sfera due-dimensionale nello spazio interno.
Per i vari casi della classificazione, il problema di trovare soluzioni supersimmetriche può essere ridotto a un sistema di equazioni differenziali alle derivate parziali. Questi casi spesso ospitano sistemi di brane intersecanti e soluzioni anti-de-Sitter di dimensioni superiori. Inoltre mostriamo che, concatendando varie dualità, tutte le soluzioni possono essere generate da una fra due classi principali: una SU(2)-struttura in M-teoria e una Calabi-Yau conforme nel tipo IIB. Nell'ultima parte della tesi, mostriamo che è possibile rilassare alcune delle equazioni bispinoriali e generalizzare tutta la classificazione in un contesto più ampio con supersimmetria rotta.This thesis focuses on classification of supergravity solutions in ten and eleven dimensions. By imposing supersymmetry, supergravity reveals a plethora of elegant geometric structures which can be defined from the fermionic supersymmetry parameters. Such geometrical data are called bispinors and are the central topic of this thesis. In the first part we explore how it is possible to exploit bispinors in order to get a more elegant reformulation of background supersymmetry conditions. This discussion is performed in a general context without assuming any factorization of space-time. The bispinor framework allows to interpret many of the new supersymmetry equations as calibration conditions for sources, where a calibration is a differential form which detects branes with minimal energy. We also discuss the connection between calibrations and BPS bound and we provide a definition of central charges in purely gravitational terms. Aside from these formal results, probably the main achievement of the bispinor formalism is that it drastically simplifies the task of classifying supergravity solutions. After discussing how to apply these techniques to two-dimensional AdS and four-dimensional Minkowski backgrounds, we perform a complete classification in both type II supergravity and M-theory of four-dimensional Minkowski solutions preserving N = 2 supersymmetry with SU(2) R-symmetry geometrically realized by a round sphere factor in the internal space. For the various cases of the classification, the problem of finding supersymmetric solutions can be reduced to a system of partial differential equations. These cases often accommodate systems of intersecting branes and higher-dimensional anti-de-Sitter solutions. Moreover we show that, using chains of dualities, all solutions can be generated from one of two master classes: an SU(2)-structure in M-theory and a conformal Calabi–Yau in type IIB. In the last part of the thesis, we show that it is possible to relax some of the bispinor equations and generalizing all the classification to a larger non-supersymmetric context.
3
Rech, Sérgio José. "Aplicação da teoria das matrizes não-negativas e matrizes-M ao modelo de Leontief." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2002. http://hdl.handle.net/10183/118197.
Full textAbstract:
Seja Uln sistema econômico, que envolve n indústrias interdependentes tais que cada indústria produz um único tipo de artigo. Denotemos com t ij a quantidade da entrada (insumo) da iêsima mercadoria que a economia necessita para produzir uma unidade da mercadoria} de saída (produto). A matriz T := [ tlj ] de insumo-produto de Leontief é uma matriz não-negativa. Descreveremos as propriedades das matrizes não-negativas, necessárias para uma análise matemática do modelo de Leontief. Se esse modelo descreve uma economia viável, a soma dos elementos em cada coluna de T será menor ou igual a l. Suponhamos mais que o sistema econômico modelado contenha um setor aberto, onde trabalho, lucro, etc. entram como segue. Seja x, o produto total que a indústria i requer para atender à demanda do setor aberto e das n indústrias. Então x = Tx + d, onde d := [ d,] é o vetor das demandas, isto é, d; é a demanda do s~tor aberto sobre a indústria iésúna. Aqui l;JXj representa o insumo que a j ésima indústria necessita da i•s•ma indústria. Os níveis de produção requeridos pela totalidade das n indústrias, a fim de poder atender a essas demandas, constituem o vetor-solução do sistema linear Ax = d, com A := I- T. Como a soma dos elementos de cada coluna de T é menor ou igual a I; o raio espectral de T também é menor ou igual a 1. Quando o raio espectral é menor que 1, T é convergente e A tem um inversa com todos os elementos não-negativos (matriz não-negativa). Discutiremos as matrizes não-negativas. Além disso, os elementos não-diagonais de A := I - T são todos negativos ou nulos. Matrizes com esse quadro de sinais, cujas inversas são não-negativas, são ditas matrizes-M não-singulares. Discutjremos também as matrizes-M não-singulares e singulares. O objetivo principal deste trabalho é a apl icação interessante da teoria das matrizes nãonegativas e matrizes-M, na análise do modelo de Leontief descrito muito brevemente acima, resultando um método elegante de análise de insumo-produto.Let us consid~r an economic system, that involves n interdependent industries, assuming that each industry produces only one type of commodities. Let tij denote the amount of input ofthe ith commodity needed by the economy to produce a unit output o f commodity j. The Leontief input-output matrix T := [ tij] is a nonnegative matrix. We will describe the properties of nonnegative matrices, necessary for a mathematical analysis ofthe Leontiefs model. Ifthat model describes an economically feasible situation, the sum of the elements in each column of T does not exceed I. Let us further suppose that the modeled economic system contains an open sector, where labor, profit, etc. enter in the following way. Let x, be the total output o f the industry i required to meet the demand o f the open sector and ali n industries. Then x = Tx + d, where d := [ d; ], is the vector ofthe demands, that is, d; is the demand of the open sector from the ith industry. Here li]Xj represents the input requirement of the jth industry from the ith. The output leveis required o f the totality o f the n industries, in order to meet these demands, are the solution vector x ofthe linear system Ax = d, with A :=I- T. As the sum ofthe elements of each column ofT is at most I, it follows that the spectral radius ofT is also at most I. When the spectral radius is less than 1, T is convergent and A is inverse-positive, that is, A'1 is a nonnegative matrix. We will discuss the nonnegative matrices. Besides, A:= I - T has ali its off-diagonal entries nonpositive. Jnverse-positive matrices with this sign pattem are called nonsingular M-matrices. We will also discuss nonsingular and singular M-matrices. The main goal of this work is the interesting appl ication of the nonnegative matrices and M-matrices theory to the analysis ofthe Leontiefs model, described very shortly above, resulting in an elegant method o f input-output analysis.
4
Nogueira, Marcelo Aparecido Cabral. "Uma classe de equações tipo Yamabe e teoria de blow-up em H1 2 (M)." Universidade Federal de Viçosa, 2015. http://www.locus.ufv.br/handle/123456789/7921.
Full textAbstract:
Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2016-06-17T09:29:53Z
No. of bitstreams: 1
texto completo.pdf: 602671 bytes, checksum: 8c12b029de1e7e375e71fb1e97bc9490 (MD5)Made available in DSpace on 2016-06-17T09:29:53Z (GMT). No. of bitstreams: 1 texto completo.pdf: 602671 bytes, checksum: 8c12b029de1e7e375e71fb1e97bc9490 (MD5) Previous issue date: 2015-02-24
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Nesta dissertação estudamos uma classe de equações elípticas tipo Yamabe em uma variedade Riemanniana compacta, sem bordo, de dimensão n ≥ 3. Tais equaçõoes tem sido alvo de investigações por décadas. Daremos ênfase a H1 -teoria de blow-up estudando sequências de Palais-Smale associadas com a equação crítica, definindo os pontos de blow-up e provando o teorema de decomposição em bolhas.
In this dissertation we study a class of elliptic Yamabe type equations on a compact Riemannian manifold, without boundary, of dimension n ≥ 3. Such equations have been the target of investigation for decades. The main focus will be on H1 -theory for the blow-up studying Palais-Smale sequences associated with the critical equation, defining the blow-up points and proving the theorem of decomposition in bubbles.
5
Silva, Letícia Sanches [UNESP]. "O invariante E(G, W, M): algumas propriedades e aplicações na teoria de decomposição de grupos." Universidade Estadual Paulista (UNESP), 2013. http://hdl.handle.net/11449/127540.
Full textAbstract:
Made available in DSpace on 2015-09-17T15:24:05Z (GMT). No. of bitstreams: 0
Previous issue date: 2013-02-27. Added 1 bitstream(s) on 2015-09-17T15:48:26Z : No. of bitstreams: 1
000846965.pdf: 797428 bytes, checksum: daaf15e4de7fbef0eebfbdbc0bb8123d (MD5)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Em [6], Andrade e Fanti definiram o invariante E(G, W, M), sendo G um grupo, W um G-conjunto e M um Z2G-m'odulo, e apresentaram alguns resultados usando E(G, W, Z2) ( Z2 visto como Z2G-m'odulo trivial) relacionados com decomposi¸c˜ao de grupos e dualidade. E(G, W, M) 'e definido usando (co)homologia de grupos para o par ((G, W), M) seguindo [14]. O objetivo deste trabalho 'e apresentar os resultados dados em [6], por'em acrescentando as provas de alguns resultados que s˜ao mencionados em [6], mas que n˜ao foram provados, como por exemplo, a invariˆancia de E(G, W, M) por pares isomorfos e a independˆencia do conjunto de representantes das G-'orbitas. Procurou-se tamb'em generalizar alguns resultados para um Z2G-m'odulo M qualquer (n˜ao necessariamente Z2), e apresentar algumas outras propriedades de E(G, W, M), em especial para o Z2G-m'odulo FTG, sendo T um subgrupo de G, explorando, sempre que poss'ıvel, sua rela¸c˜ao com decomposi¸c˜ao de grupos. Muitos desses resultados est˜ao fortemente relacionados com alguns apresentados em [7], para o invariante de pares de grupos E(G, S, M), sendo S uma fam'ılia de subgrupos de G.
In [6], Andrade and Fanti defined the invariant E(G,W,M), where G is a group, W is a G-set and M is a Z2G-module, and presented some results using E(G,W, Z2) ( Z2 seen as a trivial Z2G-module) related to splitting of groups and duality. E(G,W,M) is defined using (co)homology of groups for the pair ((G,W),M) following [14]. The purpose of this work is to present the results given in [6] but adding proofs of some results that were referred but not proved there, such as the invariance ofE(G,W,M) for isomorphic pairs and the independence of the set of orbit representatives in W. We also attempt to generalize some results for any Z2G-m'odulo M (not necessarily Z2) and present some other properties of E(G,W,M), specially for the Z2G-module FTG where T is a subgroup of G, exploring, whenever possible, its relationship with splitting of groups. Many of those results are strongly related with some given in [7] for the invariant of pairs of groups E(G, S,M) where S is a family of subgroups of G.
6
Fragoso, Paulo Ewerton Gomes. "Contribui??es para o processo de verifica??o de satisfatibilidade m?dulo teoria em Event-B." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/19825.
Full textAbstract:
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-22T21:43:01Z
No. of bitstreams: 1
PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5)Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-23T23:34:33Z (GMT) No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5)
Made available in DSpace on 2016-02-23T23:34:33Z (GMT). No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5) Previous issue date: 2015-03-09
Event-B ? um m?todo formal de modelagem e verifica??o de sistemas de transi??o discretos. O desenvolvimento com Event-B produz obriga??es de prova que devem ser verificadas, isto ?, ter sua validade verificada para manter a consist?ncia dos modelos produzidos. Solucionadores de Satisfatibilidade M?dulo Teoria s?o provadores autom?ticos de teoremas usados para verificar a satisfatibilidade de f?rmulas l?gicas considerando uma teoria (ou combina??o de teorias) subjacente. Solucionadores SMT n?o apenas lidam com f?rmulas extensas em l?gica de primeira ordem, como tamb?m podem gerar modelos e provas, bem como identificar subconjuntos insatisfat?veis de hip?teses (n?cleos insatisfat?veis). O suporte ferramental para Event-B ? provido pela Plataforma Rodin: um IDE extens?vel, baseado no framework Eclipse, que combina funcionalidades de modelagem e prova. Um plug-in SMT para Rodin tem sido desenvolvido com o objetivo de integrar ? plataforma t?cnicas alternativas e eficientes de verifica??o. Neste trabalho foi implementada uma s?rie de complementos ao plug-in para solucionadores SMT em Rodin, a saber, melhorias na interface do usu?rio para quando obriga??es de prova s?o reportadas como inv?lidas pelo plug-in. Adicionalmente, algumas caracter?sticas do plug-in, tais como suporte ? gera??o de provas e extra??o de n?cleo insatisfat?vel, foram modificadas de modo a tornaremse compat?veis com o padr?o SMT-LIB para solucionadores SMT. Realizaram-se testes utilizando obriga??es de prova aplic?veis para demonstrar as novas funcionalidades. As contribui??es descritas podem, potencialmente, afetar a produtividade de forma positiva.
Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.
7
Ara?jo, Isac Rufino de. "A motiva??o de licenciandos em m?sica sob a perspectiva da teoria da autodetermina??o." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/20083.
Full textAbstract:
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-18T21:55:11Z
No. of bitstreams: 1
IsacRufinoDeAraujo_DISSERT.pdf: 2304915 bytes, checksum: 003585d70e775edd0ae4d2a5c516fdd1 (MD5)Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-18T23:33:16Z (GMT) No. of bitstreams: 1 IsacRufinoDeAraujo_DISSERT.pdf: 2304915 bytes, checksum: 003585d70e775edd0ae4d2a5c516fdd1 (MD5)
Made available in DSpace on 2016-03-18T23:33:16Z (GMT). No. of bitstreams: 1 IsacRufinoDeAraujo_DISSERT.pdf: 2304915 bytes, checksum: 003585d70e775edd0ae4d2a5c516fdd1 (MD5) Previous issue date: 2015-02-19
Esta pesquisa teve como objetivo geral verificar a qualidade motivacional dos licenciandos em m?sica em quatro universidades p?blicas do Nordeste, sob a perspectiva da Teoria da Autodetermina??o (TAD). Proposta por Edward Deci e Richard Ryan (1985, 2000, 2008a, 2008b), a TAD abrange os aspectos qualitativos da motiva??o e afirma que todos os indiv?duos t?m uma propens?o natural ? autorregula??o, por isso ela adota o conceito de internaliza??o, representada por meio de um continuum de autodetermina??o previsto na miniteoria da integra??o organ?smica. A presente pesquisa ? de natureza descritiva, explorat?ria e correlacional. Como t?cnica de coleta de dados, foi aplicado um question?rio de autorrelato, a Escala de Motiva??o Acad?mica (EMA), traduzida e validada por Guimar?es e Bzuneck (2008), a qual permite verificar os tipos de motiva??o conforme o continuum de autodetermina??o. Nesta aplica??o, o instrumento apresentou evid?ncias de validade satisfat?rias, com boa consist?ncia interna e correla??es de fracas a moderadas. Os dados obtidos da amostra de 380 licenciandos em m?sica foram analisados atrav?s da estat?stica descritiva e inferencial, por meio de alguns procedimentos: frequ?ncias, m?dias, desvio padr?o, an?lise fatorial, an?lise de consist?ncia interna por meio do alpha de Cronbach, an?lise de correla??o de Pearson e an?lise de vari?ncia. Os dados apontam as maiores m?dias na avalia??o das formas de motiva??o mais autodeterminadas e as m?dias mais baixas na avalia??o da desmotiva??o e das formas menos aut?nomas de motiva??o. Grande parte dos alunos revelou forte inten??o de concluir o curso. Apresentaram menor motiva??o aut?noma e maior desmotiva??o os alunos com inten??o de atuar em outras ?reas, que j? passaram pelo est?gio e que est?o no curso porque n?o tiveram outra op??o. Conclu?mos que o licenciando em m?sica, representado nesta amostra, apresenta boa qualidade motivacional, no entanto, com o passar do tempo h? uma tend?ncia em diminuir a motiva??o aut?noma mediante as press?es inerentes a um curso superior. Neste sentido, os cursos devem criar estrat?gias para manter o comportamento autodeterminado nos alunos e fortalecer a motiva??o aut?noma fazendo-os perceber import?ncia, valor e significado no curso.
This research had as main aim to verify the motivational quality of music students at four public universities in the Northeast of Brazil, based on the Self-Determination Theory (SDT). This perspective was proposed by Edward Deci and Richard Ryan (1985, 2000, 2008a, 2008b), and considers the qualitative aspects of motivation. It defends that the individuals have a natural tendency to self-regulation; it adopts the concept of internalizations through a continuum of self-determination conceived in the mini-theory of organismic integration. The research presents a descriptive, exploratory and correlational approach. To collect data, it was submitted a self-report questionnaire, based on the Academic Motivational Scale, translated and validated by Guimar?es and Bzuneck (2008), which allow us to verify the motivation types according to a selfdeterminational continuum. According to this application, the instrument has shown evidence of satisfactory validity, with a good internal consistence and correlations from weak to moderate scale. The obtained data were collected from 380 music students, analyzed through a descriptive and inferential statistics, considering a few procedures: frequencies, averages, standard deviation, factorial analysis, internal consistence analysis through Cronbach Alpha, Pearson?s correlational analysis and variance analysis. The analyzed data show that high averages in the evaluation of self-determined motivation and low evaluation in demotivation and less autonomy motivation. Many students revealed strong intention to conclude the course. It was identified less autonomous motivation and more motivation among the students with intention to work in other areas, some of them concluded the final training process in Music Course, and say that they are in this course because they had no other option. We conclude that those graduated in Music Course, represented in this sample, show a good motivational quality. But after a few time there is a tendency in decreasing autonomous motivation because of some requirements of an academic course. In this sense, the courses must create strategies to maintain a self-determined behavior so that students can realize their autonomous motivation, identifying its importance, value and meaning along the Course.
8
Silva, Letícia Sanches. "O invariante E(G, W, M) : algumas propriedades e aplicações na teoria de decomposição de grupos /." São José do Rio Preto, 2013. http://hdl.handle.net/11449/127540.
Full textAbstract:
Orientador: Ermínia de Lourdes Campello FantiBanca: Francielle Rodrigues de Castro Coelho
Banca: Maria Gorete Carreira Andrade
Resumo: Em [6], Andrade e Fanti definiram o invariante E(G, W, M), sendo G um grupo, W um G-conjunto e M um Z2G-módulo, e apresentaram alguns resultados usando E(G, W, Z2) (Z2 visto como Z2G-módulo trivial) relacionados com decomposição de grupos e dualidade. E(G, W, M) é definido usando (co)homologia de grupos para o par ((G, W), M) seguindo [14]. O objetivo deste trabalho é apresentar os resultados dados em [6], porém acrescentando as provas de alguns resultados que são mencionados em [6], mas que não foram provados, como por exemplo, a invariância de E(G, W, M) por pares isomorfos e a independência do conjunto de representantes das G-órbitas. Procurou-se também generalizar alguns resultados para um Z2G-módulo M qualquer (não necessariamente Z2), e apresentar algumas outras propriedades de E(G, W, M), em especial para o Z2G-módulo FTG, sendo T um subgrupo de G, explorando, sempre que possível, sua relação com decomposição de grupos. Muitos desses resultados estão fortemente relacionados com alguns apresentados em [7], para o invariante de pares de grupos E(G, S, M), sendo S uma família de subgrupos de G
Abstract: In [6], Andrade and Fanti defined the invariant E(G,W,M), where G is a group, W is a G-set and M is a Z2G-module, and presented some results using E(G,W, Z2) (Z2 seen as a trivial Z2G-module) related to splitting of groups and duality. E(G,W,M) is defined using (co)homology of groups for the pair ((G,W),M) following [14]. The purpose of this work is to present the results given in [6] but adding proofs of some results that were referred but not proved there, such as the invariance ofE(G,W,M) for isomorphic pairs and the independence of the set of orbit representatives in W. We also attempt to generalize some results for any Z2G-m'odulo M (not necessarily Z2) and present some other properties of E(G,W,M), specially for the Z2G-module FTG where T is a subgroup of G, exploring, whenever possible, its relationship with splitting of groups. Many of those results are strongly related with some given in [7] for the invariant of pairs of groups E(G, S,M) where S is a family of subgroups of G
Mestre
9
Rohr, Cilene Trindade. "A paródia a serviço de um projeto de literatura nacional: teoria do medalhão de M. de Assis." Pontifícia Universidade Católica de São Paulo, 2009. https://tede2.pucsp.br/handle/handle/14903.
Full textAbstract:
Made available in DSpace on 2016-04-28T19:59:18Z (GMT). No. of bitstreams: 1
Cilene Trindade Rohr.pdf: 1344775 bytes, checksum: fa9ab60656ec3c71a7d14320cf26f7b4 (MD5)
Previous issue date: 2009-06-30Our study focused on the short story Theory of Medallion (1881), of Machado de Assis, with the aim of studying how the author articulates the use of parody understood in its double sense of parallelism and reversal in light of the theoretical foundations of Hutcheon (1995) for whom the parody is ironic "trans-contextualizing", that is, repetition with critical difference and Bakhtin (1993), which highlights the dialogical structure of parody speech: a "premeditated hybrid" between the parodied speech and the one which parodies it, without, however, destroying it. Although there are some studies in the critical fortune of this short story that go in that direction, such as: Almeida (2006) and Rego (1989), we would deal with parody under another perspective, that is, in the context of the serious-comic tradition, especially the Menippean satire, whose dialogical root is closely examined by Bakhtin as the original cell of Romanesque speech. It is under such strain which Machado was explicitly influenced by, as he has obliquely registered in a metafictional passage on Theory of Medallion: "you must not only use the irony, this movement at the corner of the mouth, full of mysteries, invented by a Greek of the decadence, contracted by Lucian, transmitted to Swift and Voltaire, common feature of the skeptical and insolent " that the subtitle "Dialogue" is materialized as a parody of a gender included in the tradition of the classical Platonic dialogues. By means of discourse analysis of the ambivalent Machadian short story, we point out the moments in which he was under a different discourse - that of The Republic of Plato - which now approached, now pushed away, in an alternate game of hiding-revealing in the manner of Machado, a reader of Lucian of Samosata. Our goal, however, was not only to unveil the parody construction within the narrative structure. We also intended, through this exemplary short story inside the short stories of the author, to reflect on the formative aspect that engenders, either at the level of gender as a hybrid of, at least, three matrices: the serious-comic of Menippean, the Platonic dialogue and the essay or "story-theory" (Bosi, 1999) or at the level of Machadian project of national literature whose cornerstone is the formation of a skillful reader capable of understanding, through an inside out reading, the critical hidden under the supposed praise of the picture of the medallion, typical successful citizen of the Brazilian society of the nineteenth century, which is nourished only of appearances
Nosso estudo centrou-se sobre o conto Teoria do Medalhão (1881), de Machado de Assis, tendo por objeto de investigação o modo como o autor articula o recurso da paródia entendida no seu duplo sentido de paralelismo e inversão à luz dos fundamentos teóricos de Hutcheon (1995), para quem a paródia é transcontextualização irônica, isto é, repetição com diferença crítica e Bakhtin (1993), que destaca a estrutura dialógica do discurso paródico: um híbrido premeditado entre o discurso parodiado e aquele que o parodia, sem, contudo, destruí-lo. Embora haja na fortuna crítica desse conto alguns estudos que caminham nessa direção, como os de: Almeida (2006) e Rego, (1989), aqui trataremos da paródia sob uma outra perspectiva, isto é, no contexto da tradição do sério-cômico, especialmente da sátira menipéia, cuja raiz dialógica é analisada rigorosamente por Bakhtin como célula originária do discurso romanesco. É no âmbito dessa linhagem - à qual Machado explicitamente se filia, conforme deixa registrado obliquamente num lance metaficcional em Teoria do Medalhão: somente não deves empregar a ironia, esse movimento ao canto da boca, cheio de mistérios, inventado por algum grego da decadência, contraído por Luciano, transmitido a Swift e Voltaire, feição própria dos céticos e desabusados. que o subtítulo Diálogo se materializa enquanto paródia de um gênero inscrito na tradição clássica dos diálogos platônicos. Por meio da análise do discurso ambivalente do conto machadiano, pudemos apontar os momentos nos quais havia sob ele um outro discurso o de A República de Platão do qual ora se aproximava, ora se distanciava, num jogo alternado de ocultar-revelar, bem ao gosto de um Machado leitor de Luciano de Samósata. Nosso objetivo, porém, não se limitou apenas ao desvelamento da construção paródica no âmbito da estrutura narrativa. Pretendemos, outrossim, por meio desse conto exemplar dentro da obra contística do autor, refletir sobre o aspecto formativo que engendra, seja em nível de gênero enquanto híbrido de, ao menos, três matrizes: o sério-cômico da menipéia, o diálogo platônico e o ensaio ou conto-teoria (Bosi, 1999) , seja em nível do projeto machadiano de literatura nacional cuja pedra de toque está na formação de um leitor capaz de perceber, por meio de uma leitura dos avessos, a crítica oculta sob o pretenso elogio da figura do medalhão, típico cidadão bem sucedido da sociedade brasileira do século XIX, que se nutria, apenas, das aparências
10
Sozzi, Paola <1987>. "Per una teoria dell'enunciazione nella semiotica dello spazio. Teorie e analisi a confronto." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amsdottorato.unibo.it/8189/1/tesiSOZZI.pdf.
Full textAbstract:
La tesi vuole testare l’applicabilità di uno degli strumenti teorici della disciplina semiotica, il concetto di enunciazione, ai testi e ai linguaggi spaziali. Per definire un generale concetto di enunciazione applicabile poi a diverse semiotiche oggetto, e quindi anche agli spazi, si considerano diverse teorie dell’enunciazione (Benveniste, Greimas, Eco, Véron, Fontanille e Paolucci). Le questioni in esse ricorrenti permettono di disegnare una griglia teorica del concetto, piuttosto astratta.
Successivamente, tramite una rassegna di quei testi che hanno già tentato una sistematizzazione del concetto di enunciazione nella semiotica degli spazi (Greimas, Marrone, Hammad, Pezzini, Zunzunegui, Violi, in particolare), si individuano tre macro-aree in cui suddividere le questioni relative ai sistemi spaziali: le specifiche caratteristiche dell’enunciato spaziale (capitolo 4), la relazione tra enunciazione e prassi enunciativa, riconfigurata in un equilibrio tra enunciazione ed enciclopedia con particolare attenzione alla dimensione “sociale” dei testi spaziali (capitolo 5), la definizione delle figure di soggettività che entrano in relazione con essi (capitolo 6).
A tale apparato teorico si affianca, oltre ai casi presenti nella letteratura, l’analisi di tre luoghi: i supermercati IKEA; un museo organizzato in un ex-centro clandestino di detenzione argentino, che permette di riflettere sulla dimensione “indicale” della spazialità (a partire dal concetti di indice in Peirce); l’Ecomuseo della Grande Guerra in Veneto, che si inscrive nella riflessione dedicata alla relazione del singolo enunciato spaziale con la dimensione enciclopedica che lo ingloba, con le pratiche e i meccanismi sociali sui quali interviene.
Il lavoro qui proposto permette di concludere che esiste un modo di parlare di enunciazione nei testi spaziali e che anzi essa permette di rendere conto di una serie di dinamiche peculiari dei sistemi significanti spaziali: il fenomeno della traccia, l’apertura a nuove risemantizzazioni, il loro necessario collegamento alle dinamiche socio-culturali da cui emergono.The thesis aims at testing the benefit of the application of a semiotic theoretical tool, the concept of enunciation, to the analysis of places and spatial languages. The consideration of different theoretical approaches on enunciation (Benveniste, Greimas, Eco, Véron, Fontanille e Paolucci) will allow to draw a general definition, that does not depend on certain characteristics of specific form of texts. Enunciation is usually used to address semiotic objects from three point of view: their inner structures and in particular their ability to create a contact or a distance between the sender and the receiver of a message; their ability to use and, in the same time, modify systems of rules, norms and grammars; the roles of the subjects of the communication in the definition of a text. It then proceed to consider places from each of these points of view. Analyzing a memory museum built in a ex Clandestine and Torture Center in Argentina, the work will try to understand why our memory discourses often use some sort of spatial traces to built a stronger effect of reality about the past they are linked to. Considering a spread eco-museum that unites all the different memory places related to First World War in Veneto region, the deep intertwined bond between a singular place and all the encyclopaedic dimensions of the culture it is linked to will be underlined. Finally, using all the previous examples and drawing some considerations on IKEA stores, it will be possible to understand how spaces define the subjects of the enunciation on a narrative, textual and social level. The thesis will then prove the usefulness of the concept of enunciation in the analysis of places, stating that it we can only understand these previous dimensions if we relate them to the concept of enunciation
Books on the topic "M-teoria"
1
M come memoria: La memoria nella teoria sociale. Napoli: Liguori, 2012.
Find full text
2
J, Amadeo Edward, ed. John M. Keynes: Cinqüenta anos da Teoria geral. 2nd ed. Rio de Janeiro: Instituto de Pesquisa Econômica Aplicada, 1992.
Find full text
3
Arán de Meriles, Pampa Olga., ed. Diccionario lexico de la teoria de Mijail M. Bajtin. Cordoba (Argentina): Universidad Nacional de Cordoba, 1996.
Find full text
4
Le grand paradoxe de M. Descartes: La teoria cartesiana delle verità eterne nell'Europa del XVII secolo. [Florence, Italy]: L.S. Olschki, 2007.
Find full text
5
Olivieri, Ugo M. Lo specchio e il manufatto: La teoria letteraria in M. Bachtin, Tel Quel e H. R. Jauss. Milano: F. Angeli, 2011.
Find full text
6
Lo specchio e il manufatto: La teoria letteraria in M. Bachtin, Tel Quel e H. R. Jauss. Milano: F. Angeli, 2011.
Find full text
7
Pravna teorija: Dragan M. Mitrović. Beograd: Pravni fakultet Univerziteta u beogradu, 2007.
Find full text
8
Bukharin, S. V. Metody i prilozhenii͡a︡ teorii nestat͡s︡ionarnykh M-sistem. Voronezh: Izd-vo Voronezhskogo universiteta, 1992.
Find full text
9
T︠S︡vik, M. V., and O. V. Petryshyn. Problemy teoriï prava i konstytut︠s︡ionalizmu u prat︠s︡i︠a︡kh M. V. T︠S︡vika. Kharkiv: Pravo, 2010.
Find full text
10
T︠S︡vik, M. V., and O. V. Petryshyn. Problemy teoriï prava i konstytut︠s︡ionalizmu u prat︠s︡i︠a︡kh M. V. T︠S︡vika. Kharkiv: Pravo, 2010.
Find full textBook chapters on the topic "M-teoria"
1
MOREIRA, W. S. "LUMINOLOGIA E(M) TEORIA QUEER: RUMO AO DESENVOLVIMENTO DE PESQUISAS PÓS-ILUMINISTAS." In VOZES E PESQUISAS LGBTQIA+, 6–22. Editora Terried, 2022. http://dx.doi.org/10.48209/978-65-84959-04-1.
Full text
2
Procópio, Andreza Molinário. "OPERAÇÕES DE FUSÕES E AQUISIÇÕES (M&A) CONFORME A TEORIA DOS JOGOS." In A (Não) Efetividade das Ciências Jurídicas no Brasil 2, 269–90. Atena Editora, 2020. http://dx.doi.org/10.22533/at.ed.70620300321.
Full text
3
Wigum, Jan Petter, and Gunhild Birgitte Sætren. "ARTIKKEL 4 Teoretisk trafikal kunnskap – motivasjon hos yngre trafikanter i klassen AM 146." In Studentaktiv læring – praksisnær undervisning i høyere utdanning, 123–40. Cappelen Damm Akademisk/NOASP, 2019. http://dx.doi.org/10.23865/noasp.72.ch4.
Full textAbstract:
Målet med denne undersøkelsen var å finne motivasjonen for innlæring av teoretisk trafikal kunnskap i mopedopplæring (førerkortklasse AM 146), samt å finne ut når elevene tilegner seg denne kunnskapen. AM 146 er den eneste førerkortklassen som kun krever teoretisk prøve. Indre motivasjon er ansett som viktig for å oppnå kvalitativ læring. Av den grunn ble det gjennomført en surveyundersøkelse med N = 40 ungdommer, der alle var 16 år. Kjønnsfordelingen var F = 26 (65 %) og M = 14 (35 %). Over 90 % av respondentene svarte at de forbereder seg på teorien kun før den teoretiske prøven, og at de ikke leser teori før eller i løpet av den praktiske gjennomgangen. Dette indikerer at de fleste elevene ikke leser teori før etter at den praktiske delen er ferdig, og at de sannsynligvis har en ytre motivasjon for å lese teorien til førerprøven.
4
Brito, Samara da Silva, and Isis Simões Leão. "ESTUDO COMPARATIVO ENTRE A TEORIA FREUDIANA E A LOGOTERAPIA SOBRE JULIETTE M. NO LIVRO “POR QUE EU”?" In TEMAS DE CIÊNCIAS DA SAÚDE- VOL 2. Home Editora, 2022. http://dx.doi.org/10.46898/home.9786584897236.9.
Full text
5
KELLY DE SOUSA GALVÃO, LILIAN, MARÍLIA PEREIRA DUTRA, and VIVIANE ALVES DOS SANTOS BEZERRA. "O DESENVOLVIMENTO DA EMPATIA: CONHECIMENTO TEÓRICO E PRÁTICO PARA PROFISSIONAIS DA EDUCAÇÃO." In Escola em tempos de conexões - Volume 03. Editora Realize, 2022. http://dx.doi.org/10.46943/vii.conedu.2021.03.002.
Full textAbstract:
O OBJETIVO PRINCIPAL DESTE TEXTO É OFERECER CONHECIMENTO TEÓRICO E PRÁTICO DE COMO EDUCADORES PODEM DESENVOLVER A EMPATIA, NO AMBIENTE EDUCACIONAL PRESENCIAL E REMOTO, COM APRENDENTES DA EDUCAÇÃO INFANTIL ATÉ O ENSINO UNIVERSITÁRIO, TENDO COMO RESPALDO TEÓRICO E METODOLÓGICO PRINCIPAL A TEORIA DE M. HOFFMAN SOBRE A EMPATIA E OS ESTUDOS INTERVENTIVOS DESENVOLVIDOS POR L. GALVÃO E COLABORADORES. O TEXTO ENCONTRA-SE ORGANIZADO EM TRÊS PARTES: (1) ASPECTOS CONCEITUAIS; (2) ETAPAS DA INTERVENÇÃO; E (3) EXEMPLOS DE PRÁTICAS INTERVENTIVAS. NA PRIMEIRA PARTE, SERÃO ABORDADOS CONCEITOS COMO EMPATIA AFETIVA, EMPATIA COGNITIVA, ESTÁGIOS DE DESENVOLVIMENTO EMPÁTICO, SENTIMENTOS EMPÁTICOS (RAIVA EMPÁTICA, CULPA EMPÁTICA, DENTRE OUTROS) E PSICODRAMA. NA SEGUNDA, SERÃO EXPLICITADAS AS ETAPAS DA INTERVENÇÃO, SISTEMATIZADAS POR L. GALVÃO E COLABORADORES: AQUECIMENTO, DRAMATIZAÇÃO, COMPARTILHAR E COMPORTAMENTO PRÓ-SOCIAL. POR FIM, NA TERCEIRA PARTE, SERÃO APRESENTADOS ALGUNS EXEMPLOS DE INTERVENÇÕES REALIZADAS E VALIDADAS MEDIANTE ESTUDOS QUANTITATIVOS E QUALITATIVOS. ESPERA-SE QUE O TEXTO ELABORADO CONTRIBUA PARA A FORMAÇÃO DE AGENTES DE TRANSFORMAÇÃO, PREOCUPADOS EM COLABORAR COM A CONSTRUÇÃO DE UMA CULTURA DE PAZ.
6
Balzan, Renan Luís, and Michelle Camara Pizzato. "O paradigma do processamento de informações e a Teoria de Robert M. Gagné, aplicados à aulas de teclado/piano na EPT." In Educação Profissional e Tecnológica: Práticas, organização e memórias. Editora Poisson, 2021. http://dx.doi.org/10.36229/978-65-5866-114-6.cap.08.
Full text
7
VERA QUEIROZ DE, SOUZA, CARMO ALEX PAULO MARTINS DO, SANTOS GABRIEL GARRETO DOS, SANTOS MACIEL GARRETO DOS, and ROSAL LOUISE FERREIRA. "COMPREENSÃO DA RELAÇÃO ENTRE O MEIO BIOFÍSICO AMAZÔNICO E O COMPONENTE HUMANO NO SÍTIO APARECIDA, MEDICILÂNDIA, PA." In PERSPECTIVAS DAS CIÊNCIAS AGRÁRIAS NA SOCIEDADE 5.0: EDUCAÇÃO, CIÊNCIA, TECNOLOGIA E AMOR, 358–61. Instituto Internacional Despertando Vocações, 2020. http://dx.doi.org/10.31692/978-65-88970-07-2.358-361.
Full textAbstract:
Em decorrência do crescimento populacional mundial e da diminuição constante dos recursos naturais utilizados nos processos de produção de alimentos, surge a necessidade de pensar uma lógica de produção de alimentos que seja mais sustentável, mais harmônica com a natureza, sobretudo através de processos naturais, que possibilitem melhor aproveitamento e maior racionalidade na utilização desses recursos. Nesse cenário, o conhecimento agroecológico aparece como um importante meio de disseminação de técnicas que incentivem e viabilizem esse tipo de produção, tornando-as sustentáveis e viáveis economicamente. O processo de construção do conhecimento agroecológico se dá na troca de experiências dos saberes agroecológicos, que provêm principalmente de agricultores familiares e camponeses, e sua interação com os conhecimentos acadêmicos construídos na academia ou em vivências nas comunidades rurais. No IFPA Campus Castanhal, uma forma de diminuir a distância entre a teoria e a práxis acontece no estágio de campo do curso de agronomia e é o que trata esse relato técnico. Assim, a experiência foi realizada por discentes do 3º semestre, durante o período de 16 a 26 de outubro de 2018, na comunidade rural denominada Imaculado Coração de Maria, especificamente no sitio Aparecida, que possui área total de 192 hectares, pertencente a um casal de agricultores, no município de Medicilândia. A cidade está localizada às margens da BR 230 – Rodovia Transamazônica, Km 90 Altamira/Itaituba, região Sudoeste do Pará. Faz limite com os municípios de Altamira, Brasil novo e Uruará e está a 1000 km da capital Belém. Seu território totaliza 8.273 km² e está localizado a 03° 26’ 45” de latitude Sul e 52° 53’ 20” de longitude Oeste, a uma altitude de 151 m e com uma população de 27.328 habitantes (IBGE, 2010). Este município tem grande importância no cenário nacional, pois é considerado o maior produtor de cacau em amêndoas do país. Segundo dados da produção agrícola municipal de 2010, foi responsável por aproximadamente 9% da produção nacional. Atualmente, existem mais de 25 mil hectares com lavouras de cacau, que envolvem aproximadamente 1.870 agricultores (CEPLAC, 2010). O objetivo da experiência foi promover a imersão dos discentes na realidade do meio rural de Medicilândia, orientados pelo eixo norteador “Meio Biofísico Amazônico e o Homem”. Portanto, teve como intuito compreender a relação dos elementos bióticos e abióticos dos agroecossistemas com os sujeitos viventes do sítio Aparecida.
Conference papers on the topic "M-teoria"
1
Bravo, Raquel Souza Francisco, and Maria Luíza López Cruz. "Problemas de M-partição em cografos." In Encontro de Teoria da Computação. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/etc.2020.11094.
Full textAbstract:
O estudo de grafos é um tópico importante em Ciência da Computação, no campo teórico e prático. Este trabalho consiste na resolução de um problema na área de teoria dos grafos: o problema da M-partição visa apresentar uma caracterização dos grafos cujo conjunto de vértices pode ser particionado em k conjuntos independentes e l cliques, encontrando as obstruções minimais para essa partição. Devido à dificuldade do problema da M-partição, que é NP-completo, este trabalho considera o problema restrito à classe dos cografos com matriz simétrica M de ordem 4 (m = 4). Esta matriz representa as restrições externas e internas acerca da partição desejada e suas entradas podem ser elementos {0,1,*}.
2
Martins, Ernane, and Luís Gouveia. "Modelo Pedagógico ML-SAI: Uma Atividade Experimental no Ensino Médio." In Workshop de Informática na Escola. Sociedade Brasileira de Computação, 2019. http://dx.doi.org/10.5753/cbie.wie.2019.29.
Full textAbstract:
Este artigo tem como objetivo apresentar o modelo pedagógico ML-SAI, que foi fundamentado na teoria da Sala de Aula Invertida (SAI) e visa orientar atividades de m-learning, relatando sua experimentação em uma atividade do Ensino Médio. Assim, este artigo a princípio define os modelos pedagógicos, os aspectos relacionados à m-learning e a teoria SAI, apresenta a estrutura e estratégias do ML-SAI. Em seguida descreve a sua aplicação, especificando os recursos pedagógicos utilizados e os procedimentos metodológicos adotados. Por fim, apresenta os resultados encontrados, promovendo algumas reflexões e considerações sobre o mesmo.
3
Martins, Ernane, and Luís Gouveia. "ML-SAI: Um Modelo Pedagógico para Atividades de M-Learning que Integra a Abordagem da Sala de Aula Invertida." In XXVII Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/wei.2019.6623.
Full textAbstract:
Este presente trabalho tem como objetivo apresentar uma análise das estratégias do modelo pedagógico ML-SAI, o qual foi desenvolvido para orientar atividades de m-learning, fundamentado na Teoria da Sala de Aula Invertida (SAI). Para tal foi realizada uma pesquisa bibliográfica sobre os modelos pedagógicos, os aspectos relacionados à m-learning, os princípios básicos da SAI e apresenta-se a estrutura e estratégias do ML-SAI. A seguir, analisou-se os resultados encontrados com a experimentação do modelo, na disciplina de introdução a programação, promovendo algumas reflexões e considerações sobre o mesmo. Estas analises revelaram, que o modelo, colabora positivamente com a aquisição de conhecimentos e competências.
4
Pasquali, Adriane Rodrigues De Morais, and Talita Vieira Braga. "DIMORFISMO SEXUAL MORFOMÉTRICO DE DIXIPHIA PIPRA." In I Congresso Brasileiro de Biodiversidade Virtual. Revista Multidisciplinar de Educação e Meio Ambiente, 2021. http://dx.doi.org/10.51189/rema/1087.
Full textAbstract:
Introdução: Características morfológicas dos seres vivos são aspectos que permitem avançar na compreensão de questões evolutivas, reprodutivas e comportamentais relacionadas com a Teoria da Seleção Sexual. Objetivo: o estudo visou verificar se existe diferença sexual em Dixiphia pipra, uma espécie de ave da família Pipridae, que são conhecidas por seu comportamento reprodutor em lek, com elaboradas exibições de cortejo. Metodologia: Informações morfológicas que melhor representam a diferença sexual, como a massa corporal (g), o comprimento total do corpo (mm) e o comprimento da asa (mm), foram obtidas em um banco de dados morfológicos de espécies de aves da Mata Atlântica. Resultados: A partir de registros que foram obtidos na ecorregião Bahia Coastal Forests foi verificado que os sexos não são diferentes entre si (massa corporal: p = 0,069, comprimento total do corpo: p = 0,067, comprimento da asa: p = 0,204). Entretanto, apesar de estatisticamente iguais, pode-se verificar que existiu uma tendência dos machos serem menores que as fêmeas, tanto para o tamanho total do corpo (fêmeas: m = 100,9 mm, n = 12 e machos: m = 95,0 mm, n = 11), quanto para a massa corporal (fêmeas: m = 13,1 g, n = 12 e machos: m = 12,2 g, n = 12). A diferença na massa corporal já havia sido registrada para o bioma amazônico, com machos mais leves que fêmeas (fêmeas: m = 11,9 g, machos: m = 11,2), enquanto o comprimento da asa também não apresentou diferença. Discussão e conclusão: A diferença morfológica entre os sexos, mesmo que pequena, pode ser relevante para essa espécie. Apesar das diferenças observadas na Mata Atlântica e na Amazônia serem no sentido contrário ao esperado pela Teoria da Seleção Sexual, que seria machos maiores que as fêmeas, para D. pipra machos menores pode os tornar mais ágeis em suas exibições durante a dança pré-nupcial. Além disso, é relevante destacar que a diferença da massa corporal verificada entre os dois biomas pode ocorrer devido a fatores como condições ambientais, alimentação, migração, muda de penas e reprodução.
5
Ogioni Vieira do Nascimento, Guilherme, Marcelo Antônio Alves Lima, Leandro Rodrigues Manso da Silva, and Carlos Augusto Duque. "Rastreador recursivo de subespaços e ordem do modelo aplicado à estimação adaptativa do número de componentes harmônicos e inter-harmônicos em sinais elétricos." In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1694.
Full textAbstract:
Em muitas aplicações se faz necessário conhecer previamente o número exato de componentes senoidais presentes em um sinal, como é o caso dos métodos paramétricos de alta resolução de frequência para estimação de parâmetros de componentes em sinais elétricos na presença de ruído. Este trabalho propõe a utilização de um método para estimação do número de componentes harmônicos e inter-harmônicos em sinais elétricos baseado em técnicas de subespaços e em teoria da informação. Trata-se de um método recursivo que se utiliza do rastreador de subespaços PASTd (Projection Approximation Subspace Tracking with deflation), que apresenta complexidade computacional baixa de ordem O(mr), onde m denota o tamanho do vetor de entrada e r a dimensão do subespaço de sinal. Além disso, o método utiliza um detector de ordem baseado nos critérios advindos da teoria da informação AIC (Akaike Information Criterion) e MDL (Minimum Description Length). Resultados de diversos testes de simulação serão gerados e discutidos com o intuito de caracterizar o método e identificar possíveis pontos fortes e fracos.
6
Martins, Ernane, and Luís Gouveia. "Desenvolvimento do Aplicativo ML-SAI para Android com Uso do App Inventor." In Escola Regional de Informática de Mato Grosso. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/eri-mt.2019.8593.
Full textAbstract:
A automatização de um modelo pedagógico atualmente é indispensável, por a disponibilização deste gratuitamente. Este trabalho tem como objetivo relatar o desenvolvimento do aplicativo ML-SAI por meio da ferramenta App Inventor, com base no modelo pedagógico para atividades de m-learning de mesmo nome, que foi fundamentado na teoria da Sala de Aula Invertida (SAI), visando contribuir para orientar o planejamento e a realização de atividades de ensino. A pesquisa realizada caracteriza-se como exploratória, por abordar novos problemas ainda pouco explorados. O aplicativo poderá contribuir para orientar o planejamento e a realização de atividades de ensino e aprendizado com o uso de dispositivos móveis.
7
Faur, Elena. "Despre contextul actual în cercetarea metaforei. Metaforă și afectivitate." In Filologia modernă: realizări şi perspective în context european. “Bogdan Petriceicu-Hasdeu” Institute of Romanian Philology, Republic of Moldova, 2021. http://dx.doi.org/10.52505/filomod.2021.15.18.
Full textAbstract:
În ultimii ani, tot mai mulți cercetători consideră că cercetarea metaforei ar putea profita de pe urma unei integrări a ideilor dezvoltate de orientări distincte sau chiar divergente. În lucrarea de față voi urmări un țel similar și voi propune o integrare a unor tradiții distincte de cercetare. Este vorba, pe de o parte, de o tradiție care își are punctul de origine în lingvistica integrală a lui Eugeniu Coșeriu și, pe de altă parte, de o altă tradiție de cercetare care pornește de la Teoria Metaforei Conceptuale și orientările asociate acesteia. În prima parte a lucrării voi expune o imagine de ansamblu a perspectivei coșeriene asupra metaforei și a concepției sale cognitive, întemeiată pe tradițiile majore europene din filosofia limbajului. În a doua parte voi schița peisajul curent al cercetării metaforei din metaforologia actuală, încercând să identific achizițiile științifice importante de care ar putea profita cadrul integralist. La final voi argumenta că conceptul de „emoție” ‒ dezvoltat de M. Johnson (2017, 2018) și inspirat din ideile provenite din operele Lui W. James, J. Dewey și A. Damasio – și cel de „inter-afectivitate”, elaborat de Fuchs și Koch (2014), au cel mai mare potențial de a fi integrate în teoria integralistă a metaforei.
8
Gomes, Guilherme de C. M., Bruno P. Masquio, Paulo E. D. Pinto, Vinicius F. Santos, and Jayme L. Szwarcfiter. "Emparelhamento Desconexo é NP-Completo." In Encontro de Teoria da Computação. Sociedade Brasileira de Computação - SBC, 2021. http://dx.doi.org/10.5753/etc.2021.16372.
Full textAbstract:
Um subconjunto M ⊆ E de arestas de um grafo G = (V, E) é um emparelhamento se nenhum par de arestas de M compartilha um vértice comum. Recentemente, P-emparelhamentos foram propostos, os quais requerem algumas propriedades dos subgrafos induzidos pelos vértices M-saturados de G. Tratamos um deles, o problema do emparelhamento desconexo, cuja propriedade é que o referido subgrafo induzido seja desconexo. Embora alguns algoritmos eficientes já tenham sido mostrados para algumas classes, a complexidade do problema geral permanecia em aberto. Apresentamos uma prova de que o emparelhamento desconexo é NP-completo, mesmo para grafos bipartidos e grafos com diâmetro limitado.
9
Jonck Junior, A. L., and C. N. Campos. "Sobre (2,1)-colorações em grafos exoplanares maximais." In Encontro de Teoria da Computação. Sociedade Brasileira de Computação - SBC, 2021. http://dx.doi.org/10.5753/etc.2021.16380.
Full textAbstract:
Uma $(m, d)$-coloração $\pi$ de um grafo $G$ é uma atribuição de $m$ cores aos vértices do grafo de maneira que, para todo vértice $u$ de $G$, no máximo $d$ vizinhos de $u$ possuem a cor $\pi(u)$. Neste trabalho, exibimos uma condição necessária para a existência de $(2,1)$-colorações em grafos exoplanares maximais com pelo menos quatro vértices.
10
De Souza, Rodrigo. "Sobre a minimização de transdutores sequenciais." In I Encontro de Teoria da Computação. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/etc.2016.9838.
Full textAbstract:
Estudamos a minimização de transdutores sequenciais utilizando para as saídas uma família de monóides que chamamos de monóides com mdc. Provamos a existência de um transdutor minimal para funções sequenciais ! M, onde M é um monóide cancelativo com mdc único. Esse resultado inclui diversos monóides de interesse, como os monóides livres, e o monóide aditivo dos números reais não-negativos. Também apresentamos uma caracterização das funções sequenciais ! M, onde M é um monóide cancelativo com mdc, utilizando a congruência à direita de uma função.