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 83 papers. the topics discussed include: mathematical and computational mistakes and failures as a source of creativity;automatic improvements of Wallis' inequality;on the mathematics of ma...
ISBN:
(纸本)9780769543246
the proceedings contain 83 papers. the topics discussed include: mathematical and computational mistakes and failures as a source of creativity;automatic improvements of Wallis' inequality;on the mathematics of mathematical handwriting recognition;a symbolic-numeric algorithm for computingthe Alexander polynomial of a plane curve singularity;symbolic-numeric cooperation in an open science project;on BLAS operations with recursively stored sparse matrices;on the usage of 16 bit indices in recursively stored sparse matrices;an x-coordinate point compression method for elliptic curves over Fp;abstract domains for constraint programming, withthe example of octagons;a parallel algorithm for dot product over word-size finite field using floating-point arithmetic;numerical solutions for a class of backward stochastic differential equations;maximum likelihood estimation algorithm evaluation for wireless sensor networks;and translating regular expression matching into transducers.
the proceedings contain 71 papers. the topics discussed include: enabling distributed intelligent systems in open environments through agreement technologies;interactive vs. automated proofs in computational origami;s...
ISBN:
(纸本)9780769549347
the proceedings contain 71 papers. the topics discussed include: enabling distributed intelligent systems in open environments through agreement technologies;interactive vs. automated proofs in computational origami;synthesis from examples: interaction models and algorithms;computing with free algebras;what is an equation?;experiences in symbolic computations for matrix problems;proposal of singularization of approximately singular polynomial systems;solving robust glucose-insulin control by Dixon resultant computations;computational properties of two P systems solving the 3-coloring problem;algebraic theory exploration: a comparison of technologies;a model reference type algorithm using importance resampling;on computing mesh root systems and the isotropy group for simply-laced dynkin diagrams;and optimal homotopy asymptotic method for solving a nonlinear problem in elasticity.
the proceedings contain 70 papers. the topics discussed include: challenges in verifying arithmetic circuits using computer algebra;concurrency for the masses: the paradigm of software transactional memory;models of c...
ISBN:
(纸本)9781538626269
the proceedings contain 70 papers. the topics discussed include: challenges in verifying arithmetic circuits using computer algebra;concurrency for the masses: the paradigm of software transactional memory;models of computation for origami;concurrent reflective abstract state machines;resolving zero divisors using hensel lifting;maximal radius for stability regions of explicit Runge Kutta methods by real quantifier elimination;simple relation between the lowest-order element of ideal G,H and the last element of polynomial remainder sequence;and parametric study of the accuracy of an approximate solution for the mild-slope equation.
the proceedings contain 56 papers. the topics discussed include: intelligent web-history based on a hybrid clustering algorithm for future-Internet systems;part of speech tagging for Romanian text-to-speech system;lea...
ISBN:
(纸本)9780769546308
the proceedings contain 56 papers. the topics discussed include: intelligent web-history based on a hybrid clustering algorithm for future-Internet systems;part of speech tagging for Romanian text-to-speech system;learning to unlearn in lattices of concepts: a case study in fluid construction grammars;a supervised learning process to elicit fraud cases in online auction sites;mapping a relational database into a RDF repository;a GIS integrated solution for traffic management;a reinforcement learning approach for solving the fragment assembly problem;towards extracting semantic information from texts;a genetic approximation of closest string via rank distance;and cellular genetic algorithm with communicating grids for a delivery problem.
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.
the proceedings contain 73 papers. the topics discussed include: reducing energy consumption by using clouds;TiMo: timed mobility in distributed systems;model-driven decision procedures for arithmetic;knot fold of reg...
ISBN:
(纸本)9781479930357
the proceedings contain 73 papers. the topics discussed include: reducing energy consumption by using clouds;TiMo: timed mobility in distributed systems;model-driven decision procedures for arithmetic;knot fold of regular polygons: computer-assisted construction and verification;survey of covering arrays;specifying languages and verifying programs with k;minability through compression;stepping up;on computing non-negative loop-free edge-bipartite graphs;common factors in fraction-free matrix reduction;on algebraic preprocessing of floating-point DAEs for numerical model simulation;deciding conjugacy in thompson's group F in linear time;on ladder operators for little Q-Jacobi polynomials and their generalizations;and efficient computation of the isotropy group of a finite graph: a combinatorial approach.
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 67 papers. the topics discussed include: dynamic programming on tree decompositions in practice - some lessons learned;symbolic derivation of mean-field PDEs from lattice-based models;computati...
ISBN:
(纸本)9781509004614
the proceedings contain 67 papers. the topics discussed include: dynamic programming on tree decompositions in practice - some lessons learned;symbolic derivation of mean-field PDEs from lattice-based models;computation of GCD of sparse multivariate polynomials by extended Hensel construction;towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array;computation of Stirling numbers and generalizations;a rigorous generic branch and bound solver for nonlinear problems;identifiability and noise robustness for L1-analysis regularizations in compressive sensing;numerical investigations of equilibriums in a flight with high angle of attack;optimal window and lattice in Gabor transform. application to audio analysis;the flow in a viscous fluid over an unsteady stretching surface;combinatorial techniques for proof-based synthesis of sorting algorithms;and on synergies between type inference, generation and normalization of SK-combinator trees.
暂无评论