OPERATIONAL SEMANTICS DEVELOPMENT FOR PROCEDURAL PROGRAMMING LANGUAGES BASED ON CONCEPTUAL TRANSITION SYSTEMS [PDF]
Igor Anureev
openalex +1 more source
Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing
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
Cortical γ-oscillations implement basic language operations: Evidence from electroencephalography in anaphora during english filler-gap dependency processing. [PDF]
Dekydtspotter L +6 more
europepmc +1 more source
BMPCQA: Bioinspired Metaverse Point Cloud Quality Assessment Based on Large Multimodal Models
This study presents a bioinspired metaverse point cloud quality assessment metric, which simulates the human visual evaluation process to perform the point cloud quality assessment task. It first extracts rendering projection video features, normal image features, and point cloud patch features, which are then fed into a large multimodal model to ...
Huiyu Duan +7 more
wiley +1 more source
Recognition method for microgrid switching misoperations based on multi-source heterogeneous data fusion. [PDF]
Yang H, Zhang Z, Zhang S, Liang R.
europepmc +1 more source
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus
Thomas Hildebrandt +2 more
openalex +2 more sources
This article proposes a lightweight YOLOv4‐based detection model using MobileNetV3 or CSPDarknet53_tiny, achieving 30+ FPS and higher mAP. It also presents a ShuffleNet‐based classification model with transfer learning and GAN‐augmented images, improving generalization and accuracy.
Qingyang Liu, Yanrong Hu, Hongjiu Liu
wiley +1 more source
Research on deep learning architecture optimization method for intelligent scheduling of structural space. [PDF]
Ying W, Hui L.
europepmc +1 more source
Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback). [PDF]
Stefan Kahrs
openalex +1 more source
To address the problems of insufficient utilization of multiscale features and inefficient feature sharing between tasks in the model, this study proposes an edge‐enhanced intelligent cervical cancer screening method that achieves feature reuse and improves efficiency by jointly optimizing nucleolus segmentation and lesion classification.
Li Wen +4 more
wiley +1 more source

