Results 31 to 40 of about 16,156,613 (303)

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   +3 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

The Church Synthesis Problem with Parameters [PDF]

Logical Methods in Computer Science, 2007
For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F(X)) is universally valid over Nat. B\"{u}chi and Landweber proved that the Church synthesis problem is decidable; moreover, they showed that if there is an ...
openaire   +3 more sources

Improved Differential Evolution Strategy for Antenna Array Pattern Synthesis Problems

, 2011
An Improved Difierential Evolution (IDE) algorithm is proposed for optimization problems. With the novel mutant operation adopting sub-optimal individual, the convergence of Difierential Evolution (DE) algorithm is accelerated without increasing the risk
Rui Li, Le Xu, Xiao-wei Shi, N. Zhang, Z. Lv   +4 more
semanticscholar   +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

The Role of “Adult‐Onset” Cancer Predisposition Genes in Pediatric Cancer: A Comprehensive Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Current literature estimates that 10% of pediatric cancers are caused by pathogenic or likely pathogenic (P/LP) germline variants in cancer predisposition genes (CPGs). Variants in CPGs thought to increase cancer risk exclusively during adulthood are referred to as “adult‐onset” CPGs (aoCPGs).
Maria Rozo, Miriam A. Bornhorst, Angela J. Waanders, Sara Zarnegar‐Lumley, Ashwin Lakshman Koppayi, Lucy A. Godley   +5 more
wiley   +1 more source

Psychosocial Functioning After Pediatric Bone Sarcoma: Generic and Survivor‐Specific Outcomes in Adolescent and Young Adult Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek, Heleen Maurice‐Stam, Laura R. Beek, Jennifer van Dijk, Marjolein E. M. Langemeijer, Relinde W. Slooff‐Lentink, Alied M. van der Aa‐van Delden, Anne Westerweel, Marloes van Gorp, Hendrik W. B. Schreuder, Lianne M. Haveman, W. Peter Bekkering, Leonie G. Tigelaar, Johannes H. M. Merks, Martha A. Grootenhuis   +14 more
wiley   +1 more source

Organoids in pediatric cancer research

FEBS Letters, EarlyView.
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley   +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