Results 31 to 40 of about 3,283,403 (291)
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
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 +7 more
wiley +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
Gender inequality in Russia's rural formal economy
, 2020 Gender inequality in Russia's rural formal economy is examined using quantitative and qualitative data. Rural women continue to be underrepresented in farm managerial positions, and gendered income differences remain the norm.
Pugacheva M. +4 more
core +2 more sources
FishesThe high-quality development of China’s fishery economy serves as its core objective, with robust financial support playing a pivotal role. This study employs provincial panel data spanning 2005 to 2020 and utilizes the entropy method to evaluate the ...
Shengchao Ye +4 more
doaj +1 more source
Political Economy of Reforming Formal Banking Institutions in Iran after 1979 Revolution [PDF]
Faslnāmah-i Pizhūhish/Nāmah-i Iqtisādī, 2017 Endogenous institutional reforms can be analyzed within the framework of political economy. This article focuses on institutional reforms in banking industry. The most important formal institution of banking system, which is regulation and supervision of
ali cheshomi, Habib Habibi Nikjou
doaj +1 more source
FEBS Open Bio, EarlyView.Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya +2 more
wiley +1 more source
An alliance for a more formal economy
, 2020 En la Facultad de Economía de la Universidad del Rosario se gestó una novedosa forma de alianza entre el sector real y la academia, que permitirá poner en práctica ideas innovadoras que eliminen las barreras a la informalidad en diferentes sectores ...
Solano, Victor +3 more
core +2 more sources
Journal of Open Innovation: Technology, Market and Complexity, 2023 The objective of the present research is to assess how and to what extent government-to-person (G2P) digital welfare, and business-to-person (B2P) electronic payroll practices, affect formal financial inclusion outcomes in the global open economy.
Ibrahim Niankara, Abu Reza M. Islam
doaj +1 more source
Pathways and pitfalls: a qualitative study of student experiences in biomedical science education
FEBS Open Bio, EarlyView.Biomedical science students from underrepresented backgrounds face barriers including financial strain, disrupted laboratory access and cultural exclusion. Peer networks provide vital support when institutional systems are difficult to navigate. To create inclusive learning environments and achieve academic success, educators should blend active, hands‐
Olivia J. Russell +8 more
wiley +1 more source