Search Results - COMDEX~

Fostering Communities of Transformation in STEM Higher Education A Multi-institutional Collection of DEI Initiatives by Briganti, Jonathan S., Sible, Jill C., Brown, Anne M.

Table of Contents: “…Preparing STEM Teachers to Be Change Makers -- Resequencing the Chemistry Curriculum to Retain Chemistry Majors -- Delayed Enrollment in General Chemistry Recitation -- Assessing Changes in Student Engagement Using a Mixed-Methods Approach -- Development and Assessment of a Four-Week Summer Research Experience for Undergraduates -- Creating Impactful Moments -- Community, Curriculum, and CUREs -- We’re All in This Together -- VIGNETTE: Reflecting on the Impact of Engelpalooza -- Teaching to Make Math Resonate -- Strategies for Creating and Sustaining Inclusive Makerspaces -- Creating a Space in the Curriculum for Effective Mentoring to Foster Student Connections and Agency -- Gunpowder Code Club -- Using Departmental Book Clubs to Bridge the Faculty-Staff-Student Gap -- Institutionally Advancing Inclusive Excellence -- From the Soul…”
Access online version

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Where code executes -- Chapter 3: Data management and ordering the uses of data -- Chapter 4: Expressing parallelism -- Chapter 5: Error handling -- Chapter 6: USM in detail -- Chapter 7: Buffers in detail -- Chapter 8: DAG scheduling in detail -- Chapter 9: Local memory and work-group barriers -- Chapter 10: Defining kernels -- Chapter 11: Vectors -- Chapter 12: Device-specific extension mechanism -- Chapter 13: Programming for GPUs -- Chapter 14: Programming for CPUs -- Chapter 15: Programming for FPGAs -- Chapter 16: Address spaces and multi_ptr -- Chapter 17: Using libraries -- Chapter 18: Working with OpenCL -- Chapter 19: Memory model and atomics.…”
Link to Metadata

Electronic Voting 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings /

Table of Contents: “…-- Sweeter than SUITE: Supermartingale Stratified Union-Intersection Tests of Elections -- They may look and look, yet not see: BMDs cannot be tested adequately -- Individual Verifiability with Return Codes: Manipulation Detection Efficacy -- and Accuracy Testing: A Fifty-State Review.…”
Link to Metadata

Evolutionary Genomics Statistical and Computational Methods /

Table of Contents: “…Introduction to Genome Biology and Diversity -- Probability, Statistics, and Computational Science -- A Not-So-Long Introduction to Computational Molecular Evolution -- Whole-Genome Alignment -- Inferring Orthology and Paralogy -- Transposable Elements and Their Identification -- Modern Phylogenomics: Building Phylogenetic Trees Using the Multispecies Coalescent Model -- Genome-Wide Comparative Analysis of Phylogenetic Trees: The Prokaryotic Forest of Life -- The Methodology Behind Network-Thinking: Graphs to Analyze Microbial Complexity and Evolution -- Bayesian Molecular Clock Dating Using Genome-Scale Datasets -- Genome Evolution in Outcrossing vs. …”
Link to Metadata

The Emigrant Communities of Latvia National Identity, Transnational Belonging, and Diaspora Politics /

Table of Contents: “…Introduction: Rita Kaša and Inta Mieriņa -- Part I Contemporary Latvian Migration: An Integrated Approach to Surveying Emigrants Worldwide: Inta Mieriņa -- Emigration from Latvia: A Brief History and Driving Forces in the 21st Century: Mihails Hazans -- The Complex Identities of Latvians Abroad: What Shapes a Migrant's Sense of Belonging?…”
Link to Metadata

Parental Life Courses after Separation and Divorce in Europe

Table of Contents: “…Heterogeneous Effects of Family Complexity in Childhood on Mental Health: Testing the "Good Divorce" and the "Good Stepparent" Hypotheses -- Chapter 14. …”
Link to Metadata

EU-Turkey Relations Theories, Institutions, and Policies /

Table of Contents: “…Unpacking the New Complexities of EU-Turkey Relations: Merging Theories, Institutions, and Policies -- Part 1: Theories and Concepts -- Chapter 2. …”
Link to Metadata

Engaged Fatherhood for Men, Families and Gender Equality Healthcare, Social Policy, and Work Perspectives /

Table of Contents: “…Evidence from South Korea, Spain and the U.S -- 10 Impossible Standards and Unlikely Trade-Offs: Can Fathers Be Competent Parents and Professionals -- 11 The New Dad: The Career-Caregiving Conundrum -- 12 French Fathers in Work Organizations: Navigating Work-Life BalanceChallenges -- 13 It would be silly to stop now and go part-time: Fathers and Flexible Working Arrangements in Australia -- 14 Small Changes that Make a Great Difference: Reading, Playing and Eating with Your Children and the Facilitating Role of Managers in Latin America -- 15 Fatherhood Among Marginalised Work-Seeking Men in South Africa -- 16 The Role of Love & Children's Agency in Improving Fathers Wellbeing -- 17 Reducing Barriers to Engaged Fatherhood: Three Principles for Promoting Gender Equity in Parenting.…”
Link to Metadata

Land Tenure Security and Sustainable Development

Table of Contents: “…People-Land Relationships on the Path to Sustainable Food Security -- Chapter 7. A Complex Relationship: Large-Scale Land Acquisitions and Land Tenure Security -- Chapter 8. …”
Link to Metadata

Precision Oncology and Cancer Biomarkers Issues at Stake and Matters of Concern /

Table of Contents: “…HER2: an apparently 'simple' biomarkers revealing the complexities and uncertainties of precision oncology (Elisabeth Wik, Anne Bremer and Lars A. …”
Link to Metadata

Questioning the Entrepreneurial State Status-quo, Pitfalls, and the Need for Credible Innovation Policy /

Table of Contents: “…Part I: Introductory Chapter -- Introduction -- Part II: The Entrepreneurial State: Theoretical Perspectives -- The Entrepreneurial State and the Platform Economy -- An Effectual Analysis of Markets and States -- The Entrepreneurial State: An Ownership Competence Perspective -- Innovation Without Entrepreneurship: The Pipe Dream of Mission-Oriented Innovation Policy -- Part III: The Entrepreneurial State, Entrepreneurial Universities, and Startups -- Building Local Innovation Support Systems: Theory and Practice -- Reducing Higher Education Bureaucracy and Reclaiming the Entrepreneurial University -- Cultural Ideals in the Entrepreneurship Industry -- Evaluating Evaluations of Innovation Policy: Exploring Reliability, Methods, and Conflicts of Interest -- Do Targeted R&D Grants toward SMEs Increase Employment and Demand for High Human Capital Workers? …”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table 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

The Onlife Manifesto Being Human in a Hyperconnected Era /

Table of Contents: “…Identity, selfhood and attention -- The Onlife Manifesto Philosophical Backgrounds Media Usages and the Futures of Democracy and Equality; Charles Ess -- Towards a Grey Ecology; Stefana Broadbent and Claire Lobet-Maris -- Reengineering and Reinventing both Democracy and the Concept of Life in the Digital Era; Yiannis Laouris -- Part III. Complexity, responsibility and governance -- Distributed Epistemic Responsibility in a Hyperconnected Era; Judith Simon -- Good Onlife Governance: On Law, Spontaneous Orders, and Design; Ugo Pagallo -- Part IV. …”
Link to Metadata

Talent Development in European Higher Education Honors programs in the Benelux, Nordic and German-speaking countries / by Wolfensberger, Dr. Marca V.C

Table of Contents: “…The Netherlands: focus on excellence, honors programs all around -- 5. Belgium: complex system, differentiated development -- 6.  …”
Link to Metadata

The Future of the Law of the Sea Bridging Gaps Between National, Individual and Common Interests /

Table of Contents: “…Oanta, Some recent questions regarding the European Union's public access fisheries agreements -- Marta Chantal Ribeiro, The Protection of Biodiversity in the Framework of the Common Fisheries Policy: What Room for the Shared Competence? -- Emmanuela Doussis, Marine Scientific Research: Taking Stock and Looking Ahead -- Kamrul Hossain and Kathleen Morris, Protecting Arctic Ocean Marine Biodiversity In The Area Beyond National Jurisdiction: Plausible Legal Frameworks For Protecting High Arctic Waters -- Enrique J. …”
Link to Metadata

Knowing the Salween River: Resource Politics of a Contested Transboundary River

Table of Contents: “…We Need One Natural River for the Next Genera-tion": Intersectional Feminism and the Nujiang Dams Campaign in China -- 9.Local Context, National Law: The Rights of Karen People on the Salween River in Thailand -- 10.An Ethnobotanical Survey in Shan State, Myanmar: Where Thanlwin Biodiversity, Health, and Deforestation Meet -- 11.Not Only Anti-dam: Simplistic Rendering of Complex Salween Communities in their Negotiation for Development in Thailand -- 12.Powers of Access: Impacts on Resource Users and Researchers in Myanmar's Shan State -- 13.Fisheries and Socio-economic Change in the Thanlwin River Estuary in Mon and Kayin State, Myanmar -- 14.The Impact of Land cover changes on socio-economic conditions in Bawlakhe District, Kayah State -- 15.Local Knowledge and Rangeland Protection on the Tibetan Plateau: Lessons for Conservation and Co-management of the Upper Nu-Salween and Yellow River Watersheds -- 16.Future Trajectories: Five Short Concluding Reflections.…”
Link to Metadata

Supporting Individuals with Intellectual Disabilities & Mental Illness by Melrose, Sherri

Table of Contents: “…CHAPTER 1: SUPPORT WORK: THE FUNDAMENTALS -- Introduction -- Guiding Principles for Support Work -- Historical Struggles -- Competencies Expected of Support Workers -- Conclusion -- References -- CHAPTER 2: WHAT'S IN A NAME? …”
Access online version

Introduction to GNU Octave A brief tutorial for linear algebra and calculus students by Lachniet, Jason

Table of Contents: “…Contents -- Preface -- 1 Basic operation -- 1.1 Introduction -- 1.2 Navigating the GUI -- 1.3 Matrices and vectors -- 1.4 Plotting -- Chapter 1 Exercises -- 2 Matrices and linear systems -- 2.1 Linear systems -- 2.2 Polynomial curve fitting -- 2.3 Matrix transformations -- Chapter 2 Exercises -- 3 Calculus -- 3.1 Limits, sequences, and series -- 3.2 Numerical integration -- 3.3 Parametric, polar, and implicit functions -- 3.4 Complex variables -- 3.5 Special functions -- 3.6 Symbolic operations -- Chapter 3 Exercises -- 4 Eigenvalue problems -- 4.1 Eigenvalues and eigenvectors -- 4.2 Markov chains -- 4.3 Diagonalization -- 4.4 Singular value decomposition -- 4.5 Gram-Schmidt and the QR algorithm -- Chapter 4 Exercises -- 5 Additional topics -- 5.1 Three dimensional graphs -- 5.2 Multiple integrals -- 5.3 Vector fields -- 5.4 Statistics -- 5.5 Differential equations -- Chapter 5 Exercises -- 6 Applied projects -- 6.1 SVD and digital image compression -- 6.2 The Gini index and nonlinear curve-fitting -- 6.3 Designing a helical strake: arc length and curvature -- 6.4 Modeling a cave passage: cubic spline curves -- 6.5 Graphs of surfaces and 3D-printing -- A MATLAB compatibility -- B List of Octave commands -- References -- Index…”
Access online version

Chapeau! First-Year French by Dinneen, David A., Kernen, Madeleine

Table of Contents: “…Pour Commenter: Masculin, feminin -- Chapitre Un: Flagrant desir -- Chapitre Deux: Recherche Susan, desesperement -- Chapitre Trois: Rose bonbon -- Integration 1-3: L'important, c'est d'aimer -- Chapitre Quatre: Les Quatre cents coups -- Chapitre Cinq: Les Saisons du plaisir -- Chapitre Six: L'Ane qui a bu la lune -- Integration 4-6: La Comedie du travail -- Chapitre Sept: Ca va cogner -- Chapitre Huit: Dernier domicile connu -- Chapitre Neuf: Passe ton bac d'abord -- Integration 7-9: Candide ou l'optimisme au XXe -- Chapitre Dix: Chambre avec vue -- Chapitre Onze: Et vogue le navire -- Chapitre Douze: Les ailes du desir -- Integration 10-12: A bout de souffle -- Chapitre Treize: L'Argent de poche -- Chapitre Quatorze: Pourvu que ce soit une fille -- Chapitre Quinze: L'as de pique -- Integration 13-15: Eclair de lune -- Chapitre Seize: Manon des sources -- Chapitre Dix-Sept: Apres la repetition -- Chapitre Dix-Huit: Une Langouste au petit dejeuner -- Chapitre Dix-Neuf: L'etat de bonheur permanent -- Chapitre Vingt: Pauline a la plage -- Chapitre Vingt et un: La grenouille et la baleine -- Chapitre Vingt-Deux: La Derniere seance…”
Access online version

Writing Guide with Handbook by Robinson, Michelle Bachelor, Jerskey, Maria, Fulwiller, Toby

Table of Contents: “…Unit 1 The Things We Carry: Experience, Culture, and Language -- Chapter 1 The Digital World: Building on What You Already Know to Respond Critically -- Chapter 2 Language, Identity, and Culture: Exploring, Employing, Embracing -- Chapter 3 Literacy Narrative: Building Bridges, Bridging Gaps -- Unit 2 Bridging the Divide Between Personal Identity and Academia -- Chapter 4 Memoir or Personal Narrative: Learning Lessons from the Personal -- Chapter 5 Profile: Telling a Rich and Compelling Story -- Chapter 6 Proposal: Writing About Problems and Solutions -- Chapter 7 Evaluation or Review: Would You Recommend It? …”
Access online version