- Table View
- List View
SWT: A Developer's Notebook
by Tim HattonIn typical Developer's Notebook style, you'll learn how to take SWT out for a spin, make it work for you,and turn it upside down, all without wasted words or space. Each lab in this notebook details a specific task; you can read from the first page to the last, look up just what you need to know, and even squeeze this book into your laptop bag as a quick reference when you forget how to create a multi-tabbed view.
SWT/JFace in Action: GUI Design with Eclipse 3.0
by Matthew Scarpino Laurent Mihalkovic Stanford Ng Stephen HolderCovering Eclipse's new capability for building graphical user interfaces with version 3.0, the Standard Widget Toolkit (SWT) and JFace, this guide demonstrates how these award-winning tools have received broad support for creating desktop applications. Theory and practical examples reveal how to build GUIs that combine the look and feel of native interfaces with the platform independence of Java. This guide also shows how SWT makes use of the widgets provided by the operating system and describes how these components can be associated with events, containers, and graphics. With this knowledge, programmers can build fully featured user interfaces that communicate directly with the underlying platform. JFace's ability to simplify and organize the process of GUI design is then demonstrated, enabling developers to modify and adapt components, and separate their information from their appearance.
Sybex's Study Guide for Snowflake SnowPro Core Certification: COF-C02 Exam
by Hamid Mahmood QureshiPrepare smarter, faster, and better with the premier study guide for Snowflake SnowPro Core certification Snowflake, a cloud-based data warehousing platform, has steadily gained popularity since its 2014 launch. Snowflake offers several certification exams, of which the SnowPro Core certification is the foundational exam. The SnowPro Core Certification validates an individual's grasp of Snowflake as a cloud data warehouse, its architectural fundamentals, and the ability to design, implement, and maintain secure, scalable Snowflake systems. Sybex’s Study Guide for Snowflake SnowPro Certification delivers comprehensive coverage of every relevant exam topic on the Snowflake SnowPro Core Certification test. Prepare efficiently and effectively for the exam with online practice tests and flashcards, a digital glossary, and concise and easy-to-follow instruction from the subject-matter experts at Sybex. You'll gain the necessary knowledge to help you succeed in the exam and will be able to apply the acquired practical skills to real-world Snowflake solutions. This Study Guide includes: Comprehensive understanding of Snowflake's unique shared data, multi-cluster architecture Guidance on loading structured and semi-structured data into Snowflake Utilizing data sharing, cloning, and time travel features Managing performance through clustering keys, scaling compute up, down & across Steps to account management and security configuration including RBAC & MFA All the info you need to obtain a highly valued credential for a rapidly growing new database software solution Access to the Sybex online learning center, with chapter review questions, full-length practice exams, hundreds of electronic flashcards, and a glossary of key terms Perfect for anyone considering a new career in cloud-based data warehouse solutions and related fields, Sybex’s Study Guide for Snowflake SnowPro Certification is also a must-read for veteran database professionals seeking an understanding of one of the newest and fastest-growing niches in data.
Symbiotic Intelligence: Proceedings of the 6th International Conference on Computational Design and Robotic Fabrication (CDRF 2024) (Computational Design and Robotic Fabrication)
by Hua Chai Ding Wen Nic Bao Zhe Guo Philip F. YuanThis open access book is a compilation of selected papers from The 6th International Conference on Computational Design and Robotic Fabrication (CDRF 2024). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. Also, readers will encounter new ideas about understanding symbiotic intelligence in architecture.
Symbiotic Interaction
by Luciano Gamberini Anna Spagnolli Giulio Jacucci Benjamin Blankertz Jonathan FreemanThis book constitutes the proceedings of the 4th International Workshop on Symbiotic Interaction, Symbiotic 2015, held in Berlin, Germany, in October 2015. The 11 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers present an overview of the symbiotic relationships between humans and computers as well as novel advancements. The idea of symbiotic systems put forward in this workshop capitalises on the computers' ability to implicitly detect the users goals and psycho-physiological states and thereby enhancing human-computer interaction (HCI). A special focus of this year's Symbiotic Workshop will be on physiological computing approaches, e. g. using brain-computer interface (BCI) technology.
Symbiotic Interaction
by Giulio Jacucci Luciano Gamberini Jonathan Freeman Anna SpagnolliThis book constitutes the proceedings of the third International Workshop on Symbiotic Interaction, Symbiotic 2014, held in Helsinki, Finland, in October 2014. The 8 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 16 submissions. They are organized in topical sections named: definitions of symbiotic interaction; reviews of implicit interaction; example applications; experimenting with users; and demos and posters.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings (Lecture Notes in Computer Science #14294)
by Zied Bouraoui Srdjan VesicThis book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Sébastien Destercke Thierry DenoeuxThis book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiègne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief update; classification; inconsistency; graphical models; Bayesian networks; belief functions; logic; and probabilistic graphical models for scalable data analytics. Papers come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (Lecture Notes in Computer Science #11726)
by Gabriele Kern-Isberner Zoran OgnjanovićThis book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections named: Argumentation; Belief Functions; Conditional, Default and Analogical Reasoning; Learning and Decision Making; Precise and Imprecise Probabilities; and Uncertain Reasoning for Applications.
Symbolic Approaches to Modeling and Analysis of Biological Systems
by Cédric Lhoussaine Élisabeth RemySystems Biology is an approach to biology that involves understanding the complexity of interactions among biological entities within a systemic whole. The goal is to understand the emergence of physiological or functional properties. Symbolic Approaches to Modeling and Analysis of Biological Systems presents contributions of formal methods from computer science for modeling the dynamics of biological systems. It deals more specifically with symbolic methods, i.e. methods that can establish the qualitative properties of models. This book presents different approaches related to semantics, language, modeling and their link with data, and allows us to examine the fundamental problems and challenges that biological systems are facing. The first part of the book presents works that rely on various available data to build models, while the second part gathers contributions surrounding issues of semantics and formal methods.
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science #14991)
by Stephen M. Watt Tetsuo IdaThis book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.
Symbolic Dynamics and Geometry: Using D* in Graphics and Game Programming
by Brian Guenter Sung-Hee LeeThis book explains how to use the symbolic differentiation system D* for applications in computer games and engineering simulation. The authors describe how to create procedural 3D geometric models, link them together to form multibody physical systems, and simulate and display their physical behavior in real time. The symbolic differentiation capabilities of D* can be used in a wide variety of technical applications, including computer graphics, engineering, and mechanical simulation. Two Lagrangian physics simulation and procedural 3D geometric modeling are developed in great detail.
Symbolic Parallelization of Nested Loop Programs
by Alexandru-Petru Tanase Frank Hannig Jürgen TeichThis book introduces new compilation techniques, using the polyhedron model for the resource-adaptive parallel execution of loop programs on massively parallel processor arrays. The authors show how to compute optimal symbolic assignments and parallel schedules of loop iterations at compile time, for cases where the number of available cores becomes known only at runtime. The compile/runtime symbolic parallelization approach the authors describe reduces significantly the runtime overhead, compared to dynamic or just‐in-time compilation. The new, on‐demand fault‐tolerant loop processing approach described in this book protects loop nests for parallel execution against soft errors.
Symbolic Regression
by Michael Affenzeller Stephan M. Winkler Gabriel Kronberger Bogdan Burlacu Michael KommendaSymbolic regression (SR) is one of the most powerful machine learning techniques that produces transparent models, searching the space of mathematical expressions for a model that represents the relationship between the predictors and the dependent variable without the need of taking assumptions about the model structure. Currently, the most prevalent learning algorithms for SR are based on genetic programming (GP), an evolutionary algorithm inspired from the well-known principles of natural selection. This book is an in-depth guide to GP for SR, discussing its advanced techniques, as well as examples of applications in science and engineering.The basic idea of GP is to evolve a population of solution candidates in an iterative, generational manner, by repeated application of selection, crossover, mutation, and replacement, thus allowing the model structure, coefficients, and input variables to be searched simultaneously. Given that explainability and interpretability are key elements for integrating humans into the loop of learning in AI, increasing the capacity for data scientists to understand internal algorithmic processes and their resultant models has beneficial implications for the learning process as a whole.This book represents a practical guide for industry professionals and students across a range of disciplines, particularly data science, engineering, and applied mathematics. Focused on state-of-the-art SR methods and providing ready-to-use recipes, this book is especially appealing to those working with empirical or semi-analytical models in science and engineering.
Symfony 1.3 Web Application Development
by Tim Bowler Wojciech BancerThis book is an example driven tutorial that takes you through the process of building Model-View-Controller-based web applications. You will create and develop an online store application. It also covers best practices for better and quicker application development. This book is for PHP web developers who want to get started with Symfony 1.3. If you are already using Symfony 1.0 or are new to Symfony, you will learn how to use it in the best way to produce better applications faster. Basic knowledge of Object Oriented design and ORM will be quite helpful.
Symfony2 Essentials
by Wojciech BancerA fast-paced developer's guide to using Symfony2 to make your everyday web development work more efficient Key Features * Build web applications with the latest features of Symfony2 * Focus on common tasks such as creating CRUD, creating an API, and providing a login * Install and configure Symfony2 and evaluate it for your everyday needs Who This Book Is For This book is aimed at experienced programmers, especially those familiar with a closely related technology such as Yii or Laravel, but who now want to learn Symfony quickly. This book will also prove beneficial for experienced PHP developers who want to explore and evaluate new frameworks and their possibilities in day-to-day tasks. What You Will Learn * Familiarise yourself with the Symfony framework, its latest features, and how to install it * Discover the concept of bundles and their application * Handle translations within Symfony, enable translations, and learn how to handle database translations * Understand Symfony's security model, how to secure applications, and implement a custom authentication provider by using FOSUserBundle * Explore the use of Twig, find best practices around its usage, and discover its common pitfalls * Create internal commands that will handle sending e-mail reminders for your app * Develop a plugin for the profiler to provide custom information about your application * Deploy applications based on Symfony2 using various methods including simple FTP copying, rsync, CI deployment, and more In Detail Symfony is a free and open source PHP MVC web application development framework, which helps you create and maintain web applications and replace recurrent coding tasks. It integrates with an independent library, PHPUnit, to give you a rich testing framework. It is one of the best and most popular frameworks available on the market. Popular projects such as Drupal, Laravel, and phpBB also use Symfony. Its well-organized structure, clean code, and good programming practices make web development a breeze. Symfony2 Essentials will guide you through the process of creating a sample web application with Symfony2. You will create a To-Do application, using a few of the most commonly used Symfony2 components, and discover how to perform these development tasks efficiently. This book introduces you to the Symfony framework with a quick installation guide and a brief explanation of its key features including the MVC architecture, twig templating, dependency injection, and more. You will learn to manage dependencies, create controllers, views, and API calls, and secure your application. Next, you will go through the steps that are common for most web applications, which include writing CRUD and AJAX, handling forms, validation, translations, and the command-line interface, and e-mail sending features. The book ends with best practices, debugging, profiling, and deployment procedures. By the end of this book, you will have learned how to combine a Symfony2 framework with other open source code to speed up the development process. Style and approach A fast-paced, step-by-step guide with examples on how to write the most common pieces of code while developing typical web applications with Symfony.
Symmetric Cryptographic Protocols
by Mahalingam RamkumarThis book focuses on protocols and constructions that make good use of the building blocks for symmetric cryptography. The book brings under one roof, several esoteric strategies of utilizing symmetric cryptographic blocks. The specific topics addressed by the book include various key distribution strategies for unicast, broadcast and multicast security and strategies for constructing efficient digests of dynamic databases using binary hash trees.
Symmetric Cryptography, Volume 1: Design and Security Proofs
by Christina Boura María Naya-PlasenciaSymmetric cryptology is one of the two main branches of cryptology. Its applications are essential and vital in the Information Age, due to the efficiency of its constructions. The scope of this book in two volumes is two-fold. First, it presents the most important ideas that have been used in the design of symmetric primitives, their inner components and their most relevant constructions. Second, it describes and provides insights on the most popular cryptanalysis and proof techniques for analyzing the security of the above algorithms. A selected number of future directions, such as post-quantum security or design of ciphers for modern needs and particular applications, are also discussed. We believe that the two volumes of this work will be of interest to researchers, to master’s and PhD students studying or working in the field of cryptography, as well as to all professionals working in the field of cybersecurity.
Symmetric Cryptography, Volume 2: Cryptanalysis and Future Directions
by Christina Boura María Naya-PlasenciaSymmetric cryptology is one of the two main branches of cryptology. Its applications are essential and vital in the Information Age, due to the efficiency of its constructions. The scope of this book in two volumes is two-fold. First, it presents the most important ideas that have been used in the design of symmetric primitives, their inner components and their most relevant constructions. Second, it describes and provides insights on the most popular cryptanalysis and proof techniques for analyzing the security of the above algorithms. A selected number of future directions, such as post-quantum security or design of ciphers for modern needs and particular applications, are also discussed. We believe that the two volumes of this work will be of interest to researchers, to master’s and PhD students studying or working in the field of cryptography, as well as to all professionals working in the field of cybersecurity.
Symmetries and Groups in Signal Processing: An Introduction (Signals and Communication Technology)
by Virendra P. SinhaSymmetries and Groups in Signal Processing: An Introduction deals with the subject of symmetry, and with its place and role in modern signal processing. In the sciences, symmetry considerations and related group theoretic techniques have had a place of central importance since the early twenties. In engineering, however, a matching recognition of their power is a relatively recent development. Despite that, the related literature, in the form of journal papers and research monographs, has grown enormously. A proper understanding of the concepts that have emerged in the process requires a mathematical background that goes beyond what is traditionally covered in an engineering undergraduate curriculum. Admittedly, there is a wide selection of excellent introductory textbooks on the subject of symmetry and group theory. But they are all primarily addressed to students of the sciences and mathematics, or to students of courses in mathematics. Addressed to students with an engineering background, this book is meant to help bridge the gap.
Symmetries in Atomic Nuclei: From Isospin to Supersymmetry (Springer Tracts in Modern Physics #230)
by Alejandro Frank Jan Jolie Pieter Van IsackerThe revised edition of this established work presents an extended overview of recent applications of symmetry to the description of atomic nuclei, including a pedagogical introduction to symmetry concepts using simple examples. Following a historical overview of the applications of symmetry in nuclear physics, attention turns to more recent progress in the field. Special emphasis is placed on the introduction of neutron-proton and boson-fermion degrees of freedom. Their combination leads to a supersymmetric description of pairs and quartets of nuclei. Expanded and updated throughout, the book now features separate chapters on the nuclear shell model and the interacting boson model, the former including discussion of recent results on seniority in a single-j shell. Both theoretical aspects and experimental signatures of dynamical (super)symmetries are carefully discussed. This book focuses on nuclear structure physics, but its broad scope makes it suitable for final-year or post-graduate students and researchers interested in understanding the power and beauty of symmetry methods in physics.Review of the 1st Edition:"The subject of this book, symmetries in physical systems, with particular focus on atomic nuclei, is of the utmost importance in modern physical science. In contrast to most treatments, frequently characterized by fearsome formalism, this book leads the reader step-by-step, in an easily understandable way, through this fascinating field...this book is remarkably accessible to both theorists and experimentalists. Indeed, I view it as essential reading for experimental nuclear structure physicists. This is one of the finest volumes on this subject I have ever encountered." Prof. R.F. Casten, Yale University
Symmetries in Atomic Nuclei
by Pieter Van Isacker Jan Jolie Alejandro FrankSymmetries in Atomic Nuclei aims to present an overview of recent applications of symmetry to the description of atomic nuclei. Special care is given to a pedagogical introduction of symmetry concepts using simple examples. After a historical overview of the applications of symmetry in nuclear physics, progress in the field during the last decade is reviewed. Special emphasis is put on the introduction of neutron-proton and boson-fermion degrees of freedom. Their combination leads to a supersymmetric description of pairs and quartets of nuclei. Both theoretical aspects and experimental signatures of dynamical (super)symmetries are carefully discussed. Case studies show how these symmetries are displayed by real atomic nuclei which have been studied experimentally using state-of-the art spectroscopy. This book focuses on nuclear structure physics and has been written by active investigators in the field, but its scope is wider and is intended for final-year or post-graduate students and researchers interested in understanding the power and beauty of symmetry methods in physics.
Symmetry and Pattern in Projective Geometry
by Eric LordSymmetry and Pattern in Projective Geometry is a self-contained study of projective geometry which compares and contrasts the analytic and axiomatic methods. The analytic approach is based on homogeneous coordinates, and brief introductions to Plücker coordinates and Grassmann coordinates are presented. This book looks carefully at linear, quadratic, cubic and quartic figures in two, three and higher dimensions. It deals at length with the extensions and consequences of basic theorems such as those of Pappus and Desargues. The emphasis throughout is on special configurations that have particularly interesting symmetry properties. The intricate and novel ideas of 'Donald' Coxeter, who is considered one of the great geometers of the twentieth century, are also discussed throughout the text. The book concludes with a useful analysis of finite geometries and a description of some of the remarkable configurations discovered by Coxeter. This book will be appreciated by mathematics students and those wishing to learn more about the subject of geometry. It makes accessible subjects and theorems which are often considered quite complicated and presents them in an easy-to-read and enjoyable manner.
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science #11180)
by Cliff Jones Ji Wang Naijun ZhanThis volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.
Sync Problems Collection: Synchronization and Time Distribution in Telecommunications
by Nickolay Biriukov Nataliya TriskaThis textbook clarifies synchronization issues in telecommunications in an easy-to-follow way, focusing less on theory and more on practical aspects. The book is intended for a wide range of readers interested in the basic synchronization concepts in their wide application for development, maintenance, and conformity assessment of telecommunications equipment and networks. The authors show how, though synchronization in telecommunications has experienced rapid development, the foundational theory and the basic definitions, mathematical tools, and well-developed “classical” technologies have remained. The authors have studied the ITU-T, ETSI, IEEE standards, and extracted practical topics of synchronization. The collection of numerous training problems, practical examples, and case studies help the readers not only to find the answers to their current questions but also to get a common view of synchronization’s role in the modern telecommunications. The book is geared towards students of telecommunications but can also be useful for telecom engineers and for training/workshops for telecom engineers concerning synchronization topics.