- Table View
- List View
Derivative-free DIRECT-type Global Optimization: Applications and Software (SpringerBriefs in Optimization)
by Remigijus Paulavičius Linas StripinisAfter providing an in-depth introduction to derivative-free global optimization with various constraints, this book presents new original results from well-known experts on the subject. A primary focus of this book is the well-known class of deterministic DIRECT (DIviding RECTangle)-type algorithms. This book describes a new set of algorithms derived from newly developed partitioning, sampling, and selection approaches in the box- and generally-constrained global optimization, including extensions to multi-objective optimization. DIRECT-type optimization algorithms are discussed in terms of fundamental principles, potential, and boundaries of their applicability. The algorithms are analyzed from various perspectives to offer insight into their main features. This explains how and why they are effective at solving optimization problems. As part of this book, the authors also present several techniques for accelerating the DIRECT-type algorithms through parallelization and implementing efficient data structures by revealing the pros and cons of the design challenges involved. A collection of DIRECT-type algorithms described and analyzed in this book is available in DIRECTGO, a MATLAB toolbox on GitHub. Lastly, the authors demonstrate the performance of the algorithms for solving a wide range of global optimization problems with various constraints ranging from a few to hundreds of variables.Additionally, well-known practical problems from the literature are used to demonstrate the effectiveness of the developed algorithms. It is evident from these numerical results that the newly developed approaches are capable of solving problems with a wide variety of structures and complexity levels.Since implementations of the algorithms are publicly available, this monograph is full of examples showing how to use them and how to choose the most efficient ones, depending on the nature of the problem being solved. Therefore, many specialists, students, researchers, engineers, economists, computer scientists, operations researchers, and others will find this book interesting and helpful.
Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations: Theories and Methodologies
by Yejun XuAs we know, multiplicative preference relations (or called pairwise comparisons in AHP) were proposed by Dr. Thomas L Saaty. One important work is to derive its priority from pairwise comparisons. It has been proposed many methods to derive priority for multiplicative preference relation. On the basis of fuzzy sets, the fuzzy reciprocal preference relation is proposed and is extended to the incomplete contexts. However, how to derive the priorities from incomplete fuzzy reciprocal preference relations is an interesting and challenging work. This book systematically presents the theories and methodologies for deriving priorities from incomplete fuzzy reciprocal preference relations. This book can be divided into three parts. In the first part, this book introduces the basic concepts of fuzzy reciprocal preference relations and incomplete fuzzy reciprocal preference relations. Then, two consistencies of complete fuzzy reciprocal preference relations are introduced: additive consistency and multiplicative consistency. Then, the relationships between the fuzzy reciprocal elements and the weights are showed. Afterward, in the second part, different priority methods are presented. The inconsistency repairing procedures are also proposed. Last, the priority method for incomplete hesitant fuzzy reciprocal preference relations is presented. This book can be used as a reference for researchers in the areas of management science, information science, systems engineering, operations research, and other relevant fields. It can also be employed as a textbook for upper-level undergraduate students and graduate students.
Desarrollar Web desde principiante a Profesional remunerado, Volumen 3: Aprende algoritmos de JavaScript y estructuras de datos paso por paso. Ejemplos, ejercicios de... (Desarrollar Web desde principiante a Profesional remunerado #3)
by Bolakale AremuDesarrollar Web desde principiante a Profesional remunerado Volumen 3 Aprende algoritmos de JavaScript y estructuras de datos paso por paso. Ejemplos, ejercicios de práctica y proyectos incluidos Este libro es el volumen 3 de Desarrollar Web desde principiante a profesional remunerado. En este volumen algoritmos de JavaScript y estructuras de datos. Mientras HTML y CSS controlan el contenido y estilo de una página, JavaScript se utiliza para hacerla interactiva. En este volumen, aprenderás los fundamentos de JavaScript, incluyendo variables, matrices, ciclos y funciones. Una vez que conozcas los fundamentos, aplicarás ese conocimiento para crear algoritmos para manipular cadenas, factorizar números, y aún calcular la órbita de la Estación Espacial Internacional. A lo largo del camino, también aprenderás dos estilos importantes de programación o paradigmas: Programación Orientada a Objetos y Programación Funcional.
Desarrollo Web De Principiante a Profesional con Paga, Volumen 2: Construye tu portafolio mientras aprendes HTML5, CSS y JavaScript paso a paso con apoyo (Desarrollo Web De Principiante a Profesional con Paga #2)
by Ojula Technology InnovationsEste libro es el volumen 2 de Desarrollo Web, de Principiante a Profesional Pagado. En este volumen, continuarás aprendiendo tus lecciones en HTML,CSS y JavaScript. En este volumen pongo retos adicionales de código y sus soluciones. Obtendrás hojas de trucos actualizadas, ejercicios de programación, un impresionante portafolio de desarrollador web para mostrar tus ejemplos de trabajos y los gráficos/capturas de pantalla utilizados en este libro. Te ayudaré a aprender bien.
Description Approaches and Automated Generalization Algorithms for Groups of Map Objects
by Haowen YanThis book focuses on the generalization of map features, providing descriptions and classifying groups of map objects into six categories: point clusters, groups of contours, road networks, river networks, continuous areal features and discrete areal features. Discussing the methods and algorithms in map generalization in equal measure, it also describes the approaches for describing map features. The book is a valuable reference for graduates and researchers who are interested in cartography and geographic information science/systems, especially those in automated map generalization and spatial databases construction.
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #11560)
by Carsten Lutz Uli Sattler Anni-Yasmin Turhan Cesare Tinelli Frank WolterThis Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
Descriptional Complexity of Formal Systems
by Jeffrey Shallit Alexander OkhotinThis book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is concerned with the size of objects in various mathematical models of computation, such as finite automata, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of physical realizations, such as the engineering complexity of computer software and hardware. It also models similar complexity phenomena in other areas of computer science, including unconventional computing and bioinformatics.
Descriptional Complexity of Formal Systems
by Jeffrey Shallit Florin Manea Cezar CâmpeanuThis book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is concerned with the size of objects in various mathematical models of computation, such as finite automata, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of physical realizations, such as the engineering complexity of computer software and hardware. It also models similar complexity phenomena in other areas of computer science, including unconventional computing and bioinformatics.
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings (Lecture Notes in Computer Science #10952)
by Giovanni Pighizzini Stavros KonstantinidisThis book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions.DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more.
Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings (Lecture Notes in Computer Science #11612)
by Stavros Konstantinidis Michal Hospodár Galina JiráskováThis book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings (Lecture Notes in Computer Science #12442)
by Giovanni Pighizzini Galina JiráskováThis book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was supposed to take place in Vienna, Austria, in August 2020, but the conference was canceled due to the COVID-19 crisis.The 19 full papers presented in this volume were carefully reviewed and selected from 31 submissions. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
Descriptional Complexity of Formal Systems: 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings (Lecture Notes in Computer Science #13037)
by Yo-Sub Han Sang-Ki KoThis book constitutes the proceedings of the 23rd International Conference on Descriptional Complexity of Format Systems, DCFS 2021, which was supposed to take place in Seoul South Korea in June 2021, but the conference was canceled due to the COVID-19 crisis.The 16 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The conference focus to all aspects of descriptional complexity-the costs of description of objects in various computational models such as Turing machines, pushdown automata, finite automata or grammars.
Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings (Lecture Notes in Computer Science #13439)
by Yo-Sub Han György VaszilThis book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022.The 14 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains 4 invited talks. The conference focus to all aspects of descriptional complexity including Automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science #13918)
by György Vaszil Henning Bordihn Nicholas TranThis book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023.The 14 full papers, including one invited presentation as a full paper, presented in this volume were carefully reviewed and selected from 16 submissions. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.
Descriptive Data Mining
by David L. OlsonThis book offers an overview of knowledge management. It starts with an introduction to the subject, placing descriptive models in the context of the overall field as well as within the more specific field of data mining analysis. Chapter 2 covers data visualization, including directions for accessing R open source software (described through Rattle). Both R and Rattle are free to students. Chapter 3 then describes market basket analysis, comparing it with more advanced models, and addresses the concept of lift. Subsequently, Chapter 4 describes smarketing RFM models and compares it with more advanced predictive models. Next, Chapter 5 describes association rules, including the APriori algorithm and provides software support from R. Chapter 6 covers cluster analysis, including software support from R (Rattle), KNIME, and WEKA, all of which are open source. Chapter 7 goes on to describe link analysis, social network metrics, and open source NodeXL software, and demonstrates link analysis application using PolyAnalyst output. Chapter 8 concludes the monograph. Using business-related data to demonstrate models, this descriptive book explains how methods work with some citations, but without detailed references. The data sets and software selected are widely available and can easily be accessed.
Descriptive Data Mining (Computational Risk Management)
by David L. Olson Georg LauhoffThis book provides an overview of data mining methods demonstrated by software. Knowledge management involves application of human knowledge (epistemology) with the technological advances of our current society (computer systems) and big data, both in terms of collecting data and in analyzing it. We see three types of analytic tools. Descriptive analytics focus on reports of what has happened. Predictive analytics extend statistical and/or artificial intelligence to provide forecasting capability. It also includes classification modeling. Diagnostic analytics can apply analysis to sensor input to direct control systems automatically. Prescriptive analytics applies quantitative models to optimize systems, or at least to identify improved systems. Data mining includes descriptive and predictive modeling. Operations research includes all three. This book focuses on descriptive analytics.The book seeks to provide simple explanations and demonstration of some descriptive tools. This second edition provides more examples of big data impact, updates the content on visualization, clarifies some points, and expands coverage of association rules and cluster analysis. Chapter 1 gives an overview in the context of knowledge management. Chapter 2 discusses some basic software support to data visualization. Chapter 3 covers fundamentals of market basket analysis, and Chapter 4 provides demonstration of RFM modeling, a basic marketing data mining tool. Chapter 5 demonstrates association rule mining. Chapter 6 is a more in-depth coverage of cluster analysis. Chapter 7 discusses link analysis. Models are demonstrated using business related data. The style of the book is intended to be descriptive, seeking to explain how methods work, with some citations, but without deep scholarly reference. The data sets and software are all selected for widespread availability and access by any reader with computer links.
Descriptive Set Theoretic Methods in Automata Theory
by Michał SkrzypczakThe book is based on the PhD thesis Descriptive Set Theoretic Methods in Automata Theory, awarded the E. W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology. " the thesis of Micha Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas. Thomas Colcombet. "
Design Alchemy
by Roderick SimsThe promise of online learning--flexible, learner-centered, responsive--was forward-looking and poised to revolutionize education. But too often online learning courses have little room for student engagement and their design does not reflect the potential for interactive and collaborative learning. Design Alchemy counters this trend by synthesizing the art and science of educational design to model a whole that transcends the sum of its parts. Challenging yet accessible, it clearly sets out steps for harnessing innovative strategies and designer creativity to provide educational platforms that reduce learner boredom and instructor burnout, and encourage deeper interaction with subject matter. Activities, assessment methods, and sample course materials are designed toward improving quality, embracing diversity, and adapting positively to change. And the book's palette of resources enables readers to effectively apply the principles in their own practice: The evolution of Design Alchemy in the context of online learning. Alignment with core theories and practice models. The framework: elements of pedagogy and components of practice. Case studies showing Design Alchemy in real-world learning. Tools, templates, and a sample syllabus. The Design Alchemy Manifesto, summarizing key ideas. Researchers and practitioners in technology and education will look to Design Alchemy as a transformative work to help make the most of student potential, learning opportunities, and their own professional growth.
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
by Rolf Drechsler Arun Chandrasekharan Daniel GroßeThis book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.
Design Automation and Applications for Emerging Reconfigurable Nanotechnologies
by Akash Kumar Shubham RaiThis book is a single-source solution for anyone who is interested in exploring emerging reconfigurable nanotechnology at the circuit level. It lays down a solid foundation for circuits based on this technology having considered both manual as well as automated design flows. The authors discuss the entire design flow, consisting of both logic and physical synthesis for reconfigurable nanotechnology-based circuits. The authors describe how transistor reconfigurable properties can be exploited at the logic level to have a more efficient circuit design flow, as compared to conventional design flows suited for CMOS. Further, the book provides insights into hardware security features that can be intrinsically developed using the runtime reconfigurable features of this nanotechnology.
Design Automation of Cyber-Physical Systems
by Mohammad Abdullah Al Faruque Arquimedes CanedoThis book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.
Design Behind Interaction: Interfaces, Technology, Meanings (SpringerBriefs in Applied Sciences and Technology)
by Ilaria Mariani Umberto TolinoThis book investigates how digital transformation and technological innovations are challenging traditional design paradigms and redefining the conception of interfaces, suggesting a future where interfaces seamlessly integrate into or disappear within smart objects. Through the lens of Thingk, a university spin-off of the Politecnico di Milano, it addresses the practical application of theoretical design research in creating objects that, while analog in appearance, are technologically augmented, embracing a multidisciplinary approach that includes product design, communication, and interaction design. Covering an eight-year span of experimental design and analysis, it dives into how smart objects leverage context-awareness and situated meanings, engaging users from research and co-creation to validation. The significance of this book lies in its comprehensive analysis and insights into the design process behind such objects, underscoring the need for thorough examination of how semantic reconfigurations impact on affordances and agency. With a strong emphasis on a research-through-design approach and case studies, it bridges theoretical inquiry with practical applications, offering insights into the potentials of design-driven innovation in evolving user experiences.
Design Better and Build Your Brand in Canva: A beginner's guide to producing professional branding, marketing, and social content for businesses
by Laura Goodsell Janine Friston Heather PalfreymanDiscover everything you need to get started with Canva, create a brand, and easily design professional-looking graphics to go from zero to pro in no timeKey FeaturesOrganize your business designs using folders and learn to schedule social media content in Canva's own content plannerLearn to create presentations, as well as video and animated social media postsDiscover the features of Canva to help you save time, including the brand kit, quick create and templatesBook DescriptionIf you're constantly frustrated by how long it takes to create a design in Canva, then you've come to the right place. This book will get you up and running quickly with creating professional branded graphics in Canva. You'll learn how to set up a Canva account, both free and pro and create a brand kit while understanding the importance of branding. Next, you'll discover all the features and tools as well as how to put everything together to build a brand you love and graphics that work for your business. As you progress, the chapters will show you how to organize your account, create presentations, use videos and animation within your marketing materials and more. By the end of this book, you'll have a solid understanding of what Canva is and what it does and be able to confidently and easily create a branded design from scratch.What you will learnUnderstand the fundamental capabilities and features of CanvaCreate a brand kit and understand what makes a good brandDevelop effective graphics to aid in increasing visibility on social media platformsFollow step-by-step tutorials to create stunning designsCreate a branded logo and learn about trademark and copyright guidelinesDiscover a world of color combinations, contrasts, and meanings for your brandExplore the fundamental design principlesUse videos, animation, and sounds in social graphics for your designsWho this book is forThis book is for aspiring designers, social media managers, VAs, service-based businesses and solopreneurs with basic experience in Canva, who are looking to advance in a new skill, while creating their brand and perfecting their social and marketing materials on a budget. A basic understanding of Canva, including setting up a free Canva account, creating a basic design using a template, adding images and text boxes and changing the color of fonts will be helpful but not essential.
Design Computing and Cognition '12
by John S. GeroDesign thinking, the label given to the acts of designing, has become a paradigmatic view that has transcended the discipline of design and is now widely used in business and elsewhere. As a consequence there is an increasing interest in design research. This is because of the realization that design is part of the wealth creation of a nation and needs to be better understood and taught. The continuing globalization of industry and trade has required nations to re-examine where their core contributions lie if not in production efficiency. Design is a precursor to manufacturing for physical objects and is the precursor to implementation for virtual objects. At the same time, the need for sustainable development requires the design of new products and processes, which feeds a movement towards design innovations and inventions. The papers in this volume are from the Fifth International Conference on Design Computing and Cognition (DCC'12) held at Texas A & M University, USA. They represent the state-of-the-art of research and development in design computing and design cognition. They are of particular interest to researchers, developers and users of advanced computation in design and those who need to gain a better understanding of designing.
Design Computing and Cognition '14
by John S. Gero Sean HannaThis book details the state-of-the-art of research and development in design computing and design cognition. It features more than 35 papers that were presented at the Sixth International Conference on Design Computing and Cognition, DCC'14, held at University College, London, UK. Inside, readers will find the work of expert researchers and practitioners that explores both advances in theory and application as well as demonstrates the depth and breadth of design computing and design cognition. This interdisciplinary coverage, which includes material from international research groups, examines design synthesis, design cognition, design creativity, design processes, design theory, design grammars, design support and design ideation. Overall, the papers provide a bridge between design computing and design cognition. The confluence of these two fields continues to build the foundation for further advances and leads to an increased understanding of design as an activity whose influence continues to spread. As a result, the book will be of particular interest to researchers, developers and users of advanced computation in design and those who need to gain a better understanding of designing that can be obtained through empirical studies.