314 Result(s)
-
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....
-
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...
-
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.
-
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...
-
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...
-
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.
-
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...
-
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.
-
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 ...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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.
-
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...
-
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...
-
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...
-
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 ...