Publication search
with safety as keyword

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

In this paper, we present an abstraction-based approach to safety controller synthesis for continuous-time nonlinear systems. To reduce the computational burden associated with symbolic control approaches, we develop a lazy controller synthesis algorithm, which uses the incremental forward exploration of the symbolic dynamics, allowing us to restri...

Betahistine in the Treatment of Peripheral Vestibular Vertigo: Results of a Real-Life Study in Primary Care.

Published in Ear, nose, & throat journal

The present research was carried out with the objective to establish the clinical effect and safety of betahistine (48 mg daily), for the management of peripheral vestibular vertigo, in patients treated by primary care physicians in Colombia. An observational prospective cohort study was conducted including patients older than 15 years with clinica...

Genotoxicity and teratogenicity of seabuckthorn (Hippophae rhamnoides L.) berry oil.

Published in Drug and chemical toxicology

As botanicals and dietary supplements are used increasingly in many countries, the issue of safety is particularly critical for regulation of food products containing these substances. Seabuckthorn (Hippophae rhamnoides L.) has been used for centuries as a medicine and nutritional supplement in Asia and Europe. However, data regarding to the safety...

Úprava úrovňové křižovatky Nepřevázka / Nepřevázka Road Level Intersection Adjustment

Předmětem bakalářské práce je zpracování návrhu rekonstrukce stávající úrovňové průsečné křižovatky silnic I/38 a III/01013 u obce Nepřevázka, která neodpovídá požadavkům ČSN 73 6102. Návrh je vypracován v rozsahu technické studie. Hlavním záměrem práce je vytvoření návrhu rekonstrukce stávající úrovňové průsečné křižovatky ve variantách jednopruho...

Prevence úrazů dětí a poskytnutí první pomoci žáky základní školy / Prevention of child injuries and provision of first ...

Cílem této bakalářské práce je zachytit problematiku příčiny úrazu dětí, zásad bezpečného chování žáků ve škole a během volnočasových aktivit žáků na prvním stupni základní školy, a poskytování první pomoci žáky prvního stupně základní školy. V první, teoretické části práce jsou stručně popsány příčiny a důsledky žákovských školních úrazů a základy...

Sběr a zpracování dat o bezpečnosti dle modelu STAMP v dozorových orgánech / STAMP-based Safety Data Collection and Proc...

Cílem mé diplomové práce je navrhnout postup sběru a zpracování dat o bezpečnosti dle teorie STAMP pro dozorové orgány v letecké dopravě. První část práce obsahuje popis současného stavu sběru a zpracování dat o bezpečnosti u dozorového orgánu, vysvětlení, co je model STAMP a jak ho lze použít a popis základů BPMN. Na tomto základě je pak v druhé č...