Online food shopping under COVID-19 – a technology acceptance model to evaluate consumption motives and barriers

Since the United Nations World Health Organization (WHO) declared the novel coronavirus disease-19 (COVID-19) a global pandemic, online food retailing has experienced tremendous growth. Initial forecasts expected global year-over-year growth rates of approximately 33% in 2020. The aim of this research is (1) to identify the relevant consumption motives and consumption barriers of Austrian online grocery trade using the technology acceptance model and (2) to evaluate the impact of the COVID-19 pandemic on the driving factors. The results of the empirical analysis showed that perceived usefulness has the greatest influence on acceptance behavior in online grocery retailing. Perceived ease of use of online stores also contributes to acceptance behavior. The higher the perceived shopping pleasure and visibility of grocery online retailers, the higher the perceived benefits and ease of use. Regarding barriers, the lack of possibility for consumers to sensory check the quality of food before purchase turned out to be a weak-significant barrier that reduces the perceived usefulness. In contrast to other studies, the time facets of delivery and ordering were significantly found to not be a barrier in this research. Since the COVID-19 pandemic, more people have been shown to purchase groceries online. Although a large portion of the sample believes that grocery shopping online is a way to reduce or protect against the risk of infection, neither health aspects nor the situational factor used significantly affect acceptance in this research. In contrast, aspects of COVID-19 have a moderating effect on the purchase intention and purchase behavior. People who perceive grocery online retailing as helpful in protecting themselves from COVID-19 infection perceive a significantly higher benefit and hav

LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)

Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The unpredictability of such interactions paired with their decentralized nature make reasoning about the correctness of local-first software a challenging endeavor. Yet, existing solutions to develop local-first software do not provide support for automated safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. We propose LoRe, a programming model and compiler that automatically verifies developer-supplied safety properties for local-first applications. LoRe combines the declarative data flow of reactive programming with static analysis and verification techniques to precisely determine concurrent interactions that violate safety invariants and to selectively employ strong consistency through coordination where required. We propose a formalized proof principle and demonstrate how to automate the process in a prototype implementation that outputs verified executable code. Our evaluation shows that LoRe simplifies the development of safe local-first software when compared to state-of-the-art approaches and that verification times are acceptable

LoRe: A Programming Model for Verifiably Safe Local-First Software

Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The unpredictability of such interactions paired with their decentralized nature make reasoning about the correctness of local-first software a challenging endeavor. Yet, existing solutions to develop local-first software do not provide support for automated safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. We propose LoRe, a programming model and compiler that automatically verifies developer-supplied safety properties for local-first applications. LoRe combines the declarative data flow of reactive programming with static analysis and verification techniques to precisely determine concurrent interactions that violate safety invariants and to selectively employ strong consistency through coordination where required. We propose a formalized proof principle and demonstrate how to automate the process in a prototype implementation that outputs verified executable code. Our evaluation shows that LoRe simplifies the development of safe local-first software when compared to state-of-the-art approaches and that verification times are acceptable.Comment: This is the extended version of the work accepted at ECOOP 202

LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)

Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The unpredictability of such interactions paired with their decentralized nature make reasoning about the correctness of local-first software a challenging endeavor. Yet, existing solutions to develop local-first software do not provide support for automated safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. We propose LoRe, a programming model and compiler that automatically verifies developer-supplied safety properties for local-first applications. LoRe combines the declarative data flow of reactive programming with static analysis and verification techniques to precisely determine concurrent interactions that violate safety invariants and to selectively employ strong consistency through coordination where required. We propose a formalized proof principle and demonstrate how to automate the process in a prototype implementation that outputs verified executable code. Our evaluation shows that LoRe simplifies the development of safe local-first software when compared to state-of-the-art approaches and that verification times are acceptable

Clinical utility of combined T2-weighted imaging and T2-mapping in the detection of prostate cancer: a multi-observer study

Background: To evaluate the clinical utility of combined T2-weighted imaging and T2-mapping for the detection of prostate cancer. Methods: Forty patients underwent multiparametric magnetic resonance imaging (mpMRI) and T2-mapping of the prostate. Three readers each reviewed two sets of images: T2-weighted fast spin-echo (FSE) sequence (standard T2), and standard T2 in combination with T2-mapping. Each reader assigned probability scores for malignancy to each zone [peripheral zone (PZ) or transition zone (TZ)]. Inter-observer variability for standard T2 and combined standard T2 with T2-mapping were assessed. Diagnostic accuracy was compared between standard T2 and combined standard T2 with T2-mapping. Results: There was fair agreement between all three readers for standard T2 [intraclass correlation coefficient (ICC) =0.56] and combined standard T2 with T2-mapping (ICC =0.58). There was no significant difference in the area under the receiver operator characteristics curve for standard T2 compared to combined standard T2 with T2-mapping (0.89 vs. 0.82, P=0.31). Sensitivity (Sn) for combined standard T2 with T2-mapping was significantly higher compared to standard T2 alone (73.0% vs. 49.2%, P=0.006). Specificity (Sp) for combined standard T2 with T2-mapping was borderline significantly lower compared to standard T2 alone (89.3% vs. 94.9%, P=0.05). There was no significant differences between the negative predictive values (NPVs) and positive predictive values (PPVs) (P=0.07, P=0.45). Conclusions: Combination of T2-weighted imaging and T2-mapping could potentially increase Sn for prostate malignancy compared to T2-weighted imaging alone

Modeling Social Sensory Processing During Social Computerized Cognitive Training for Psychosis Spectrum: The Resting-State Approach

Background: Greater impairments in early sensory processing predict response to auditory computerized cognitive training (CCT) in patients with recent-onset psychosis (ROP). Little is known about neuroimaging predictors of response to social CCT, an experimental treatment that was recently shown to induce cognitive improvements in patients with psychosis. Here, we investigated whether ROP patients show interindividual differences in sensory processing change and whether different patterns of SPC are (1) related to the differential response to treatment, as indexed by gains in social cognitive neuropsychological tests and (2) associated with unique resting-state functional connectivity (rsFC). Methods: Twenty-six ROP patients completed 10 h of CCT over the period of 4–6 weeks. Subject-specific improvement in one CCT exercise targeting early sensory processing—a speeded facial Emotion Matching Task (EMT)—was studied as potential proxy for target engagement. Based on the median split of SPC from the EMT, two patient groups were created. Resting-state activity was collected at baseline, and bold time series were extracted from two major default mode network (DMN) hubs: left medial prefrontal cortex (mPFC) and left posterior cingulate cortex (PCC). Seed rsFC analysis was performed using standardized Pearson correlation matrices, generated between the average time course for each seed and each voxel in the brain. Results: Based on SPC, we distinguished improvers—i.e., participants who showed impaired performance at baseline and reached the EMT psychophysical threshold during CCT—from maintainers—i.e., those who showed intact EMT performance at baseline and sustained the EMT psychophysical threshold throughout CCT. Compared to maintainers, improvers showed an increase of rsFC at rest between PCC and left superior and medial frontal regions and the cerebellum. Compared to improvers, maintainers showed increased rsFC at baseline between PCC and superior temporal and insular regions bilaterally. Conclusions: In ROP patients with an increase of connectivity at rest in the default mode network, social CCT is still able to induce sensory processing changes that however do not translate into social cognitive gains. Future studies should investigate if impairments in short-term synaptic plasticity are responsible for this lack of response and can be remediated by pharmacological augmentation during CCT

Is The Amphibian Tree of Life really fatally flawed?

Wiens (2007, Q. Rev. Biol. 82, 55–56) recently published a severe critique of Frost et al.\u27s (2006, Bull. Am. Mus. Nat. Hist. 297, 1–370) monographic study of amphibian systematics, concluding that it is “a disaster” and recommending that readers “simply ignore this study”. Beyond the hyperbole, Wiens raised four general objections that he regarded as “fatal flaws”: (1) the sampling design was insufficient for the generic changes made and taxonomic changes were made without including all type species; (2) the nuclear gene most commonly used in amphibian phylogenetics, RAG-1, was not included, nor were the morphological characters that had justified the older taxonomy; (3) the analytical method employed is questionable because equally weighted parsimony “assumes that all characters are evolving at equal rates”; and (4) the results were at times “clearly erroneous”, as evidenced by the inferred non-monophyly of marsupial frogs. In this paper we respond to these criticisms. In brief: (1) the study of Frost et al. did not exist in a vacuum and we discussed our evidence and evidence previously obtained by others that documented the non-monophyletic taxa that we corrected. Beyond that, we agree that all type species should ideally be included, but inclusion of all potentially relevant type species is not feasible in a study of the magnitude of Frost et al. and we contend that this should not prevent progress in the formulation of phylogenetic hypotheses or their application outside of systematics. (2) Rhodopsin, a gene included by Frost et al. is the nuclear gene that is most commonly used in amphibian systematics, not RAG-1. Regardless, ignoring a study because of the absence of a single locus strikes us as unsound practice. With respect to previously hypothesized morphological synapomorphies, Frost et al. provided a lengthy review of the published evidence for all groups, and this was used to inform taxonomic decisions. We noted that confirming and reconciling all morphological transformation series published among previous studies needed to be done, and we included evidence from the only published data set at that time to explicitly code morphological characters (including a number of traditionally applied synapomorphies from adult morphology) across the bulk of the diversity of amphibians (Haas, 2003, Cladistics 19, 23–90). Moreover, the phylogenetic results of the Frost et al. study were largely consistent with previous morphological and molecular studies and where they differed, this was discussed with reference to the weight of evidence. (3) The claim that equally weighted parsimony assumes that all characters are evolving at equal rates has been shown to be false in both analytical and simulation studies. (4) The claimed “strong support” for marsupial frog monophyly is questionable. Several studies have also found marsupial frogs to be non-monophyletic. Wiens et al. (2005, Syst. Biol. 54, 719–748) recovered marsupial frogs as monophyletic, but that result was strongly supported only by Bayesian clade confidence values (which are known to overestimate support) and bootstrap support in his parsimony analysis was \u3c 50%. Further, in a more recent parsimony analysis of an expanded data set that included RAG-1 and the three traditional morphological synapomorphies of marsupial frogs, Wiens et al. (2006, Am. Nat. 168, 579–596) also found them to be non-monophyletic. Although we attempted to apply the rule of monophyly to the naming of taxonomic groups, our phylogenetic results are largely consistent with conventional views even if not with the taxonomy current at the time of our writing. Most of our taxonomic changes addressed examples of non-monophyly that had previously been known or suspected (e.g., the non-monophyly of traditional Hyperoliidae, Microhylidae, Hemiphractinae, Leptodactylidae, Phrynobatrachus, Ranidae, Rana, Bufo; and the placement of Brachycephalus within “Eleutherodactylus”, and Lineatriton within “Pseudoeurycea”), and it is troubling that Wiens and others, as evidenced by recent publications, continue to perpetuate recognition of non-monophyletic taxonomic groups that so profoundly misrepresent what is known about amphibian phylogeny

Signatures of natural selection between life cycle stages separated by metamorphosis in European eel

Received: 16 December 2014, Accepted: 6 July 2015, Published: 13 August 2015[Background] Species showing complex life cycles provide excellent opportunities to study the genetic associations between life cycle stages, as selective pressures may differ before and after metamorphosis. The European eel presents a complex life cycle with two metamorphoses, a first metamorphosis from larvae into glass eels (juvenile stage) and a second metamorphosis into silver eels (adult stage). We tested the hypothesis that different genes and gene pathways will be under selection at different life stages when comparing the genetic associations between glass eels and silver eels.[Results] We used two sets of markers to test for selection: first, we genotyped individuals using a panel of 80 coding-gene single nucleotide polymorphisms (SNPs) developed in American eel; second, we investigated selection at the genome level using a total of 153,423 RAD-sequencing generated SNPs widely distributed across the genome. Using the RAD approach, outlier tests identified a total of 2413 (1.57 %) potentially selected SNPs. Functional annotation analysis identified signal transduction pathways as the most over-represented group of genes, including MAPK/Erk signalling, calcium signalling and GnRH (gonadotropin-releasing hormone) signalling. Many of the over-represented pathways were related to growth, while others could result from the different conditions that eels inhabit during their life cycle.[Conclusions] The observation of different genes and gene pathways under selection when comparing glass eels vs. silver eels supports the adaptive decoupling hypothesis for the benefits of metamorphosis. Partitioning the life cycle into discrete morphological phases may be overall beneficial since it allows the different life stages to respond independently to their unique selection pressures. This might translate into a more effective use of food and niche resources and/or performance of phase-specific tasks (e.g. feeding in the case of glass eels, migrating and reproducing in the case of silver eels).We acknowledge funding from the Danish Council for Independent Reasearch, Natural Sciences (grant 09-072120 to MMH).Peer reviewe

Quantifizierung von Bodenverlagerung bei der Holzernte mittels korpuskulärer Metalltracer

Die ökologischen Folgen von Bodenverlagerungen bei der Forst- und Landwirtschaft, wie sie z.B. durch die Bodenbearbeitung, das Befahren mit schweren Maschinen und das Schleifen von Holz auftreten können, sind bisher schwer zu quantifizieren. Zur Messung derartiger Bodenver- lagerungen kam auf Braunerden und Ferralsolen ein neues Verfahren zum Einsatz, bei welchem der zu befahrende Boden in seiner ursprünglichen Lage mit Metalltracer (12 mm Rohrstücke aus Eisen und Aluminium) weitgehend störungsfrei markiert und die Lage der Tracer nach der Befahrung mit Hilfe eines Metalldetektors ebenso zerstörungsfrei vermessen wird. Dabei blieben jedoch Zweifel über die Genauigkeit der Methode, besonders in Bezug auf Bodenfeuchte und die gleichzeitige Nutzung verschiedener Tracermaterialien. Bei Versuchen unter Laborbedingung zu diesen Faktoren zeigte sich, dass die Erhöhung der Bodenfeuchte die Detektierbarkeit der Tracer herabsetzt und die Nutzung mehrerer Tracermaterialien auf kleinem Raum nicht möglich ist. Zudem hat das Ablesen der Messwerte vom Detektor eine hohe subjektive Komponente, was voraussetzt, dass die messende Person gut mit dem Gerät vertraut ist

Mitochondrial myopathy presenting as fibromyalgia: a case report

<p>Abstract</p> <p>Introduction</p> <p>To the best of our knowledge, we describe for the first time the case of a woman who met the diagnostic criteria for fibromyalgia, did not respond to therapy for that disorder, and was subsequently diagnosed by biochemical and genetic studies with a mitochondrial myopathy. Treatment of the mitochondrial myopathy resulted in resolution of symptoms. This case demonstrates that mitochondrial myopathy may present in an adult with a symptom complex consistent with fibromyalgia.</p> <p>Case presentation</p> <p>Our patient was a 41-year-old Caucasian woman with symptoms of fatigue, exercise intolerance, headache, and multiple trigger points. Treatment for fibromyalgia with a wide spectrum of medications including non-steroidal anti-inflammatory drugs, antidepressants, gabapentin and pregabalin had no impact on her symptoms. A six-minute walk study demonstrated an elevated lactic acid level (5 mmol/L; normal < 2 mmol/L). Biochemical and genetic studies from a muscle biopsy revealed a mitochondrial myopathy. Our patient was started on a compound of coenzyme Q10 (ubiquinone) 200 mg, creatine 1000 mg, carnitine 200 mg and folic acid 1 mg to be taken four times a day. She gradually showed significant improvement in her symptoms over a course of several months.</p> <p>Conclusions</p> <p>This case demonstrates that adults diagnosed with fibromyalgia may have their symptom complex related to an adult onset mitochondrial myopathy. This is an important finding since treatment of mitochondrial myopathy resulted in resolution of symptoms.</p