Learning Adaptive Regularization for Image Labeling Using Geometric Assignment

We study the inverse problem of model parameter learning for pixelwise image labeling, using the linear assignment flow and training data with ground truth. This is accomplished by a Riemannian gradient flow on the manifold of parameters that determine the regularization properties of the assignment flow. Using the symplectic partitioned Runge--Kutta method for numerical integration, it is shown that deriving the sensitivity conditions of the parameter learning problem and its discretization commute. A convenient property of our approach is that learning is based on exact inference. Carefully designed experiments demonstrate the performance of our approach, the expressiveness of the mathematical model as well as its limitations, from the viewpoint of statistical learning and optimal control

Scalable Verification of Linear Controller Software

We consider the problem of verifying software implementations of linear time-invariant controllers against mathematical specifications. Given a controller specification, multiple correct implementations may exist, each of which uses a different representation of controller state (e.g., due to optimizations in a third-party code generator). To accommodate this variation, we first extract a controller\u27s mathematical model from the implementation via symbolic execution, and then check input-output equivalence between the extracted model and the specification by similarity checking. We show how to automatically verify the correctness of C code controller implementation using the combination of techniques such as symbolic execution, satisfiability solving and convex optimization. Through evaluation using randomly generated controller specifications of realistic size, we demonstrate that the scalability of this approach has significantly improved compared to our own earlier work based on the invariant checking method

Soft tissue tumor imaging in adults: European Society of Musculoskeletal Radiology-Guidelines 2023—overview, and primary local imaging: how and where?

Objectives: Early, accurate diagnosis is crucial for the prognosis of patients with soft tissue sarcomas. To this end, standardization of imaging algorithms, technical requirements, and reporting is therefore a prerequisite. Since the first European Society of Musculoskeletal Radiology (ESSR) consensus in 2015, technical achievements, further insights into specific entities, and the revised WHO-classification (2020) and AJCC staging system (2017) made an update necessary. The guidelines are intended to support radiologists in their decision-making and contribute to interdisciplinary tumor board discussions. Materials and methods: A validated Delphi method based on peer-reviewed literature was used to derive consensus among a panel of 46 specialized musculoskeletal radiologists from 12 European countries. Statements were scored online by level of agreement (0 to 10) during two iterative rounds. Either “group consensus,” “group agreement,” or “lack of agreement” was achieved. Results: Eight sections were defined that finally contained 145 statements with comments. Overall, group consensus was reached in 95.9%, and group agreement in 4.1%. This communication contains the first part consisting of the imaging algorithm for suspected soft tissue tumors, methods for local imaging, and the role of tumor centers. Conclusion: Ultrasound represents the initial triage imaging modality for accessible and small tumors. MRI is the modality of choice for the characterization and local staging of most soft tissue tumors. CT is indicated in special situations. In suspicious or likely malignant tumors, a specialist tumor center should be contacted for referral or teleradiologic second opinion. This should be done before performing a biopsy, without exception. Clinical relevance: The updated ESSR soft tissue tumor imaging guidelines aim to provide best practice expert consensus for standardized imaging, to support radiologists in their decision-making, and to improve examination comparability both in individual patients and in future studies on individualized strategies. Key Points: • Ultrasound remains the best initial triage imaging modality for accessible and small suspected soft tissue tumors. • MRI is the modality of choice for the characterization and local staging of soft tissue tumors in most cases; CT is indicated in special situations. Suspicious or likely malignant tumors should undergo biopsy. • In patients with large, indeterminate or suspicious tumors, a tumor reference center should be contacted for referral or teleradiologic second opinion; this must be done before a biopsy

A theory of how active behavior stabilises neural activity: neural gain modulation by closed-loop environmental feedback

During active behaviours like running, swimming, whisking or sniffing, motor actions shape sensory input and sensory percepts guide future motor commands. Ongoing cycles of sensory and motor processing constitute a closed-loop feedback system which is central to motor control and, it has been argued, for perceptual processes. This closed-loop feedback is mediated by brainwide neural circuits but how the presence of feedback signals impacts on the dynamics and function of neurons is not well understood. Here we present a simple theory suggesting that closed-loop feedback between the brain/body/environment can modulate neural gain and, consequently, change endogenous neural fluctuations and responses to sensory input. We support this theory with modeling and data analysis in two vertebrate systems. First, in a model of rodent whisking we show that negative feedback mediated by whisking vibrissa can suppress coherent neural fluctuations and neural responses to sensory input in the barrel cortex. We argue this suppression provides an appealing account of a brain state transition (a marked change in global brain activity) coincident with the onset of whisking in rodents. Moreover, this mechanism suggests a novel signal detection mechanism that selectively accentuates active, rather than passive, whisker touch signals. This mechanism is consistent with a predictive coding strategy that is sensitive to the consequences of motor actions rather than the difference between the predicted and actual sensory input. We further support the theory by re-analysing previously published two-photon data recorded in zebrafish larvae performing closed-loop optomotor behaviour in a virtual swim simulator. We show, as predicted by this theory, that the degree to which each cell contributes in linking sensory and motor signals well explains how much its neural fluctuations are suppressed by closed-loop optomotor behaviour. More generally we argue that our results demonstrate the dependence of neural fluctuations, across the brain, on closed-loop brain/body/environment interactions strongly supporting the idea that brain function cannot be fully understood through open-loop approaches alone

Application of a Key Events Dose-Response Analysis to Nutrients: A Case Study with Vitamin A (Retinol)

The methodology used to establish tolerable upper intake levels (UL) for nutrients borrows heavily from risk assessment methods used by toxicologists. Empirical data are used to identify intake levels associated with adverse effects, and Uncertainty Factors (UF) are applied to establish ULs, which in turn inform public health decisions and standards. Use of UFs reflects lack of knowledge regarding the biological events that underlie response to the intake of a given nutrient, and also regarding the sources of variability in that response. In this paper, the Key Events Dose-Response Framework (KEDRF) is used to systematically consider the major biological steps that lead from the intake of the preformed vitamin A to excess systemic levels, and subsequently to increased risk of adverse effects. Each step is examined with regard to factors that influence whether there is progression toward the adverse effect of concern. The role of homeostatic mechanisms is discussed, along with the types of research needed to improve understanding of dose-response for vitamin A. This initial analysis illustrates the potential of the KEDRF as a useful analytical tool for integrating current knowledge regarding dose-response, generating questions that will focus future research efforts, and clarifying how improved knowledge and data could be used to reduce reliance on UFs

Towards the Verification of Hybrid Co-simulation Algorithms

International audienceEngineering modern, hybrid systems is becoming increasingly difficult due to the heterogeneity between different subsystems. Modelling and simulation techniques have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole. Co-simulation is a technique to combine multiple models and their simulators in order to analyse the behaviour of the whole system over time. Past research, however, has shown that the na¨ıvena¨ıve combination of simulators can easily lead to incorrect simulation results, especially when co-simulating hybrid systems. This paper shows (i) how co-simulation of a family of hybrid systems can fail to reproduce the order of events that should have occurred (event ordering); (ii) how to prove that a co-simulation algorithm is correct (w.r.t. event ordering), and if it is incorrect, how to obtain a counterexample showing how the co-simulation fails; and (iii) how to correct an incorrect co-simulation algorithm. We apply the above method to two well known co-simulation algorithms used with the FMI Standard, and we show that one of them is incorrect for the family of hybrid systems under study, under the restrictions of the standard. The conclusion is that either the standard needs to be revised, or one of the algorithms should be avoided

Regulation of Retinoid Receptors by Retinoic Acid and Axonal Contact in Schwann Cells

Background: Schwann cells (SCs) are the cell type responsible for the formation of the myelin sheath in the peripheral nervous system (PNS). As retinoic acid (RA) and other retinoids have a profound effect as regulators of the myelination program, we sought to investigate how their nuclear receptors levels were regulated in this cell type. Methodology/Principal Findings: In the present study, by using Schwann cells primary cultures from neonatal Wistar rat pups, as well as myelinating cocultures of Schwann cells with embryonic rat dorsal root ganglion sensory neurons, we have found that sustained expression of RXR-c depends on the continuous presence of a labile activator, while axonal contact mimickers produced an increase in RXR-c mRNA and protein levels, increment that could be prevented by RA. The upregulation by axonal contact mimickers and the transcriptional downregulation by RA were dependent on de novo protein synthesis and did not involve changes in mRNA stability. On the other hand, RAR-b mRNA levels were only slightly modulated by axonal contact mimickers, while RA produced a strong transcriptional upregulation that was independent of de novo protein synthesis without changes in mRNA stability. Conclusions/Significance: All together, our results show that retinoid receptors are regulated in a complex manner i

Neuropsychiatric outcomes of stroke

The most common neuropsychiatric outcomes of stroke are depression, anxiety, fatigue, and apathy, which each occur in at least 30% of patients and have substantial overlap of prevalence and symptoms. Emotional lability, personality changes, psychosis, and mania are less common but equally distressing symptoms that are also challenging to manage. The cause of these syndromes is not known, and there is no clear relation to location of brain lesion. There are important gaps in knowledge about how to manage these disorders, even for depression, which is the most studied syndrome. Further research is needed to identify causes and interventions to prevent and treat these disorders

Soft tissue tumor imaging in adults: whole-body staging in sarcoma, non-malignant entities requiring special algorithms, pitfalls and special imaging aspects. Guidelines 2024 from the European Society of Musculoskeletal Radiology (ESSR)

ObjectivesThe revised European Society of Musculoskeletal Radiology (ESSR) consensus guidelines on soft tissue tumor imaging represent an update of 2015 after technical advancements, further insights into specific entities, and revised World Health Organization (2020) and AJCC (2017) classifications. This second of three papers covers algorithms once histology is confirmed: (1) standardized whole-body staging, (2) special algorithms for non-malignant entities, and (3) multiplicity, genetic tumor syndromes, and pitfalls.Materials and methodsA validated Delphi method based on peer-reviewed literature was used to derive consensus among a panel of 46 specialized musculoskeletal radiologists from 12 European countries. Statements that had undergone interdisciplinary revision were scored online by the level of agreement (0 to 10) during two iterative rounds, that could result in 'group consensus', 'group agreement', or 'lack of agreement'.ResultsThe three sections contain 24 statements with comments. Group consensus was reached in 95.8% and group agreement in 4.2%. For whole-body staging, pulmonary MDCT should be performed in all high-grade sarcomas. Whole-body MRI is preferred for staging bone metastasis, with [18F]FDG-PET/CT as an alternative modality in PET-avid tumors. Patients with alveolar soft part sarcoma, clear cell sarcoma, and angiosarcoma should be screened for brain metastases. Special algorithms are recommended for entities such as rhabdomyosarcoma, extraskeletal Ewing sarcoma, myxoid liposarcoma, and neurofibromatosis type 1 associated malignant peripheral nerve sheath tumors. Satisfaction of search should be avoided in potential multiplicity.ConclusionStandardized whole-body staging includes pulmonary MDCT in all high-grade sarcomas; entity-dependent modifications and specific algorithms are recommended for sarcomas and non-malignant soft tissue tumors.Clinical relevance statementThese updated ESSR soft tissue tumor imaging guidelines aim to provide support in decision-making, helping to avoid common pitfalls, by providing general and entity-specific algorithms, techniques, and reporting recommendations for whole-body staging in sarcoma and non-malignant soft tissue tumors.Key Points..