Learn More
Formal description of real-time requirements is a difficult and error prone task. Conceptual and tool support for this activity plays a central role in the agenda of technologytransference from the formal verification engineeringcommunity to the Real Time Systems development practice.In this article we present V TS, a visual language to define complex(More)
Ciguatera is a global disease caused by the consumption of certain warm-water fish (ciguateric fish) that have accumulated orally effective levels of sodium channel activator toxins (ciguatoxins) through the marine food chain. The effect of ciguatoxin standards and contaminated ciguatoxin samples was evaluated by electrophysiological recordings in cultured(More)
Oxidative stress is a common point in neurodegenerative diseases, widely connected with mitochondrial dysfunction. In this study, we screened seven natural products from Streptomyces sources against hydrogen peroxide insult in primary cortical neurons, an oxidative stress in vitro model. We showed the ability of these compounds to inhibit neuronal(More)
The marine habitat provides a large number of structurally-diverse bioactive compounds for drug development. Marine sponges have been studied over many years and are found to be a rich source of these bioactive chemicals. This study is focused on the evaluation of the activity of six diterpene derivatives isolated from Spongionella sp. on mitochondrial(More)
In vivo, after administration by gavage to mice and rats, okadaic acid has been reported to produce lesions in liver, small intestine and forestomach. Because several reports differ in the damage detected in different organs, and on okadaic acid distribution after consumption, we determined the toxicity of this compound after oral administration to mice.(More)
Tetrodotoxin is a potent low weight marine toxin found in warm waters, especially of the Indian and Pacific Oceans. Intoxications are usually linked to the consumption of the puffer fish, although TTX was already detected in several different edible taxa. Benthic organisms such as mollusks and echinoderms, with different feeding habits, were collected(More)
The prevalence of poisoning events due to harmful algal blooms (HABs) has declined during the last two decades through monitoring programs and legislation, implemented mainly for bivalves. However, new toxin vectors and emergent toxins pose a challenge to public health. Several locations on the Portuguese coast were surveyed between 2009 and 2010 for three(More)
During official shellfish control for the presence of marine biotoxins in Greece in year 2012, a series of unexplained positive mouse bioassays (MBA) for lipophilic toxins with nervous symptomatology prior to mice death was observed in mussels from Vistonikos Bay-Lagos, Rodopi. This atypical toxicity coincided with (a) absence or low levels of regulated and(More)
Alzheimer disease (AD) is a neurodegenerative pathology that is strongly linked with oxidative stress and mitochondrial dysfunction. The unclear origin of AD lead researchers to study several drug targets and it has been proposed that a multi-target drug would be a more promising candidate. Gracilins are sponge-derived diterpenoid compounds that have been(More)
Although voltage-gated sodium channels (Na v ) are the cellular target of paralytic shellfish poisoning (PSP) toxins and that patch clamp electrophysiology is the most effective way of studying direct interaction of molecules with these channels, nowadays, this technique is still reduced to more specific analysis due to the difficulties of transforming it(More)