Results 41 to 50 of about 6,133 (182)

Offline Specialisation in Prolog Using a Hand-Written Compiler Generator

, 2004
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Bruynooghe, Maurice, Jørgensen, Jesper, Leuschel, Michael, Vanhoof, Wim   +3 more
core   +1 more source

Mucosa‐Interfacing Capsule for In Situ Sensing the Elasticity of Biological Tissues

Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
A fundamental mechanism of palpating soft materials is reported to sense deep tissue elasticity in situ with minimal invasion using the interaction between the robot palpation unit and soft tissues. Both the robot locomotion and elasticity sensing functions are remotely controlled by external magnetic fields, while the sensing data are wirelessly ...
Kiyoung Kim, Steven Edwards, Kyle Fuxa, Honglu Lin, Shreya Shrestha, Hanwen Fan, Nick Diaz, Joel Berinstein, Rishi Naik, Yuxiao Zhou, Xiaoguang Dong   +10 more
wiley   +1 more source

A Review on Microreactor Design for Effective Fischer–Tropsch Process Intensification

Advanced Materials Technologies, EarlyView.
Design strategies for effective Fischer–Tropsch process intensification are summarized based on experimental and simulation experiences. Recommendations for catalyst loading of packed‐bed and wash‐coated microchannel, microtube, micromonolith, and microstructured reactors are discussed.
Yangjun Wei, Lukas Thum, Avela Kunene, Daniel Amkreutz, Rutger Schlatmann, Sonya Calnan   +5 more
wiley   +1 more source

Datalog as a parallel general purpose programming language [PDF]

, 2010
The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone.
Clayton, Roger, Cleary, John G., Utting, Mark   +2 more
core   +1 more source

Lattice Structures for Bone Replacement: The Intersection of Bone Biomechanics, Lattice Design, and Additive Manufacturing

Advanced Materials Technologies, EarlyView.
This review outlines how understanding bone's biology, hierarchical architecture, and mechanical anisotropy informs the design of lattice structures that replicate bone morphology and mechanical behavior. Additive manufacturing enables the fabrication of orthopedic implants that incorporate such structures using a range of engineering materials ...
Stylianos Kechagias, Maxwell J. Munford, Frederik C.H. Masure, Richard J. van Arkel, Reece N Oosterbeek   +4 more
wiley   +1 more source

Application Experiences on a GPU-Accelerated Arm-based HPC Testbed. [PDF]

Proc Int Conf High Perform Comput Asia Pac Reg HPC Asia 2023 Workshops (2023), 2023
Elwasif W, Godoy W, Hagerty N, Harris JA, Hernandez O, Joo B, Kent P, Lebrun-Grandié D, Maccarthy E, Melesse Ver-Gara VG, Messer B, Miller R, Oral S, Bastrakov S, Bussmann M, Debus A, Steiniger K, Stephan J, Widera R, Bryngelson SH, LE Berre H, Radhakrishnan A, Young J, Chandrasekaran S, Ciorba F, Simsek O, Clark K, Spiga F, Hammond J, Stone JE, Hardy D, Keller S, Piccinali JG, Trott C.   +33 more
europepmc   +1 more source

End‐to‐End Sensing Systems for Breast Cancer: From Wearables for Early Detection to Lab‐Based Diagnosis Chips

Advanced Materials Technologies, EarlyView.
This review explores advances in wearable and lab‐on‐chip technologies for breast cancer detection. Covering tactile, thermal, ultrasound, microwave, electrical impedance tomography, electrochemical, microelectromechanical, and optical systems, it highlights innovations in flexible electronics, nanomaterials, and machine learning.
Neshika Wijewardhane, Lyn I. Jones, Richard M. Martin, Helen Winter, Faezeh Arab Hassani   +4 more
wiley   +1 more source

Application Software, Domain-Specific Languages, and Language Design Assistants [PDF]

, 2000
While application software does the real work, domain-specific languages (DSLs) are tools to help produce it efficiently, and language design assistants in turn are meta-tools to help produce DSLs quickly. DSLs are already in wide use (HTML for web pages,
Heering, Jan
core   +2 more sources

Amido‐Amine Co(II) Precursor‐Based Atomic/Molecular Layer Deposition Processes for Cobalt‐Organic Thin Films and Their Thermal Conversion to CoO Thin Films

Advanced Materials Technologies, EarlyView.
Three new atomic/molecular layer deposition processes are developed for Co‐organic thin films using a promising all‐nitrogen‐coordinated cobalt precursor. The study examines film growth, reaction mechanisms, chemical stability, and decomposition pathways of the resulting films through extensive characterization techniques and DFT calculations ...
Topias Jussila, Jorit Obenlüneschloß, Ji Liu, Olga Partanen, Sami Vasala, Detlef Rogalla, Pieter Glatzel, Michael Nolan, Anjana Devi, Maarit Karppinen   +9 more
wiley   +1 more source

Ada in AI or AI in Ada. On developing a rationale for integration [PDF]

The use of Ada as an Artificial Intelligence (AI) language is gaining interest in the NASA Community, i.e., by parties who have a need to deploy Knowledge Based-Systems (KBS) compatible with the use of Ada as the software standard for the Space Station ...
Collard, Philippe E., Goforth, Andre
core   +1 more source