the proceedings contain 68 papers. the topics discussed include: mathematical theory exploration;emergence in problem solving, classification and machine learning;tuning evolutionary algorithm performance using nature...
详细信息
ISBN:
(纸本)076952740X
the proceedings contain 68 papers. the topics discussed include: mathematical theory exploration;emergence in problem solving, classification and machine learning;tuning evolutionary algorithm performance using nature inspired heuristics;implementing parameterized type algorithm definitions in Mathematica;doing numerical cosmology withthe cactus code;a quality measure for multi-level community structure;the complexity of a probabilistic approach to deal with missing values in a decision tree;algorithms and results in content-based visual query of the image databases resulting from DICOM files;a stability analysis method for nonlinear systems with fuzzy logic controller;a parallel algorithm for rendering huge terrain surfaces;design of a hardware architecture based on microcontrollers for the implementation of membrane systems;and number encodings and arithmetics over multisets.
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 91 papers. the topics discussed include: multi-domain logic and its applications to SAT;communicating mathematics via pen-based interfaces;random numbers for quantum key distribution;triangular...
ISBN:
(纸本)9780769535234
the proceedings contain 91 papers. the topics discussed include: multi-domain logic and its applications to SAT;communicating mathematics via pen-based interfaces;random numbers for quantum key distribution;triangular decomposition for algebraic and geometric computing;expansions and equivalence of queries using views with parameters and negation;axiomatization of credulous reasoning in default logics using sequent calculus;abstract matrix arithmetic;on computing solutions of linear Diophantine equations with one non-linear parameter;the numerical solutions for an elliptic control problem;concern-oriented and ontology-based design approach of software architectures;a theory of adaptable contract-based service composition;implementing a brokered notification system for grid middleware;selective breeding analyzed as a communication channel: channel capacity as a fundamental limit on adaptive complexity;and multi-population agent search: stigmergy and heterogeneity.
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.
the proceedings contain 81 papers. the topics discussed include: the gradual computerisation of mathematics on MathLang;P2P open agent networks for decision making;some applications of weakly Picard operators;function...
ISBN:
(纸本)0769530788
the proceedings contain 81 papers. the topics discussed include: the gradual computerisation of mathematics on MathLang;P2P open agent networks for decision making;some applications of weakly Picard operators;functional-based comparison between two special classes of uni- and bidirectional systolic arrays;parallel multiple polynomials quadratic sieve on multi-core architectures;structural properties and observability in membrane systems;approximation of attractors by a variable time-stepping algorithm for Runge-Kutta methods;customized reflection lines for surface interrogation in car body design;invariance in the class of weighted power means;the CMDS medical diagnosis system;adaptive negotiation based on rewards and regret in a multi-agent environment;strong convergence of the projection method in convex feasibility problems;proposal of business process and rules modeling withthe XTT method.
the proceedings contain 63 papers. the topics discussed include: using machine learning to decide when to precondition cylindrical algebraic decomposition with Groebner bases;combinatorics of hybrid sets;effective non...
ISBN:
(纸本)9781509057078
the proceedings contain 63 papers. the topics discussed include: using machine learning to decide when to precondition cylindrical algebraic decomposition with Groebner bases;combinatorics of hybrid sets;effective nondeterministic positive definiteness test for unidiagonal integral matrices;various enhancements for extended Hensel construction of sparse multivariate polynomials;a numerical method for analyzing the stability of bi-parametric biological systems;approximate duals of Gabor-like frames based on realizable multi-window spline-type constructions;linking Fourier and PCA methods for image look-up;identifiability for gauge regularizations and algorithms for block-sparse synthesis in compressive sensing;numerical results for the coupling of a simple neutronics diffusion model and a simple hydrodynamics low mach number model without coupling codes;convergence acceleration of iterative methods for inverting real matrices using Frobenius norm minimization;parallel simulations for fractional-order systems;the quest for perfect and compact symmetry breaking for graph problems;resource bounding for non-preemptive task scheduling on a multiprocessor platform;coverability analysis of time basic Petri nets with non-urgent behavior;a hybrid test generation approach based on extended finite state machines;and a duality-aware calculus for quantified Boolean formulas.
暂无评论