Mostrando recursos 281 - 300 de 10.244

  1. Newton representation of functions over natural integers having integral difference ratios

    Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irene
    International audience

  2. El olvido de la demografía en los estudios de Sostenibilidad

    Vilches Peña, Amparo; Gil Pérez, Daniel
    [RESUMEN] A lo largo de la historia del Homo sapiens, su número se ha mantenido muy reducido y hubo que esperar a principios del siglo XIX para que alcanzara los mil millones. Se inició entonces un rápido crecimiento y durante el siglo XX la población mundial casi se cuadriplicó, superando los 6000 millones, lo que llevó a estudiar, con lógica preocupación, los posibles efectos de esta explosión demográfica sobre el conjunto de la biosfera y sobre la propia especie humana. Hoy, sin embargo, cuando se han sobrepasado los 7500 millones y la población mundial sigue aumentando en unos 80 millones...

  3. Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography

    Rialle, Vincent; Vila, Annick; Besnard, Yves
    International audience

  4. Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography

    Rialle, Vincent; Vila, Annick; Besnard, Yves
    International audience

  5. Recurso às Medicinas Complementares e Alternativas: padrões sociais e trajetórias terapêuticas

    Pegado, Elsa
    Esta tese desenvolve-se em torno da temática das medicinas complementares e alternativas (MCA) em Portugal, mais concretamente sobre o recurso dos indivíduos às respetivas terapias. Por MCA entendemos um conjunto diversificado de terapias ou práticas terapêuticas que têm em comum o facto de se demarcarem da chamada medicina convencional e de proclamarem a posse de um corpo de saberes mais ou menos sistematizado sobre a saúde e a doença orientador das práticas terapêuticas. Embora tenham vindo a assumir, nas últimas décadas, uma visibilidade social crescente, em Portugal o conhecimento sociológico sobre a matéria é escasso. Os resultados da pesquisa contribuem...

  6. Recurso às Medicinas Complementares e Alternativas: padrões sociais e trajetórias terapêuticas

    Pegado, Elsa
    Esta tese desenvolve-se em torno da temática das medicinas complementares e alternativas (MCA) em Portugal, mais concretamente sobre o recurso dos indivíduos às respetivas terapias. Por MCA entendemos um conjunto diversificado de terapias ou práticas terapêuticas que têm em comum o facto de se demarcarem da chamada medicina convencional e de proclamarem a posse de um corpo de saberes mais ou menos sistematizado sobre a saúde e a doença orientador das práticas terapêuticas. Embora tenham vindo a assumir, nas últimas décadas, uma visibilidade social crescente, em Portugal o conhecimento sociológico sobre a matéria é escasso. Os resultados da pesquisa contribuem...

  7. Produtos turísticos

    Pinto, Ana Paula Soares
    Sardoal é um concelho do interior do país, marcado por forte ruralidade e que elenca variados recursos, do património natural ao cultural. Partindo do pressuposto de que a existência de atrativos não é, por si só, garante de preferência turística, não será linear a relação entre riqueza patrimonial e desenvolvimento turístico. Importa encontrar a “chave” para ativar os recursos, definir produtos e, por consequência, afirmar o território no quadro das opções turísticas, contribuindo deste modo para incrementar o seu desenvolvimento local. Um território necessita de definição clara de políticas, estratégias e ações a fim de se afirmar como competitivo e sustentável turisticamente. Caracterizando-se o Turismo por uma transversalidade social,...

  8. Combining Linear Logic and Size Types for Implicit Complexity (Long Version)

    Baillot, Patrick; Ghyselen, Alexis
    Several type systems have been proposed to statically control the time complexity of lambda-calculus programs and characterize complexity classes such as FPTIME or FEXPTIME. A first line of research stems from linear logic and defines type systems based on restricted versions of the " ! " modality controlling duplication. An instance of this is light linear logic for polynomial time computation [Girard98]. A second perspective relies on the idea of tracking the size increase between input and output, and together with a restricted use of recursion, to deduce from that time complexity bounds. This second approach is illustrated for instance...

  9. Synthesis of correct-by-construction behavior trees

    Colledanchise, Michele; Murray, Richard M.; Ögren, Petter
    In this paper we study the problem of synthesizing correct-by-construction Behavior Trees (BTs) controlling agents in adversarial environments. The proposed approach combines the modularity and reactivity of BTs with the formal guarantees of Linear Temporal Logic (LTL) methods. Given a set of admissible environment specifications, an agent model in form of a Finite Transition System and the desired task in form of an LTL formula, we synthesize a BT in polynomial time, that is guaranteed to correctly execute the desired task. To illustrate the approach, we present three examples of increasing complexity.

  10. Protection against Hardware Trojans with Logic Testing: Proposed Solutions and Challenges Ahead

    Dupuis, Sophie; Flottes, Marie-Lise; Di Natale, Giorgio; Rouzeyre, Bruno
    International audience

  11. Protection against Hardware Trojans with Logic Testing: Proposed Solutions and Challenges Ahead

    Dupuis, Sophie; Flottes, Marie-Lise; Di Natale, Giorgio; Rouzeyre, Bruno
    International audience

  12. What is the implicit meaning of the traditional principles of logic? Outlines of F. H. Bradley's Semantics

    Lejeune, Guillaume
    Peer reviewed

  13. De TEIP a agrupamento: influência das práticas de gestão do território educativo no funcionamento do agrupamento de escolas.

    Januário, Olga Maria Aires
    Este trabalho de investigação versa sobre a influência que os TEIP criados em 1996 através do Despacho nº 147-B/ME/96, de 8 de julho e do Despacho Conjunto SEAE/SEEI nº 73/96, de 10 de julho, em regiões desfavorecidas onde urgia intervir educativamente, e de que modo este modelo de Política Educativa influenciou a passagem para o modelo dos Agrupamentos de Escolas instituídos pelo Dec. Lei nº 115-A/98, de 4 de maio, bem como o seu funcionamento, desde 1998 até 2003. Este estudo realizou-se em um dos Agrupamento de Escolas pioneiros, que foi TEIP, localizado no interior centro do país, em uma região...

  14. Projeto de um novo grafismo para um plano de marketing

    Santinhos, Daniel Filipe Carvalho
    O design e o marketing, apesar de serem áreas distintas, nomeadamente na maneira como entendem os processos formais e estudam as questões, partilham a mesma preocupação: comunicar. Esta preocupação comum justifica este trabalho, onde se analisa o significado de um plano de marketing proposto pela empresa Ilimitados - the marketing company, para uma entidade de nome FAJOTA. O objectivo deste trabalho é desconstruir esse plano de marketing, com vista a pôr descoberta a sua lógica interna e dar a conhecer a importância do marketing no desenvolvimento de estratégias de comunicação eficientes, que só valorizam a comunicação das empresas.

  15. Projeto de um novo grafismo para um plano de marketing

    Santinhos, Daniel Filipe Carvalho
    O design e o marketing, apesar de serem áreas distintas, nomeadamente na maneira como entendem os processos formais e estudam as questões, partilham a mesma preocupação: comunicar. Esta preocupação comum justifica este trabalho, onde se analisa o significado de um plano de marketing proposto pela empresa Ilimitados - the marketing company, para uma entidade de nome FAJOTA. O objectivo deste trabalho é desconstruir esse plano de marketing, com vista a pôr descoberta a sua lógica interna e dar a conhecer a importância do marketing no desenvolvimento de estratégias de comunicação eficientes, que só valorizam a comunicação das empresas.

  16. Una metodología basada en números difusos para la evaluación de criterios evaluables mediante un juicio de valor

    Fuentes Bargues, José Luis; González-Cruz, María-Carmen; Ruiz-Alvarez, Laura; Prieto-Gómez, Rafael Ernesto
    [EN] The award of a contract by a public administration depends on criteria assessed by formulae and criteria assessed by value judgements. For the former, various predetermined formulae can be employed while for the criteria assessed by value judgements will always contain some subjective bias by the individual who performs the evaluation. In order to minimize the consequences of the arbitrariness or uncertainties in the evaluation of criteria assessed by value judgments is possible to use the fuzzy logic. Diffuse, fuzzy or fuzzy logic is the mathematical reasoning that allows to calculate accurately the magnitudes corresponding to vague concepts or...

  17. Poniendo en acto una lógica de trabajo colectivo: avances en las resoluciones metodológicas y anticipaciones hipotéticas.

    Nemcovsky, Mariana Beatriz; López Fittipaldi, Marilín; Martínez, Noelia Carina; Debonis, Florencia; Dobry, Mara
    En el proceso de investigación que nos convoca en el PID Jóvenes y Experiencias socio-educativas. Un estudio antropológico de los sentidos sobre la escolarización en contextos de pobreza urbana2, se fueron generando durante el presente año (2016) algunos avances concretos a partir del trabajo colectivo en los distintos espacios que co- construimos . A la vez ese trabajo centrado en la construcción colectiva se enriqueció y fue potenciador de los procesos de investigación particulares, que las integrantes del equipo desenvuelven. Ello porque desde la concepción teórico-metodológica y epistemológica con que trabajamos estamos considerando que, en la dinámica de las interacciones...

  18. recension de F. Chiereghin, Religgere la Scienza della Logica du Hegel

    Lejeune, Guillaume
    Peer reviewed

  19. Recension de F. Chiereghin, Religgere la Scienza della Logica du Hegel

    Lejeune, Guillaume
    Peer reviewed

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.