Desarrollo de un nuevo soporte polímerico con componentes de matriz extracelular neural para su aplicación en la diferenciación "in vitro" de distintas células primarias

268 p. : il.

Data analysis advances in marine science for fisheries management : supervised classification application

169 p. : il. col.

Influence of nutrient intake on antioxidant capacity, muscle damage and white blood cell count in female soccer players

11 p.

El compromiso poético en España hacia mediados del siglo XX

Revista DOAJ, bajo la Licencia Creative Commons 3.0.Reconocimiento-No comercial-Sin Obra Derivada

Reflexões historico-politicas

Aborda temas sobre a história do Brasil e analisa a origem da descoberta, a ocupação, o comércio, a educação e a educação do Brasil Colônia

Sequestro e Antichrese : privilegios das sociedades de credito real

Inclui os documentos : Erros e vicio da organisação republicana / Americo Werneck. 1893 Alvim im seque. posição juridica dos estados federados perante o o estado federal / pelo bel. Reynaldo Porchart. 1897. Reparação dos erros judiciarios / João Pedro da Veiga Filho. 1897. O protecionismo / por João Pedro da Veiga Filho. 1893. Dividas commerciaes dos conjuges / Jose Mendes Martins. 1894.

Os Guayanazes : conto historico sobre a fundação de S. Paulo : recordação das ferias de 1858 a 1859

O autor esclarece, no prefácio da obra, ter sido ela redigida "aos trambolhos e às carreiras" e tratar-se de uma experiência num gênero novo - o ensaio. Mas J. Navarro de Andrade, na introdução de seu texto "Viagem ao Araguaia" diz o seguinte de José Vieira Couto de Magalhães : despretensioso, é, contudo, o conto aludido, um trabalho de merecimento, pena é que o autor não produzisse nesse sentido outros escritos, e seguisse outra vereda da vida.

Um estadista do Imperio : Nabuco de Araujo : sua vida, suas opiniões, sua época por seu filho Joaquim Nabuco

v. 1. 1813-1857 -- v. 2. 1857-1866 -- v. 3. 1866-1878

Research on Q-Switched Nd : YAG laser engraving

IN this paper, the engraving process with Q-Switched Nd:YAG laser is investigated. High power density is the pre- requisition to vapor materials, and high repetition rate makes the engraving process highly efficient. An acousto- optic Q-Switch is applied in the cavity of CW 200 W Nd:YAG laser to achieve the high peak power density and the high pulse repetition rate. Different shape craters are formed in a patterned structure on the material surface when the laser beam irradiates on it by controlling power density, pulse repetition rate, pulse quantity and pulse interval. In addition, assisting oxygen gas is used for not only improving combustion to deepen the craters but also removing the plasma that generated on the top of craters. Off-focus length classified as negative and positive has a substantial effect on crater diameters. According to the message of rotating angle positions from material to be engraved and the information of graph pixels from computer, a special graph is imparted to the material by integrating the Q- Switched Nd:YAG laser with the computer graph manipulation and the numerically controlled worktable. The crater diameter depends on laser beam divergence and laser focal length. The crater diameter changes from 50 micrometers to 300 micrometers , and the maximum of crater depth reaches one millimeter.

Limites com o Peru : annotações do Barão do Rio Branco

Parecer apresentado à Commissão de Diplomacia da Câmara dos Deputados

La construcción de la arquitectura residencial en Gipuzkoa durante la época del desarrollismo

[ES]El fuerte crecimiento económico que vivirá el estado español desde finales de la década de los cincuenta hasta los últimos años del régimen franquista se producirá en el conocido como periodo del Desarrollismo. Un periodo que dará fin al sistema autárquico impuesto tras el fin de la Guerra Civil y que provocará, entre otros efectos, un auténtico boom urbanístico en las zonas con mayor nivel de desarrollo, entre ellas, Gipuzkoa.Tras la introducción, el capítulo segundo de la Tesis se centra en el análisis del contexto económico, urbanístico, normativo, constructivo y tecnológico de esos años y en la evolución que experimentarán las tipologías residenciales y constructivas en seis de los municipios con mayor crecimiento demográfico de la provincia.Los distintos agentes intervinientes (Administración, promotores, constructores, arquitectos, aparejadores, fabricantes de materiales, gremios, etc) se adecuarán a un determinado estilo y forma de trabajar que sentará las bases de muchos de los hábitos, procedimientos e, incluso, técnicas constructivas que se utilizan hoy en día. El papel de cada uno de los actores participantes en el proceso edificatorio, el contenido documental del proyecto arquitectónico así como el conjunto de trámites administrativos que van a ser necesarios para poder llegar a construir un edificio residencial de vivienda colectiva se analizan en el capítulo tercero del documento. En los capítulos cuarto y quinto, se estudian los materiales y los elementos constructivos utilizados en la conformación de la cimentación, la estructura, la fachada, la cubierta y los sistemas de suministro y evacuación de aguas del edificio desarrollista. Asimismo, se realiza una primera valoración del estado en el que han llegado hasta nuestros días con resultados realmente preocupantes, incluso para la seguridad de las personas, en el caso de la fachada y de determinados elementos estructurales.Además del importante número de edificios analizados, los testimonios aportados por los diecisiete personajes (diez de ellos arquitectos) a los que se ha tenido la oportunidad de entrevistar y que tomaron parte en las distintas fases del proceso constructivo durante esos años han resultado determinantes en el trabajo de investigación y cuentan, por si mismos, con un valor excepcional como documento histórico.De las conclusiones finales se pueden anticipar las siguientes: gran parte de los elementos constructivos han llegado a una edad crítica y sus lesiones, relativamente leves y asumibles hasta hace bien poco, comienzan a agravarse de forma exponencial; el ciclo de vida de la fachada tradicional debe darse por culminado y desterrarse definitivamente, como solución, de la construcción actual y futura; debido a sus carencias y lesiones, el esfuerzo económico que habrá que asumir en los próximos años para la adecuación de los edificios construidos durante el periodo desarrollista a las nuevas exigencias en materia de sostenibilidad, eficiencia energética y accesibilidad va a ser muy alto; se antoja necesario realizar una tipificación y catalogación de los edificios residenciales de la época; y, para terminar, se confía en que la Tesis, planteada como una primera aproximación global y un estudio ¿marco¿ del proceder constructivo de una determinada época, contribuya a abrir nuevas vías para futuros trabajos y proyectos de investigación.

La enfermedad tuberculosa en Bilbao al inicio del siglo XXI (1993-2002)

La Tuberculosis es una enfermedad cuya presencia ha sido constante en la historia de la humanidad. Como toda enfermedad infectocontagiosa no respeta fronteras, ni edades, ni sexos, ni razas, ni tampoco clases sociales. La tuberculosis que actualmente padecemos no es nueva; representa el final de una onda epidémica secular que alcanzó su máxima incidencia en Europa entre 1780 y 1880. Cien años marcados por el desplazamiento masivo de campesinos a las ciudades en busca de trabajo en las fábricas. Históricamente la epidemiología de la tuberculosis ha demostrado la existencia de un declive natural. Dicho declive se inició ya, incluso antes del descubrimiento de su agente causal, debido a la mejoría de las condiciones socio-económicas de la población. La aparición de la quimioterapia específica aceleró su ritmo de descenso anual. Hasta la aparición del SIDA, ningún otro factor ha modificado substancialmente su natural declinar. Tan importante son las condiciones socioeconómicas y sociopolíticas de la población en la expresión epidemiológica de ésta y otras muchas enfermedades, que en 1910, cuando no existían remedios para la tuberculosis, Holanda alcanzó el llamado punto de ruptura. Dicho punto es aquel en que se considera que la tuberculosis camina hacia su erradicación espontánea. Corresponde al momento en que cada enfermo bacilífero no puede infectar al número suficiente de personas para que se origine otro nuevo enfermo bacilífero. Evidentemente el SIDA ha supuesto una inyección de gasolina en la llama de la enfermedad tuberculosa que ha desbaratado los programas de prevención y control puestos en marcha en 1982 en nuestra Comunidad Autónoma. Como decía Napoleón Bonaparte, las batallas se ganan con organización y dinero. La batalla del SIDA aún continúa y con más ahínco en nuestro País Vasco donde esta enfermedad es especialmente prevalente. Afortunadamente los nuevos tratamientos han convertido una enfermedad mortal de necesidad en una enfermedad crónica con una mejora substancial en las expectativas de vida. Sin embargo, la gran secuela de la coinfección SIDA/Tuberculosis ha sido la aparición de multirresistencias a los fármacos por tratamientos incorrectos o falta de adherencia del paciente a los mismos. Parece que el devenir de la tuberculosis, al margen de los factores políticos, culturales y económicos, ligados a la globalización y al desarrollo sostenible dentro de un modelo neoliberal; de los movimientos de masas: inmigrantes y refugiados; del racismo; de las desigualdades de género; de la diferente accesibilidad, cobertura y eficacia en los Sistemas Públicos de Salud, etc., al margen de todo esto, la tuberculosis va a quedar condicionada a cuatro factores de índole biomédica: a) A la evolución de las multirresistencias. b) A la subordinación con la coinfección VIH. c) Al establecimiento de los denominados "nichos ecológicos", en donde la enfermedad alcanzará su máxima progresión (mayores de 65 años, sobre todo los de bajo nivel económico; inmigrantes procedentes de zonas de endemia elevada; personal sanitario y trabajadores expuestos; colectivos con adicción a drogas por vía parenteral (ADVP); alcohólicos; personas con padecimientos crónicos; pacientes en tratamientos prolongados con corticoides e inmunosupresores). En estos nichos ecológicos es donde hay que mantener un elevado índice de sospecha y establecer las estrategias adecuadas para la detección precoz de la enfermedad. d) Al éxito que se obtenga con la nueva vacuna terapéutica contra la TB creada por Joan Pere Cardona. La epidemiología de la tuberculosis estará próximamente ligada a la biología molecular y a la genética. En efecto, ya no bastará con identificar al bacilo de Koch en un paciente. Será imprescindible saber qué cepas están actuando en una determinada colectividad, así como su grado de sensibilidad frente a los tuberculostáticos. Acabó el siglo XX, hemos iniciado la segunda década del siglo XXI y la pelota aún sigue en el tejado. Estamos ante un problema de primera magnitud que hace mucho tiempo que dejó de seducir a los románticos. Como señala Bignall, comparando a la tuberculosis con lo que en su día supuso la viruela como problema de Salud Pública: La viruela se erradicó porque no sólo se disponía de una vacuna eficaz, sino además porque no requería habilidad en las relaciones humanas. Sin embargo, en la tuberculosis, la lucha ya no es contra el bacilo sino contra la mentalidad y las miserias humanas; por ello será larga, muy larga. Por todo esto y visto lo previamente descrito concluimos: 1. En la década 1993 a 2002 se diagnosticaron 847 casos de tuberculosis, 548 varones y 299 mujeres; 364 con SIDA y 483 sin demostración de VIH. 2. Si agrupamos las características medias de todos los casos recogidos, definiríamos al paciente tipo como a un varón con serología VIH negativa, una edad de 46,6 años y una afección tuberculosa de localización extrapulmonar, atendida en el Servicio de Enfermedades Infecciosas del Hospital. 3. Si el paciente tuberculoso que escogiéramos tuviera 31 años, la edad con más casos acumulados de la serie, al igual que los de 30 y 32 años, lo más frecuente que observaríamos, sería un paciente varón con SIDA y adicción a drogas por vía parenteral. 4. Aunque el sexo predominante es el varón entre los enfermos de tuberculosis, este predominio se atenúa al prescindir de los pacientes que asociaron SIDA. 5. El principal factor de riesgo para contraer el VIH en los tísicos con SIDA fue la ADVP. 6. El número de casos totales anuales viene descendiendo desde 1991, fundamentalmente a expensas del declive entre los casos que asociaron SIDA. 7. Es necesario disminuir el tiempo de demora 2 consistente en el número de días que transcurren desde que el paciente manifiesta sus primeros síntomas hasta que éste recibe el tratamiento. Puesto que el tiempo de demora 1 (que va desde que el paciente es visto en el hospital hasta que se instaura el tratamiento) cumple con los objetivos marcados en el Programa de control y prevención del Gobierno Vasco, deducimos que la Atención Primaria tiene la máxima importancia en acelerar este acortamiento del tiempo de demora disminuyendo así el periodo de riesgo de transmisión de la enfermedad. 8. La tuberculosis es una enfermedad que tiende a su natural declinar pero haciéndolo muy lentamente. Actualmente, la encontramos en zonas periféricas de la ciudad donde el VIH hace estragos en pacientes jóvenes con estilos de vida nada saludables. A estas zonas deprimidas se las denominan "nichos ecológicos". 9. La lucha contra esta enfermedad deberá ser enfocada hacia estos "nichos ecológicos". La condición necesaria para que consigamos acelerar la eliminación de la enfermedad consistirá en que diagnostiquemos y tratemos los casos afectados junto a la búsqueda de sus contactos. Pero en la tuberculosis, esto no es suficiente. Estamos luchando frente a un bacilo que se aprovecha de los más débiles, los inmunodeprimidos, edades extremas de la vida, drogodependientes, alcohólicos, zonas deprimidas económica y socialmente, que podemos delimitar en un plano y concentrar en él las medidas de control pertinentes. No olvidemos que estamos frente a un bacilo que se enclaustra en una caverna, que infecta a la tercera parte de la humanidad y espera. La tuberculosis desaparecerá en la medida en que la sociedad prospere.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.