Listing 1 - 10 of 282 | << page >> |
Sort by
|
Choose an application
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August – September 2022. The 19 revised full papers and 3 invited talks presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections: structures in finite fields; efficient finite field arithmetic; coding theory; cryptography; sequences.
Finite fields (Algebra) --- Modular fields (Algebra) --- Algebra, Abstract --- Algebraic fields --- Galois theory --- Modules (Algebra)
Choose an application
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.
Software engineering. --- Mathematical logic. --- Software Engineering. --- Mathematical Logic and Foundations. --- Computer software engineering --- Engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
Mathematical logic. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mètodes formals (Informàtica)
Choose an application
This LNAI 1103 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2018, held in Quy Nhon, Vietnam, in August 2018. The 40 full papers presented together with 5 short papers were carefully reviewed and selected from 61 submissions. The IJCRS conferences aim at bringing together experts from universities and research centers as well as the industry representing fields of research in which theoretical and applicational aspects of rough set theory already find or may potentially find usage.
Computer science. --- Mathematical logic. --- Data mining. --- Computer Science. --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science
Choose an application
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.
Computer logic. --- Probabilities. --- Mathematical logic. --- Logics and Meanings of Programs. --- Probability Theory and Stochastic Processes. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Probability --- Statistical inference --- Combinations --- Chance --- Least squares --- Mathematical statistics --- Risk --- Computer science logic --- Logic, Symbolic and mathematical --- Computer logic, Probabilities, Logic, Symbolic and mathematical.
Choose an application
"[P]resents the design, manufacturing, microstructure, mechanical properties and applications of TPMS structures fabricated by selective laser melting--the most commonly used AM technology for TPMS. The book explains these complex and useful structures, based on systematic work conducted in the United Kingdom and in China"--Page 4 of cover.
Additive manufacturing. --- Materials. --- Lasers --- Industrial applications. --- AM (Additive manufacturing) --- Manufacturing processes --- Engineering --- Engineering materials --- Industrial materials --- Engineering design --- Materials --- Lattice theory. --- Minimal surfaces. --- Surfaces, Minimal --- Maxima and minima --- Lattices (Mathematics) --- Space lattice (Mathematics) --- Structural analysis (Mathematics) --- Algebra, Abstract --- Algebra, Boolean --- Group theory --- Set theory --- Topology --- Transformations (Mathematics) --- Crystallography, Mathematical
Choose an application
Starting with an introduction to the numerous features of Mathematica®, this book continues with more complex material. It provides the reader with lots of examples and illustrations of how the benefits of Mathematica® can be used. Composed of eleven chapters, it includes the following: A chapter on several sorting algorithms Functions (planar and solid) with many interesting examples Ordinary differential equations Advantages of Mathematica® dealing with the Pi number The power of Mathematica® working with optimal control problems Introduction to Mathematica® with Applications will appeal to researchers, professors and students requiring a computational tool. .
Mathematical logic --- Mathematics --- Computer science --- Computer. Automation --- computers --- informatica --- wiskunde --- logica --- computerkunde --- Computer science—Mathematics. --- Mathematical logic. --- Computer mathematics. --- Mathematics of Computing. --- Mathematical Logic and Formal Languages. --- Mathematical Applications in Computer Science. --- Computer mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as a presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
Formal methods (Computer science) --- Computer science. --- Software engineering. --- Mathematical logic. --- User interfaces (Computer systems). --- Computer Science. --- User Interfaces and Human Computer Interaction. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- System design --- Computer software engineering --- Engineering --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction
Choose an application
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines. With this book the editors and authors wish to acknowledge – on the occasion of his 60th birthday – the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd’s broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career. Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.
Computer software --- Development. --- Software engineering. --- Computer science. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Computer software engineering --- Engineering --- Mathematical logic. --- Programming languages (Electronic computers). --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics. This pragmatic book shows you how to solve your programming problems, starting with a brief primer on MATLAB and the fundamentals of the MATLAB programming language. Then, you’ll build fully working examples and computational models found in the financial, engineering, and scientific sectors. As part of this section, you’ll cover signal and image processing, as well as GUIs. After reading and using Practical MATLAB and its accompanying source code, you’ll have the practical know-how and code to apply to your own MATLAB programming projects. You will: Discover the fundamentals of MATLAB and how to get started with it for problem solving Apply MATLAB to a variety of problems and case studies Carry out economic and financial modeling with MATLAB, including option pricing and compound interest Use MATLAB for simulation problems such as coin flips, dice rolling, random walks, and traffic flows Solve computational biology problems with MATLAB Implement signal processing with MATLAB, including currents, Fast Fourier Transforms (FFTs), and harmonic analysis Process images with filters and edge detection Build applications with GUIs .
MATLAB. --- MATLAB (Computer program) --- Matrix laboratory --- MATLAB (Computer file) --- Programming languages (Electronic computers). --- Computer programming. --- Mathematical logic. --- Computer science—Mathematics. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Mathematics of Computing. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming
Listing 1 - 10 of 282 | << page >> |
Sort by
|