A validated thermal model of bead-on-plate welding

In this paper, finite element model is used to carry out thermal analysis of bead-on-plate welding. The model followed the proposed five step strategies which were then built into a model to obtain temperature history at the positions of thermocouples. Temperature field was also evaluated by comparing predicted weld bead with the actual weld bead. Using these proposed strategies, well matched temperature histories and temperature field have been obtained

Synthetic use of the primary kinetic isotope effect in hydrogen atom transfer: generation of α-aminoalkyl radicals.

addresses: School of Biosciences, University of Exeter, Geoffrey Pope Building, Stocker Road, Exeter, UKEX4 4QD. [email protected]: Journal Article; Research Support, Non-U.S. Gov'tCopyright © 2010 Royal Society of ChemistryThe extent to which deuterium can act as a protecting group to prevent unwanted 1,5-hydrogen atom transfer to aryl and vinyl radical intermediates was examined in the context of the generation of α-aminoalkyl radicals in a pyrrolidine ring. Intra- and intermolecular radical trapping following hydrogen atom transfer provides an illustration of the use of the primary kinetic isotope effect in directing the outcome of synthetic C-C bond-forming processes

Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API

Conventional computer engineering relies on test-and-debug development processes, with the behavior of common interfaces described (at best) with prose specification documents. But prose specifications cannot be used in test-and-debug development in any automated way, and prose is a poor medium for expressing complex (and loose) specifications. The TCP/IP protocols and Sockets API are a good example of this: they play a vital role in modern communication and computation, and interoperability between implementations is essential. But what exactly they are is surprisingly obscure: their original development focused on “rough consensus and running code,” augmented by prose RFC specifications that do not precisely define what it means for an implementation to be correct. Ultimately, the actual standard is the de facto one of the common implementations, including, for example, the 15 000 to 20 000 lines of the BSD implementation—optimized and multithreaded C code, time dependent, with asynchronous event handlers, intertwined with the operating system, and security critical. This article reports on work done in the Netsem project to develop lightweight mathematically rigorous techniques that can be applied to such systems: to specify their behavior precisely (but loosely enough to permit the required implementation variation) and to test whether these specifications and the implementations correspond with specifications that are executable as test oracles . We developed post hoc specifications of TCP, UDP, and the Sockets API, both of the service that they provide to applications (in terms of TCP bidirectional stream connections) and of the internal operation of the protocol (in terms of TCP segments and UDP datagrams), together with a testable abstraction function relating the two. These specifications are rigorous, detailed, readable, with broad coverage, and rather accurate. Working within a general-purpose proof assistant (HOL4), we developed language idioms (within higher-order logic) in which to write the specifications: operational semantics with nondeterminism, time, system calls, monadic relational programming, and so forth. We followed an experimental semantics approach, validating the specifications against several thousand traces captured from three implementations (FreeBSD, Linux, and WinXP). Many differences between these were identified, as were a number of bugs. Validation was done using a special-purpose symbolic model checker programmed above HOL4. Having demonstrated that our logic-based engineering techniques suffice for handling real-world protocols, we argue that similar techniques could be applied to future critical software infrastructure at design time, leading to cleaner designs and (via specification-based testing) more robust and predictable implementations. In cases where specification looseness can be controlled, this should be possible with lightweight techniques, without the need for a general-purpose proof assistant, at relatively little cost.EPSRC Programme Grant EP/K008528/1 REMS: Rigorous Engineering for Mainstream Systems EPSRC Leadership Fellowship EP/H005633 (Sewell) Royal Society University Research Fellowship (Sewell) St Catharine's College Heller Research Fellowship (Wansbrough), EPSRC grant GR/N24872 Wide-area programming: Language, Semantics and Infrastructure Design EPSRC grant EP/C510712 NETSEM: Rigorous Semantics for Real Systems EC FET-GC project IST-2001-33234 PEPITO Peer-to-Peer Computing: Implementation and Theory CMI UROP internship support (Smith) EC Thematic Network IST-2001-38957 APPSEM 2 NICTA was funded by the Australian Government's Backing Australia's Ability initiative, in part through the Australian Research Council

Cardiac myosin binding protein-C variants in paediatric-onset hypertrophic cardiomyopathy: natural history and clinical outcomes

Background: Variants in the cardiac myosin-binding protein C gene (MYBPC3) are a common cause of hypertrophic cardiomyopathy (HCM) in adults and have been associated with late-onset disease, but there are limited data on their role in paediatric-onset HCM. The objective of this study was to describe natural history and clinical outcomes in a large cohort of children with HCM and pathogenic/likely pathogenic (P/LP) MYBPC3 variants. / Methods and results: Longitudinal data from 62 consecutive patients diagnosed with HCM under 18 years of age and carrying at least one P/LP MYBPC3 variant were collected from a single specialist referral centre. The primary patient outcome was a major adverse cardiac event (MACE). Median age at diagnosis was 10 (IQR: 2–14) years, with 12 patients (19.4%) diagnosed in infancy. Forty-seven (75%) were boy and 31 (50%) were probands. Median length of follow-up was 3.1 (IQR: 1.6–6.9) years. Nine patients (14.5%) experienced an MACE during follow-up and five (8%) died. Twenty patients (32.3%) had evidence of ventricular arrhythmia, including 6 patients (9.7%) presenting with out-of-hospital cardiac arrest. Five-year freedom from MACE for those with a single or two MYBPC3 variants was 95.2% (95% CI: 78.6% to 98.5%) and 68.4% (95% CI: 40.6% to 88.9%), respectively (HR 4.65, 95% CI: 1.16 to 18.66, p=0.03). / Conclusions: MYBPC3 variants can cause childhood-onset disease, which is frequently associated with life-threatening ventricular arrhythmia. Clinical outcomes in this cohort vary substantially from aetiologically and genetically mixed paediatric HCM cohorts described previously, highlighting the importance of identifying specific genetic subtypes for clinical management of childhood HCM

Effect of dietary omega-3 fatty acids on castrate-resistant prostate cancer and tumor-associated macrophages.

BackgroundM2-like macrophages are associated with the pathogenesis of castrate-resistant prostate cancer (CRPC). We sought to determine if dietary omega-3 fatty acids (ω-3 FAs) delay the development and progression of CRPC and inhibit tumor-associated M2-like macrophages.MethodsMycCap cells were grown subcutaneously in immunocompetent FVB mice. Mice were castrated when tumors reached 300 mm2. To study effects of dietary ω-3 FAs on development of CRPC, ω-3 or ω-6 diets were started 2 days after castration and mice sacrificed after early regrowth of tumors. To study ω-3 FA effects on progression of CRPC, tumors were allowed to regrow after castration before starting the diets. M2 (CD206+) macrophages were isolated from allografts to examine ω-3 FA effects on macrophage function. Omega-3 fatty acid effects on androgen-deprived RAW264.7 M2 macrophages were studied by RT-qPCR and a migration/ invasion assay.ResultsThe ω-3 diet combined with castration lead to greater MycCap tumor regression (tumor volume reduction: 182.2 ± 33.6 mm3) than the ω-6 diet (tumor volume reduction: 148.3 ± 35.2; p = 0.003) and significantly delayed the time to CRPC (p = 0.006). Likewise, the ω-3 diet significantly delayed progression of established castrate-resistant MycCaP tumors (p = 0.003). The ω-3 diet (as compared to the ω-6 diet) significantly reduced tumor-associated M2-like macrophage expression of CSF-1R in the CRPC development model, and matrix metallopeptidase-9 (MMP-9) and vascular endothelial growth factor (VEGF) in the CRPC progression model. Migration of androgen-depleted RAW264.7 M2 macrophages towards MycCaP cells was reversed by addition of docosahexaenoic acid (ω-3).ConclusionsDietary omega-3 FAs (as compared to omega-6 FAs) decreased the development and progression of CRPC in an immunocompetent mouse model, and had inhibitory effects on M2-like macrophage function. Clinical trials are warranted evaluating if a fish oil-based diet can delay the time to castration resistance in men on androgen deprivation therapy, whereas further preclinical studies are warranted evaluating fish oil for more advanced CRPC

Friedreich's ataxia-associated childhood hypertrophic cardiomyopathy: a national cohort study

OBJECTIVE: Hypertrophic cardiomyopathy (HCM) is an important predictor of long-term outcomes in Friedreich's ataxia (FA), but the clinical spectrum and survival in childhood is poorly described. This study aimed to describe the clinical characteristics of children with FA-HCM. DESIGN AND SETTING: Retrospective, longitudinal cohort study of children with FA-HCM from the UK. PATIENTS: 78 children (<18 years) with FA-HCM diagnosed over four decades. INTERVENTION: Anonymised retrospective demographic and clinical data were collected from baseline evaluation and follow-up. MAIN OUTCOME MEASURES: The primary study end-point was all-cause mortality (sudden cardiac death, atrial arrhythmia-related death, heart failure-related death, non-cardiac death) or cardiac transplantation. RESULTS: The mean age at diagnosis of FA-HCM was 10.9 (±3.1) years. Diagnosis was within 1 year of cardiac referral in 34 (65.0%) patients, but preceded the diagnosis of FA in 4 (5.3%). At baseline, 65 (90.3%) had concentric left ventricular hypertrophy and 6 (12.5%) had systolic impairment. Over a median follow-up of 5.1 years (IQR 2.4-7.3), 8 (10.5%) had documented supraventricular arrhythmias and 8 (10.5%) died (atrial arrhythmia-related n=2; heart failure-related n=1; non-cardiac n=2; or unknown cause n=3), but there were no sudden cardiac deaths. Freedom from death or transplantation at 10 years was 80.8% (95% CI 62.5 to 90.8). CONCLUSIONS: This is the largest cohort of childhood FA-HCM reported to date and describes a high prevalence of atrial arrhythmias and impaired systolic function in childhood, suggesting early progression to end-stage disease. Overall mortality is similar to that reported in non-syndromic childhood HCM, but no patients died suddenly

A formalized general theory of syntax with bindings

We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying numbers of inputs, quotiented to alpha-equivalence and sorted according to a binding signature. The theory includes a rich collection of properties of the standard operators on terms, such as substitution and freshness. It also includes induction and recursion principles and support for semantic interpretation, all tailored for smooth interaction with the bindings and the standard operators

Sudden cardiac death in childhood RASopathy-associated hypertrophic cardiomyopathy: Validation of the HCM risk-kids model and predictors of events

Background: RASopathies account for nearly 20% of cases of childhood hypertrophic cardiomyopathy (HCM). Sudden cardiac death (SCD) occurs in patients with RASopathy-associated HCM, but the risk factors for SCD have not been systematically evaluated. Aim: To validate the HCM Risk-Kids SCD risk prediction model in children with RASopathy-associated HCM and investigate potential specific SCD predictors in this population. Methods: Validation of HCM Risk-Kids was performed in a retrospective cohort of 169 patients with a RASopathy-associated HCM from 15 international paediatric cardiology centres. Multiple imputation by chained equations was used for missing values related to the HCM Risk-Kids parameters. Results: Eleven patients (6.5%) experienced a SCD or equivalent event at a median age of 12.5 months (IQR 7.7–28.64). The calculated SCD/equivalent event incidence was 0.78 (95% CI 0.43–1.41) per 100 patient years. Six patients (54.54%) with an event were in the low-risk category according to the HCM Risk-Kids model. Harrell's C index was 0.60, with a sensitivity of 9.09%, specificity of 63.92%, positive predictive value of 1.72%, and negative predictive value of 91%; with a poor distinction between the different risk groups. Unexplained syncope (HR 42.17, 95% CI 10.49–169.56, p < 0.001) and non-sustained ventricular tachycardia (HR 5.48, 95% CI 1.58–19.03, p < 0.007) were predictors of SCD on univariate analysis. Conclusion: Unexplained syncope and the presence of NSVT emerge as predictors for SCD in children with RASopathy-associated HCM. The HCM Risk-Kids model may not be appropriate to use in this population, but larger multicentre collaborative studies are required to investigate this further

Intake of heterocyclic aromatic amines and the risk of prostate cancer in the EPIC-Heidelberg cohort

BACKGROUND: Heterocyclic amines (HCA) are positively associated with prostate cancer risk in animal models. Because of mostly inconsistent results of epidemiological studies, we examined the association between intake of HCA and prostate cancer risk. METHODS: In the EPIC-Heidelberg cohort, detailed information on diet, anthropometry, and lifestyle was assessed between 1994 and 1998. Dietary HCA intake was estimated using information on meat consumption, cooking methods, and preferred degree of browning. During 104,195 person-years of follow-up, 337 incident cases of prostate cancer (123 advanced cases) were identified among 9,578 men with valid dietary information. Multivariate Cox proportional hazards regression was used to examine the association between intake of 2-amino-1-methyl-6-phenylimidazo[4,5-b]pyridine (PhIP), 2-amino-3,8-dimethylimidazo[4,5-f]quinoxaline (MeIQx), and 2-amino-3,4,8-dimethylimidazo[4,5-f]quinoxaline (DiMeIQx) and prostate cancer. RESULTS: Men in the highest quartiles of PhIP, MeIQx, and DiMeIQx intake, respectively, had no increased risk of prostate cancer compared with men in the lowest quartiles (HR = 0.89, 95% CI 0.66-1.22 [PhIP]; 1.06, 0.77-1.45 [MeIQx]; 0.98, 0.72-1.34 [DiMeIQx]). There were no associations between HCA intake and advanced prostate cancer or between high consumption of strongly browned meat and prostate cancer. DISCUSSION: Our data do not support the hypothesis that HCA intake as consumed in a regular diet is a risk factor for prostate cancer

Synthesis of phosphonate-functionalized polystyrene and poly(methyl methacrylate) particles and their kinetic behavior in miniemulsion polymerization

Phosphonate-functionalized polymer nanoparticles were synthesized by free-radical copolymerization of vinylphosphonic acid (VPA) with styrene or methyl methacrylate (MMA) using the miniemulsion technique. The influence of different parameters such as monomer and surfactant type, amount of vinylphosphonic acid on the average particle size, and size distribution was studied using dynamic light scattering and transmission electron microscopy. Depending on the amount and type of the surfactant used (ionic or non-ionic), phosphonate-functionalized particles in a size range from 102 to 312 nm can be obtained. The density of the phosphonate groups on the particle surface was higher in the case of using MMA as a basis monomer than polystyrene. The kinetic behavior of VPA copolymerization with styrene or MMA using a hydrophobic initiator was investigated by reaction calorimetry. Different kinetic curves were observed for miniemulsion (co)polymerization of styrene- and MMA-based nanoparticles indicating different nucleation mechanisms