An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text: • assertions (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST).

Electronic damage in quartz (c-SiO2) by MeV ion irradiations: Potentiality for optical waveguiding applications

The damage induced on quartz (c-SiO2) by heavy ions (F, O, Br) at MeV energies, where electronic stopping is dominant, has been investigated by RBS/C and optical methods. The two techniques indicate the formation of amorphous layers with an isotropic refractive index (n = 1.475) at fluences around 1014 cm−2 that are associated to electronic mechanisms. The kinetics of the process can be described as the superposition of linear (possibly initial Poisson curve) and sigmoidal (Avrami-type) contributions. The coexistence of the two kinetic regimes may be associated to the differential roles of the amorphous track cores and preamorphous halos. By using ions and energies whose maximum stopping power lies inside the crystal (O at 13 MeV, F at 15 MeV and F at 30 MeV) buried amorphous layer are formed and optical waveguides at the sample surface have been generated.

Contenta hoc volumine, Problematum Aristotelis sectiones duæ de quadraginta / Theodoro Gaza interprete. Problematum Alexandri Aphrodisiei libri duo / eodem Theodoro interprete ; index in vtriusque sectiones et problemata.

Capitulares grab. xil.

Solennis ac perutilis Repetitio c. Raynutius. extra de testa. (vt poteque de testamentis, vltimis voluntatib[us] institutionib[us] substitutionib[us] [et] h[uius]mo[d]i iuriu[m] difficultatib[us] pertractet) Iuris vtriusq[ue] monarche ... / do. Guillelmi

Port. arquitectónicas a dos tintas

La cabaña vertical. Un proyecto inacabado para una casa en Oropesa, España. Sáenz de Oíza, c. 1967-1977

Si la casa, como es lógico, se encuentra en el centro de cualquier discusión sobre el habitar, la casa del arquitecto tendrá, sin duda, un especial interés en este ámbito. Francisco Javier Sáenz de Oíza tuvo la fortuna de poder vivir gran parte de su vida en casas proyectadas por él mismo. No ocurrió así, sin embargo, en el caso de su tantas veces dibujada casa en Oropesa, que nunca llegó a construir. Cuando en 1992, ya profesor emérito, Oíza tuvo que dar una conferencia acerca de la casa en la Escuela de Arquitectura de Madrid, no enseñó ninguna de aquellas que había podido construir para él, ni siquiera alguna de las que había realizado para sus clientes, sino que rescató del olvido este pequeño refugio desconocido para casi todos. Se trataba de una pequeña cabaña en mitad del bosque. El programa, mínimo, se encontraba verdaderamente ajustado en sus dimensiones y las técnicas constructivas que se proponían incidían en este carácter austero de la vivienda. Sin embargo, la cabaña tenía una particularidad evidente que destacaba por encima de las demás: al contrario de lo que podía esperarse, ésta era una cabaña vertical. Con la reconstrucción gráfica y el análisis de esta pequeña obra intentaremos arrojar algo de luz, de buscar una particular construcción de sentido, a la intensa y poliédrica arquitectura de un hombre tachado en ocasiones de ?navegar a la deriva?, pero sin duda complejo y fascinante.

Requirement for the c-Maf transcription factor in crystallin gene regulation and lens development

The vertebrate lens is a tissue composed of terminally differentiated fiber cells and anterior lens epithelial cells. The abundant, preferential expression of the soluble proteins called crystallins creates a transparent, refractive index gradient in the lens. Several transcription factors such as Pax6, Sox1, and L-Maf have been shown to regulate lens development. Here we show that mice lacking the transcription factor c-Maf are microphthalmic secondary to defective lens formation, specifically from the failure of posterior lens fiber elongation. The marked impairment of crystallin gene expression observed is likely explained by the ability of c-Maf to transactivate the crystallin gene promoter. Thus, c-Maf is required for the differentiation of the vertebrate lens.

The Utility of the CVLT-C as an Embedded Validity Indicator After Pediatric Mild Traumatic Brain Injury.

Results of neuropsychological examinations depend on valid data. Whereas clinicians previously believed that clinical skill was sufficient to identify non-credible performance by examinees on standard tests, research demonstrates otherwise. Consequently, studies on measures to detect suspect effort in adults have received tremendous attention in the previous twenty years, and incorporation of validity indicators into neuropsychological examinations is now seen as integral. Few studies exist that validate methods appropriate for the measurement of effort in pediatric populations. Of extant studies, most evaluate standalone measures originally developed for use with adults. The present study examined the utility of indices from the California Verbal Learning Test – Children's Version (CVLT-C) as embedded validity indicators in a pediatric sample. Participants were 225 outpatients aged 8 to 16 years old referred for clinical assessment after mild traumatic brain injury (mTBI). Non-credible performance (n = 39) was defined as failure of the Medical Symptom Validity Test (MSVT). Logistic regression demonstrated that only the Recognition Discriminability index was predictive of MSVT failure (OR = 2.88, p < .001). A cutoff of z ≤ -1.0 was associated with sensitivity of 51% and specificity of 91%. In the current study, CVLT-C Recognition Discriminability was useful in the identification of non-credible performance in a sample of relatively high-functioning pediatric outpatients with mTBI. Thus, this index can be added to the short list of embedded validity indicators appropriate for pediatric neuropsychological assessment.

Relationship between body mass index and mean arterial pressure in normotensive and chronic hypertensive pregnant women: a prospective, longitudinal study

Being overweight is associated with both higher systolic blood pressure (SBP) and diastolic blood pressure (DBP) during pregnancy and increased risk of gestational hypertensive disorders. The objective of this study was to determine and quantify the effect of body mass index (BMI) on mean arterial pressure (MAP) at several time points throughout pregnancy in normotensive (NT) and chronic hypertensive pregnant (HT) women.

Washington, D.C., 1791 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city intended for the permanent seat of the government of t[he] United States : projected agreeable to the direction of the President of the United States, in pursuance of an act of Congress passed the sixteenth day of July, MDCCXC, "establishing the permanent seat on the bank of the Potowmac", by Peter Charles L'Enfant. It was published by U.S. Coast and Geodetic Survey in 1887. Scale ca. 1:15,840. Facsimile of L'Enfant's 1791 plan for Washington, D.C. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as proposed streets and government building locations, drainage, parks, and more. Includes notes, text, statistical data, and index to points of interest. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington in the territory of Columbia : ceded by the states of Virginia and Maryland to the United States of America, and by them established as the seat of their government, after the year MDCCC, engrav'd by Sam'l Hill, Boston ; in order to execute this plan, Mr. Ellicott drew a true meridional line. Andrew Ellicott plan of Washington, D.C. It was published in 1792. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief is shown by hachures. Depths shown by soundings. Includes text and notes. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington in the territory of Columbia : ceded by the states of Virginia and Maryland to the United States of America, and by them established as the seat of their government, after the year MDCCC, engrav'd by Thackara & Vallance Philad'a 1792 ; in order to execute this plan, Mr. Ellicott drew a true meridional line ... and left nothing to the uncertainty of the compass. Andrew Ellicott plan of Washington, D.C. It was published in 1792. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief is shown by hachures. Depths are shown by soundings. Includes text, notes, and coat-of-arms. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington, Thackara & Vallance, sc. Andrew Ellicott plan of Washington, D.C. It was published in the Universal asylum, and Columbian magazine, v. 4, March 1792. Scale not given. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as proposed streets and government building locations, drainage, parks, and more. Relief is shown by hachures. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Washington, D.C., 1795 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington, in the territory of Columbia, ceded by the States of Virginia and Maryland to the United States of America, and by them established as the seat of their government after the year 1800, J. Russell, sculpt., Constitu'n Row, Grays Inn Road. It was published in 1795. Scale [ca 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief shown by hachures. Depths shown by soundings. Includes "Remarks" and coat-of-arms. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Washington, D.C., 1815 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Territory of Columbia, drawn by And'w Ellicott ; engraved by P.A.F. Tardieu, Paris, 1815. It was published in 1815. Scale [ca. 1:63,360]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, district boundaries, government buildings, parks and more. Relief is shown by hachures. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.