Search Results - "Ho, Weng Kin"

Passing a Proof Message: Student-Teacher Communication through a Commognitive Lens

Authors: Mathematics Education Research Group of Australasia Ho, Weng Kin Hong, Lim Seo et al.

Source: Mathematics Education Research Group of Australasia. 2019.

Peer Reviewed: N

Page Count: 7

Descriptors: Student Teachers, Thinking Skills, Student Teacher Attitudes, Validity, Mathematical Logic, Mathematics Instruction, Guidelines, Discourse Analysis, Classroom Communication, Teaching Methods, Teacher Student Relationship, Learning Theories, Sociocultural Patterns, Peer Relationship, Novices, Specialists

Tools and Approaches for Integrating Computational Thinking and Mathematics: A Scoping Review of Current Empirical Studies

Authors: Chan, Shiau-Wei Looi, Chee-Kit Ho, Weng Kin et al.

Source: Journal of Educational Computing Research. Jan 2023 60(8):2036-2080.

Peer Reviewed: Y

Page Count: 45

Descriptors: Thinking Skills, 21st Century Skills, Teaching Methods, Research Reports, Computer Science Education, Computer Software, Algorithms, Mathematics Skills, Abstract Reasoning, Mathematics Instruction, Computer Games, Programming Languages, Geometry, Measurement, Elementary Secondary Education

Teachers in transition: mapping the impact of artificial intelligence on teachers.

Authors: Diao, Bicheng Chan, Nee Nee Ho, Weng Kin

Source: International Journal of Information & Learning Technology; 2026, Vol. 43 Issue 3, p205-222, 18p

Decreasing nature of a certain function related to the Steiner’s inellipse.

Authors: GIAM, Kia Keng HO, Weng Kin DAHAN, Jean-Jacques

Source: Asian Technology Conference in Mathematics (ACTM). 2025, p1-10. 10p.

Topological Structures Between Two Closed Surfaces Inspired by An Entrance Exam Problem.

Authors: Yang, Wei-Chi Ho, Weng Kin Dávila, Guillermo

Source: Asian Technology Conference in Mathematics (ACTM). 2024, p1-15. 15p.

Learning Experiences: Connecting A-Level Mathematics With Mathematics Used In The Real World Via Machine Learning.

Authors: HO, Weng Kin QUEK, Zhu Hui Joel

Source: Asian Technology Conference in Mathematics (ACTM). 2024, p1-15. 15p.

An Elementary Proof of the Identity cot [theta] = [image omitted]

Authors: Ho, Weng Kin Ho, Foo Him Lee, Tuo Yeong

Source: International Journal of Mathematical Education in Science and Technology. 2012 43(8):1085-1092.

Peer Reviewed: Y

Page Count: 8

Descriptors: Calculus, Mathematics Instruction, Mathematical Logic, Mathematical Concepts, Mathematical Formulas, Validity, Equations (Mathematics), Problem Solving, Mathematics, Higher Education, College Freshmen, College Mathematics

Continuous valuations: Tailoring measure theory for topology and order.

Authors: Ho, Weng Kin Lim, Mark Xian Jin Andradi, Hadrian

Source: AIP Conference Proceedings. 2024, Vol. 3029 Issue 1, p1-22. 22p.

An operational domain-theoretic treatment of recursive types.

Authors: HO, WENG KIN¹

Source: Mathematical Structures in Computer Science. Feb2014, Vol. 24 Issue 1, p1-59. 59p.

Operational domain theory and topology of sequential programming languages

Authors: Escardó, Martı´n Ho, Weng Kin

Source: Information & Computation. Mar2009, Vol. 207 Issue 3, p411-437. 27p.

Subjects: Programming languages, Comparative linguistics, Information theory, Artificial languages

A Family of Identities via Arbitrary Polynomials.

Authors: Dong Fengming Ho Weng Kin Lee Tuo Yeong

Source: College Mathematics Journal. Jan2013, Vol. 44 Issue 1, p43-47. 5p.

Subject Terms: Mathematical analysis, Arbitrary constants, Mathematics theorems, Identities (Mathematics), Polynomials

People: Dence, Thomas, Katsuura, Hidefumi

Operational domain theory and topology of sequential functional languages

Authors: Ho, Weng Kin

URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.435409

Maximal classes of spaces and domains determined by topologies on function spaces of domains.

Authors: Xi, Xiaoyong Liu, Han Ho, Weng Kin et al.

Source: Topology & Its Applications. May2017, Vol. 222, p278-292. 15p.

Applications of Scott-closed sets in convex structures.

Authors: Yue, Yueli Yao, Wei Ho, Weng Kin

Source: Topology & Its Applications. Jun2022, Vol. 314, pN.PAG-N.PAG. 1p.

On function spaces related to d-spaces.

Authors: Liu, Bei Li, Qingguo Ho, Weng Kin

Source: Topology & Its Applications. Aug2021, Vol. 300, pN.PAG-N.PAG. 1p.

A Competency Framework for Medical AI Education: Mixed Methods Study.

Authors: Cai C Zhu G Zhou SM et al.

Source: JMIR medical education [JMIR Med Educ] 2026 May 20; Vol. 12, pp. e91116. Date of Electronic Publication: 2026 May 20.

Publication Type: Journal Article

Journal Info: Publisher: JMIR Publications Country of Publication: Canada NLM ID: 101684518 Publication Model: Electronic Cited Medium: Internet ISSN: 2369-3762 (Electronic) Linking ISSN: 23693762 NLM ISO Abbreviation: JMIR Med Educ Subsets: MEDLINE

Learning number patterns through computational thinking activities: A Rasch model analysis.

Authors: Chan SW Looi CK Ho WK et al.

Source: Heliyon [Heliyon] 2021 Sep 03; Vol. 7 (9), pp. e07922. Date of Electronic Publication: 2021 Sep 03 (Print Publication: 2021).

Publication Type: Journal Article

Journal Info: Publisher: Elsevier Ltd Country of Publication: England NLM ID: 101672560 Publication Model: eCollection Cited Medium: Print ISSN: 2405-8440 (Print) Linking ISSN: 24058440 NLM ISO Abbreviation: Heliyon Subsets: PubMed not MEDLINE

Computational realizations of living systems.

Authors: Chu D Ho WK

Source: Artificial life [Artif Life] 2007 Fall; Vol. 13 (4), pp. 369-81.

Publication Type: Journal Article

Journal Info: Publisher: MIT Press Country of Publication: United States NLM ID: 9433814 Publication Model: Print Cited Medium: Print ISSN: 1064-5462 (Print) Linking ISSN: 10645462 NLM ISO Abbreviation: Artif Life Subsets: MEDLINE

The localization hypothesis and machines.

Authors: Chu D Ho WK

Source: Artificial life [Artif Life] 2007 Summer; Vol. 13 (3), pp. 299-302.

Publication Type: Comment; Letter

Journal Info: Publisher: MIT Press Country of Publication: United States NLM ID: 9433814 Publication Model: Print Cited Medium: Print ISSN: 1064-5462 (Print) Linking ISSN: 10645462 NLM ISO Abbreviation: Artif Life Subsets: MEDLINE

A category theoretical argument against the possibility of artificial life: Robert Rosen's central proof revisited.

Authors: Chu D Ho WK

Source: Artificial life [Artif Life] 2006 Winter; Vol. 12 (1), pp. 117-34.

Publication Type: Comparative Study; Journal Article; Research Support, Non-U.S. Gov't

Journal Info: Publisher: MIT Press Country of Publication: United States NLM ID: 9433814 Publication Model: Print Cited Medium: Print ISSN: 1064-5462 (Print) Linking ISSN: 10645462 NLM ISO Abbreviation: Artif Life Subsets: MEDLINE