Browse Results

Showing 1 through 25 of 23,232 results

الشغل، الشغل! لا ينتهي، أو يكتمل

by رٍجينا بروكس

يستمتع الأطفال باللعب وتمضية أوقاتهم في المتنزهات والحدائق. لكنهم يضطرون أحياناً للقيام ببعض الأعمال المنزلية قبل تمكنهم من الذهاب إلى المتنزه. وعلى الرغم من أن القيام بهذه الأعمال ليس بمتعة اللعب أو الذهاب إلى المتنزه, إلا أن الأطفال يحتاجون لاستيعاب فكرة أن هذه الأعمال يجب أن تتم على أية حال, وأن إنجازها قد يكون شرطاً للحصول على وقت للعب. فالكتاب يروي قصة طفلة وعدتها أمها أن تأخذها للمتنزه في عطلة نهاية الأسبوع, ولكن ليس قبل أن تنتهي من إنجاز بعض الأعمال لمساعدة أمها في البيت. تقوم الطفلة بالأعمال الصغيرة المختلفة وهي تتذمر من هذا الشغل الذي لا ينتهي, بينما تحاول الأم جعلها تفكر بطريقة إيجابية وأن تتذكر بأنها ستذهب للمتنزه حال الانتهاء من هذه الأعمال. وحين تنتهي الطفلة من شغل المنزل, تأتي إليها الأم مرة أخرى لتريها بأن عملها في البيت كان جميلاً, وبأنها استحقت نجمة عن كل عمل قامت به.

الفصل في الملل و الآهواء و النحل

by ابن حزم

إن كثيراً من الناس كتبوا في افتراق الناس في دياناتهم ومقالاتهم كتباً كثيرة جداً فبعض أطال وأسهب وأكثر وهجر واستعمل الأغاليط والشغب فكان ذلك شاغلاً عن الفهم قاطعاً دون العلم وبعض حذف وقصر وقلل واختصر واضرب عن كثير من قوي معارضات أصحاب المقالات فكان في ذلك غير منصف لنفسه في أن يرضى لها بالغبن في الإبانة وظالماً لخصمه في أن لم يوفه حق اعتراضه وباخساً حق من قرأ كتابه إذ لم يغنه عن غيره وكلهم إلا تحلة القسم عقد كلامه تعقيداً يتعذر فهمه على كثير من أهل الفهم وحلق على المعاني من بعد حتى صار ينسي آخر كلامه أوله وأكثر هذا منهم ستائر دون فساد معانيهم فكان هذا منهم غير محمود في عاجله وآجله.

الرسالة المستطرقة فى علوم الحديث

by محمد بن جعفر الكتاني

وقد قال ‏(‏ابن حجر‏)‏ في أول ‏(‏مقدمة فتح الباري‏)‏ ما نصه‏:‏ اعلم أن آثار النبي ـ صلى الله عليه وسلم ـ لم تكن في عصر الصحابة وكبار التابعين مدونة في الجوامع، ولا مرتبه، لأمرين‏:‏ أحدهما‏:‏ أنهم كانوا في ابتداء الحال قد نهوا عن ذلك، كما ثبت في ‏(‏صحيح مسلم‏)‏، خشية أن يختلط بعض ذلك بالقرآن العظيم‏.‏ وثانيهما‏:‏ لسعة حفظهم، وسيلان أذهانهم، ولأن أكثرهم كانوا لا يعرفون الكتابة‏.‏ ثم حدث في أواخر عصر التابعين تدوين الآثار، وتبويب الأخبار، لمّا انتشر العلماء في الأمصار، وكثر الابتداع من الخوارج والروافض ومنكري الأقدار، واتسع الخرق على الراقع، وكاد أن يلتبس الباطل بالحق‏.‏ فأول من جمع في ذلك ‏(‏الربيع بن صبيح‏)‏ ‏(‏وسعيد ابن أبي عروبة‏)‏ وغيرهما‏.‏ دونت أحكام الحديث في منتصف القرن الثاني وكانوا يصنفون كل باب على حده، إلى أن قام كبار أهل الطبقة الثانية في منتصف القرن ‏(‏ص 6‏)‏ الثاني، فدونوا الأحكام‏.‏ فصنف ‏(‏الإمام مالك‏)‏ ‏(‏الموطأ‏)‏ بالمدينة، وتوخى فيه القوي من حديث أهل الحجاز، ومزجه بأقوال الصحابة، وفتاوى التابعين، ومن بعدهم‏.‏ أول من صنف الحديث بمكة ابن جريج وصنف ‏(‏أبو محمد عبد الملك بن عبد العزيز بن جريج‏)‏ بمكة، ‏(‏وأبو عمرو عبد الرحمن بن عمرو الأوزاعي‏)‏ بالشام، ‏(‏وأبو عبد الله سفيان بن سعيد الثوري‏)‏ بالكوفة، ‏(‏وأبو سلمة حماد بن سلمة بن دينار‏)‏ بالبصرة‏.‏ ثم تلاهم كثير من أهل عصرهم في النسج على منوالهم، إلى أن رأى بعض الأئمة منهم، أن يفرد حديث النبي ـ صلى الله عليه وسلم ـ خاصة، وذلك على رأس المائتين‏.‏ فصنف ‏(‏عبيد الله بن موسى العبسي الكوفي‏)‏ مسندا، وصنف ‏(‏مسدد بن مسرهد البصري‏)‏ مسندا، وصنف ‏(‏أسد بن موسى الأموي‏)‏ مسندا، وصنف ‏(‏نُعيم بن حماد الخزاعي‏)‏ نزيل مصر مسندا، ثم اقتفى الأئمة بعد ذلك أثرهم، فقلَّ إمام من الحفاظ إلا وصنف حديثه على المسانيد، ‏(‏كالإمام أحمد بن حنبل‏)‏ ‏(‏و إسحاق بن راهويه‏)‏ ‏(‏وعثمان بن أبي شيبة‏)‏ وغيرهم من النبلاء‏.‏ ومنهم من صنف على الأبواب والمسانيد معا ‏(‏كأبي بكر بن أبي شيبة‏)‏ اهـ‏.‏ وعبارته في ‏(‏إرشاد الساري‏)‏ قال‏:‏ منهم من رتب على المسانيد ‏(‏كالإمام أحمد بن حنبل‏)‏ ‏(‏و إسحاق بن راهويه‏)‏ ‏(‏وأبي بكر ابن أبي شيبة‏)‏ ‏(‏وأحمد بن منيع‏)‏ ‏(‏وأبي خيثمة‏)‏ ‏(‏والحسن بن سفيان‏)‏ ‏(‏وأبي بكر البزار‏)‏ وغيرهم‏.‏ ومنهم من رتب على العلل‏:‏ بأن يجمع في كل متن طرقه، واختلاف الرواة فيه، بحيث يتضح إرسال ما يكون متصلا، أو وقف ما يكون مرفوعا، أو غير ذلك‏.‏ ومنهم من رتب على الأبواب الفقهية، وغيرها، ونوّعه أنواعا، وجمع ما ورد في كل نوع، وفي كل حكم إثباتا ونفيا، في باب فباب، بحيث يتميز ما يدخل في الصوم مثلا عما يتعلق بالصلاة‏.‏ وأهل هذه الطريقة منهم من تقيد بالصحيح ‏(‏كالشيخين‏)‏ وغيرهما، ومنهم من لم يتقيد بذلك كباقي الكتب الستة، وكان أول من صنف في الصحيح ‏(‏محمد بن إسماعيل البخاري‏)‏‏.‏ ومنهم المقتصر على ‏(‏ص 7‏)‏ الأحاديث المتضمنة للترغيب والترهيب، ومنهم من حذف الإسناد واقتصر على المتن فقط، ‏(‏كالبغوي‏)‏ في ‏(‏مصابيحه‏)‏ ‏(‏واللؤلؤي‏)‏ في ‏(‏مشكاته‏)‏ اهـ‏.‏

الأخلاق والسير في مداواة النفوس

by أبي محمد علي بن حزم الأندلسي الظاهري

قد جمعت في كتابي هذا معان كثيرة أفادنيها واهب التمييز تعالى بمرور الأيام وتعاقب الأحوال بما منحني عز وجل من التهمم بتصاريف الزمان والإشراف على أحواله حتى أنفقت في ذلك أكثر عمري وآثرت تقييد ذلك بالمطالعة له والفكرة فيه على جميع اللذات التي تميل إليها أكثر النفوس وعلى الازدياد من فضول المال ورقمت كل ما سبرت من ذلك بهذا الكتاب لينفع الله تعالى به من شاء من عباده ممن يصل إليه ما أتعبت فيه نفسي واجهدتها فيه واطلت فيه فكري فيأخذه عفوا وأهديته إليه هنيئا فيكون ذلك أفضل له من كنوز المال وعقد الأملاك إذا تدبره ويسره الله تعلي لاستعماله. وانا راج في ذلك من الله تعالي أعظم الأجر لنيتي في نفع عباده وإصلاح ما فسد من أخلاقهم ومداواة علل نفوسهم وبالله تعالى استعين وحسبنا الله ونعم الوكيل

New Paradigms in Flow Battery Modelling (Engineering Applications of Computational Methods #16)

by Akeel A. Shah Puiki Leung Qian Xu Pang-Chieh Sui Wei Xing

This book provides a comprehensive review of the latest modelling developments in flow batteries, as well as some new results and insights. Flow batteries have long been considered the most flexible answer to grid scale energy storage, and modelling is a key component in their development. Recent modelling has moved beyond macroscopic methods, towards mesoscopic and smaller scales to select materials and design components. This is important for both fundamental understanding and the design of new electrode, catalyst and electrolyte materials. There has also been a recent explosion in interest in machine learning for electrochemical energy technologies. The scope of the book includes these latest developments and is focused on advanced techniques, rather than traditional modelling paradigms. The aim of this book is to introduce these concepts and methods to flow battery researcher, but the book would have a much broader appeal since these methods also employed in other battery and fuel cell systems and far beyond. The methods will be described in detail (necessary fundamental material in Appendices). The book appeals to graduate students and researchers in academia/industry working in electrochemical systems, or those working in computational chemistry/machine learning wishing to seek new application areas.

Basic Concepts in Computational Physics

by Benjamin A. Stickler Ewald Schachinger

With the development of ever more powerful computers a new branch of physics and engineering evolved over the last few decades: Computer Simulation or Computational Physics. It serves two main purposes:- Solution of complex mathematical problems such as, differential equations, minimization/optimization, or high-dimensional sums/integrals.- Direct simulation of physical processes, as for instance, molecular dynamics or Monte-Carlo simulation of physical/chemical/technical processes.Consequently, the book is divided into two main parts: Deterministic methods and stochastic methods. Based on concrete problems, the first part discusses numerical differentiation and integration, and the treatment of ordinary differential equations. This is augmented by notes on the numerics of partial differential equations. The second part discusses the generation of random numbers, summarizes the basics of stochastics which is then followed by the introduction of various Monte-Carlo (MC) methods. Specific emphasis is on MARKOV chain MC algorithms. All this is again augmented by numerous applications from physics. The final two chapters on Data Analysis and Stochastic Optimization share the two main topics as a common denominator. The book offers a number of appendices to provide the reader with more detailed information on various topics discussed in the main part. Nevertheless, the reader should be familiar with the most important concepts of statistics and probability theory albeit two appendices have been dedicated to provide a rudimentary discussion.

Nature-Inspired Optimization Algorithms

by Vasuki A

Nature-Inspired Optimization Algorithms, a comprehensive work on the most popular optimization algorithms based on nature, starts with an overview of optimization going from the classical to the latest swarm intelligence algorithm. Nature has a rich abundance of flora and fauna that inspired the development of optimization techniques, providing us with simple solutions to complex problems in an effective and adaptive manner. The study of the intelligent survival strategies of animals, birds, and insects in a hostile and ever-changing environment has led to the development of techniques emulating their behavior. This book is a lucid description of fifteen important existing optimization algorithms based on swarm intelligence and superior in performance. It is a valuable resource for engineers, researchers, faculty, and students who are devising optimum solutions to any type of problem ranging from computer science to economics and covering diverse areas that require maximizing output and minimizing resources. This is the crux of all optimization algorithms. Features: Detailed description of the algorithms along with pseudocode and flowchart Easy translation to program code that is also readily available in Mathworks website for some of the algorithms Simple examples demonstrating the optimization strategies are provided to enhance understanding Standard applications and benchmark datasets for testing and validating the algorithms are included This book is a reference for undergraduate and post-graduate students. It will be useful to faculty members teaching optimization. It is also a comprehensive guide for researchers who are looking for optimizing resources in attaining the best solution to a problem. The nature-inspired optimization algorithms are unconventional, and this makes them more efficient than their traditional counterparts.

Microsoft Dynamics AX 2012 R3 Financial Management

by Mohamed Aamer

This book is intended for application consultants, controllers, CFOs, and other professionals who are engaged in a Microsoft Dynamics AX implementation project. Basic knowledge of financial terms, concepts, and Microsoft Dynamics AX terminologies is required.

A Practical Introduction to Survey Design: A Beginner′s Guide

by Haydn Aarons

This is your definitive guide to designing your social survey. It includes all the knowledge and skills you need to plan your survey with confidence and ease. Every step of survey design from developing your questions, to administering your survey and preparing your data for analysis, is explained in easy to follow language. It features: Case studies demonstrating how effective surveys are conducted in real life Clear advice on how to design an ethical social survey Practical exercises to help you construct your survey Suggestions for further reading taken from cutting edge, multidisciplinary sources The book also comes with a host of useful online resources, including templates and reflective questions, to help strengthen your understanding and apply your new found knowledge.

A Practical Introduction to Survey Design: A Beginner′s Guide

by Haydn Aarons

This is your definitive guide to designing your social survey. It includes all the knowledge and skills you need to plan your survey with confidence and ease. Every step of survey design from developing your questions, to administering your survey and preparing your data for analysis, is explained in easy to follow language. It features: Case studies demonstrating how effective surveys are conducted in real life Clear advice on how to design an ethical social survey Practical exercises to help you construct your survey Suggestions for further reading taken from cutting edge, multidisciplinary sources The book also comes with a host of useful online resources, including templates and reflective questions, to help strengthen your understanding and apply your new found knowledge.

Old Age In Europe: A Textbook of Gerontology

by Marja Aartsen Kathrin Komp

Europe currently is the oldest continent in the world and its population is still ageing. This demographic shift affects society, economy, and welfare states. Scholars from various disciplines and the public noted this development and wonder what effects it may have, but lack adequate information. They call for explanations that are concise and easily accessible. The book at hand fills this lacuna. It introduces readers to the most important developments, theories, concepts, and discussions in ageing studies - always keeping an eye on the current situation in Europe. Each chapter adopts the perspective of a different discipline, e.g. public health, sociology, economics, or technology. To make the explanations easy to understand, the book includes learning tools such as learning objectives, multiple choice questions, and a glossary.

An Introductory Course in Summability Theory

by Ants Aasma Hemen Dutta P. N. Natarajan

An introductory course in summability theory for students, researchers, physicists, and engineers In creating this book, the authors’ intent was to provide graduate students, researchers, physicists, and engineers with a reasonable introduction to summability theory. Over the course of nine chapters, the authors cover all of the fundamental concepts and equations informing summability theory and its applications, as well as some of its lesser known aspects. Following a brief introduction to the history of summability theory, general matrix methods are introduced, and the Silverman-Toeplitz theorem on regular matrices is discussed. A variety of special summability methods, including the Nörlund method, the Weighted Mean method, the Abel method, and the (C, 1) - method are next examined. An entire chapter is devoted to a discussion of some elementary Tauberian theorems involving certain summability methods. Following this are chapters devoted to matrix transforms of summability and absolute summability domains of reversible and normal methods; the notion of a perfect matrix method; matrix transforms of summability and absolute summability domains of the Cesàro and Riesz methods; convergence and the boundedness of sequences with speed; and convergence, boundedness, and summability with speed. • Discusses results on matrix transforms of several matrix methods • The only English-language textbook describing the notions of convergence, boundedness, and summability with speed, as well as their applications in approximation theory • Compares the approximation orders of Fourier expansions in Banach spaces by different matrix methods • Matrix transforms of summability domains of regular perfect matrix methods are examined • Each chapter contains several solved examples and end-of-chapter exercises, including hints for solutions An Introductory Course in Summability Theory is the ideal first text in summability theory for graduate students, especially those having a good grasp of real and complex analysis. It is also a valuable reference for mathematics researchers and for physicists and engineers who work with Fourier series, Fourier transforms, or analytic continuation. ANTS AASMA, PhD, is Associate Professor of Mathematical Economics in the Department of Economics and Finance at Tallinn University of Technology, Estonia. HEMEN DUTTA, PhD, is Senior Assistant Professor of Mathematics at Gauhati University, India. P.N. NATARAJAN, PhD, is Formerly Professor and Head of the Department of Mathematics, Ramakrishna Mission Vivekananda College, Chennai, Tamilnadu, India.

Uncertainty Analyses in Environmental Sciences and Hydrogeology: Methods and Applications to Subsurface Contamination (SpringerBriefs in Applied Sciences and Technology)

by Rachid Ababou Juliette Chastanet Jean-Marie Côme Manuel Marcoux Michel Quintard

This book highlights several methods and quantitative implementations of both probabilistic and fuzzy-based approaches to uncertainty quantification and uncertainty propagation through environmental subsurface pollution models with uncertain input parameters. The book focuses on methods as well as applications in hydrogeology, soil hydrology, groundwater contamination, and related areas (e.g., corrosion of nuclear waste canisters). The methods are illustrated for a broad spectrum of models, from non-differential I/O models to complex PDE solvers, including a novel 3D quasi-analytical model of contaminant transport, and a site-specific computer model of dissolved contaminant migration from a DNAPL (Dense Non Aqueous Phase Liquid) pollution source.

Energy Level Alignment and Electron Transport Through Metal/Organic Contacts

by Enrique Abad

In recent years, ever more electronic devices have started to exploit the advantages of organic semiconductors. The work reported in this thesis focuses on analyzing theoretically the energy level alignment of different metal/organic interfaces, necessary to tailor devices with good performance. Traditional methods based on density functional theory (DFT), are not appropriate for analyzing them because they underestimate the organic energy gap and fail to correctly describe the van der Waals forces. Since the size of these systems prohibits the use of more accurate methods, corrections to those DFT drawbacks are desirable. In this work a combination of a standard DFT calculation with the inclusion of the charging energy (U) of the molecule, calculated from first principles, is presented. Regarding the dispersion forces, incorrect long range interaction is substituted by a van der Waals potential. With these corrections, the C60, benzene, pentacene, TTF and TCNQ/Au(111) interfaces are analyzed, both for single molecules and for a monolayer. The results validate the induced density of interface states model.

Investment in Energy Assets Under Uncertainty

by L. M. Abadie J. M. Chamorro

This book aims to provide a rigorous yet pragmatic approach to the valuation and management of investments in the energy sector. Time and uncertainty pervade most if not all issues relevant to energy assets. They run from the early stage of prototype and demonstration to the ultimate abandonment and decommissioning. Risk in particular appears in several areas; thus, one can distinguish technical risk from financial risk. Furthermore, the extent to which one can react to them is different (just think of price risk and regulation risk). Markets in general, and financial markets in particular, regularly put a price on a number of assets which differ in their return/risk characteristics. And academia has developed sound financial principles for valuation purposes in a number of contexts. Nonetheless, the physical characteristics of the assets involved also play a key role in their valuation if only because of the restrictions that they entail. There are some instances in which the practitioner/researcher is able to come up with an analytical solution to the valuation problem. Typically, however, these instances are limited because of their relying on stylized facts or idealized frameworks. Unfortunately, many relevant instances lack analytical solutions, so one must resort to numerical methods. The book clearly explains how to implement them in a meaningful way. Their usefulness is further enhanced when numerical estimates of relevant parameters are derived from actual market prices (as long as these are available and reliable). The book starts from the basics of valuation in a dynamic, certain context. The second part then considers uncertainty and introduces a number of useful results and tools to grapple effectively with it. The last part applies these tools to the valuation of energy assets in a sequential manner, i. e. by considering one, two and three sources of risk. The last chapter provides examples of joint optimal management and value maximization in conventional power plants.

Matrix Algebra

by Karim M. Abadir Jan R. Magnus

The first volume of the Econometric Exercises Series, Matrix Algebra contains exercises relating to course material in matrix algebra that students are expected to know while enrolled in an (advanced) undegraduate or a postgraduate course in econometrics or statistics. The book features a comprehensive collection of exercises with complete answers. More than just a collection of exercises, the volume is a textbook organized in a completely different manner than the usual textbook. It can be used as a self-contained course in matrix algebra or as a supplementary text.

Statistical Physics of Non-Thermal Phase Transitions

by Sergey G. Abaimov

This book addresses the application of methods used in statistical physics to complex systems--from simple phenomenological analogies to more complex aspects, such as correlations, fluctuation-dissipation theorem, the concept of free energy, renormalization group approach and scaling. Statistical physics contains a well-developed formalism that describes phase transitions. It is useful to apply this formalism for damage phenomena as well. Fractals, the Ising model, percolation, damage mechanics, fluctuations, free energy formalism, renormalization group, and scaling, are some of the topics covered in Statistical Physics of Phase Transitions.

The Synoptic Problem and Statistics

by Andris Abakuks

See How to Use Statistics for New Testament InterpretationThe Synoptic Problem and Statistics lays the foundations for a new area of interdisciplinary research that uses statistical techniques to investigate the synoptic problem in New Testament studies, which concerns the relationships between the Gospels of Matthew, Mark, and Luke. There are pote

Extended Abstracts Fall 2019: Spaces of Analytic Functions: Approximation, Interpolation, Sampling (Trends in Mathematics #12)

by Evgeny Abakumov Anton Baranov Alexander Borichev Konstantin Fedorovskiy Joaquim Ortega-Cerdà

This book collects the abstracts of the mini-courses and lectures given during the Intensive Research Program “Spaces of Analytic Functions: Approximation, Interpolation, Sampling” which was held at the Centre de Recerca Matemàtica (Barcelona) in October–December, 2019.The topics covered in this volume are approximation, interpolation and sampling problems in spaces of analytic functions, their applications to spectral theory, Gabor analysis and random analytic functions. In many places in the book, we see how a problem related to one of the topics is tackled with techniques and ideas coming from another.The book will be of interest for specialists in Complex Analysis, Function and Operator theory, Approximation theory, and their applications, but also for young people starting their research in these areas.

Numerische Methoden für Ingenieure: mit Anwendungsbeispielen in Python

by Bilen Emek Abali Celal Çakıroğlu

Technische Systeme werden von Ingenieur*innen modelliert und durch numerische Methoden simuliert. Dieses Lehrbuch bietet eine unkomplizierte Einführung in numerische Methoden, mit zahlreichen, praxisrelevanten Beispielen, die mithilfe der Programmiersprache Python gelöst werden. In ingenieurwissenschaftlichen Studienrichtungen sowie in allen Forschungsprojekten sind numerische Simulationen unumgänglich, geeignete Methoden aber oft schwierig zu begreifen. Hier erklären Ingenieure die mathematischen Grundlagen der numerischen Methoden in sachlicher, dennoch simpler Sprache, mit konkreten Anwendungsbeispielen auf Papier und am Bildschirm. Die Besonderheit in diesem Buch ist, dass nicht nur Modelle der physikalischen Systeme berechnet und experimentelle Daten bearbeitet werden, sondern der Code in Python Zeile für Zeile angegeben und erklärt wird. Über die Autoren: B. E. Abali arbeitet als Dozent an der Technischen Universität Berlin sowie der Türkisch-Deutschen Universität in Istanbul, und hat an der Technischen Universität München, University of California Berkeley in den USA und Ghent University in Belgien geforscht. C. Çakıroğlu ist Dozent an der Türkisch-Deutschen Universität in Istanbul und hat an der Technischen Universität Braunschweig, dem DLR (Deutsches Zentrum für Luft- und Raumfahrt) und der University of Alberta in Kanada geforscht.

Predicting the Future

by Henry Abarbanel

Through the development of an exact path integral for use in transferring information from observations to a model of the observed system, the author provides a general framework for the discussion of model building and evaluation across disciplines. Through many illustrative examples drawn from models in neuroscience, geosciences, and nonlinear electrical circuits, the concepts are exemplified in detail. Practical numerical methods for approximate evaluations of the path integral are explored, and their use in designing experiments and determining a model's consistency with observations is explored.

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings (Lecture Notes in Computer Science #12846)

by Alessandro Abate Andrea Marin

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

Curves and Surfaces (UNITEXT)

by M. Abate F. Tovena

The book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion of possible definitions of the concept of curve, proving in particular the classification of 1-dimensional manifolds. We then present the classical local theory of parametrized plane and space curves (curves in n-dimensional space are discussed in the complementary material): curvature, torsion, Frenet's formulas and the fundamental theorem of the local theory of curves. Then, after a self-contained presentation of degree theory for continuous self-maps of the circumference, we study the global theory of plane curves, introducing winding and rotation numbers, and proving the Jordan curve theorem for curves of class C2, and Hopf theorem on the rotation number of closed simple curves. The local theory of surfaces begins with a comparison of the concept of parametrized (i.e., immersed) surface with the concept of regular (i.e., embedded) surface. We then develop the basic differential geometry of surfaces in R3: definitions, examples, differentiable maps and functions, tangent vectors (presented both as vectors tangent to curves in the surface and as derivations on germs of differentiable functions; we shall consistently use both approaches in the whole book) and orientation. Next we study the several notions of curvature on a surface, stressing both the geometrical meaning of the objects introduced and the algebraic/analytical methods needed to study them via the Gauss map, up to the proof of Gauss' Teorema Egregium. Then we introduce vector fields on a surface (flow, first integrals, integral curves) and geodesics (definition, basic properties, geodesic curvature, and, in the complementary material, a full proof of minimizing properties of geodesics and of the Hopf-Rinow theorem for surfaces). Then we shall present a proof of the celebrated Gauss-Bonnet theorem, both in its local and in its global form, using basic properties (fully proved in the complementary material) of triangulations of surfaces. As an application, we shall prove the Poincaré-Hopf theorem on zeroes of vector fields. Finally, the last chapter will be devoted to several important results on the global theory of surfaces, like for instance the characterization of surfaces with constant Gaussian curvature, and the orientability of compact surfaces in R3.

Foundations of Multiattribute Utility

by Ali E. Abbas

Many of the complex problems faced by decision makers involve uncertainty as well as multiple conflicting objectives. This book provides a complete understanding of the types of objective functions that should be used in multiattribute decision making. By using tools such as preference, value, and utility functions, readers will learn state-of-the-art methods to analyze prospects to guide decision making and will develop a process that guarantees a defensible analysis to rationalize choices. Summarizing and distilling classical techniques and providing extensive coverage of recent advances in the field, the author offers practical guidance on how to make good decisions in the face of uncertainty. This text will appeal to graduate students and practitioners alike in systems engineering, operations research, business, management, government, climate change, energy, and healthcare.

An Introduction to Compactness Results in Symplectic Field Theory

by Casim Abbas

This book provides an introduction to symplectic field theory, a new and important subject which is currently being developed. The starting point of this theory are compactness results for holomorphic curves established in the last decade. The author presents a systematic introduction providing a lot of background material, much of which is scattered throughout the literature. Since the content grew out of lectures given by the author, the main aim is to provide an entry point into symplectic field theory for non-specialists and for graduate students. Extensions of certain compactness results, which are believed to be true by the specialists but have not yet been published in the literature in detail, top off the scope of this monograph.

Refine Search

Showing 1 through 25 of 23,232 results