„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Numerical Analysis of Systems of Singular Integral Equations of the First Kind with an Indefinable Index in the Problem of Diffraction of Plane Waves on a Rigid Inclusion
  Panchenko, B. E. ; Kovalev, Yu. D. ; Saiko, I. N.
• Bridging mixed integer linear programming for truss topology optimization and additive manufacturing
  Reintjes, Christian ; Lorenz, Ulf
• Approximately Optimal Control of Discrete-Time Nonlinear Switched Systems Using Globalized Dual Heuristic Programming
  Mu, Chaoxu ; Liao, Kaiju ; Ren, Ling ; Gao, Zhongke
• LimonDroid: a system coupling three signature-based schemes for profiling Android malware
  Tchakounté, Franklin ; Ngassi, Roger Corneille Ndjeumou ; Kamla, Vivient Corneille ; Udagepola, Kalum Priyanath
• Reasoner = Logical Calculus + Rule Engine
  Carral, David ; Dragoste, Irina ; Krötzsch, Markus
• Exact quantitative probabilistic model checking through rational search
  Mathur, Umang ; Bauer, Matthew S. ; Chadha, Rohit ; Sistla, A. Prasad ; Viswanathan, Mahesh
• Deep curriculum learning optimization
  Ghebrechristos, Henok ; Alaghband, Gita
• Review of State-of-the-Art Design Techniques for Chatbots
  Agarwal, Ritu ; Wadhwa, Mani
• Sociological Approaches to ICT Integration in Primary School Through Students’ Views
  Giavrimis, Panagiotis
• Finding Expected Revenue of Open HM-Network with Limited Waiting Time and Unreliable Queueing Systems
  Kopats, D.
• A fuzzy inference system (FIS) to evaluate the security readiness of cloud service providers
  Rizvi, Syed ; Mitchell, John ; Razaque, Abdul ; Rizvi, Mohammad R. ; Williams, Iyonna
• Highly secure edge-intelligent electric motorcycle management system for elevators
  Zhu, Zongwei ; Cao, Jing ; Hao, Tiancheng ; Zhai, Wenjie ; Sun, Bin ; Jia, Gangyong ; Li, Ming
• Specification and automated verification of atomic concurrent real-time transactions
  Cai, Simin ; Gallina, Barbara ; Nyström, Dag ; Seceleanu, Cristina
• Extracting Opinion Targets Using Attention-Based Neural Model
  Al-Dabet, Saja ; Tedmori, Sara ; Al-Smadi, Mohammad
• Extremal Problem with Network-Diameter and -Minimum-Degree for Distributed Function Computation
  Dai, H. K. ; Toulouse, M.
• A Survey on Machine Learning Techniques in Movie Revenue Prediction
  Ahmad, Ibrahim Said ; Bakar, Azuraliza Abu ; Yaakub, Mohd Ridzwan ; Muhammad, Shamsuddeen Hassan
• A Scalable Group Authentication Scheme Based on Combinatorial Designs with Fault Tolerance for the Internet of Things
  El Mouaatamid, Otmane ; Lahmer, Mohamed ; Belkasmi, Mostafa
• Comprehensive Analysis on Hardware Trojans in 3D ICs: Characterization and Experimental Impact Assessment
  Zhang, Zhiming ; Dofe, Jaya ; Yellu, Pruthvy ; Yu, Qiaoyan
• Internet of Things (IoT) in Pharmaceutical Manufacturing, Warehousing, and Supply Chain Management
  Sharma, Apoorva ; Kaur, Jaswinder ; Singh, Inderbir
• Conditional Schedules for Processes with Temporal Constraints
  Eder, Johann ; Franceschetti, Marco ; Lubas, Josef