Skip to main content

Page of 16
and
  1. Chapter and Conference Paper

    Integration of an IoT Communication Infrastructure in Distributed Production Systems in Industry 4.0

    The term Internet of Things (IoT) denotes a communication network, where various Things are interconnected using novel scenario-specific Internet technologies and predefined customizable semantics. Industry 4....

    Jiahang Chen, Jürgen Roßmann in Annals of Scientific Society for Assembly,… (2023)

  2. Chapter

    Laparoscopic Right Hemicolectomy with Complete Mesocolic Excision and Central Vascular Ligation (CME/CVL) for Right Sided Colon Cancer

    Hohenberger et al. [1] advocated CME/CVL for resection of right-sided colon cancers. CME involves sharp dissection along Toldt’s fascia with the goal of removing the primary tumor, its mesentery, and an undisr...

    Ming Li Leonard Ho, William Tzu-Liang Chen in Mastering Endo-Laparoscopic and Thoracosco… (2023)

  3. Chapter

    Studying the Bond Performance of Fully Grouted Rock Bolts Based on the Variable Controlling

    Fully grouted rock bolting is commonly used in roadway reinforcement in mining and tunnelling reinforcement.

    Jianhang Chen, Yongliang Li, Junwen Zhang in Bond Failure Mechanism of Fully Grouted Ro… (2023)

  4. Chapter

    Laparoscopic Total Colectomy

    Total colectomy (TC) with ileorectal (IRA) is frequently performed for colorectal cancer, familial adenomatous polyposis, unidentified bleeding from the lower GI tract, inflammatory bowel disease, and sometime...

    Mina Ming Yin Shen, William Tzu-Liang Chen in Mastering Endo-Laparoscopic and Thoracosco… (2023)

  5. Chapter and Conference Paper

    A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)

    We present a theory of Cartesian arrays, which are multi-dimensional arrays with support for the projection of arrays to sub-arrays, as well as for updating sub-arrays. The resulting logic is an extension of C...

    Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai in Automated Deduction – CADE 29 (2023)

  6. Chapter

    Numerical Simulation of the Shear Behaviour of Cement Grout

    Cement is grey fine powder that is widely used in civil engineering and mining engineering.

    Jianhang Chen, Yongliang Li, Junwen Zhang in Bond Failure Mechanism of Fully Grouted Ro… (2023)

  7. Chapter

    Laparoscopic Abdominoperineal Resection

    A rectal cancer located within the narrow confines of the bony pelvis has for centuries been the bugbear of abdominal surgeons. Advances in operative technique, surgical technology, imaging methods, and multim...

    Isaac Seow-En, William Tzu-Liang Chen in Mastering Endo-Laparoscopic and Thoracosco… (2023)

  8. Chapter

    Analytical Modelling to Study the Load Transfer Performance of Fully Grouted Rock Bolts

    A rock bolt is a rock tendon which can be either a rod or a strand, installed in a borehole to reinforce the surround rock mass and soil.

    Jianhang Chen, Yongliang Li, Junwen Zhang in Bond Failure Mechanism of Fully Grouted Ro… (2023)

  9. Chapter

    A Historico-Logical Re-assessment of Hans Driesch’s Vitalism

    Today vitalism is widely dismissed as a metaphysical heresy. For instance, Brigandt and Love (Reductionism in biology. In: Zalta EN (ed) The stanford encyclopedia of philosophy, 2017) claimed that “the denial ...

    Bohang Chen in Vitalism and Its Legacy in Twentieth Century Life Sciences and Philosophy (2023)

  10. Chapter and Conference Paper

    AutoQ: An Automata-Based Quantum Circuit Verifier

    We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [14] and extends it with the capabilit...

    Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin in Computer Aided Verification (2023)

  11. Chapter

    “One Single Form and One-Stop Services” Simplifies the Handling Procedures for Foreign-Invested Enterprises

    In order to optimize the recordation procedures of the establishment of foreign-invested enterprises and further facilitate foreign investment, Decision of the Ministry of Commerce to Amend the Interim Measures f...

    Fang Chen in Essential Knowledge and Legal Practices fo… (2022)

  12. Chapter

    Towards Explainability for AI Fairness

    AI explainability is becoming indispensable to allow users to gain insights into the AI system’s decision-making process. Meanwhile, fairness is another rising concern that algorithmic predictions may be misal...

    Jianlong Zhou, Fang Chen, Andreas Holzinger in xxAI - Beyond Explainable AI (2022)

  13. Chapter and Conference Paper

    New Principle of Fault Data Synchronization for Intelligent Protection Based on Wavelet Analysis

    In order to eliminate the influence of the delay error of the sampled value in the data link on the longitudinal differential protection device, this paper proposes a protection data self-healing synchronizati...

    Zuowei Wang, Hong Zhang, Dongchao Liu in Proceeding of 2021 International Conferenc… (2022)

  14. Chapter and Conference Paper

    Research on the Influence of Electromagnetic Interference Test Signal on Networked Vehicle Detection Equipment

    The rapid development of intelligent and networked automobiles has driven the electronic, intelligent, and integrated industries of automobiles, but at the same time, it has also brought more complex electroma...

    Jie Zhang, Changyuan Wang, Haiming Liu in Advances in Precision Instruments and Opti… (2022)

  15. Chapter and Conference Paper

    A Novel Type-Sensitive PageRank Algorithm for Importance Ranking of Heterogeneous Network Nodes

    Systems in the real world are mostly made up of different types of interacting entities. It is of great value to identify the key nodes in a system, which can better grasp the key factors of the system. Howeve...

    Hang Chen, Jiashun Duan, Yulong Dai in Advances in Precision Instruments and Opti… (2022)

  16. Chapter and Conference Paper

    Correction to: Crossed-Time Delay Neural Network for Speaker Recognition

    The book was inadvertently published with a typo in the third author’s name “**aoshu Shi”, i.e., an extra “s” was added whereas it should have read “**aohu Shi”. This has been now corrected with the erratum.

    Liang Chen, Yanchun Liang, **aohu Shi, You Zhou, Chunguo Wu in MultiMedia Modeling (2021)

  17. Chapter

    Smartphone-Based Indoor Positioning Technologies

    Global Navigation Satellite Systems (GNSS) have achieved great success in providing localization information in outdoor open areas. However, due to the weakness of the signal, GNSS signals cannot be received w...

    Ruizhi Chen, Liang Chen in Urban Informatics (2021)

  18. Chapter and Conference Paper

    Low-Speed Aerodynamic Analysis Using Four Different Turbulent Models of Solver of a Wind Turbine Shroud

    This study presents the effect of four different turbulent models of solver on the aerodynamic analysis of a shroud at wind speed below 6 m/s. The converting shroud uses a combination of a cylindrical case and...

    M. M. Siewe Ngouani, Yong Kang Chen, R. Day in Energy and Sustainable Futures (2021)

  19. Chapter and Conference Paper

    Damage Characterisation in Composite Laminates Using Vibro-Acoustic Technique

    The need to characterise in-service damage in composite structures is increasingly becoming important as composites find higher utilisation in wind turbines, aerospace, automotive, marine, among others. This p...

    Kristian Gjerrestad Andersen, Gbanaibolou Jombo in Energy and Sustainable Futures (2021)

  20. Chapter

    Tools and Technologies for Quantifying Spread and Impacts of Invasive Species

    The need for tools and technologies for understanding and quantifying invasive species has never been greater. Rates of infestation vary on the species or organism being examined across the United States, and ...

    Matt Reeves, Inés Ibáñez, Dana Blumenthal in Invasive Species in Forests and Rangelands… (2021)

Page of 16