Results 101 to 110 of about 4,882 (287)
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj
Agribusiness, EarlyView.Abstract World markets for quality differentiated agri‐food products are highly competitive, presenting significant challenges for firms aiming to compete effectively. Government agencies and business organizations often implement various export promotion policies to address these challenges.
Nicolás Depetris‐Chauvin +1 more
wiley +1 more source
Defeasible logic programming: language definition, operational semantics, and parallelism
Journal of Computer Science and Technology, 2001 This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj
Deep Learning Methods in Soft Robotics: Architectures and Applications
Advanced Intelligent Systems, EarlyView.Soft robotics has seen intense research over the past two decades and offers a promising approach for future robotic applications. However, standard industrial methods may be challenging to apply to soft robots. Recent advances in deep learning provide powerful tools to analyze and design complex soft machines that can operate in unstructured ...
Tomáš Čakurda +3 more
wiley +1 more source
Early detection of risk of reading difficulties using a working memory assessment battery
British Educational Research Journal, Volume 48, Issue 6, Page 1183-1197, December 2022., 2022 Abstract Research suggests a role for aspects of the working memory system in reading. While much of the evidence points to a role for working memory capacity and the phonological loop, more recent work indicates a role for the central executive component, although findings remain unclear.
Susan J. Atkinson, Colin R. Martin
wiley +1 more source
Assessment of CO2 Injectivity During Sequestration in Depleted Gas Reservoirs
Geosciences, 2019 Depleted gas reservoirs are appealing targets for carbon dioxide (CO 2 ) sequestration because of their storage capacity, proven seal, reservoir characterization knowledge, existing infrastructure, and potential for enhanced gas recovery.
Hussein Hoteit +2 more
doaj +1 more source
Machine Learning‐Assisted Simulations and Predictions for Battery Interfaces
Advanced Intelligent Systems, EarlyView.This review summarizes machine learning (ML)‐assisted simulations and predictions at battery interfaces. It highlights how employing ML algorithms with machine vision, enables the lithium dendrite growth simulation, the solid–electrolyte interphase formation, and other interfacial dynamics.
Zhaojun Sun +4 more
wiley +1 more source
Structural operational semantics as a basis for static program analysis [PDF]
, 1996 Daniel Le Métayer, David Schmidt
openalex +1 more source
Advanced Intelligent Systems, EarlyView.This study develops a deep learning‐based pipeline named π‐PhenoDrug for cell phenotype‐driven drug activity screening. π‐PhenoDrug integrates cell segmentation, morphological profile construction, and phenotype analysis modules, and it can assess drug effects on living cells in both supervised and unsupervised modes.
Xiao Li +7 more
wiley +1 more source
An Event-Based Structural Operational Semantics of Multi-threaded Java [PDF]
, 1999 Pietro Cenciarelli +3 more
openalex +1 more source