Results 31 to 40 of about 173,499 (212)
Spikoder: Dual‐Mode Graphene Neuron Circuit for Hardware Intelligence
Advanced Intelligent Systems, EarlyView.Spikoder, a graphene leaky integrate‐and‐fire circuit that operates as an encoder and a neuron in a spiking neural network (SNN), is introduced. A Spikoder‐driven double‐layer SNN shows an accuracy of 97.37% for the classification of the Modified National Institute of Standards and Technology dataset, demonstrating its potential as a key building block
Kannan Udaya Mohanan +4 more
wiley +1 more source
B-LOG: A branch and bound methodology for the parallel execution of logic programs [PDF]
, 1985 We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer.
Hermenegildo, Manuel V. +1 more
core +1 more source
, 2000 Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there is constraint logic programming which computes a solution as an answer substitution to a query containing the variables of the ...
De Mot, Emmanuel +2 more
core +3 more sources
Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing
Advanced Intelligent Systems, EarlyView.This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian +37 more
wiley +1 more source
Language design for a personal learning environment design language [PDF]
, 2008 Approaching technology-enhanced learning from the perspective of a learner, we foster the idea of learning environment design, learner interactions, and tool interoperability.
Mödritscher, Felix +2 more
core +3 more sources
Language‐Guided Robot Grasping Based on Basic Geometric Shape Fitting
Advanced Intelligent Systems, EarlyView.This article presents a language‐guided, model‐free grasping framework that integrates multimodal perception with primitive‐based geometric fitting. By explicitly modeling object geometry from RGB‐D data, the method enables semantically controllable grasp pose generation and achieves robust performance in both structured and cluttered real‐world ...
Qun Niu +5 more
wiley +1 more source
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
, 2006 State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc.
C. Vaucheret +9 more
core +1 more source
American Journal of Community Psychology, EarlyView.Abstract This paper describes a 3‐year community–partnered research initiative focused on advancing early reading, racial equity, and relationships—collectively known as the 3Rs Initiative. The project brought together researchers and community members committed to ensuring that all adults in the county embody a shared “3Rs mindset” to better support ...
Shannon B. Wanless +3 more
wiley +1 more source
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
, 2014 To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based ...
Hoos, Holger +2 more
core +1 more source
American Journal of Community Psychology, EarlyView.Abstract We explored community‐based doulas' perspectives on the acceptability of using formal screening tools to address low rates of mental health screening, diagnosis, and treatment for perinatal anxiety and depression among Black women. Using thematic analysis, we analyzed interview data from 30 community‐based doulas who support Black families ...
Tamara Nelson +5 more
wiley +1 more source