Page 15
Page 15
Computation and Logic in the Real World ; 3rd Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability in Europe, (CiE) is an informal network working on computability theory including its foundations, technical development, and applications. It performed with discrete or continuous data by all kinds of algorithms, programs, and machines. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning.
Computable Models of the Law : Languages, Dialogues, Games, Ontologies
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain.
Comprehensive mathematics for computer scientists 1 : Sets and numbers, graphs and algebra, logic and machines, linear geometry
This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical issues, statistics, categories, and manifolds. The concept framework is streamlined but defining and proving virtually everything.
Classification of covid-19 in lung images
The novel coronavirus 2019 (COVID-2019), which first appeared in Wuhan city of China in December 2019, spread rapidly around the world and became a pandemic. It has caused a devastating effect on both daily lives, public health, and the global economy. It is critical to detect the positive cases as early as possible so as to prevent the further spread of this epidemic and to quickly treat affected patients. The need for auxiliary diagnostic tools has increased as there are no accurate automated toolkits available. Recent findings obtained using radiology imaging techniques suggest that such images contain salient information about the COVID-19 virus. Application of advanced artificial intelligence (AI) techniques coupled with radiological imaging can be helpful for the accurate detection of this disease, and can also be assistive to overcome the problem of a lack of specialized physicians in remote villages.
Cisco networks : Engineers' handbook of routing, switching, and security with IOS, NX-OS, and ASA
Overviews of the basic knowledge and skills needed by CCNA and CCNP exam takers. Prior familiarity with Cisco routing and switching is desirable but not necessary, as Chris Carthern, Dr. Will Wilson, and Noel Rivera start their book with a review of network basics. Further they explain practical considerations and troubleshooting when establishing a physical medium for network communications. Later they explain the concept of network layers, intermediate LAN switching, and routing. Next they introduce you to the tools and automation used with Cisco networks. Moving forward they explain management planes, data planes, and control planes. Next they describe advanced security, trouble shooting, and network management. They conclude the book with a section which focuses on using network automation to automate Cisco IOS networks. You will: Configure Cisco switches, routers, and data center devices in typical corporate network architectures / Use black-hat tools to conduct penetration testing on the security of your network / Configure and secure virtual private networks (VPNs) / Enable identity management in your network with the Cisco Identity Services Engine (ISE) to.
Chinese Spoken Language, Processing ; 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings
This book contains a selection of refereed papers presented at the Fifth Inter- tionalSymposium on Chinese Spoken Language Processing(ISCSLP 2006), held in Singapore during December 13-16, 2006. ISCSLP is a biennial conference for scientists, researchers, and practitionersto reportand discuss the latest progress in all scientifc and technological aspects of Chinese spoken language processing (CSLP). The previous four conferences were held in Singapore (ISCSLP 1998), Beijing (ISCSLP 2000), Taipei (ISCSLP 2002) and Hong Kong (ISCSLP 2004), respectively.
Chaos and fractals : New frontiers of science
Covers the central ideas and concepts of chaos and fractals as well as many related topics including: the Mandelbrot set, Julia sets, cellular automata, L-systems, percolation and strange attractors.
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
Cellular Automata and Discrete Complex Systems ; 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presented in this book were carefully reviewed and selected from a total of 21 submissions. The topics of the conference include dynamical, topological, ergodic and algebraic aspects of CA and DCS, algorithmic and complexity issues, emergent properties, formal languages, symbolic dynamics, tilings, models of parallelism and distributed systems, timing schemes, synchronous versus asynchronous models, phenomenological descriptions, scientific modeling, and practical applications.
Cellular automata ; 8th International conference on cellular automata for research and industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, held in Yokohama, Japan, in September 2008.
Cellular automata ; 7th International conference on cellular automata for research and industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006. The book presents 53 revised full papers and 19 revised poster papers together with 6 invited lectures. Topical sections include CA theory and implementation, computational theory, population dynamics, physical modeling, urban, environmental and social modeling, traffic and boolean networks, multi-agents and robotics, as well as crowds and cellular automata, and more.
Building an automated exam system
The project aims to build an automated exam for various exams, fields and institutions, and we have adopted in our project the National Exam for Informatics Engineering. The system builds an automatic exam that facilitates the conduct of exams and their correction automatically. The flutter application was developed to provide a user interface for students and a web page to control the system for teachers and Admins. Laravel will be used as the application programming interface (API) to manage the data and functions of the system. The system builds an automated exam for various specializations to make it easier for students to test their information and their readiness to take the official exam.
Biometric Authentication ; International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings
Biometric authentication refers to identifying an individual based on his or her distinguishing physiological and/or behavioral characteristics. It associates an individual with a previously determined identity based on that individual s appearance or behavior. Because many physiological or behavioral characteristics (biometric indicators) are distinctive to each person, biometric identifiers are inherently more reliable and more capable than knowledge-based (e.g., password) and token-based (e.g., a key) techniques in differentiating between an authorized person and a fraudulent impostor. For this reason, more and more organizations are looking to automated identity authentication systems to improve customer satisfaction, security, and operating efficiency as well as to save critical resources.
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Big Data : Conceptual Analysis and Applications
The book is devoted to the analysis of big data in order to extract from these data hidden patterns necessary for making decisions about the rational behavior of complex systems with the different nature that generate this data. To solve these problems, a group of new methods and tools is used, based on the self-organization of computational processes, the use of crisp and fuzzy cluster analysis methods, hybrid neural-fuzzy networks, and others. The book solves various practical problems. In particular, for the tasks of 3D image recognition and automatic speech recognition large-scale neural networks with applications for Deep Learning systems were used.
Beginning Ubuntu Server Administration : From novice to professional
You love it as the world's most popular desktop Linux distribution, and now Ubuntu is available at a server near you. Embracing the very same features desktop users have grown to love, system administrators are rapidly adopting Ubuntu due to their ability to configure, deploy, and manage network services more effectively than ever. Beginning Ubuntu Server Administration guides you through all of the key configuration and administration tasks you'll need to know. Whether you're interested in adopting Ubuntu within a Fortune 500 environment or just want to use Ubuntu to manage your home network, this book is your go–to guide to using the distribution securely for a wide variety of network services. Topics include file, print, web, and FTP management, command–line tips and tricks, automated installation, configuration and deployment processes, and kernel management.
Beginning Groovy and Grails : From novice to professional
Web frameworks are playing a major role in the creation of today's most compelling web applications, because they automate many of the tedious tasks, allowing developers to instead focus on providing users with creative and powerful features. Java developers have been particularly fortunate in this area, having been able to take advantage of Grails, an open source framework that supercharges productivity when building Java–driven web sites. Grails is based on Groovy, which is a very popular and growing dynamic scripting language for Java developers and was inspired by Python, Ruby, and Smalltalk.
Bayesian Networks and Decision Graphs
Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. As modeling languages they allow a natural specification of problem domains with inherent uncertainty, and from a computational perspective they support efficient algorithms for automatic construction and query answering. This includes belief updating, finding the most probable explanation for the observed evidence, detecting conflicts in the evidence entered into the network, determining optimal strategies, analyzing for relevance, and performing sensitivity analysis. The book introduces probabilistic graphical models and decision graphs, including Bayesian networks and influence diagrams.It contians two parts. The first part focuses on probabilistic graphical models. Compared with the previous book, the new edition also includes a thorough description of recent extensions to the Bayesian network modeling language, advances in exact and approximate belief updating algorithms, and methods for learning both the structure and the parameters of a Bayesian network. The second part deals with decision graphs, and in addition to the frameworks described in the previous edition, it also introduces Markov decision processes and partially ordered decision problems.
Basic Python for Data Management, Finance, and Marketing : Advance Your Career by Learning the Most Powerful Analytical Tool
Learn how to gather, manipulate, and analyze data with Python. This book is a practical guide to help you get started with Python from ground zero and to the point where you can use coding for everyday tasks. Python is used in all aspects of financial industry, from algo trading, reporting and risk management to building valuations models and predictive machine learning programs. You will: Get started with Python from square one / Extend what's possible on excel with Python / Automate tasks with Python / Analyze data more precisely
Axial flux permanent magnet brushless machines
This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others.
