the proceedings contain 12 papers. the special focus in this conference is on . the topics include: Pruning hypothesis spaces using learned domain theories;an investigation into the role of domain-knowledge on the use...
ISBN:
(纸本)9783319780894
the proceedings contain 12 papers. the special focus in this conference is on . the topics include: Pruning hypothesis spaces using learned domain theories;an investigation into the role of domain-knowledge on the use of embeddings;positive and unlabeled relational classification through label frequency estimation;on applying probabilistic logicprogramming to breast cancer data;logical vision: One-shot meta-interpretive learning from real images;demystifying relational latent representations;parallel online learning of event definitions;relational restricted boltzmann machines: A probabilistic logic learning approach;parallel inductivelogicprogramming system for superlinear speedup;inductive learning from state transitions over continuous domains.
An analytical review of the history of the leading vendors' providers in the field of programmable logic device manufacturing is presented. the analysis of development environment changes for FPGA-based projects, ...
详细信息
ISBN:
(纸本)9798350333053
An analytical review of the history of the leading vendors' providers in the field of programmable logic device manufacturing is presented. the analysis of development environment changes for FPGA-based projects, and a comparative analysis of FPGA chips and development kit boards for testing are performed. the practical experience of the transition process to new development environments for FPGA-based projects is considered. It is established that the dynamics of changes in development environments must be addressed at an early stage to reduce risks. It is shown that in-system programming significantly simplifies the development of FPGA-based projects. It is shown that scaling and parallelization at the top level of project hierarchy and pipelining and parameterization at the RTL level effectively allow such systems to be deployed in commercial cloud infrastructures and data centers.
Large scale distributed photovoltaic(DPV) integration will bring new challenges to dispatching due to its uncertainty, and further increase the regulating capacity requirement of power system. As a result, a robust ev...
详细信息
Large scale distributed photovoltaic(DPV) integration will bring new challenges to dispatching due to its uncertainty, and further increase the regulating capacity requirement of power system. As a result, a robust evaluating approach of DPV hosting capacity in uncertain environment is proposed. Based on the relationship between DPV hosting capacity and its conditional value at risk(CVaR), a robust optimization model is constructed, which considering the probability distribution characteristics of DPV. the base point and regulating capacity of automatic generation control(AGC) units are coordinated optimized to accurately evaluate the DPV hosting capacity the original model is transformed into a deterministic linear programming problem using piecewise linear approximation and uncertain variables eliminating. the effectiveness of the proposed approach is verified through a 6-bus system.
the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their f...
详细信息
ISBN:
(纸本)9789897584749
the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their flexible and universal knowledge representation, they lack the mechanisms facilitating knowledge processing. In this paper, we propose an information system called extended knowledge graphs (EKG) that augments the concept of knowledge graphs with procedural attachments. We put forward the requirements and assumption of the EKG structure and present a categorisation of supported reasoning tasks.
One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program....
详细信息
ISBN:
(纸本)9789897584176
One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program. In addition, several non-technical skills are required, enabling the student to understand and to interpret real problems, to work in groups and to strive for effective and efficient solutions. To meet these challenges, innovative teaching methodologies have been applied in teaching programming, building learning environments that are more conducive to the development of these skills. In order to understand how these methodologies are being used, this work presents the result of a systematic literature review, motivated by the following research question: "What are the innovative teaching and learning approaches to programming, how are they applied and what are the main results of their application? In this study, we considered three digital libraries and found 24 primary studies, following the Kitchenham methodology. these studies were categorized into 6 groups and highlighted challenges related to the problems addressed, teaching environment, content, human capital involved and assessment process. the studies also showed evidence of success cases, as well as open paths for new research.
the proceedings contain 14 papers. the special focus in this conference is on Verified Software. the topics include: An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;rigorous Enclosure of Round-Of...
ISBN:
(纸本)9783030636173
the proceedings contain 14 papers. the special focus in this conference is on Verified Software. the topics include: An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;rigorous Enclosure of Round-Off Errors in Floating-Point Computations;towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench;combining Zonotope Abstraction and Constraint programming for Synthesizing inductive Invariants;QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking;Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX;automatic Detection and Repair of Transition- Based Leakage in Software Binaries;BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers;synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison;verified Transformations and Hoare logic: Beautiful Proofs for Ugly Assembly Language;MCBAT: Model Counting for Constraints over Bounded Integer Arrays;Verification of an Optimized NTT Algorithm;vstte 2020 preface.
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using...
详细信息
ISBN:
(纸本)9781665447010
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using multi-agent systems. the concept of collaborative microgrids is introduced using multiagent systems, where each household contributes to the microgrid stability and strengthening. In addition, stability and dynamic analysis are performed in order to check the microgrid behaviour against faults. the proposed strategy emphasises storage decentralization, programming facilities for the designer. the results show that this approach is perfectly valid for isolated communities. Furthermore, the microgrid stability is maintained even in a faulty regime.
this paper introduces a novel approach to induce Fuzzy Pattern Trees (FPT) using Grammatical Evolution (GE), FGE, and applies to a set of benchmark classification problems. While conventionally a set of FPTs are neede...
详细信息
ISBN:
(纸本)9789897584756
this paper introduces a novel approach to induce Fuzzy Pattern Trees (FPT) using Grammatical Evolution (GE), FGE, and applies to a set of benchmark classification problems. While conventionally a set of FPTs are needed for classifiers, one for each class, FGE needs just a single tree. this is the case for both binary and multi-classification problems. Experimental results show that FGE achieves competitive and frequently better results against state of the art FPT related methods, such as FPTs evolved using Cartesian Genetic programming (FCGP), on a set of benchmark problems. While FCGP produces smaller trees, FGE reaches a better classification performance. FGE also benefits from a reduction in the number of necessary user-selectable parameters. Furthermore, in order to tackle bloat or solutions growing too large, another version of FGE using parsimony pressure was tested. the experimental results show that FGE withthis addition is able to produce smaller trees than those using FCGP, frequently without compromising the classification performance.
作者:
Vidal, GermanMiST
VRAIN Universitat Politècnica de València Valencia Spain
In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one c...
详细信息
ISBN:
(纸本)9783030524814;9783030524821
In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one can use the same predicate for adding and for subtracting natural numbers), computations are not reversible in the above sense. In this paper, we present a so-called Landauer embedding for SLD resolution, the operational principle of logic programs, so that it becomes reversible. A proof-of-concept implementation of a reversible debugger for Prolog that follows the ideas in this paper has been developed and is publicly available.
Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of com...
详细信息
ISBN:
(纸本)9781665419710
Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of computer vision and computational intelligence in the field of constraint engineering and integrated circuit layout has high tendency to resolve this ambiguity. In this study, vision-based architecture is integrated with deep transfer learning network to classify NOT, NAND (no fold and two-finger), and NOR logic gates with 1 mu m physical gate polysilicon and 0.5 mu m gate length using 90 nm CMOS technology. Inverter designs with contact (CO) error is generated using missing CO, metal 1 in place and not fully placed, and off positioned CO via an incorporated Pythontriggered tool command language (TCL) program in the Synopsys platform. EfficientNetB7 perfectly classified NOT and NAND gates, and subcategorized NOT contact error designs. Overall, the developed seamless approach in classifying gate-level integrated circuit design and predicting contact errors using EfficientNetB7 is easy to replicate and can enhance layout assessment.
暂无评论