Results 231 to 240 of about 16,755 (243)

Creating Supplementary Material for the Course “Object-Oriented Programming”

Vessel, Marcus
openalex   +1 more source

Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs

, 1994
Gary T. Leavens, William E. Weihl
openalex   +1 more source

Impact of Anode to Cathode Crossover in Lithium‐metal Batteries With High‐Nickel Cathodes

Advanced Materials, EarlyView.
Anode‐to‐cathode chemical crossover is identified as a critical degradation mechanism in lithium‐metal batteries. Full‐cell experiments with high‐Ni layered oxide cathodes and localized high‐concentration electrolytes reveal accelerated cathode impedance growth and CEI thickening driven by lithium‐metal anodes. The findings underscore the importance of
Zezhou Guo, Andrei Dolocan, Arumugam Manthiram   +2 more
wiley   +1 more source

Polymers as the Primary Fabrication Material for Soft Robotic Grippers: A Concise Review. [PDF]

Polymers (Basel)
Yeromina M, Duplák J, Mikuláško S, Kaščák R.   +3 more
europepmc   +1 more source

Ultrathin Monatomic Antimony Films by Sacrificial Atomic Layer Deposition for Phase Change Memory

Advanced Materials, EarlyView.
A three‐step sacrificial atomic layer deposition (s‐ALD) process enables wafer‐scale growth of ultrathin and uniform antimony (Sb) thin films. An ultrathin (≈4 nm) Sb film is uniformly deposited with its characteristic bilayer structure (Sb‐Sb) aligned along the substrate.
Gwangsik Jeon, Sangmin Jeon, Seunghwan Lee, Jeong Woo Jeon, Wonho Choi, Byongwoo Park, Sungjin Kim, Chanyoung Yoo, Hyejin Jang, Cheol Seong Hwang   +9 more
wiley   +1 more source

Improved YOLOv9-based remote sensing image detection method. [PDF]

Sci Rep
Chen M, Wang C, Yu Y, Li Y, Li Y, Chen X.   +5 more
europepmc   +1 more source

Application of domain-specific modeling in kinetography and bipedal humanoid robot control. [PDF]

PeerJ Comput Sci
Djukić V, Oros D, Penčić M, Lu Z.
europepmc   +1 more source

Review of open-source software for developing heterogeneous data management systems for bioinformatics applications. [PDF]

Bioinform Adv
Silva D, Moir M, Dunaiski M, Blanco N, Murtala-Ibrahim F, Baxter C, de Oliveira T, Xavier JS, INFORM Africa Research Study Group .   +8 more
europepmc   +1 more source

Rnalib: a Python library for custom transcriptomics analyses. [PDF]

Bioinformatics
Popitsch N, Ameres SL.
europepmc   +1 more source

CPDDA: A Python Package for Discrete Dipole Approximation Accelerated by CuPy. [PDF]

Nanomaterials (Basel)
Xu D, Tuersun P, Li S, Wang M, Jiang L.
europepmc   +1 more source