Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Quantitative program reasoning with graded modal types
Orchard, Dominic, Liepelt, Vilem-Benjamin, Eades III, Harley
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Parabolic Tamari Lattices in Linear Type B
Fang, Wenjie, Mühle, Henri, Novelli, Jean-Christophe
Published in The Electronic journal of combinatorics (22.03.2024)
Published in The Electronic journal of combinatorics (22.03.2024)
Get full text
Journal Article
Deep learning aided computer vision system for automated linear type trait evaluation in dairy cows
Devi, Indu, Singh, Naseeb, Dudi, Kuldeep, Ranjan, Rakesh, Lathwal, Surender Singh, Tomar, Divyanshu Singh, Nagar, Harsh
Published in Smart agricultural technology (01.08.2024)
Published in Smart agricultural technology (01.08.2024)
Get full text
Journal Article
Cooperative decoupled processes
Bejleri, Andi, Mezini, Mira, Eugster, Patrick, Domnori, Elton
Published in Software quality journal (01.09.2018)
Published in Software quality journal (01.09.2018)
Get full text
Journal Article
Adaptive Sliding Mode Security Control for Stochastic Markov Jump Cyber-Physical Nonlinear Systems Subject to Actuator Failures and Randomly Occurring Injection Attacks
Liu, Zhen, Chen, Xinkai, Yu, Jinpeng
Published in IEEE transactions on industrial informatics (01.03.2023)
Published in IEEE transactions on industrial informatics (01.03.2023)
Get full text
Journal Article