WWW Programming using computational logic systems (and the PiLLoW/Ciao library)

We discuss from a practical point of view a number of issues involved in writing Internet and WWW applications using LP/CLP systems. We describe Pd_l_oW, a public-domain Internet and WWW programming library for LP/CLP systems which we argüe significantly simplifies the process of writing such applications. Pd_l_oW provides facilities for generating HTML structured documents, producing HTML forms, writing form handlers, accessing and parsing WWW documents, and accessing code posted at HTTP addresses. We also describe the architecture of some application classes, using a high-level model of client-server interaction, active modules. We then propose an architecture for automatic LP/CLP code downloading for local execution, using generic browsers. Finally, we also provide an overview of related work on the topic. The PiLLoW library has been developed in the context of the &- Prolog and CIAO systems, but it has been adapted to a number of popular LP/CLP systems, supporting most of its functionality.

Aristotelis De natura animalium, libri nouem ; De partibus animalium, libri quattuor ; De generatione animalium, libri quinq[ue] / interprete Theodoro Gaza.

Pie de imp. tomado de IBE

Copilacion de todas las obras del famosissimo poeta Iuan de mena : co[n]uiene saber, las ccc con otras xxiiij coplas y su glosa : y la coro[n]acio[n] y las coplas de los siete peccados mortales co[n] otras cartas y coplas y Canciones suyas, agora nueuam[n

Sign.: a-n8, a-b8, c10

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.

Todas las obras del famosissimo poeta Iuan de Mena : con la glosa del Comendador Fernan Nuñez sobre las trezientas : agora nueuamente corregidas y enmendadas.

Marca tip. en port. y 2L1r (Vandeweghe y Beeck,$cp. 169 y 170, Nutius, merk 4 y 7)

Historia de las cosas de Ethiopia, en la qual se cuenta muy copiosamente, el estado y pote[n]cia del emperador della ... con otras infinitas particularidades, assi dela religio[n] de aquella ge[n]te, como de sus cerimonias / segun que de todo ello fue tes

Capitulares grab. xil.

Vanadium-Doped In and Sn Sulphides: Photocatalysts able to use the whole visible light spectrum

Using photocatalysis for energy applications depends, more than for environmental purposes or selective chemical synthesis, on converting as much of the solar spectrum as possible; the best photocatalyst, titania, is far from this. Many efforts are pursued to use better that spectrum in photocatalysis, by doping titania or using other materials (mainly oxides, nitrides and sulphides) to obtain a lower bandgap, even if this means decreasing the chemical potential of the electron-hole pairs. Here we introduce an alternative scheme, using an idea recently proposed for photovoltaics: the intermediate band (IB) materials. It consists in introducing in the gap of a semiconductor an intermediate level which, acting like a stepstone, allows an electron jumping from the valence band to the conduction band in two steps, each one absorbing one sub-bandgap photon. For this the IB must be partially filled, to allow both sub-bandgap transitions to proceed at comparable rates; must be made of delocalized states to minimize nonradiative recombination; and should not communicate electronically with the outer world. For photovoltaic use the optimum efficiency so achievable, over 1.5 times that given by a normal semiconductor, is obtained with an overall bandgap around 2.0 eV (which would be near-optimal also for water phtosplitting). Note that this scheme differs from the doping principle usually considered in photocatalysis, which just tries to decrease the bandgap; its aim is to keep the full bandgap chemical potential but using also lower energy photons. In the past we have proposed several IB materials based on extensively doping known semiconductors with light transition metals, checking first of all with quantum calculations that the desired IB structure results. Subsequently we have synthesized in powder form two of them: the thiospinel In2S3 and the layered compound SnS2 (having bandgaps of 2.0 and 2.2 eV respectively) where the octahedral cation is substituted at a â?10% level with vanadium, and we have verified that this substitution introduces in the absorption spectrum the sub-bandgap features predicted by the calculations. With these materials we have verified, using a simple reaction (formic acid oxidation), that the photocatalytic spectral response is indeed extended to longer wavelengths, being able to use even 700 nm photons, without largely degrading the response for above-bandgap photons (i.e. strong recombination is not induced) [3b, 4]. These materials are thus promising for efficient photoevolution of hydrogen from water; work on this is being pursued, the results of which will be presented.

Software industry experiments: a systematic literature review

There is no specialized survey of experiments conducted in the software industry. Goal: Identify the major features of software industry experiments, such as time distribution, independent and dependent variables, subject types, design types and challenges. Method: Systematic literature review, taking the form of a scoping study. Results: We have identified 10 experiments and five quasi-experiments up to July 2012. Most were run as of 2003. The main features of these studies are that they test technologies related to quality and management and analyse outcomes related to effectiveness and effort. Most experiments have a factorial design. The major challenges faced by experimenters are to minimize the cost of running the experiment for the company and to schedule the experiment so as not to interfere with production processes.

Building lean thinking in a telecom software development organization: strengths and challenges.

The potential shown by Lean in different domains has aroused interest in the software industry. However, it remains unclear how Lean can be effectively applied in a domain such as software development that is fundamentally different from manufacturing. This study explores how Lean principles are implemented in software development companies and the challenges that arise when applying Lean Software Development. For that, a case study was conducted at Ericsson R&D Finland, which successfully adopted Scrum in 2009 and subsequently started a comprehensible transition to Lean in 2010. Focus groups were conducted with company representatives to help devise a questionnaire supporting the creation of a Lean mindset in the company (Team Amplifier). Afterwards, the questionnaire was used in 16 teams based in Finland, Hungary and China to evaluate the status of the transformation. By using Lean thinking, Ericsson R&D Finland has made important improvements to the quality of its products, customer satisfaction and transparency within the organization. Moreover, build times have been reduced over ten times and the number of commits per day has increased roughly five times.The study makes two main contributions to research. First, the main factors that have enabled Ericsson R&D?s achievements are analysed. Elements such as ?network of product owners?, ?continuous integration?, ?work in progress limits? and ?communities of practice? have been identified as being of fundamental importance. Second, three categories of challenges in using Lean Software Development were identified: ?achieving flow?, ?transparency? and ?creating a learning culture?

BALBOA [Material gráfico] : digno de memoria eterna y muerto en un cadalso

Resumen: Descripción: busto perdido perfil izquierda. Con casco y armadura

Problematum Aristotelis sectiones duae de quadriginta. Problematum Alexandri Aphrodisiei [Texto impreso] : libri duo

Copia digital: Biblioteca Valenciana, 2011

Opera / L. Annaei Senecae et ad dicendi facultatem, et ad bene viuendum vtilissima, per Des. Erasmum Roterod. & Matthaeum Fortunatum ... emendata ; adiecta sunt Scholia D. Erasmi Roterodami in bonam partem operis ; Beati Rhenani in Ludum de morte Claudij Caesaris ; Rodolphi Agricolae in Declamationes aliquot commentarioli ; Fernandi Pinciani castigationes in vniuersum opus ; index rerum & verborum locuples

Sign.: a8, a-z6, A-Z6, 2A-2M6, 2N4, 2A-2G6, 2H8, 2I-2K6, 2L4

Caregivers of the frail elderly : a national profile /

Item 491-B-17

Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94), Bonn, Germany, May 24-27, 1994 /

Includes bibliographical references and index.

Principles of knowledge representation and reasoning : proceedings of the Seventh International Conference (KR2000), Breckenridge, Colorado, April 12-15 2000 /

Includes bibliographical references and index.