Format: Paperback / softback, 250 pages, height x width: 235x155 mm, weight: 493 g, 91 Illustrations, color;
5 Illustrations, black and white; VIII, 250 p. 96 illus., 91 illus. in color.,
Series: Springer Undergraduate Mathematics Series
Pub. Date: 05-Jan-2024
ISBN-13: 9783031497797
This textbook introduces Python and its programming through a multitude of clearly presented examples and worked-out exercises.
Based on a course taught to undergraduate students of mathematics, science, engineering and finance, the book includes chapters on handling data, calculus, solving equations, and graphics, thus covering all of the basic topics in Python. Each section starts with a description of a new topic and some basic examples. The author then demonstrates the new concepts through worked out exercises. The intention is to enable the reader to learn from the codes, thus avoiding lengthy, exhausting explanations.
With its strong focus on programming and problem solving, and an emphasis on numerical problems that do not require advanced mathematics, this textbook is also ideal for self-study, for instance for researchers who wish to use Python as a computational tool.
1 Basics of Python.- 2 Lists and Tuples.- 3 Decisions and Repetitions.- 4 Functions.- 5 List Comprehension and Generators.- 6 The sympy Library.- 7 The numpy Library .- 8 The matplotlib Library and Projects.
Format: Hardback, 261 pages, height x width: 235x155 mm, 25 Illustrations, color; 8 Illustrations, black and white; XV, 261 p. 33 illus., 25 illus. in color.
Series: Compact Textbooks in Mathematics
Pub. Date: 02-Feb-2024
ISBN-13: 9783031498299
This textbook offers an approachable introduction to measure-theoretic probability, illustrating core concepts with examples from statistics and engineering. The author presents complex concepts in a succinct manner, making otherwise intimidating material approachable to undergraduates who are not necessarily studying mathematics as their major. Throughout, readers will learn how probability serves as the language in a variety of exciting fields. Specific applications covered include the coupon collectors problem, Monte Carlo integration in finance, data compression in information theory, and more.
Measure-Theoretic Probability is ideal for a one-semester course and will best suit undergraduates studying statistics, data science, financial engineering, and economics who want to understand and apply more advanced ideas from probability to their disciplines. As a concise and rigorous introduction to measure-theoretic probability, it is also suitable for self-study. Prerequisites include a basic knowledge of probability and elementary concepts from real analysis.
Preface.- Beyond discrete and continuous random variables.- Probability
spaces.- LebesgueStieltjes measures.- Measurable functions and random
variables.- Statistical independence.- Lebesgue integral and mathematical
expectation.- Properties of Lebesgue integral and convergence theorems.-
Product space and coupling.- Moment generating functions and characteristic
functions.- Modes of convergence.- Laws of large numbers.- Techniques from
Hilbert space theory.- Conditional expectation.- Levys continuity theorem
and central limit theorem.- References.- Index.
Format: Hardback, 167 pages, height x width: 235x155 mm, weight: 481 g, 29 Illustrations, color;
35 Illustrations, black and white; XIII, 167 p. 64 illus., 29 illus. in color.,
Series: Interdisciplinary Applied Mathematics 58
Pub. Date: 12-Jan-2024
ISBN-13: 9783031482946
This textbook introduces bioinformatics to students in mathematics with no biology background assumed and it provides solid mathematical tools for biology students along with an understanding of how to implement them in bioinformatics problems. In addition to the basics, the text offers new approaches to understanding biological sequences. The concise presentation distinguishes itself from others on the subject, discussing and providing principles that relate to current open problems in bioinformatics as well as considering a variety of models. The convex hull principle is highlighted, opening a new interdisciplinary research area at the intersection of biology, mathematics, and computer science. Prerequisites include first courses in linear algebra, probability and statistics, and mathematical analysis. Researchers in mathematics, biology, and math-biology, will also find aspects of this text useful.
This textbook is written based on the authors' research works that have been published in various journals along with the lecture notes used when teaching bioinformatics courses at the University of Illinois at Chicago and at Tsinghua University. The content may be divided into two parts. The first part includes three chapters, introducing some basic concepts. Chapter 1 provides biological background in molecular biology for mathematicians. Chapter 2 describes biological databases that are commonly used. Chapter 3 is concerned with alignment methods including global/local alignment, heuristic alignment, and multiple alignment. The second part consisting of five chapters, describes several bioinformatics principles using a rigorous mathematical formulation. Chapter 4 introduces the time-frequency spectral principle and its applications in bioinformatics. In Chapters 5 and 6, two strategies are used, the graphical representation and the natural vector method, to represent biological sequences, and conduct sequence comparison and phylogenetic analysis without alignment. Chapter 7 presents the convex hull principle and shows how it can be used to mathematically determine whether a certain amino acid sequence can be a protein. The last chapter summarizes additional mathematical ideas relating to sequence comparisons, such as new feature vectors and metrics. This part focuses on the governing principle in biology and provides plenty of alignment-free methods, which cannot be found in any other book.
Preface.- 1 Biological Overview.- 2 Bioinformatics Databases.- 3 Sequence Alignment.- 4 The Time-Frequency Spectral Analysis and Applications in Bioinformatics.- 5 Graphical Representation of Sequences and Its Application.- 6 The Development and Applications of the Natural Vector Method.- 7 Convex Hull Principle and Distinguishing Proteins from Arbitrary Amino Acid Sequences.- 8 New Features or Metric on Sequence Comparison.- References.
Format: Hardback, 183 pages, height x width: 235x155 mm, 2 Illustrations, black and white; XV, 183 p. 2 illus.
Series: Trends in Logic 62
Pub. Date: 04-Mar-2024
ISBN-13: 9783031469206
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some still not wholly understood notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic.
Part 1. Harmony.
Chapter 1. Harmony via reductions and expansions.-
Chapter 2. Identity of proofs.
Chapter 3. Towards an intensional notion of harmony.-
Part 2. Paradox.
Chapter 4. Paradoxes: a natural deduction approach.
Chapter 5. Validity, sense and denotation in the face of paradoxes.
Chapter 6. Two kinds of difficulties.- Conclusion.
Format: Hardback, 612 pages, height x width: 235x155 mm, weight: 1105 g, 128 Tables, color; 141 Illustrations, color;
48 Illustrations, black and white; XVII, 612 p. 189 illus., 141 illus. in color.
Series: Springer Proceedings in Mathematics & Statistics 431
Pub. Date: 21-Dec-2023
ISBN-13: 9783031470578
This proceedings volume gathers selected, blinded peer-reviewed contributions presented at the XXIX International Joint Conference on Industrial Engineering and Operations Management (IJCIEOM), held in Lisbon, Portugal, from June 28th to 30th, 2023.
This volume focuses especially on the applications of Industrial Engineering and Operations Management for research and practice. It includes relevant information for academics since most of the chapters focus on real-world case studies and systematic reviews. It also provides valuable insights for professionals in the industrial sector by presenting solutions to complex industrial challenges.
Preface.- Blockchain application for the supply chain optimization.- A
Proposal of Web Application for the Study and Resolution of the Job Shop
Problem With Makespan Minimization via Mixed Integer Linear Programming.- An
approach to the design of resilient biomass supply chain using discrete event
simulation.- Industrial production and economic growth since the 50s:
analysing the Portuguese case using kaldorian and causality approaches.-
Green Logistics, Reverse Logistics, Sustainable Logistics, and Eco-efficiency
in the construction industry.- Suicide prediction in workers using Neural
Networks and stress-related factors.- Method for Improving the Control of
Suppliers aiming at Operational Excellence.- Research on Potential Usage of
Residual Biomass in Marine Ports.- Optimisation Models for Scheduling
Extraordinary University Exams with a Minimum Rest Time between Consecutive
Exams.- Optimisation Models for Scheduling Extraordinary University Exams
with a Minimum Rest Time between Consecutive Exams.- Diagnosis Model Proposal
for Improvement Opportunity in Project Management: An approach from the
perspective of lean waste.- Design of a corporate training academy - The case
study of a pharmaceutical company.- Socioenvironmental effectiveness of IoT:
structure and elements of a proposal assessment tool.- Monte Carlo simulation
applied for the identification of arrival and departure constraints at the
S?o Paulo International Airport, Brazil.- Binary Programming for allocation
of players in soccer competitions by a Canadian sports event management
company.- Analysis of Dentists Allocation in Health Care Centers:A Case of
Qatar.- Digital technologies and Lean 4.0: Integration, Benefits and Areas of
Research.- Continuous improvement related performance: a bibliometric study
and content analysis.- Process monitoring applied to performance indicators
of manufacturing process.- Selective Openness in the Additive Manufacturing
Industry: An Exploratory Modeling Analysis.- Marketing Campaigns and Consumer
Behavior: The Long and Winding Road to Induce Sustainable Practices.- Design
of a controller by pole placement applied to a production and inventory
system.- Project management in hospital environments: a 5-year systematic
literature review.- Preparing Human Factors for Digital Transformation: A
Framework for Innovations in Industrial Engineering Education.- Multicriteria
decision for electrified vehicles selection using analytical hierarchy
process method.- BIM critical factors-based framework towards digitalization
of construction in the public sector.- Evaluation of the implementation of
recycling, reuse, remanufacturing, and reduction in the reverse chain of
Brazilian WEEE: Survey in electronics companies.- Artificial intelligence in
supply chain management: A systematic literature review and guidelines for
future.- Analysis of the ANEEL Consumer Satisfaction Index through the
application of Item Response Theory.- Edtechs in the context of the industry
in digital transformation: main research directions.- An environmental
analytical model to assess the decarbonization potential of Municipal Solid
Waste-based hydrogen production routes.- Bullwhip effect in the supply chain:
an exploratory study in a Brazilian company.- Big Data Analytics to identify
failures in production machines and propose a preventive maintenance plan.-
Mapping the interlinkages between Humanitarian Operations and Sustainable
Development Goals through literature review.- Human Performance of Manual
Sorting: a Stochastic Analytical Model.- Analysis of a logistics process
between a food service distributor and a fast-food chain.- Sales and
Operations Execution S&OE: A perspective on the Brazilian scenario.-
Implications of COVID-19 on the use of public transport in S?o Paulo,
Brazil.- Analysis of performance indicators in orders pickup: physical volume
vs human factor.- Machine Learning Applied to Industrial Assembly Lines: A
Bibliometric Study.- Barriers, enablers and base Industry 4.0 technologies of
digital transformation in supply chains: an inter-country comparison.-
Project Management Office and Teaching and Learning Center: A Comparative
Literature Review.- Main musculoskeletal disorders in virtual modality
students.- The PMOs Roles on Reaching the Brazilians Sanitation
Universalization Goals.- PMS-SMEs network: a framework to measure the
performance of SMEs in a collaborative context.- Asset prioritization for
predictive maintenance in the context of Industry 4.0: A group multicriteria
approach.- Index.
Format: Hardback, 377 pages, height x width: 235x155 mm, 66 Tables, color; 66 Illustrations, color;
3 Illustrations, black and white; X, 377 p. 69 illus., 66 illus. in color.,
Series: Springer Proceedings in Physics 300
Pub. Date: 18-Mar-2024
ISBN-13: 9783031479373
This open access volume brings together selected papers from the 8th International Conference on Attosecond Science and Technology. The contributions within represent the latest advances in attosecond science, covering recent progress in ultrafast electron dynamics in atoms, molecules, clusters, surfaces, solids, nanostructures and plasmas, as well as the generation of sub-femtosecond XUV and X-ray pulses, either through table-top laser setups or with X-ray free-electron lasers. In addition to highlighting key advances and outlining the state of the field, the conference and its proceedings serve to introduce junior researchers to the community, promote collaborations, and represent the global and topical diversity of the field.
Chapter 1. Single-cycle infrared waveform generation and control.-
Chapter 2. Increase in Photon Flux of Attosecond Pulses.
Chapter 3. Bright coherent XUV generation in microfluidic glass devices for ultrafast x-ray spectroscopy.
Chapter 4. Attosecond Physics and Quantum Information Science.
Chapter 5. Dynamics via Attosecond Four-Wave Mixing.
Chapter 6. Optical control of autoionizing states in argon.
Chapter 7. Retrieving a Complex Molecular Structure from Laser-Induced Electron Diffraction using Ma-chine Learning.
Chapter 8. Imaging ultrafast Dissociation Dynamics: OCS & Roaming in Formaldehyde.
Chapter 9. Controlling the time evolution of electron-nuclei entanglement for steering vibronic coherences dynamics induced by short 1-2 fs optical pulses.
Chapter 10. An MQDT model for the description of time resolved pump probe experiments.
Chapter 11. ASTRA, A Transition Density Matrix Approach to the Interaction of Attosecond Radiation with Atoms and Molecules.
Chapter 12. Symmetry-protected chiral sensitivity in photoionization with bichromatic fields.
Chapter 13. Experimental investigation of topological property of degenereate singularities in rescattering processes.
Chapter 14. Simulating strong field tunnel ionization of molecules.
Chapter 15. Control of photoelectron-ion entanglement in attosecond laser-induced photoionization of H2.
Chapter 16. Ultrafast Second-harmonic XUV Spectroscopy: A Novel Probe for Symmetry.-
Chapter 17. From Ultrafast Light-Induced Currents to Spatially-Resolved Field Sampling.
Chapter 18. Attosecond core-exciton dynamics in wide-gap insulators.
Chapter 19. Polarization-Shaped Strong Field Control over Valley Polarization with Mid-IR Light.
Chapter 20. The Future of Attosecond Science.