4 Art�culos

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Acceso

en l�nea

Bernd Finkbeiner, Martin Fr�nzle, Florian Kohn and Paul Kr�ger

Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for systemat... ver m�s

Revista: Algorithms Formato: Electr�nico

Tabla de contenido: Vol: 15 Num: 0 Par: 4 A�o: 2022

Calidad de agua de los tributarios de la Laguna del Sauce, Maldonado, Uruguay, en base al �ndice Diatomol�gico Pampeano (IDP)

Acceso

en l�nea

Graciela Mar�a Ferrari, Alejandra Kroger, Maria Torrendel P�g. 10 - 35

Se aplica por primera vez en el Uruguay un bioindicador bent�nico en monitoreos de calidad de agua en arroyos utilizando a las diatomeas. Estas microalgas son el grupo m�s diverso y suelen constituir el 80-90 % del perifiton. Son reconocidas en todo el m... ver m�s

Revista: Innotec Formato: Electr�nico

Tabla de contenido: Vol: 0 Num: 18 Par: 0 A�o: 2019

« Anterior P�gina: 1 de 1 Siguiente »