Language Emptiness of Continuous-Time Parametric Timed Automata

Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such automata is undecidable even for various restricted subclasses. We thus focus on the case where parameters are assumed to be integer-valued, while the time still remains continuous. On the one hand, we show that the problem remains undecidable for parametric timed automata with three clocks and one parameter. On the other hand, for the case with arbitrary many clocks where only one of these clocks is compared with (an arbitrary number of) parameters, we show that the parametric language emptiness is decidable. The undecidability result tightens the bounds of a previous result which assumed six parameters, while the decidability result extends the existing approaches that deal with discrete-time semantics only. To the best of our knowledge, this is the first positive result in the case of continuous-time and unbounded integer parameters, except for the rather simple case of single-clock automata

Energía de la basura

En este artículo se presentan los resultados de un estudio técnico económico realizado para establecer las posibilidades de utilización de los residuos sólidos urbanos (RSU) como fuente de energía térmica, utilizando la termólisis como tecnología básica del proceso. Se tomó como grupo de controlal municipio de Facatativá (Cundinamarca). Se hicieron proyecciones hasta el año 2020 y se caracterizaron los RSU producidos por sector, actividad económica, topología del municipio y estrato socioeconómico de la población. Se obtuvo el poder calorífico inferior medio de los RSU

Low pituitary adenomas: a review articleadenos

Introducción: Los adenomas hipofisarios constituyen un diverso grupo de neoplasias intracraneales, los cuales destacan por sus amplias manifestaciones clínicas relacionadas a los síndromes endocrinológicos secundarios y el compromiso neurológico, resaltando como una de las neoplasias más interesantes en el ámbito de la neurocirugía. Existe abundante literatura respecto a los grupos más frecuentes de adenomas hipofisarios, sin embargo sus integrantes menos comunes tienden a quedar en el olvido, razón por lo cual se realizó una revisión de la literatura con el objetivo de recopilar la información disponible, unificando la fisiopatología, diagnóstico y manejo dentro de un artículo que provea al lector las herramientas necesarias para el correcto abordaje de los grupos de adenomas menos frecuentes. Materiales y métodos: Se realizó una búsqueda en las principales bases de datos científicas con términos MeSH durante diciembre 2020- Julio 2021. Resultados: Se tuvieron en cuenta 52 referencias bibliográficas para la realización de esta revisión narrativa. Conclusiones: A pesar de constituir patologías de baja frecuencia estas pueden generar un compromiso severo en la calidad de vida de los pacientes, que en gran parte podría ser prevenido con un diagnóstico temprano de las alteraciones endocrinológicas y su compromiso neurológico y una rápida remisión a servicios especializados. Sin embargo constituyen un reto diagnóstico, secundario a la amplia desinformación con respecto a estos grupos tumorales y sus manifestaciones clínicas, las cuales pueden asemejarse muchas veces a patologías de alta frecuencia dentro de la población general.Introduction: Pituitary adenomas constitutes a wide group of intracranial neoplasms. They are characterized by their diverse clinical manifestations related to the secondary hormone hypersecretion syndromes and the neurologic compromise. There is a great amount of literature regarding the most frequent pituitary adenoma subtypes, while the less common variants tend to be forgotten. This is why a literature review was done, with aims on recollecting all the information available, condensing physiopathology, diagnosis and management in an article that provides the reader the tools to perform an adequate initial approach to the less frequent pituitary adenomas. Methods: A scientific database search was perform using MeSH terms during the months of December 2020- July 2021 Results: We used 52 references for the realization of this narrative review. Conclusion: Even though they are infrequent neoplasms, they can cause a severe compromise of the patient’s life quality. It could mostly be prevented performing an early diagnosis of the endocrinologic and neurologic disturbances and reference for evaluation by a multidisciplinary team. Due to wide disinformation, they are still a diagnostic challenge, as most of their clinical manifestations could mimic high prevalence pathology of the general population.https://orcid.org/0000-0003-4882-4124https://orcid.org/0000-0001-8946-6955Revista Nacional - No indexadaN

Faster computation of isogenies of large prime degree

International audienceLet $\mathcal{E}/\mathbb{F}_q$ be an elliptic curve, and $P$ a point in $\mathcal{E}(\mathbb{F}_q)$ of prime order $\ell$.Vélu's formulae let us compute a quotient curve $\mathcal{E}' = \mathcal{E}/\langle{P}\rangle$ and rational maps defining a quotient isogeny $\phi: \mathcal{E} \to \mathcal{E}'$ in $\tilde{O}(\ell)$ $\mathbb{F}_q$-operations, where the $\tilde{O}$ is uniform in $q$.This article shows how to compute $\mathcal{E}'$, and $\phi(Q)$ for $Q$ in $\mathcal{E}(\mathbb{F}_q)$, using only $\tilde{O}(\sqrt{\ell})$ $\mathbb{F}_q$-operations, where the $\tilde{O}$ is again uniform in $q$.As an application, this article speeds up some computations used in the isogeny-based cryptosystems CSIDH and CSURF

Postero-superior septectomy and transphenoidal approach for craniopharyngiomas resection. Case Report

Los craneofaringiomas son tumores benignos poco frecuentes, originados de restos epiteliales de la bolsa de Rathke, que por su localización puede producir alteraciones visuales y endocrinas. Presentamos el caso de un paciente masculino de 49 años de edad que nos fue referido a nuestra institución para manejar un gran craneofaringioma supraselar. El manejo quirúrgico se llevó a cabo por el Grupo de Cirugía Endoscópica de Base de Cráneo del Hospital Universitario San Ignacio (Neurocirugía - Otorrinolaringología), utilizando una técnica totalmente endoscópica a cuatro manos, a través de un abordaje Trans Selar Se presenta este caso clínico para demostrar la técnica endoscópica transnasal que actualmente utilizamos para el manejo de los tumores de hipófisis, haciendo énfasis en las ventajas que ofrece esta técnica.Reporte de caso139-145Craniopharyngiomas are rare benign tumors originated from epithelial remnants of Rathke’s pouch. Its localization may cause endocrine and visual disturbances. We present a case of a 49 year old male patient referred to our Institution for management of a large supraselar Craniopharyngioma. Surgical management was performed by the Skull Base team of the San Ignacio University Hospital (Neurosurgery and Otolaryngology) using a totally Endoscopic four hands technique through a Trans Selar approach

Effect of size explant on sanitation of cassava (Manihot esculenta) vitroplants infected with Cassava common mosaic virus

El mosaico común de la mandioca es una de las enfermedades con mayor incidencia en plantaciones de mandioca de América Latina y llega a ocasionar pérdidas de hasta el 60% de la producción. Su agente causal, el Cassava common mosaic virus (CsCMV), se caracteriza por su fácil trasmisión mecánica a través de herramientas de trabajo y su diseminación mediante material de plantación infectado. El cultivo in vitro de meristemas es una herramienta ampliamente utilizada para erradicar patógenos sistémicos; sin embargo, la distribución de los mismos en el ápice puede variar según la interacción hospedante-patógeno, por lo que es necesario estudiar el tamaño de explante apropiado para cada patosistema. Estudios previos demostraron que al disminuir el tamaño de explante aumenta la eficiencia en la eliminación de Cassava frogskin-associated virus. Con el objeto de evaluar el efecto del tamaño de explante en la obtención de plantas de mandioca libres de CsCMV mediante cultivo in vitro, se cultivaron ápices caulinares de 10; 0,7 y 0,2 mm de longitud (tratamientos T1, T2 y T3, respectivamente) provenientes de vitroplantas de mandioca del cultivar CA 25-1, con diagnóstico positivo para CsCMV. T1 y T2 fueron cultivados en medio de multiplicación (MS más 0,01 mg/L de 6-bencilaminopurina (BAP), 0,01 mg/L de ácido naftalenacético (ANA), 0,1 mg/L de ácido giberélico (AG3), 0,75% agar), mientras que T3 (tamaño correspondiente a meristemas de mandioca) fue cultivado en medio de regeneración de plantas a partir de meristemas caulinares (MS más 0,05 mg/L de BAP, 0,02 mg/L de ANA, 1 mg/L de AG3, 0,65% agar). A los 30 días, más del 75% de los individuos fueron capaces de regenerar vástagos en todos los tratamientos. Luego de seis meses, los tratamientos fueron evaluados utilizando la técnica de RT-PCR mediante cebadores específicos para el virus. No se lograron plantas libres de CsCMV para ninguno de los tamaños estudiados. Mediante microscopía electrónica de transmisión, se corroboró la presencia de CsCMV en células meristemáticas de los ápices de las plantas regeneradas de mandioca.Fil: Collavino, Agostina Antonella. Universidad Nacional de Formosa; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Di Feo, Liliana del Valle. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Instituto de Patología Vegetal; Argentina. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Unidad de Fitopatología y Modelización Agrícola - Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Unidad de Fitopatología y Modelización Agrícola; ArgentinaFil: Nome, Claudia. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Instituto de Patología Vegetal; ArgentinaFil: Medina, Ricardo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Botánica del Nordeste. Universidad Nacional del Nordeste. Facultad de Ciencias Agrarias. Instituto de Botánica del Nordeste; ArgentinaXVIII Congreso Brasileiro de MandiocaBrasilSociedad Brasilera de Mandioc

Eficacia de la quimioterapia en la eliminación de Cassava frogskin associated virus en plantas de mandioca.

El Cassava frogskin associated virus (CsFSaV) está asociado junto a un fitoplasma, a la enfermedad más alarmante de mandioca en Latinoamérica, el cuero de sapo. La enfermedad fue reportada en Brasil y Paraguay, en Argentina no hay evidencia de su presencia pero se han confirmado casos positivos asintomáticos de CsFSaV en cultivos de mandioca. Este equipo trabaja con técnicas in vitro para el saneamiento de plantas infectadas por dicho virus, logrando un 50% de éxito al adicionar ribavirina al medio de cultivo como quimioterápico. Una objeción a la técnica es su eficacia en el tiempo, argumentando que una vez que el efecto antiviral desaparece, el virus vuelve a colonizar el tejido. El objetivo de este trabajo fue evaluar la eficacia de la quimioterapia en la eliminación de CsFSaV en el tiempo. Para ello, las plantas que resultaron liberadas (PL), y las que no (control positivo CP), se mantuvieron in vitro por dos años, luego fueron llevadas a campo y a los tres meses se analizaron muestras de hojas por PCR y qPCR con cebadores y sonda específicos para CsFSaV. Ambas técnicas arrojaron resultados negativos en PL y positivos en los CP, los cuales fueron confirmados mediante la secuenciación de los productos de qPCR. Las secuencias obtenidas no fueron compatibles con CsFSaV en PL, mientras que en CP el porcentaje de identidad para CsFSaV fue superior al 97%.Fil: Collavino, Agostina Antonella. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Di Feo, Liliana del Valle. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Instituto de Patología Vegetal; Argentina. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Unidad de Fitopatología y Modelización Agrícola - Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Unidad de Fitopatología y Modelización Agrícola; ArgentinaFil: Niño, D.. No especifíca;Fil: Cuervo, M.. No especifíca;Fil: Medina, Ricardo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Botánica del Nordeste. Universidad Nacional del Nordeste. Facultad de Ciencias Agrarias. Instituto de Botánica del Nordeste; Argentina5to Congreso Argentino de Fitopatología, 59th Reunión de la APS Caribbean DivisionCorrientesArgentinaAsociación Argentina de Fitopatólogo

Efecto de la infección con Cassava common mosaic virus sobre los componentes del rendimiento de plantas de Manihot esculenta regeneradas in vitro a partir de meristemas caulinares

Trabajo presentado en el XVII Congreso Brasilero de Yuca y II Congreso Latinoamericano y del Caribe de la Yuca, Belém, Brasil, 12 al 16 de marzo de 2018La mandioca (Manihot esculenta Crantz) es uno de los principales cultivos para el consumo humano y animal, de gran importancia económica-social para muchos países (Carvalho et al., 2017). Al ser una especie que se multiplica comercialmente de forma vegetativa, una de sus principales limitantes es la diseminación de patógenos sistémicos, principalmente virus, a través del material de propagación. Hasta el momento se han reportado 16 virus en el cultivo de mandioca, siendo el Cassava common mosaic virus (CsCMV) uno de los más distribuidos en América Latina, y el agente causal de la enfermedad conocida como Mosaico común de la mandioca (CsCMD). El primer reporte de CsCMD se realizó en el sur de Brasil (Silberschmid, 1938; Costa, 1940) y en Argentina, recientemente ha tomado relevancia al ser confirmada su presencia en plantaciones de mandioca de las principales provincias productoras (Di Feo et al., 2015). Según Calvert y Cuervo (2002), la enfermedad tiene mayor importancia en el sur del Brasil y en Paraguay, donde se recomienda tomar alguna medida de control para reducir las pérdidas. Ambas regiones limitan con la zona productora de mandioca en Argentina, sin embargo, hasta el momento, no existen datos publicados de las consecuencias de esta enfermedad sobre el rendimiento del cultivo en el país. El objetivo de este trabajo fue evaluar el efecto de la infección con CsCMV sobre los componentes del rendimiento de plantas de mandioca del cultivar CM3306-4 regeneradas “in vitro” por cultivo de meristemas apicales caulinares y cultivadas a campo en Laguna Blanca, Formosa, Argentina.Fil: Zanini, Andrea Alejandra. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Patología Vegetal; ArgentinaFil: Collavino, Agostina Antonella. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Química Básica y Aplicada del Nordeste Argentino; Argentina. Universidad Nacional de Formosa. Facultad de la Producción y el Medioambiente. Instituto Universitario de Formosa; ArgentinaFil: Medina, Ricardo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Botánica del Nordeste. Universidad Nacional del Nordeste. Facultad de Ciencias Agrarias. Instituto de Botánica del Nordeste; ArgentinaFil: Mroginski, Luis Amado. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Botánica del Nordeste. Universidad Nacional del Nordeste. Facultad de Ciencias Agrarias. Instituto de Botánica del Nordeste; ArgentinaFil: Di Feo, Liliana del Valle. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Patología Vegetal; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Stronger and Faster Side-Channel Protections for CSIDH

CSIDH is a recent quantum-resistant primitive based on the difficulty of finding isogeny paths between supersingular curves. Recently, two constant-time versions of CSIDH have been proposed: first by Meyer, Campos and Reith, and then by Onuki, Aikawa, Yamazaki and Takagi. While both offer protection against timing attacks and simple power consumption analysis, they are vulnerable to more powerful attacks such as fault injections. In this work, we identify and repair two oversights in these algorithms that compromised their constant-time character. By exploiting Edwards arithmetic and optimal addition chains, we produce the fastest constant-time version of CSIDH to date. We then consider the stronger attack scenario of fault injection, which is relevant for the security of CSIDH static keys in embedded hardware. We propose and evaluate a dummy-free CSIDH algorithm. While these CSIDH variants are slower, their performance is still within a small constant factor of less-protected variants. Finally, we discuss derandomized CSIDH algorithms

Modelo petrogenético de las mineralizaciones de Sn-W asociadas al domo de Martinamor (Salamanca): planteamiento del problema

Depto. de Mineralogía y PetrologíaFac. de Ciencias GeológicasTRUEpu