Search Results - Talisk~

Slavery to Liberation The African American Experience by Farrington, Joshua, Powell, Norman W., Graham, Gwendolyn, Anyanwu, Ogechi E.

Table of Contents: “…Farrington -- Ch. 13: The Origins of Africana Studies: A Brief History of a Scholar Activist Tradition, by Sekhmet Ra Em Kht Maat and Shelby Pumphre -- Ch. 14: The Vanguard of the Revolution: A Retrospective Analysis of the Black Panther Party, by Umeme Sababu -- Ch. 15: "Black Steel”: Intraracial Rivalry, Soft Power, and Prize Fighting in the Cold War World, by Andrew Smith -- Ch. 16: Black Martial Artists: Modernity in Pursuit of an African Fighting System in the African Diaspora, by Latif A. Tarik -- Ch. 17: Womanifesto: Historicizing the Literary Activism of Claudia Jones and Assata Shakur, by Kimberly F. …”
Access online version

Community and Identity in Contemporary Technosciences

Table of Contents: “…Diversity Within. Biographical Talk and (Inter)disciplinary Identities in a Contemporary British University (Cuevas-Garcia, Carlos A.) -- Part 2. …”
Link to Metadata

Understanding The Everyday Digital Lives of Children and Young People

Table of Contents: “…Social Media as a Shaper, Enabler, and Hurdle in Youth Political Participation -- 13. Talking About Digital Responsibility: Children's and Young People's Voices -- 14. …”
Link to Metadata

WAC and Second-Language Writers Research Towards Linguistically and Culturally Inclusive Programs and Practices

Table of Contents: “…Developing Resources for Success: A Case Study of a Multilingual Graduate Writer, Talinn Phillips -- Chapter 3. "Hey, Did You Get That?"…”
Access online version

National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /

Table of Contents: “…Mathematics for teams - Developing thinking skills in mathematics education; Monica Wijers, Dédé de Haan -- 3. Task contexts in Dutch mathematics education; Pauline Vos -- 4. …”
Link to Metadata

Teacher Education in the Nordic Region Challenges and Opportunities /

Table of Contents: “…; Baldur Sigurðsson, Amalía Björnsdóttir & Thurídur Jóna Jóhannsdóttir -- Chapter 8 Teacher education in the Faroe Islands; Hans Harryson -- Chapter 9 Teacher education in Greenland; Lars Demant-Poort & Eyvind Elstad -- Chapter 10 The long road to Sámi teacher education; Eyvind Elstad -- Part III: Crossnational and comparative studies of teacher education -- Chapter 11 Nordic student teachers' evaluation of educational theory, subject didactics, practice training, time-on-task and turnover intentions; Eyvind Elstad, Knut-Andreas Abben Christophersen & Are Turmo -- Chapter 12 Bringing a global teacher education model to Scandinavia: Examining Teach First in Norway; Katrine Nesje -- Chapter 13 Teacher education: How transnational and national policymaking intersects and remakes Nordic collaboration; John Benedicto Krejsler -- Chapter 14 Teacher education of the future: Trends and possible scenarios in the Nordic context; Eyvind Elstad.…”
Link to Metadata

Working With Academic Literacies Case Studies Towards Transformative Practice by Lillis, Theresa, Harrington, Kathy, Lea, Mary, Mitchell, Sally

Table of Contents: “…Reflecting on Academic Life and Literacies, Sally Mitchell talking with Mary Scott -- Section 2. Transforming the Work of Teaching -- Introduction to Section 2 -- Opening up The Curriculum: Moving from The Normative to The Transformative in Teachers' Understandings of Disciplinary Literacy Practices, Cecilia Jacobs -- Writing Development, Co-Teaching and Academic Literacies: Exploring the Connections, Julian Ingle and Nadya Yakovchuk -- Transformative and Normative? …”
Access online version

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Invited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Time Predictions Understanding and Avoiding Unrealism in Project Planning and Everyday Life / by Halkjelsvik, Torleif, Jørgensen, Magne

Table of Contents: “…Time Prediction Biases: 5.1 The team scaling fallacy -- 5.2 Anchoring -- 5.3 Sequence effects -- 5.4 Format effects -- 5.5 The magnitude effect -- 5.6 Length of task description -- 5.7 The time unit effect -- 6. …”
Link to Metadata

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…A Framework for Improving the Accessibility of Assessment Tasks; Erik Roelofs -- 3. The Design and Validation of the Renewed Systems-Oriented Talent Management Model; Arnold Brouwer, Bernard Veldkamp, Marieke Vroom -- 4. …”
Link to Metadata

Illiberal Trends and Anti-EU Politics in East Central Europe

Table of Contents: “…Domestic Conditions of Illiberal Backlash against Universal Rights in the Czech Republic and Slovakia (Petra Guasti) -- Part III: EU Reactions to Illiberal and Anti-EU Politics -- Chapter 9: Talking past Each Other: On Common Misperceptions in the Rule of Law Debate (Attila Vincze) -- Chapter 10: Does it Help to Call a Spade a Spade? …”
Link to Metadata

Vocational Teacher Education in Central Asia Developing Skills and Facilitating Success /

Table of Contents: “…Preface,Uwe Munzert -- Greeting for the GIZ publication as part of the regional programme "Professional Education and Training in Central Asia", Volker -- About the contributors -- Part I -- Introduction -- 1 Recent technological challenges in (vocational) education, Thomas Köhler, Jens Drummer -- Part II Project based learning -- 1 Project based learning, Christian Stehling, Uwe Munzert -- 2 Strengthening the Innovative Potential of Project-Based Learning for TVET, Navbahor Sharipova, Matthias Wesseler -- 3 Project-Based Learning to Develop Creative Abilities in Students, Asylbek Isabekov, Gulzat Sadyrova -- Part III Specific didactics of laboratory work -- 1 Laboratory work in education of food technology professionals, Maksudakhon Abdullayeva -- 2 The Theoretical-Practical Cake, Linking theory and practice in food industry education, Horlacher, Franz -- 3 Potential of the task-based learning for the sustainable development of food technology, Manuela Niethammer -- Part IV Media and new technologies in TVET -- 1 The project title: The Virtual Laboratory and Quality of Education, Lafiz Boboev, Zokirhodzha Soliyev, Firuz Asrorkulov -- 2 Application of Modern Educational Technologies for Managing Project Activities of Master of Education, Rimma Masyrova, Victoria Savelieva, Janat Bisenbaeva, Bakhyt Atymtaeva -- 3 The significance of the Media Didactics Course for Masters of Vocational Education, Mamatair Joldoshov, Ainura Bekbolsunova -- 4 The significance of using business simulations in training of bachelors and masters, Mamatair Joldoshov, Jypargul Sayakbaeva -- 5 The use of new teaching and learning technologies for professional qualifications development in the system of the initial and secondary vocational education, Masuma Bashirova, Alymkan Sattarova -- Part V Evaluation and development of competencies -- 1 Technical training of teachers of vocational education in higher educational institutions, Svetlana Udartseva, Tatyana Ikonnikova, Tamara Udartseva, Tatyana Chausova, Gulfarida Samashova -- 2 Approaches of Engineering Pedagogy to improve the quality of teaching in engineering education, Steffen Kersten -- Competency-based exams in professional education, Ekaterina Golubina, Alexander Löser -- 4 Learning Performance in Vocational Secondary Schools: Testing academic achievement in electrical engineering, Metwaly Mabed and Thomas Köhler -- 5 Quality management for projects and workshops, Jens Drummer -- Part VI Research methods in TVET -- 1 The significance of scientific research in the professional development of students, Mukhabbat Ikrami -- 2 Preparing of Masters of Vocational Education for Conducting Research Activities, Gafurjon Hakimov, Kalybek Dykanaliev -- 3 Research Training for Doctoral Candidates in the Field of Education and Technology, Thomas Köhler -- Annex.…”
Link to Metadata

Defending Checks and Balances in EU Member States Taking Stock of Europe's Actions /

Table of Contents: “…by Werner Schroeder -- Article 7: A Commentary on a Much Talked-About 'Dead' Provision by Dimitry Kochenov -- The Responsibility of Courts in Maintaining the Rule of Law: Two tales of consequential judicial self- restraint by Pál Sonnevend -- Suspending Horizontal Solange: A Decentralized Instrument for Protecting Mutual Trust and the European Rule of Law by Iris Canor -- Ascertaining the 'Guarantee of Guarantees'. …”
Link to Metadata

Proof and Proving in Mathematics Education The 19th ICMI Study /

Table of Contents: “…From exploration to proof production: Feng-Jui Hsieh, Wang-Shian Horng, and Haw-Yaw Shy -- 13. Principles of task design for conjecturing and proving: Fou-Lai Lin, Kyeong-Hwa Lee, Kai-Lin Yang, Michal Tabach, and Gabriel Stylianides -- 14. …”
Link to Metadata

Academic Integrity in Canada An Enduring and Essential Challenge /

Table of Contents: “…-- Visual plagiarism: Seeing the forest and the trees -- The distinctive nature of academic integrity in graduate legal education -- Perceptions and experiences in understanding academic integrity: Reflections within a doctoral program -- The barriers to reporting incidences of academic dishonesty: The unique perspective of faculty from Canadian community colleges -- Promotion of academic integrity through a marketing lens for Canadian post-secondary institutions -- Academic integrity in the practice / service learning setting -- Promoting academic integrity and preventing misconduct in a Canadian open digital distance education university -- Section III: An urgent and growing problem: Contract cheating in Canada -- Section introduction: Contract cheating in Canada -- Ethics, ed tech, and therise of contract cheating -- Pay-to-pass: Knowledge as a commodity in the digital age -- Education as a financial transaction: Contract employment and contract cheating -- Committing and facilitating academic misconduct as white-collar and corporate crime -- Section IV: Essential strategies and levers to advance academic integrity -- Section introduction: Essential strategies and levers to advance academic integrity -- Using quality assurance frameworks to support an institutional culture of academic integrity at Canadian universities -- Beyond the traditional: Academic integrity advocacy in Canadian librarianship -- Using computer-facilitated focus groups to gather student insight on academic integrity -- Fostering academic integrity through curriculum design -- Threading the needle: Student advocacy offices and their role within academic integrity -- Helping students resolve the ambiguous expectations of academic integrity -- How to talk about academic integrity, so students will listen: The inherent challenge in "mandated" training -- Revisioning instructor-writing specialist collaboration for paraphrasing instruction -- Supporting academic integrity in the writing centre: Student consultant perspectives -- Cultural aspects of academic integrity -- A new framework for enhancing (academic) integrity -- Building a culture of restorative practice and restorative responses to academic misconduct.…”
Link to Metadata

Submaksimalių aerobinio pajėgumo rodiklių priklausomumas nuo lėtosios adaptacijos ir ergometrijos specifikos by Inga Pravdinskienė, arvyd Stasiulis, Aleksandras Alekrinskis

Connect to this object online.

Selected Abstracts of the 2nd Congress of joint European Neonatal Societies (jENS 2017); Venice (Italy); October 31-November 4, 2017; Session "Neonatal Pulmonology, Neonatal Respir... by -

Connect to this object online.

Compendium for Early Career Researchers in Mathematics Education

Table of Contents: “…Andrea diSessa 9300 -- 12 Task design frameworks in mathematics education research: An example of a domain-specific frame for algebraic learning with technological tools. …”
Link to Metadata

Improving Interagency Collaboration, Innovation and Learning in Criminal Justice Systems Supporting Offender Rehabilitation /

Table of Contents: “…Facilitation Of Developmental Tasks In Prisons: Applying The Method Of Human-Centred Co-Evaluation, Laura Seppänen, Heli Heikkilä, Anu Kajamaa, Päivikki Lahtinen, Hilkka Ylisassi -- 10. …”
Link to Metadata