• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 647 matches

• 2021
• 
  Yan Zhang, Jingxin Zhang, Jielong Chen, Yufeng Tang, Qianhuo Tian, Yang Liu:
  A Type of Mixed Logical System Model Using in Laboratory Optimal Energy-Saving Management. IEEE Access 9: 30267-30274 (2021)
• 
  Federica Cena, Luca Console, Fabiana Vernero:
  Logical foundations of knowledge-based recommender systems: A unifying spectrum of alternatives. Inf. Sci. 546: 60-73 (2021)
• 
  Kai-Björn Gemlau, Leonie Köhler, Rolf Ernst, Sophie Quinton:
  System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software. ACM Trans. Cyber Phys. Syst. 5(2): 14:1-14:27 (2021)
• 2020
• 
  S. N. Vassilyev, Yu. I. Kudinov, Fedor F. Pashchenko, Irina S. Durgaryan, A. Yu. Kelina, I. Yu. Kudinov, A. F. Pashchenko:
  Intelligent Control Systems and Fuzzy Controllers. I. Fuzzy Models, Logical-Linguistic and Analytical Regulators. Autom. Remote. Control. 81(1): 171-191 (2020)
• 
  Sherin Hijazi, Nadim Obeid, Khair Eddin Sabri:
  On the Logical Foundation of a Personalized Medical Prescription System. IEEE Access 8: 6471-6483 (2020)
• 
  Tanmoy Kanti Das, Sridhar Adepu, Jianying Zhou:
  Anomaly detection in Industrial Control Systems using Logical Analysis of Data. Comput. Secur. 96: 101935 (2020)
• 
  Cailu Wang, Yuegang Tao:
  Karnaugh Maps of Logical Systems and Applications in Digital Circuit Design. Circuits Syst. Signal Process. 39(5): 2245-2271 (2020)
• 
  Alexander Knapp, Markus Roggenbach:
  André Platzer: Logical foundations of cyber-physical systems. Formal Aspects Comput. 32(1): 149-151 (2020)
• 
  Yuangen Yao, Jun Ma:
  Logical Chaotic Resonance in a Bistable System. Int. J. Bifurc. Chaos 30(13): 2050196:1-2050196:6 (2020)
• 
  Jacques Simonin, Pierre Yves Pillain, Didier Guériot, Johanne Vincent:
  Information System Services Generation of Business Services Specification and Based on a System-of-Services Logical Architecture Pattern. Int. J. Cooperative Inf. Syst. 29(3): 2050002:1-2050002:51 (2020)
• 
  Guodong Zhao, Haitao Li:
  Robustness analysis of logical networks and its application in infinite systems. J. Frankl. Inst. 357(5): 2882-2891 (2020)
• 
  Mohammad Sina Asadzadeh, Gholam Reza Rezaei, Javad Jamalzadeh:
  A note on a method for constructing uniform topologies on algebras associated with logical systems. J. Intell. Fuzzy Syst. 39(1): 789-793 (2020)
• 
  Benoît Vibert, Jean-Marie Le Bars, Christophe Charrier, Christophe Rosenberger:
  Logical Attacks and Countermeasures for Fingerprint On-Card-Comparison Systems. Sensors 20(18): 5410 (2020)
• 
  Tadanao Zanma, Shinya Akiba, Koki Hoshikawa, Kang-Zhi Liu:
  Cruise Control for a Two-Wheeled Mobile Vehicle Using Its Mixed Logical Dynamical System Model. IEEE Trans. Ind. Informatics 16(5): 3145-3156 (2020)
• 
  Mitsuhiro Okada:
  A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems. Logic, Language, and Security 2020: 39-47
• 
  Adam Pease:
  A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description). IJCAR (2) 2020: 472-479
• 
  Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu:
  Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. EMSOFT 2020: 22-24
• 
  Alexander Ivannikov:
  Iterative Methods for Multi-Valued Logical Equation System Solving while Digital System Simulating. EWDTS 2020: 1-6
• 
  Claude Stolze, Luigi Liquori:
  A Type Checker for a Logical Framework with Union and Intersection Types (System Description). FSCD 2020: 37:1-37:24
• 
  Hongdou Ye, Xiaoxiao Chen:
  Logical Analysis and Enlightenment of Credit Management System Design in Electricity Market. ICIC (1) 2020: 597-608
• 
  Nurul Hannah Mohd Yusof, Nurul Adilla Mohd Subha, Fatimah Syam Ismail, Norikhwan Hamzah:
  Logical Consensus-based Control for Water Distribution System with Physical Faults. ICSET 2020: 118-122
• 
  Tanmoy Kanti Das, S. Gangopadhyay, Jianying Zhou:
  SSIDS: Semi-Supervised Intrusion Detection System by Extending the Logical Analysis of Data. CoRR abs/2007.10608 (2020)
• 2019
• 
  Valentina Castiglioni, Simone Tini:
  Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Inf. Comput. 268 (2019)
• 
  Ofer Arieli, Christian Straßer:
  Logical argumentation by dynamic proof systems. Theor. Comput. Sci. 781: 63-91 (2019)
• 
  Marco Bernardo, Marino Miculan:
  Constructive logical characterizations of bisimilarity for reactive probabilistic systems. Theor. Comput. Sci. 764: 80-99 (2019)
• 
  Romain Pichard, Alexandre Philippot, Ramla Saddem, Bernard Riera:
  Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter. IEEE Trans. Control. Syst. Technol. 27(4): 1659-1667 (2019)
• 
  Susmit Jha, John Rushby:
  Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. AAAI Spring Symposium: Towards Conscious AI Systems 2019
• 
  Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki:
  Multimodal Logical Inference System for Visual-Textual Entailment. ACL (2) 2019: 386-392
• 
  Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro:
  Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back 2019: 152-171
• 
  Dmitry V. Efanov, Valery V. Sapozhnikov, Vladimir V. Sapozhnikov, German Osadchy, Dmitry V. Pivovarov:
  Self-Dual Complement Method up to Constant-Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems. EWDTS 2019: 1-8

skipping 617 more matches