Modelagem matemática e aplicações do problema de coloração em grafos

Pós-graduação em Matemática - IBILCE

Grafos em superfícies

Pós-graduação em Matemática Universitária - IGCE

GRAFOS coloração, planaridade e "Matching"

A matemÆtica discreta Ø um dos ramos mais antigos da matemÆtica. Nos tempos mais recentes sofreu grandes avanos em especial na teoria dos grafos, a qual tornou-se numa poderosa ferramenta de anÆlise para entender e dar soluªo a vÆrios tipos de problemas complexos. O objectivo deste trabalho Ø contribuir para a obtenªo de possveis relaıes entre assuntos que partida poderamos pensar que sªo dspares (quando na realidade nªo o sªo), como coloraªo, planaridade e a existŒncia de matching em grafos. Esta dissertaªo Ø um trabalho de natureza reexiva, sobre a teoria dos grafos onde a ideia principal passa por questionarmos e discutirmos alguns temas pertinentes, deniıes e teoremas relacionando sempre com a planaridade dos grafos. DesenvolveremosumraciocnioecriaremosargumentosquefundamentemaexistŒncia de uma relaªo entre este tema e a coloraªo de grafos e a existŒncia de matching em grafos, utilizando exemplos e estabelecendo relaıes de causa e consequŒncia, deduzindo assim as respetivas conclusıes. Por vezes, os grafos nªo planares podem conter um aspeto visual um pouco complexo, devido aos vÆrios cruzamentos entre as suas arestas, originando assim um certo desencorajamento em utilizÆ-los como ferramenta para a soluªo de vÆrios problemas, quer sejam bÆsicos do quotidiano, ou mais complexos das mais vastas Æreas ligadas investigaªo. Um dos propsitos deste trabalho passa por desmisticar esta ideia e provar que existem muitas deniıes, propriedades, teoremas e algoritmos que podem ser aplicados em qualquer tipo de grafos, independentement da sua planaridade.

Uma investigação das sequências de fase Hebbianas descritas como grafos de assembleias neuronais

Hebb proposed that synapses between neurons that fire synchronously are strengthened, forming cell assemblies and phase sequences. The former, on a shorter scale, are ensembles of synchronized cells that function transiently as a closed processing system; the latter, on a larger scale, correspond to the sequential activation of cell assemblies able to represent percepts and behaviors. Nowadays, the recording of large neuronal populations allows for the detection of multiple cell assemblies. Within Hebb’s theory, the next logical step is the analysis of phase sequences. Here we detected phase sequences as consecutive assembly activation patterns, and then analyzed their graph attributes in relation to behavior. We investigated action potentials recorded from the adult rat hippocampus and neocortex before, during and after novel object exploration (experimental periods). Within assembly graphs, each assembly corresponded to a node, and each edge corresponded to the temporal sequence of consecutive node activations. The sum of all assembly activations was proportional to firing rates, but the activity of individual assemblies was not. Assembly repertoire was stable across experimental periods, suggesting that novel experience does not create new assemblies in the adult rat. Assembly graph attributes, on the other hand, varied significantly across behavioral states and experimental periods, and were separable enough to correctly classify experimental periods (Naïve Bayes classifier; maximum AUROCs ranging from 0.55 to 0.99) and behavioral states (waking, slow wave sleep, and rapid eye movement sleep; maximum AUROCs ranging from 0.64 to 0.98). Our findings agree with Hebb’s view that neuronal assemblies correspond to primitive building blocks of representation, nearly unchanged in 10 the adult, while phase sequences are labile across behavioral states and change after novel experience. The results are compatible with a role for phase sequences in behavior and cognition

Älykkään suunnittelun teoria : Tutkimus kansanomaisen psykologian ja biologian yhteydestä kreationistiseen ajatteluun

Tutkimuksen kohteena on (uus)kreationistinen älykkään suunnittelun (Intelligent Design) teoria. Tutkimus on luonteeltaan teoreettinen ja lukeutuu kognitiivisen uskonnontutkimuksen alaan. Näkökulmana on tarkastella älykkään suunnittelun teorian mukaista ajattelua ihmisen intuitiivisena taipumuksena ymmärtää luontoa ja luonnossa esiintyviä mekanismeja. Esimerkkinä intuitiivisesta päättelystä tarkastellaan erityisesti kansanomaisen psykologian (folk psychology) ja kansanomaisen biologian (folk biology) mukaista ajattelua. Tutkimuksessa kysytään: ilmeneekö älykkään suunnittelun teoriassa mahdollisesti kansanomaisen psykologian ja biologian mukaista ajattelua? Ensimmäiseksi käsitteellistetään älykkään suunnittelun teoria ja esitellään tutkimuksen aineisto. Esille tulevat yhteydet Yhdysvaltojen uskonnolliseen ilmapiiriin, kristillisten kreationististen suuntausten jatkumoon sekä evoluutioteoriaan. Aineisto koostuu älykkään suunnittelun teoriaa kehitelleen Michael J. Behen todistajanlausunnosta Doverin oikeudenkäynnissä, jossa arvioitavana oli älykkään suunnittelun teorian mahdollinen tieteellisyys ja uskonnollisuus. Tutkimuksen teoreettisessa viitekehyksessä määritellään tarkemmin, minkälaisiin ajattelutapoihin kansanomaisella, tieteellisellä ja uskonnollisella ajattelulla tutkimuksessa viitataan. Tämän jälkeen esitellään teoreettiset työvälineet - kansanomaisen psykologia ja biologia. Teoriaosuudessa tarkennetaan myös kansanomaisen, tieteellisen ja uskonnollisen ajattelun suhdetta intuitiiviseen ja intuitionvastaiseen ajatteluun, sekä määritellään kolmas termi epäintuitiivisuus. Teoriaosuus perustuu pääasiassa kognitiivisen uskonnontutkimuksen alaan lukeutuvien tutkijoiden, kuten Scott Atranin, Pascal Boyerin, Robert N. McCauleyn ja Ilkka Pyysiäisen julkaisuihin. Tutkimuksessa tarkastellaan myös evoluutioteorian ymmärtämistä tutkineen E. Margaret Evansin tutkimuksia. Analyysissä teoreettisia huomioita havainnollistetaan aineistosta löydettyjen esimerkkien kautta. Teoriaohjaavan sisällönanalyysin kautta Behen todistajanlausunnosta nostetaan esille erityisesti kansanomaisen psykologian ja biologian mukaiset ajattelun tavat. Analyysissä tarkastellaan, mitä tutkimuslöydösten avulla voidaan selittää älykkään suunnittelun teorian edustamasta kreationistisesta ajattelusta. Tutkimustuloksena esitetään, että älykkään suunnittelun teoria mukailee monilta osin sekä kansanomaista psykologiaa että kansanomaista biologiaa. Älykkään suunnittelun teoriassa muodostetaan intuitiivinen ideakokonaisuus maailmasta/ eliökunnasta ja sen aiheuttaneesta intuitionvastaisesta toimijasta. Mahdolliset epäintuitiiviset elementit, kuten luonnonvalinta ja kristillinen teologia, ovat teoriassa olemattomat. Tutkimuksessa osoitetaan, että kreationistista ajattelua voidaan perustellusti tarkastella ihmiselle intuitiivisena taipumuksena ymmärtää luontoa.

John Searlen teoria tietoisuudesta

Tutkielmassa esitellään ja arvioidaan John Searlen teoriaa tietoisuudesta. Tietoisuus (consciousness) on Searlen mukaan tärkein mielenfilosofinen käsite. Searle ei määrittele käsitettä tarkasti, vaan tyytyy esittämään sitä kuvaavia esimerkkejä ja analogioita. Tietoisuuden keskeisimmiksi ominaisuuksiksi Searlen teoriassa näyttävät muodostuvan intentionaalisuus (intentionality), subjektiivisuus (subjectivity) ja kausaalinen vaikutus käyttäytymiseen (mental causation). Näihin ominaisuuksiin liittyvät myös Searlen painavimmat tietoisuudesta esittämät argumentit. Argumenttien analysointi on tutkielman tärkein tavoite. Searlen yhteysperiaatteen (Connection Principle) mukaan intentionaalisia tiloja voi olla vain olennolla, jolla voi olla tietoisia intentionaalisia tiloja, ja jokainen alitajuinen intentionaalinen tila on ainakin potentiaalisesti tietoinen. Toisin sanoen intentionaalisuuden ja tietoisuuden välillä vallitsee välttämätön yhteys seuraavasti: on loogisesti välttämätöntä, että jokainen intentionaalinen tila voi ainakin periaattessa päästä tietoisuuteen.Tutkielmassa kuitenkin osoitetaan, että yhteysperiaateeseen on syytä suhtautua epäillen. Searlen yhteysperiaatteen puolesta esittämä argumentti näyttää nimittäin sisältävän dilemman. Jos erottelu intrinsiseen ja näennäiseen intentionaalisuuteen tulkitaan Searlen tavoin, syyllistytään sen olettamiseen, mikä pitäisi todistaa; jos taas erottelu tulkitaan toisin kuin Searle, argumentti ei tue yhteysperiaatetta. Searlen mukaan mentaaliset tilat ovat aina jonkun mentaalisia tiloja. Tästä väitteestä Searle pyrkii johtamaan toisen, paljon radikaalimman väitteen: mielen ilmiöt kuuluvat omaan ontologiseen kategoriaansa, subjektiivisten mentaalisten tilojen kategoriaan. Searlen käsitystä tukee Thomas Nagelin esittämä, hyvin samansisältöinen argumentti. Yksimielisyys ei kuitenkaan ole erehtymättömyyden tae, sillä Paul Churchlandin kritiikki näyttää pahasti horjuttavan Searlen subjektiivisuusargumentin uskottavuutta. Churchland väittää Searlen syyllistyvän intensionaaliseen virhepäätelmään. Yksittäisen henkilön episteemisen pääsyn rajoittuneisuudesta ei Churchlandin mukaan voida tehdä mitään ontologisia johtopäätöksiä, koska tiedetyksi tuleminen ei ole objektin aito ominaisuus. Vastaväite näyttää olevan kohtalokas Searlen subjektiivisuusargumentille. Subjektiivisuuden ongelma näyttää olevan perustava metafyysinen vedenjakaja, joka jakaa mielenfilosofiset teoriat toisaalta materialistisiin, toisaalta dualistisiin. Searle uskoo, että mieli-ruumis -ongelma (mind-body problem) on ratkaistavissa ilman, että tarvitsee valita kumpaakaan. Ratkaisu sisältyy kahteen Searlen näennäisesti yhteensopimattomaan teesiin. Ensimmäisen teesin mukaan mentaaliset tilat ovat todellisia ilmiöitä, eikä niitä voida redusoida mihinkään muuhun tai eliminoida määrittelemällä ne uudestaan. Toisen teesin mukaan aivojen operaatiot aiheuttavat mentaaliset tilat ja mentaaliset tilat ovat aivojen piirteitä. Teeseistä jälkimmäinen osoittautuu ongelmalliseksi syistä, jotka Jaegwon Kim on esittänyt. Jos mentaaliset tilat olisivat aivojen ominaisuuksia, ei mielen ja aivojen välinen suhde voisi olla kausaalinen, koska kausaatiossa (causation) on aina kyse kahden erillisen entiteetin tai tapahtuman välisestä relaatiosta, jossa suhteen osapuolien välillä on oltava ajallista etäisyyttä. Toiseksi Searlen vertaus tietoisuuden ja aivojen suhteesta kappaleen kiinteyden ja sen mikrorakenteen suhteeseen epäonnistuu, koska tietoisuus ja kiinteys kuuluvat Searlen teoriassa eri ontologisiin kategorioihin, eikä niitä siten voi ongelmattomasti rinnastaa. Searlen analogia kiinteyteen murtuu myös siksi, että kappaleen mikrorakenne ei yksinkertaisesti aiheuta sen kiinteyttä. Tietoisuus ei siis voi olla samanaikaisesti aivojen ominaisuus ja aivojen kausaalisen toiminnan seuraus. Tutkielmassa päädytään puolustamaan kantaa, että Searlen argumentit eivät ole vakuuttavia ja että Searle ei ole onnistunut eksplikoimaan teoriaa, joka välttäisi dualismiin ja materialismiin liittyvät tunnetut ongelmat. Kysymys mikä on mielen suhde ruumiiseen, jää siten avoimeksi. Avainsanat: intentionaalisuus, mentaalinen, mieli-ruumis -ongelma, Searle, subjektiivisuus, tietoisuus

Manual de teoria: Microbiologia veterinaria II

El Manual de Teoría de Microbiología II tiene como principal objetivo reunir la mayor información básica de los contenidos establecidos en el programa de la asignatura, de esta forma los estudiantes adquieran los conocimientos necesarios. Les aporta además la forma estructurada para el aprendizaje, lo cual le posi- bilita un método de estudio y establecer las interrelaciones necesarias para un estudio sistemático. Como texto básico podrá después utilizar textos con mayor información teniendo de antemano los conocimientos previos y necesarios. La información reunida en el presente Manual de Microbiología II es el resultado de la recopilación de la información de autores y especialistas, solo nos correspondió sobre las experiencias de los que nos precedieron reunir y estructurar los contenidos. Es necesario establecer para su estudio un pensamiento lógico y de constante interrelación y a la vez de integración hacia el desarrollo de un pensamiento independiente y creativo. Es muy importante establecer un estudio sistemático y el uso de la síntesis y a la vez emplear un método científico, elevada avidez por saber y profundizar para adquirir la formación de un profesional preparado y capacitado para asumir las responsabilidades en el cumplimiento de sus compromisos sociales.

Aplicabilidade da teoria do desvio de poder no controle da constitucionalidade de atos legislativos : contornos, limites e superação pela teoria dos princípios

Consultoria Legislativa - Área VIII - Área de Direito Administrativo e de Administração Pública.

Declaração judicial de inconstitucionalidade das leis distritais da 5.ª legislatura : uma análise à luz da teoria dos diálogos constitucionais

O trabalho promove um estudo exploratório-analítico sobre as leis distritais da 5.ª Legislatura declaradas inconstitucionais pelo Poder Judiciário, sob o enfoque de sua tramitação legislativa e das características dessas leis. São utilizados conhecimentos acerca dos limites jurídicos opostos ao legislador distrital, do modelo distributivista de comportamento parlamentar, associado a práticas políticas clientelistas, e da concepção da jurisdição constitucional à luz da teoria dos diálogos constitucionais, pela qual a adequada interpretação da Constituição Federal e da Lei Orgânica do Distrito Federal estabelece-se a partir do diálogo dos Poderes da República entre si e com a sociedade civil, e não pela última palavra a ser declarada pelos tribunais judiciários. Com a análise dos dados coletados, pretende-se identificar as principais causas, as características e os autores do fenômeno da declaração judicial de inconstitucionalidade das leis distritais, a fim de possibilitar uma melhor compreensão da comunidade sobre esse complexo tema.

Visualización interactiva de grafos con el programa Xglore

[ES] El presente manual describe el manejo de grafos de forma interactiva en el entorno 3D que proporciona el programa Xglore (http://sourceforge.net/projects/xglore/). Forma parte del proyecto “Nerthusv2: Base de datos léxica en 3D del inglés antiguo” patrocinado por el Ministerio de Ciencia e Innovación (nº: FFI08-04448/FILO).

Teoria e prática da atuação das frentes parlamentares : o caso da Frente Parlamentar Mista de Educação em 2011

Descreve o papel e a atuação da Frente Parlamentar Mista de Educação na 54º Legislatura, em 2011. As metas propostas pela Frente e os resultados efetivamente alcançados são examinados à luz das conexões eleitorais que orientam as ações parlamentares, da teoria da escolha racional, da lógica da ação coletiva e da teoria da visibilidade. A preocupação central do estudo é verificar a que serve e a quem serve a criação, ainda que não institucionalizadas, de estruturas corporativas no âmbito do Congresso Nacional, especialmente, no presente caso, de uma Frente Parlamentar que atua de forma discreta, porém vigorosa.

“Aditz bakarraren” teoria XIX. mendeko euskal gramatikagintzan

Joseba A. Lakarra & José Ignacio Hualde, arg., Studies in Basque and Historical Linguistics in memoriam of R. L. Trask - R. L. Trasken oroitzapenetan ikerketak Euskalaritzaz eta Hizkuntzalaritza Historikoaz

Sistema de registro de preços : teoria e prática

Diferentemente dos gastos realizados pela iniciativa privada, o recurso público não pode ser despendido livremente. As despesas devem se pautar pela necessária vinculação ao interesse público. No que diz repeito às compras governamentais, a Administração deverá se submeter a um procedimento licitatório que assegure igualdade de condições a todos os concorrentes, a fim de selecionar a proposta mais vantajosa para o contrato de seu interesse. Para aquisições frequentes e com imprevisibilidade de consumo, sempre que possível, os gestores deverão se utilizar do sistema de registro de preços, conjunto de procedimentos - decorrentes de uma concorrência ou de um pregão - destinados ao registro formal de preços relativos à prestação de serviços e à aquisição de bens. Por meio dessa sistemática, não há comprometimento orçamentário-financeiro quando da homologação do certame, somente quando da efetiva demanda pelo objeto licitado. Com a sua utilização, prescinde-se da manutenção de grandes estruturas de estocagem. Reduz-se o número de licitações requeridas, tendo em vista a ata registrada ter validade por até um ano. O trabalho propõe detalhar os principais pontos da sistemática de registro de preços e a apresentar como é utilizada na prática, especialmente na Câmara dos Deputados e no Exército Brasileiro. Das boas experiências colhidas buscam-se alternativas de aprimoramento da gestão de compras desta Casa por meio do uso do Sistema de Registro de Preços.