On the isomorphism problem of concept algebras

Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize Boolean algebras. Concept algebras are concept lattices, thus complete lattices, with a weak negation and a weak opposition. A special case of the representation problem for weakly dicomplemented lattices, posed in \cite{Kw04}, is whether complete {\wdl}s are isomorphic to concept algebras. In this contribution we give a negative answer to this question (Theorem \ref{T:main}). We also provide a new proof of a well known result due to M.H. Stone \cite{St36}, saying that {\em each Boolean algebra is a field of sets} (Corollary \ref{C:Stone}). Before these, we prove that the boundedness condition on the initial definition of {\wdl}s (Definition \ref{D:wdl}) is superfluous (Theorem \ref{T:wcl}, see also \cite{Kw09}).Comment: 15 page

Resistance training volume load with and without exercise displacement

Monitoring the resistance training volume load (VL) (sets × reps × load) is essential to managing resistance training and the recovery⁻adaptation process. Eight trained weightlifters, seven of which were at national level, participated in the study. VL was measured both with (VLwD) and without (VL) the inclusion of barbell displacement, across twenty weeks of training, in order to allow for comparisons to be made of these VL calculating methods. This consisted of recording the load, repetition count, and barbell displacement for every set executed. Comparisons were made between VL and VLwD for individual blocks of training, select training weeks, and select training days. Strong, statistically significant correlations (r ≥ 0.78, < 0.001) were observed between VL and VLwD between all training periods analyzed. -tests revealed statistically significant ( ≤ 0.018) differences between VL and VLwD in four of the seven training periods analyzed. The very strong relationship between VL and VLwD suggest that a coach with time constraints and a large number of athletes can potentially spare the addition of displacement. However, differences in percent change indicate that coaches with ample time should include displacement in VL calculations, in an effort to acquire more precise workload totals

Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost f-algebras are commutative. The proof is obtained relatively straightforward from the proof by Buskes and van Rooij by using the pointfree Stone-Yosida representation theorem by Coquand and Spitters

Analytic Kramer kernels, Lagrange-type interpolation series and de Branges spaces

The classical Kramer sampling theorem provides a method for obtaining orthogonal sampling formulas. In particular, when the involved kernel is analytic in the sampling parameter it can be stated in an abstract setting of reproducing kernel Hilbert spaces of entire functions which includes as a particular case the classical Shannon sampling theory. This abstract setting allows us to obtain a sort of converse result and to characterize when the sampling formula associated with an analytic Kramer kernel can be expressed as a Lagrange-type interpolation series. On the other hand, the de Branges spaces of entire functions satisfy orthogonal sampling formulas which can be written as Lagrange-type interpolation series. In this work some links between all these ideas are established

Epistemic and Ontic Quantum Realities

Quantum theory has provoked intense discussions about its interpretation since its pioneer days. One of the few scientists who have been continuously engaged in this development from both physical and philosophical perspectives is Carl Friedrich von Weizsaecker. The questions he posed were and are inspiring for many, including the authors of this contribution. Weizsaecker developed Bohr's view of quantum theory as a theory of knowledge. We show that such an epistemic perspective can be consistently complemented by Einstein's ontically oriented position

HER2-positive tumors imaged within 1 hour using a site-specifically 11C-labeled sel-tagged affibody molecule

A rapid, reliable method for distinguishing tumors or metastases that overexpress human epidermal growth factor receptor 2 (HER2) from those that do not is highly desired for individualizing therapy and predicting prognoses. In vivo imaging methods are available but not yet in clinical practice; new methodologies improving speed, sensitivity, and specificity are required. METHODS: A HER2-binding Affibody molecule, Z(HER2:342), was recombinantly fused with a C-terminal selenocysteine-containing tetrapeptide Sel-tag, allowing site-specific labeling with either (11)C or (68)Ga, followed by biodistribution studies with small-animal PET. Dosimetry data for the 2 radiotracers were compared. Imaging of HER2-expressing human tumor xenografts was performed using the (11)C-labeled Affibody molecule. RESULTS: Both the (11)C- and (68)Ga-labeled tracers initially cleared rapidly from the blood, followed by a slower decrease to 4-5 percentage injected dose per gram of tissue at 1 h. Final retention in the kidneys was much lower (>5-fold) for the (11)C-labeled protein, and its overall absorbed dose was considerably lower. (11)C-Z(HER2:342) showed excellent tumor-targeting capability, with almost 10 percentage injected dose per gram of tissue in HER2-expressing tumors within 1 h. Specificity was demonstrated by preblocking binding sites with excess ligand, yielding significantly reduced radiotracer uptake (P = 0.002), comparable to uptake in tumors with low HER2 expression. CONCLUSION: To our knowledge, the Sel-tagging technique is the first that enables site-specific (11)C-radiolabeling of proteins. Here we present the finding that, in a favorable combination between radionuclide half-life and in vivo pharmacokinetics of the Affibody molecules, (11)C-labeled Sel-tagged Z(HER2:342) can successfully be used for rapid and repeated PET studies of HER2 expression in tumors.VetenskapsrådetPublishe

Moduli spaces of toric manifolds

We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction of the distance is related to the Duistermaat-Heckman measure and the Hausdorff metric. While the moduli space, its topology and metric, may be constructed in any dimension, the tools we use in the proofs are four-dimensional, and hence so is our main result.Comment: To appear in Geometriae Dedicata, minor changes to previous version, 19 pages, 6 figure

Homozygosity for a missense mutation in the 67 kDa isoform of glutamate decarboxylase in a family with autosomal recessive spastic cerebral palsy: parallels with Stiff-Person Syndrome and other movement disorders

Background Cerebral palsy (CP) is an heterogeneous group of neurological disorders of movement and/or posture, with an estimated incidence of 1 in 1000 live births. Non-progressive forms of symmetrical, spastic CP have been identified, which show a Mendelian autosomal recessive pattern of inheritance. We recently described the mapping of a recessive spastic CP locus to a 5 cM chromosomal region located at 2q24-31.1, in rare consanguineous families. Methods Here we present data that refine this locus to a 0.5 cM region, flanked by the microsatellite markers D2S2345 and D2S326. The minimal region contains the candidate gene GAD1, which encodes a glutamate decarboxylase isoform (GAD67), involved in conversion of the amino acid and excitatory neurotransmitter glutamate to the inhibitory neurotransmitter γ-aminobutyric acid (GABA). Results A novel amino acid mis-sense mutation in GAD67 was detected, which segregated with CP in affected individuals. Conclusions This result is interesting because auto-antibodies to GAD67 and the more widely studied GAD65 homologue encoded by the GAD2 gene, are described in patients with Stiff-Person Syndrome (SPS), epilepsy, cerebellar ataxia and Batten disease. Further investigation seems merited of the possibility that variation in the GAD1 sequence, potentially affecting glutamate/GABA ratios, may underlie this form of spastic CP, given the presence of anti-GAD antibodies in SPS and the recognised excitotoxicity of glutamate in various contexts

Criminal and Noncriminal Psychopathy: The Devil is in the Detail

Brooks, NS ORCiD: 0000-0003-1784-099XPsychopathy is prevalent and problematic in criminal populations, but is also found to be present in noncriminal populations. In 1992, Robert Hare declared that psychopaths may also “be found in the boardroom”, which has since been followed by an interest in the issue of noncriminal, or even successful, psychopathy. In this chapter, the paradox of criminal and noncriminal psychopathy is discussed with specific attention given to the similarities and differences that account for psychopathic personality across contexts. That psychopathy is a condition typified by a constellation of traits and behaviours requires wider research across diverse populations, and thus the streams of research related to criminal and noncriminal psychopathy are presented and the implications of these contrasting streams are explored

The epidemiology of injuries across the weight-training sports

Background: Weight-training sports, including weightlifting, powerlifting, bodybuilding, strongman, Highland Games, and CrossFit, are weight-training sports that have separate divisions for males and females of a variety of ages, competitive standards, and bodyweight classes. These sports may be considered dangerous because of the heavy loads commonly used in training and competition. Objectives: Our objective was to systematically review the injury epidemiology of these weight-training sports, and, where possible, gain some insight into whether this may be affected by age, sex, competitive standard, and bodyweight class. Methods: We performed an electronic search using PubMed, SPORTDiscus, CINAHL, and Embase for injury epidemiology studies involving competitive athletes in these weight-training sports. Eligible studies included peer-reviewed journal articles only, with no limit placed on date or language of publication. We assessed the risk of bias in all studies using an adaption of the musculoskeletal injury review method. Results: Only five of the 20 eligible studies had a risk of bias score ≥75 %, meaning the risk of bias in these five studies was considered low. While 14 of the studies had sample sizes >100 participants, only four studies utilized a prospective design. Bodybuilding had the lowest injury rates (0.12–0.7 injuries per lifter per year; 0.24–1 injury per 1000 h), with strongman (4.5–6.1 injuries per 1000 h) and Highland Games (7.5 injuries per 1000 h) reporting the highest rates. The shoulder, lower back, knee, elbow, and wrist/hand were generally the most commonly injured anatomical locations; strains, tendinitis, and sprains were the most common injury type. Very few significant differences in any of the injury outcomes were observed as a function of age, sex, competitive standard, or bodyweight class. Conclusion: While the majority of the research we reviewed utilized retrospective designs, the weight-training sports appear to have relatively low rates of injury compared with common team sports. Future weight-training sport injury epidemiology research needs to be improved, particularly in terms of the use of prospective designs, diagnosis of injury, and changes in risk exposure