Choose an application

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

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

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

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

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

"[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

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

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

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

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