Results 21 to 30 of about 368,128 (266)

One-clock synthesis problems

CoRR
We study a generalisation of Büchi-Landweber games to the timed setting. The winning condition is specified by a non-deterministic timed automaton, and one of the players can elapse time. We perform a systematic study of synthesis problems in all variants of timed games, depending on which player's winning condition is specified, and which player's ...
Lasota, Sławomir, Lehaut, Mathieu, Parreaux, Julie, Piórkowski, Radosław   +3 more
openaire   +5 more sources

Analysis and Synthesis in the Design of Magnetic Switching Electric Machines

Actuators, 2021
A systematic approach to the design of electrical machines is implemented by solving problems of analysis and synthesis in various combinations at different stages and stages of design. The questions of the formulation and implementation of synthesis and
Nikolay Shaitor, Michal Kelemen, Boris Yakimovich   +2 more
doaj   +1 more source

How students process equations in solving quantitative synthesis problems? Role of mathematical complexity in students’ mathematical performance

Physical Review Physics Education Research, 2017
We examine students’ mathematical performance on quantitative “synthesis problems” with varying mathematical complexity. Synthesis problems are tasks comprising multiple concepts typically taught in different chapters.
Bashirah Ibrahim, Lin Ding, Andrew F. Heckler, Daniel R. White, Ryan Badeau   +4 more
doaj   +1 more source

Students’ conceptual performance on synthesis physics problems with varying mathematical complexity

Physical Review Physics Education Research, 2017
A body of research on physics problem solving has focused on single-concept problems. In this study we use “synthesis problems” that involve multiple concepts typically taught in different chapters.
Bashirah Ibrahim, Lin Ding, Andrew F. Heckler, Daniel R. White, Ryan Badeau   +4 more
doaj   +1 more source

Microbiome−host proteostasis crosstalk—An emerging perspective on mechanisms and interventions toward healthy longevity

FEBS Letters, EarlyView.
Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley   +1 more source

Design and analysis strategies for robust microbiome ageing research

FEBS Letters, EarlyView.
The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik, İsmail Güderer, Yi Wang, Tayyaba Alvi, Prasoon Pandey, Handan Melike Dönertaş   +5 more
wiley   +1 more source

Engineering peptides into antibodies—opportunities and strategies for therapeutic innovation

FEBS Letters, EarlyView.
Peptides and antibodies occupy complementary therapeutic niches. Peptides recognize difficult targets in a compact format, while antibodies add specificity, long half‐life, and effector functions. This review examines strategies that merge both modalities—peptide grafting into loops, terminal and Fc fusions, and bioconjugation—highlighting how ...
Jinling Wang, Ruslana Romaniuk, Hristo L. Svilenov   +2 more
wiley   +1 more source

Artificial molecular machines and motors—Design and control of nanoscale motion

FEBS Letters, EarlyView.
Molecules are constantly moving because of thermal fluctuations, but random motion alone cannot be exploited to perform directional tasks. Artificial molecular machines use chemical, electrical, or light energy to bias this motion. Molecular shuttles, rotary motors, and supramolecular pumps illustrate how nanoscale movement can be controlled and ...
Leonardo Andreoni, Alberto Credi
wiley   +1 more source

Adaptive wireless network multi-objective optimization algorithm based on image synthesis

EURASIP Journal on Image and Video Processing, 2018
Multi-objective optimization problems can be divided into continuous multi-objective optimization problems and discrete multi-objective optimization problems, and discrete multi-objective optimization is not universal.
Jianwei Zhang, Xueya Zhang
doaj   +1 more source

Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research

FEBS Letters, EarlyView.
What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley   +1 more source