Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Xiao, Shengping"'
Autor:
Xiao, Shengping, Li, Yongkang, Zhu, Shufang, Sun, Jun, Li, Jianwen, Pu, Geguang, Vardi, Moshe Y.
We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on constructing a complete Deterministic Finite Automaton (DFA) correspon
Externí odkaz:
http://arxiv.org/abs/2408.07324
In goal-oriented requirement engineering, boundary conditions(BC) are used to capture the divergence of goals, i.e., goals cannot be satisfied as a whole in some circumstances. As the goals are formally described by temporal logic, solving BCs automa
Externí odkaz:
http://arxiv.org/abs/2203.12903
Publikováno v:
In Cell Reports 23 July 2024 43(7)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Nature Chemical Biology; April 2016, Vol. 12 Issue: 4 p304-304, 1p
Autor:
Le Chua X; Department of Cell Biology, Yale University School of Medicine, New Haven, CT 06510, USA.; Department of Biological Sciences, Centre for Bioimaging Sciences, Singapore 117557., Tong CS; Department of Cell Biology, Yale University School of Medicine, New Haven, CT 06510, USA.; Department of Biological Sciences, Centre for Bioimaging Sciences, Singapore 117557., Xǔ XJ; Department of Cell Biology, Yale University School of Medicine, New Haven, CT 06510, USA.; Department of Physics, Yale University, New Haven, CT 06511, USA., Su M; Department of Cell Biology, Yale University School of Medicine, New Haven, CT 06510, USA.; Department of Biological Sciences, Centre for Bioimaging Sciences, Singapore 117557.; Mechanobiology Institute, National University of Singapore, Singapore 117411., Xiao S; Department of Biological Sciences, Centre for Bioimaging Sciences, Singapore 117557., Wu X; School of Life Sciences, Westlake University, Hangzhou, China 310024., Wu M; Department of Cell Biology, Yale University School of Medicine, New Haven, CT 06510, USA.; Department of Biological Sciences, Centre for Bioimaging Sciences, Singapore 117557.; Department of Physics, Yale University, New Haven, CT 06511, USA.
Publikováno v:
BioRxiv : the preprint server for biology [bioRxiv] 2023 Sep 13. Date of Electronic Publication: 2023 Sep 13.