Skip to main navigation Skip to main content
info(at)avldigital.remove-this.de
Deutsch English
Last searches

Results for *

Displaying results 1 to 11 of 11.

  1. Recoding gender
    women's changing participation in computing
    Author: Abbate, Janet
    Published: 2012
    Publisher:  MIT Press, Cambridge, Mass.

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9780262305464; 0262305461
    RVK Categories: MS 3050 ; SR 850
    Series: History of computing
    Subjects: COMPUTERS / Computer Literacy; COMPUTERS / Computer Science; COMPUTERS / Data Processing; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Machine Theory; COMPUTERS / Reference; COMPUTERS / History; Computer industry; Women in computer science; Array; Informatikerin; Frau; Geschlechterforschung; Computerindustrie; Informatik; Professionalisierung
    Scope: 1 online resource (x, 247 pages), illustrations
    Notes:

    Print version record

    Today, women earn a relatively low percentage of computer science degrees and hold proportionately few technical computing jobs. Meanwhile, the stereotype of the male "computer geek" seems to be everywhere in popular culture. Few people know that women were a significant presence in the early decades of computing in both the United States and Britain. Indeed, programming in postwar years was considered woman's work (perhaps in contrast to the more manly task of building the computers themselves). In Recoding Gender, Janet Abbate explores the untold history of women in computer science and programming from the Second World War to the late twentieth century. Demonstrating how gender has shaped the culture of computing, she offers a valuable historical perspective on today's concerns over women's underrepresentation in the field. Abbate describes the experiences of women who worked with the earliest electronic digital computers: Colossus, the wartime codebreaking computer at Bletchley Park outside London, and the American ENIAC, developed to calculate ballistics. She examines postwar methods for recruiting programmers, and the 1960s redefinition of programming as the more masculine "software engineering." She describes the social and business innovations of two early software entrepreneurs, Elsie Shutt and Stephanie Shirley; and she examines the career paths of women in academic computer science. Abbate's account of the bold and creative strategies of women who loved computing work, excelled at it, and forged successful careers will provide inspiration for those working to change gendered computing culture
  2. Learning objective-C by developing iPhone games
    leverage Xcode and objective-C to develop iPhone games
    Author: Booker, Amy M.
    Published: 2014
    Publisher:  Packt Publishing, Birmingham, England

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Walters, Joseph D.
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9781849696111; 184969611X; 1849696101; 9781849696104; 1306708907; 9781306708906
    RVK Categories: ST 250
    Series: Community experience distilled
    Subjects: COMPUTERS / Computer Literacy; COMPUTERS / Computer Science; COMPUTERS / Data Processing; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Machine Theory; COMPUTERS / Reference; Computer games / Programming; Array; Objective-C; Computerspiel; iPhone; Programmierung
    Scope: 1 online resource (284 pages), illustrations (some color), tables
    Notes:

    Includes index

    Online resource; title from PDF title page (ebrary, viewed May 17, 2014)

    Written as a practical and engaging tutorial, this book guides you through the development of your own exciting, fully featured, games.If you are a beginner and an enthusiast who dreams about creating games and is in need of some additional inspiration and knowledge, then this book is for you. No programming experience is expected
  3. Aesthetic computing
    Published: ©2006
    Publisher:  MIT Press, Cambridge, Mass.

    Location:
    Technische Hochschule Augsburg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Hochschulbibliothek Ingolstadt
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
  4. Recoding gender
    women's changing participation in computing
    Author: Abbate, Janet
    Published: c2012
    Publisher:  MIT Press, Cambridge, Mass.

    Location:
    Technische Hochschule Augsburg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Hochschulbibliothek Ingolstadt
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 0262305461; 1283953099; 9780262305464; 9781283953092
    RVK Categories: MS 3050 ; SR 850
    Series: History of computing
    Subjects: COMPUTERS / Computer Literacy; COMPUTERS / Computer Science; COMPUTERS / Data Processing; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Machine Theory; COMPUTERS / Reference; Computer industry; Women in computer science; COMPUTERS / History; Geschichte; Informatik; Women in computer science; Computer industry; Informatikerin; Frau; Professionalisierung; Geschlechterforschung; Computerindustrie; Informatik
    Scope: 1 Online-Ressource (x, 247 p.)
    Notes:

    Includes bibliographical references (p. [225]-242) and index

    Today, women earn a relatively low percentage of computer science degrees and hold proportionately few technical computing jobs. Meanwhile, the stereotype of the male "computer geek" seems to be everywhere in popular culture. Few people know that women were a significant presence in the early decades of computing in both the United States and Britain. Indeed, programming in postwar years was considered woman's work (perhaps in contrast to the more manly task of building the computers themselves). In Recoding Gender, Janet Abbate explores the untold history of women in computer science and programming from the Second World War to the late twentieth century. Demonstrating how gender has shaped the culture of computing, she offers a valuable historical perspective on today's concerns over women's underrepresentation in the field. Abbate describes the experiences of women who worked with the earliest electronic digital computers: Colossus, the wartime codebreaking computer at Bletchley Park outside London, and the American ENIAC, developed to calculate ballistics. She examines postwar methods for recruiting programmers, and the 1960s redefinition of programming as the more masculine "software engineering." She describes the social and business innovations of two early software entrepreneurs, Elsie Shutt and Stephanie Shirley; and she examines the career paths of women in academic computer science. Abbate's account of the bold and creative strategies of women who loved computing work, excelled at it, and forged successful careers will provide inspiration for those working to change gendered computing culture
  5. Pervasive games
    theory and design
    Author: Montola, Markus
    Published: ©2009
    Publisher:  Morgan Kaufmann Publishers, Burlington, MA

    Location:
    Ostbayerische Technische Hochschule Amberg-Weiden / Hochschulbibliothek Amberg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (URL des Erstveröffentlichers)
    Source: Union catalogues
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9780123748539; 0123748534; 9780080889795; 0080889794
    Subjects: Alternate reality games / Design; Fantasy games / Design; Ubiquitous computing; COMPUTERS / Reference; COMPUTERS / Machine Theory; COMPUTERS / Computer Literacy; COMPUTERS / Information Technology; COMPUTERS / Data Processing; COMPUTERS / Computer Science; COMPUTERS / Hardware / General; Alternate reality games / Design; Fantasy games / Design; Ubiquitous computing; Alternate reality games / Design; Fantasy games / Design; Ubiquitous computing; Informatik; Alternate reality games; Fantasy games; Ubiquitous computing; Entwurf; Computerspiel; Geländespiel
    Scope: xxiii, 312 pages
    Notes:

    "International Game Developers Association."--Cover

    Quickly emerging from the fast-paced growth of mobile communications and wireless technologies, pervasive games take gaming away from the computer screen and back to the three-dimensional world. Now games can be designed to be played in public spaces like shopping malls, conferences, museums and other non-traditional game venues. Game designers need to understand how to use the world as a gamespace-and both the challenges and advantages of doing so. This book shows how to change the face of play-who plays, when and where they play and what that play means to all involved. The authors explore aspects of pervasive games that concern game designers: what makes these games compelling, what makes them possible today and how they are made. For game researchers, it provides a solid theoretical, philosophical and aesthetic understanding of the genre. Pervasive Games covers everything from theory and design to history and marketing. designers, so that they can learn how to engage players' real-time experiences beyond the mobile phone or computer screen.-Thirteen case studies with illustrative and inspiring examples make the entire pervasive games design space tangible.-Provides practical design tips, potential pitfalls, design problems from real games, and inspiration from some of the most interesting pervasive game designers in the world, including Matt Adams, Frank Lantz, and others

    Includes bibliographical references (pages 286-298) and index
  6. Formal methods teaching
    5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings
    Contributor: Dubois, Catherine (HerausgeberIn); San Pietro, Pierluigi (HerausgeberIn)
    Published: [2023]
    Publisher:  Springer, Cham

    This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13962)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Signature:
    K/2023/Lübeck
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Dubois, Catherine (HerausgeberIn); San Pietro, Pierluigi (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031275333
    Other identifier:
    Corporations / Congresses: Formal Methods Teaching Workshop, 5. (2023, Lübeck)
    Series: Lecture notes in computer science ; 13962
    Subjects: Algorithms & data structures; Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Hardware / General; COMPUTERS / Programming / Software Development; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Computerhardware; Information technology: general issues; Künstliche Intelligenz; MATHEMATICS / Logic; Mathematical foundations; Mathematik: Logik; Mathematische Grundlagen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Software Engineering; Software Engineering
    Scope: 104 Seiten, Illustrationen
    Notes:

    Automated Exercise Generation for Satisfiability Checking.- Graphical Loop Invariant Based Programming.- A Gentle Introduction to Verification of Parameterized Reactive Systems.- Model Checking Concurrent Programs for Autograding in pseuCo Book.- Teaching TLA+ to Engineers at Microsoft.- Teaching and Training in Formalisation with B.- Teaching low-code Formal Methods with Coloured Petri Nets.
  7. Formal methods
    25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings
    Contributor: Chechik, Marsha (HerausgeberIn); Katoen, Joost-Pieter (HerausgeberIn); Leucker, Martin (HerausgeberIn)
    Published: [2023]
    Publisher:  Springer, Cham

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(1400)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Chechik, Marsha (HerausgeberIn); Katoen, Joost-Pieter (HerausgeberIn); Leucker, Martin (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031274800
    Corporations / Congresses: International Symposium on Formal Methods, 25. (2023, Lübeck)
    Series: Lecture notes in computer science ; 14000
    Subjects: Algorithms & data structures; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Expert Systems; COMPUTERS / General; COMPUTERS / Hardware / General; COMPUTERS / Programming / General; COMPUTERS / Programming / Software Development; Computer programming / software development; Computerhardware; Computing & information technology; Expert systems / knowledge-based systems; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programmier- und Skriptsprachen, allgemein; Software Engineering; Software Engineering; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: xvi, 659 Seiten, Diagramme
    Notes:

    Literaturangaben

    Keynotes.- Symbolic Computation in Automated Program Reasoning.- The next big thing: from embedded systems to embodied actors.- Intelligent and Dependable Decision-Making Under Uncertainty.- A Coq formalization of Lebesgue Induction Principle and Tonelli's Theorem.- SAT/SMT.- Railway Scheduling Using Boolean Satisfiability Modulo Simulations.- SMT Sampling via Model-Guided Approximation.- Efficient SMT-based Network Fault Tolerance Verification.- Verification I.- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.- Can we Communicate? Using Dynamic Logic to Verify Team Automata.- The ScalaFix equation solver.- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.- Quantitative Verification.- symQV: Automated Symbolic Verification of Quantum Programs.- PFL: a Probabilistic Logic for Fault Trees.- Energy Buechi Problems.- QMaude: quantitative specification and verification in rewriting logic.- Concurrency and Memory Models.- Minimisation of Spatial Models using Branching Bisimilarity.- Reasoning about Promises in Weak Memory Models with Event Structures.- A fine-grained semantics for arrays and pointers under weak memory models.- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs.- Verification 2.- Verifying At the Level of Java Bytecode.- Abstract Alloy Instances.- Monitoring the Internet Computer.- Word Equations in Synergy with Regular Constraints.- Formal Methods in AI.- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets.- The Octatope Abstract Domain for Verification of Neural Networks.- Program Semantics and Verification Technique for AI-centred Programs.- Safety and Reliability.- Tableaux for Realizability of Safety Specifications.- A Decision Diagram Operation for Reachability.- Formal Modelling of Safety Architecture for Responsibility-AwareAutonomous Vehicle via Event-B Refinement.- A Runtime Environment for Contract Automata.- Industry Day.- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.- Shifting Left for Early Detection of Machine-Learning Bugs.- A Systematic Approach to Automotive Security.- Specification-Guided Critical Scenario Identification for Automated Driving.- Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.- Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
  8. Truth and Fake in the Post-Factual Digital Age
    Distinctions in the Humanities and IT Sciences
    Contributor: Klimczak, Peter (HerausgeberIn); Zoglauer, Thomas (HerausgeberIn)
    Published: 2023.
    Publisher:  Springer Fachmedien Wiesbaden, Wiesbaden ; Imprint: Springer

    Introduction -- Truth Relativism, Scientific Skepticism and the Political Consequences -- Of Fakes and Frauds: Can Scientific "Hoaxes" Be a Legitimate Tool of Knowledge? -- Fiction, Fake and Fact -- Stranger than Fiction -- The Marxist-Leninist... more

    Access:
    Resolving-System (lizenzpflichtig)

    Location:
    Hochschule Aalen, Bibliothek
    Signature:
    E-Book Springer
    Inter-library loan:
    No inter-library loan

    Location:
    Technische Universität Chemnitz, Universitätsbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    Signature:
    EBS im Sachsenkonsortium
    Inter-library loan:
    No inter-library loan

    Location:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Inter-library loan:
    No inter-library loan

    Location:
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    Inter-library loan:
    No inter-library loan

    Location:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signature:
    ebook
    Inter-library loan:
    No inter-library loan

    Location:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Inter-library loan:
    No inter-library loan

    Location:
    Bibliothek der Hochschule Hannover
    Inter-library loan:
    No inter-library loan
    Location:
    Bibliothek im Kurt-Schwitters-Forum
    Inter-library loan:
    No inter-library loan

    Location:
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    Signature:
    e-Book Springer
    Inter-library loan:
    No inter-library loan

    Location:
    Bibliothek LIV HN Sontheim
    Signature:
    Springer ebook ComputerScience
    Inter-library loan:
    No inter-library loan

    Location:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Inter-library loan:
    No loan of volumes, only paper copies will be sent
    Location:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Bibliotheksservice-Zentrum Baden-Württemberg (BSZ)
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschule für Technik, Wirtschaft und Kultur Leipzig, Hochschulbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Zentrale Hochschulbibliothek Lübeck
    Inter-library loan:
    No inter-library loan

    Location:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signature:
    eBook Springer
    Inter-library loan:
    No inter-library loan

    Location:
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    Signature:
    eBook Springer
    Inter-library loan:
    No inter-library loan

    Location:
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    Signature:
    E-Book Springer
    Inter-library loan:
    No inter-library loan

    Location:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Osnabrück
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschulbibliothek Reutlingen (Lernzentrum)
    Signature:
    eBook
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Rostock
    Inter-library loan:
    No inter-library loan

    Location:
    Saarländische Universitäts- und Landesbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Stuttgart
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek der Eberhard Karls Universität
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Technische Hochschule Ulm, Bibliothek
    Signature:
    eBook Springer
    Inter-library loan:
    No inter-library loan

    Location:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschule Harz, Hauptbibliothek, Standort Wernigerode / Harz
    Inter-library loan:
    No inter-library loan

     

    Introduction -- Truth Relativism, Scientific Skepticism and the Political Consequences -- Of Fakes and Frauds: Can Scientific "Hoaxes" Be a Legitimate Tool of Knowledge? -- Fiction, Fake and Fact -- Stranger than Fiction -- The Marxist-Leninist Definition of Fascism and the Building of the Wall -- Caution: Possible "Fake News" - A Technical Approach to Early Detection -- Countering Fake News Technically - Detection and Treatment Approaches to Support Users -- NewsDeps: Visualizing the Origin of Information in News Articles. The increase in fake news, the growing influence on elections, increasing false reports and targeted disinformation campaigns are not least a consequence of advancing digitalisation. Information technology is needed to put a stop to these undesirable developments. With intelligent algorithms and refined data analysis, fakes must be detected more quickly in the future and their spread prevented. However, in order to meaningfully recognize and filter fakes by means of artificial intelligence, it must be possible to distinguish fakes from facts, facts from fictions, and fictions from fakes. This book therefore also asks questions about the distinctions of fake, factual and fictional. The underlying theories of truth are discussed, and practical-technical ways of differentiating truth from falsity are outlined. By taking into account the fictional as well as the assumption that information-technical advancements can benefit from humanities knowledge, the authors hope that content-related, technical and methodological challenges of the present and future can be met. Peter Klimczak (Dr. phil. et Dr. rer. nat. habil.) teaches media, cultural and technical sciences as a private lecturer at the Brandenburg University of Technology and conducts research as part of a Feodor Lynen Research Fellowship at the University of Wroclaw. He is the author of numerous publications on the use of artificial languages in media and cultural studies, on digital and social media, and on cognitive systems and artificial intelligence. Thomas Zoglauer (Dr. phil. habil.) teaches philosophy as an adjunct professor at the Brandenburg University of Technology and as a lecturer at the Universities of Freiburg and Stuttgart. He is the author of numerous books on the philosophy of technology, logic and applied ethics. This book is a translation of an original German edition. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation.

     
    Export to reference management software   RIS file
      BibTeX file
  9. Trends in functional programming
    23rd International Symposium, TFP 2022, virtual event, March 17-18, 2022 : revised selected papers
    Contributor: Swierstra, Wouter (HerausgeberIn); Wu, Nicolas (HerausgeberIn)
    Published: [2022]
    Publisher:  Springer, Cham

    This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13401)
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Swierstra, Wouter (HerausgeberIn); Wu, Nicolas (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031213137
    Corporations / Congresses: TFP, 23. (2022, Online)
    Series: Lecture notes in computer science ; 13401
    Subjects: Algorithms & data structures; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / General; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Programming / General; Computer programming / software development; Computerhardware; Computerprogrammierung und Softwareentwicklung; Computing & information technology; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programmier- und Skriptsprachen, allgemein; Systemanalyse und -design; Systems analysis & design
    Scope: 191 Seiten
    Notes:

    Embedding generic monadic transformer into Scala (Project Paper).- Towards a Language for Defining Reusable Programming Language Components (Project Paper).- Deep Embedding with Class.- Understanding Algebraic Effect Handlers via Delimited Control Operators.- Reducing the Power Consumption of IoT with Task-Oriented Programming.- Semantic equivalence of task-oriented programs in TopHat.- Algorithm Design with the Selection Monad.- Sound and Complete Type Inference for Closed Effect Rows.- Towards Efficient Adjustment of Effect Rows.
  10. Truth and fake in the post-factual digital age
    distinctions in the humanities and IT sciences
    Contributor: Klimczak, Peter (HerausgeberIn); Zoglauer, Thomas (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Wiesbaden

    The increase in fake news, the growing influence on elections, increasing false reports and targeted disinformation campaigns are not least a consequence of advancing digitalisation. Information technology is needed to put a stop to these undesirable... more

    Location:
    Universitätsbibliothek Freiburg
    Signature:
    GE 2024/847
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signature:
    2024/2499
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Heidelberg
    Signature:
    LA-U10-32395
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Badische Landesbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Mannheim
    Signature:
    400 SR 850 K65
    Inter-library loan:
    No inter-library loan

     

    The increase in fake news, the growing influence on elections, increasing false reports and targeted disinformation campaigns are not least a consequence of advancing digitalisation. Information technology is needed to put a stop to these undesirable developments. With intelligent algorithms and refined data analysis, fakes must be detected more quickly in the future and their spread prevented. However, in order to meaningfully recognize and filter fakes by means of artificial intelligence, it must be possible to distinguish fakes from facts, facts from fictions, and fictions from fakes. This book therefore also asks questions about the distinctions of fake, factual and fictional. The underlying theories of truth are discussed, and practical-technical ways of differentiating truth from falsity are outlined. By considering the fictional as well as the assumption that information-technical further development can profit from humanities knowledge, the authors hope that content-related, technical and methodological challenges of the present and future can be overcome

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Inhaltsverzeichnis (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Klimczak, Peter (HerausgeberIn); Zoglauer, Thomas (HerausgeberIn)
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9783658404055; 3658404051
    Other identifier:
    9783658404055
    Subjects: Angewandte Informatik; COMPUTERS / Data Processing / General; COMPUTERS / Hardware / General; COMPUTERS / Networking / General; COMPUTERS / Social Aspects / General; Computer hardware; Computer networking & communications; Computerhardware; Digital- und Informationstechnologien: soziale und ethische Aspekte; Ethical & social aspects of IT
    Scope: xvi, 166 Seiten, Illustrationen, Diagramme, 24 cm x 16.8 cm
    Notes:

    Literaturangaben
  11. Trends in functional programming
    24th international symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers
    Contributor: Chang, Stephen (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Cham

    This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023. The 6 full papers presented in this volume were carefully... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13868)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They span a wide variety of topics including DSL design and implementation, dependent type systems, instruction set architecture, data structures, and logic programming

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Chang, Stephen (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031389375
    Corporations / Congresses: International symposium on trends in functional programming, 24. (2023, Boston, Mass.)
    Series: Lecture notes in computer science ; 13868
    Subjects: Algorithms & data structures; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / General; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Programming / General; Computer programming / software development; Computerhardware; Computerprogrammierung und Softwareentwicklung; Computing & information technology; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programmier- und Skriptsprachen, allgemein; Systemanalyse und -design; Systems analysis & design
    Scope: 105 Seiten, Diagramme
    Notes:

    Literaturangaben

    Impredicative Encodings of Inductive-Inductive Data in Cedille.- Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture.- Faster, Simpler Red-Black Trees.- MatchMaker: A DSL for Game-Theoretic Matching.- Nearly Macro-free microKanren.- Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs.