Results 51 to 60 of about 5,223,875 (168)
Programming language foundations / Aaron Stump, Department of Computer Science, University of Iowa.
, 2014 computer bookfair2015Includes bibliographical references (pages 321-323) and index.x, 326 pages :"Stump's Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several
Stump, Aaron, author.
core
Advanced Materials, EarlyView.Density‐driven differential sedimentation fractionates solution‐assembled P3HT nanowires into crystalline and disordered constituents. High‐resolution cryo‐TEM directly visualizes the molecular chain packing within individual nanowires in real space, and recombining the fractions programs the mobility–stretchability trade‐off without chemical ...
Junyeon Yoon, Jun Ho Hwang, Eunji Lee
wiley +1 more source
Breaking Bottlenecks in Solid Electrolyte Discovery With Large Artificial Intelligence Models
Advanced Materials, EarlyView.Large AI models are presented as a route to break key bottlenecks in solid electrolyte discovery by linking materials databases, machine‐learning interatomic potentials, large language models, and autonomous experiments. This perspective highlights how AI can accelerate the identification of solid electrolytes with fast ion transport, stable interfaces,
Eric Jianfeng Cheng +24 more
wiley +1 more source
, 1999 This paper has been published as: Klling, M., "The Blue Language," Journal of Object-Oriented Programming, 11(10 ...
Michael Kölling, Kölling, Michael
core
Dual‐Mode Gripper With Suction and Shape‐Adaptive Freezing Grasps
Advanced Robotics Research, EarlyView.This study presents a dual‐mode robotic gripper that combines vacuum suction with a shape‐adaptive freezing grasp. The freezing mode uses a compliant rubber membrane, a sprayed water layer, and dry‐ice powder to generate ice‐mediated adhesion while conforming to complex geometries.
Takuma Yanagisawa +4 more
wiley +1 more source
Facilitating modular property-preserving extensions of programming languages [PDF]
, 1998 We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in
Claus Pahl, Pahl, Claus
core +2 more sources
Advanced Science, EarlyView.This review comprehensively summarizes the atomic defects in TMDs for their applications in sustainable energy storage devices, along with the latest progress in ML methodologies for high‐throughput TEM data analysis, offering insights on how ML‐empowered microscopy facilitates bridging structure–property correlation and inspires knowledge for precise ...
Zheng Luo +6 more
wiley +1 more source
Reflection and hyper-programming in persistent programming systems [PDF]
, 2011 In an orthogonally persistent programming system, data is treated in a manner independent of its persistence. This gives simpler semantics, allows the programmer to ignore details of long-term data storage and enables type checking protection ...
Kirby, Graham N. C.
core +2 more sources
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Advanced Science, EarlyView.This study achieves anisotropic thermal expansion tuning in Nd2(Co1‐xFex)17‐yCry compounds via a magnetoelastic strategy. Variable‐temperature synchrotron X‐ray diffraction reveals that increased Fe content induces switchable lattice responses. Compositional control reduces the volume expansion coefficient αV by 20% (x═0.7) and modulates TC (442–625 K),
Jiayuan Li +8 more
wiley +1 more source