feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • UB Potsdam  (4)
  • Kreis- und Fahrbibliothek Lübben
  • 2020-2024  (4)
  • 1
    UID:
    gbv_1877323136
    Format: 1 Online-Ressource (264 Seiten)
    ISBN: 9789004681910
    Series Statement: International technology education studies volume 19
    Content: "Book Summary In this book two fields meet, Technology Education with its long history, and Maker Education, a relative new shoot in the educational field. Both focus on learning through making and both value agency and motivation of learners. The purpose of this book is to understand and analyze the kind of informal and formal educational activities that take place under the umbrella of the Maker Movement and then relate this to the field of Technology Education to uncover what researchers, innovators and teachers in this field can learn from the principles, ideas and practices that are central to the Maker Movement and vice versa. The book contains two types of chapters. The first type is case study chapters that span from Mexico, China, Korea, Denmark, the Netherlands to Kenya and from primary to tertiary level, showing a variety of good practices in maker education including both formal and informal contexts. In the subsequent thematic chapters, dedicated authors have used the case studies to reflect on themes such as curriculum reform, social learning, materiality, spatial thinking, informal versus formal learning as well as the sustainability of learning and relate what is happening in Maker Education with Technology Education to imagine possible futures for Maker Education"--
    Note: Includes bibliographical references and index , English
    Additional Edition: ISBN 9789004681897
    Additional Edition: ISBN 9789004681903
    Additional Edition: Erscheint auch als Druck-Ausgabe Maker education meets technology education Leiden : Brill, 2023 ISBN 9789004681897
    Additional Edition: ISBN 9789004681903
    Language: English
    Author information: Vries, Marc de 1958-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1877265209
    Format: 1 Online-Ressource (VIII, 546 Seiten)
    ISBN: 9789004687257
    Series Statement: Legal history library volume 65
    Note: Publikationsdatum laut Frontpage: 28 Dec 2023
    Additional Edition: ISBN 9789004687240
    Additional Edition: ISBN 9789004687219
    Additional Edition: Erscheint auch als Druck-Ausgabe A companion to Western legal traditions Leiden : Brill Nijhoff, 2024 ISBN 9789004687240
    Additional Edition: ISBN 9789004687219
    Language: English
    Author information: Donlan, Seán Patrick
    Author information: Rhee, C. H. van 1968-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1741575850
    Format: 1 Online-Ressource(XI, 298 p. 209 illus., 44 illus. in color.)
    Edition: 1st ed. 2020.
    ISBN: 9783030598549
    Series Statement: Theoretical Computer Science and General Issues 12289
    Content: Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. .
    Content: This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.
    Additional Edition: ISBN 9783030598532
    Additional Edition: ISBN 9783030598556
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030598532
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030598556
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_1724273264
    Format: 1 Online-Ressource(XII, 205 p. 104 illus., 48 illus. in color.)
    Edition: 1st ed. 2020.
    ISBN: 9783030503239
    Series Statement: Computer Communication Networks and Telecommunications 12135
    Content: Privacy and Security -- On the trade-offs of Combining Multiple Secure Processing Primitives for Data Analytics -- Capturing Privacy-preserving User Contexts with IndoorHash -- Cloud and Systems -- Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection -- Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment -- TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores -- Fault-tolerance and Reproducibility -- Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report) -- A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report) -- Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems -- Machine Learning for Systems -- Self-Tunable DBMS Replication with Reinforcement Learning) -- DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems -- Distributed Algorithms -- A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains -- A Stabilizing One-To-Many Node-Disjoint paths Routing Algorithm in Star Networks.
    Content: This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 10 full papers presented together with 1 short paper and 1 invited paper were carefully reviewed and selected from 17 submissions. The papers addressed challenges in multiple application areas, such as privacy and security, cloud and systems, fault-tolerance and reproducibility, machine learning for systems, and distributed algorithms.
    Additional Edition: ISBN 9783030503222
    Additional Edition: ISBN 9783030503246
    Additional Edition: Erscheint auch als Druck-Ausgabe DAIS (20. : 2020 : Online) Distributed applications and interoperable systems Cham : Springer, 2020 ISBN 9783030503222
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030503246
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Computersicherheit ; Privatsphäre ; Maschinelles Lernen ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages