Sunday, March 29, 2015

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 81 - 100 de 140,166

81. A formal study of Bernstein coefficients and polynomials - Bertot, Yves; Guilhot, Frédérique; Mahboubi, Assia
International audience

82. ocp-memprof: un profileur mémoire pour OCaml - Bozman, Çagdas; Henry, Grégoire; Iguernelala, Mohamed; Le Fessant, Fabrice; Mauny, Michel
National audience

83. Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic - Curiel, Arturo; Collet, Christophe
International audience

84. Utility-based Decision-making in Distributed Systems Modelling - Pym, D; Anderson, G; Collinson, M
We consider a calculus of resources and processes as a basis for modelling decision-making in multi-agent systems. The calculus represents the regulation of agents' choices using utility functions that take account of context. Associated with the calculus is a (Hennessy-Milner-style) context-sensitive modal logic of state. As an application, we show how a notion of `trust domain' can be defined for multi-agent systems.

85. Trust domains: An algebraic, logical, and utility-theoretic approach - Anderson, G; Collinson, M; Pym, D
Complex systems of interacting agents are ubiquitous in the highly interconnected, information-rich ecosystems upon which the world is more-or-less wholly dependent. Within these systems, it is often necessary for an agent, or a group of agents, such as a business, to establish within a given ecosystem a trusted group, or a region of trust. Building on an established mathematical systems modelling framework - based on process algebra, logic, and stochastic methods - we give a characterization of such 'trust domains' that employs logical assertions of the properties required for trust and utility-theoretic constraints on the cost of establishing compliance with...

86. Estudo de falhas transientes e técnicas de tolerância a falhas em conversores de dados do tipo SAR baseados em redistribuição de carga - Lanot, Alisson Jamie Cruz
Conversores A/D do tipo aproximações sucessivas (SAR) baseados em redistribuição de carga são frequentemente utilizados em aplicações envolvendo a aquisição de sinais, principalmente as que exigem um baixo consumo de área e energia e boa velocidade de conversão. Esta topologia está presente em diversos dispositivos programáveis comerciais, como também em circuitos integrados de propósito geral. Tais dispositivos, quando expostos a ambientes suscetíveis a radiação, como é o caso de aplicações espaciais, estão sujeitos à colisão com partículas capazes de ionizar o silício. Estes podem causar falhas temporárias, como um efeito transiente, uma inversão de bit em um elemento de memória,...

87. A reforma da Gestão Finaceira: O plano e o relatório de actividades como instrumentos de gestão - Inácio, Verónica
O presente trabalho de investigação aplicada com o tema “a Reforma da Gestão Financeira: o Plano e o Relatório de Actividades como Instrumento de Gestão”, tende a analisar o impacto da implementação e elaboração do Plano e do Relatório de Actividades na gestão da GNR, bem como, o envolvimento e comprometimento de todos os intervenientes necessários para a consecução dos mesmos. Este trabalho surge numa conjuntura de reforma da Administração Pública, mais concretamente na definição mais rigorosa da gestão corrente e no estabelecimento de princípios de organização interna, alterando substancialmente os procedimentos, as práticas e as rotinas dos organismos/serviços da...

88. Tau -- a lightweight tool for specifying and verifying tiny automata models - Holzmann, Gerard
Tau is a small Tcl/Tk application that can be used to quickly specify and formally verify small automata models (the name 'tau' is short for 'tiny automata'). It is used as a teaching aid in CS118, a course on the formal verification of asynchronous software systems using logic model checking. Tau requires the availability of a standard C compiler (e.g., gcc) and a recent version of the Spin model checker (e.g., Version 6.4.3 or later) as background tools.

89. Terahertz all-optical modulation in a silicon-polymer hybrid system - Hochberg, Michael; Baehr-Jones, Tom; Wang, Guangxi; Shearn, Michael; Harvard, Katherine; Luo, Jingdong; Chen, Baoquan; Shi, Zhengwei; Lawson, Rhys; Sullivan, Phil; Jen, Alex K. Y.; Dalton, Larry; Scherer, Axel
Although gigahertz-scale free-carrier modulators have been demonstrated in silicon, intensity modulators operating at terahertz speeds have not been reported because of silicon's weak ultrafast nonlinearity. We have demonstrated intensity modulation of light with light in a silicon–polymer waveguide device, based on the all-optical Kerr effect—the ultrafast effect used in four-wave mixing. Direct measurements of time-domain intensity modulation are made at speeds of 10 GHz. We showed experimentally that the mechanism of this modulation is ultrafast through spectral measurements, and that intensity modulation at frequencies in excess of 1 THz can be obtained. By integrating optical polymers through evanescent coupling to...

90. A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting - Jacquemard, Florent; Donat-Bouillud, Pierre; Bresson, Jean
International audience

91. Hacia una didáctica del escuchar : géneros y compositores declarados ser escuchados en Educación Musical en el Colegio (corresponde más o menos a la Enseñanza Secundaria Obligatoria). - Tripier-Mondancin, Odile
El escuchar obras musicales es una actividad esencial de la escuela generalista francesa. Dado que los docentes tienen mucha libertad ¿ cuál es la situación de los repertorios declarados ser enseñados en la ESO ? Interrogamos con un propósito descriptivo –explicativo, los géneros y compositores declarados ser difundidos por los docentes de Educación Musical en cuatro regiones. Qué lógicas llevan a los docentes a escoger tal o cual género musical, tal o cual compositor ? El método empleado es la investigación por cuestionario. Si obras de cualquier época, desde la Edad Media hasta hoy en día, se difunden, es el...

92. Propuesta didáctica para el desarrollo de procesos de razonamiento lógico matemático, desde el pensamiento variacional, con los estudiantes del grado cuarto de básica primaria del Colegio Cooperativo San Antonio de Prado, por medio de estrategias de enseñanza mediadas por los sistemas de gestión de aprendizaje durante el año 2014 - Hernández Castaño, Susana Del Pilar
Resumen: La matemática, más que un área de estudio es una herramienta que ayuda al hombre a comprender su realidad circundante, en la que entender la magnitud de sus aportes en otras disciplinas y en la cotidianidad, requiere de un cambio en la concepción que se tiene sobre esta, debido a que se ha instaurado en el pensamiento de las personas, como una disciplina compleja y de difícil abordaje, por lo que es necesario construir nuevas estrategias para su enseñanza permanente, que sean acordes y coherentes con la situación constante de experimentación y cambio en la que vivimos. En la actualidad,...

93. Extensionalizing Intensional Second-Order Logic - Payne, Jonathan
Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$ , there may be an object $\varepsilon X$ , which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. ¶ This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is more appropriate for this approach to the foundations of set theory. Although there seems to be a case...

94. Boolean-Valued Second-Order Logic - Ikegami, Daisuke; Väänänen, Jouko
In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic.

95. Internal Categoricity in Arithmetic and Set Theory - Väänänen, Jouko; Wang, Tong
We show that the categoricity of second-order Peano axioms can be proved from the comprehension axioms. We also show that the categoricity of second-order Zermelo–Fraenkel axioms, given the order type of the ordinals, can be proved from the comprehension axioms. Thus these well-known categoricity results do not need the so-called “full” second-order logic, the Henkin second-order logic is enough. We also address the question of “consistency” of these axiom systems in the second-order sense, that is, the question of existence of models for these systems. In both cases we give a consistency proof, but naturally we have to assume more...

96. The Arithmetics of a Theory - Visser, Albert
In this paper we study the interpretations of a weak arithmetic, like Buss’s theory $\mathsf{S}^{1}_{2}$ , in a given theory $U$ . We call these interpretations the arithmetics of $U$ . We develop the basics of the structure of the arithmetics of $U$ . We study the provability logic(s) of $U$ from the standpoint of the framework of the arithmetics of $U$ . Finally, we provide a deeper study of the arithmetics of a finitely axiomatized sequential theory.

97. [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS - CECILIA REIS ENGLANDER LUSTOSA
[pt] Segerberg apresentou uma prova geral da completude para lógicas proposicionais. Para tal, um sistema de dedução foi definido de forma que suas regras sejam regras para um operador booleano arbitrário para uma dada lógica proposicional. Cada regra desse sistema corresponde a uma linha na tabela de verdade desse operador. Na primeira parte desse trabalho, mostramos uma extensão da ideia de Segerberg para lógicas proposicionais finito-valoradas e para lógicas não-determinísticas. Mantemos a ideia de definir um sistema de dedução cujas regras correspondam a linhas de tabelas verdade, mas ao invés de termos um tipo de regra para cada valor de verdade da lógica correspondente, usamos uma representação bivalente que...

98. Using a Google Search Appliance (GSA) to search digital library collections: a case study of the INIS Collection Search - Savic, Dobrica
Libraries are facing many challenges today. In addition to diminishing funding and increased user expectations, the use of classic library catalogues is becoming an additional challenge. Library users require fast and easy access to information resources regardless whether the format used is paper or electronic. Google search, with its speed and simplicity, set up a new standard for information retrieval which is hard to achieve with the previous generation of library search facilities. Put in a position of David versus Goliath, many small, and even larger libraries, are losing the battle with Google and letting many of its users use...

99. Entre l'excepcionalitat i la informalitat: apunts per a un urbanisme postbombolla - Martí Costa, Marc; Recio, Alfons; Pybus, Miquel; Arias, Albert; Suau-Sánchez, Pere
Segons els autors l’esclat de la bombolla immobiliària ha tallat en sec la lògica de la plusvàlua que ha governat l’urbanisme fins ara. Aquest fet ha produït dos tipus de respostes que no solucionen pas els problemes derivats de la crisi: la resposta institucional basada en la promoció de megaprojectes (Eurovegas, BCNWorld, etc.), i l’urbanisme autogestionat (pràctiques urbanístiques de microtransformacions, de recuperació temporal d’espais, etc.). Les solucions que plantegen els autors passen per considerar l’urbanisme com a instrument polític, com a eina per al canvi social. Un urbanisme que ha de ser multidisciplinar i col·laboratiu i que gestioni (indivisiblement) tant...

100. Infraestructures de transport i planejament del territori en un període clau - Esteban Noguera, Juli
Els moviments de persones i mercaderies es produeixen en funció de la distribució dels habitatges i les activitats al territori que té una lògica clarament supramunicipal. Calen per tant instruments de planejament de suficient escala per poder incidir en les causes principals de la mobilitat i per orientar la seva evolució. Ens trobem a més en un moment en què són previsibles creixements importants en habitatges i llocs de treball al territori que poden produir canvis en el model d’implantació especialment significatius per a la mobilitat. L’article reclama que s’abordi la formulació del necessari, i repetidament posposat, planejament territorial com...

Página de resultados:
 

Busque un recurso