1.

Record Nr.

UNINA9910456915903321

Titolo

International education and the Chinese learner [[electronic resource] /] / edited by Janette Ryan and Gordon Slethuag

Pubbl/distr/stampa

Hong Kong, : Hong Kong University Press, 2010

ISBN

988-220-705-7

988-8028-44-8

1-283-01697-4

9786613016973

988-220-615-8

Descrizione fisica

1 online resource (214 p.)

Altri autori (Persone)

RyanJanette

SlethuagGordon

Disciplina

370

370.1170951

379.51

Soggetti

International education - China

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Interrogating international education and Chinese learners. Something happened while nobody was looking : the growth of international education and the Chinese learner / Gordon Slethaug ; "Chinese learners" : misconceptions and realities / Janette Ryan -- The Chinese learner in international schools in Hong Kong. Fit for purpose? Why Chinese families choose international schools in Hong Kong / Chris Forse ; Being, becoming, and belonging : exploring Hong Kong-Chinese students' experiences of the social realitites of international schooling / Eric Jabal ; Educating Chinese learners for social conscience in Hong Kong : an international school perspective / Martin Schmidt -- Teachers and Chinese learners in transnational higher education settings. A Danish perspective on teaching Chinese students in Europe / Jane Vinther ; Chinese pre-service teachers in Australia : language, identity, and practice / Jennifer Miller ; Realizing "cross-cultural exchange" : a dialogue between the USA and China / Ivy Wang ;



Learning for all : cross-cultural, interdisciplinary team teaching between China and the USA / Zhu Weibin.

Sommario/riassunto

This collection of essays aim at fostering discussion about the growth of international education and the Chinese learner between educators from schools and universities in Hong Kong and abroad. These essays are both theoretical and practical, coming outof the direct experiences of those who have been teaching Chinese learners in international contexts.

2.

Record Nr.

UNISA996465903803316

Titolo

Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001

ISBN

3-540-45410-1

Edizione

[1st ed. 2001.]

Descrizione fisica

1 online resource (VIII, 328 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 2061

Disciplina

516/.00285

Soggetti

Artificial intelligence

Geometry

Application software

Computer graphics

Mathematical logic

Pattern recognition

Artificial Intelligence

Computer Applications

Computer Graphics

Mathematical Logic and Formal Languages

Pattern Recognition

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references at the end of each chapters and



index.

Nota di contenuto

On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry.