Formalization

Part 1 of ebook "Formal concept analysis: Mathematical foundations" provides readers with contents including: Chapter 0 - Order-theoretic foundations; Chapter 1 - Concept lattices of contexts; Chapter 2 - Determination and representation; Chapter 3 - Parts and factors;...

134p daonhiennhien 03-07-2024 1 1   Download

Part 2 of ebook "Formal concept analysis: Mathematical foundations" provides readers with contents including: Chapter 4 - Decompositions of concept lattices; Chapter 5 - Constructions of concept lattices; Chapter 6 - Properties of concept lattices; Chapter 7 - Context comparison and conceptual measurabilityk...

153p daonhiennhien 03-07-2024 1 1   Download

Part 2 of ebook "Guide to discrete mathematics: An accessible introduction to the history, theory, logic and applications" provides readers with contents including: Chapter 10 - Cryptography; Chapter 11 - Coding theory; Chapter 12 - Language theory and semantics; Chapter 13 - Computability and decidability; Chapter 14 - A short history of logic; Chapter 15 - Propositional and predicate logic; Chapter 16 - Advanced topics in logic; Chapter 17 - Software engineering mathematics; Chapter 18 - Formal methods; Chapter 19 - Z formal specification language; Chapter 20 - Probability, statistics and...

208p daonhiennhien 03-07-2024 3 1   Download

Part 1 of ebook "Physically unclonable functions: Constructions, properties and applications" provides readers with contents including: Chapter 1 - Introduction and preview; Chapter 2 - Physically unclonable functions - concept and constructions; Chapter 3 - Physically unclonable functions - properties; Chapter 4 - Implementation and experimental analysis of intrinsic PUFs;...

130p mothoiphong 28-06-2024 1 1   Download

Hepatitis B is endemic amongst the Australian Aboriginal population in the Northern Territory. A participatory action research project identified the lack of culturally appropriate education tools and led to the development of the “Hep B Story” app in the Aboriginal language Yolŋu Matha. This paper describes a formal evaluation of the app’s frst version, which informed improvements and translation into a further ten Aboriginal languages.

15p vishanshan 27-06-2024 2 1   Download

Approximately 3.9 million persons worldwide have young-onset dementia. Symptoms related to young-onset dementia present distinct challenges related to finances, employment, and family. This paper aims to describe formal support for persons with young-onset dementia in Sweden and the factors influencing this support.

12p vishanshan 27-06-2024 2 1   Download

This paper studies the formal local cohomology with respect to non-maximal ideals. It is an extension of the formal local cohomology for maximal ideals by Schenzel (2007). By using the properties of inverse limits and I-adic topology, we have proved several crucial properties of the formal local cohomology of order 0 regarding non-maximal ideals.

8p visergeyne 18-06-2024 0 0   Download

The present study aims to investigate how English-asforeign-language lecturers perceive the effectiveness of the formal professional development activities provided for them and the reasons for their perceptions. The study employed the qualitative approach in which the data were collected via interviews with fourteen teachers from different universities.

15p viambani 18-06-2024 1 1   Download

This book is for people who want to get acquainted with the concepts of basic geometry without taking a formal course. It can serve as a supplemental text in a classroom, tutored, or home-schooling environment. It should also be useful for career changers who need to refresh their knowledge of the subject. I recommend that you start at the beginning of this book and go straight through. This is not a rigorous course in theoretical geometry. Such a course defines postulates (or axioms) and provides deductive proofs of statements called theorems by applying mathematical logic.

322p zizaybay1103 29-05-2024 3 2   Download

This book is for people who want to learn basic physics without taking a formal course. It can also serve as a supplemental text in a classroom, tutored, or home-schooling environment. This book contains an abundance of practice quiz, test, and exam questions. They are all multiple choice, and are similar to the sorts of questions used in standardized tests. There is a short quiz at the end of every chapter. The quizzes are “open-book.”

618p zizaybay1103 29-05-2024 2 2   Download

This book is for people who want to get acquainted with the concepts of basic trigonometry without taking a formal course. It can serve as a supple- mental text in a classroom, tutored, or home-schooling environment. It should also be useful for career changers who need to refresh their knowledge of the subject. This is not a rigorous course in theoretical trigonometry. Such a course defines postulates (or axioms) and provides deductive proofs of statements called theorems by applying mathematical logic. Proofs are generally omitted in this book for the sake of simplicity and clarity.

322p zizaybay1103 29-05-2024 3 1   Download

This book contributes to debates in positive democratic theory about accountability and representation. It bridges the gap between formal models and theoretically weak empirical analyses. The chapters stay close to the results of the formal literature, but they provide a more realistic description of how the democratic control of governments operates.

327p vimeyers 29-05-2024 3 2   Download

This insightful book closes this gap in entrepreneurship literature. Inspired by modern physics, author Thomas Grebel brings together an evolutionary methodology, along the way implicating quantum, graph, and percolation theory.

198p vimeyers 29-05-2024 3 3   Download

This book provides a framework for integrating risk management into the management of projects. It explains how to do this through the definition of generic risk management processes and shows how these processes can be mapped onto the stages of the project life cycle. As the disciplines of formal project management are being applied ever more widely (e.g., to the management of change within organizations) so the generic project risk management processes set out here will readily find use in diverse areas of application.

408p zizaybay1103 29-05-2024 2 1   Download

This is the general subject of Software Quality Engineering, which is organized into three major topics: Software testing as a primary means to ensure software quality; Other alternatives for quality assurance (QA), including defect prevention, process improvement, inspection, formal verification, fault tolerance, safety assurance, and damage control; Measurement and analysis to close the feedback loop for quality assessment and quantifiable improvement.

441p zizaybay1103 29-05-2024 1 1   Download

Part 2 book "Automotive embedded systems handbook" includes content: Product lines in automotive electronics, reuse of software in automotive electronics, automotive architecture description languages, model based development of automotive embedded systems; testing automotive control software; testing and monitoring of flexray based applications; timing analysis of can based automotive communication systems; scheduling messages with offsets on controller area network - A major performance boost; formal methods in the automotive domain - The case of TTA.

289p dianmotminh01 20-05-2024 6 2   Download

Lecture "Database management and tuning: Unit 10 - Concurrency tuning" provides students with content about: Chopping long transactions; Split long transactions; Formal chopping approach; Assumptions for transaction chopping;... Please refer to the detailed content of the lecture!

20p gaupanda031 20-05-2024 5 3   Download

In addition, we also show that our present solutions are valid for the problems of indentation by a rigid punch on an elastic half-space through a proper replacement of the contact radius and the corresponding material constant. Numerical results are provided to demonstrate the accuracy, applicability, and versatility of the developed solutions.

16p dianmotminh02 03-05-2024 4 1   Download

Artificial intelligence - Lecture 9: Propositional logic. This lecture provides students with content including: knowledge-based agents; propositional logic; language of propositional logic; formal language of propositional logic; semantic of propositional logic; inference in propositional logic; forward chaining;... Please refer to the detailed content of the lecture!

13p codabach1016 03-05-2024 3 2   Download

The relevance is due to the variability and incompleteness of modern tax legislation, which results in increased attention to the problems of applying tax rules with the use of analogy as a key technique for overcoming legal lacunae. The objective is to enhance the development of the doctrinal frameworks for the practice of applying the analogy of law and to identify the peculiarities of the implementation of this tool in the area of tax.

10p longtimenosee10 26-04-2024 3 1   Download