In 2009 The University of Hong Kong (HKU) wrote mission and vision statements, and strategic plans highlighting Knowledge Exchange (KE). The HKU Scholars Hub, the institutional repository of HKU, was chosen to be the chief vehicle to forge the necessary culture for KE within HKU and engage staff in delivering the desired outcomes of KE. Development work to create this vehicle serendipitously cr...

In den siebziger und frühen achtziger Jahren wurde im Software Engineering (SE) eine Debatte geführt, die nun mit Zeitverzögerung auch im Knowledge Engineering (KE) geführt wird. Es geht dabei um den Sinn und Unsinn formaler Spezifikationstechniken zur implementierungsunabhängigen Beschreibung von Softwaresystemen. Im KE-Bereich geht es dabei speziell um wissensbasierte Systeme bzw. Expertensys...

An optimal multistage Kalman estimator (OMSKE) is proposed as a generalization of the optimal two-stage Kalman estimator for the reduction of the computational burden of the Kalman estimator (KE) for discrete-time linear time-varying systems with triangular transition matrices. This new filter is obtained by applying a multistage transformation to decouple the covariances of the KE. It is shown...

The potential in the Information and Computer Technology (ICT) sector to generate economic development and create pathways for a region into the Knowledge Economy (KE) has become widely accepted. Underpinning the theoretical understanding of what KE can offer has been the practical application of Porter’s competitive theory relating to industry cluster development. The increasing role of cluste...

In this paper, we describe the implementation of (yet another) proof assistant and/or automated pedagogic tool. This one is based on the calculus KE and our Prolog implementation of free variable KE. The new system is written in LPA MacProlog TM , and features an interactive interface via menus, dialogues and graphics tools, a graphics window for constructing and displaying proofs, and on-and o...

Yvonne Mery is Instructional Design Librarian and Jill Newby is Associate Librarian at University of Arizona Libraries; e-mail: [email protected], [email protected]. Ke Peng is Assistant Professor in Asian Studies at Western Kentucky University; e-mail: [email protected]. © 2012 Yvonne Mery, Jill Newby, and Ke Peng, Attribution-NonCommercial (http://creativecommons.org/licens...

To obtain improved parton densities of the proton, we present a new global analysis of deep inelastic and related data including, in particular, the recent measurements of F2 at HERA, of the asymmetry of the rapidity distributions of W production at the FNAL pp̄ collider and of the asymmetry in Drell-Yan production in pp and pn collisions. We also incorporate data to determine the flavour depend...

Background Those with single ventricle circulations often have a normal ventricular volumetric ejection fraction (VV EF) which is not in keeping with their symptoms and prognosis. Recently four-dimensional flow (4Dflow) magnetic resonance imaging (MRI) has been used to extract parameters of intra-cardiac kinetic energy (KE). There has been recent interest in measuring ventricular KE in health a...

The numerical solution of transferable differential-algebraic equations (DAE’s) by implicit Runge–Kutta methods (IRK) is studied. If the matrix of coefficients of an IRK is nonsingular then the arising systems of nonlinear equations are uniquely solvable. These methods are proved to be stable if an additional contractivity condition is satisfied. For transferable DAE’s with smooth solution we g...