Metaphors are natural language constructions that play an important role in the way human beings communicate knowledge and understand the world. Some formal philosophers such as Searle and Lakoff claim that the semant...
详细信息
the Python Hardware Description Language (PyHDL) provides a scripting interface to object-oriented hardware design in C++. PyHDL uses the PamDC and PAM-Blox libraries to generate FPGA circuits. the main advantage of s...
详细信息
ISBN:
(纸本)3540408223
the Python Hardware Description Language (PyHDL) provides a scripting interface to object-oriented hardware design in C++. PyHDL uses the PamDC and PAM-Blox libraries to generate FPGA circuits. the main advantage of scripting languages is a reduction in development time for high-level designs. We propose a two-step approach: first, use scripting to explore effects of composition and parameterisation;second, convert the scripted designs into compiled components for performance. Our results show that, for small designs, our method offers 5 to 7 times improvement in turnaround time. For a large 10x10 matrix vector multiplier, our method offers respectively 365% and 19% improvement in turnaround time over purely scripting and purely compiled methods.
the two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13thinternationalconference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 201...
详细信息
ISBN:
(数字)9783030432294
ISBN:
(纸本)9783030432287
the two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13thinternationalconference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.;Chapters "Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems" and "A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes" are available open access under a Creative Commons Attribution 4.0 international License via ***.
this book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd international ISC High Performance 2018 conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-...
详细信息
ISBN:
(数字)9783030024659
ISBN:
(纸本)9783030024642
this book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd international ISC High Performance 2018 conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; third international Workshop on In Situ Visualization, WOIV 2018; 4thinternational Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, ExaComm 2018; international Workshop on OpenPOWER for HPC, IWOPH 2018; IXPUG Workshop: Many-Core Computing on Intel Processors; Workshop on Sustainable Ultrascale Computing Systems; Approximate and Transprecision Computing on Emerging Technologies, ATCET 2018; First Workshop on the Convergence of Large-Scale Simulation and Artificial Intelligence; third Workshop for Open Source Supercomputing, OpenSuCo 2018; First Workshop on Interactive High-Performance Computing; Workshop on Performance Portable programming Models for Accelerators, P^3MA 2018.;the 53 full papers included in this volume were carefully reviewed and selected from 80 submissions. they cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.
the proceedings contain 127 papers. the special focus in this conference is on Application of Fuzzy Systems and Soft Computing. the topics include: Investigation of the “input-output” model of the azerbaijani econom...
ISBN:
(纸本)9783030041632
the proceedings contain 127 papers. the special focus in this conference is on Application of Fuzzy Systems and Soft Computing. the topics include: Investigation of the “input-output” model of the azerbaijani economy in interval information conditions;forecasting oil and gas reservoirs properties using of fuzzy-logic based methods;application of the combined state concept to behavioral investment decisions under interval-valued information;prediction of mechanical lower back pain for healthcare workers using ann and logistic regression models;optimization of agricultural land use on the basis of mathematical methods of financial analysis and the theory of fuzzy sets;deep learning for lung lesion detection;a mobile application to teach coding and computational thinking in scratch programming language;study of the uncertainty heterogeneous phase equilibria areas in the binary ybte-snte alloy system;decision making in investment problem by using self-confidence based preference relation;Global stability analysis of HIV+ model;comparative analysis of artificial intelligence based methods for prediction of precipitation. case study: North cyprus;a new compound function-based Z-number valued clustering;determination of quality of plastic details under interval uncertainty;application of cloud technologies for optimization of complex processes of industrial enterprises;decision-making on restriction of water inflows into oil wells in dependence on the type of initial information;classification of hard-to-recover hydrocarbon reserves of kazakhstan withthe use of fuzzy cluster-analysis;knowledge-based planning for industrial automation systems: the way to support decision making;logical-linguistic model of functioning of computer systems’ software;a novel technique to solve fully fuzzy nonlinear matrix equations.
the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal ...
ISBN:
(纸本)9783540556763
the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal methods;place bisimulations in petri nets;a polynomial-time graph algorithm to decide liveness of some basic classes of bounded petri nets;refinement and simulation of nets - a categorical characterisation;scheduling hard real time systems using high-level petri nets;towards a modular analysis of coloured petri nets;a proof of the rank theorem for extended free choice nets;on the product form solution for stochastic petri nets;obtaining deadlock-preserving skeletons for coloured nets;formal verification of an arbiter cascade;constructs for modeling information systems with petri nets;construction of a class of safe petri nets by presenting firing sequences;an efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets;hierarchical solution of generalized stochastic petri nets by means of traffic processes;concurrency relations and the safety problem for petri nets;high-level nets and linear logic;liveness and boundedness analysis for petri nets with event graph modules;on weighted T-systems;using petri nets to develop programs for PLC systems;modelling and control of complex logistic systems for manufacturing;analysis of an ada system using coloured petri nets and occurrence graphs;the stubborn set method in practice and modeling fine grain computation via the fusion of two extended petri nets.
the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-...
ISBN:
(纸本)9783031291258
the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-infectious Person for Data Driven Simulation;creating Trust Within Population of Evolutionary Computation in an Uncertain Environment Using Blockchain;efficient inductivelogicprogramming Based on Particle Swarm Optimization;fault Diameter of Strong Product Graph of Two Paths;Design and Implementation of SF Selection Based on Distance and SNR Using Autonomous Distributed Reinforcement Learning in LoRa Networks;QBRT: Bias and Rising threshold Algorithm with Q-Learning: Implementation of the Tower of Hanoi;A Study on Effectiveness of BERT Models and Task-Conditioned Reasoning Strategy for Medical Visual Question Answering;deep Robust Neural Networks Inspired by Human Cognitive Bias Against Transfer-based Attacks;efficient Estimation of Cow’s Location Using Machine Learning Based on Sensor Data;A Time Series Forecasting Method Using DBN and Adam Optimization;unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.
We are investigating the potential use of trial transcripts as sources of social knowledge for epistemic agents. But we are immediately faced withthe reality that not all transcripts are equal. the quality of the tra...
详细信息
the theta-subsumption test is known to be a bottleneck in inductivelogicprogramming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed theta-subsumptio...
详细信息
the theta-subsumption test is known to be a bottleneck in inductivelogicprogramming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed theta-subsumption process based on an Actor Model, withthe aim of being able to decide subsumption on very large clauses. this model was correct and complete, but was also very slow. this is why we introduce ANTS (Actor Network based theta-Subsumption), a new model also based on an actor network, which is significantly faster than the previous one.
this paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypot...
详细信息
ISBN:
(纸本)9781607506430;9781607506423
this paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypothesis can be induced from sets of examples, and show its properties. Moreover, we will also consider the problem of communicating inductive inferences between two agents, which corresponds to the multi-agent ICL problem. thanks to the introduced logical model of induction, we will show that this communication can be modeled using computational argumentation.
暂无评论