Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Bang Hou"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:1659-1685
We present a novel formulation of universe polymorphism in dependent type theory in terms of monads on the category of strict partial orders, and a novel algebraic structure, displacement algebras, on top of which one can implement a generalized form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ecde68c1702f6978bec95b617455c581
https://doi.org/10.1145/3571250
https://doi.org/10.1145/3571250
Autor:
Ulrik Buchholtz, Kuen-Bang Hou
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)
We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian groups of many
Externí odkaz:
https://doaj.org/article/4e73c752d3ff49c0990b45f72ff8fe40
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 274, Iss Proc. LFMTP 2018, Pp 1-10 (2018)
RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory. In the style of Nuprl, RedPRL users employ tactics to establish b
Externí odkaz:
https://doaj.org/article/86dcd954605c4cb2ac77f3daa3801932
Factors Affecting Computer System Maintenance Skills Improvement of Information Technology Students.
Publikováno v:
Journal of Computer Science & Technology Studies; Jan-Mar2024, Vol. 6 Issue 1, p131-140, 10p
Publikováno v:
CCS Chemistry. :1-9
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b19550dc547e420a400751aadda2b9cd
https://doi.org/10.31635/ccschem.022.202202285
https://doi.org/10.31635/ccschem.022.202202285
Publikováno v:
Chemical Research in Chinese Universities. 38:350-355
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2afb1f7c4642ae80f64a7d4df20ca39f
https://doi.org/10.1007/s40242-022-1490-6
https://doi.org/10.1007/s40242-022-1490-6
Autor:
Kuen-Bang Hou, Zhuyang Wang
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-26
Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy et al. have developed a theory to reduce a wide range of polymorphic properties to monomorphic ones, it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d598c59b8dfef4a980f322ab8d8f3b12
https://doi.org/10.1145/3498726
https://doi.org/10.1145/3498726
Autor:
Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata
Publikováno v:
Mathematical Structures in Computer Science. 31:424-468
We present a cubical type theory based on the Cartesian cube category (faces, degeneracies, symmetries, diagonals, but no connections or reversal) with univalent universes, each containing Π, Σ, path, identity, natural number, boolean, suspension,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ed2b2c96ba07fa76e844ad793228f2e
https://doi.org/10.1017/s0960129521000347
https://doi.org/10.1017/s0960129521000347
Publikováno v:
Angewandte Chemie. 133:6151-6158
3D covalent organic frameworks (COFs) with well-defined porous channels are shown to be capable of inducing chiral molecular catalysts from non-enantioselective to highly enantioselective in catalyzing organic transformations. By condensations of a t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d4a7be45d5b5291709fde2e619e81e4
https://doi.org/10.1002/ange.202013926
https://doi.org/10.1002/ange.202013926
Publikováno v:
World Journal of Clinical Cases
BACKGROUND Bimaxillary protrusion is a clinically common dentofacial deformity, particularly among Chinese patients. This kind of malformation can severely affect facial esthetics and, even in mild cases, is difficult to correct without surgery. Unfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b32364aa36d247ef355f2182425cee3
http://europepmc.org/articles/PMC7829714
http://europepmc.org/articles/PMC7829714