Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Better Translation From LTL to Transition-Based Generalized Büchi Automata

Autor: Weiwei Li, Shuanglong Kan, Zhiqiu Huang

Publikováno v: IEEE Access, Vol 5, Pp 27081-27090 (2017)

Translating linear temporal logic (LTL) formulas into Büchi automata is one of the most important aspects of LTL model checking. Certain successful algorithms, such as LTL2BA and SPOT, first translate an LTL formula into a transition-based generali

Externí odkaz: https://doaj.org/article/f4b0dd9bdf594349983a0844c504420e

A Short Review on the Rheology of Twist Grain Boundary-A and Blue Phase Liquid Crystals

Autor: Rasmita Sahoo, Surajit Dhara

Publikováno v: Fluids, Vol 3, Iss 2, p 26 (2018)

Topological defects are important in determining the properties of physical systems and are known varyingly depending on the broken symmetry. In superfluid helium, they are called vortices; in periodic crystals, one refers to dislocations; and in liq

Externí odkaz: https://doaj.org/article/a3826c23049945bb9d0db585b4342c15

Experimental Advances in Nanoparticle-Driven Stabilization of Liquid-Crystalline Blue Phases and Twist-Grain Boundary Phases

Autor: Ioannis Lelidis, George Cordoyiannis, Samo Kralj, George Nounesis, Jan Thoen, Maja Trček, Zdravko Kutnjak, Vasileios Tzitzios, Marta Lavrič

Publikováno v: Nanomaterials
Nanomaterials, Vol 11, Iss 2968, p 2968 (2021)

Recent advances in experimental studies of nanoparticle-driven stabilization of chiral liquid-crystalline phases are highlighted. The stabilization is achieved via the nanoparticles' assembly in the defect lattices of the soft liquid-crystalline host

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::795998f273031b677d03c5ad4f422c3a
https://doi.org/10.3390/nano11112968

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Autor: Barnat, Jiri, Bloemen, Vincent, Duret-Lutz, Alexandre, Laarman, Alfons, Petrucci, Laure, van de Pol, Jaco, Renault, Etienne, Hamadi, Youssef, Sais, Lakhdar

Publikováno v: Handbook of Parallel Constraint Reasoning, 457-507
STARTPAGE=457;ENDPAGE=507;TITLE=Handbook of Parallel Constraint Reasoning
Handbook of Parallel Constraint Reasoning ISBN: 9783319635156
Handbook of Parallel Constraint Reasoning

Model checking is a fully automated, formal method for demonstrating absence of bugs in reactive systems. Here, bugs are violations of properties in Linear-time Temporal Logic (LTL). A fundamental challenge to its application is the exponential explo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cef84b08843fd21b258dba5871603470
https://research.utwente.nl/en/publications/68f894f1-2e5c-4b1e-8f4d-04739f68f673