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 60 papers. the topics discussed include: SMT solvers for testing, program analysis and verification at Microsoft;automated methods for proving program termination and liveness;a hybrid algorith...
ISBN:
(纸本)9780769539645
the proceedings contain 60 papers. the topics discussed include: SMT solvers for testing, program analysis and verification at Microsoft;automated methods for proving program termination and liveness;a hybrid algorithm for solving 7 parameters transformation;a hierarchy of tractable subclasses for SAT and counting SAT problems;formal proof of theorems on genetic regulatory networks;a calculus for imperative programs: formalization and implementation;simplification and generalization in CIRC;using a fUML action language to construct UML models;the Lucas optimal growth model on finite horizon;finding the solutions of nonlinear equation systems from an interval;a numerical solution of the semi linear singularly perturbed boundary value problem using multi region finite difference method;Monte Carlo variance reduction. importance sampling techniques;solving nonsmooth interval equations with slopes;and on a functional-differential equation from price theory.
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.
the proceedings contain 79 papers. the topics discussed include: model-driven design of cloud applications with quality-of-service guarantees: the MODAClouds approach, MICAS tutorial;huzita's basic origami fold in...
ISBN:
(纸本)9781479984480
the proceedings contain 79 papers. the topics discussed include: model-driven design of cloud applications with quality-of-service guarantees: the MODAClouds approach, MICAS tutorial;huzita's basic origami fold in geometric algebra;genetic improvement of programs;spiking neural p systems - a quick survey and some research topics;a streamlined difference ring theory: indefinite nested sums, the alternating sign, and the parameterized telescoping problem;hierarchical reasoning in local theory extensions and applications;using cylindrical algebraic decomposition and local Fourier analysis to study numerical methods: two examples;using the distribution of cells by dimension in a cylindrical algebraic decomposition;branch differences and Lambert W;and on corank two edge-bipartite graphs and simply extended Euclidean diagrams.
暂无评论