Using ordinary multiplication to do relativistic velocity addition

Relativistic addition of velocities in one dimension, though a mainstay of introductory physics, contributes much less physical insight than it could. For such calculations, we propose the use of velocity factors (two-way doppler factors). Velocities can easily, often by inspection, be turned into velocity factors, and vice versa. Velocity factors compose by ordinary multiplication. This simple device considerably extends the kinds of questions that can be asked and answered in an introductory course.Comment: 6 page

Microstructural and Isotopic Constraints on WL Rim Formation

Coordinated microanalyses of Wark-Lovering (WL) rims are needed to best understand their origin and to decipher their subsequent evolution both in the nebular and parent body settings. Here we present the mineralogy, petrology, microstructures, O isotopic compositions, and Al-Mg systematics of a WL rim on a Type B CAI, Big Guy, from the reduced CV3 chondrite Vigarano [1]. Our SEM and TEM study reveals seven distinct mineral layers in the WL rim that include: (1) gehlenite with rare grossite, (2) hibonite, (3) spinel with minor hibonite and perovskite, (4) zoned melilite (k(sub ~0-10)), (5) anorthite, (6) zoned diopside grading outwards from Al,Ti-rich to Al,Tipoor, and (7) forsterite intergrown with diopside. We infer a two-stage history in which WL rim formation was initiated by flash melting and extensive evaporation of the original inclusion edge, followed by subsequent condensation under highly dynamic conditions. The outermost edge of the CAI mantle is mineralogically and texturally distinct compared to the underlying mantle that is composed of coarse, zoned melilite (k(sub ~10-60)) grains. The mantle edge contains finegrained gehlenite with hibonite and rare grossite that likely formed by rapid crystallization from a Ca,Al-rich melt produced during a flash vaporization event [2]. These gehlenite and hibonite layers are surrounded by successive layers of spinel, melilite, diopside, and forsterite, indicating their sequential gas-solid reactions onto hibonite. Anorthite occurs as a discontinuous layer that corrodes adjacent melilite and Al-diopside, and appears to have replaced them [3,4], probably even later than the forsterite layer formation. All the WL rim minerals analyzed using the JSC NanoSIMS 50L are 16O-rich (17O 23), indicating their formation in an 16O-rich gas reservoir. Our data are in contrast with many CV CAIs that show heterogeneous 17O values across their WL rims [5]. Our Al-Mg data obtained using the UCLA ims-1290 ion microprobe of the CAI interior and the WL rim define a well-correlated isochron with (26Al/27Al)(sub 0) = 4.94 10(exp 5), indicating their synchronous formation 5 10(exp 4) years after the canonical CAI value. In contrast, no 26Mg excesses are observed in the WL rim anorthite, which suggests its later formation or later isotopic resetting in an 16O-rich gas reservoir, after 26Al had decayed

Treatment and outcomes in necrotising autoimmune myopathy: an australian perspective

Necrotising Autoimmune Myopathy (NAM) presents as a subacute proximal myopathy with high creatine kinase levels. It is associated with statin exposure, 3-hydroxy-3-methylglutaryl-CoA reductase (HMGCR) antibody, connective tissue diseases, signal recognition particle (SRP) antibody and malignancy. This case series presents our Western Australian NAM patient cohort: comparing the subgroup presentations, biopsy appearance and treatment outcomes. We retrospectively collected data on patients diagnosed with NAM at the Western Australian Neuroscience Research Institute between the years 2000 and 2015. We identified 20 patients with Necrotising Autoimmune Myopathy: 14 with anti-HMGCR antibodies; two with anti-SRP antibodies; three with connective tissue disease; two as yet unspecified. Median creatine kinase level was 6047units/L (range 1000–17000). The statin naïve patients with HMGCR antibodies and patients with SRP antibodies were the most severely affected subgroups, with higher creatine kinase levels, and were more resistant to immunotherapy. Two or more immunotherapy agents were required in 90%; eight patients required IVIG and rituximab. Steroid weaning commonly precipitated relapses. Four patients had complete remission, and the remaining patients still require immunotherapy. Necrotising Autoimmune Myopathy is a potentially treatable myopathy, which can be precipitated by statin therapy and requires early, aggressive immunotherapy, usually requiring multiple steroid sparing agents for successful steroid weaning

Does a standardised dinner meal consumed the evening prior to testing add methodological integrity to an acute meal test study design?

Abstract of an oral paper that was presented at the Dietitians Association of Australia 31st National Conference. Incorporating: 2nd World Forum on Nutrition Research - Translating the Principles of the Mediterranean Diet, 15-17 May 2014, Brisbane Convention and Exhibition Centre, Brisbane, Queensland, Australia

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Model-based spacecraft and mission design for the evaluation of technology

In order to meet the future vision of robotic missions, engineers will face intricate mission concepts, new operational approaches, and technologies that have yet to be developed. The concept of smaller, model driven projects helps this transition by including life-cycle cost as part of the decision making process. For example, since planetary exploration missions have cost ceilings and short development periods, heritage flight hardware is utilized. However, conceptual designs that rely solely on heritage technology will result in estimates that may not be truly representative of the actual mission being designed and built. The Laboratory for Spacecraft and Mission Design (LSMD) at the California Institute of Technology is developing integrated concurrent models for mass and cost estimations. The purpose of this project is to quantify the infusion of specific technologies where the data would be useful in guiding technology developments leading up to a mission. This paper introduces the design-to-cost model to determine the implications of various technologies on the spacecraft system in a collaborative engineering environment. In addition, comparisons of the benefits of new or advanced technologies for future deep space missions are examined

Inferring forest fate from demographic data: from vital rates to population dynamic models

As population-level patterns of interest in forests emerge from individual vital rates, modelling forest dynamics requires making the link between the scales at which data are collected (individual stems) and the scales at which questions are asked (e.g. populations and communities). Structured population models (e.g. integral projection models (IPMs)) are useful tools for linking vital rates to population dynamics. However, the application of such models to forest trees remains challenging owing to features of tree life cycles, such as slow growth, long lifespan and lack of data on crucial ontogenic stages. We developed a survival model that accounts for size-dependent mortality and a growth model that characterizes individual heterogeneity. We integrated vital rate models into two types of population model; an analytically tractable form of IPM and an individual-based model (IBM) that is applied with stochastic simulations. We calculated longevities, passage times to, and occupancy time in, different life cycle stages, important metrics for understanding how demographic rates translate into patterns of forest turnover and carbon residence times. Here, we illustrate the methods for three tropical forest species with varying life-forms. Population dynamics from IPMs and IBMs matched a 34 year time series of data (albeit a snapshot of the life cycle for canopy trees) and highlight differences in life-history strategies between species. Specifically, the greater variation in growth rates within the two canopy species suggests an ability to respond to available resources, which in turn manifests as faster passage times and greater occupancy times in larger size classes. The framework presented here offers a novel and accessible approach to modelling the population dynamics of forest trees