„Operating Systems.“

Suchergebnisse

10.000+ Treffer

• Distinguishing extended finite state machine configurations using predicate abstraction
  El-Fakih, Khaled ; Yevtushenko, Nina ; Bozga, Marius ; Bensalem, Saddek
• Experimental study on influence of operating parameters on tar components from corn straw gasification in fluidized bed
  Guo, Shuai ; Wei, Xiao ; Che, Deyong ; Liu, Hongpeng ; Sun, Baizhong
• An operating state estimation model for integrated energy systems based on distributed solution
  Zhou, Dengji ; Ma, Shixi ; Huang, Dawen ; Zhang, Huisheng ; Weng, Shilie
• Prevention of surgical site infection under different ventilation systems in operating room environment
  Liu, Zhijian ; Liu, Haiyang ; Yin, Hang ; Rong, Rui ; Cao, Guoqing ; Deng, Qihong
• Performance and emission characteristics of a diesel engine operating on different water in diesel emulsion fuels: optimization using response surface methodology (RSM)
  Hoseini, Seyed Saeed ; Sobati, Mohammad Amin
• Operating room first case start times: a metric to assess systems-based practice milestones?
  Hoffman, Christopher Ryan ; Horrow, Jay ; Ranganna, Shreyas ; Green, Michael Stuart
• Using operating room turnover time by anesthesia trainee level to assess improving systems-based practice milestones
  Hoffman, Christopher Ryan ; Green, Michael Stuart ; Liu, Jasmine ; Iqbal, Usama ; Voralu, Kirtanaa
• Distributed parametric model checking timed automata under non-Zenoness assumption
  André, Étienne ; Nguyen, Hoang Gia ; Petrucci, Laure ; Sun, Jun
• Automated synthesis of local time requirement for service composition
  André, Étienne ; Tan, Tian Huat ; Chen, Manman ; Liu, Shuang ; Sun, Jun ; Liu, Yang ; Dong, Jin Song
• Thread carefully: preventing starvation in the ROS 2 multithreaded executor
  Teper, Harun ; Kuhse, Daniel ; Günzel, Mario ; Brüggen, Georg ˜von derœ ; Howar, Falk ; Chen, Jian-Jia 2024 Universitätsbibliothek Dortmund
• On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains
  Günzel, Mario ; Teper, Harun ; Chen, Kuan-Hsun ; Brüggen, Georg ˜von derœ ; Chen, Jian-Jia 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Human Operating System – Decode and Master the Hidden Logic Behind Your Decisions
  Schröter, Daniel Christian 2026 BoD – Books on Demand
• Traffic flow forecasting based on dynamic graph convolution and triplet attention
  Zhang, Hong ; Yi, Min ; Zhang, Xijun
• Deep learning-based method for detecting the association between the personnel operating attitudes and the operational targets on offshore platform
  Sun, Feng ; Zhang, Shihai ; Qu, Chongnian ; Li, Zhenwei
• Using field observations as a tool for discovery: analys ing cognitive and collaborative demands in the operating room
  Roth, E. M. ; Christian, C. K. ; Gustafson, M. ; Sheridan, T. B. ; Dwyer, K. ; Gandhi, T. K. ; Zinner, M. J. ; Dierks, M. M.
• Multi-level strategies to achieve resilience for an organisation operating at capacity: a case study at a trauma centre
  Miller, Anne ; Xiao, Yan
• Digital Forensics and Cyber Crime – 15th EAI International Conference, ICDF2C 2024, Dubrovnik, Croatia, October 9–10, 2024, Proceedings, Part I
  Goel, Sanjay ; Uzun, Ersin ; Xie, Mengjun ; Sarkar, Sumantra 2025 Springer Nature Switzerland, Imprint: Springer
• Digital Forensics and Cyber Crime – 15th EAI International Conference, ICDF2C 2024, Dubrovnik, Croatia, October 9–10, 2024, Proceedings, Part II
  Goel, Sanjay ; Uzun, Ersin ; Xie, Mengjun ; Sarkar, Sumantra 2025 Springer Nature Switzerland, Imprint: Springer
• Factors influencing the performance of externally bonded reinforcement systems of GFRP-to-concrete interfaces
  Biscaia, Hugo C. ; Silva, Manuel A. G. ; Chastre, Carlos
• Streamlined NTRU Prime on FPGA
  Peng, Bo-Yuan ; Marotzke, Adrian ; Tsai, Ming-Han ; Yang, Bo-Yin ; Chen, Ho-Lin