Results 111 to 120 of about 1,544,053 (248)
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +1 more source
Fuzzy logic programming and adaptable design of medical products for the COVID-19 anti-epidemic normalization. [PDF]
Comput Methods Programs Biomed, 2020 Fu YL, Liang KC.
europepmc +1 more source
Biodegradable and Edible Milli‐Fluidic Logic Circuits
Advanced Materials Technologies, EarlyView.Fully biodegradable and edible fluidic circuits are developed using gelatin‐based valves that operate at low pressure. Logic gates, a one‐bit memory, and a ring oscillator are demonstrated, showing that biodegradable materials can perform computation and control.
Shuhang Zhang +3 more
wiley +1 more source
Microscale 3D‐Printed Digital Strain Switches for Embedded Mechanical Computation
Advanced Materials Technologies, EarlyView.Microscale 3D‐printed strain switches on flexible films convert deformation into native digital signals at geometry defined thresholds. A closed form model predicts switching from 3000 to 15 000 microstrain and is validated across 110 devices. Reliable ohmic closure and strain activated AND, OR, and XOR logic point toward low‐power mechanical ...
Regan Kubicek +3 more
wiley +1 more source
A multi-paradigm approach for mobile agents development
Journal of Computer Science and Technology, 2001 Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems.
Edgardo A. Belloni
doaj
FUZZY LOGIC AND COMPROMISE PROGRAMMING IN PORTFOLIO MANAGEMENT [PDF]
The objective of this paper is to develop a portfolio optimization technique that is simple enough for an individual with little knowledge of economic theory to systematically determine his own optimized portfolio. A compromise programming approach and a
Featherstone, Allen M., Duval, Yann
core
Advanced Materials Technologies, EarlyView.Single‐filament material extrusion enables spatial stiffness programming through locally controlled thermal foaming of TPU. A data‐driven G‐code framework tunes porosity from 15.7% to 40.7% and hardness from 90 to 63 Shore A within and across layers. Monolithic hands and soft actuators consequently achieve distinct programmed motions without material ...
Rosanna Rifino +3 more
wiley +1 more source
Introduction to the 35th International Conference on Logic Programming Special Issue
, 2019 We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on Logic Programming (ICLP). The ICLP meetings started in Marseille in 1982
Esra Erdem, Andrea Formisano, German Vidal, Fangkai Yang +4 more
core
Advanced Robotics Research, EarlyView.An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy +13 more
wiley +1 more source
ALPES: an advanced logic programming environment
Le Matematiche, 1988 This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj