Morphology changes and mechanistic aspects of the electrochemically-induced reversible solid-solid transformation of microcrystalline TCNQ into Co TCNQ 2-based materials (TCNQ= 7, 7, 8, 8-Tetracyanoquinodimethane)

The chemically reversible solid−solid phase transformation of a TCNQ-modified glassy carbon, indium tin oxide, or metal electrode into Co\[TCNQ]2(H2O)2 material in the presence of Co2+(aq) containing electrolytes has been induced and monitored electrochemically. Voltammetric data reveal that the TCNQ/Co\[TCNQ]2(H2O)2 interconversion process is independent of electrode material and identity of cobalt electrolyte anion. However, a marked dependence on electrolyte concentration, scan rate, and method of electrode modification (drop casting or mechanical attachment) is found. Cyclic voltammetric and double potential step chronoamperometric measurements confirm that formation of Co\[TCNQ]2(H2O)2 occurs through a rate-determining nucleation and growth process that initially involves incorporation of Co2+(aq) ions into the reduced TCNQ crystal lattice at the TCNQ|electrode|electrolyte interface. Similarly, the reverse (oxidation) process, which involves transformation of solid Co\[TCNQ]2(H2O)2 back to parent TCNQ crystals, also is controlled by nucleation−growth kinetics. The overall chemically reversible process that represents this transformation is described by the reaction:  2TCNQ0(s) + 2e- + Co2+(aq) + 2H2O \[Co(TCNQ)2(H2O)2](s). Ex situ SEM images illustrated that this reversible TCNQ/Co\[TCNQ]2(H2O)2 conversion process is accompanied by drastic size and morphology changes in the parent solid TCNQ. In addition, different sizes of needle-shaped nanorod/nanowire crystals of Co\[TCNQ]2(H2O)2 are formed depending on the method of surface immobilization.

Gifted students with a reading disability : the impact of lived experience

Gifted students who have a reading disability have learning characteristics that set them apart from their peers. The ability to read impacts upon all areas of the formal curriculum in which print-based texts are common. Therefore, the full intellectual development of gifted students with a reading disability can be repressed because their access to learning opportunities is reduced. When the different learning needs caused by concomitant giftedness and reading disability are not met, it can have serious implications for both academic achievement and the social-emotional wellbeing of these students. In order to develop a deeper understanding of this vulnerable group of students, this study investigated the learning characteristics of gifted students with a reading disability. Furthermore, it investigated how the learning characteristics of these students impact upon their lived experiences. Since achievement and motivation have been shown to be closely linked to self-efficacy, self-efficacy theory underpinned the conceptual framework of the study. The study used a descriptive case study approach to document the lived experiences of gifted students with a reading disability. Nine participants aged between 11 and 18, who were formally identified as gifted with a reading disability, took part in the study. Data sources in the case study database included: cognitive assessments, such as WISC assessments, Stanford Binet 5, or the Raven's Standard Progressive Matrices; the WIAT II reading assessment; the Reader Self-Perception Scale; document reviews; parent and teacher checklists designed to gain information about the students' learning characteristics; and semi-structured interviews with students. The study showed that gifted students with a reading disability display a complex profile of learning strengths and weaknesses. As a result, they face a daily struggle of trying to reconcile the confusion of being able to complete some tasks to a high level, while struggling to read. The study sheds light on the myriad of issues faced by the students at school. It revealed that when the particular learning characteristics and needs of gifted students with a reading disability are recognised and met, these students can experience academic success, and avoid the serious social-emotional complications cited in previous studies. Indeed, rather than suffering from depression, disengagement from learning, and demotivation, these students were described as resilient, independent, determined, goal oriented and motivated to learn and persevere. Notably, the students in the study had developed effective coping strategies for dealing with the daily challenges they faced. These strategies are outlined in the thesis together with the advice students offered for helping other gifted students with a reading disability to succeed. Their advice is significant for all teachers who wish to nurture the potential of those students who face the challenge of being gifted with a reading disability, and for the parents of these students. This research advances knowledge pertaining to the theory of self-efficacy, and self-efficacy in reading specifically, by showing that although gifted students with a reading disability have low self-efficacy, the level is not the same for all aspects of reading. Furthermore, despite low self-efficacy in reading these students remained motivated. The study also enhances existing knowledge in the areas of gifted education and special education because it documents the lived experience of gifted students with a specific learning disability in reading from the students' perspectives. Based on a synthesis of the literature and research findings, an Inclusive Pathway Model is proposed that describes a framework to support gifted students with a reading disability so that they might achieve, and remain socially and emotionally well-adjusted. The study highlights the importance of clear identification protocols (such as the use of a range of assessment sources, discussions with students and parents, and an awareness of the characteristics of gifted students with a reading disability) and support mechanisms for assisting students (for example, differentiated reading instruction and the use of assistive technology).

Dynamic weaving in aspect oriented business process management

Reducing complexity in Information Systems is an important topic in both research and industry. One strategy to deal with complexity is separation of concerns, which results in less complex, easily maintainable and more reusable systems. Separation of concerns can be addressed through the Aspect Oriented paradigm. Although this paradigm has been well researched in programming, it is still at the preliminary stage in the area of Business Process Management. While some efforts have been made to extend business process modelling with aspect oriented capability, it has not yet been investigated how aspect oriented business process models should be executed at runtime. In this paper, we propose a generic solution to support execution of aspect oriented business process models based on the principle behind dynamic weaving of aspects. This solution is formally specified using Coloured Petri Nets. The resulting formal specification serves as the blueprint to the implementation of a service module in the framework of a state-of-the-art Business Process Management System. Using this developed artefact, a case study is performed in which two simplified processes from real business in the domain of banking are modelled and executed in an aspect oriented manner. Through this case study, we also demonstrate that adoption of aspect oriented modularization increases the reusability while reducing the complexity of business process models in practice.

Professionalizing Business Process Management : towards a Body of Knowledge for BPM

Business Process Management (BPM) is rapidly evolving as an established discipline. There are a number of efforts underway to formalize the various aspects of BPM practice; creating a formal Body of Knowledge (BoK) is one such effort. Bodies of knowledge are artifacts that have a proven track record for accelerating the professionalization of various disciplines. In order for this to succeed in BPM, it is vital to involve the broader business process community and derive a BoK that has essential characteristics that addresses the discipline’s needs. We argue for the necessity of a comprehensive BoK for the BPM domain, and present a core list of essential features to consider when developing a BoK based on preliminary empirical evidence. The paper identifies and critiques existing Bodies of Knowledge related to BPM, and firmly calls for an effort to develop a more accurate and sustainable BoK for BPM. An approach for this effort is presented with preliminary outcomes.

Electrochemical and photochemical routes to semiconducting transition metal-tetracyanoquinodimethane coordination polymers

TCNQ·− radical anions (TCNQ = 7,7,8,8,-tetracyanoquinodimethane) form a wide range of semiconducting coordination polymers when coordinated to transition metals. Some such as CuTCNQ and AgTCNQ exhibit molecular switching and memory storage properties; others have intriguing magnetic properties and for example may behave as molecular magnets at low temperature. In this review, the electro- and photo-chemical synthesis and characterization of this important class of material is reviewed. In particular, the electrochemistry and the redox properties of TCNQ derivatives of coordination polymers based on Cu, Ag, Mn, Fe, Co, Ni, Zn and Cd transition metals are surveyed, with an emphasis on the mechanistic aspects of their electrochemical formation via nucleation–growth processes. Given that TCNQ is an extremely good electron acceptor, readily forming TCNQ•− and TCNQ2-, electrochemical reduction of TCNQ in the presence of a transition metal ion provides an ideal method for synthesis of metal-TCNQ materials by electrocrystallization from organic solvents and ionic liquids or solid-solid transformation using TCNQ modified electrodes from aqueous media containing transition metal electrolytes. The significance of the reversible formal potential (E0f) in these studies is discussed. The coupling of electrocrystallisation on electrode surfaces and microscopic characterization of the electrodeposited materials reveals a wide range of morphologies and phases which strongly influence their properties and applications. Since TCNQ also can be photo-reduced in the presence of suitable electron donors, analogous photochemical approaches to the synthesis of TCNQ-transition metal derivatives are available. The advantages of electrochemical and photochemical methods of synthesis relative to chemical synthesis are outlined.

The construction of parents as learners about pre-school children’s development

The concept of the lifelong learner—the idea that people should be active learners throughout the lifespan—has since the 1990s gained importance in public policy. Governments in relatively wealthy countries have made the argument that the economic future of nations is tied to the ongoing participation of citizens in learning opportunities that will assist them to participate fully in society and increase their chances of employment in changing workforce conditions. More recently, policy attention has focused on the other end of the lifespan, the first years of life. With the early years now recognised as crucial for later educational success, policy attention has also focused on the importance of parenting in the early years. In the UK and Australia, for example, the effects of state interventions to facilitate ‘good parenting’ and pre-school children’s ‘readiness’ for formal schooling have been felt in a range of settings including community health services, the home and the pre-school (Gillies, 2005; Nichols & Jurvansuu, 2008; Millei & Lee, 2007; Vincent, Ball & Braun, 2010). In Australia, government policy has explicitly proposed a model of parenting as a learning process, and has urged people to cultivate their identities as learners in order to carry out their responsibilities as parents. In part the policy objectives have been to support parents to ensure that all children get a healthy and successful start to life...

Mathematical investigation of the interactions between the inflammatory response and mechanical aspects of dermal wound repair

Dermal wound repair involves complex interactions between cells, cytokines and mechanics to close injuries to the skin. In particular, we investigate the contribution of fibroblasts, myofibroblasts, TGFβ, collagen and local tissue mechanics to wound repair in the human dermis. We develop a morphoelastic model where a realistic representation of tissue mechanics is key, and a fibrocontractive model that involves a reasonable approximation to the true kinetics of the important bioactive species. We use each of these descriptions to elucidate the mechanisms that generate pathologies such as hypertrophic scars, contractures and keloids. We find that for hypertrophic scar and contracture development, factors regulating the myofibroblast phenotype are critical, with heightened myofibroblast activation, reduced myofibroblast apoptosis or prolonged inflammation all predicted as mediators for scar hypertrophy and contractures. Prevention of these pathologies is predicted when myofibroblast apoptosis is induced, myofibroblast activation is blocked or TGFβ is neutralised. To investigate keloid invasion, we develop a caricature representation of the fibrocontractive model and find that TGFβ spread is the driving factor behind keloid growth. Blocking activation of TGFβ is found to cause keloid regression. Thus, we recommend myofibroblasts and TGFβ as targets for clinicians when developing intervention strategies for prevention and cure of fibrotic scars.

Formal analysis of security properties in trusted computing protocols

This research introduces a general methodology in order to create a Coloured Petri Net (CPN) model of a security protocol. Then standard or user-defined security properties of the created CPN model are identified. After adding an attacker model to the protocol model, the security property is verified using state space method. This approach is applied to analyse a number of trusted computing protocols. The results show the applicability of proposed method to analyse both standard and user-defined properties.

Working together-apart : exploring the relationships between formal and informal care networks for people dying at home

Introduction Informal caring networks contribute significantly to end-of-life (EOL) care in the community. However, to ensure that these networks are sustainable, and unpaid carers are not exploited, primary carers need permission and practical assistance to gather networks together and negotiate the help they need. Our aim in this study was to develop an understanding of how formal and informal carers work together when care is being provided in a dying person's home. We were particularly interested in formal providers’ perceptions and knowledge of informal networks of care and in identifying barriers to the networks working together. Methods Qualitative methods, informed by an interpretive approach, were used. In February-July 2012, 10 focus groups were conducted in urban, regional, and rural Australia comprising 88 participants. Findings Our findings show that formal providers are aware, and supportive, of the vital role informal networks play in the care of the dying at home. A number of barriers to formal and informal networks working together more effectively were identified. In particular, we found that the Australian policy of health-promoting palliative is not substantially translating to practice. Conclusion Combinations of formal and informal caring networks are essential to support people and their primary carers. Formal service providers do little to establish, support, or maintain the informal networks although there is much goodwill and scope for them to do so. Further re-orientation towards a health-promoting palliative care and community capacity building approach is suggested.

Security analysis of Australian and E.U. e-passport implementation

This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation and identify new threats when an e-passport system is integrated with an automated processing system like SmartGate. The paper also provides a security analysis of the European Union (EU) proposal for Extended Access Control (EAC) that is intended to provide improved security in protecting biometric information of the e-passport bearer. The current e-passport specification fails to provide a list of adequate security goals that could be used for security evaluation. We fill this gap; we present a collection of security goals for evaluation of e-passport protocols. Our analysis confirms existing security weaknesses that were previously identified and shows that both the Australian e-passport implementation and the EU proposal fail to address many security and privacy aspects that are paramount in implementing a secure border control mechanism. ACM Classification C.2.2 (Communication/Networking and Information Technology – Network Protocols – Model Checking), D.2.4 (Software Engineering – Software/Program Verification – Formal Methods), D.4.6 (Operating Systems – Security and Privacy Protection – Authentication)

Part 1 MOO methods for multidisciplinary design using parallel evolutionary algorithms, game theory and hierarchical topology. (Part 1.) Theoretical aspects

Two lecture notes describe recent developments of evolutionary multi objective optimization (MO) techniques in detail and their advantages and drawbacks compared to traditional deterministic optimisers. The role of Game Strategies (GS), such as Pareto, Nash or Stackelberg games as companions or pre-conditioners of Multi objective Optimizers is presented and discussed on simple mathematical functions in Part I , as well as their implementations on simple aeronautical model optimisation problems on the computer using a friendly design framework in Part II. Real life (robust) design applications dealing with UAVs systems or Civil Aircraft and using the EAs and Game Strategies combined material of Part I & Part II are solved and discussed in Part III providing the designer new compromised solutions useful to digital aircraft design and manufacturing. Many details related to Lectures notes Part I, Part II and Part III can be found by the reader in [68].

Formal security analysis of Australian e-passport implementation

This paper provides a detailed description of the current Australian e-passport implementation and makes a formal verification using model checking tools CASPER/CSP/FDR. We highlight security issues present in the current e-passport implementation and identify new threats when an e-passport system is integrated with an automated processing systems like SmartGate. Because the current e-passport specification does not provide adequate security goals, to perform a rational security analysis we identify and describe a set of security goals for evaluation of e-passport protocols. Our analysis confirms existing security issues that were previously informally identified and presents weaknesses that exists in the current e-passport implementation.

Non-formal techniques for early assessment of design ideas for services

Designing systems for multiple stakeholders requires frequent collaboration with multiple stakeholders from the start. In many cases at least some stakeholders lack a professional habit of formal modeling. We report observations from student design teams as well as two case studies, respectively of a prototype for supporting creative communication to design objects, and of stakeholder-involvement in early design. In all observations and case studies we found that non-formal techniques supported strong collaboration resulting in deep understanding of early design ideas, of their value and of the feasibility of solutions.

Practical aspects of frequency-domain identification of dynamic models of marine structures from hydrodynamic data

The motion response of marine structures in waves can be studied using finite-dimensional linear-time-invariant approximating models. These models, obtained using system identification with data computed by hydrodynamic codes, find application in offshore training simulators, hardware-in-the-loop simulators for positioning control testing, and also in initial designs of wave-energy conversion devices. Different proposals have appeared in the literature to address the identification problem in both time and frequency domains, and recent work has highlighted the superiority of the frequency-domain methods. This paper summarises practical frequency-domain estimation algorithms that use constraints on model structure and parameters to refine the search of approximating parametric models. Practical issues associated with the identification are discussed, including the influence of radiation model accuracy in force-to-motion models, which are usually the ultimate modelling objective. The illustration examples in the paper are obtained using a freely available MATLAB toolbox developed by the authors, which implements the estimation algorithms described.

Histories of user-generated content : between formal and informal media economies

Debates about user-generated content (UGC) often depend on a contrast with its normative opposite, the professionally produced content that is supported and sustained by commercial media businesses or public organisations. UGC is seen to appear within or in opposition to professional media, often as a disruptive, creative, change-making force. Our suggestion is to position UGC not in opposition to professional or "producer media", or in hybridised forms of subjective combination with it (the so-called "pro-sumer" or "pro-am" system), but in relation to different criteria, namely the formal and informal elements in media industries. In this article, we set out a framework for the comparative and historical analysis of UGC systems and their relations with other formal and informal media activity, illustrated with examples ranging from games to talkback radio. We also consider the policy implications that emerge from a historicised reading of UGC as a recurring dynamic within media industries, rather than a manifestation of consumer agency specific to digital cultures.