Open Access. Powered by Scholars. Published by Universities.®

Science and Technology Studies Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 11 of 11

Full-Text Articles in Science and Technology Studies

The K-Theory Of Heegaard Quantum Lens Spaces, Piotr M. Hajac, Adam Rennie, Bartosz Zielinski Sep 2015

The K-Theory Of Heegaard Quantum Lens Spaces, Piotr M. Hajac, Adam Rennie, Bartosz Zielinski

Associate Professor Adam Rennie

Representing Z/NZ as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/NZ, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/NZ to construct an associated complex loine bundle. This paper proves the stable non-triviality of these line bundles over any of the quantum lens spaces we consider. We use the pullback structure of the C*-algebra of the lens space to compute its K-theory via the Mayer-Vietoris sequence, and an explicit form of the Bass connecting homomorphism to prove the stable non-triviality of the bundles. On the algebraic …


Membrane Biological Reactors: Theory, Modeling, Design, Management And Applications To Wastewater Reuse, Faisal Hai, Kazou Yamamoto, Chung-Hak Lee Sep 2015

Membrane Biological Reactors: Theory, Modeling, Design, Management And Applications To Wastewater Reuse, Faisal Hai, Kazou Yamamoto, Chung-Hak Lee

Faisal I Hai

Membrane Biological Reactors: Theory, Modeling, Design, Management and Applications to Wastewater Reuse comprehensively covers the salient features and emerging issues associated with the MBR technology. The book provides thorough coverage starting from biological aspects and fundamentals of membranes, via modeling and design concepts, to practitioners’ perspective and good application examples. Membrane Biological Reactors focuses on all the relevant emerging issues raised by including the latest research from renowned experts in the field. It is a valuable reference to the academic and professional community and suitable for undergraduate and postgraduate teaching in Environmental Engineering, Chemical Engineering and Biotechnology.


From Theory To Practice In Rail Geotechnology, B Indraratna, Sanjay Nimbalkar, N Tennakoon, Q D. Sun Mar 2014

From Theory To Practice In Rail Geotechnology, B Indraratna, Sanjay Nimbalkar, N Tennakoon, Q D. Sun

Buddhima Indraratna

In recent times the increase in axle loads and train speeds have posed serious geotechnical issues with ballasted railway tracks, both in Australia and the world. The large deformations and degradation of ballast under cyclic and impact loads, and the low bearing capacity of compacted ballast and impaired drainage often exacerbate track maintenance. In recent times in Australia, geosynthetics have been trialed in ballasted tracks constructed on soft and saturated formations to help improve stability and longevity. Comprehensive field studies on instrumented tracks at Bulli (near Wollongong) and Singleton (near Newcastle) supported by RailCorp and ARTC, were carried out to …


Identity Based Identification From Algebraic Coding Theory, Guomin Yang, Chik How Tan, Yi Mu, Willy Susilo, Duncan S. Wong Mar 2014

Identity Based Identification From Algebraic Coding Theory, Guomin Yang, Chik How Tan, Yi Mu, Willy Susilo, Duncan S. Wong

Professor Willy Susilo

Cryptographic identification schemes allow a remote user to prove his/her identity to a verifier who holds some public information of the user, such as the user public key or identity. Most of the existing cryptographic identification schemes are based on number-theoretic hard problems such as Discrete Log and Factorization. This paper focuses on the design and analysis of identity based identification (IBI) schemes based on algebraic coding theory. We first revisit an existing code-based IBI scheme which is derived by combining the Courtois-Finiasz-Sendrier signature scheme and the Stern zero-knowledge identification scheme. Previous results have shown that this IBI scheme is …


Thinking About The Processes Used When Organisations Select And Evaluate Software: Operationalising Ict Evaluation Theory, Darren Skidmore, Linda Dawson Jan 2014

Thinking About The Processes Used When Organisations Select And Evaluate Software: Operationalising Ict Evaluation Theory, Darren Skidmore, Linda Dawson

Associate Professor Linda Dawson

No abstract provided.


Kk-Theory And Spectral Flow In Von Neumann Algebras, J Kaad, R Nest, Adam C. Rennie Oct 2013

Kk-Theory And Spectral Flow In Von Neumann Algebras, J Kaad, R Nest, Adam C. Rennie

Associate Professor Adam Rennie

We present a definition of spectral flow for any norm closed ideal J in any von Neumann algebra N. Given a path of selfadjoint operators in N which are invertible in N/J, the spectral flow produces a class in Ko(J).Given a semifinite spectral triple (A, H, D) relative to (N, t) with A separable, we construct a class [D] ? KK1(A, K(N)). For a unitary u ? A, the von Neumann spectral flow between D and u*Du is equal to the Kasparov product [u]A[D], and is simply related to the numerical spectral flow, and a refined C*-spectral flow.


Spectral Flow Invariants And Twisted Cyclic Theory For The Haar State On Suq(2), A L. Carey, A Rennie, K Tong Oct 2013

Spectral Flow Invariants And Twisted Cyclic Theory For The Haar State On Suq(2), A L. Carey, A Rennie, K Tong

Associate Professor Adam Rennie

In [A.L. Carey, J. Phillips, A. Rennie, Twisted cyclic theory and an index theory for the gauge invariant KMS state on Cuntz algebras. arXiv:0801.4605], we presented a K-theoretic approach to finding invariants of algebras with no non-trivial traces. This paper presents a new example that is more typical of the generic situation. This is the case of an algebra that admits only non-faithful traces, namely SUq.2/ and also KMS states. Our main results are index theorems (which calculate spectral flow), one using ordinary cyclic cohomology and the other using twisted cyclic cohomology, where the twisting comes from the generator of …


Spectral Triples: Examples And Index Theory, Alan L. Carey, John Phillips, Adam C. Rennie Oct 2013

Spectral Triples: Examples And Index Theory, Alan L. Carey, John Phillips, Adam C. Rennie

Associate Professor Adam Rennie

The main objective of these notes is to give some intuition about spectral triples and the role they play in index theory. The notes are basically a road map, with much detail omitted. To give a complete account of all the topics covered would require at least a book, so we have opted for a sketch.


Twisted Cyclic Theory, Equivariant Kk-Theory And Kms States, Alan L. Carey, Sergey Neshveyev, R Nest, Adam Rennie Oct 2013

Twisted Cyclic Theory, Equivariant Kk-Theory And Kms States, Alan L. Carey, Sergey Neshveyev, R Nest, Adam Rennie

Associate Professor Adam Rennie

Given a C-algebra A with a KMS weight for a circle action, we construct and compute a secondary invariant on the equivariant K-theory of the mapping cone of AT ,! A, both in terms of equivariant KK-theory and in terms of a semifinite spectral flow. This in particular puts the previously considered examples of Cuntz algebras [10] and SUqð2Þ [14] in a general framework. As a new example we consider the Araki-Woods IIIl representations of the Fermion algebra.


Optimising Layered Integrated Instructional Design Through The Application Of Cognitive Load Theory, Abdallah Alasraj, Mark Freeman, Paul Chandler Oct 2013

Optimising Layered Integrated Instructional Design Through The Application Of Cognitive Load Theory, Abdallah Alasraj, Mark Freeman, Paul Chandler

Dr Mark Freeman

This study examined the effect of cognitive load on knowledge construction through the use of web-based layered integrated instructional design techniques. The premise through using this approach was that it would better facilitate a learner’s schema development. This research focused on how the design of web-based integrated instructional materials can utilise the principles of Cognitive Load Theory (CLT), to optimise the learning process within the university environment for learning models of procedural tasks. The study compared three different layered integrated instructional designs to identify which approach had the greatest benefit on learning outcomes. The procedural task that was used involved …


Eliciting And Specifying Requirements For Highly Interactive Systems Using Activity Theory, Robert B. K. Brown, Peter Hyland, Ian C. Piper Jun 2013

Eliciting And Specifying Requirements For Highly Interactive Systems Using Activity Theory, Robert B. K. Brown, Peter Hyland, Ian C. Piper

Dr Ian Piper

The processes of eliciting user requirements and formalising these into specifications are critical for the success of highly interactive systems. These processes are still poorly understood, partly because current methods are usually ad hoc and lack any theoretical basis. A number of researchers have used Activity Theory (AT) to refine these processes and have met with some success. To date, this approach has been more useful explaining the processes post hoc. This positional paper proposes an AT method for requirement elicitation and specification definition. The method is sufficiently prescriptive and well formed that it does not require any detailed understanding …