Mathematical model of welding parameters for rapid prototyping using robot welding

Rapid Prototyping is a relatively new technology that allows the creation of prototypes in a very short period of time compared with traditional manufacturing techniques. First, a model of the prototype is drawn, using a computer aided design program, which is then mathematically ‘sliced’ and used to build the prototype layer by layer, using material such as paper, resins, or thermoplastics, depending on the process. The main disadvantage of these processes is that they do not allow metal as a raw material. Rapid Prototyping using Robot welding is another approach that overcomes this problem by using a welding robot that deposits metal. As the success of the final component quality depends very much on the welding parameters, it is important to automate their calculation. To automate the task of determining the welding parameters and to generate welded components with consistent quality, a very simple mathematical algorithm was created. The tests carried out to gather the necessary information to generate this model, the mathematical model itself, the limitations of the equations, and the tests to check their feasibility are described. At the time the work was carried out, the authors were in the welding Engineering Groups, SIMS, Cranfield University, Cranfield, Beds. MK43 0SY, UK. Dr Ribeiro is now in the Department of Industrial Electronics, University of Minho, 4800 Guimarães, Portugal and Professor Norrish is in the Faculty of Engineering, University of Wollongong, Wollongong, NSW 2522, Australia. Manuscript received 12 May 1997; in final form 20 June 1997

La relación personal en el tratamiento de la diversidad

El autor centra su aportación en diferentes características de los organismos vivos, para incorporarlas a las perspectivas interpretativas y operativas, y de los métodos actuales de intervención educativa. En el texto también se trata el enfoque positivo desde la dimensión técnica y no «voluntarista», teniendo en cuenta que los especialistas que adoptan la perspectiva del enfoque positivo dan mucha importancia al tema de la calidad de vida.L'autor centra la seva aportació en diferents característiques dels organismes vius, per incorporar- les a les perspectives interpretatives i operatives, i dels mètodes actuals d'intervenció educativa. Al text també es tracta l'enfocament positiu des de la seva dimensió tècnica i no «voluntarista», tenint en compte que els especialistes que adopten la perspectiva de l'enfocament positiu donen molta importància al tema de la qualitat de vida.The author focuses on the different characteristics of the alive organisms in order to include them into the interpretative and operative views of the current methods of educational intervention. He also deals with the positive focus, from the technical and «no voluntary» dimension, taking into account that those specialists having this kind of view do emphasize a lot on the quality of life issue

An Improved Implementation and Abstract Interface for Hybrid

Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

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

Construire les fonctions récursives totales en Coq

International audienceWe present a (relatively) short mechanized proof that Coq types any recursive function which is provably total in Coq. The well-founded (and terminating) induction scheme, which is the foundation of Coq recursion, is maximal. We implement an unbounded minimization scheme for decidable predicates. It can also be used to reify a whole category of undecidable predicates. This development is purely constructive and requires no axiom. Hence it can be integrated into any project that might assume additional axioms

High prevalence of early repolarization in the paediatric relatives of sudden arrhythmic death syndrome victims and in normal controls

AIMS: Elevation of the ECG J-point in the inferior and lateral leads (early repolarization) has been described in survivors of ventricular fibrillation (VF) arrest and occurs in adult first-degree relatives of sudden cardiac death (SCD) probands at a frequency significantly greater than in controls, raising the possibility that this could represent an independent risk factor in the aetiology of SCD. However, data on early repolarization in the paediatric population are lacking. This study aimed to assess the prevalence of early repolarization in paediatric first-degree relatives of sudden arrhythmic death syndrome (SADS) victims. METHODS AND RESULTS: Paediatric relatives (aged 1 mV from baseline. The ECGs of 77 consecutive paediatric first-degree relatives of SADS victims from 46 families were reviewed by two assessors. J-point elevation was present in 24 patients (31%) of this patient group compared with the reported prevalence of 5–13% in the published general paediatric population (P = 0.02) and that of 19% in the internal control group (P = 0.07). Subgroup analysis according to J-point elevation and ST segment morphologies showed a significantly higher prevalence of inferior early repolarization 0.1–0.2 mV in the study group compared with controls (75 vs. 38%; P = 0.02). CONCLUSION: Inferolateral J-point elevation occurs in a substantial proportion of paediatric first-degree relatives of SADS probands with a similar prevalence to that described in adults. This suggests that early repolarization could be an important inherited trait when evaluating relatives of SADS victims. However, prospective follow-up of this group of children is important to establish the implication of this finding in future risk stratification, given the apparently high prevalence in normal individuals

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

Longitudinal assessment of symptoms and risk of SARS-CoV-2 infection in healthcare workers across 5 hospitals to understand ethnic differences in infection risk.

BACKGROUND: Healthcare workers (HCWs) have increased rates of SARS-CoV-2 infection compared with the general population. We aimed to understand ethnic differences in SARS-CoV-2 seropositivity among hospital healthcare workers depending on their hospital role, socioeconomic status, Covid-19 symptoms and basic demographics. METHODS: A prospective longitudinal observational cohort study. 1364 HCWs at five UK hospitals were studied with up to 16 weeks of symptom questionnaires and antibody testing (to both nucleocapsid and spike protein) during the first UK wave in five NHS hospitals between March 20 and July 10 2020. The main outcome measures were SARS-CoV-2 infection (seropositivity at any time-point) and symptoms. Registration number: NCT04318314. FINDINGS: 272 of 1364 HCWs (mean age 40.7 years, 72% female, 74% White, ≥6 samples per participant) seroconverted, reporting predominantly mild or no symptoms. Seropositivity was lower in Intensive Therapy Unit (ITU) workers (OR=0.44 95%CI 0.24, 0.77; p=0.0035). Seropositivity was higher in Black (compared to White) participants, independent of age, sex, role and index of multiple deprivation (OR=2.61 95%CI 1.47-4.62 p=0.0009). No association was seen between White HCWs and other minority ethnic groups. INTERPRETATION: In the UK first wave, Black ethnicity (but not other ethnicities) more than doubled HCWs likelihood of seropositivity, independent of age, sex, measured socio-economic factors and hospital role

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