Saturday, December 20, 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 101 - 120 de 136,008

101. BIST for Logic and Memory Resources in Virtex-4 FPGAs - Sachin Dhingra; Daniel Milton; Charles E. Stroud
approach for testing and diagnosing the programmable logic and memory resources in Xilinx Virtex-4 series Field Programmable Gate Arrays (FPGAs). The re-sources under test include the programmable logic blocks (PLBs) and block random access memories (RAMs) in all of their modes of operation. The BIST architecture and configurations needed to completely test these resources are presented. The BIST approach exploits architectural and operational features of the Virtex-4 FPGA to reduce the amount of storage required for BIST configuration data as well as the total testing time required for testing the FPGA.1 1.

102. BI hyperdoctrines and higher-order separation logic - Bodil Biering; Lars Birkedal; Noah Torp-smith
We present a precise correspondence between separation logic and a simple notion of predicate BI, extending the earlier correspondence given between part of separation logic and propositional BI. Moreover, we introduce the notion of a BI hyperdoctrine, show that it soundly models classical and intuitionistic first- and higher-order predicate BI, and use it to show that we may easily extend separation logic to higher-order. We also demonstrate that this extension is important for program proving, since it provides sound reasoning principles for data abstraction in the presence of aliasing.

103. 2CORPORATE CONTROL AND GOVERNANCE PRACTICES IN RUSSIA1 - School Of Slavonic; Yuko Iji; Yuko Iji
In Russia, the problem of corporate governance has become a frequent subject for discussion. Stories now abound about questionable corporate governance practices, such as share dilution, asset stripping, transfer pricing, complex ownership structures, limiting shareholders from attending the shareholders meetings. These practices, which have come to constitute corporate governance abuses to company shareholders, are considered to be factors adversely affecting the investment climate. At first glance, these non-transparent practices are a collection of independent cases of managerial malfeasance that are abusive to investors. However, there seems to be an internal logic in these widely used practices, as they have been...

104. 1 A Wiki for Business Rules in Open Vocabulary, Executable English - Adrian Walker
www.reengineeringllc.com The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wiki-- one that supports the collaborative writing and running of business and scientific applications, as rules in open vocabulary, executable English, using a browser. Since the rules are in English, they are indexed by Google and other search engines. This is useful when looking for rules for a task that one has in mind. The design of the system integrates the semantics of data, with a semantics of an inference...

105. Bottlenecks in Two-Hop Ad Hoc Networks Dividing Radio Capacity in a Smart Way - A. Remkea; B. R. Haverkorta; L. Clotha
In two-hop ad hoc networks the available radio capacity tends to be equally shared among the contending stations, which may lead to bottleneck situations in case of unbalanced traffic routing. We propose a generic model for evaluating adaptive capacity sharing strategies. We use infinite-state stochastic Petri nets for modeling the system and use the logic CSRL for specifying the measures of interest. 1

106. Objective Data Reduction Algorithm of Proteomic Mass Spectrum - M. Nafati; M. Samson; B. Rossi; Ifr Proteom
Abstract: Proteomic analysis is done primarily by the use of the two-dimensional electrophoreses (2-DE) technique coupled with the Mass Spectrometry (MS) analysis. The first technique helped by the proteomic imaging leads to the localization of the candidates proteins for mass spectrometry analysis. The comparison between the spectra of masses obtained and those theoretical of DataBase leads to the identification of proteins of interest in term of peptides or amino acids. The presence of parasitic and/or the absence of useful mass peaks distort(s) the result of the identification process. In this article, we propose an original data reduction algorithm with the...

107. Absolute GPS Time Event Generation and Capture for Remote Locations - J. D. Smith; S. B. Thomas; L. R. Wiencke; For The Hires Collaboration
Abstract. The HiRes experiment operates fixed location and portable lasers at remote desert locations to generate calibra-tion events. One physics goal of HiRes is to search for un-usual showers. These may appear similar to upward or hor-izontally pointing laser tracks used for atmospheric calibra-tion. It is therefore necessary to remove all of these calibra-tion events from the HiRes detector data stream in a physics blind manner. A robust and convenient “tagging ” method is to generate the calibration events at precisely known times. To facilitate this tagging method we have developed the GPSY (Global Positioning System- YAG) module. It uses...

108. Propuesta analítica de cinco tesis interpretativas de la violencia estructural y el ejercicio de gobernabilidad en materia de gestión de seguridad pública y prevención de violencia en el Municipio de Santa Tecla - Morales Peña, Juan Carlos
El objetivo del presente trabajo académico es mostrar una propuesta no convencional de interpretación analítica de cómo a todo esfuerzo de regeneración del tejido social le sigue, en forma simultánea, otro proceso de deconstrucción social. Se trata de un enfoque de estudio desde donde la relación entre seguridad y desarrollo, en su carácter de interdependencia, se expone a la colisión de dos lógicas, es decir, una de naturaleza articuladora, con un significativo  elemento de cohesión y regeneración social indispensable para el fortalecimiento de la organización comunitaria, y que se inscribe en los contenidos de las estrategias de prevención de la...

109. Bases de la dieta amerindia: el maíz, la yuca y la batata - Pardo-Tomás, José
La base de la dieta de los pobladores del continente americano, en el momento de la llegada de los europeos, era radicalmente diferente de la que éstos conocían. En primer lugar la ausencia de los cereales panificables típicos del Viejo Mundo, llamó poderosamente su atención, como es lógico. En segundo lugar, la ausencia asimismo de vid cultivada (había, en cambio, especies de Vitis silvestres, pero no se aprovechaban) y de su producto más preciado, el vino, les hizo muy patente desde el inicio del contacto con aquellas tierras que estaban ante un mundo muy diferente. Aquí se analizan tres de los productos que integraban esa dieta americana: el maíz, la yuca y la batata. Así pues,...

110. Representações sociais da física - Prass, Alberto Ricardo
Nesta dissertação de mestrado, procurou-se identificar as possíveis representações sociais da Física entre pessoas (N = 9.617) de diferentes grupos sociais. A importância dessas representações sociais decorre de que o processo educacional não ocorre em um vazio, mas sim em um ambiente onde os aprendizes possuem percepções e representações que podem influenciar a aprendizagem, pois como qualquer atividade humana, são perpassadas pelas representações sociais (Jodelet, 1984). O social interfere de diversos modos, dependendo do contexto concreto em que se situam os indivíduos e grupos, da bagagem cultural que regula os padrões de percepção e dos códigos e valores compartilhados socialmente....

111. Participando na cidade : um estudo etnográfico sobre a participação em Políticas Públicas de Esporte e Lazer no Parque Ararigbóia em Porto Alegre/RS. - Forell, Leandro
O Presente estudo aborda os processo de implementação e de gestão de políticas públicas de esporte e lazer no Parque Ararigbóia em Porto Alegre-RS sob a perspectiva da participação da comunidade neste espaço. O objetivo do estudo é compreender como se dá e se mantém a participação da comunidade na gestão das políticas públicas de esporte e lazer desenvolvidas no Parque Ararigbóia em Porto Alegre-RS, um local considerado pelos gestores como 'exemplar' sob esse aspecto. Utilizou-se referencias teórico-metodológicos da antropologia política e da antropologia da religião. Além disso, foi realizada um trabalho etnográfico, cujo trabalho de campo teve a duração...

112. Relações metodológicas entre fenomenologia, historiografia e psicologia humanista - Gomes, William Barbosa
Para o historiador, o método fenomenológico é recurso instrumental próprio à elaboração da difícil arte de narrar uma ação que efetivamente ocorreu. Para o psicólogo humanista, a fenomenologia é ferramenta para recuperar a riqueza vivencial enquanto fenomenalidades dadas à compreensão e à elucidação. Em nenhum dos casos a fenomenologia apresenta-se como perspectiva ou argumento, mas como recurso à exploração objetiva da subjetividade em busca de pistas intuitivas, mediadas pela lógica qualitativa. Primeiro, o artigo discorre sobre as discussões metodológicas em busca da conciliação entre a estética da narrativa e a necessidade de evidências, ocorridas nas origens da fenomenologia de Husserl....

113. De la representación cultural de la otredad a la materialización de la diferencia: Arqueología contemporánea de la domesticidad entre los vaqueiros d'alzada y los maragatos (España) - González Álvarez, David; Alonso González, Pablo
Este estudio analiza procesos contemporáneos de cambio cultural en dos áreas rurales del Noroeste de España. Ambas estuvieron habitadas por grupos sociales con una marcada identidad cultural que ha dejado su impronta en la cultura material: los vaqueiros d’alzada y los maragatos. Mediante una metodología arqueológica, se analizan las casas de tres pueblos en cada caso de estudio, desvelando cómo la materialidad juega un papel fundamental en los procesos de cambio cultural. En líneas generales, se produce un tránsito entre las lógicas preindustriales de la domesticidad campesina y la concepción de la casa como un instrumento representacional que sirve para...

114. Grau de evidenciação da contabilidade de hedge nos maiores bancos brasileiros e europeus - Aguiar, Leandro Farias
Ao se reportar resultados voláteis e, sem a devida evidenciação contábil (disclosure), pode-se transmitir uma imagem negativa aos investidores e levantar dúvidas em relação aos resultados futuros, a transparência e a capacidade de gerenciamento do risco por parte dos gestores das instituições financeiras. Nas últimas décadas, a utilização da contabilidade de hedge para a gestão do risco e resultado tem estado em evidência nos grandes bancos do Brasil e do exterior. Isto ocorre pois é onde se dá a convergência das demonstrações financeiras tanto em 2005 na Europa quanto em 2010 no Brasil para o novo padrão contábil internacional (IFRS)...

115. A pipelined fast 2D-DCT accelerator for FPGA-based SoCs - Antonino Tumeo; Matteo Monchiero; Gianluca Palermo; Fabrizio Ferr; Donatella Sciuto
Multimedia applications, and in particular the en-coding and decoding of standard image and video formats, are usually a typical target for Systems-on-Chip (SoC). The bi-dimensional Discrete Cosine Transformation (2D-DCT) is a commonly used fre-quency transformation in graphic compression algo-rithms. Many hardware implementations, adopting disparate algorithms, have been proposed for Field Programmable Gate Arrays (FPGA). These designs focus either on performance or area, and often do not succeed in balancing the two aspects. In this paper, we present a design of a fast 2D-DCT hardware accelerator for a FPGA-based SoC. This accelerator makes use of a single seven stages 1D-DCT pipeline...

116. An intelligent controller for automated operation of sequencing batch reactors
Abstract In this paper the results are presented of original research into the automatic and “intelligent” detection of breakpoints in Dissolved Oxygen (DO) profiles. The research has been based on a large body of data collected from laboratory SBRs operating on synthetic wastewater. Two different approaches were followed to identify the endpoints. The paper analyses and evaluates the results of automatic breakpoint detection on the basis of geometric features in the DO profiles. This was followed by classification of the detected breakpoints using different soft computing techniques based on Neural Network (NN), Fuzzy Neural Network (FuNN) and Evolving Fuzzy Neural...

117. $rec.titulo
Abstract—Static reliability and dynamic reliability are based on electrical power system parameters. The dual network can work as deadbeat controller for the objective network the mechanical parameters are always coupled, with electrical parameters and they cannot be separated. One can use the Fuzzy logic theory to deal with electrical parameters coupled with mechanical parameters in calculation the reliability and costly depends on electrical built in reliability or material reliability and costly depends on electrical resistively P, Permittivity. ( ε r) and magnetic permeability (µr). These specific (D) and represent R,C,L, parameters in macroscopic models, of electrical power system. System parameters...

118. With a Fuzzy Logic Controller - Yusong Cao; David L Garrett
In this paper, a fuzzy logic controller for dynamic positioning of drilling vessels in deep water is presented. The core of the fuzzy controller is a set of fuzzy associative memory (FAM) rules that correlate each group of fuzzy control input sets to a fuzzy control output set. A FAM rule is a logical if-then type statement based on one’s sense of realism and experience or can be provided by an expert operator. The design of the fuzzy controller is very simple and does not require mathematical modeling of the complicated nonlinear system based on first principles. The fuzzy controller...

119. Soft Linear Set Theory - Richard Mckinley
A formulation of naı̈ve set theory is given in Lafont’s Soft Linear Logic, a logic with poly-nomial time cut-elimination. We demonstrate that the provably total functions of this set theory are precisely the PTIME functions. A novelty of this approach is the representa-tion of the unary/binary natural numbers by two distinct sets (the safe naturals and the soft naturals). 1

120. $rec.titulo
da Costa, on the occasion of his seventieth birthday). The quantum and the classical domains as provisional parallel coexistents Michel PATY An essay in honour of Newton da Costa with admiration, friendship and saudades ABSTRACT. We consider the problem of the relationship between the quantum and the classical domains from the point of view that it is possible to speak of a direct physical description of quantum systems having physical properties. We put emphasis, in evidencing it, on the specific quantum concept of indistiguishability of identical in a conceptual way (and not in a logical way in the vein of...

Página de resultados:
 

Busque un recurso