Descripción breve de la muy noble y leal Ciudad de Zacatecas

UANL

Breve descripción de la República de Chile. Escrita según datos principales con un mapa y 36 grabados.

UANL

Descripción de los ríos principales del mundo, estudio hidrográfico

UANL

Geografía universal, descripción pintoresca y abreviada de todos los países del mundo

UANL

Europa pintoresca : descripción general de viajes ilustrados con numerosos y artísticos grabados y redactada por reputados escritores en vista de los trabajos de los mas distinguidos viajeros

UANL

Cosmos ; Ensayo de una descripción física del mundo

UANL

Los tres reinos de la naturaleza : museo pintoresco de historia natural. Descripción completa de los animales, vegetales y minerales útlies y agradables... obra arreglada sobre los trabajos de los más eminentes naturalistas de todos los paises...

UANL

La atmósfera : descripción de los grandes fenómenos de la naturaleza

UANL

Manual de anatomía general : o descripción sucinta de los tejidos que componen los órganos del hombre

UANL

Práctica del tirador ó sea tratado elemental sobre la teoría del tiro con armas rayadas especiales y las militares de ordenanza, comprendiendo la instrucción de las tropas y la descripción del sistema moderno de retrocarga, sus proyectiles y cartuchería metálica

UANL

Aplicación de geometría de fractales a la descripción de microestructuras metálicas por Moisés Hinojosa Rivera

Tesis (Doctor en Ingeniería de Materiales) U.A.N.L.

Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

Traducción y transferencia cultural en la reforma educativa radical en Colombia : descripción y análisis de La Escuela Normal (1871-1879)

Cette thèse porte sur l’histoire de la traduction en Colombie dans le XIXe siècle. Elle étudiera le rapport entre la traduction et l’éducation pendant la réforme éducative menée par le groupe politique connu sous le nom de los radicales liberales. Pour ce faire, elle décrit et analyse les traductions parues dans le périodique officiel de la réforme, La Escuela Normal (1871-1879), dont la mission consistait en la diffusion des informations administratives et légales concernant la réforme éducative. On y trouve aussi des articles sur l’éducation et des leçons destinés à la formation des enseignants (manuels scolaires). À partir d’une démarche méthodologique et théorique descriptive et socioculturelle qui combine l’analyse des traductions et le contexte de réception de celles-ci, on analyse comment et pourquoi le contexte politique, social et éducatif de l’époque s’est répercuté sur la sélection des thématiques et des auteurs à traduire dans ce périodique. De plus, le groupe de traducteurs et d’intellectuels ainsi que la façon de traduire de ceux-ci sont étudiés. Cette recherche permet d’observer que la traduction n’est pas une activité neutre, mais une activité au centre de dynamiques sociales et culturelles. De plus, les contacts culturels permettent des transferts divers, notamment des traductions, mais aussi des représentations et des modèles sociaux. Finalement, la traduction s’avère un instrument au service des intérêts particuliers d’un groupe politique et social.

Regelbasiertes Reasoning auf massiv paralleler Hardware

Eine wesentliche Funktionalität bei der Verwendung semantischer Technologien besteht in dem als Reasoning bezeichneten Prozess des Ableitens von impliziten Fakten aus einer explizit gegebenen Wissensbasis. Der Vorgang des Reasonings stellt vor dem Hintergrund der stetig wachsenden Menge an (semantischen) Informationen zunehmend eine Herausforderung in Bezug auf die notwendigen Ressourcen sowie der Ausführungsgeschwindigkeit dar. Um diesen Herausforderungen zu begegnen, adressiert die vorliegende Arbeit das Reasoning durch eine massive Parallelisierung der zugrunde liegenden Algorithmen und der Einführung von Konzepten für eine ressourceneffiziente Ausführung. Diese Ziele werden unter Berücksichtigung der Verwendung eines regelbasierten Systems verfolgt, dass im Gegensatz zur Implementierung einer festen Semantik die Definition der anzuwendenden Ableitungsregeln während der Laufzeit erlaubt und so eine größere Flexibilität bei der Nutzung des Systems bietet. Ausgehend von einer Betrachtung der Grundlagen des Reasonings und den verwandten Arbeiten aus den Bereichen des parallelen sowie des regelbasierten Reasonings werden zunächst die Funktionsweise von Production Systems sowie die dazu bereits existierenden Ansätze für die Optimierung und im Speziellen der Parallelisierung betrachtet. Production Systems beschreiben die grundlegende Funktionalität der regelbasierten Verarbeitung und sind somit auch die Ausgangsbasis für den RETE-Algorithmus, der zur Erreichung der Zielsetzung der vorliegenden Arbeit parallelisiert und für die Ausführung auf Grafikprozessoren (GPUs) vorbereitet wird. Im Gegensatz zu bestehenden Ansätzen unterscheidet sich die Parallelisierung insbesondere durch die gewählte Granularität, die nicht durch die anzuwendenden Regeln, sondern von den Eingabedaten bestimmt wird und sich damit an der Zielarchitektur orientiert. Aufbauend auf dem Konzept der parallelen Ausführung des RETE-Algorithmus werden Methoden der Partitionierung und Verteilung der Arbeitslast eingeführt, die zusammen mit Konzepten der Datenkomprimierung sowie der Verteilung von Daten zwischen Haupt- und Festplattenspeicher ein Reasoning über Datensätze mit mehreren Milliarden Fakten auf einzelnen Rechnern erlauben. Eine Evaluation der eingeführten Konzepte durch eine prototypische Implementierung zeigt für die adressierten leichtgewichtigen Ontologiesprachen einerseits die Möglichkeit des Reasonings über eine Milliarde Fakten auf einem Laptop, was durch die Reduzierung des Speicherbedarfs um rund 90% ermöglicht wird. Andererseits kann der dabei erzielte Durchsatz mit aktuellen State of the Art Reasonern verglichen werden, die eine Vielzahl an Rechnern in einem Cluster verwenden.

Teoría del hardware adaptada a los ciclos formativos de grado superior de informática.

Manual adaptado a los ciclos formativos superiores de informática sobre teoría del hardware, estructurado en seis capítulos cuyos contenidos son: introducción a la informática, representación interna de la información (sistemas, conversión, representación y codificación) la estructura del ordenador, la memoria interna, los microprocesadores y los periféricos.