Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications
He, Jie, Nickovic, Dejan, Bartocci, Ezio, Grosu, Radu
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
Towards Objective Voice Assessment: The Diplophonia Diagram
Aichinger, Philipp, Roesner, Imme, Schneider-Stickler, Berit, Leonhard, Matthias, Denk-Linnert, Doris-Maria, Bigenzahn, Wolfgang, Fuchs, Anna Katharina, Hagmüller, Martin, Kubin, Gernot
Published in Journal of voice (01.03.2017)
Published in Journal of voice (01.03.2017)
Get full text
Journal Article
Resilient perimeter control of macroscopic fundamental diagram networks under cyberattacks
Haddad, Jack, Mirkin, Boris
Published in Transportation research. Part B: methodological (01.02.2020)
Published in Transportation research. Part B: methodological (01.02.2020)
Get full text
Journal Article
Memorability of Visual Features in Network Diagrams
Marriott, K., Purchase, H., Wybrow, M., Goncu, C.
Published in IEEE transactions on visualization and computer graphics (01.12.2012)
Published in IEEE transactions on visualization and computer graphics (01.12.2012)
Get full text
Journal Article
Extract Human Mobility Patterns Powered by City Semantic Diagram
Shan, Zhangqing, Sun, Weiwei, Zheng, Baihua
Published in IEEE transactions on knowledge and data engineering (01.08.2022)
Published in IEEE transactions on knowledge and data engineering (01.08.2022)
Get full text
Journal Article
Conceptual design of a decision knowledge service model integrating a multi-agent supply relationship diagram for electric power emergency equipment
Si, Jiandong, Liu, Chang, Ye, Jingxian, Wu, Jianfeng, Wang, Jianguo, Hu, Kairui, Ju, Chunhua, Cao, Qianwen
Published in Frontiers in big data (2025)
Published in Frontiers in big data (2025)
Get full text
Journal Article
Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection
Published in INFORMS journal on computing
(01.11.2024)
Get full text
Journal Article
Finite satisfiability of UML class diagrams with constrained class hierarchy
Balaban, Mira, Maraee, Azzam
Published in ACM transactions on software engineering and methodology (01.07.2013)
Published in ACM transactions on software engineering and methodology (01.07.2013)
Get full text
Journal Article
Automatic Modulation Recognition Based on Deep-Learning Features Fusion of Signal and Constellation Diagram
Han, Hui, Yi, Zhijian, Zhu, Zhigang, Li, Lin, Gong, Shuaige, Li, Bin, Wang, Mingjie
Published in Electronics (Basel) (01.02.2023)
Published in Electronics (Basel) (01.02.2023)
Get full text
Journal Article
Extraction of use case diagram elements using natural language processing and network science
Imtiaz Malik, Maryam, Azam Sindhu, Muddassar, Ayaz Abbasi, Rabeeh
Published in PloS one (23.06.2023)
Published in PloS one (23.06.2023)
Get full text
Journal Article