Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning. .

Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Math Applications in Computer Science. --- Mathematical Logic and Formal Languages. --- Information Systems Applications (incl. Internet). --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence --- Logic, Symbolic and mathematical --- Automatic theorem proving --- Computer science—Mathematics. --- Mathematical logic. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a picture of what can be done in di?erential equations with advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspect of three kinds offundamental problems in di?- ential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions. Modern research on these pr- lems using symbolic computation, or more restrictively using computer algebra, has become increasingly active since the early 1980s when e?ective algorithms for symbolic solution of di?erential equations were proposed, and so were c- puter algebra systems successfully applied to perturbation, bifurcation, and other problems. Historically, symbolic integration, the simplest case of solving ordinary di?erential equations,was alreadythe targetof the ?rst computer algebrapackage SAINT in the early 1960s. With 20 chapters, the book is structured into three parts with both tutorial surveys and original research contributions: the ?rst part is devoted to the qua- tative study of di?erential systems with symbolic computation, including stability analysis, establishment of center conditions, and bifurcation of limit cycles, which are closely related to Hilbert's sixteenth problem. The second part is concerned with symbolic solutions of ordinary and partial di?erential equations, for which normal form methods, reduction and factorization techniques, and the compu- tion of conservation laws are introduced and used to aid the search. The last part isconcentratedonthetransformationofdi?erentialequationsintosuchforms that are better suited for further study and application.

Partial differential equations --- Computer. Automation --- differentiaalvergelijkingen --- informatica --- wiskunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation coexisting in mathematics yet separated in traditional research of mathematical computation. This book with 23 chapters presents original research and tutorial survey on the integration and interaction of symbolic and numeric computations. It represents the current state of the art and will serve as a valuable reference on the development of algorithms and software packages for hybrid symbolic-numeric computation. The book highlights the interaction between symbolic and numeric computations. It contains tutorial surveys by distinguished experts, covers recent advances on key topics, and provides effective methods illustrated with applications.

Numerical analysis --- numerieke analyse

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Automatic theorem proving. --- Practical reason. --- Reasoning.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Distributed MIMO and cell-free mobile communication are emerging technologies of wireless communication. This book introduces the fundamental theory, key technology and the prototype system of distributed MIMO and cellular free mobile communication system, including the unified system model, capacity and spectral efficiency analysis under imperfect channel information, cell edge effect, optimal power allocation and energy efficiency optimization, cache optimization, low complexity wireless transmission technology and new network assisted full duplex technology. In addition, the implementation of distributed MIMO based on cloud architecture is introduced in detail, and software and hardware implementation and test results are also given in detail. This book will benefit senior undergraduates, postgraduates, scholars and engineers who are engaged in wireless mobile communication research. It can also be used as a reference book for postgraduates and researchers in the field of electronic and information engineering.

Computer architecture. Operating systems --- mobiele communicatie