Monday, April 21, 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 61 - 80 de 128,023

61. Logic hybrid simulation-optimization algorithm for distillation design - Caballero Suárez, José Antonio
In this paper, we propose a novel algorithm for the rigorous design of distillation columns that integrates a process simulator in a generalized disjunctive programming formulation. The optimal distillation column, or column sequence, is obtained by selecting, for each column section, among a set of column sections with different number of theoretical trays. The selection of thermodynamic models, properties estimation etc., are all in the simulation environment. All the numerical issues related to the convergence of distillation columns (or column sections) are also maintained in the simulation environment. The model is formulated as a Generalized Disjunctive Programming (GDP) problem and...

62. Obtención de impulsos láser de corta duración por modulación biestable híbrida - Martín Pereda, José Antonio; Muriel Fernández, Miguel Ángel
Durante los últimos años se ha desarrollado un considerable esfuerzo en el campo de los dispositivos ópticos biestables, capaces de realizar funciones como: ganancia diferencial, mejora de la relación señal/ruido en un sistema de comunicaciones ópticas, limitación de la señal de salida, memorias ópticas, generación de oscilaciones regenerativas, funciones lógicas AND y OR ópticas, entre otras.

63. O PDE-Escola nas escolas da rede estadual do Paraná - Taques, Mariana Fonseca
Resumo: O presente trabalho teve como objetivo analisar como se deu a materialização do Plano de Desenvolvimento da Escola (PDE-Escola) nas escolas estaduais do Paraná, suas implicações na gestão destas e quais os sentidos atribuídos ao programa pelos gestores educacionais. Levou-se em consideração para o desenvolvimento das análises propostas: 1) o contexto que influenciou a elaboração e a implementação do PDE-Escola nos governos de Fernando Henrique Cardoso (FHC) e Lula, quais grupos exerceram influência na definição da agenda educacional e quais condicionantes levaram à emergência do programa; 2) os determinantes que influenciaram o desenvolvimento do PDE-Escola em nível local, durante...

64. ALLOCATION OF ARGUMENTS AND EVIDENCE THEORY - Jürg Kohlas
The Dempster-Shafer theory of evidence is developed here in a very general setting. First, its symbolic or algebraic part is discussed as a body of arguments which contains an allocation of support and an allowment of possibility for each hypothesis. It is shown how such bodies of arguments arise in the theory of hints and in assumption-based reasoning in logic. A rule of combination of bodies of arguments is then defined which constitutes the symbolic counterpart of Dempster's rule. Bodies of evidence are next introduced by assigning probabilities to arguments. This leads to support and plausibility functions on some measurable...

65. Lógicas colectivas y nuevas formas de politicidad - Paredes, Juan Pablo; Elizalde, Antonio

66. Pueblo Viejo de Nuevitas: nuevos referentes de investigación - Hernández Mora, Iosvany; Barroso Betancourt, Antonio; García Palomino, Manuel; Jiménez Vázquez, Osvaldo
This paper conveys the current outcomes of a site discovery which has redefined space and history of itself through a strategy of general characterization based on an archeological context, admitting an integral manner. Technical geophysic application - magnetic and electric scanning- together with historical-archeological research brought forth the data base that it was once expected for. It was also achieved the new area discovery linked with this site, in essence, the recognition of the area in which the site is integrated, under a sui generis logic of space organization, probable order of settlement and the evaluation of race mixtures by...

67. El nuevo panorama de los medios tradicionales: ¿qué hacer con la publicidad? - Álvarez Nobell, Alejandro
La convergencia de medios de comunicación en el entorno digital ha modificado las prácticas de producción, circulación y consumo cultural. Se están ensayando otras formas de contar historias y la publicidad se transforma, se vuelve contextual, dando origen a nuevas narrativas. Esto no significa el ocaso de los medios tradicionales, sino más bien la adopción de estas nuevas lógicas digitales; retos que se deberán comprender y asumir a corto plazo. Este capítulo pretende caracterizar y ejemplificar algunos de ellos, como: la convergencia mediática hacia el entorno virtual y la sobresaturación informativa; el crecimiento vertiginoso de los públicos en estos medios...

68. Estrategia, la lógica de guerra y paz - Luttwak, Edward N.

69. The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier - Chlipala, Adam
We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. From this foundation, we take literally the saying that C is a "macro assembly language": we introduce an expressive notion of certified low-level macros, sufficient to build up the usual features of C and beyond as macros with no special support in the core. Furthermore, our macros have integrated support...

70. Roberto Campos e a escrita sobre si : um estudo da memória - Klein, Caroline Rippe de Mello
O presente estudo se constitui em analisar a constituição do discurso do político Roberto Campos através de suas memórias, expressas na obra “Lanterna na Popa”. Essa pesquisa anseia por mostrar a lógica presente nessas memórias, mostrando Campos como um agente e homem de seu tempo, revelando quem foi esse personagem e a sua construção sobre si através de uma narrativa expressa no livro, em conjunto com fotografias de época. Portanto, o trabalho se baseia em mapear as representações desse político, através de uma escrita sobre si.

71. Prometeus : Filosofia em Revista

72. The Baltic International Yearbook of Cognition, Logic and Communication

73. Informal Logic

74. Tecno-Lógica

75. Journal of Logic and Analysis

76. Axioms

77. Tecno Lógicas

78. The science of logic - Coffey, Peter.

79. Review of: Molly Doane (2012) Stealing shining rivers : agrarian conflict, market logic, and conservation in a Mexican forest. Tucson, AZ: University of Arizona Press - McCall, M.K.

80. Logic synthesis for manufacturability considering regularity and lithography printability - Machado, Lucas; Dal Bem, Vinicius; Moll Echeto, Francisco de Borja; Gómez Fernández, Sergio; Ribas, Renato P.; Reis, André Inacio
This paper presents a novel yield model for integrated circuits manufacturing, considering lithography printability problems as a source of yield loss. The use of regular layouts can improve the printability of IC layouts, but it results in a significant area overhead by introducing regularity. To the best of our knowledge, this is the first approach that considers the tradeoff of cells with different levels of regularity and different area overheads during the logic synthesis, in order to improve overall design yield. A technology remapping tool with such yield model as cost function is proposed and implemented and interesting results are...

Página de resultados:
 

Busque un recurso