Statistics on Open Access Books Available through the Directory of Open Access Books

Open Access (OA) books available through the Directory of Open Access Books (DOAB) are investigated and the number of titles, the distribution of subjects, languages, publishers, publication years, licensing patterns, etc., are clarified. Their chronological changes are also shown. The sample comprised 10,866 OA books, which were available through the DOAB as of February 24, 2018. The results show that OA books are increasing in number at an accelerating rate. As for distribution of subjects, Social Sciences (“H” in the Library of Congress Classification [LCC] codes), Science (“Q” in LCC) and World History and History of Europe, Asia, Africa, Australia, New Zealand, etc. (“D” in LCC) are the most popular. As for languages, English, French, and German are the most popular. As for publishers, Frontiers Media SA, Presses universitaires de Rennes, and ANU Press are the most popular. Many books are newly published ones, but older books, published in or before 1999, also began to be available recently. As for the licensing patterns, “CC by-nc-nd” and “CC by” are the most popular. Considering these tendencies, libraries should begin to utilize OA books

A comparison of the composition interests of six hundred sixty students in grades eight through twelve

Thesis (Ed.M.)--Boston Universit

Ephemerides al meridiano de Cordova / de D. Pedro Antonio de Blancas...

Sign.: [Cald.]8, A-2S6, 2T4.Errores de pág.Port. con orla tip. y a dos tintas.Grab. xil. intercalados en el texto, y gráf.A 013/07

Chapter 34 - Biocompatibility of nanocellulose: Emerging biomedical applications

Nanocellulose already proved to be a highly relevant material for biomedical applications, ensued by its outstanding mechanical properties and, more importantly, its biocompatibility. Nevertheless, despite their previous intensive research, a notable number of emerging applications are still being developed. Interestingly, this drive is not solely based on the nanocellulose features, but also heavily dependent on sustainability. The three core nanocelluloses encompass cellulose nanocrystals (CNCs), cellulose nanofibrils (CNFs), and bacterial nanocellulose (BNC). All these different types of nanocellulose display highly interesting biomedical properties per se, after modification and when used in composite formulations. Novel applications that use nanocellulose includewell-known areas, namely, wound dressings, implants, indwelling medical devices, scaffolds, and novel printed scaffolds. Their cytotoxicity and biocompatibility using recent methodologies are thoroughly analyzed to reinforce their near future applicability. By analyzing the pristine core nanocellulose, none display cytotoxicity. However, CNF has the highest potential to fail long-term biocompatibility since it tends to trigger inflammation. On the other hand, neverdried BNC displays a remarkable biocompatibility. Despite this, all nanocelluloses clearly represent a flag bearer of future superior biomaterials, being elite materials in the urgent replacement of our petrochemical dependence

Normalisation techniques in proof theory and category theory

The word problem for the free categories with some structure generated by a category X can be solved using proof-theoretical means. These free categories give a semantics in which derivations of GENTZEN's propositional sequent calculus can be interpreted by means of arrows of those categories. In this thesis we describe, implement and document the cut-elimination and the normalization techniques in proof theory as outlined in SZABO [1978]: we show how these are used in order to solve, mechanically, the word problem for the free categories with structure of : cartesian, bicartesian, distributive bicartesian, cartesian closed, and bicartesian closed. This implementation is extended by a procedure to interpret intuitionistic propositional sequent derivations as arrows of the above categories. Implementation of those techniques has forced us to modify the techniques in various inessential ways. The description and the representation in the syntax of our implementation of the above categories is contained in chapters 1 - 5, where each chapter describes one theory and concludes with examples of the system In use to represent concepts and solve simple word problems from category theory ( of various typos ). Appendix 1 contains some apparent printing errors we have observed in the work done by SZABO. The algorithms used in the proof of the cut-elimination theorems and normalization through chapters 1 - 5 are collected in appendices 2 - 4. Appendices 5 - 8 concern the implementation and its user manual

Materia de actibus humanis

Fecha: I, son las lecciones del curso 1681-2. II, las del curso 1680-1. III, no consta el año.Sólo que acaba el 8 de junio. IV Termina el 11 de febrero de 1679. Sin foliar.Están en blanco la mitad del 35r y todo el 35v; unas dos terceras partes del 36 (espacio dejado para completar los apuntes, que no llegaron a completarse); 39v, 40r y una tercera parte del 40v; unas dos terceras partes del 44v, 45-48; 130 casi en su totalidad, 131, 202s y 5 folios al final.Copista: Cristóbal de Godoy y Aragón, bachiller, colegial de la Asunción. Suyos son los tratados I y II y, probablemente el IIIA 333/11