Results 171 to 180 of about 3,424,284 (379)
Practical assessment of masonry tunnel joint segmentation using topological machine learning
Civil Engineering Design, EarlyView.Abstract Condition assessment of masonry lined tunnels is time consuming and labor intensive. Recently developed digital workflows enable structural models to be created automatically, reducing analysis time. As part of these procedures, it is important to be able to identify the location of each masonry block.
Jack Smith, Chrysothemis Paraskevopoulou
wiley +1 more source
Control Law for Two-Process Flexible Manufacturing Systems Modeled Using Petri Nets
MathematicsThe deadlock control problem in flexible manufacturing systems (FMSs) has received much attention in recent years. The formalism of the Petri net is employed to effectively model, analyze, and control deadlocks in an FMS case study.
Yang Yang +3 more
doaj +1 more source
Semantics for Local Computational Effects
Electronic Notes in Theoretical Computer Science, 2006 AbstractStarting with Moggi's work on monads as refined to Lawvere theories, we give a general construct that extends denotational semantics for a global computational effect canonically to yield denotational semantics for a corresponding local computational effect. Our leading example yields a construction of the usual denotational semantics for local
openaire +2 more sources
Energy Landscapes in Chemical Reactions and Transport
ChemPhysChem, Volume 26, Issue 6, March 15, 2025.Kinetics/dynamics of chemical reactivity and transport of chemical species in a solid are both determined by the energy landscape in which they take place. Discussing common grounds but also distinct differences may help in advancing the understanding in both fields.
Karl‐Michael Weitzel
wiley +1 more source
SGOR: Outlier Removal by Leveraging Semantic and Geometric Information for Robust Point Cloud Registration [PDF]
arXivIn this paper, we introduce a new outlier removal method that fully leverages geometric and semantic information, to achieve robust registration. Current semantic-based registration methods only use semantics for point-to-point or instance semantic correspondence generation, which has two problems.
arxiv
A Computational Model of the Semantics of Tense and Aspect [PDF]
, 2005 Rebecca J. Passonneau
openalex +1 more source
Groupoid Semantics for Thermal Computing
, 2014 We describe a groupoid model for thermodynamic computation, and a quantization procedure that turns encrypted communication into quantum teleportation.
Bar, K, Vicary, J
openaire +4 more sources
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT The Green Intellectual Capital (GIC) is a key competitive factor for European firms and an opportunity for EU sustainable development programs. Yet, existing research has not investigated the GIC of European small and medium enterprises (SMEs) in the energy sector.
Nuccio Ludovico +3 more
wiley +1 more source
Generative Adversarial Network-Based Lightweight High-Dynamic-Range Image Reconstruction Model
Applied SciencesThe generation of High-Dynamic-Range (HDR) images is essential for capturing details at various brightness levels, but current reconstruction methods, using deep learning techniques, often require significant computational resources, limiting their ...
Gustavo de Souza Ferreti +2 more
doaj +1 more source
Deep Underground Science and Engineering, EarlyView.How artificial intelligence (AI) and digital twin (DT) technologies are revolutionizing tunnel surveillance, offering proactive maintenance strategies and enhanced safety protocols. It explores AI's analytical power and DT's virtual replicas of infrastructure, emphasizing their role in optimizing maintenance and safety in tunnel management.
Mohammad Afrazi +4 more
wiley +1 more source