Saturday, October 25, 2014

 

 



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 132,343

81. Simulación de un proceso de Poisson no estacionario usando la metodología thinning: el caso de arribo de clientes durante una semana típica a una sucursal bancaria - Moya Navarro, Marcos
El siguiente artículo presenta el desarrollo de un modelo de simulación cuyo objetivo es estudiar el desempeño de una sucursal de servicios bancarios, a la que los clientes arriban de acuerdo con un proceso de Poisson no estacionario.Se presenta una variación de las tasas de entrada de clientes por periodos de treinta minutos durante ocho horas de trabajo al día, que resultan en una semana típica de trabajo. El modelo de simulación desarrollado incorpora dos procedimientos: uno de control de los periodos de tiempo conforme éstos van transcurriendo, el cual permite controlar la lógica del modelo de simulación; y otro...

82. Tendências contemporâneas da Política de Assistência Social: uma análise das transformações ocorridas na concepção de Assistência Social no Brasil - Campos, Naara Lima
 presente trabalho reúne os elementos que compõem a atual concepção de assistência social no Brasil, a partir da promulgação da constituição de 1988 quando a assistência social foi reconhecida pela primeira vez como direito de cidadania e dever legal do Estado, garantido pela Lei Suprema. Nesta lei a assistência social pressupunha uma lógica de pleno emprego, destinada, portanto, prioritaria-mente aos incapazes para o trabalho. No entanto, em um contexto de desemprego estrutural esta passa a ser compreendida em termos de garantias de seguranças, bus-cando assumir a proteção social daqueles capazes para o trabalho, tendo em vista a deterioração do mercado...

83. Medo na cidade: estudo de caso no bairro da Terra Firme em Belém/PA - Rocha Silva, Maria do Socorro; Rocha de Sá, Maria Elvira
O texto apresenta resultados de pesquisa acerca do medo na cidade, no bairro da Terra Firme em Belém/PA, com base numa ancoragem teórica com capacidade heurística de explicar as contradições imbricadas no processo de urbanização capitalista e as expressões da “questão social” reveladas no fenômeno da segregação socioespacial. As análises desenvolvidas basearam-se em observações diretas sobre este fenômeno neste bairro, que passaram a definir objetivos de pesquisa qualitativa utilizando-se entrevistas com moradores e comerciantes, centrados na apreensão de mudanças na dinâmica social e na busca de explicações acerca do fenômeno do sentimento de medo na cidade determinado pela violência urbana....

84. Capitalismo contemporâneo e desenvolvimento tecnológico – duas abordagens teóricas: marxista e cognitiva - Silveira, Tânia Maria
Essa dissertação trata o papel do desenvolvimento tecnológico no capitalismo e consiste numa revisão teórica baseada em duas linhas de pensamento, a análi-se de Karl Marx e a tese do capitalismo cognitivo segundo a proposição de Yann Moulier-Boutang. Além de apresentar como Marx explicitou a inovação tecno-lógica e suas conseqüências no processo de produção, analisa por que os pensadores do capitalismo cognitivo sustentam que o modo de produção, baseado nas novas tecnologias da informação e da comunicação, modifica o capitalismo. Dado a abran-gência do assunto, foram adotados como elemento principal de análise os efeitos das tecnologias informacionais sobre o processo...

85. Conselhos e conferências nacionais: entre a participação e a representação - Leite de Souza, Clóvis Henrique; Pompeu Fiuza Lima, Paula; Chaves Teixeira, Ana Claudia
O texto apresenta caracterização de diferentes lógicas de representação política existentes em conferências e conselhos nacionais. Partindo da análise do que está previsto em decretos e leis que delimitam como deveria operar a dinâmica representativa, percebe-se que as principais abordagens teóricas sobre representação, utilizadas quando se trata de instituições representativas por natureza e de espaços de mediação de interesses, são aplicáveis aos espaços participativos. A discussão a respeito dos objetivos desses espaços, da forma de escolha dos participantes e dos públicos envolvidos aponta que antes de participativos esses são espaços representativos, enfrentando desafios semelhantes ao legislativo e ao executivo no...

86. Avançando na eficiência de políticas públicas: a avaliação de programas governamentais - Fernandes Pereira, Márcio
O objetivo do artigo é realizar uma revisão conceitual da tradição de avaliação de programas governamentais. Será dada ênfase aos modos de utilização das diferentes técnicas avaliativas para a verificação dos graus de eficiência dos programas implementados. Inicialmente, será feita uma descrição histórica do desenvolvimento da tradição avaliativa nos Estados Unidos. A segunda seção está devotada aos aspectos conceituais relativos à avaliação de programas. A terceira seção caracteriza o Modelo Lógico e de Teoria do Programa, estruturas analíticas de auxílio à atividade avaliativa. A quarta seção apresenta distintos atores sociais que podem relacionar-se ao longo da existência de um programa....

87. Participação Popular na Política Municipal de Habitação de Vitória/ES - Oliveira Ferreira, Flaviane Cristina
A principal preocupação deste estudo foi compreender como a população tem participado do processo de formulação e implementação da política habitacional no município de Vitória/ ES. Traçamos um percurso científico em busca de conhecer como a população tem ocupado os espaços de discussão/ formulação da política de habitação, caracterizar de que maneira a população vem interferindo na política municipal de habitação, identificar os limites e desafios da participação social na formulação desta política e quais interesses foram atendidos no processo de formulação e implementação da política habitacional. Esta pesquisa foi apoiada por uma metodologia que buscou a coleta e a...

88. La Ciencia economica y los procesos de desarollo - la experiencia cubana - Pérez Soto, Olga
Este artigo aborda el desarrollo como  proceso multidimensional y multicausal desde condiciones de subdesarrollo. Es por eso que se asume la identidad del crecimiento  en función del desarrollo socialista como propuesta metodológica en la evolución de la noción del desarrollo que implica ruptura con la lógica del capital. Es en esa plataforma donde la política social es punto de partida y llegada complejo de los procesos y de las políticas para el desarrollo en la complejidad de sus interrelaciones. Se concluye con los aspectos más relevantes  de la experiencia de desarrollo  en Cuba

89. DYNAMIC-EPISTEMIC SPATIAL LOGIC - Radu Mardare; Corrado Priami
In this paper we combine features of dynamic-epistemic logics with the spatial logics in order to obtain a decidable, fully axiomatized logic for expressing information flow in distributed multi-agent systems. Thus, Dynamic Epistemic Spatial Logic is as an extension of Hennessy-Milner logic with spatial and epistemic operators.

90. Primitive recursion in finiteness spaces - Lionel Vaux
We study iteration and recursion operators in the multiset relational model of linear logic and prove them finitary in the sense of the finiteness spaces recently introduced by Ehrhard. This provides a denotational semantics of Gödel's system T and paves the way for a systematic study of a large class of algorithms, following the ideas of Girard's quantitative semantics in a standard algebraic setting.

91. Reducing dynamic epistemic logic to PDL by program transformation - Jan van Eijck
We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be viewed as subsystems of PDL. Moreover, the program transformation approach can be used to generate the appropriate reduction axioms for these logics. Our direct reduction...

92. DEMO -- A Demo of Epistemic Modelling - Jan van Eijck
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic to PDL. The paper is an exemplar of tool building for epistemic update logic. It contains the essential code of an implementation of DEMO in Haskell, in Knuth’s ‘literate programming’ style.

93. Modelling Epistemic Updates with Functional Programming - Jan van Eijck; Simona Orzan
Epistemic logic is the logic of knowledge, and dynamic epistemic logic is the logic of effects of communicative actions on the knowledge states of a set of agents. Typical communicative actions are making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [3], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool DEMO [10]. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation...

94. Quantifier elimination by lazy model enumeration - David Monniaux
We propose a quantifier elimination scheme based on nested lazy model enumeration through SMT-solving, and projections. This scheme may be applied to any logic that fulfills certain conditions; we illustrate it for linear real arithmetic. The quantifier elimination problem for linear real arithmetic is doubly exponential in the worst case, and so is our method. We have implemented it and benchmarked it against other methods from the literature.

95. Differential linear logic and polarization - Lionel Vaux
We extend Ehrhard Regnier's differential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both differential and polarized linear logics: this justifies our choice of cut elimination rules. Then we show this polarized differential linear logic refines the recently introduced convolution ¯λµ-calculus, the same as linear logic decomposes λ-calculus.

96. Primitive recursion in finiteness spaces - Lionel Vaux
We study iteration and recursion operators in the multiset relational model of linear logic and prove them finitary in the sense of the finiteness spaces recently introduced by Ehrhard. This provides a denotational semantics of Gödel's system T and paves the way for a systematic study of a large class of algorithms, following the ideas of Girard's quantitative semantics in a standard algebraic setting.

97. CODEWEAVE: Exploring Fine-Grained Mobility of Code - Cecilia Mascolo; Gian Pietro Picco; Gruia-Catalin Roman
This paper explores the range of constructs and issues facing the designer of mobile code systems which allow for the unit of mobility to be finer-grained than that of execution. Mobile Unity, a notation and proof logic for mobile computing, provides for this research a clean abstract setting, i.e., unconstrained by compilation and performance considerations traditionally associated with programming language design. Within the context of Mobile Unity, we take the extreme view that every line of code and every variable declaration is potentially mobile, i.e., it may be duplicated and/or moved from one program context to another on the same...

98. Prolegomena to the Definition of Dynamic Predicate Logic with Local Assignments - Albert Visser
In this paper we subject the possible ways to de ne versions of DPL with local assignments to a thorough and detailed scrutiny. We hope that our treatment is suggestive of the proper `abstract' view of dynamic logics that we would like to arrive at eventually.

99. Logics of Communication and Change - Johan van Benthem; Jan van Eijck; Barteld Kooi
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also show how such systems can deal with factual alteration, rather than just information change, making them cover a much...

100. Approximating Most Specific Concepts in Description Logics with Existential Restrictions - Ralf Küsters; Ralf Molitor
Computing the most specic concept (msc) is an inference task that allows to abstract from individuals defined in description logic (DL) knowledge bases. For DLs that allow for existential restrictions or number restrictions, however, the msc need not exist unless one allows for cyclic concepts interpreted with the greatest fixed-point semantics. Since such concepts cannot be handled by current DL-systems, we propose to approximate the msc. We show that for the DL ALE , which has concept conjunction, a restricted form of negation, existential restrictions, and value restrictions as constructors, approximations of the msc always exist and can effectively be...

Página de resultados:
 

Busque un recurso