Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 30 of 39
Full-Text Articles in Social and Behavioral Sciences
Deletion Of Abca7 Increases Cerebral Amyloid-Β Accumulation In The J20 Mouse Model Of Alzheimer's Disease, Woojin S. Kim, Hongyun Li, Kalani Ruberu, Sharon Chan, David A. Elliott, Jac Kee Low, David Cheng, Tim Karl, Brett Garner
Deletion Of Abca7 Increases Cerebral Amyloid-Β Accumulation In The J20 Mouse Model Of Alzheimer's Disease, Woojin S. Kim, Hongyun Li, Kalani Ruberu, Sharon Chan, David A. Elliott, Jac Kee Low, David Cheng, Tim Karl, Brett Garner
Faculty of Science, Medicine and Health - Papers: part A
ATP-binding cassette transporter A7 (ABCA7) is expressed in the brain and has been detected in macrophages, microglia, and neurons. ABCA7 promotes efflux of lipids from cells to apolipoproteins and can also regulate phagocytosis and modulate processing of amyloid precursor protein (APP) to generate the Alzheimer's disease (AD) amyloid-β (Aβ) peptide. Genome-wide association studies have indicated that ABCA7 single nucleotide polymorphisms confer increased risk for late-onset AD; however, the role that ABCA7 plays in the brain in the AD context is unknown. In the present study, we crossed ABCA7-deficient (A7-/-) mice with J20 amyloidogenic mice to address this issue. We show …
An Emotion Regulation Model Of Substance Misuse, Genevieve A. Dingle, Julie D. Henry, Alithea Taylor, Peter Kelly
An Emotion Regulation Model Of Substance Misuse, Genevieve A. Dingle, Julie D. Henry, Alithea Taylor, Peter Kelly
Faculty of Social Sciences - Papers (Archive)
Abstract presented at the Australasian Professional Society on Alcohol and other Drugs Conference 2013, 24-27 November 2013, Brisbane, Australia
A Physiologically Plausible Spatiotemporal Model Of Bold Allows Deconvolution Of Hemodynamic And Neuron Response Components, K M. Aquino, Mark M. Schira, P A. Robinson, Michael Breakspear
A Physiologically Plausible Spatiotemporal Model Of Bold Allows Deconvolution Of Hemodynamic And Neuron Response Components, K M. Aquino, Mark M. Schira, P A. Robinson, Michael Breakspear
Faculty of Social Sciences - Papers (Archive)
Abstract presented at the Australian Neuroscience Society Inc 33rd Annual Meeting, 3-6 Feb 2013, Melbourne, Australia
A General Performance Model For Mac Layer Cooperative Retransmission Contention Protocols, Brett Hagelstein, Mehran Abolhasan, Daniel Franklin, Farzad Safaei
A General Performance Model For Mac Layer Cooperative Retransmission Contention Protocols, Brett Hagelstein, Mehran Abolhasan, Daniel Franklin, Farzad Safaei
Faculty of Engineering and Information Sciences - Papers: Part A
Cooperative retransmission schemes can significantly improve transmission reliability and performance over high loss and time-varying links. However, analytically comparing performance between retransmission strategies is challenging and generally requires simplistic assumptions. This paper presents a general model for the performance of distributed, slot-based contention algorithms for opportunistic decode and forward retransmission algorithms. The model is independent of specific modulation or coding schemes and may be adapted to suit state-based transmission probability models. The model is validated through QualNet simulations.
Agency In Transport Service: Implications Of Traveller Mode Choice Objective And Latent Attributes Using Random Parameter Logit Model, Ahm Mehbub Anwar, A Kiet Tieu, Peter Gibson, Khin Than Win, Matthew J. Berryman
Agency In Transport Service: Implications Of Traveller Mode Choice Objective And Latent Attributes Using Random Parameter Logit Model, Ahm Mehbub Anwar, A Kiet Tieu, Peter Gibson, Khin Than Win, Matthew J. Berryman
Faculty of Engineering and Information Sciences - Papers: Part A
This paper explains how principal-agent theory (PAT) can be used as an analytical tool to understand the traveller-Transport for NSW relationship and minimise the agency uncertainty in the relationship by examining traveller preferences for mode choices. The paper emphasises latent variables and objective attributes together during the choice process within the agency relationship, as a method by which the utility of the principal (traveller) can be maximised and evaluated using a discrete choice experiment, i.e. random parameter logit (RPL) model. The probability of car useis significantly higher than public transport, which indicates that an agency uncertainty exists in the relationship …
A Density- And Stress-Dependent Elasto-Plastic Model For Sands Subjected To Monotonic Undrained Torsional Shear Loading, G Chiaro, J Koseki, L. I Nalin De Silva
A Density- And Stress-Dependent Elasto-Plastic Model For Sands Subjected To Monotonic Undrained Torsional Shear Loading, G Chiaro, J Koseki, L. I Nalin De Silva
Faculty of Engineering and Information Sciences - Papers: Part A
A density- and stress-dependent elasto-plastic model for saturated sands undergoing monotonic undrained torsional shear loading is presented in this paper. The model is developed under an extended general hyperbolic equation (GHE) approach, in which the void ratio and stress level dependence upon stress-strain response of sand is incorporated. Most importantly, a state-dependent stress-dilatancy relationship is introduced to account for the effect of density on the stress ratio. Such a stress-dilatancy relation is used for modeling the excess pore water pressure generation in undrained shear conditions as the mirror effect of volumetric change in drained shear conditions. In this paper, details …
Quantitative Model For Tunable Microstructure In Magnetic Fept Thin Films By Pulsed Laser Deposition, Igor A. Golovchanskiy, Sergey A. Fedoseev, Alexey V. Pan
Quantitative Model For Tunable Microstructure In Magnetic Fept Thin Films By Pulsed Laser Deposition, Igor A. Golovchanskiy, Sergey A. Fedoseev, Alexey V. Pan
Faculty of Engineering and Information Sciences - Papers: Part A
Pulsed laser deposition (PLD) is employed to fabricate FePt L10 thin films from elemental targets. Dramatic structure variations are obtained by varying the laser frequency while keeping the thickness of the films constant. A new theoretical model based on the mean field approach is proposed, which quantitatively describes the structural changes obtained experimentally. The experiment and the model exhibit the opposite growth development to the trend reported for the modulated flux in the literature. The new model considers different growth rates in the lateral and transverse directions due to different responses of the normal and tangential film surfaces being deposited …
Bayesian Learning And Predictability In A Stochastic Nonlinear Dynamical Model, John Parslow, Noel Cressie, Edward P. Campbell, Emlyn Jones, Lawrence Murray
Bayesian Learning And Predictability In A Stochastic Nonlinear Dynamical Model, John Parslow, Noel Cressie, Edward P. Campbell, Emlyn Jones, Lawrence Murray
Faculty of Engineering and Information Sciences - Papers: Part A
Bayesian inference methods are applied within a Bayesian hierarchical modelling framework to the problems of joint state and parameter estimation, and of state forecasting. We explore and demonstrate the ideas in the context of a simple nonlinear marine biogeochemical model. A novel approach is proposed to the formulation of the stochastic process model, in which ecophysiological properties of plankton communities are represented by autoregressive stochastic processes. This approach captures the effects of changes in plankton communities over time, and it allows the incorporation of literature metadata on individual species into prior distributions for process model parameters. The approach is applied …
Butyrate-Producing Clostridium Cluster Xiva Species Specifically Colonize Mucins In An In Vitro Gut Model, Pieter Van Den Abbeele, Clara Belzer, Margot Goossens, Michiel Kleerebezem, William M. De Vos, Olivier Thas, Rosemarie De Weirdt, Frederiek-Maarten Kerckhof, Tom Van De Wiele
Butyrate-Producing Clostridium Cluster Xiva Species Specifically Colonize Mucins In An In Vitro Gut Model, Pieter Van Den Abbeele, Clara Belzer, Margot Goossens, Michiel Kleerebezem, William M. De Vos, Olivier Thas, Rosemarie De Weirdt, Frederiek-Maarten Kerckhof, Tom Van De Wiele
Faculty of Engineering and Information Sciences - Papers: Part A
The human gut is colonized by a complex microbiota with multiple benefits. Although the surface-attached, mucosal microbiota has a unique composition and potential to influence human health, it remains difficult to study in vivo. Therefore, we performed an in-depth microbial characterization (human intestinal tract chip (HITChip)) of a recently developed dynamic in vitro gut model, which simulates both luminal and mucosal gut microbes (mucosal-simulator of human intestinal microbial ecosystem (M-SHIME)). Inter-individual differences among human subjects were confirmed and microbial patterns unique for each individual were preserved in vitro. Furthermore, in correspondence with in vivo studies, Bacteroidetes and Proteobacteria were enriched …
Validation Of An Imrt Beam Model Using A Secondary Treatment Planning System As A 3d Dosimeter, A Xing, S Arumugam, L Holloway, G Goozee
Validation Of An Imrt Beam Model Using A Secondary Treatment Planning System As A 3d Dosimeter, A Xing, S Arumugam, L Holloway, G Goozee
Faculty of Engineering and Information Sciences - Papers: Part A
A treatment planning system IMRT beam model is usually validated using phantom-based measurement, however this will not detect errors related to patient anatomy and inhomogeneity. In this study a secondary treatment system (CMS XIO) was used as a 3D dosimeter to verify an IMRT beam model recently commissioned in a Philips Pinnacle treatment planning system. Data sets from three head-neck and two prostate patients previously treated were utilised. The IMRT plans for these patients were planned in Pinnacle and transferred to XIO. The dose at each voxel in the patient volume was calculated in both XIO and Pinnacle. The 2D …
A Simple Model To Extend 1-D Hydraulics To 3-D Hydraulics, Shu-Qing Yang
A Simple Model To Extend 1-D Hydraulics To 3-D Hydraulics, Shu-Qing Yang
Faculty of Engineering and Information Sciences - Papers: Part A
the core of fluid mechanics is the study of friction on a solid/liquid interface, the friction force can be divided into skin friction and form drag. Nikuradse's experiments reveal that the friction factor depends on the Reynolds number (Re) and relative roughness (r), this observation implies the co-existence of skin friction and form drag, but the definitions of Re and r given by Nikuradse cannot be linked with the skin friction and form drag, this leads to the invalidity of existing theory to predict the friction factor in a complex flow, like a channel flow with vegetation. To establish a …
Leakage Resilient Authenticated Key Exchange Secure In The Auxiliary Input Model, Guomin Yang, Yi Mu, Willy Susilo, Duncan S. Wong
Leakage Resilient Authenticated Key Exchange Secure In The Auxiliary Input Model, Guomin Yang, Yi Mu, Willy Susilo, Duncan S. Wong
Faculty of Engineering and Information Sciences - Papers: Part A
Authenticated key exchange (AKE) protocols allow two parties communicating over an insecure network to establish a common secret key. They are among the most widely used cryptographic protocols in practice. In order to resist key-leakage attacks, several leakage resilient AKE protocols have been proposed recently in the bounded leakage model. In this paper, we initiate the study on leakage resilient AKE in the auxiliary input model. A promising way to construct such a protocol is to use a digital signature scheme that is entropically-unforgeable under chosen message and auxiliary input attacks. However, to date we are not aware of any …
The Actiotope Model Of Giftedness: A Short Introduction To Some Central Theoretical Assumptions, Albert Ziegler, Wilma Vialle, Bastian Wimmer
The Actiotope Model Of Giftedness: A Short Introduction To Some Central Theoretical Assumptions, Albert Ziegler, Wilma Vialle, Bastian Wimmer
Faculty of Social Sciences - Papers (Archive)
Scenario 1: Favela Rocinha in the south of Rio de Janeiro. Little Carlos is sitting on three piled-up tyres. The four chairs around the only table in the wooden hut are occupied by his oldest brother and his friend playing cards together. Scenario 2: 155th street, Holocombe Rucker Playground, in the middle of a neighborhood in the poorest part of Harlem. Mike, aged eight, is dreaming of doing one 'slam dunk' after another some day during the 'Rucker', the world's most famous street basketball tournament. Scenario 3: The room of Lian, a third-grade pupil. She's going to do a mathematics …
Smoking Mull: A Grounded Theory Model On The Dynamics Of Combined Tobacco And Cannabis Use Among Men, A Banbury, Avigdor Zask, Stacy M. Carter, Eric Van Beurden, R Tokley, Megan Passey, Jan Copeland
Smoking Mull: A Grounded Theory Model On The Dynamics Of Combined Tobacco And Cannabis Use Among Men, A Banbury, Avigdor Zask, Stacy M. Carter, Eric Van Beurden, R Tokley, Megan Passey, Jan Copeland
Faculty of Social Sciences - Papers (Archive)
Issue addressed Australians' use of cannabis has been increasing. Over a third of Australians (35.4%) have used cannabis at some time in their lives and 10.3% are recent users. Almost two‐thirds of cannabis users combine cannabis with tobacco. The aim of this study was to understand the process of mulling - smoking tobacco and cannabis together - using a grounded theory approach. Methods Twenty‐one in‐depth semistructured interviews were conducted with men aged 25-34 and living on the North Coast of New South Wales. Interviews explored participants' smoking practices, histories and cessation attempts. Results A model describing mulling behaviour and the …
The Potent M1 Receptor Allosteric Agonist Gsk1034702 Improves Episodic Memory In Humans In The Nicotine Abstinence Model Of Cognitive Dysfunction, Pradeep J. Nathan, Jeannette Watson, Jesper Lund, Ceri H. Davies, Gary Peters, Chris M. Dodds, Bridget Swirski, Philip Lawrence, Graham D. Bentley, Barry V. O'Neill, Jon Robertson, Stephen Watson, Gareth A. Jones, Paul Maruff, Rodney J. Croft, Marc Laruelle, Edward T. Bullmore
The Potent M1 Receptor Allosteric Agonist Gsk1034702 Improves Episodic Memory In Humans In The Nicotine Abstinence Model Of Cognitive Dysfunction, Pradeep J. Nathan, Jeannette Watson, Jesper Lund, Ceri H. Davies, Gary Peters, Chris M. Dodds, Bridget Swirski, Philip Lawrence, Graham D. Bentley, Barry V. O'Neill, Jon Robertson, Stephen Watson, Gareth A. Jones, Paul Maruff, Rodney J. Croft, Marc Laruelle, Edward T. Bullmore
Faculty of Social Sciences - Papers (Archive)
Episodic memory deficits are a core feature of neurodegenerative disorders. Muscarinic M1 receptors play a critical role in modulating learning and memory and are highly expressed in the hippocampus. We examined the effect of GSK1034702, a potent M1 receptor allosteric agonist, on cognitive function, and in particular episodic memory, in healthy smokers using the nicotine abstinence model of cognitive dysfunction. The study utilized a randomized, double-blind, placebo-controlled, cross-over design in which 20 male nicotine abstained smokers were tested following single doses of placebo, 4 and 8 mg GSK1034702. Compared to the baseline (nicotine on-state), nicotine abstinence showed statistical significance in …
Model Medication Management Process In Australian Nursing Homes Using Business Process Modeling, Siyu Qian, Ping Yu
Model Medication Management Process In Australian Nursing Homes Using Business Process Modeling, Siyu Qian, Ping Yu
Faculty of Engineering and Information Sciences - Papers: Part A
One of the reasons for end user avoidance or rejection to use health information systems is poor alignment of the system with healthcare workflow, likely causing by system designers' lack of thorough understanding about healthcare process. Therefore, understanding the healthcare workflow is the essential first step for the design of optimal technologies that will enable care staff to complete the intended tasks faster and better. The often use of multiple or "high risk" medicines by older people in nursing homes has the potential to increase medication error rate. To facilitate the design of information systems with most potential to improve …
Managing Grant Publication Mandates: An Interoperable, Implementation Model, Michael Organ, Ann O'Hea
Managing Grant Publication Mandates: An Interoperable, Implementation Model, Michael Organ, Ann O'Hea
Senior Deputy Vice-Chancellor and Deputy Vice-Chancellor (Education) - Papers
How do we measure performance? How do we report it? For universities, performance can be measured in a variety of ways - the number of students enrolled, the number of graduates, theses completions, research grant funding obtained, research outputs in the form of publications, prestige attained by staff and the institution as a whole, and reputation. Some of these performance measures are easily quantifiable, others less so, e.g. prestige and reputation. And of course performance measurement regimes change with time, such that what was considered an appropriate measure at one time may be deemed no longer relevant or even desirable. …
A High Performance Peer To Cloud And Peer Model Augmented With Hierarchical Secure Communications, Zhe Sun, Jun Shen
A High Performance Peer To Cloud And Peer Model Augmented With Hierarchical Secure Communications, Zhe Sun, Jun Shen
Faculty of Engineering and Information Sciences - Papers: Part A
This paper presents a secure storage model named Peer to Cloud and Peer (P2CP). P2CP uses the cloud storage system as a backbone storage system. However, when data transmission occurs, the data nodes, cloud user, and the non-cloud user are involved to complete the transaction all together. The users, typically the client peers, can communicate with each other directly, thus bypassing servers on the cloud. Similarly, cloud servers can communicate with each other in a P2P mode. We also introduce a "hierarchy security" method to guarantee the data security in the proposed P2CP storage model. A key feature of our …
An Adaptive Bilateral Negotiation Model Based On Bayesian Learning, Chao Yu, Fenghui Ren, Minjie Zhang
An Adaptive Bilateral Negotiation Model Based On Bayesian Learning, Chao Yu, Fenghui Ren, Minjie Zhang
Faculty of Engineering and Information Sciences - Papers: Part A
Endowing the negotiation agent with a learning ability such that a more beneficial agreement might be obtained is increasingly gaining attention in agent negotiation research community. In this paper, we propose a novel bilateral negotiation model based on Bayesian learning to enable self-interested agents to adapt negotiation strategies dynamically during the negotiation process. Specifically, we assume that two agents negotiate over a single issue based on time-dependent tactic. The learning agent has a belief about the probability distribution of its opponent's negotiation parameters (i.e., the deadline and reservation offer). By observing opponent's historical offers and comparing them with the fitted …
Radial Consolidation Model Incorporating The Effects Of Vacuum Preloading And Non-Darcian Flow, Kourosh Kianfar, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Radial Consolidation Model Incorporating The Effects Of Vacuum Preloading And Non-Darcian Flow, Kourosh Kianfar, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Faculty of Engineering and Information Sciences - Papers: Part A
A modified 150 mm Rowe cell equipped with pore water pressure measurement was used to capture the flow relationship during vacuum-assisted radial consolidation. Based on the measured data, a radial consolidation model incorporating the effects of vacuum preloading is proposed, based on a non-linear relationship between the flow velocity and hydraulic gradient. The predictions of the proposed consolidation model are then compared with the predictions based on Hansbo’s Darcian and non- Darcian models. The agreement between the proposed model and the measured data is shown, and the advantages of the proposed model compared with the existing models are discussed. An …
Parameter Identification Study Of Frequency Response Data For A Trilayer Conjugated Polymer Actuator Displacement Model, Emmanuel D. Blanchard, Mitchell J. Smith, Chuc H. Nguyen
Parameter Identification Study Of Frequency Response Data For A Trilayer Conjugated Polymer Actuator Displacement Model, Emmanuel D. Blanchard, Mitchell J. Smith, Chuc H. Nguyen
Faculty of Engineering and Information Sciences - Papers: Part A
This article investigates the effect of three uncertain parameters on a model of conjugated polymer actuators. These uncertain parameters are the diffusion coefficient (D), the resistance (R), and the double-layer WKLFNQHVV / 7KH PRGHO VHQVLWLvity to these parameters is analyzed and a parameter estimation study is performed using artificially generated data as well as laboratory yielded experimental measurements. The parameter estimation method used in this article is based on a Bayesian cost function, and gives us an insight on how much the estimation can be trusted, which is useful information for the design of controllers. Results indicate that for stochastic …
Choosing An Optimal Model For Failure Data Analysis By Graphical Approach, Tieling Zhang, Richard Dwight
Choosing An Optimal Model For Failure Data Analysis By Graphical Approach, Tieling Zhang, Richard Dwight
Faculty of Engineering and Information Sciences - Papers: Part A
Many models involving combination of multiple Weibull distributions, modification of Weibull distribution or extension of its modified ones, etc. have been developed to model a given set of failure data. The application of these models to modeling a given data set can be based on plotting the data on Weibull probability paper (WPP). Of them, two or more models are appropriate to model one typical shape of the fitting plot, whereas a specific model may be fit for analyzing different shapes of the plots. Hence, a problem arises, that is how to choose an optimal model for a given data …
An Investigation On The Impacts Of Density Currents On The Sedimentation In Dam Reservoirs Using Tcm Model; Case Study: Maroon Dam, Farhad Fakheri Raof, Mohammad Hossein Naghshine, Ali Khoshrftar
An Investigation On The Impacts Of Density Currents On The Sedimentation In Dam Reservoirs Using Tcm Model; Case Study: Maroon Dam, Farhad Fakheri Raof, Mohammad Hossein Naghshine, Ali Khoshrftar
Faculty of Engineering and Information Sciences - Papers: Part A
Sedimentation in dams' reservoirs is one of the most pressing concerns facing dams today. Maroon reservoir dam, located in Khuzestan Province, is one of the most important dams in this region. Since it is a new constructed dam, numerical simulation of sedimentation trend in its reservoirs could significantly help on a better utilization. To this end, TCM model which is capable to simulate density currents was used. The obtained results show that the dam loses about 91 million m3 of its reservoirs during a 50-year exploitation period.
Dm Model Transformations Framework, S Othman, G Beydoun, Rodney Clarke, S Opper
Dm Model Transformations Framework, S Othman, G Beydoun, Rodney Clarke, S Opper
Faculty of Engineering and Information Sciences - Papers: Part A
Metamodelling produces a 'metamodel' capable of generalizing the domain. A metamodel gathers all domain concepts and their relationships. It enables partitioning a domain problem into sub-problems. Decision makers can then develop a variety of domain solutions models based on mixing and matching solutions for sub-problems indentified using the metamodel. A repository of domain knowledge structured using the metamodel would allow the transformation of models generated from a higher level to a lower level according to scope of the problem on hand. In this paper, we reveal how a process of mixing and matching disaster management actions can be accomplished using …
Developing Galleria Mellonella As A Model Host For Human Pathogens, Simon M. Cook, Jason D. Mcarthur
Developing Galleria Mellonella As A Model Host For Human Pathogens, Simon M. Cook, Jason D. Mcarthur
Faculty of Science, Medicine and Health - Papers: part A
The larvae of Galleria mellonella (also known colloquially as the wax worm) is increasingly being used as an infection model to study virulence factors and pathogenesis of many prominent bacterial and fungal human pathogens. When compared with traditional mammalian model hosts, invertebrate infection models are cheaper to establish and maintain, are more amenable to high-throughput studies and are not subjected to the same ethical constraints as vertebrates. In addition to these benefits, G. mellonella larvae possess a number of other characteristics which make these organisms particularly useful for the study of human pathogens. Larvae are relatively large in size (12- …
An Overview Of The Clubhouse Model Of Psychiatric Rehabilitation, Toby Raeburn, Elizabeth Halcomb, Garry Walter, Michelle Cleary
An Overview Of The Clubhouse Model Of Psychiatric Rehabilitation, Toby Raeburn, Elizabeth Halcomb, Garry Walter, Michelle Cleary
Faculty of Science, Medicine and Health - Papers: part A
Objective: The aim of this article is to provide an overview of the clubhouse model and its capacity to assist people with severe mental illness. Method: The paper uses a sample vignette (with all identifying information removed) and survey of literature describing clubhouses over the last 15 years. Results: Strengths of the clubhouse model include its ability to provide a safe environment, supportive relationships and supported employment activities. Criticisms include its failure to provide onsite psychiatry clinics and a risk of promoting service dependence. Conclusions: Modern clubhouses continue to provide useful models of psychiatric rehabilitation which are popular worldwide. Studying …
Paleoclimate Data-Model Comparison And The Role Of Climate Forcings Over The Past 1500 Years, Steven J. Phipps, Helen V. Mcgregor, Joelle Gergis, Ailie J. E Gallant, Raphael Neukom, Samantha Stevenson, Duncan Ackerley, Josephine R. Brown, Matt J. Fischer, Tas D. Van Ommen
Paleoclimate Data-Model Comparison And The Role Of Climate Forcings Over The Past 1500 Years, Steven J. Phipps, Helen V. Mcgregor, Joelle Gergis, Ailie J. E Gallant, Raphael Neukom, Samantha Stevenson, Duncan Ackerley, Josephine R. Brown, Matt J. Fischer, Tas D. Van Ommen
Faculty of Science, Medicine and Health - Papers: part A
The past 1500 years provide a valuable opportunity to study the response of the climate system to external forcings. However, the integration of paleoclimate proxies with climate modeling is critical to improving the understanding of climate dynamics. In this paper, a climate system model and proxy records are therefore used to study the role of natural and anthropogenic forcings in driving the global climate. The inverse and forward approaches to paleoclimate data–model comparison are applied, and sources of uncertainty are identified and discussed. In the first of two case studies, the climate model simulations are compared with multiproxy temperature reconstructions. …
Hox Measurements In The Summertime Upper Troposphere Over Europe: A Comparison Of Observations To A Box Model And A 3-D Model, E Regelin, H Harder, M Martinez, D Kubistin, C Tatum Ernest, H Bozem, T Klippel, Z Hosaynali-Beygi, H Fischer, R Sander, P Jockel, R Konigstedt, J Lelieveld
Hox Measurements In The Summertime Upper Troposphere Over Europe: A Comparison Of Observations To A Box Model And A 3-D Model, E Regelin, H Harder, M Martinez, D Kubistin, C Tatum Ernest, H Bozem, T Klippel, Z Hosaynali-Beygi, H Fischer, R Sander, P Jockel, R Konigstedt, J Lelieveld
Faculty of Science, Medicine and Health - Papers: part A
In situ airborne measurements of OH and HO2 with the HORUS (HydrOxyl Radical measurement Unit based on fluorescence Spectroscopy) instrument were performed in the summertime upper troposphere across Europe during the HOOVER 2 (HOx OVer EuRope) campaign in July 2007. Complementary measurements of trace gas species and photolysis frequencies were conducted to obtain a broad data set, which has been used to quantify the significant HOx sources and sinks. In this study we compare the in situ measurement of OH and HO2 with simulated mixing ratios from the constrained box model CAABA/MECCA (Chemistry As A Box Model Application/Module Efficiently Calculating …
Similarity-Based Search For Model Checking: A Pilot Study With Java Pathfinder, Elmin Ibrahimov, Jixing Wang, Zhiquan Zhou
Similarity-Based Search For Model Checking: A Pilot Study With Java Pathfinder, Elmin Ibrahimov, Jixing Wang, Zhiquan Zhou
Faculty of Engineering and Information Sciences - Papers: Part A
When a model checker cannot explore the entire state space because of limited resources, model checking becomes a kind of testing with an attempt to find a failure (violation of properties) quickly. We consider two state sequences in model checking: (i) the sequence in which new states are generated, and (ii) the sequence in which the states generated in sequence (i) are checked for property violation. We observe that neighboring states in sequence (i) often have similarities in certain ways. Based on this observation we propose a search strategy, which generates sequence (ii) in such a way that similar states …
On The Weighting Of The Mean-Absolute-Deviation Cost Minimization Model, S Wang, Q Meng, Z Liu
On The Weighting Of The Mean-Absolute-Deviation Cost Minimization Model, S Wang, Q Meng, Z Liu
Faculty of Engineering and Information Sciences - Papers: Part A
The mean-absolute-deviation cost minimization model, which aims to minimize sum of the mean value and the absolute deviation (AD) of the total cost multiplied by a given non-negative weighting, is one of a number of typical robust optimization models. This paper first uses a straightforward example to show that the solution obtained by this model with some weightings is not actually an optimal decision. This example also illustrates that the mean-absolute-deviation cost minimization model cannot be regarded as the conventional weighted transformation of the relevant multiobjective minimization model aiming to simultaneously minimize the mean value and AD. This paper further …