1,378 research outputs found
Refuerzo de firme en la N-640
No full textFernández Hermida, Pablo; director de proyecto: Couceiro Martínez, Luis2022-2023Máster Universitario en Ingeniería de Caminos, Canales y PuertosEscuela Politécnica Superio
Indexed induction and coinduction, fibrationally.
No full textThis paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we present a sound coinduction rule for any data type arising as the final coalgebra of a functor, thus relaxing Hermida and Jacobs’ restriction to polynomial data types. For this we introduce the notion of a quotient category with equality (QCE), which both abstracts the standard notion of a fibration of relations constructed from a given fibration, and plays a role in the theory of coinduction dual to that of a comprehension category with unit (CCU) in the theory of induction. Second, we show that indexed inductive and coinductive types also admit sound induction and coinduction rules. Indexed data types often arise as initial algebras and final coalgebras of functors on slice categories, so our key technical results give sufficent conditions under which we can construct, from a CCU (QCE) U : E -> B, a fibration with base B/I that models indexing by I and is also a CCU (QCE)
Nuevo y fácil tratado de las tres asignaturas más importantes de la primera enseñanza
No full textCopia digital. España : Ministerio de Cultura. Subdirección General de Coordinación Bibliotecaria, d2024Rústica.Registro de la Propiedad Intelectual: Ley de 1847: 17762; n. de solicitud de ingreso: "2581"; fecha y datos de ingreso: "30 Agosto 76", "Regº fº 232 lib. 27"; firma del depositante: "José Bto. Hermida
Microanatomy of the respiratory system of Bufo arenarum and Melanophryniscus stelzneri stelzneri (Anura, Bufonidae)
No full textEn el presente estudio se ha determinado que la microanatomíadel sistema respiratorio de B. arenarum y M.s.stelzneri son enalgunos aspectos muy diferentes. Utilizando técnicas macroscópicas, de microscopía óptica y demicroscopía electrónica, se caracterizaron anatómicamente ehistológicamente el sistema respiratorio de ambas especies. Para ellose dividió el estudio en I) vías aéreas extrapulmonares, II) pulmón y III) cuerpos neuroepiteliales. Las vías extrapulmonares están reducidas a una laringotráqueaconstituida por un par de cartílagos aritenoides y el cricoides. En B.arenarum a diferencia de M. s. stelzneri la laringotráquea estádividida en dos cámaras, una anterior y otra posterior delimitadasambas por membranas. La mucosa que reviste el lumen de lalaringotráquea así como las membranas que tapizan las cámaraspresenta una diversidad celular importante. En B. arenarum la últimaporción de la laringotráquea se continúa con dos cámaras “bronquiales” que se abren cada una de ellas a un pulmón mientrasque en M.s. stelzneri la laringotráquea se comunica directamente conlos pulmones. Los pulmones son diferentes en ambas especies. En B.arenarum la estructura interna es más compleja por la presencia detres tipos de septos: primarios, secundarios y terciarios concaracterísticas histológicas propias, mientras que en M. s. stelzneri laorganización interna es simple por la presencia solamente de septosterciarios. El parénquima pulmor es del tipo faveolar para B.arenarum y edicular para M. s. stelzneri. El epitelio respiratorio estáconstituido por neumocitos los cuales emiten prolongacionescitoplasmáticas que cubren a los capilares sanguíneos. Estasprolongaciones junto con el endotelio de los capilares constituyen labarrera de intercambio gaseoso. En M.s. stelzneri se determinó la presencia sobre los septos decuerpos neuroepiteliales a los cuales se les adjudica una posiblefunción secretora y/o receptora.The present study has determined that the microanatomy of therespiratory system of B. arenarum and M.s.stelzneri are different insome aspects. Light and electron microscopy were used to study the anatomyand histology of the respiratory system of both species. For it wasdivided it the study in I) extrapulmonary airways, II) lung and III)neuroepithelial bodies. The extrapulmonary airways in these species are reduced to alaryngotrachea constituted by a couple of arytenoid cartilages and acricoid cartilage. In B. arenarum contrary to M.s.stelzneri thelaryngotrachea is divided in two laryngeal chambers, anterior andposterior. The epithelia of the chambers as well as the membranesthat limit this chambers present an important cellular diversity. In B.arenarum the last portion of the laryngotrachea connected with twobronchial chambers which give out onto the lung. The lungs in both species are different. In B. arenarum theinternal structure is more complex by the presence of three types ofsepta: first, second and third order. In M.s. stelzneri the parenchymaforms a polygonal network arrangement, therefore the parenchyma isedicular in both. These space are delimited by the interconnection ofsepta which are covered by respiratory epithelium. This epitheliumconsists of one type of pneumocytes, which emit a thin cytoplasmicprocess that cover the pulmonary capillaries to form the outer layerof the air-blood barrier. In M.s. stelzneri neuroepithelial bodies (NEB) appear randomlydistributed over the septa. Each NEB consists of special cells, thecorpuscular cells (cc) which contains numerous dense core vesicles (dcv). The NEB are associated with afferent and efferent terminalnerves. The location of the NEB, the presence of the dcv, theoccurrence of synaptic contacts between nerve endings and the ccand the occurrence of capillaries close to the NEB, suggest areceptosecretory function for the NEB in the lung of M.s. stelzneri.Fil: Hermida, Gladys N.. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina
Microanatomy of the respiratory system of Bufo arenarum and Melanophryniscus stelzneri stelzneri (Anura, Bufonidae)
No full textEn el presente estudio se ha determinado que la microanatomíadel sistema respiratorio de B. arenarum y M.s.stelzneri son enalgunos aspectos muy diferentes. Utilizando técnicas macroscópicas, de microscopía óptica y demicroscopía electrónica, se caracterizaron anatómicamente ehistológicamente el sistema respiratorio de ambas especies. Para ellose dividió el estudio en I) vías aéreas extrapulmonares, II) pulmón y III) cuerpos neuroepiteliales. Las vías extrapulmonares están reducidas a una laringotráqueaconstituida por un par de cartílagos aritenoides y el cricoides. En B.arenarum a diferencia de M. s. stelzneri la laringotráquea estádividida en dos cámaras, una anterior y otra posterior delimitadasambas por membranas. La mucosa que reviste el lumen de lalaringotráquea así como las membranas que tapizan las cámaraspresenta una diversidad celular importante. En B. arenarum la últimaporción de la laringotráquea se continúa con dos cámaras “bronquiales” que se abren cada una de ellas a un pulmón mientrasque en M.s. stelzneri la laringotráquea se comunica directamente conlos pulmones. Los pulmones son diferentes en ambas especies. En B.arenarum la estructura interna es más compleja por la presencia detres tipos de septos: primarios, secundarios y terciarios concaracterísticas histológicas propias, mientras que en M. s. stelzneri laorganización interna es simple por la presencia solamente de septosterciarios. El parénquima pulmor es del tipo faveolar para B.arenarum y edicular para M. s. stelzneri. El epitelio respiratorio estáconstituido por neumocitos los cuales emiten prolongacionescitoplasmáticas que cubren a los capilares sanguíneos. Estasprolongaciones junto con el endotelio de los capilares constituyen labarrera de intercambio gaseoso. En M.s. stelzneri se determinó la presencia sobre los septos decuerpos neuroepiteliales a los cuales se les adjudica una posiblefunción secretora y/o receptora.The present study has determined that the microanatomy of therespiratory system of B. arenarum and M.s.stelzneri are different insome aspects. Light and electron microscopy were used to study the anatomyand histology of the respiratory system of both species. For it wasdivided it the study in I) extrapulmonary airways, II) lung and III)neuroepithelial bodies. The extrapulmonary airways in these species are reduced to alaryngotrachea constituted by a couple of arytenoid cartilages and acricoid cartilage. In B. arenarum contrary to M.s.stelzneri thelaryngotrachea is divided in two laryngeal chambers, anterior andposterior. The epithelia of the chambers as well as the membranesthat limit this chambers present an important cellular diversity. In B.arenarum the last portion of the laryngotrachea connected with twobronchial chambers which give out onto the lung. The lungs in both species are different. In B. arenarum theinternal structure is more complex by the presence of three types ofsepta: first, second and third order. In M.s. stelzneri the parenchymaforms a polygonal network arrangement, therefore the parenchyma isedicular in both. These space are delimited by the interconnection ofsepta which are covered by respiratory epithelium. This epitheliumconsists of one type of pneumocytes, which emit a thin cytoplasmicprocess that cover the pulmonary capillaries to form the outer layerof the air-blood barrier. In M.s. stelzneri neuroepithelial bodies (NEB) appear randomlydistributed over the septa. Each NEB consists of special cells, thecorpuscular cells (cc) which contains numerous dense core vesicles (dcv). The NEB are associated with afferent and efferent terminalnerves. The location of the NEB, the presence of the dcv, theoccurrence of synaptic contacts between nerve endings and the ccand the occurrence of capillaries close to the NEB, suggest areceptosecretory function for the NEB in the lung of M.s. stelzneri.Fil: Hermida, Gladys N.. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina
Fibrational induction rules for initial algebras
No full textThis paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set
Endocrine therapy synergizes with smac mimetics to potentiate antigen presentation and tumor regression in hormone receptor-positive breast cancer
No full textHermida-Prado F., Xie Y., Sherman S., Nagy Z., Russo D., Akhshi T., Chu Z., Feit A., Campisi M., Chen M., Nardone A., Guarducci C., Lim K., Font-Tello A., Lee I., García-Pedrero J., Cañadas I., Agudo J., Huang Y., Sella T., Jin Q., Tayob N., Mittendorf E.A., Tolaney S.M., Qiu X., Long H., Symmans W.F., Jia-Ren L., Santagata S., Bedrosian I., Yardley D.A., Mayer I.A., Richardson E.T., Oliveira G., Wu C.J., Schuster E.F., Dowsett M., Welm A.L., Barbie D., Metzger O., Jeselsohn R
Lucha contra la criminalidad organizada de tipo mafioso y el sistema penal italiano
No full textDespues l'indicacion de la falta inicial de consideración expresa del problema mafia en el código penal italiano y las primeras intervenciones de tipo extrapenal, se desarollian tres fases de l'accion antimafia: aquella vinculada a la ley de 1982; aquella siguente a la masacre de los magistrados Falcone y Borsellino en 1992; y aquella de resistematización de la ingente cantitad de normas del sistema especial en la materia, con el Código de Leyes Antimafia de 2011
Rehabilitación y ampliación del puente P.K. 158+480 en la carretera N-621 - Desfiladero de la Hermida (Cantabria)
No full textEl presente estudio de soluciones para la ampliación del puente del P.K. 158+480 en la carretera N-621 se enmarca dentro del proyecto para la rehabilitación y ampliación de varias estructuras a lo largo del “Desfiladero de la Hermida”, en la provincia de Cantabria. En concreto, estas estructuras corresponden a cuatro puentes de fábrica que pertenecen a la primera vía transitable que se creó en el desfiladero, a mediados / finales del siglo XIX. Estos puentes se encuentran encajados en un trazado de la carretera regido por los criterios del siglo XIX. Esto supone que el puente cruza el cauce ortogonalmente, de manera que el trazado incluye curvas de entrada y salida al puente muy pronunciadas, lo cual unido a una anchura de la calzada inferior a la recomendada por la normativa actual convierte a estas zonas en puntos críticos en el trazado de la vía. Por tanto, este estudio tiene como fin realizar una valoración de las distintas soluciones disponibles para eliminar este punto crítico del trazado y elegir la óptima. Las soluciones pueden pasar por modificar el trazado del puente sobre el cauce o por realizar una ampliación del mismo para dar cabida a un mayor ancho de la calzada y, por tanto, evitar problemas ante posibles altas intensidades de tráfico
- …
