Search Results - If—~
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 188
- Education 141
- History 116
- History of engineering & technology 115
- Sociology 66
- Mathematics 61
- Research & information: general 61
- Politics & government 53
- Mathematics & science 52
- Biology, life sciences 47
- Mathematics Education 45
- Medicine 45
- Study and teaching 44
- Humanities 38
- Training of 34
- Philosophy 33
- Society & culture: general 33
- Society & social sciences 33
- Teachers 33
- Teaching and Teacher Education 33
- Legal history 32
- Instructional Psychology 30
- Learning, Psychology of 30
- Science 30
- Law 29
- Literature: history & criticism 29
- Literature & literary studies 27
- Physics 27
- Social & cultural anthropology, ethnography 26
- Teaching of a specific subject 26
-
29841
-
29842
-
29843
Animal model for progressive resistance exercise: a detailed description of model and its implications for basic research in exercise Modelo animal de exercício resistido progressivo: descrição detalhada do modelo e a sua implicação à pesquisa básica com exercício
Published 2013Connect to this object online.
Book -
29844
-
29845
-
29846
-
29847
-
29848
An den Wurzeln der Tugend: Rheinischer Adel und Freimaurerei 1765-1815
Published 2016OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
29849
-
29850
Development in Turbulent Times The Many Faces of Inequality Within Europe /
Published 2019Table of Contents: “…Introduction (Paul Dobrescu) -- Part I. Envisaging Development in the Contemporary Society: Theory and Public Debates -- Why Do Some Countries Develop and Others Not? …”
Link to Metadata
Electronic eBook -
29851
Governance of Arctic Shipping Rethinking Risk, Human Impacts and Regulation /
Published 2020Table of Contents: “…Introduction -- PART A: MARINE RISK ASSESSMENT PERSPECTIVES -- 1) Application of the IGRC framework for SAR -- 2) Historical Maritime Search and Rescue (SAR) Incident Analysis: Interactive visualization aids for improved risk assessment and decision making -- 3) Oil spill risk in the Canadian Arctic: An exploratory application of the International Risk Governance Framework -- 4) Ship-generated underwater noise -- PART B: INDIGENOUS RIGHTS AND MARINE SPATIAL PLANNING PERSPECTIVES -- 5) Shipping Governance and Inuit Rights -- 6) Inuit knowledge and data: An exploration of decision support systems for marine spatial planning in the eastern Canadian Arctic -- 7) Balancing competing ocean uses: The EU approach to Marine Spatial Planning -- 8) Integrated Ocean Management in France: Some perspectives -- PART C: MARITIME REGULATORY POLICY PERSPECTIVES -- 9) The IMO Framework and Process of Shipping Regulations -- 10) The regulation of air pollution from ships in the Northwest Atlantic and Arctic Oceans: The need for an integrated and equitable approach -- 11) A Change in the Ice Regime: Polar Code Implementation in Canada Drummond Fraser, Transport Canada -- 12) Seafarers and Arctic cruise shipping: Protecting those who work while others explore and sightsee -- 13) Mapping the Occupational Health and Safety Challenges Arising from Employment-Related Geographical Mobility (E-RGM) Among Canadian Seafarers on the Great Lakes and St Lawrence River -- 14) Fisher safety -- 15) Search and rescue at sea: do new challenges need new rules? …”
Link to Metadata
Electronic eBook -
29852
Cultural Convergence The Dublin Gate Theatre, 1928-1960 /
Published 2021Table of Contents: “…Introduction: Cultural Convergence at Dublin's Gate Theatre; Ondřej Pilný (Charles University, Prague, Czech Republic), Ruud van den Beuken (Radboud University Nijmegen, The Netherlands) and Ian R. Walsh (NUI Galway, Ireland) -- 2. The Internationalist Dramaturgy of Hilton Edwards and Micheál mac Liammóir; Joan FitzPatrick Dean (University of Missouri - Kansas City, USA) and Radvan Markus (Charles University, Prague, Czech Republic) -- 3. …”
Link to Metadata
Electronic eBook -
29853
Publishing Sacrobosco's De sphaera in Early Modern Europe Modes of Material and Scientific Exchange /
Published 2022Table of Contents: “…-- Insa-Christiane Hennen Printers, Publishers and Book Binders in Wittenberg in the Sixteenth Century: Real Estate, Vicinity, Political and Cultural Activities -- Saskia Limbach Publishing the «Sphaera» in Sixteenth-Century Wittenberg -- Section 2: Distribution Dynamics -- Ian Maclean Sacrobosco at the Book Fairs, 1564-1624: The Pedagogical Marketplace -- Alejandra Ulla Lorenzo Exploring the Circulation of Sacrobosco's ≪Tractatus de sphaera≫ in Early Modern Iberian Peninsula and New World Printing -- Andrea Ottone The Giunti's Publishing and Distributing Network and Their Supply to the European Academic Market -- Isabelle Pantin Mathematical Books in Paris (1531-1563): The Development of Editorial Policies in a Competitive International Market -- Matteo Valleriani & Christoph Sander Exploring Social Relations Between Early Modern Publishers and Printers by Means of Paratexts -- Section 3: Usage Dynamics -- Paul F. …”
Link to Metadata
Electronic eBook -
29854
When Music Takes Over in Film
Published 2023Table of Contents: “…A Waltz Dream: Musical Moments in Silent Operetta Films -- 9. Silent Movie Music(ians) on Screen: How Four Films Made Period Practices Audible and Visible -- Part III. …”
Link to Metadata
Electronic eBook -
29855
Living with Nature, Cherishing Language Indigenous Knowledges in the Americas Through History /
Published 2024Table of Contents: “…Tlaneltoquilli tlen mochihua ica cintli ipan tlalli Chicontepec: tlamantli chicahualiztli ipan tochinanco. …”
Link to Metadata
Electronic eBook -
29856
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata
Electronic eBook -
29857
College Algebra 2e
Published 2021Table of Contents: “…Linear Functions -- Introduction to Linear Functions -- 4.1 Linear Functions -- 4.2 Modeling with Linear Functions -- 4.3 Fitting Linear Models to Data -- Chapter Review -- Exercises -- Chapter 5. …”
Access online version
Electronic eBook -
29858
-
29859
-
29860