الصفحة 3
الصفحة 3
Machines, Computations, and Universality ; 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St Petersburg, Russia in September 2004. This book covers a variety of foundational aspects in theoretical computer science such as cellular automata, molecular computing, quantum computing, and formal languages
Logic, language, information and computation ; 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community.
Laser additive manufacturing: design, materials, processes and applications
Laser-based additive manufacturing (LAM) is a revolutionary advanced digital manufacturing technology developed in recent decades, which is also a key strategic technology for technological innovation and industrial sustainability. This technology unlocks the design and constraints of traditional manufacturing and meets the needs of complex geometry fabrication and high-performance part fabrication. A deeper understanding of the design, materials, processes, structures, properties and applications is desired to produce novel functional devices, as well as defect-free structurally sound and reliable LAM parts.The topics in this Special Issue reprint include macro- and micro-scale additive manufacturing with lasers, such as structure/material design, fabrication, modeling and simulation, in situ characterization of additive manufacturing processes and ex situ materials characterization and performance, with an overview that covers various applications in aerospace, biomedicine, optics and energy.
Clever Girl Finance: The Side Hustle Guide : Build a Successful Side Hustle and Increase Your Income
In Clever Girl Finance: The Side Hustle Guide, celebrated finance expert, influencer, CEO, and author Bola Sokunbi delivers your own personal key to unlocking more money, more freedom, and more security in your life. You’ll find out how to achieve financial prosperity by leveraging a side hustle business to increase your income and build wealth.
Big Data Science in Finance
Explains the mathematics, theory, and methods of Big Data as applied to finance and investing Examines the mathematics, theory, and practical use of the revolutionary techniques that are transforming the industry. Designed for mathematically-advanced students and discerning financial practitioners alike, this energizing book presents new, cutting-edge content based on world-class research taught in the leading Financial Mathematics and Engineering programs in the world. Marco Avellaneda, a leader in quantitative finance, and quantitative methodology author Irene Aldridge help readers harness the power of Big Data. Provides a complete account of Big Data that includes proofs, step-by-step applications, and code samples Explains the difference between Principal Component Analysis (PCA) and Singular Value Decomposition (SVD) Covers vital topics in the field in a clear, straightforward manner Compares, contrasts, and discusses Big Data and Small Data Includes Cornell University-tested educational materials such as lesson plans, end-of-chapter questions, and downloadable lecture slides
Beginning REALbasic : From novice to professional
REALbasic is an easy-to-learn, powerful, cross-platform programming language, allowing you to write powerful applications that can be distributed across Windows, Mac, and Linux. REALbasic’s success is proven - there are already over 100,000 users, and this number is steadily growing. In a recent promotional effort, 35,000 Visual Basic developers downloaded a free copy of the Windows version of REALbasic, and REAL software has had many requests for decent beginning title on the subject. As far as we know, this is the only up-to-date book planned for the current version, REALbasic 2005, which matches that description. REAL software are enthusiastic about helping us sell the book.
Beginning jOOQ : Learn to Write Efficient and Effective Java-Based SQL Database Operations
Learn to use the jOOQ library to manage SQL database operations in Java and JVM applications. This book walks you through what JOOQ is, how to install and get started with it, and then gets you working with it. You will: Comparing equivalent features between Hibernate, JPA and jOOQ. Unlock the power of your SQL database with high performing, flexible and typesafe SQL queries. Seamlessly work with many different SQL database vendors without changing your code. Effortlessly generate Java code based on the content of your database. Write reactive SQL database access code with R2DBC. Integrating jOOQ into popular frameworks and platforms like Hibernate, Spring boot and Quarkus tools like IDEs. Testing jOOQ-based code with modern integration testing frameworks like TestContainers and Docker. Learn how to safely handle data access code within frameworks like the Java Persistence API (JPA)
Beginning Excel What-If Data Analysis tools : Getting started with goal seek, data tables, scenarios, and solver
Excels what-if data analysis tools let you experiment with your data to project future results. In turn, these predictions will lead to better decision making and unlock the mystery of many business analysis scenarios. For example, what-if data analysis tools will enable you to forecast how lowering the price per unitwhile increasing projected unit salesmight affect your profit margins. Beginning Excel What-If Data Analysis Tools explores the use of Goal Seek, Data Tables, Scenarios, and Solver to help you get insight on your data. This book is focused and to the point, and it provides tutorial treatment of what-if tools in a practical, hands-on manner.
Beginning Databases with PostgreSQL : From novice to professional
The book continues with a complete tutorial on PostgreSQL features and functions and include information on database construction and administration. Key features such as transactions, stored procedures and triggers are covered, along with many of the capabilities new to version 8. To help you get started quickly, step-by-step instructions on installing PostgreSQL on Windows and Linux/UNIX systems are included. In the remainder of the book, we show you how to make the most of PostgreSQL features in your own applications using a wide range of programming languages, including C, Perl, PHP, Java and C#. Many example programs are presented in the book, and all are available for download from the Apress web site. By the end of the book you will be able to install, use, and effectively manage a PostgreSQL server, design and implement a database, and create and deploy your own database applications.
Automated Reasoning with Analytic Tableaux and Related Methods ; 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Applied Deep Learning with TensorFlow 2 : Learn to Implement Advanced Deep Learning Techniques with Python
Focuses on the fundamental concepts and at the same time on practical aspects of implementing neural networks and deep learning for your research projects. This book is designed so that you can focus on the parts you are interested in. You will explore topics as regularization, optimizers, optimization, metric analysis, and hyper-parameter tuning. In addition, you will learn the fundamentals ideas behind autoencoders and generative adversarial networks. All the code presented in the book will be available in the form of Jupyter notebooks which would allow you to try out all examples and extend them in interesting ways. A companion online book is available with the complete code for all examples discussed in the book and additional material more related to TensorFlow and Keras. All the code will be available in Jupyter notebook format and can be opened directly in Google Colab (no need to install anything locally) or downloaded on your own machine and tested locally. You will: Understand the fundamental concepts of how neural networks work / Learn the fundamental ideas behind autoencoders and generative adversarial networks / Be able to try all the examples with complete code examples that you can expand for your own projects / Have available a complete online companion book with examples and tutorials.
Animating Unpredictable Effects : Nonlinearity in Hollywood’s R&D Complex
Uncanny computer-generated animations of splashing waves, billowing smoke clouds, and characters’ flowing hair have become a ubiquitous presence on screens of all types since the 1980s. This Open Access book charts the history of these digital moving images and the software tools that make them. Unpredictable Visual Effects uncovers an institutional and industrial history that saw media industries conducting more private R&D as Cold War federal funding began to wane in the late 1980s. In this context studios and media software companies took concepts used for studying and managing unpredictable systems like markets, weather, and fluids and turned them into tools for animation. Unpredictable Visual Effects theorizes how these animations are part of a paradigm of control evident across society, while at the same time exploring what they can teach us about the relationship between making and knowing.
Android programming : The big Nerd Ranch guide (Big Nerd Ranch Guides)
For programmers with Kotlin experience. Based on Big Nerd Ranch's popular Android Bootcamp, this guide will lead you through the wilderness using hands-on example apps combined with clear explanations of key concepts and APIs. This book focuses on practical techniques for developing apps in Kotlin compatible with Android 7.0 (Nougat) through Android 12 and beyond. Write and run code every step of the way, using Android Studio to create apps that integrate with other apps, download and display pictures from the web, store data in databases, and more. Learn about the latest patterns and techniques, including Kotlin coroutines and Jetpack Compose, a new way to build Android UIs.
An Introduction to Structural Optimization
This textbook gives an introduction to all three classes of geometry optimization problems of mechanical structures: sizing, shape and topology optimization. The style is explicit and concrete, focusing on problem formulations and numerical solution methods. The treatment is detailed enough to enable readers to write their own implementations. On the book's homepage, programs may be downloaded that further facilitate the learning of the material covered.
Algorithms – ESA 2005 ; 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual European Symposium on Algo-rithms (ESA 2005), held in Spain, 2005. respectively.Papers were solicited in all areas of algorithmic research, including but notlimited to algorithmic aspects of networks, approximation and on-line algo-rithms, computational biology, computational geometry, computational financeand algorithmic game theory, data structures, database and information re-trieval, external memory algorithms, graph algorithms, graph drawing, machinelearning, mobile computing, pattern matching and data compression, quantumcomputing, and randomized algorithms. The algorithms could be sequential,distributed, or parallel. Submissions were especially encouraged in the area ofmathematical programming and operations research, including combinatorialoptimization, integer programming, polyhedral combinatorics, and semidefiniteprogramming.Each extended abstract was submitted to one of the two tracks.
Algorithmic Aspects in Information and Management ; 3rd International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to information management and management science, broadly construed.
Algebraic Biology ; 2nd International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.
AIU projects evaluation platform
The project is a cloud computing system constructed to provide the service of helping students run their practical projects and work together while keeping track of every change in it, and teachers running the projects online and evaluating them. The system provided help doing this mission in real-time dialogue without having any dependencies downloaded on the machine and running it over the internet. The development of the system used a full-stack web framework and a database processing technology. The system has accomplished such services as running the projects online. The tests of the system are running in good conditions. The use of this system will solve the problem of teacher’s project evaluation and running them online.
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal symmetry in n dimensions and its quantization in two dimensions. In particular, the conformal groups are determined and the appearance of the Virasoro algebra in the context of the quantization of two-dimensional conformal symmetry is explained via the classification of central extensions of Lie algebras and groups. The second part surveys some more advanced topics of conformal field theory, such as the representation theory of the Virasoro algebra, conformal symmetry within string theory, an axiomatic approach to Euclidean conformally covariant quantum field theory and a mathematical interpretation of the Verlinde formula in the context of moduli spaces of holomorphic vector bundles on a Riemann surface.
