324,101 research outputs found
Título: Eglogae historicorum de rebus byzantinis
No full textEs continuación de "De Byzantinae historiae scriptoribus ...", una larga serie de volúmenes no numerados con tipografía del impresor real de París, realizados en el periodo comprendido aproximadamente entre 1645-1702, según Brunet y SommervogelEs continuación de "De Byzantinae historiae scriptoribus ...", según Sommervogel, 4, 1306, 23Título paralelo en griego clásico y latínTexto paralelo latín y griegoTít. transliterado por el catalogadorMarca tipográfica en portada, grabado calcográfico del escudo real de Luis XIVMarca tip. en portSign.: [ ]\p1\s, ¯a\p6\s, A-Z\p4\s, 2A-2E\p4\s, 2F\p6\s ; A-P\p4\sAnteportadaTexto a dos columnasAntepLas ilustraciones son grabados calcográficos, intercalados en el texto, relativos a la historia de BizancioLas il. son grab. calc., intercalados en el texto, relativos a la historia de BizancioEglogae historicorum de rebus byzantinis ... / selegit, interpretationem recensuit, notisq[?] breuibus illustrauit P. Philippus Labbe ... Societatis Iesu ..., segunda secuencia de paginación, con anteportadaEglogae historicorum de rebus byzantinis ... / selegit, interpretationem recensuit, notisq[?] breuibus illustrauit P. Philippus Labbe ... Societatis Iesu ..., segunda secuencia de pag., con ante
Formal Verification of Industrial Software with Dynamic Memory Management
No full textTool-based analytic techniques such as formal verification may be used to justify the quality, correctness and dependability of software involved in digital control systems. This paper reports on the development and application of a tool-based methodology, the purpose of which is the formal verification of freedom from intrinsic software faults related to dynamic memory management. The paper introduces the operational and research context in the power generation industry, in which this work takes place. The theoretical framework and the tool at the cornerstone of the methodology are then presented. The paper also presents the practical aspects of the research: software under analysis, experimental results and lessons learned. The results are seen promising, as the methodology scales accurately in identified conditions of analysis, and has a number of perspectives which are currently under study in ongoing work
1460. Chronicon S. Stephani Lemovicensis, fragments dans Ph. Labbe, Mélanges curieux, 478, 621, 626, 660
No full text1460. Chronicon S. Stephani Lemovicensis, fragments dans Ph. Labbe, Mélanges curieux, 478, 621, 626, 660. In: Molinier Auguste. Les Sources de l'histoire de France - Des origines aux guerres d'Italie (1494). II. Époque féodale, les Capétiens jusqu'en 1180. Paris : A. Picard et fils, 1902. p. 107
Título: Annales a mundi exordio usque ad obitum Alexii Comneni imper
No full textTexto paralelo latin-griegoLos datos de pie de imp. entre paréntesis constan en el colofónSign.: ¯a\p6\s, ¯e-¯u\p4\s, 2¯a\p2\s, A-Z\p4\s, 2A-2T\p4\s, 2V\p6\s, 2X-2Z\p4\s, 3A-3T\p4\sAnte
Developments Relating to Seismic Action in the Eurocode 8 of Next Generation
No full textThe purpose of this paper is to present the main changes introduced by CEN-TC250-SC8 concerning seismic action in the next revision of Eurocode 8, consisting principally of:- Introducing the concept of seismic action class in place of seismicity level.- Anchoring the standard spectrum by its plateau value, S-alpha, and its value at 1 s spectral period, S-beta, instead of the PGA.- Introducing, in an informative annex, two European hazard maps, one for S-alpha, and one for S-beta, both defined for 475 years return period, based on the ESHM20 hazard model.- Revising the site categorization by introducing the bed rock depth in addition to the shear wave velocity.- Introducing new site amplification factors based on this site categorisation and dependent on input motion level.- Introducing a new spatial model of input motion for bridges and pipelines.- Providing miscellaneous specifications on conventional values of magnitude and strong motion duration, dependence of spectra to damping, ..
Topography City of Akron, Ohio. Sheet no. 119
No full textThis sheet includes the following reference points: 31st Street S. W., 28 Street S. W., 25th Street S. W., Cory Avenue, Wingate Avenue, Pikes Avenue, La Rue Street, and Wintergren Avenue north-south; Welsh Avenue, Kohler Avenue, W. Waterloo Road, Weiser Avenue, Sevilla Avenue, Ivor Street, and Stanford Street east-west. Buildings and landmarks include N Y P A N O R. R., B & O R. R., C. A. & C. R. R., Highland Park Allotment, Highland Park School, Hope Evangelical Church, St. Augustine Cemetary, Lakewood Cemetary, Akron Porcelain Company, Portage Tool Company, the Ohio-1929-Corporation-Line-Canal, numerous housing allotments, and the Tuscarawas River.Edition of 1930.; Relief includes contours and landforms.; "G.D. Whitmore, Engineer in Charge; Resident engineer: C.A. Labbe; Triangulation: H.L. Oxley; First order levels: H.L. Oxley; Topography: C.A. Labbe."; "Mapped: July 1929."; "Zero of co-ordinates is 100,000 feet south and west of corporation monument at southwest corner of Honodle Avenue and Hillside Terrace, Akron, Ohio.
Exemplaires de la "Nova Bibliotheca" de Ph. Labbe disponibles en ligne
No full text1653: Listes de livres et catalogues de bibliothèques Ph. Labbe (comp.), Nova Bibliotheca MSS. Librorum, Sive specimen antiquarum lectionum latinarum et græcarum in quatuor partes tributarum, cum coronide duplici, poetica et libraria, ac supplementis decem, Parisiis: Apud Ioannem Henault, viâ Iacobæâ, ad insigne S. Raphaëlis Angeli, paullò infrà Templum S. Benedicti, 1653 Exemplaire de la Bibl. Mun. de Lyon, sur Google. Exemplaire de la Bayer. Staatsbibl. de Munich, sur MDZ. 1657: Ouvrages i..
1467. Bernard Gui, De fundatione et progressu monasterii S. Augustini Lemovicensis, fragment dans Ph. Labbe, Nova bibliotheca mss. librorum, sive Specimen antiquarum lectionum latinarum et graecarum, II, 277
No full text1467. Bernard Gui, De fundatione et progressu monasterii S. Augustini Lemovicensis, fragment dans Ph. Labbe, Nova bibliotheca mss. librorum, sive Specimen antiquarum lectionum latinarum et graecarum, II, 277. In: Molinier Auguste. Les Sources de l'histoire de France - Des origines aux guerres d'Italie (1494). II. Époque féodale, les Capétiens jusqu'en 1180. Paris : A. Picard et fils, 1902. p. 108
Detection of 2 Different Nuclear Proteins Which Interact With the Metal Regulatory Elements of the Gene Encoding Mouse Metallothionein-i
No full text- …
