Results 41 to 50 of about 16,212,430 (313)
Extended AIGER Format for Synthesis [PDF]
, 2014 We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one format for posing synthesis problems and one for solutions of synthesis ...
Jacobs, Swen
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Psychological safety (PS) is essential for teamwork, communication, and patient safety in complex healthcare environments. In pediatric oncology, interprofessional collaboration occurs under high emotional and organizational demands. Low PS may increase stress, burnout, and adverse events.
Alexandros Rahn +4 more
wiley +1 more source
ℋ∞ optimization with spatial constraints [PDF]
, 1995 A generalized ℋ∞ synthesis problem where non-euclidian spatial norms on the disturbances and output error are used is posed and solved. The solution takes the form of a linear matrix inequality. Some problems which fall into this class are presented.
D'Andrea, Raffaello
core
Acoustic modeling using the digital waveguide mesh [PDF]
, 2007 The digital waveguide mesh has been an active area of music acoustics research for over ten years. Although founded in 1-D digital waveguide modeling, the principles on which it is based are not new to researchers grounded in numerical simulation, FDTD ...
Kelloniemi, Antti +3 more
core +2 more sources
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
RUDN Journal of Engineering Research, 2021 The spatial stabilization system synthesis problem of the robot is considered. The historical overview of methods and approaches for solving the problem of control synthesis is given.
Askhat I. Diveev +1 more
doaj +1 more source
Alkene/Alkyne Chemistry #1 [PDF]
, 2015 A mechanism and a synthesis problem related to alkene and alkyne chemistryTwo problems related to alkene and alkyne ...
Snyder, John K.
core +1 more source
Using Program Synthesis for Program Analysis [PDF]
, 2015 In this paper, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g.
David, Cristina +2 more
core +4 more sources
The role and implications of mammalian cellular circadian entrainment
FEBS Letters, EarlyView.At their most fundamental level, mammalian circadian rhythms occur inside every individual cell. To tell the correct time, cells must align (or ‘entrain’) their circadian rhythm to the external environment. In this review, we highlight how cells entrain to the major circadian cues of light, feeding and temperature, and the implications this has for our
Priya Crosby
wiley +1 more source
Peptide‐based ligand antagonists block a Vibrio cholerae adhesin
FEBS Letters, EarlyView.The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang +9 more
wiley +1 more source