12 results
Search Results
2. Advanced Problems in Mathematics - New Revised Edition : Preparing for University
- Author
-
Siklos, Stephen
- Subjects
Mathematics ,Mathematics / Geometry ,Mathematics / Mathematical Analysis - Abstract
This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics. "This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics.
- Published
- 2019
3. Computer Aided Verification
- Author
-
Shoham, Sharon and Vizel, Yakir
- Subjects
architecting ,architecture verification and validation ,artificial intelligence ,computer programming ,computer science ,computer systems ,databases ,distributed computer systems ,embedded systems ,engineering ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,software architecture ,software design ,software engineering ,software quality ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
4. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Groote, Jan Friso and Larsen, Kim Guldstrand
- Subjects
Theory of Computation ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Software Engineering ,Computer Engineering and Networks ,architecture verification and validation ,automata theory ,computer systems ,distributed computer systems ,embedded systems ,formal logic ,mathematics ,model checking ,model-checking ,parallel processing systems ,SAT and SMT solving ,software architecture ,static and dynamic program analysis ,theorem-proving ,verification and validation ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering - Abstract
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
- Published
- 2021
- Full Text
- View/download PDF
5. Advances in Energy System Optimization
- Author
-
Bertsch, Valentin, Ardone, Armin, Suriyah, Michael, Fichtner, Wolf, Leibfried, Thomas, and Heuveline, Vincent
- Subjects
Mathematics ,Operations research ,Management science ,System theory ,Mathematical models ,thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory ,thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling - Abstract
The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme “Bridging the Gap Between Mathematical Modelling and Policy Support” on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.
- Published
- 2020
- Full Text
- View/download PDF
6. Fundamental Approaches to Software Engineering
- Author
-
Wehrheim, Heike and Cabot, Jordi
- Subjects
Software Engineering ,Special Purpose and Application-Based Systems ,Control Structures and Microprogramming ,Computer System Implementation ,Information Systems and Communication Service ,Artificial Intelligence ,open access ,software engineering ,requirements engineering ,model-based design ,software analysis ,testing ,software architectures ,security ,model transformations ,software evolution ,software product lines ,architecting ,artificial intelligence ,computer programming ,computer systems ,embedded systems ,mathematics ,software architecture ,software design ,Expert systems / knowledge-based systems ,Algorithms & data structures ,Systems analysis & design ,Computer networking & communications ,Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
- Published
- 2020
- Full Text
- View/download PDF
7. Foundations of Software Science and Computation Structures
- Author
-
Goubault-Larrecq, Jean and König, Barbara
- Subjects
Mathematical Logic and Foundations ,Discrete Mathematics in Computer Science ,Programming Languages, Compilers, Interpreters ,Programming Techniques ,Logic in AI ,Computer Systems Organization and Communication Networks ,categorical models and logics ,language theory, automata, and games ,modal, spatial, and temporal logics ,type theory and proof theory ,concurrency theory and process calculi ,rewriting theory ,semantics of programming languages ,program analysis, correctness, transformation, and verification ,logics of programming ,software specification and refinement ,emerging models of computation ,logical aspects of computational complexity ,models of software security ,logical foundations of data bases ,mathematics ,artificial intellegence ,formal logic ,linguistics ,Mathematical foundations ,Mathematical logic ,Discrete mathematics ,Maths for computer scientists ,Programming & scripting languages: general ,Compilers & interpreters ,Computer programming / software engineering ,Artificial intelligence ,Computer networking & communications ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
- Published
- 2020
- Full Text
- View/download PDF
8. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Biere, Armin and Parker, David
- Subjects
Software Engineering/Programming and Operating Systems ,Special Purpose and Application-Based Systems ,Computer System Implementation ,Control Structures and Microprogramming ,Mathematics of Computing ,open access ,specification and verification techniques ,software and hardware verification ,SAT and SMT solving ,theorem proving ,model checking ,static and dynamic program analysis ,testing ,system construction and transformation techniques ,tool environments and tool architectures ,abstraction techniques for modeling and verification ,compositional and refinement-based methodologies ,mathematics ,software engineering ,software design ,architecting ,software architecture ,embedded systems ,automata theory ,linguistics ,Software Engineering ,Operating systems ,Expert systems / knowledge-based systems ,Systems analysis & design ,Algorithms & data structures ,Mathematical theory of computation ,Maths for computer scientists ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
- Published
- 2020
- Full Text
- View/download PDF
9. Advanced Problems in Mathematics
- Author
-
Siklos, Stephen
- Subjects
Mathematics ,Elementary Problems ,make sense of the world ,mathematics beyond the classroom ,Mental Skills ,Arithmetic ,Word Problems ,Algebra ,Geometry ,Infinity ,thema EDItEUR::P Mathematics and Science::PB Mathematics ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBM Geometry ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ,thema EDItEUR::Y Children’s, Teenage and Educational::YP Educational material::YPM Educational: Mathematics, science and technology, general::YPMF Educational: Mathematics and numeracy - Abstract
"This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics. "This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics.
- Published
- 2019
- Full Text
- View/download PDF
10. Erhard Weigel (1625-1699) und seine Schüler - Beiträge des 7. Erhard-Weigel-Kolloquiums 2014
- Author
-
Habermann, Katharina and Herbst, Klaus-Dieter
- Subjects
Mathematics - Abstract
Erhard Weigel (1625-1699) was a German mathematician, astronomer, educator, philosopher, and inventor. He was professor of mathematics at Jena University and is considered a key figure in the development of the mathematical sciences of the 17th Century. In particular, he is known to be the teacher of the young Gottfried Wilhelm Leibniz (1646-1716) and other notable students. These proceedings record papers presented at an international colloquium held at the Göttingen State and University Library in collaboration with the Erhard Weigel Society based in Jena on December 5-6, 2014. The colloquium was concerned with Erhard Weigel and some of his many students as well as discussed his contribution to the history of science as an excellent educator. Moreover, the colloquium dealt with the flow of impact of his methods and ideas into the scientific community, whose members played a significant role in the scientific revolution of the 17th Century. Finally, a list of known students who attended Weigel's lectures is given.
- Published
- 2016
11. Precalculus: An Investigation of Functions
- Author
-
Lippman, David and Rasmussen, Melanie
- Subjects
Mathematics - Abstract
Precalculus: An Investigation of Functions is a free, open textbook covering a two-quarter pre-calculus sequence including trigonometry. The first portion of the book is an investigation of functions, exploring the graphical behavior of, interpretation of, and solutions to problems involving linear, polynomial, rational, exponential and logarithmic functions. An emphasis is placed on modeling and interpretation, as well as the important characteristics needed in calculus.The second portion of the book introduces trigonometry. Trig is introduced through an integrated circle/triangle approach. Identities are introduced in the first chapter, and revisited throughout. Likewise, solving is introduced in the second chapter and revisited more extensively in the third chapter. As with the first part of the book, an emphasis is placed on motivating the concepts and on modeling and interpretation.In addition to the paper homework sets, algorithmetically generated online homework is available as part of a complete course shell package, which also includes a sample syllabus, teacher notes with lecture examples, sample quizzes and exams, printable classwork sheets and handouts, and chapter review problems. If you teach in Washington State, you can find the course shell in the WAMAP.org template course list. For those located elsewhere, you can access the course shell at MyOpenMath.com. A self-study version of the online course exercises is also available on MyOpenMath.com for students wanting to learn the material on their own, or who need a refresher.
- Published
- 2015
12. Programming Languages and Systems
- Author
-
Müller, Peter
- Subjects
Programming Languages, Compilers, Interpreters ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Information Systems and Communication Service ,Natural Language Processing (NLP) ,Theory of Computation ,artificial intelligence ,computer networks ,computer programming ,computer security ,distributed computer systems ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,object-oriented programming ,parallel processing systems ,program compilers ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Computer networking & communications ,Algorithms & data structures ,Natural language & machine translation ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2020
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.