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