Results 51 to 60 of about 12,080,983 (297)

Computer-Aided Verification for Mechanism Design [PDF]

, 2016
In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing.
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub   +5 more
openaire   +3 more sources

Serum Myonectin Levels Are Positively Associated With Physical Function and Lower Frailty‐Related Limitation in Maintenance Hemodialysis Patients: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Maintenance hemodialysis (MHD) patients frequently suffer from frailty, characterized by reduced physical function and poor prognosis. Myokines, such as myonectin, secreted by muscle, are emerging regulators of systemic health. This study investigated the relationship between serum myonectin, adipokines (adiponectin, omentin), and ...
Kenichi Kono, Yoshifumi Moriyama, Koji Ohashi, Naoya Otaka, Minako Tatsumi, Toyoaki Murohara, Noriyuki Ouchi, Satoru Oshima   +7 more
wiley   +1 more source

How neocarcerand Octacid4 self-assembles with guests into irreversible noncovalent complexes and what accelerates the assembly

Communications Chemistry, 2022
Neocarcerand Octacid4 can assemble with small molecule guests at room temperature to produce irreversible noncovalent bimolecular complexes, but the nature of the self-assembly pathway remains poorly understood.
Yuan-Ping Pang
doaj   +1 more source

Forecasting the Dialysis Burden in Japan: Validation‐Based Projections of Prevalence and Incidence Through 2050

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin, Berrak Itır Aylı, Nüket Paksoy   +2 more
wiley   +1 more source

Association Between Individualized Education for Kidney Replacement Therapy Modality Selection and Peritoneal Dialysis Initiation: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito, Ryuichi Yoshimura, Takaki Yamauchi, Yuta Funakoshi, Hirotaka Sonoda, Seiji Kobayashi, Hiroyuki Terawaki, Takafumi Ito   +7 more
wiley   +1 more source

Computer-aided design in the construction industry – BIM technology as a modern design tool [PDF]

, 2020
The development of the computer industry has largely contributed to significant progress in design. For several decades, computers have supported designers worldwide.
Joanna Agnieszka Pawłowicz, Pawłowicz, Joanna Agnieszka, null null   +2 more
core   +1 more source

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019 [PDF]

, 2019
Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties / by Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier (p.
Formal Methods in Computer Aided Design
core  

Experimental Validation and Reservoir Computing Capability of Spiking Neuron Based on Threshold Selector and Tunnel Diode

Big Data and Cognitive Computing
Despite the success of artificial neural networks in solving numerous tasks, they face significant challenges, including difficulties in online adaptation and rapidly increasing energy consumption.
Vasiliy Pchelko, Vladislav Kholkin, Vyacheslav Rybin, Alexander Mikhailov, Timur Karimov   +4 more
doaj   +1 more source

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source