Results 71 to 80 of about 200,612 (308)
Annals of Mathematics and Artificial IntelligencezbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adnan Darwiche, Pierre Marquis
openaire +1 more source
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
A Domain-Agnostic Framework for Visual Element Detection From High-Level Descriptions
IEEE AccessModern web applications feature dynamic and visually complex interfaces that challenge the reliability and maintainability of traditional automated testing frameworks. These conventional approaches often rely on fixed document object model locators, such
Maroun Ayli +4 more
doaj +1 more source
Compiler Verification and Compiler Architecture
Electronic Notes in Theoretical Computer Science, 2002 AbstractWe study issues in verifying compilers for modern imperative and object-oriented languages. We take the view that it is not the compiler but the code generated by it which must be correct. It is this subtle difference that allows for reusing standard compiler architecture, construction methods and tools also in a verifying compiler.Program ...
openaire +1 more source
The Third-Annual Abolitionists’ Day Event
, 2019 Three years ago, Adams County declared the first ever Abolitionists Day—a day dedicated to honoring the lives of the county’s abolitionists. The county’s abolitionists were a varied group, comprised of both whites and free blacks, men and women.
Bickers, Claire
core
Advanced Engineering Materials, EarlyView.Carbon nanomaterial‐reinforced epoxy composites exhibit pronounced piezoresistive behavior, enabling intrinsic damage sensing under cyclic and fatigue loading. This review critically compares carbon nanotube and graphene systems, correlating filler content, percolation threshold, and gauge factor with sensing stability and damage evolution.
J. M. Parente +3 more
wiley +1 more source
IEEE AccessDomain-specific programming languages such as P4 enable flexible and high-performance packet processing for programming network data planes. However, many P4 programs remain monolithic, limiting the development of modular and reusable protocols and ...
Mohsen Rahmati +4 more
doaj +1 more source
Electrical Conductivities of Conductors, Semiconductors, and Their Mixtures at Elevated Temperatures
Advanced Engineering Materials, EarlyView.This article presents a comprehensive review of temperature‐dependent electrical conductivity data for multiple material classes at elevated temperatures, highlighting a persistent conductivity gap between metals and semiconductors in the range of 102$\left(10\right)^{2}$– 107$\left(10\right)^{7}$ S/m. Metal–ceramic irregular metamaterials are proposed
Valentina Torres Nieto, Marcia A. Cooper
wiley +1 more source
Advanced Functional Materials, EarlyView.The dielectric properties of clays are studied on the level of individual monolayers and functional double stacks. The material breakdown characteristics and charge storage performance are analyzed. For illustration, a defined charge pattern representing a cuneiform character is produced, written into a microscopic clay tile, referencing the origins of
Sebastian Gödrich +6 more
wiley +1 more source
Unleashing the Power of Machine Learning in Nanomedicine Formulation Development
Advanced Functional Materials, EarlyView.A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore +7 more
wiley +1 more source