« Gestes des nobles François descenduz de la royale lignée du noble roy Priam, de Troye, jusques au noble Charles, filz du roy Charles le siziesme, qui tant fut aimé des nobles et de tous autres » par GUILLAUME COUSINOT.

Le titre est au fol. 4, où la chronique commence par : « Comment Troie la grant fut fondée et destruite. Troie la grant et le royaume qui tant furent... » ; elle finit (fol. 79) par : « ... Devant Troies vint le roy Charles de France, le mercredi VIe jour de juillet mil CCCC XXIX, et là mist siege de toutes pars... muraille laquelle il commanda faire ses bombardes getter ». Une table incomplète occupe les feuillets 1-3 ; il manque, en effet, en tête, un feuillet qui devait en contenir le commencement.

Bazaine fut-il un traître ? étude sur la campagne de Lorraine, en 1870, contenant des lettres inédites, avec fac-similé, de l'ex-maréchal / Élie Peyron

Comprend : Lettres inédites

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.

Cracking the SAT. U.S. and World history subject tests.

Scholastic Aptitude Test (SAT) se trata de una prueba estandarizada usada frecuentemente para valorar los conocimientos adquiridos durante la enseñanza secundaria por los estudiantes que deseen acceder a una educación superior en EE.UU. Esta publicación proporciona la información y las estrategias necesarias para maximizar la puntuación de la prueba del SAT en historia. Enseña a pensar como los redactores de la prueba, y a practicar con la materia que se pondrá en el examen para poder estudiar con mayor eficacia. Se hace una revisión de las épocas históricas que van a aparecer en la prueba y facilita con explicaciones detalladas técnicas para aplicar los conocimientos aprendidos en resolver cuestiones específicas complicadas. Incluye cuatro ensayos prácticos con preguntas de opción múltiple de una hora de duración cada una: dos pruebas de historia de Estados Unidos desde la aprobación de la Constitución hasta la actualidad, y dos pruebas para historia universal.

Cracking the SAT. Biology E, M subject test.

Scholastic Aptitude Test (SAT) se trata de una prueba estandarizada usada frecuentemente para valorar los conocimientos adquiridos durante la enseñanza secundaria por los estudiantes que deseen acceder a una educación superior en EE.UU. Esta publicación proporciona la información y las estrategias necesarias para maximizar la puntuación de la prueba del SAT en biología. Enseña a pensar como los redactores de la prueba, y a practicar con la materia que se pondrá en el examen para poder estudiar con mayor eficacia. Se hace una revisión de los conceptos principales de la biología que van a aparecer en la prueba y facilita, con explicaciones detalladas, estrategias para aplicar los conocimientos aprendidos en resolver cuestiones específicas complicadas. Incluye dos ensayos prácticos de una hora de duración con preguntas de opción múltiple.

Cracking the SAT. Literature subject test.

Scholastic Aptitude Test (SAT) se trata de una prueba estandarizada usada frecuentemente para valorar los conocimientos adquiridos durante la enseñanza secundaria por los estudiantes que deseen acceder a una educación superior en EE.UU. Esta publicación ,proporciona la información y las estrategias necesarias para desarrollar la capacidad de comprender y analizar textos literarios seleccionados de prosa, poesía y teatro escritos en inglés, para maximizar la puntuación de la prueba del SAT en literatura. Enseña a pensar como los redactores de la prueba, y a practicar con la materia que se pondrá en el examen para poder estudiar con mayor eficacia. Se hace una revisión de los conceptos principales de la literatura que van a aparecer en la prueba y facilita con explicaciones detalladas técnicas para aplicar los conocimientos aprendidos en resolver cuestiones específicas complicadas. Incluye cuatro ensayos prácticos de una hora de duración cada uno con preguntas de opción múltiple que se centran en conocimientos básicos de términos literarios.