- Table View
- List View
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 (Lecture Notes in Mathematics #839)
by A. S. Kechris D. A. Martin Y. N. Moschovakis
CABology: Value Of Cloud, Analytics And Big Data Trio Wave
by Nitin UpadhyayThis uniquely accessible book helps readers use CABology to solve real-world business problems and drive real competitive advantage. It provides reliable, concise information on the real benefits, usage and operationalization aspects of utilizing the “Trio Wave” of cloud, analytic and big data. Anyone who thinks that the game changing technology is slow paced needs to think again. This book opens readers’ eyes to the fact that the dynamics of global technology and business are changing. Moreover, it argues that businesses must transform themselves in alignment with the Trio Wave if they want to survive and excel in the future. CABology focuses on the art and science of optimizing the business goals to deliver true value and benefits to the customer through cloud, analytic and big data. It offers business of all sizes a structured and comprehensive way of discovering the real benefits, usage and operationalization aspects of utilizing the Trio Wave.
CAD Geometry Data Exchange Using STEP: Realisation of Interface Processors (Research Reports Esprit #1)
by Helmut J. HelpensteinThe Product Data Technology Advisory Group, short PDTAG, was established on 30 September 1992 under the auspices of the ESPRIT CIME Division of the Directorate General XIII of the European Commission. Its goals include promoting European cooperation and improving the European infrastructure in Product Data Technology, particularly in connection with the new standard STEP (ISO 10303). The dissemination of information on Product Data Technology and on European contributions to STEP is of crucial importance to this development. The current volume is the first title in a new PDTAG subseries to Springer Publishers' Research Reports ESPRIT. This new subseries intends to form a comprehensive repository of publications on Product Data Technology resulting from ESPRIT Projects and from European contributions to standardisation based on ISO/STEP. PDTAG welcomes the opportunity to make this information more accessible under the format of a coherent subseries within the established framework of Research Reports ESPRIT. Much valuable background on the new international PDT standard can thus be found in the same collection.
CAD*I Drafting Model (Research Reports Esprit #4)
by Richard Schuster Dietmar Trippner Michael EndresThe content of this book is an information model for technical drawings, the so-called "Drafting Model". The Drafting Model is a part of a complex information model describing product definition data, their applications and their representations. The definition of the information model is a central component of the development of STEP, a future international standard for the exchange of product defmition data. Here the Drafting Model particularly encloses descriptions for the representations of organizational drawing data, tolerances, dimensions and surface attributes such as surface fmish symbols (a survey of the whole content is shown in the figure above). Additional to that requirements for the Presentation Model concerning the representation of geometry as well as the integration process for both the Drafting and the Presentation Models are formulated. The extent of the Drafting Model is restricted to the application area "Mechanical Engineering". Within the Drafting Model the annotation representations are described on the one hand informally and on the other hand formally using a high level language for information modeling, EXPRESS. Principally the representations of the annotation are described according to the international drawing standards. Thus the semantics pertinent to the specific graphical appearance are maintained. The data structures provide formal descriptions of annotations at a high generation level, which means that a "way" is defmed how to generate these annotations.
Cake-Cutting Algorithms: Be Fair if You Can
by Jack Robertson William WebbThe challenge of dividing an asset fairly, from cakes to more important properties, is of great practical importance in many situations. Since the famous Polish school of mathematicians (Steinhaus, Banach, and Knaster) introduced and described algorithms for the fair division problem in the 1940s, the concept has been widely popularized. This book
Calabi-Yau Manifolds and Related Geometries: Lectures at a Summer School in Nordfjordeid, Norway, June 2001 (Universitext)
by Mark Gross Daniel Huybrechts Dominic JoyceThis is an introduction to a very active field of research, on the boundary between mathematics and physics. It is aimed at graduate students and researchers in geometry and string theory. Proofs or sketches are given for many important results. From the reviews: "An excellent introduction to current research in the geometry of Calabi-Yau manifolds, hyper-Kähler manifolds, exceptional holonomy and mirror symmetry....This is an excellent and useful book." --MATHEMATICAL REVIEWS
Calabi-Yau Varieties: Lecture Notes on Concentrated Graduate Courses (Fields Institute Monographs #34)
by Radu Laza Matthias Schütt Noriko YuiThis volume presents a lively introduction to the rapidly developing and vast research areas surrounding Calabi–Yau varieties and string theory. With its coverage of the various perspectives of a wide area of topics such as Hodge theory, Gross–Siebert program, moduli problems, toric approach, and arithmetic aspects, the book gives a comprehensive overview of the current streams of mathematical research in the area.The contributions in this book are based on lectures that took place during workshops with the following thematic titles: “Modular Forms Around String Theory,” “Enumerative Geometry and Calabi–Yau Varieties,” “Physics Around Mirror Symmetry,” “Hodge Theory in String Theory.” The book is ideal for graduate students and researchers learning about Calabi–Yau varieties as well as physics students and string theorists who wish to learn the mathematics behind these varieties.
The Calabi–Yau Landscape: From Geometry, to Physics, to Machine Learning (Lecture Notes in Mathematics #2293)
by Yang-Hui HeCan artificial intelligence learn mathematics? The question is at the heart of this original monograph bringing together theoretical physics, modern geometry, and data science. The study of Calabi–Yau manifolds lies at an exciting intersection between physics and mathematics. Recently, there has been much activity in applying machine learning to solve otherwise intractable problems, to conjecture new formulae, or to understand the underlying structure of mathematics. In this book, insights from string and quantum field theory are combined with powerful techniques from complex and algebraic geometry, then translated into algorithms with the ultimate aim of deriving new information about Calabi–Yau manifolds. While the motivation comes from mathematical physics, the techniques are purely mathematical and the theme is that of explicit calculations. The reader is guided through the theory and provided with explicit computer code in standard software such as SageMath, Python and Mathematica to gain hands-on experience in applications of artificial intelligence to geometry. Driven by data and written in an informal style, The Calabi–Yau Landscape makes cutting-edge topics in mathematical physics, geometry and machine learning readily accessible to graduate students and beyond. The overriding ambition is to introduce some modern mathematics to the physicist, some modern physics to the mathematician, and machine learning to both.
Calcolo scientifico: Esercizi e problemi risolti con MATLAB e Octave (UNITEXT)
by Alfio Quarteroni F. SaleriQuesto testo è espressamente concepito per i corsi brevi del nuovo ordinamento delle Facoltà di Ingegneria e di Scienze. Esso affronta tutti gli argomenti tipici della Matematica Numerica, spaziando dal problema di approssimare una funzione, al calcolo dei suoi zeri, delle sue derivate e del suo integrale definito fino alla risoluzione approssimata di equazioni differenziali ordinarie e di problemi ai limiti. Due capitoli sono inoltre dedicati alla risoluzione di sistemi lineari ed al calcolo degli autovalori di una matrice, mentre un capitolo iniziale conduce lo studente ad un rapido ripasso degli argomenti dell'Analisi Matematica di uso frequente nel volume e ad una introduzione al linguaggio Matlab. I vari argomenti sono volutamente affrontati a livello elementare ed i paragrafi che richiedono maggior impegno sono stati opportunamente contrassegnati. In questa quarta edizione il linguaggio Octave (di distribuzione gratuita) si affianca a MATLAB.
Calcolo Scientifico: Esercizi e problemi risolti con MATLAB e Octave (UNITEXT)
by Alfio Quarteroni F. Saleri Paola GervasioQuesto testo è concepito per i corsi delle Facoltà di Ingegneria e di Scienze. Esso affronta tutti gli argomenti tipici della Matematica Numerica, spaziando dal problema di approssimare una funzione, al calcolo dei suoi zeri, dei suoi minimi, delle sue derivate e del suo integrale definito fino alla risoluzione di sistemi lineari e non lineari, di equazioni differenziali ordinarie e alle derivate parziali con metodi alle differenze finite e agli elementi finiti. Un capitolo iniziale conduce lo studente ad un rapido ripasso degli argomenti dell'Analisi Matematica di uso frequente nel volume e ad una introduzione ai linguaggi MATLAB e Octave. Al fine di rendere maggiormente incisiva la presentazione e fornire un riscontro quantitativo immediato alla teoria vengono implementati in linguaggio MATLAB e Octave tutti gli algoritmi che via via si introducono. Vengono inoltre proposti numerosi esercizi, tutti risolti per esteso, ed esempi, anche con riferimento ad applicazioni negli ambiti piu' svariati.
Calcolo Scientifico: Esercizi e problemi risolti con MATLAB e Octave (UNITEXT #105)
by Alfio Quarteroni Fausto Saleri Paola GervasioQuesto testo è concepito per i corsi delle Facoltà di Ingegneria e di Scienze. Esso affronta tutti gli argomenti tipici della Matematica Numerica, spaziando dal problema di risolvere sistemi di equazioni lineari e non lineari a quello di approssimare una funzione, di calcolare i suoi minimi, le sue derivate ed il suo integrale definito fino alla risoluzione di equazioni differenziali ordinarie e alle derivate parziali con metodi alle differenze finite ed agli elementi finiti. Un capitolo iniziale conduce lo studente ad un rapido ripasso degli argomenti dell'Analisi Matematica e dell'Algebra Lineare di uso frequente nel volume e ad una introduzione ai linguaggi MATLAB e Octave. Al fine di rendere maggiormente incisiva la presentazione e fornire un riscontro quantitativo immediato alla teoria vengono implementati in linguaggio MATLAB e Octave tutti gli algoritmi che via via si introducono. Vengono inoltre proposti numerosi esercizi, tutti risolti per esteso, ed esempi, anche con riferimento ad applicazioni in vari ambiti scientifici. Questa sesta edizione si differenzia dalle precedenti per l’aggiunta di nuovi sviluppi, di nuovi esempi relativi ad applicazioni di interesse reale e di svariati esercizi con relative soluzioni.
Calcolo stocastico per la finanza (UNITEXT)
by Andrea PascucciQuesto testo propone un’introduzione ai metodi matematici, probabilistici e numerici che sono alla base dei modelli per la valutazione degli strumenti derivati, come opzioni e futures, trattati nei moderni mercati finanziari. Il libro è rivolto a lettori con formazione scientifica, desiderosi di sviluppare competenze nell’ambito del calcolo stocastico applicato alla finanza. La prima parte è dedicata ad una presentazione dei modelli per i mercati in tempo discreto in cui le idee sui principi di valutazione sono illustrate in modo semplice e intuitivo. Contemporaneamente sono forniti gli elementi di base della teoria della probabilità. Successivamente la teoria dell’integrazione e del calcolo stocastico in tempo continuo viene sviluppata in maniera rigorosa ma, per quanto possibile, snella. Viene posta una particolare enfasi sui legami fra la teoria delle equazioni differenziali stocastiche e degli operatori alle derivate parziali di evoluzione. Il classico modello di Black&Scholes viene analizzato in dettaglio sia con un approccio analitico, sia nell’ambito della teoria delle martingale. La trattazione punta ad essere chiara e rigorosa piuttosto che onnicomprensiva, proponendo una comprensione approfondita del problema della valutazione e copertura di opzioni Call e Put come punto di partenza per l’affronto di strumenti derivati esotici. Data la loro importanza vengono studiate le opzioni di tipo Americano e alcuni tra i più noti derivati "path-dependent" come le opzioni Asiatiche e con barriera. Un capitolo è dedicato ad illustrare i più noti modelli di volatilità stocastica che generalizzano l’analisi di Black&Scholes. Infine la teoria precedente è accompagnata dalla descrizione dei principali metodi numerici per la valutazione di opzioni: il metodo Monte Carlo, gli alberi binomiali, i metodi alle differenze finite.
Calcul Scientifique: Cours, exercices corrigés et illustrations en Matlab et Octave
by Alfio Quarteroni Fausto Saleri Paola GervasioCe livre constitue une introduction au Calcul Scientifique. Son objectif est de présenter des méthodes numériques permettant de résoudre avec un ordinateur certains problèmes mathématiques qui ne peuvent être traités simplement avec un papier et un crayon. Les questions classiques du Calcul Scientifique sont abordées: la recherche des zéros ou le calcul d'intégrales de fonctions continues, la résolution de systèmes linéaires, l'approximation de fonctions par des polynômes, la résolution approchée d'équations différentielles. La présentation de ces méthodes est rendue vivante par le recours systématique aux environnements de programmation Matlab et Octave dont les principales commandes sont introduites progressivement. Tous les algorithmes sont présentés sous la forme de programmes. Ceci permet de vérifier très rapidement leurs propriétés théoriques, en particulier la stabilité, la précision et la complexité. La résolution de divers problèmes, souvent motivés par des applications concrètes, fait l'objet de nombreux exemples et exercices. À la fin de chaque chapitre, une section présente des aspects plus avancés et fournit des indications bibliographiques qui permettront au lecteur d'appronfondir les connaissances acquises. Le dernier chapitre est consacré à la correction des exercices proposés tout au long du livre
Calculator Calculus
by G. MccartyHow THIS BOOK DIFFERS This book is about the calculus. What distinguishes it, however, from other books is that it uses the pocket calculator to illustrate the theory. A computation that requires hours of labor when done by hand with tables is quite inappropriate as an example or exercise in a beginning calculus course. But that same computation can become a delicate illustration of the theory when the student does it in seconds on his calculator. t Furthermore, the student's own personal involvement and easy accomplishment give hi~ reassurance and en couragement. The machine is like a microscope, and its magnification is a hundred millionfold. We shall be interested in limits, and no stage of numerical approximation proves anything about the limit. However, the derivative of fex) = 67.SgX, for instance, acquires real meaning when a student first appreciates its values as numbers, as limits of 10 100 1000 t A quick example is 1.1 , 1.01 , 1.001 , •••• Another example is t = 0.1, 0.01, in the function e/3t+9-3)/t. ix difference quotients of numbers, rather than as values of a function that is itself the result of abstract manipulation.
The Calculi of Lambda Conversion. (AM-6), Volume 6
by Alonzo ChurchThe description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
CÁLCULO CIENTÍFICO com MATLAB e Octave
by A. Quarteroni F. SaleriEste livro é uma introdução ao Cálculo Científico. O seu objectivo consiste em apresentar vários métodos numéricos para resolver no computador certos problemas matemáticos que não podem ser tratados de maneira mais simples. São abordadas questões clássicas como o cálculo de zeros ou de integrais de funções contínuas, a resolução de sistemas lineares, a aproximação de funções por polinómios e a construção de aproximações precisas de soluções de equações diferenciais. Todos os algoritmos são apresentados nas linguagens de programação MATLAB e Octave, cujos comandos e instruções principais se introduzem de forma gradual, visando em particular a sua compatibilidade nas duas linguagens. O leitor pode assim verificar experimentalmente propriedades teóricas como a estabilidade, a precisão e a complexidade. O livro inclui ainda a resolução de problemas através de numerosos exercícios e exemplos, frequentemente ligados a aplicações concretas. No fim de cada capítulo encontra-se uma secção específica que apresenta assuntos não abordados e as referências bibliográficas que permitem ao leitor aprofundar os conhecimentos adquiridos.
Cálculo Científico con MATLAB y Octave
by A. Quarteroni F. SaleriEste libro de texto es una introducción al Cálculo Científico, que ilustra varios métodos numéricos para la solución con computador de ciertas clases de problemas matemáticos. Los autores muestran cómo calcular los ceros o las integrales de funciones continuas, resolver sistemas lineales, aproximar funciones por polinomios y construir aproximaciones precisas para la solución de ecuaciones diferenciales. Para hacer la presentación concreta y atractiva, se ha adoptado el entorno de programación MATLAB como un fiel compañero. Se muestran todos los algoritmos introducidos a través del libro, suministrando de este modo una evaluación cuantitativa inmediata de sus propiedades teóricas como son la estabilidad, la precisión y la complejidad. El libro también contiene la solución de varios problemas planteados a través de ejercicios y ejemplos, a menudo surgidos de aplicaciones específicas. Se dedica una sección específica a temas que no fueron tratados en el libro y se indican algunas referencias bibliográficas para un tratamiento más completo de la materia.
Calculus
by Howard Anton Irl C. Bivens Stephen DavisCalculus: Late Transcendental, 11th Edition Binder Ready Version strives to increase student comprehension and conceptual understanding through a balance between rigor and clarity of explanations; sound mathematics; and excellent exercises, applications, and examples. Anton pedagogically approaches Calculus through the Rule of Four, presenting concepts from the verbal, algebraic, visual, and numerical points of view.
Calculus: Single Variable
by Howard Anton Irl C. Bivens Stephen DavisCalculus: Late Transcendental, 11th Edition Binder Ready Version strives to increase student comprehension and conceptual understanding through a balance between rigor and clarity of explanations; sound mathematics; and excellent exercises, applications, and examples. Anton pedagogically approaches Calculus through the Rule of Four, presenting concepts from the verbal, algebraic, visual, and numerical points of view.
Calculus: Single Variable
by Brian E. Blank Steven G. KrantzIn order to show scientists and engineers how to apply calculus, this edition places a greater emphasis on conceptual understanding. It provides a nice balance between rigor and accessibility that will challenge them. Unique elements are integrated throughout that deepen the appreciation for calculus. Numerous nonstandard challenging exercises build better math skills. Innovative approaches on topics such as limits also help uncover new areas of learning for scientists and engineers.