488 research outputs found
K-branching UIO sequences for partially specified observable non-deterministic FSMs
In black-box testing, test sequences may be constructed from systems modelled as deterministic finite-state machines (DFSMs) or, more generally, observable non-deterministic finite state machines (ONFSMs). Test sequences usually contain state identification sequences, with unique input output sequences (UIOs) often being used with DFSMs. This paper extends the notion of UIOs to ONFSMs. One challenge is that, as a result of non-determinism, the application of an input sequence can lead to exponentially many expected output sequences. To address this scalability problem, we introduce K-UIOs: K-UIOs that lead to at most K output sequences from states of M. We show that checking K-UIO existence is PSPACE-Complete if the problem is suitably bounded; otherwise it is in EXPSPACE and PSPACE-Hard. We provide a massively parallel algorithm for constructing K-UIOs and the results of experiments on randomly generated and real FSM specifications. The proposed algorithm was able to construct UIOs in cases where the existing UIO generation algorithm could not and was able to construct UIOs from FSMs with 38K states and 400K transitions
Association between mean platelet volume levels and inflammation in SLE patients presented with arthritis
Background: Systemic lupus erythematosus (SLE) may be characterized by periods of remissions and chronic or acute relapses. The complexity of clinical presentation of the SLE patients leads to incorrect evaluation of disease activity. Mean platelet volume (MPV) has been studied as a simple inflammatory marker in several diseases. There is no study in the literature about MPV levels in adult SLE patients with arthritis.Objectives: We aimed to investigate the MPV levels in the SLE population with arthritis during and between activations.Methods: The study consisted of 44 SLE patients with arthritis in activation period (Group 1), the same 44 SLE patients with arthritis in remission period (Group 2) and 44 healthy controls (Group 3). Erythrocyte sedimentation rate (ESR), creactive protein (CRP), white blood cell count, platelet count, and mean platelet volume (MPV) levels were retrospectively recorded from patient files.Results: The mean ages of the SLE subjects were 42 ± 16 years, while the mean ages of controls was 41 ± 17 years. MPV was significantly lower in Group 1(7.66±0.89fL) than in Group 2 (8.61±1.06 fL) and Group 3(8.62±1.11fL) (p<0.0001). The differences between groups reached statistical significance.Conclusions: We suggest that MPV levels decrease in patients with arthritis of SLE activation when compared to the same patients in remission and healthy controls.Key words: Systemic lupus erythematosus, Arthritis, Mean platelet volum
Coordination of ECA Rules by Verification and Control
International audienceEvent-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers
Elevated levels of MMP12 sourced from macrophages are associated with poor prognosis in urothelial bladder cancer
Biomarkers; Proteomics; Urothelial bladder cancerBiomarcadores; Proteómica; Cáncer de vejiga urotelialBiomarcadors; Proteòmica; Càncer de bufeta urotelialBackground
Urothelial bladder cancer is most frequently diagnosed at the non-muscle-invasive stage (NMIBC). However, recurrences and interventions for intermediate and high-risk NMIBC patients impact the quality of life. Biomarkers for patient stratification could help to avoid unnecessary interventions whilst indicating aggressive measures when required.
Methods
In this study, immuno-oncology focused, multiplexed proximity extension assays were utilised to analyse plasma (n = 90) and urine (n = 40) samples from 90 newly-diagnosed and treatment-naïve bladder cancer patients. Public single-cell RNA-sequencing and microarray data from patient tumour tissues and murine OH-BBN-induced urothelial carcinomas were also explored to further corroborate the proteomic findings.
Results
Plasma from muscle-invasive, urothelial bladder cancer patients displayed higher levels of MMP7 (p = 0.028) and CCL23 (p = 0.03) compared to NMIBC patients, whereas urine displayed higher levels of CD27 (p = 0.044) and CD40 (p = 0.04) in the NMIBC group by two-sided Wilcoxon rank-sum tests. Random forest survival and multivariable regression analyses identified increased MMP12 plasma levels as an independent marker (p < 0.001) associated with shorter overall survival (HR = 1.8, p < 0.001, 95% CI:1.3–2.5); this finding was validated in an independent patient OLINK cohort, but could not be established using a transcriptomic microarray dataset. Single-cell transcriptomics analyses indicated tumour-infiltrating macrophages as a putative source of MMP12.
Conclusions
The measurable levels of tumour-localised, immune-cell-derived MMP12 in blood suggest MMP12 as an important biomarker that could complement histopathology-based risk stratification.
As MMP12 stems from infiltrating immune cells rather than the tumor cells themselves, analyses performed on tissue biopsy material risk a biased selection of biomarkers produced by the tumour, while ignoring the surrounding microenvironment.Open access funding provided by Uppsala University. This work was supported by the Swedish Society for Medical Research (S15-0065) to S.M. and the Swedish Cancer Foundation (CAN 2017/199) to P-U. M. The funding bodies did not influence the research performed
Raman Enhancement on a Broadband Meta-Surface
Cataloged from PDF version of article.Plasmonic metamaterials allow confinement of light to deep subwavelength dimensions, while allowing for the tailoring of dispersion and electromagnetic mode density to enhance specific photonic properties. Optical resonances of plasmonic molecules have been extensively investigated; however, benefits of strong coupling of dimers have been overlooked. Here, we construct a plasmonic meta-surface through coupling of diatomic plasmonic molecules which contain a heavy and light meta-atom. Presence and coupling of two distinct types of localized modes in the plasmonic molecule allow formation and engineering of a rich band structure in a seemingly simple and common geometry, resulting in a broadband and quasi-omni-directional meta-surface. Surface-enhanced Raman scattering benefits from the simultaneous presence of plasmonic resonances at the excitation and scattering frequencies, and by proper design of the band structure to satisfy this condition, highly repeatable and spatially uniform Raman enhancement is demonstrated. On the basis of calculations of the field enhancement distribution within a unit cell, spatial uniformity of the enhancement at the nanoscale is discussed. Raman scattering constitutes an example of nonlinear optical processes, where the wavelength conversion during scattering may be viewed as a photonic transition between the bands of the meta-material
Adaptive plasticity in the healthy reading network investigated through combined neurostimulation and neuroimaging
The reading network in the human brain comprises several regions, including the left inferior frontal cortex (IFC), ventral occipito-temporal cortex (vOTC) and dorsal temporo-parietal cortex (TPC). The left TPC is crucial for phonological decoding, i.e., for learning and retaining sound-letter mappings. Here, we tested the causal contribution of this area for reading with repetitive transcranial magnetic stimulation (rTMS) and explored the response of the reading network using functional magnetic resonance imaging (fMRI). 28 healthy adult readers overtly read simple and complex words and pseudowords during fMRI after effective or sham TMS over the left TPC. Behaviorally, effective stimulation slowed pseudoword reading. A multivariate pattern analysis showed a shift in activity patterns in the left IFC for pseudoword reading after effective relative to sham TMS. Furthermore, active TMS led to increased effective connectivity from the left vOTC to the left TPC, specifically for pseudoword processing. The observed changes in task-related activity and connectivity suggest compensatory reorganization in the reading network following TMS-induced disruption of the left TPC. Our findings provide first evidence for a causal role of the left TPC for overt pseudoword reading and emphasize the relevance of functional interactions in the healthy reading network for successful pseudoword processing
The role of the angular gyrus in semantic cognition: A synthesis of five functional neuroimaging studies
Semantic knowledge is central to human cognition. The angular gyrus (AG) is widely considered a key brain region for semantic cognition. However, the role of the AG in semantic processing is controversial. Key controversies concern response polarity (activation vs. deactivation) and its relation to task difficulty, lateralization (left vs. right AG), and functional-anatomical subdivision (PGa vs. PGp subregions). Here, we combined the fMRI data of five studies on semantic processing (n = 172) and analyzed the response profiles from the same anatomical regions-of-interest for left and right PGa and PGp. We found that the AG was consistently deactivated during non-semantic conditions, whereas response polarity during semantic conditions was inconsistent. However, the AG consistently showed relative response differences between semantic and non-semantic conditions, and between different semantic conditions. A combined analysis across all studies revealed that AG responses could be best explained by separable effects of task difficulty and semantic processing demand. Task difficulty effects were stronger in PGa than PGp, regardless of hemisphere. Semantic effects were stronger in left than right AG, regardless of subregion. These results suggest that the AG is engaged in both domain-general task-difficulty-related processes and domain-specific semantic processes. In semantic processing, we propose that left AG acts as a "multimodal convergence zone" that binds different semantic features associated with the same concept, enabling efficient access to task-relevant features
Rebaudioside A inhibits pentylenetetrazol-induced convulsions in rats
AbstractThe safety of patients with epilepsy consuming sweetening agents, which is becoming increasingly prevalent for various reasons, is a topic that should be emphasized as sensitively as it is for other diseases. Patients with epilepsy consume sweetening agents for different reasons such being diabetic or overweight. They can occasionally be exposed to sweetening agents unrestrainedly through consuming convenience food, primarily beverages. This study aimed to investigate the effects of rebaudioside A (Reb-A), which is a steviol glycoside produced from the herb Stevia rebaudiana (Bertoni), on epileptic seizures and convulsions induced by pentylenetetrazole (PTZ). Forty-eight male rats were used. Twenty-four rats were administered 35 mg/kg PTZ to trigger epileptiform activity; the remaining 24 rats were administered 70 mg/kg PTZ to trigger the convulsion model. The epileptiform activity was evaluated by spike percentage, whereas convulsion was evaluated by Racine's Convulsion Scale and the onset time of the first myoclonic jerk. Statistical analysis revealed a statistically significant decrease in the Racine's Convulsion Scale score and increase in the latency of first myoclonic jerk in a dose-dependent manner for the rat groups in which PTZ epilepsy had been induced and Reb-A had been administered. For the groups that were administered Reb-A, the spike decrease was apparent in a dose-dependent manner, based on the spike percentage calculation. These results indicated that Reb-A has positive effects on PTZ-induced convulsions
Accelerating finite state machine-based testing using reinforcement learning
Testing is a crucial phase in the development of complex systems, and this has led to interest in automated test generation techniques based on state-based models. Many approaches use models that are types of finite state machine (FSM). Corresponding test generation algorithms typically require that certain test components, such as reset sequences (RSs) and preset distinguishing sequences (PDSs), have been produced for the FSM specification. Unfortunately, the generation of RSs and PDSs is computationally expensive, and this affects the scalability of such FSM-based test generation algorithms. This paper addresses this scalability problem by introducing a reinforcement learning framework: the Q -Graph framework for MBT. We show how this framework can be used in the generation of RSs and PDSs and consider both (potentially partial) timed and untimed models. The proposed approach was evaluated using three types of FSMs: randomly generated FSMs, FSMs from a benchmark, and an FSM of an Engine Status Manager for a printer. In experiments, the proposed approach was much faster and used much less memory than the state-of-the-art methods in computing PDSs and RSs
Portable Microfluidic Integrated Plasmonic Platform for Pathogen Detection
Timely detection of infectious agents is critical in early diagnosis and treatment of infectious diseases. Conventional pathogen detection methods, such as enzyme linked immunosorbent assay (ELISA), culturing or polymerase chain reaction (PCR) require long assay times, and complex and expensive instruments, which are not adaptable to point-of-care (POC) needs at resource-constrained as well as primary care settings. Therefore, there is an unmet need to develop simple, rapid, and accurate methods for detection of pathogens at the POC. Here, we present a portable, multiplex, inexpensive microfluidic-integrated surface plasmon resonance (SPR) platform that detects and quantifies bacteria, i.e., Escherichia coli (E. coli) and Staphylococcus aureus (S. aureus) rapidly. The platform presented reliable capture and detection of E. coli at concentrations ranging from ∼105 to 3.2 × 107 CFUs/mL in phosphate buffered saline (PBS) and peritoneal dialysis (PD) fluid. The multiplexing and specificity capability of the platform was also tested with S. aureus samples. The presented platform technology could potentially be applicable to capture and detect other pathogens at the POC and primary care settings. © 2015, Nature Publishing Group. All rights reserved
- …