Found 1,710 document(s)
Page 11 of 114
-
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. FMCAD provides a leading forum to researcher...
-
Sub-Saharan Africa (SSA) is home to the largest share of global poverty and has the widest poverty gap, where, on average, its poor are living much further below the extreme poverty threshold compared to other regions of...
-
This study was commissioned to conduct a diagnostic evaluation of enrollment levels in Science, Technology, Engineering, and Mathematics (STEM) education, as well as the quality of training (especially development of emp...
-
Nach welchen Kriterien duΜrfen ethisch umstrittene (Bio-)Technologien in das oΜffentliche Gesundheitswesen aufgenommen werden? Zwar wird vertreten, dass diese Entscheidung moralischen Vorgaben entsprechen sollte, doch ha...
-
We introduce SENSAAS-Bioisostere, a computational method for identifying bioisosteric replacements or scaffold-hopping. Our process utilizes the matching and sub-matching properties of the method SENSAAS to compare fragm...
-
Open access biomedical research article published in BMC Nurs....
-
Open access biomedical research article published in Front Ophthalmol (Lausanne)....
-
Open access biomedical research article published in Transpl Int....
-
The mechanisms that ensure promises are fulfilled lie at the heart of economic systems. For businesses, promises, whether based on informal handshakes or lengthy contracts, are crucial for reliable access to inputs. Yet ...
-
Open access biomedical research article published in Eur J Radiol Open....
-
Observation-based estimation of urban CO2 emissions can help cities track their pathway to net zero emissions, a goal many cities worldwide have adopted. While mesoscale atmospheric transport models are an effective comp...