the proceedings contain 32 papers. the special focus in this conference is on Applied Algebra, Algebraic algorithms and Error-Correcting Codes. the topics include: Some applications of a classification of affine-invar...
ISBN:
(纸本)9783540510826
the proceedings contain 32 papers. the special focus in this conference is on Applied Algebra, Algebraic algorithms and Error-Correcting Codes. the topics include: Some applications of a classification of affine-invariant codes;on the computation of the local and global analytic branches of a real algebraic curve;distribution of codewords and decoding error rate in rs codes with application to performance evaluation from optical disc;on generalized minimum distance decoding;newton symmetric functions and the arithmetic of algebraically closed fields;non linear covering codes : A few results and conjectures;grobner bases, Ritt's algorithm and decision procedures for algebraic theories;an algebraic model for the storage of data in parallel memories;algebrric solution of systems of polynomirl equations using Groebher bases;covering radius for codes obtained from T(m) triangular graphs;how to decide whether a polynomial ideal is primary or not;on the computational complexity of polynomials and bilinear mappings. A survey;coding theory and its applications in Japan;binary sequences with good correlation properties;hankel matrices and polynomials;on the (d,D,D,s)-digraph problem;it is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free;A shift-remainder GCD algorithm;new class of cyclic, random and burst error correcting codes;a conjecture on the free distance of (2,1,m) binary convolutional codes;searching for weakly autocorrelated binary sequences;on the construction of completely regular linear codes from distance — regular graphs;synthesis of two-dimensional linear feedback shift registers and Groebner bases;constructing universal Gröbner bases.
the proceedings contain 49 papers. the topics discussed include: using a generalization hierarchy to learn from examples;tuning rule-based systems to their environments;concept simplification and prediction accuracy;l...
ISBN:
(纸本)0934613648
the proceedings contain 49 papers. the topics discussed include: using a generalization hierarchy to learn from examples;tuning rule-based systems to their environments;concept simplification and prediction accuracy;learning graph models of shape;learning categorical decision criteria in biomedical domains;conceptual clumping of binary vectors with Occam’s razor;incremental multiple concept learning using experiments;trading off simplicity and coverage in incremental concept learning;using weighted networks to represent classification knowledge in noisy domains;an empirical comparison of genetic and decision-tree classifiers;population size in classifier systems;representation and hidden bias: gray vs. binary coding for genetic algorithms;classifier systems with hamming weights;Midgard: a genetic approach to adaptive load balancing for distributed systems;some interesting properties of a connectionist inductive learning system;and building and using mental models in a sensory-motor domain: a connectionist approach.
the proceedings contain 53 papers. the special focus in this conference is on fundamentals of Computation theory. the topics include: Lower bounds on the complexity of 1-time only branching programs (Preliminary versi...
ISBN:
(纸本)9783540156895
the proceedings contain 53 papers. the special focus in this conference is on fundamentals of Computation theory. the topics include: Lower bounds on the complexity of 1-time only branching programs (Preliminary version);on coordinated rewriting;elements of a general theory of combinatorial structures;a language theoretic approach to serialization problem in concurrent systems;logic programming and substitutions;a lower bound on the oscilation complexity of context-free languages;depth efficient transformations of arithmetic into boolean circuits;free cost measures of trees;discrete extremal problems on covering;a unifying theorem for algebraic semantics and dynamic logics;parallel algorithms for connected components in a graph;statistical testing of finite sequences based on algorithmic complexity;lower bounds for boolean formulae of depth 3 and the topology of the n-Cube (Preliminary version);Clustering to minimize the sum of volumes of convex hulls of clusters is NP-complete;linear comparison complexity of the n-cube membership problem;string grammars with disconnecting;array processing machines;a fast heuristic for covering polygons by rectangles;on the decidability of the theory of free groups;products of group languages;on some “non-uniform” complexity measures;the complexity of embedding graphs into binary trees;on some topological properties of logic programs;recent results on continuous ordered algebras;are lower bounds on the complexity lower bounds for universal circuits?: Preliminary version;probabilistic algorithms in group theory;recent results on codes;a multiparameter analysis of the boundedness problem for vector addition systems;about two-way transducers;Parallel time O(log N) recognition of unambiguous CFLs;generalized thue-morse sequences.
A practical and effective solution to a problem resulting from the existence of critical pairs in a set of rewrite rules is presented. We show how to modify rewrite algorithms by introducing a dynamic paramodulation o...
详细信息
the proceedings contain 28 papers. the special focus in this conference is on Automated Deduction. the topics include: Abstraction mappings in mechanical theorem proving;transforming matings into natural deduction pro...
ISBN:
(纸本)9783540100096
the proceedings contain 28 papers. the special focus in this conference is on Automated Deduction. the topics include: Abstraction mappings in mechanical theorem proving;transforming matings into natural deduction proofs;analisis of dependencies to improve ihe behaviour of logic programs;selective backtracking for logic programs;canonical forms and unification;deciding unique termination of permutative rewriting systems: Choose your term algebra carefully;how to prove algebraic inductive hypotheses without induction: With applications to the correctness of data type implementation;a complete, nonredundant algorithm for reversed skolehization;using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation;proofs as descriptions of computation;program synthesis from incomplete specifications;a system for proving equivalences of recursive programs;variable elimination and chaining in a resolution-based prover for inequalities;decision procedures for some fragments of set theory;simplifying interpreted formulas;foreword;using meta-theoretic reasoning to do algebra;specification and verification of real-time, distributed systems using the theory of constraints;reasoning by plausible inference;logical support in a time-varying model;an experiment withthe Boter-Moqre theorem prover: A proof of the correctness of a simple parser of expressions;An experiment with "EDINBURGH LCF";an approach to theorem proving on the basis of a typed lambda-calculus;adding dynamic paramodulation to rewrite algorithms;hyperparamodulation: A refinement of paramodulation;the AFFIRM theorem prover: Proof forests and management of large proofs.
this book gathers selected papers presented at 5thinternationalconference on Communication and Computational Technologies (ICCCT 2023), jointly organized by Soft Computing Research Society (SCRS) and Rajasthan Insti...
详细信息
ISBN:
(数字)9789819934850
ISBN:
(纸本)9789819934843;9789819934874
this book gathers selected papers presented at 5thinternationalconference on Communication and Computational Technologies (ICCCT 2023), jointly organized by Soft Computing Research Society (SCRS) and Rajasthan Institute of Engineering & Technology (RIET), Jaipur, during January 28–29, 2023. the book is a collection of state-of-the art research work in the cutting-edge technologies related to the communication and intelligent systems. the topics covered are algorithms and applications of intelligent systems, informatics and applications, and communication and control systems.
Following is a continuation of the list of titles and authors: Physical Limits on Computing Devices. By Robert W. Keyes. Limits of Computational algorithms. By Michael O. Rabin. Limits of Programmability and the Desig...
详细信息
Following is a continuation of the list of titles and authors: Physical Limits on Computing Devices. By Robert W. Keyes. Limits of Computational algorithms. By Michael O. Rabin. Limits of Programmability and the Design of Programming Languages. By Jacob Schwartz. Admins Implementation. By Stuart McIntosh and David Griffel. Some Observations about Decentralization of File Systems. By Jerome H. Saltzer. Considerations in Centralizing Data. By Daniel Teichroew. Practical Difficulties in Centralizing Files. By Frederic G. Withington. Experience with an Information Network. By George M. Hicken. ARPA Network: Costs and Projections. By Lawrence G. Roberts. Computer Networks in the Airline Industry. By J. T. O'Connor. Computerized Experiment Scheduling Using Marginal Efficiency and the Lagrangian Multiplier. By Steven Blum. Redundancy for Spacecraft Computers: the High Cost of Ignorance. By Herbert Hecht. Data Bus Transmission System Design Concept. By L. Balliet. Solving Load Flow Problems on Control Computers. By A. F. Harsch and R. E. Gilbreath.
this book features selected papers presented at the 5thinternationalconference on Wireless Communications and Applications (ICWCA 2021), held at Hainan University, China. the book will focus on the presentation of t...
详细信息
ISBN:
(数字)9789811922558
ISBN:
(纸本)9789811922541;9789811922572
this book features selected papers presented at the 5thinternationalconference on Wireless Communications and Applications (ICWCA 2021), held at Hainan University, China. the book will focus on the presentation of the newest trends and achievements in the development of intelligent algorithms and network technologies in smart communications, with application in underwater communications, IoT-based marine surface communications as well as state-of-the-art real-time precise location technologies, Wi-Fi/Bluetooth locationing, array signal processing, and many others.
this book gathers outstanding research papers presented at the 5thinternational Joint conference on Advances in Computational Intelligence (IJCACI 2021), held online during October 23–24, 2021. IJCACI 2021 is ...
详细信息
ISBN:
(数字)9789811903328
ISBN:
(纸本)9789811903311;9789811903342
this book gathers outstanding research papers presented at the 5thinternational Joint conference on Advances in Computational Intelligence (IJCACI 2021), held online during October 23–24, 2021. IJCACI 2021 is jointly organized by Jahangirnagar University (JU), Bangladesh, and South Asian University (SAU), India. the book presents the novel contributions in areas of computational intelligence and it serves as a reference material for advance research. the topics covered are collective intelligence, soft computing, optimization, cloud computing, machine learning, intelligent software, robotics, data science, data security, big data analytics, and signal and natural language processing.
暂无评论