Choose an application

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

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Logic, Symbolic and mathematical. --- Tense (Logic) --- Time. --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Logic --- Time --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Tense --- Computer science. --- Software engineering. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming languages (Electronic computers). --- Mathematical logic. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages (Electronic computers)

Choose an application

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

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Computer software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Science --- Formal methods (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Distributed processing --- Foundations --- Programming

Choose an application

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

The Letter of Mara bar Sarapion to his son – preserved in a single Syriac manuscript (7th. century CE) – still speaks to its readers, evocatively depicting the dramatic situation of a nobleman imprisoned after the Roman capture of Samosata, capital of Commagene. The letter is best known today for a passage on the “wise king of the Jews,” which may be one of the earliest pagan testimonies concerning Jesus Christ. Ongoing controversy over the letter’s date, nature, and purpose has, however, led to the widespread neglect of this intriguing document. In the present volume, Merz and Tieleman have brought together cutting-edge research from an interdisciplinary team of leading experts that significantly advances our appreciation of the letter and its historical context.

Syriac literature --- Consolation in literature --- Philosophy, Ancient --- Middle Eastern literature --- History and criticism --- Mara bar Serapion --- Mara bar Sarapion --- Mārā ibn Sirāfiyūn --- Ibn Sirāfiyūn, Mārā --- ابن سرافيون، مارا --- مارا بن سرافيون --- Mārā bar Serapyon --- Commagene --- Kommagene --- Comagene --- Komagen --- History

Choose an application

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

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Computer science. --- Computer system failures. --- Software engineering. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer simulation. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- System Performance and Evaluation. --- Simulation and Modeling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Algorism --- Computer software engineering --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- Informatics --- Failures --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Algebra --- Arithmetic --- Engineering --- System failures (Engineering) --- Fault-tolerant computing --- Science --- Foundations --- Logic design. --- Computer software. --- Computer system performance. --- Software, Computer --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Automatic theorem proving --- Machine theory. --- Electronic digital computers—Evaluation. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Computer Modelling. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

This open access book discusses the statistical modeling of insurance problems, a process which comprises data collection, data analysis and statistical model building to forecast insured events that may happen in the future. It presents the mathematical foundations behind these fundamental statistical concepts and how they can be applied in daily actuarial practice. Statistical modeling has a wide range of applications, and, depending on the application, the theoretical aspects may be weighted differently: here the main focus is on prediction rather than explanation. Starting with a presentation of state-of-the-art actuarial models, such as generalized linear models, the book then dives into modern machine learning tools such as neural networks and text recognition to improve predictive modeling with complex features. Providing practitioners with detailed guidance on how to apply machine learning methods to real-world data sets, and how to interpret the results without losing sight of the mathematical assumptions on which these methods are based, the book can serve as a modern basis for an actuarial education syllabus.

Actuarial science. --- Statistics. --- Machine learning. --- Artificial intelligence—Data processing. --- Social sciences—Mathematics. --- Actuarial Mathematics. --- Statistics in Business, Management, Economics, Finance, Insurance. --- Machine Learning. --- Data Science. --- Mathematics in Business, Economics and Finance. --- Learning, Machine --- Artificial intelligence --- Machine theory --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Statistics --- Insurance --- Deep Learning --- Actuarial Modeling --- Pricing and Claims Reserving --- Artificial Neural Networks --- Regression Modeling --- Assegurances --- Estadística