Computing horn rewritings of description logics ontologies by Kaminski, M, Cuenca Grau, B

“…We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. …”

Higher-order constrained horn clauses for verification by Cathcart Burn, T, Ong, C, Ramsay, S

“…Motivated by applications in automated verification of higher-order functional programs, we develop a notion of constrained Horn clauses in higher-order logic and a decision problem concerning their satisfiability. …”

Optimization of UWB pyramidal horn antenna with load by Xia, Y, Edwards, D

“…For a UWB pyramidal horn antenna with a curved ridge and a fin, the effect of the resistors at the end of the fin on reflection coefficient or return loss is investigated. …”

Consequence−Driven Reasoning for Horn SHIQ Ontologies by Kazakov, Y

“…We present a novel reasoning procedure for Horn SHIQ ontologies–SHIQ ontologies that can be translated to the Horn fragment of first-order logic. …”

Datalog rewriting techniques for non-Horn ontologies by Kaminski, M, Nenov, Y, Cuenca Grau, B

“…<p>We study the closely related problems of rewriting disjunctive datalog programs and non-Horn DL ontologies into plain datalog programs that entail the same facts for every dataset. …”

Datalog Rewriting Techniques for Non−Horn Ontologies by Kaminski, M, Nenov, Y, Grau, B

Consequence−Driven Reasoning for Horn SHIQ Ontologies by Kazakov, Y

Breast horn; A rare case presentation by Bhirrinta Varughese, Siti Zubaidah Sharif, Ho Kah Yee, Nik Amin Sahid Nik Lah

“…The horn increased in size to about a length of 5 cm associated with on and off itchiness over the horn. …”
Get full text
Get full text

Mechanical Nociceptive Threshold, Tissue Alterations and Horn Growth in Calves after Injection of Isoeugenol or Clove Oil under the Horn Bud by Anna Juffinger, Julia Schoiswohl, Anna Stanitznig, Reinhild Krametter-Frötscher, Thomas Wittek, Susanne Waiblinger

Subjects: Get full text

Private Collection as Collective Operation: Art Dealers’ Impacts on the Formation of the Van Horne Japanese Ceramic Collection by Akiko Takesue

Subjects: Get full text

Anomalous insertion of the anterior horn of the medial meniscus combined with anterior horn hypertrophy and a synovial cyst: case report and literature review by Peng Chen, Pengzhou Huang, Yuxiang Ren, Guanwei Jiang, Wentao Zhang, Xintao Zhang

“…Methods This report describes a 26-year-old man with an anomalous insertion of the anterior horn of the medial meniscus combined with symptomatic hypertrophy of the anterior horn and a synovial cyst. …”
Get full text

Horne, Thomas A. (1982). El pensamiento social de Bernard Mandeville by Antoni Estradé

“…Ressenya de l'obra de Thomas A. Horne apareguda el 1982, El pensamiento social de Bernard Mandeville. …”
Get full text

Experimental test of the Greenberger–Horne–Zeilinger-type paradoxes in and beyond graph states by Zheng-Hao Liu, Jie Zhou, Hui-Xian Meng, Mu Yang, Qiang Li, Yu Meng, Hong-Yi Su, Jing-Ling Chen, Kai Sun, Jin-Shi Xu, Chuan-Feng Li, Guang-Can Guo

“…Abstract The Greenberger–Horne–Zeilinger (GHZ) paradox is an exquisite no-go theorem that shows the sharp contradiction between classical theory and quantum mechanics by ruling out any local realistic description of quantum theory. …”
Get full text

Nathan Wuertenberg & William Horne, eds. Demand the Impossible. Essay in History as Activism by José Ragas

Get full text

All-Photonic Architecture for Scalable Quantum Computing with Greenberger-Horne-Zeilinger States by Srikrishna Omkar, Seok-Hyung Lee, Yong Siah Teo, Seung-Woo Lee, Hyunseok Jeong

“…Motivated by advancements at the experimental front in deterministic generation of various kinds of multiphoton entangled states, we propose an architecture for linear-optical quantum computing that harnesses the availability of three-photon Greenberger-Horne-Zeilinger (GHZ) states. Our architecture and its subvariants use polarized photons in GHZ states, polarization beam splitters, delay lines, optical switches, and on-off detectors. …”
Get full text

Bell inequalities tailored to the Greenberger–Horne–Zeilinger states of arbitrary local dimension by R Augusiak, A Salavrakos, J Tura, A Acín

Subjects: Get full text

Multi-Hop Quantum Communication Based on Greenberger-Horne-Zeilinger States and Teleportation by Na Chen, Shuangshuang Shuai, Bin Yan, Ning Xu, Changxing Pei

“…In a quantum network, different types of Greenberger-Horne-Zeilinger (GHZ) states are previously shared on quantum links. …”
Get full text

Design of a 9 GHz pyramidal horn antenna / by 286162 Faizal Fadzil

Subjects: “…Antennas, Horn…”

Motion detection using Horn-Schunck optical flow by Wan Nur Azhani, W. Samsudin, Kamarul Hawari, Ghazali

“…This system is design to detect motion in a crowd using one of the optical flow algorithms, Horn-Schunck method. By performing some appropriate feature extraction techniques, this system allows us to achieve better results in detecting motion and determining the velocity of that motion in order to analyze the human behaviour based on its velocities. …”
Get full text

Cutaneous rhinosporidiosis presenting as cutaneous horn and verrucous plaque by Chandra S Sirka, Gaurav Dash, Swetalina Pradhan, Manas Baisakh

Get full text