the proceedings contain 58 papers. the topics discussed include: validated numerics: algorithms and practical applications in aerospace;on the complexity of symbolic computation;non-commutative optimization - where al...
ISBN:
(纸本)9781450386883
the proceedings contain 58 papers. the topics discussed include: validated numerics: algorithms and practical applications in aerospace;on the complexity of symbolic computation;non-commutative optimization - where algebra, analysis and computational complexity meet;sparse matrices powering three pillars of science: simulation, data, and learning;applications of computer algebra to parameter analysis of dynamical systems;on linear dependence of rows and columns in matrices over non-commutative domains;reduction with respect to the effective order and a new type of dimension polynomials of difference modules;symbolic-numeric factorization of differential operators;algorithms for discrete differential equations of order 1;desingularization and p-curvature of recurrence operators;and on the computation of the Zariski closure of finitely generated groups of matrices.
Existing research in machine learning and data mining has been focused on finding rules or regularities among the data cases. Recently, it was shown that those associations that are missing in data may also be interes...
详细信息
the proceedings contain 31 papers. the special focus in this conference is on Temporal Logic and Requirements Engineering. the topics include: Challenges in the utilization of formal methods;a general framework for th...
ISBN:
(纸本)3540650032
the proceedings contain 31 papers. the special focus in this conference is on Temporal Logic and Requirements Engineering. the topics include: Challenges in the utilization of formal methods;a general framework for the composition of timed systems;operational and logical semantics for polling real-time systems;a finite-domain semantics for testing temporal logic specifications;duration calculus of weakly monotonic time;reuse in requirements engineering;a modular visual model for hybrid systems;integrating real-time structured design and formal techniques;duration calculus in the specification of safety requirements;automated stream-based analysis of fault-tolerance;static analysis to identify invariants in RSML specifications;partition refinement in real-time model checking;formal verification of stabilizing systems;synchronizing clocked transition systems;some decidability results for duration calculus under synchronous interpretation;fair synchronous transition systems and their liveness proofs;dynamical properties of timed automata;an algorithm for the approximative analysis of rectangular automata;on checking parallel real-time systems for linear duration properties;a practical and complete algorithm for testing real-time systems;mechanical verification of clock synchronization algorithms;compiling graphical real-time specifications into silicon;towards a formal semantics of verilog using duration calculus;a model-checking tool for real-time systems;discrete-time promela and spin;graphical development of PLC-automata and predictability in critical systems.
the proceedings contain 30 papers. the special focus in this conference is on Graph-theoretic Concepts in Computer Science. the topics include: Linear time solvable optimization problems on graphs of bounded clique wi...
ISBN:
(纸本)3540613102
the proceedings contain 30 papers. the special focus in this conference is on Graph-theoretic Concepts in Computer Science. the topics include: Linear time solvable optimization problems on graphs of bounded clique width;minus domination in small-degree graphs;the vertex-disjoint triangles problem;communication in the two-way listen-in vertex-disjoint paths mode;broadcasting on anonymous unoriented tori;families of graphs having broadcasting and gossiping properties;optical all-to-all communication in inflated networks;a generalization of AT-free graphs and a generic algorithm for solving treewidth, minimum fill-in and vertex ranking;a polynomial-time algorithm for finding total colorings of partial k-trees;rankings of directed graphs;triangles in euclidean arrangements;internally typed second-orderterm graphs;compact implicit representation of graphs;graphs with bounded induced distance;diameter determination on restricted graph families;independent tree spanners;upgrading bottleneck constrained forests;edge forwarding index and hamiltonian decomposition;improved compressions of cube-connected cycles networks;efficient embeddings of grids into grids;integral uniform flows in symmetric networks;splitting number is NP-complete;tree spanners in planar graphs;a linear-time algorithm to find four independent spanning trees in four-connected planar graphs;linear algorithms for a k-partition problem of planar graphs without specifying bases;domination and steiner tree problems on graphs with few P4s;minimum fill-in and treewidth for graphs modularly decomposable into chordal graphs;interval completion withthe smallest max-degree and an estimate of the tree-width of a planar graph which has not a given planar grid as a minor.
Proceedings of the special issue on visualization and graphics on the World Wide Web are presented. the issue contains 18 articles on the following topics: physically-based modeling of coating techniques;sharing VLNET...
详细信息
Proceedings of the special issue on visualization and graphics on the World Wide Web are presented. the issue contains 18 articles on the following topics: physically-based modeling of coating techniques;sharing VLNET worlds on the Web;graphics support for a World Wide Web based architectural design service;A world Wide Web based distributed animation environment;virtual reality and Web tools;image processing techniques in computer graphics algorithms and others.
the aim of the work described in this paper is to develop methods for automatically assessing the pronunciation quality of specific phone segments uttered by students learning a foreign language. From the phonetic tim...
详细信息
the proceedings contains 32 papers. Topics discussed include algorithms for parallelization, distributed computer systems and networking, software tools and environments, parallel finite and boundary elements, applica...
详细信息
the proceedings contains 32 papers. Topics discussed include algorithms for parallelization, distributed computer systems and networking, software tools and environments, parallel finite and boundary elements, applications in fluid flour and applications in applied science.
the proceedings contains 57 papers from the Fifthinternationalconference on Artificial Neural Networks. Topic discussed include: training algorithms;maximum-likelihood procedure;theory of linear smoothers;probabilit...
详细信息
the proceedings contains 57 papers from the Fifthinternationalconference on Artificial Neural Networks. Topic discussed include: training algorithms;maximum-likelihood procedure;theory of linear smoothers;probability density estimation;visual feature extraction model;quadtree based image coding;seasonal time series prediction;resource allocating network;long term iterated time series prediction;static partitioned mixture distribution networks;autoencoder theory;data visualization;bootstrap technique;Bayesian labelling;complex transmission systems;distortion equalized fuzzy learning algorithms;multiarm robots;Boolean associative memory;neuronal stochasticity;neural relaxation technique;and adaptive educational toys.
this volume 63 of the conference proceedings contains 19 papers. Topics discussed include computer aided design for steel constructions, topological transformation, structural mechanics, combinatorial and algebraic fo...
详细信息
this volume 63 of the conference proceedings contains 19 papers. Topics discussed include computer aided design for steel constructions, topological transformation, structural mechanics, combinatorial and algebraic force methods, nonlinear first yield analysis, Newton algorithms, finite element modeling and load-displacement behavior of anchor walls.
this volume 389 of the conference proceedings contains 98 papers. Topics discussed include software engineering, artificial intelligence and symbolic manipulation.
this volume 389 of the conference proceedings contains 98 papers. Topics discussed include software engineering, artificial intelligence and symbolic manipulation.
暂无评论