Results 101 to 110 of about 19,419,888 (317)

Data-driven and Model-based Verification: a Bayesian Identification Approach [PDF]

, 2015
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded on reachability analysis and on Bayesian inference, to compute the ...
Haesaert, S., S. Haesaert, P.M.J. Van den Hof, Van den Hof, P.M.J.; id_orcid, A. Abate, Hof, PMJ Paul van den, Abate, A., Van den Hof, P.M.J., Abate, A Alessandro, Haesaert, S Sofie   +9 more
core   +1 more source

Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation

FEBS Letters, EarlyView.
Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz, Mihály Mérey, Rebeka Vásárhelyi, Ramóna Pék, Victor Imburchia, László Henn, Adrián Kószó, Nicholas D. Lakin, Ivan Ahel, Sébastien Huet, Ágnes Czibula, Gyula Timinszky   +11 more
wiley   +1 more source

Developing Social Interaction Skills with Game Technology

SISFORMA, 2019
Socialization is an essential process in human living. Human is a social creature which can not living without the help of others, so human needs friends to communicate and interact with each others to make a living better. Through a socialization, human
Lidya Oktorina Kusuma Sakti, Septyana Hardianti Yunanto   +1 more
doaj   +1 more source

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

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

Application of Vision Transformers to Contamination Detection in Densely Cluttered Waste Scenes

IEEE Open Journal of the Computer Society
With the increasing global waste production, there is a rising need for improved waste management solutions to address this growing issue. In the United States, less than 35% of recyclable materials are actually recycled, leading to higher levels ...
Dishant Mewada, Cathaoir Agnew, Eoin M. Grua, Ciaran Eising, Patrick Denny, Mark Heffernan, Ken Tierney, Pepijn Van de Ven, Anthony Scanlan   +8 more
doaj   +1 more source

Epigenetic blind spots – the role of DNA methylation dynamics in stem cell‐based models of embryogenesis

FEBS Letters, EarlyView.
Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil, Anna Corrà, Annalisa Scapolatiello, Chengxiang Qiu, Gianluca Amadei   +4 more
wiley   +1 more source

Implicit neural representation for potential field geophysics

Scientific Reports
The recent use of spatial coordinate features in multilayer perceptron (MLP) neural networks provides opportunities for novel applications in potential field geophysics.
Luke Thomas Smith, Tom Horrocks, Naveed Akhtar, Eun-Jung Holden, Daniel Wedge   +4 more
doaj   +1 more source

Unveiling the Digital Phenotype of Physical Activity Behavior in Community-Dwelling Older Adults Using Machine Learning

Bioengineering
Physical activity (PA) is an important factor for maintaining health and well-being, especially in older adults. This study aims to apply machine learning methods to predict PA patterns and identify key factors influencing these behaviors among community-
Anas Abdulghani, Kim Daniels, Bruno Bonnechère   +2 more
doaj   +1 more source

pH‐mediated activation of the lysosomal arginine sensor SLC38A9

FEBS Letters, EarlyView.
Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley   +1 more source

Data-Driven Persuasion

This paper develops a data-driven approach to Bayesian persuasion. The receiver is privately informed about the prior distribution of the state of the world, the sender knows the receiver's preferences but does not know the distribution of the state variable, and the sender's payoffs depend on the receiver's action but not on the state.
openaire   +2 more sources