the proceedings contain 62 papers. the topics discussed include: learning spectral properties of Boolean functions: a unifying theme in quantum algorithms;generalized multisets over infinite alphabets with atoms;on pr...
ISBN:
(纸本)9798331532833
the proceedings contain 62 papers. the topics discussed include: learning spectral properties of Boolean functions: a unifying theme in quantum algorithms;generalized multisets over infinite alphabets with atoms;on projective delineability;some family relations for rational orthogonal matrices;first steps towards computational polynomials in lean;towards verified polynomial factorization;an abstraction-preserving block matrix implementation in maple;improving the nested Markov chain hyper-heuristic (NMHH) framework efficiency through sequential probability ratio testing;an application of the Shepard operator in image reconstruction;generic high-speed design with low-area implementations of statistical operations based on an FPGA device;and preemptive phased execution models with scratchpad memory requirements.
the proceedings contain 50 papers. the topics discussed include: quantitative programming and continuous-time Markov chains;aesthetic evolution of target 3D volumes in Minecraft;prediction of malignancy in lung cancer...
ISBN:
(纸本)9798350394122
the proceedings contain 50 papers. the topics discussed include: quantitative programming and continuous-time Markov chains;aesthetic evolution of target 3D volumes in Minecraft;prediction of malignancy in lung cancer using several strategies for the fusion of multi-channel pyradiomics images;on the variants of subset sum: projected and unbounded;uniform sampling with Boltzmann;so the problem has poor complexity: what next?;counting linear extensions of modular partial orders;solar flare classification using modified metaheuristic optimized XGBoost;the paradoxes and the infinite dazzled ancient mathematics and continue to do so today;and leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles.
the proceedings contain 59 papers. the topics discussed include: prescriptive analytics: when data- and simulation-based models interact in a cooperative way;complex network analysis using artificial intelligence algo...
ISBN:
(纸本)9781665465458
the proceedings contain 59 papers. the topics discussed include: prescriptive analytics: when data- and simulation-based models interact in a cooperative way;complex network analysis using artificial intelligence algorithms;implementation techniques for mathematical model checking;extreme points of the unit ball B4 in the space of real polynomials of degree at most four withthe supremum norm;homotopy techniques for analytic combinatorics in several variables;balanced dense multivariate multiplication: the general case;detecting implicit indeterminates in symbolic computation;artificial conflict sampling for real satisfiability problems;a web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets;algorithm for intersecting symbolic and approximate linear differential varieties;fully-adaptive model for broadcasting with universal lists;proof of useful work based on matrix computation;evaluation of class activation methods for understanding image classification tasks;and exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification.
An important and challenging computational problem is to identify and include the missing compatibility (integrability) conditions for general systems of partial differential equations. the inclusion of such missing c...
详细信息
ISBN:
(纸本)9798350394139;9798350394122
An important and challenging computational problem is to identify and include the missing compatibility (integrability) conditions for general systems of partial differential equations. the inclusion of such missing conditions is executed by the application of differential-elimination algorithms. Differential equations arising during modeling generally contain both exactly known coefficients and coefficients known approximately from data. We focus on our recent work on approximate differential-elimination methods and in particular their application to the determination of approximate symmetries. We illustrate this with applications to a class of Schrodinger equations.
the proceedings contain 64 papers. the topics discussed include: an adaptive recommender system for human resource allocation in software projects - initial results on an agent-based simulation;genetic operators in ev...
ISBN:
(纸本)9781728106250
the proceedings contain 64 papers. the topics discussed include: an adaptive recommender system for human resource allocation in software projects - initial results on an agent-based simulation;genetic operators in evolutionary music composition;proving reachability properties by coinduction;an improved approach to software defect prediction using a hybrid machine learning model;a CiteSeerX-based dataset for record linkage and metadata extraction;using recommender systems to support navigation in concept lattices;formal concept analysis grounded knowledge discovery in electronic health record systems;incremental linearization: a practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions;a set-based approach to model checking of nonlinear systems;computingthe lowest-order element of a multivariate elimination ideal by using remainder sequences;and an axis symmetric 2D description of the growth process of a single crystal hollow tube grown from the melt by pulling down method.
Structured matrices withsymbolic sizes appear frequently in the literature, especially in the description of algorithms for linear algebra. Recent work has treated these symbolic structured matrices themselves as com...
详细信息
ISBN:
(纸本)9798350394139;9798350394122
Structured matrices withsymbolic sizes appear frequently in the literature, especially in the description of algorithms for linear algebra. Recent work has treated these symbolic structured matrices themselves as computational objects, showing how to add matrices with blocks of different symbolic sizes in a general way while avoiding a combinatorial explosion of cases. the present article introduces the concept of hybrid intervals, in which points may have negative multiplicity. Various operations on hybrid intervals have compact and elegant formulations that do not require cases to handle different orders of the end points. this makes them useful to represent symbolic block matrix structures and to express arithmetic on symbolic block matrices compactly. We use these ideas to formulate symbolic block matrix addition and multiplication in a compact and uniform way.
Serverless computing, also known as Function as a Service (FaaS), simplifies cloud application development by abstracting server management. However, cold start latency, which occurs when initializing the execution en...
详细信息
We propose general preprocessing techniques to reshape dense multivariate polynomials over finite fields, in order to minimize the cost of memory accesses, while preserving sufficient parallelism, so as to reduce the ...
详细信息
ISBN:
(纸本)9781665465458
We propose general preprocessing techniques to reshape dense multivariate polynomials over finite fields, in order to minimize the cost of memory accesses, while preserving sufficient parallelism, so as to reduce the running time of polynomial multiplication in multi-threaded implementations.
Main goal of the research presented in this manuscript is to analyze employees satisfaction by employing hybrid methods between machine learning and metaheuristics. Furthermore, the proposed work utilizes term frequen...
详细信息
暂无评论