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;huzita9;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.
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 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 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 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.
暂无评论