A New Generation of N-Heterocyclic Carbene (NHC) Gold-Selenolato Complexes as Potent Anticancer Agents: Distinct Synthetic Routes and Evaluation in 2D and 3D Cancer Models
AxEnMULT: Design of an Efficient and Reliable Approximate Encoding-Based Multiplier
XMULT: An Energy-Efficient Design of Approximate Multiplier
Constraint programming-based verification of COLREG safety
An Agda formalization of nonassociative Lambek calculus and its metatheory
Telepresence Robots and Inclusive Hybrid Learning: Bridging Gaps in Higher Education Classrooms
Integration of Artificial Intelligence in Higher Education Programming Courses: Insights from Student Perspectives and Practices
Integration of Beekeeping with the Concept of Smart Manufacturing
Semi-substructural logics à la Lambek with symmetry
Antibacterial Properties of Submerged Cultivated Fomitopsis pinicola, Targeting Gram-Negative Pathogens, Including Borrelia burgdorferi
SecRef*: securely sharing mutable references between verified and unverified code in F*
Comparing Traditional and eXtended Reality-based Learning: Effects on Performance, Emotions, and Cognitive Aspects
A scope review of secure broadcasting protocols for the automatic identification system
In vitro adsorption of direct oral anticoagulants from patient plasma samples