Results 51 to 60 of about 25,430 (307)
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality [PDF]
IFAC Proceedings Volumes, 2014 This paper presents a novel approach to adapt a behavioral model in order to satisfy a requirement in Hennessy-Milner Logic, including an additional box modality operator, expressing an invariant formula. Control system synthesis, as defined in this way, retains all non-invalidating behavior, and thereby guarantees maximal permissiveness for ...
Allan van Hulst +2 more
openaire +2 more sources
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
A Physical Model of a Single-Reed Wind Instrument, Including Actions of the Player [PDF]
, 2003 For the Physical Modeling Synthesis of wind instruments, we choose to design a model adapted to time domain simulation which takes into account the main part of the physical phenomena, including instrument/player interactions.
DUCASSE, Eric
core +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Modal Synthesis with the Isogeometric Kirchhoff–Love Shell Elements
, 2017 The modal synthesis method is frequently used for the analysis of large structures composed of multiple parts concerning dynamic aspects. In this paper, we extended the modal synthesis method under the isogeometric analysis framework.
Frederic Gillot +2 more
core +1 more source
Differentiated haptic stimulation by modal synthesis of vibration field [PDF]
2018 IEEE Haptics Symposium (HAPTICS), 2018 To date, Several focusing techniques have been proposed to realize localized stimulation on haptic interfaces: phased arrays of actuators with delayed excitation, or time reversal techniques which require a preliminary learning phase. Additionally, these techniques are sensitive to parameters variation and disturbances.
Ehsan Enferad +4 more
openaire +3 more sources
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
Comparação de métodos de determinação do amortecimento estrutural através de técnicas de ajuste de curvas de funções resposta em frequência [PDF]
, 2013 Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológio. Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2013A fenomenologia complexa dos mecanismos de amortecimento dos materiais e das estruturas impede a ...
Masotti, Diego
core
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
, 2022 AbstractUCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have multiple, varied specifications, or systems that require hybrid modes of modeling. A novel aspect of UCLID5 is an
Elizabeth Polgreen +8 more
openaire +5 more sources
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