Saturday, September 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 41 - 60 de 132,389

41. El orden mundial contemporáneo a través de los conceptos de hegemonía e imperio: crisis y mecanismos de cambios de los modelos hegemónicos - Piana, Ricardo Sebastián; Tisera, Juan Cruz
En este artículo nos propondremos establecer la lógica interna de los paradigmas teóricos que subyacen en los conceptos de hegemonía e imperio en cuatro autores centrales para la teoría internacional, verificando qué consecuencias tienen sobre el concepto de cambio; y las características y resolución de la crisis que atraviesa el actual sistema internacional. La primera parte del trabajo se ocupará del orden mundial contemporáneo desarrollando en particular cómo se moldean los conceptos de hegemonía e imperio a través de cuatro de sus autores más destacados: en primer lugar, analizáremos las propuestas de Hardt y Negri y su hipótesis por la cual...

42. El estrecho vínculo: pandillas, cárceles y drogas - Losada Pintos Astolfi, Georgina
En el presente trabajo se abordará el tema de las pandillas de Estados Unidos; para llegar a la lógica que operan dichas pandillas es necesario en primer lugar establecer un marco histórico del contexto internacional en el que surgen y de esa forma lograr traducir el lenguaje físico, lingüístico y de códigos que se oculta tras el pandillero temido por la sociedad norteamericana y castigado por la misma. Por ello el recorrido se contextualiza desde parámetros económicos, sociales, políticos y culturales que emergen en las últimas décadas del siglo XX (veinte) con la introducción de un nuevo modo de llevar a...

43. Classificação de óleos alimentares com base na composição em ácidos gordos e aplicação de um modelo de lógica difusa - Igrejas, Getúlio; Amaral, J.S.; Rodrigues, P.J.; Oliveira, P.J.

44. A Universal Art. Hebrew Grammar across Disciplines and Faiths
A Universal Art. Hebrew Grammar Across Disciplines and Faiths reflects on medieval and early modern Hebrew linguistics as a discipline that crossed geographic and religious borders and linked up with a plethora of scholarly activities, from Judaeo-Arabic Bible translations to the Renaissance search for the holiest alphabet. This collection of articles presents a cross-section of new research avenues on Hebraism, Karaite, Rabbanite and Christian, with an emphasis on the transmission of linguistic ideas through time and space among different communities, cultures and religious currents. The resulting picture is one of intrinsic variation and dynamic growth as opposed to the linear...

45. Disseny físic de bases de dades - Cabré Segarra, Blai; Casas Roma, Jordi; Costal Costa, Dolors; Juanola Juanola, Pere; Rius Gavidia, Àngels; Segret Sala, Ramon
El disseny físic de bases de dades constitueix la quarta etapa en el procés de disseny d’una base de dades. En les etapes anteriors s’ha realitzat l’anàlisi de requeriments, el disseny conceptual i, finalment, el disseny lògic de la base de dades. En aquest mòdul veurem el procés de transformació del model lògic, obtingut en l’etapa anterior, cap a un model físic que ens permeti obtenir una implementació sobre un sistema de gestió de bases de dades (SGBD).

46. Estrategias de mejora del rendimiento en una asignatura teórica difícil de la fase selectiva - Arias Vicente, Marta; Ferrer Cancho, Ramon
La asignatura de Introducción a la Lógica es una asignatura del primer año de Ingeniería en Informática impartida en la Facultad deInformática de Barcelona (UPC). La asignatura fue rediseñada en el curso 06-07 y pasó a ser de las más fáciles a ser de las más difíciles.Como es de esperar, esta asignatura tiene muy mala reputación entre los alumnos que inician su carrera por su dificultad y por el bajo rendimiento que éstos obtienen.En este artículo se analizan las notas obtenidas durante un total de siete cuatrimestres, agrupadas según la temática de sus contenidos.La asignatura consta de tres bloques temáticos...

47. MT-SBST: self-test optimization in multithreaded multicore architectures - Foutris, Nikos; Psarakis, M.; Gizopoulos, Dimitris; Apostolakis, A.; Vera, Xavier; González Colás, Antonio María
Instruction-based or software-based self-testing (SBST) is a scalable functional testing paradigm that has gained increasing acceptance in testing of single-threaded uniprocessors. Recent computer architecture trends towards chip multiprocessing and multithreading have raised new challenges in the test process. In this paper, we present a novel self-test optimization strategy for multithreaded, multicore microprocessor architectures and apply it to both manufacturing testing (execution from on-chip cache memory) and post-silicon validation (execution from main memory) setups. The proposed self-test program execution optimization aims to: (a) take maximum advantage of the available execution parallelism provided by multiple threads and multiple cores, (b) preserve the...

48. Software directed issue queue power reduction - Jones, Timothy M.; O’Boyle, Michael F.P.; Abella Ferrer, Jaume; González Colás, Antonio María
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling systems and additional packaging. In this paper we present a novel software assisted approach to power reduction where the processor dynamically resizes the issue queue based on compiler analysis. The compiler passes information to the processor about the number of entries needed which limits the number of instructions dispatched and resident in the queue. This saves power without adversely affecting performance. Compared with recently proposed hardware techniques, our approach is faster, simpler and...

49. Modeling genealogical domain: an open problem - Campanya Artes, Joan; Conesa Caralt, Jordi; Mayol Sarroca, Enric
The automated processing, storing and knowledge inference of genealogical data presents several difficulties. Roughly eighteen years ago, the FamilySearch organization published GEDCOM, a new standard file format to allow genealogy software and tools to exchange genealogical data. Five years later, the GENTECH Data Modeling Project, proposed a new genealogical logic data model to support research in genealogy and to allow data inter-exchange between genealogy software. Despite being initial reference models, they still have some limitations to adapt to different cultural and social environments. Additionally, sharing genealogical data between systems is difficult since, even though they are syntactical reference models, they...

50. Intuïció, creativitat i cooperació - Bueno i Torrens, David, 1965-
Imagineu que, just ara quan comenceu a llegir aquest article, sona el telèfon. Feu un gest per agafar-lo, però abans de tocar-lo teniu un pressentiment sobre la persona que us truca; intuïu qui deu ser, i potser fins i tot què us vol dir. Totes les persones tenim intuïcions, malgrat n'hi ha de més intuïtives que d'altres. La intuïció ha estat, durant molts anys, un tema molt discutit en ambients científics. D'una banda, perquè és impossible negar-ne l'existència. D'altra, perquè davant la manca d'explicacions científiques sovint s'ha relacionat amb un hipotètic"sisè sentit", a percepcions extrasensorials i, fins i tot, a...

51. Lógica y psicología - Federicci, Carlo

52. Lógica y matemática - Diedonné, Jean; Soriano, Luis Ignacio; Yerly, Henry

53. El retículo de las lógicas de primer orden con cuantificadores cardinales - Corredor, Luis Jaime

54. On intuitionistic sentential connectives i - López-Escobar, E.G.K.

55. The completeness and compactness of a three-valued first-order logic - D'Ottaviano, Itala M. L.

56. Studies in paraconsistent logic ii: quantifiers and the unity of opposites - Costa, Newton C.A. da; Wolf, Robert G.

57. Natural numbers in illative combinatory logic - Bunder, M. W.

58. Gestión escolar y nuevas tecnologías en el sistema público de enseñanza - Aires, Carmenisia Jacobina
A mediados de los años 90, siguiendo las tendencias mundiales, el Estado Brasileño planteó determinadas políticas para promover el uso de las Tecnologías de Información y de la Comunicación (TIC) en su Sistema de Enseñanza Pública. Para cumplir dicha finalidad, se crearon los programas TV Escola (1995) y Proinfo (Programa de Informática Educativa) (1997) ambos coordinados, a nivel federal, por el Ministerio de Educación y ejecutados por las Provincias, las Municipalidades y el Distrito Federal. En aquel período, Brasil implantaba la Reforma del Estado que, entre otros objetivos, preveía el ajuste del país al nuevo orden mundial. Estableció, asimismo, un...

59. La experiencia de los límites en la obra de José Ángel Valente y sus implicaciones lógico-matemáticas - Díaz Gamboa, Sandra Lucía
"La experiencia de los límites" se refiere a la irrupción del silencio, Límite Trascendente que, musical o mortal, rompe o abre todos los límites de las palabras hacia ese más allá, ansia de lejanía, nunca de nadie, en que las palabras transitan libres entre la indeterminación, la incompletitud, la indecidibilidad, la infinitud y el continuo que son, precisamente, los problemas centrales de las matemáticas y las lógicas modernas y contemporáneas.s

60. Disseny físic de bases de dades - Cabré Segarra, Blai; Casas Roma, Jordi; Costal Costa, Dolors; Juanola Juanola, Pere; Rius Gavidia, Àngels; Segret Sala, Ramon
El disseny físic de bases de dades constitueix la quarta etapa en el procés de disseny d’una base de dades. En les etapes anteriors s’ha realitzat l’anàlisi de requeriments, el disseny conceptual i, finalment, el disseny lògic de la base de dades. En aquest mòdul veurem el procés de transformació del model lògic, obtingut en l’etapa anterior, cap a un model físic que ens permeti obtenir una implementació sobre un sistema de gestió de bases de dades (SGBD).

Página de resultados:
 

Busque un recurso