Results 21 to 30 of about 1,295,766 (195)
Robust Weighted Timed Automata and Games [PDF]
, 2013 Weighted timed automata extend timed automata with cost variables that can be used to model the evolution of various quantities. Although cost-optimal reachability is decidable (in polynomial space) on this model, it becomes undecidable on weighted ...
Markey, Nicolas +5 more
core +1 more source
Attainable sets of quasiconcave markets
, 1977 The union of any finite collection of corners is the attainable set of a market with continuous, monotone increasing, quasiconcave utility functions. It follows that the attainable sets of such markets are dense in the collection of attainable sets of ...
Robert James Weber
core +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Optimizing photoexcitation conditions for time‐resolved X‐ray solution scattering experiments
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering (TR‐XSS) is a powerful technique to visualize how proteins change their structure in real time after light activation. Selecting the right laser photoexcitation conditions—fluence, excitation geometry, and sample refresh rate—is critical to maximize the experimental signal while avoiding unwanted side effects ...
Matteo Levantino
wiley +1 more source
FEBS Open Bio, EarlyView.Research is strongest when conducted alongside patients, not just about them. Patient research organizations help integrate patient perspectives into research priorities, study design, and scientific meetings, leading to meaningful patient outcomes and development of relevant therapies.
Jenica H. Kakadia +9 more
wiley +1 more source
Beyond sum-free sets in the natural numbers [PDF]
, 2014 For an interval [1,N]⊆N, sets S⊆[1,N] with the property that |{(x,y)∈S2:x+y∈S}|=0, known as sum-free sets, have attracted considerable attention. In this paper, we generalize this notion by considering r(S)=|{(x,y)∈S2:x+y∈S}|, and analyze its behaviour ...
Huczynska, Sophie
core +2 more sources
Performance Guarantees for Distributed Reachability Queries [PDF]
, 2012 In the real world a graph is often fragmented and distributed across different sites. This highlights the need for evaluating queries on distributed graphs.
Wang, Xin +2 more
core
FEBS Open Bio, EarlyView.This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court +3 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng +4 more
wiley +1 more source
Sampling-based Polytope Calculus for Reachability Analysis of Dynamical Systems [PDF]
, 2023 openPolytope calculus is a powerful and useful tool for generating and computing polytopes that find use in many applications, from dynamical systems to higher algebra and graph theory.
ZANARINI, DAVIDE
core