the proceedings contain 15 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the Scenic Route to Deforestation: An Exercise in Applying Parametrici...
ISBN:
(纸本)9783031849237
the proceedings contain 15 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the Scenic Route to Deforestation: An Exercise in Applying Parametricity in Curry;MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs;SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic;a Practical Approach to Handling Tabular Data in logic;automated Playing of Survival Video Games with Commonsense reasoning;checking Concurrency Coding Rules;A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation;haskell Based Spreadsheets;Leveraging LLM reasoning with Dual Horn Programs;ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia;Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination;c3G: Causally Constrained Counterfactual Generation;exploring Answer Set programming for Provenance Graph-Based Cyber threat Detection: A Novel Approach.
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an appl...
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an application study for semantic segmentation of medical images;towards inductive learning of domain-specific heuristics for ASP;mining sequences in phone recordings with answer set programming;estimation-based verification of cyber-physical systems via statistical model checking;explainability via short formulas: the case of propositional logic with implementation;and evaluating epistemic logic programs via answer set programming with quantifiers.
the proceedings contain 37 papers. the special focus in this conference is on Russian Automation. the topics include: Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture;morphological Analys...
ISBN:
(纸本)9783031824937
the proceedings contain 37 papers. the special focus in this conference is on Russian Automation. the topics include: Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture;morphological Analysis and Synthesis Features of Technological Processes;a Modern Method of Wireless Control of Unguarded Railway Crossings;duties and Obligations of the Railway Staff Concerned When the Microprocessorized Contactless Controlling Gauge Device Signal Is Triggered;integration of automated Management Systems for Enterprises’ Transport and Technical Services;development of an Automation Module for Planning Trajectories for Painting Aircraft Fuselage Elements;identification of Metal Sheets in the Flow, Based on the Marking Imprint, Using Neural Networks;study of the Performance of Adaptive Sensor Networks for Collecting and Processing thermoelectric Data;development and Research of a Cartographic Model for Municipal Planning as the Basis of an Intelligent Geoinformation System;BIM Visual programming of Bionic Architecture Construction Using Dynamo and Revit;development of a Model and Algorithms for Trigger Control of Technological Processes of Resource Provision;system for Statistical Assessment of Means of Controlling Engineers’ Qualification for Information Support to Manage the Recruiting Process in Industry;smart Enumeration Technology;comparative Analysis of C-Band Conical Horn Antenna Sparse Structures Characteristics at Different Frequencies;software Implementation of Heuristic Methods of Optimization and Integration into a Cloud Service;computer System for Modeling Fluid Flow Around Bodies and Its Potential in Industry;the Effect of Regular and Irregular Segmentations on Characteristics and Charge Distribution Densities of Microstrip Lines;reinforcement Learning with External Teacher for Building Energy Management.
In Russia, agriculture is one of the key industries, so the development of innovative solutions in this area is of great importance. A promising approach is to automate field operations using highly automated manufact...
详细信息
Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. this method extends to the training ...
详细信息
ISBN:
(纸本)9783031779404;9783031779411
Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. this method extends to the training of DNNs, an approach known as neuroevolution. However, neuroevolution is an inherently resource-intensive process, with certain studies reporting the consumption of thousands of GPU days for refining and training a single DNN network. To address the computational challenges associated with neuroevolution while still attaining good DNN accuracy, surrogate models emerge as a pragmatic solution. Despite their potential, the integration of surrogate models into neuroevolution is still in its early stages, hindered by factors such as the effective use of high-dimensional data and the representation employed in neuroevolution. In this context, we address these challenges by employing a suitable representation based on Linear Genetic programming, denoted as NeuroLGP, and leveraging Kriging Partial Least Squares. the amalgamation of these two techniques culminates in our proposed methodology known as the NeuroLGP-Surrogate Model (NeuroLGP-SM). For comparison purposes, we also code and use a baseline approach incorporating a repair mechanism, a common practice in neuroevolution. Notably, the baseline approach surpasses the renowned VGG-16 model in accuracy. Given the computational intensity inherent in DNN operations, a singular run is typically the norm. To evaluate the efficacy of our proposed approach, we conducted 96 independent runs spanning a duration of 4weeks. Significantly, our methodologies consistently outperform the baseline, withthe SM model demonstrating superior accuracy or comparable results to the NeuroLGP approach. Noteworthy is the additional advantage that the SM approach exhibits a 25% reduction in computational requirements, further emphasising its efficiency for neuroevolution.
the proceedings contain 40 papers. the topics discussed include: from reachability to temporal specifications in cost-sharing games;electronic voting: how logic can help;and-or tableaux for fixpoint logics with conver...
ISBN:
(纸本)9783319085869
the proceedings contain 40 papers. the topics discussed include: from reachability to temporal specifications in cost-sharing games;electronic voting: how logic can help;and-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL;structured search and learning;a rewriting strategy to generate prime implicates in equational logic;a unified proof system for QBF preprocessing;a gentle non-disjoint combination of satisfiability procedures;finite quantification in hierarchic theorem proving;proving termination of programs automatically with AProVE;locality transfer: from constrained axiomatizations to reachability predicates;proving termination and memory safety for programs with pointer arithmetic;QBF encoding of temporal properties and QBF-based verification;introducing quantified cuts in logic with equality;Quati: an automated tool for proving permutation lemmas;and optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL+.
the article is devoted to the development of a module for automating the planning of trajectories for painting aircraft fuselage elements. the scientific problem of the lack of modern control methods and technologies ...
详细信息
the proceedings contain 6 papers. the topics discussed include: cylindrical algebraic coverings for quantifiers;SMT-solving induction proofs of inequalities;decidability of difference logics with unary predicates;auto...
the proceedings contain 6 papers. the topics discussed include: cylindrical algebraic coverings for quantifiers;SMT-solving induction proofs of inequalities;decidability of difference logics with unary predicates;automatic deployment of component-based applications in the cloud;enumerating projective planes of order nine with proof verification;and an SC-square approach to the minimum Kochen–Specker problem.
this paper investigates the application of Vision Transformers (ViTs), specifically DETR (DEtection TRans-former), for the detection and classification of digital logic gates in hand-sketched digital logic circuits (D...
详细信息
ISBN:
(数字)9798331531836
ISBN:
(纸本)9798331531843
this paper investigates the application of Vision Transformers (ViTs), specifically DETR (DEtection TRans-former), for the detection and classification of digital logic gates in hand-sketched digital logic circuits (DLC). A novel dataset of 295 hand-sketched DLC images was developed, capturing all seven fundamental gate types: AND, OR, NOT, NAND, NOR, XOR, and XNOR. the dataset introduces real-world complexities, such as variations in sketching styles, pen types, and paper textures, therefore addressing gaps in existing datasets. the performance of DETR is compared withthe state-of-the-art YOLOv8 model under various preprocessing configurations, including grayscale conversion and image resizing. the results show that YOLO achieves higher overall detection accuracy, while DETR demon-strates strengths in capturing spatial relationships and complex patterns in abstract sketches. Additionally, the study analyses the effects of training duration and dataset structure on performance, highlighting the sensitivity of ViTs to preprocessing and spatial feature preservation. this work advances the understanding of transformer-based models for DLC recognition, advancing the way for more effective automated tools in engineering and education.
暂无评论