- Table View
- List View
Sodding Sums: The 10% of maths you actually need
by Hywel CarverMaths is a part of everyday life and there's no denying it. For anyone who has blocked distant memories of complicated algebraic formulae or incomprehensible trigonometry, numbers can strike fear at your very core. It is, however, an unavoidable part of life, so why struggle through without a clue? Hywel Carver is passionate about making maths approachable for everyone. In his go-to guide he introduces handy arithme`tricks' that help solve multiplication and division problems with rounding and approximations; explains fractions, percentages and ratios, how to convert between them and understand increases, decreases and multiplication; delves into all types of conversions - metric versus imperial, Celsius to Fahrenheit, as well as distances and speeds. These mathematical theories can then be applied to common conundrums, such as how mortgages and loans actually work, grasping an understanding of compound interest, the chances and probability of success in gambling games, and how to analyse statistics and data including causality, coincidence and correlation. Sodding Sums will subtract stress and divide difficulty so you no longer feel clueless when challenged by maths.
Sodding Sums: The 10% of maths you actually need
by Hywel CarverMaths is a part of everyday life and there's no denying it. For anyone who has blocked distant memories of complicated algebraic formulae or incomprehensible trigonometry, numbers can strike fear at your very core. It is, however, an unavoidable part of life, so why struggle through without a clue? Hywel Carver is passionate about making maths approachable for everyone. In his go-to guide he introduces handy arithme`tricks' that help solve multiplication and division problems with rounding and approximations; explains fractions, percentages and ratios, how to convert between them and understand increases, decreases and multiplication; delves into all types of conversions - metric versus imperial, Celsius to Fahrenheit, as well as distances and speeds. These mathematical theories can then be applied to common conundrums, such as how mortgages and loans actually work, grasping an understanding of compound interest, the chances and probability of success in gambling games, and how to analyse statistics and data including causality, coincidence and correlation. Sodding Sums will subtract stress and divide difficulty so you no longer feel clueless when challenged by maths.
SOFSEM 2020: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings (Lecture Notes in Computer Science #12011)
by Yannis Manolopoulos Riccardo Dondi George A. Papadopoulos Alexander Chatzigeorgiou Herodotos Herodotou Christos Kapoutsis Florian SikoraThis book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.
Soft and Hard Probes of QCD Topological Structures in Relativistic Heavy-Ion Collisions (Springer Theses)
by Shuzhe ShiThis thesis makes significant advances in the quantitative understanding of two intrinsically linked yet technically very different phenomena in quantum chromodynamics (QCD). Firstly, the thesis investigates the soft probe of strong interaction topological fluctuations in the quark-gluon plasma (QGP) which is made possible via the anomalous chiral transport effects induced by such fluctuations. Here, the author makes contributions towards establishing the first comprehensive tool for quantitative prediction of the chiral magnetic effect in the QGP that is produced in heavy ion collision experiments. Secondly, the thesis deals with the hard probe of strongly coupled QGP created in heavy-ion collisions. In particular, this study addresses the basic question related to the nonperturbative color structure in the QGP via jet energy loss observables. The author further develops the CUJET computational model for jet quenching and uses it to analyze the topological degrees of freedom in quark-gluon plasma. The contributions this thesis makes towards these highly-challenging problems have already generated widespread impacts in the field of quark-gluon plasma and high-energy nuclear collisions.
Soft Computing Applications
by Branko Kovačević Lakhmi C. Jain Valentina Emilia BalasThese volumes constitute the Proceedings of the 6th International Workshop on Soft Computing Applications, or SOFA 2014, held on 24-26 July 2014 in Timisoara, Romania. This edition was organized by the University of Belgrade, Serbia in conjunction with Romanian Society of Control Engineering and Technical Informatics (SRAIT) - Arad Section, The General Association of Engineers in Romania - Arad Section, Institute of Computer Science, Iasi Branch of the Romanian Academy and IEEE Romanian Section. The Soft Computing concept was introduced by Lotfi Zadeh in 1991 and serves to highlight the emergence of computing methodologies in which the accent is on exploiting the tolerance for imprecision and uncertainty to achieve tractability, robustness and low solution cost. Soft computing facilitates the use of fuzzy logic, neurocomputing, evolutionary computing and probabilistic computing in combination, leading to the concept of hybrid intelligent systems. The combination of such intelligent systems tools and a large number of applications introduce a need for a synergy of scientific and technological disciplines in order to show the great potential of Soft Computing in all domains. The conference papers included in these proceedings, published post conference, were grouped into the following area of research: · Image, Text and Signal Processing Intelligent Transportation Modeling and Applications Biomedical Applications Neural Network and Applications Knowledge-Based Technologies for Web Applications, Cloud Computing, Security, Algorithms and Computer Networks Knowledge-Based Technologies Soft Computing Techniques for Time Series Analysis Soft Computing and Fuzzy Logic in Biometrics Fuzzy Applications Theory and Fuzzy Control Business Process Management Methods and Applications in Electrical Engineering The volumes provide useful information to professors, researchers and graduated students in area of soft computing techniques and applications, as they report new research work on challenging issues.
Soft Computing Applications in Sensor Networks
by Sudip Misra and Sankar K. PalThis book uses tutorials and new material to describe the basic concepts of soft-computing which potentially can be used in real-life sensor network applications. It is organized in a manner that exemplifies the use of an assortment of soft-computing applications for solving different problems in sensor networking. Written by worldwide experts, the chapters provide a balanced mixture of different problems concerning channel access, routing, coverage, localization, lifetime maximization and target tracking using emerging soft-computing applications.
Soft Computing Approach for Mathematical Modeling of Engineering Problems
by Ali AhmadianThis book describes different mathematical modeling and soft computing techniques used to solve practical engineering problems. It gives an overview of the current state of soft computing techniques and describes the advantages and disadvantages of soft computing compared to traditional hard computing techniques. Through examples and case studies the editors demonstrate and describe how problems with inherent uncertainty can be addressed and eventually solved through the aid of numerical models and methods. The chapters address several applications and examples in bioengineering science, drug delivery, solving inventory issues, Industry 4.0, augmented reality and weather forecasting. Other examples include solving fuzzy-shortest-path problems by introducing a new distance and ranking functions. Because, in practice, problems arise with uncertain data and most of them cannot be solved exactly and easily, the main objective is to develop models that deliver solutions with the aid of numerical methods. This is the reason behind investigating soft numerical computing in dynamic systems. Having this in mind, the authors and editors have considered error of approximation and have discussed several common types of errors and their propagations. Moreover, they have explained the numerical methods, along with convergence and consistence properties and characteristics, as the main objectives behind this book involve considering, discussing and proving related theorems within the setting of soft computing. This book examines dynamic models, and how time is fundamental to the structure of the model and data as well as the understanding of how a process unfolds • Discusses mathematical modeling with soft computing and the implementations of uncertain mathematical models • Examines how uncertain dynamic systems models include uncertain state, uncertain state space and uncertain state’s transition functions • Assists readers to become familiar with many soft numerical methods to simulate the solution function’s behaviorThis book is intended for system specialists who are interested in dynamic systems that operate at different time scales. The book can be used by engineering students, researchers and professionals in control and finite element fields as well as all engineering, applied mathematics, economics and computer science interested in dynamic and uncertain systems. Ali Ahmadian is a Senior Lecturer at the Institute of IR 4.0, The National University of Malaysia.Soheil Salahshour is an associate professor at Bahcesehir University.
Soft Computing for Problem Solving: Socpros 2017, Volume 1 (Advances In Intelligent Systems and Computing #816)
by Jagdish Chand Bansal Kedar Nath Das Atulya Nagar Kusum Deep Akshay Kumar OjhaThis two-volume book presents outcomes of the 7th International Conference on Soft Computing for Problem Solving, SocProS 2017. This conference is a joint technical collaboration between the Soft Computing Research Society, Liverpool Hope University (UK), the Indian Institute of Technology Roorkee, the South Asian University New Delhi and the National Institute of Technology Silchar, and brings together researchers, engineers and practitioners to discuss thought-provoking developments and challenges in order to select potential future directions The book presents the latest advances and innovations in the interdisciplinary areas of soft computing, including original research papers in the areas including, but not limited to, algorithms (artificial immune systems, artificial neural networks, genetic algorithms, genetic programming, and particle swarm optimization) and applications (control systems, data mining and clustering, finance, weather forecasting, game theory, business and forecasting applications). It is a valuable resource for both young and experienced researchers dealing with complex and intricate real-world problems for which finding a solution by traditional methods is a difficult task.
Soft Computing in Chemical and Physical Sciences: A Shift in Computing Paradigm
by Kanchan Sarkar Sankar Prasad BhattacharyyaThis book can be regarded as 'Soft computing for physicists and chemists self-taught'. It prepares the readers with a solid background of soft computing and how to adapt soft computing techniques to problem solving in physical and chemical research. Soft computing methods have been little explored by researchers in physical and chemical sciences primarily because of the absence of books that bridge the gap between the traditional computing paradigm pursued by researchers in science and the new soft computing paradigm that has emerged in computer science. This book is the interface between these primary sources and researchers in physics and chemistry.
Soft Computing in Engineering
by Jamshid GhaboussiSoft computing methods such as neural networks and genetic algorithms draw on the problem solving strategies of the natural world which differ fundamentally from the mathematically-based computing methods normally used in engineering. Human brains are highly effective computers with capabilities far beyond those of the most sophisticated electronic computers. The 'soft computing‘ methods they use can solve very difficult inverse problems based on reduction in disorder. This book outlines these methods and applies them to a range of difficult engineering problems, including applications in computational mechanics, earthquake engineering, and engineering design. Most of these are difficult inverse problems – especially in engineering design – and are treated in depth.
Soft Computing in Wireless Sensor Networks
by Huynh Thi Thanh Binh Nilanjan DeyThis book focuses on the suitable methods to solve optimization problems in wireless network system utilizing digital sensors like Wireless Sensor Network. This kind of system has been emerging as the cornerstone technology for all new smart devices and its direct application in many fields in life.
Soft Computing Techniques for Engineering Optimization (Science, Technology, and Management)
by Kaushik Kumar Supriyo Roy J. Paulo DavimThis book covers the issues related to optimization of engineering and management problems using soft computing techniques with an industrial outlook. It covers a broad area related to real life complex decision making problems using a heuristics approach. It also explores a wide perspective and future directions in industrial engineering research on a global platform/scenario. The book highlights the concept of optimization, presents various soft computing techniques, offers sample problems, and discusses related software programs complete with illustrations. Features Explains the concept of optimization and relevance to soft computing techniques towards optimal solution in engineering and management Presents various soft computing techniques Offers problems and their optimization using various soft computing techniques Discusses related software programs, with illustrations Provides a step-by-step tutorial on how to handle relevant software for obtaining the optimal solution to various engineering problems
Soft Computing Techniques for Type-2 Diabetes Data Classification
by Ramalingaswamy Cheruku Damodar Reddy Edla Venkatanareshbabu KuppiliDiabetes Mellitus (DM, commonly referred to as diabetes, is a metabolic disorder in which there are high blood sugar levels over a prolonged period. Lack of sufficient insulin causes presence of excess sugar levels in the blood. As a result the glucose levels in diabetic patients are more than normal ones. It has symptoms like frequent urination, increased hunger, increase thirst and high blood sugar. There are mainly three types of diabetes namely type-1, type-2 and gestational diabetes. Type-1 DM occurs due to immune system mistakenly attacks and destroys the beta-cells and Type-2 DM occurs due to insulin resistance. Gestational DM occurs in women during pregnancy due to insulin blocking by pregnancy harmones. Among these three types of DM, type-2 DM is more prevalence, and impacting so many millions of people across the world. Classification and predictive systems are actually reliable in the health care sector to explore hidden patterns in the patients data. These systems aid, medical professionals to enhance their diagnosis, prognosis along with remedy organizing techniques. The less percentage of improvement in classifier predictive accuracy is very important for medical diagnosis purposes where mistakes can cause a lot of damage to patient’s life. Hence, we need a more accurate classification system for prediction of type-2 DM. Although, most of the above classification algorithms are efficient, they failed to provide good accuracy with low computational cost. In this book, we proposed various classification algorithms using soft computing techniques like Neural Networks (NNs), Fuzzy Systems (FS) and Swarm Intelligence (SI). The experimental results demonstrate that these algorithms are able to produce high classification accuracy at less computational cost. The contributions presented in this book shall attempt to address the following objectives using soft computing approaches for identification of diabetes mellitus. Introuducing an optimized RBFN model called Opt-RBFN. Designing a cost effective rule miner called SM-RuleMiner for type-2 diabetes diagnosis. Generating more interpretable fuzzy rules for accurate diagnosis of type2 diabetes using RST-BatMiner. Developing accurate cascade ensemble frameworks called Diabetes-Network for type-2 diabetes diagnosis. Proposing a Multi-level ensemble framework called Dia-Net for improving the classification accuracy of type-2 diabetes diagnosis. Designing an Intelligent Diabetes Risk score Model called Intelli-DRM estimate the severity of Diabetes mellitus. This book serves as a reference book for scientific investigators who need to analyze disease data and/or numerical data, as well as researchers developing methodology in soft computing field. It may also be used as a textbook for a graduate and post graduate level course in machine learning or soft computing.
Soft Computing Techniques in Engineering, Health, Mathematical and Social Sciences (Edge AI in Future Computing)
by Pradip Debnath S. A. MohiuddineSoft computing techniques are no longer limited to the arena of computer science. The discipline has an exponentially growing demand in other branches of science and engineering and even into health and social science. This book contains theory and applications of soft computing in engineering, health, and social and applied sciences. Different soft computing techniques such as artificial neural networks, fuzzy systems, evolutionary algorithms and hybrid systems are discussed. It also contains important chapters in machine learning and clustering. This book presents a survey of the existing knowledge and also the current state of art development through original new contributions from the researchers. This book may be used as a one-stop reference book for a broad range of readers worldwide interested in soft computing. In each chapter, the preliminaries have been presented first and then the advanced discussion takes place. Learners and researchers from a wide variety of backgrounds will find several useful tools and techniques to develop their soft computing skills. This book is meant for graduate students, faculty and researchers willing to expand their knowledge in any branch of soft computing. The readers of this book will require minimum prerequisites of undergraduate studies in computation and mathematics.
Soft Sets: Theory and Applications (Studies in Fuzziness and Soft Computing #400)
by Sunil Jacob JohnThis book offers a self-contained guide to the theory and main applications of soft sets. It introduces readers to the basic concepts, the algebraic and topological structures, as well as hybrid structures, such as fuzzy soft sets and intuitionistic fuzzy sets. The last part of the book explores a range of interesting applications in the fields of decision-making, pattern recognition, and data science. All in all, the book provides graduate students and researchers in mathematics and various applied science fields with a comprehensive and timely reference guide to soft sets.
Software Adaptation in an Open Environment: A Software Architecture Perspective
by Yu Zhou Taolue ChenThe book is about a very active research field in software engineering. In modern society, the fact of the world's high reliance on software requires the system's robustness, i.e., continual availability and satisfactory service quality. This requirement gives rise to the popularity of the research on the self-adaptive software in open environment. There are some academic conferences dedicated to this field. But there is a lack of monographs about the topic. We believe such need is unmet in marketplace. By publishing the book, it can help bridge the gap and bring benefits to readers thereof. Key Features: The topic is well-motivated, interesting and actively studied worldwide The research represents as the state-of-the-art in the field The technical part of the book is rigidly evaluated The theoretical part of the book is sound and proved The organization and presentation of the book will be double-checked by professional scholars
Software Design: Creating Solutions for Ill-Structured Problems (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by David BudgenSoftware Design: Creating Solutions for Ill-Structured Problems, Third Edition provides a balanced view of the many and varied software design practices used by practitioners. The book provides a general overview of software design within the context of software development and as a means of addressing ill-structured problems. The third edition has been expanded and reorganised to focus on the structure and process aspects of software design, including architectural issues, as well as design notations and models. It also describes a variety of different ways of creating design solutions such as plan-driven development, agile approaches, patterns, product lines, and other forms. Features •Includes an overview and review of representation forms used for modelling design solutions •Provides a concise review of design practices and how these relate to ideas about software architecture •Uses an evidence-informed basis for discussing design concepts and when their use is appropriate This book is suitable for undergraduate and graduate students taking courses on software engineering and software design, as well as for software engineers. Author David Budgen is a professor emeritus of software engineering at Durham University. His research interests include evidence-based software engineering (EBSE), software design, and healthcare informatics.
Software Development with Go: Cloud-native Programming Using Golang With Linux And Docker
by Nanik Tolaram<p>Gain insights into the different challenges that can be solved using Go, with a focus on containers, Linux, security, networking, user interfaces and other relevant cloud based topics. This book reviews the necessary tools to create container-based cloud solutions with Go, a programming language that was born out of the need to address scalable, high availability cloud computing architecture needs inside Google.<p> <p>Go, also known as Golang, has been adopted across different industries and products with many popular Open Source projects that power cloud computing technologies such as Docker and Kubernetes being written with Go. As the complexity of cloud technology increases, so does the need for people to understand how things work under-the-hood and to fix them when they’re broken.<p>
Software Engineering: The Current Practice (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Vaclav RajlichThis text teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, including software changes and iterative processes of software development. The book discusses the software change and its phases, including concept location, impact analysis, refactoring, actualization, and verification. It then covers the most common iterative processes: agile, directed, and centralized processes. The text also journeys through the initial development of software from scratch to the final stages that lead toward software closedown.
Software Engineering and Formal Methods
by Radu Calinescu Bernhard RumpeThis book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)
by Zheng Li He Jiang Ge Li Minghui Zhou Ming LiThis book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Software Essentials: Design and Construction (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Adair DingleWinner of a 2015 Alpha Sigma Nu Book Award, Software Essentials: Design and Construction explicitly defines and illustrates the basic elements of software design and construction, providing a solid understanding of control flow, abstract data types (ADTs), memory, type relationships, and dynamic behavior. This text evaluates the benefits and overhe
Software Failure Investigation
by Jan Eloff Madeleine Bihina BellaThis book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The authors provide details on how near-miss analysis techniques focus on the time-window before the software failure actually unfolds, so as to detect the high-risk conditions that can lead to a major failure. They detail how by alerting system users of an upcoming software failure, the detection of near misses provides an opportunity to collect at runtime failure-related data that is complete and relevant. They present a near-miss management systems (NMS) for detecting upcoming software failures, which can contribute significantly to the improvement of the accuracy of the software failure analysis. A prototype of the NMS is implemented and is discussed in the book. The authors give a practical hands-on approach towards doing software failure investigations by means of near-miss analysis that is of use to industry and academia
Software Fault Detection and Correction: Modeling and Applications (SpringerBriefs in Computer Science)
by Rui Peng Yan-Fu Li Yu LiuThis book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time. The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work incorporates fault dependency, while the third adopts a Markov approach for studying fault detection and correction processes. The fourth work considers the multi-release property of various software, and models fault detection and correction processes. The last work classifies faults into four types and models the fault-detection and correction processes. Enabling readers to familiarize themselves with how software reliability can be modeled when different factors need to be considered, and how the approaches can be used to analyze other systems, the book is important reference guide for researchers in the field of software reliability engineering and practitioners working on software projects. To gain the most from the book, readers should have a firm grasp of the fundamentals of the stochastic process.
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering #136)
by Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann Philipp Neumann Wolfgang E. NagelThis open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.