Kooperativer Bibliotheksverbund

UID:

Umfang: 1 online resource (509 pages)

Ausgabe: 1st ed. 2024.

ISBN: 9789819738106

Serie: Lecture Notes in Networks and Systems, 1006

Inhalt: This book presents high-quality, peer-reviewed papers from 3rd International Conference on “Universal Threats in Expert Applications and Solutions" (UNI-TEAS 2024), jointly being organized by IES University, Bhopal, and Shree KKarni Universe College, Jaipur, in association with CSI Jaipur Chapter and Jaipur ACM Professional Chapter during January 6–9, 2024. The book is a collection of innovative ideas from researchers, scientists, academicians, industry professionals, and students. The book covers a variety of topics, such as expert applications and artificial intelligence/machine learning; advance web technologies such as IoT, big data, cloud computing in expert applications; information and cyber security threats and solutions, multimedia applications in forensics, security and intelligence; advancements in app development; management practices for expert applications; and social and ethical aspects in expert applications through applied sciences.

Anmerkung: Intro -- Preface -- Acknowledgements -- About This Book -- Contents -- Editors and Contributors -- An Advanced Algorithm and Utility for Identifying Critical Web Vulnerabilities with Exceptional Performance -- 1 Introduction -- 1.1 Automated Testing Mechanisms -- 1.2 Use of Machine Learning Techniques -- 1.3 Techniques for Reducing Input Data Space -- 1.4 Scanning Tool Development -- 2 Considered Website Vulnerability -- 2.1 SQL Injection -- 2.2 Cross-Site Scripting -- 3 Related Study -- 4 Proposed and Improved Algorithms -- 5 Algorithm for Detecting XSS -- 6 Enhancing Vulnerability Detection through the Application of Machine Learning -- 7 Scanning Tool -- 8 Systematic Flow of GKD Website Scanner -- 9 Conclusion -- References -- Potential Impacts of Online-Based Learning 2.0 and Certification on Employability -- 1 Introduction -- 1.1 Background -- 1.2 Statement of the Problem -- 1.3 Study Rationale -- 1.4 Purpose of This Work -- 1.5 Limitations and Scope of the Work -- 1.6 Research Hypothesis -- 2 Research Methodology -- 2.1 The Sample Size of the Work -- 2.2 Data Collection -- 3 Data Analysis, Results, and Discussions -- 3.1 Average Age -- 3.2 Education Background -- 3.3 Employment -- 3.4 Online Certification -- 3.5 Online-Based Certification Availability -- 3.6 Online-Based Certification Acceptance -- 3.7 Online Certification Improves Skill Development -- 3.8 Online-Based Certification Increases Employability -- 3.9 Online Learning Fosters the Development of Reflective and Critical Thinking -- 3.10 Online Education is Useful for a Wide Range of Professions in Many Industries -- 3.11 Online-Based Learning Provides Knowledge as Required -- 3.12 Online Learning is Advantageous for Career Development and Ongoing Education -- 4 Conclusion -- References. , An Intelligent Self-Driving Car's Design and Development, Including Lane Detection Using ROS and Machine Vision Algorithms -- 1 Existing Work -- 2 Proposed System -- 2.1 Mechanical -- 2.2 Electrical -- 2.3 Algorithm and Machine Vision -- 3 Implementation -- 3.1 Canny Edge Detection -- 3.2 Region of Interest -- 3.3 Hough Transform -- 3.4 Average Slope Intercept -- 3.5 Curvature Calculation -- 3.6 Sliding Window Approach -- 4 Results and Discussion -- 5 Conclusion -- References -- Text Summarization for Kannada Text Documents: A Review -- 1 Introduction -- 2 Review of Literature -- 3 Datasets -- 3.1 Kannada Treebank -- 3.2 Kannada-MNIST: A New Handwritten Digit Dataset for the Kannada Language -- 3.3 Samanantar: Parallel Corpora Collection for 11 Indic Languages -- 3.4 MLe2e -- 3.5 IndicCorp -- 4 Evaluation Measures -- 5 Conclusion and Future Works -- References -- Solar Panel Tracking with Battery-Assisted and Battery Charging Modes -- 1 Introduction -- 2 Literature Review -- 3 Methods and Materials -- 3.1 Implementation Using MATLAB -- 3.2 Charging Mode -- 3.3 Discharging Mode -- 4 Results and Discussion -- 4.1 Hardware Implementation -- 5 Conclusion -- References -- Elevator-Based Earth Tremor Sentinel Technique with MQTT Protocol -- 1 Introduction -- 2 Related Work -- 2.1 Perseverance of Artificial Neural Networks (ANN) in Elevators -- 2.2 Purpose of Accelerometer in Elevators -- 2.3 Precedence of MQTT -- 3 Methodology -- 3.1 The Layout of the Proposed Model -- 3.2 Machine Learning Models for Earthquake Detection -- 3.3 Programming an AI Neural Network -- 4 Discussion -- 5 Conclusion -- References -- An Efficient System Model for Identification of Drug Addiction -- 1 Introduction -- 2 Related Work -- 3 Prpopsed Methodology -- 3.1 Attribute Selection -- 3.2 ID3 Algorithm -- 4 Results and Discussion -- 5 Conclusion and Future Scope -- References. , Design and Analysis of a Multipath Routing Protocol to Enhance QoS in MANET -- 1 Introduction -- 2 Literature Survey -- 3 Proposed Work -- 3.1 Proposed Algorithm -- 4 Results Analysis -- 4.1 Simulation Parameters -- 4.2 Packet Sents -- 4.3 Packet Receives -- 4.4 Percentage of Data Receives (PDR) -- 4.5 Normal Routing Load (NRL) -- 5 Conclusion -- References -- Tagging of Uterine Cervix Cases at Cell and Slide Level Through Transfer Learning -- 1 Introduction -- 1.1 Deep Neural Network -- 1.2 Transfer Learning -- 1.3 ResNet50 -- 1.4 Cervical Cancer -- 2 Literature Review -- 3 Material and Method -- 3.1 Data -- 3.2 Methodology -- 4 Result and Analysis -- References -- Estimation of Medical Expenses Using Machine Learning -- 1 Introduction -- 2 Methodology Applied -- 2.1 Dataset -- 2.2 Feature Engineering -- 2.3 Feature Importance Analysis -- 3 Used Models and Algorithms -- 4 Experiment Results -- 5 Conclusion -- Challenges in Making OCR of Gujarati Newspaper -- 1 Introduction -- 2 Review of Literature -- 2.1 Review on Segmentation -- 2.2 Review on Recognition Text -- 3 Problem in Gujrati Language Newspaper -- 3.1 Scanner Image Quality -- 3.2 Background Noise -- 3.3 Font and Style Variation -- 3.4 Text Size Variation -- 3.5 Complex Ligatures in the Script -- 3.6 Limited Trained Data -- 4 Observation -- 5 Conclusion -- References -- A Hybrid Methodology for Software Development and IT Team Analysis in Manufacturing -- 1 Introduction -- 2 Methods -- 2.1 A Comparison of Project Durations Before and After Model Release -- 2.2 Before and After the Model's Release on DRE -- 2.3 A Comparison of the Costs of Development and Maintenance -- 2.4 Criticality-Based Development to Maintenance Ratio of a Project -- 2.5 A Maintenance Ratio Determined by the Number of Lines of Code -- 3 Conclusion -- References. , AI Enabled Convolutional Neural Networks to Detect Brain Tumors -- 1 Introduction -- 2 Literature Review -- 3 Problem Statement -- 4 Proposed Methodology -- 4.1 Image Database -- 4.2 Data Augmentation with Pre-Processing -- 4.3 Data Split -- 5 Results -- 6 Analysis -- 7 Conclusion -- References -- Increasing Productivity in Software Development Through the Use of Docker Technology -- 1 Introduction of Dockers -- 1.1 Docker -- 1.2 Docker File -- 1.3 Docker Image -- 2 Experiment -- 2.1 Docker Java Image File -- 2.2 Python-Enabled Docker Image File -- 2.3 Comparative Results -- 3 Conclusion -- 4 Future Scope -- References -- Multimodal Fusion-Based Hybrid CRNN Model for Emotion Prediction in Music -- 1 Introduction -- 1.1 Key Contribution -- 2 Article Organization -- 3 Related Work -- 4 Methodology -- 4.1 Data Description -- 4.2 Pre-Processing -- 4.3 Feature Extraction -- 5 Proposed Model -- 5.1 Multimodel Fusion -- 6 Result and Discussion -- 6.1 Experimental Setup for the Proposed System -- 6.2 Implementation Details -- 7 Conclusion -- References -- Multimodal Analysis of Induction Motor Signals for Power Quality Abnormality Detection Using Wavelet-RBF Approach -- 1 Introduction -- 2 Research Contribution -- 3 Proposed Methodology -- 3.1 Wavelet Transform -- 3.2 RBF Neural Networks -- 4 Result Analysis and Discussion -- 4.1 Vibration Analysis Using Sensor and Current Transformer -- 5 Conclusion -- References -- Smart Electronic Speaking Glove for Physically Challenged Person -- 1 Introduction -- 1.1 Research Contribution -- 2 Proposed Methodology -- 3 Implementation and Execution -- 3.1 Hardware Description -- 3.2 Implemented in Proteus Simulation -- 4 Result and Discussion -- 5 Conclusion -- References -- COVID-19 Detection Using Fourier-Bessel Series Expansion-Based Dyadic Decomposition and Custom CNN -- 1 Introduction -- 1.1 Author Contribution. , 2 Article Organisation -- 3 Related Work -- 4 Methodology -- 4.1 Data Description -- 4.2 Image Preprocessing -- 4.3 FBD Methodology -- 5 Proposed Model -- 5.1 SMOTETomek -- 5.2 Keras Tunner -- 6 Result and Discussion -- 6.1 Experimental Configuration for the Suggested System -- 7 Conclusion -- References -- Instantaneous Interpretation into Sign Language for the Hearing Impaired -- 1 Introduction -- 1.1 Feature Extraction -- 1.2 NLP -- 1.3 CNN -- 2 Literature Survey -- 2.1 Improvement of Speech -- 2.2 Translation from Speech to Sign Language -- 2.3 Converter from Speech to Sign Language -- 3 Proposed Methodology -- 3.1 Deaf People's Model -- 3.2 Mute People Model -- 4 Analysis by Comparison to the Current Model -- 5 Conclusion -- 6 Future Scope -- References -- A Review of Anomaly Based Multiple Intrusion Detection Methods Using a Feature Based Deep Learning Approach -- 1 Introduction -- 2 Literature Review -- 3 Methodology -- 4 Results and Discussions -- 5 Conclusion -- References -- Correlation of Traditional Technique and ML-Based Technique for Efficient Effort Estimation: In Agile Frameworks -- 1 Introduction -- 2 Related Work -- 2.1 Non-Algorithmic Technique-Based Effort Estimation in Agile -- 2.2 Algorithmic Technique-Based Effort Estimation in Agile -- 2.3 Machine Learning-Based Effort Estimation in Agile -- 3 Research Objective -- 3.1 Research Question -- 3.2 Question Objective -- 4 Research Methodology -- 4.1 (RQ1) What Are the Various Traditional Techniques for Effort Estimation in an Agile Context? -- 4.2 (RQ2) What Are the Different ML Techniques for Effort Estimation in an Agile Context? -- 4.3 (RQ3) Which ML Algorithm Outperformed Among Themselves and What Are the Different Metrics Used to Determine the Accuracy of ML Techniques? -- 5 Results -- 6 Conclusion and Discussion -- References. , NLP-Based Processing of Gujarati Compound Word Sandhi's Generation and Segmentation.

Weitere Ausg.: Print version: Rathore, Vijay Singh Universal Threats in Expert Applications and Solutions Singapore : Springer,c2024 ISBN 9789819738090

Sprache: Englisch

DOI: 10.1007/978-981-97-3810-6

URL: Volltext  (URL des Erstveröffentlichers)

URL: https://doi.org/10.1007/978-981-97-3810-6

UID:

Umfang: VIII, 463 S. : , graph. Darst.

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften , Komparatistik. Außereuropäische Sprachen/Literaturen , Mathematik

Schlagwort(e): Programmierung ; Simulationssprache ; Simulationssprache ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

UID:

Umfang: XVII, 249 p. 11 illus. , online resource.

Ausgabe: 1st ed. 2024.

ISBN: 9783662683132

Inhalt: In recent years, computer science in sport has grown extremely, mainly because more and more new data has become available. Computer science tools in sports, whether used for opponent preparation, competition, or scientific analysis, have become indispensable across various levels of expertise nowadays. A completely new market has emerged through the utilization of these tools in the four major fields of application: clubs and associations, business, science, and the media. This market is progressively gaining importance within university research and educational activities. This textbook aims to live up to the now broad diversity of computer science in sport by having more than 30 authors report from their special field and concisely summarise the latest findings. The book is divided into four main sections: data sets, modelling, simulation and data analysis. In addition to background information on programming languages and visualisation, the textbook is framed by history and an outlook. Students with a connection to sports science are given a comprehensive insight into computer science in sport, supported by a didactically sophisticated concept that makes it easy to convey the learning content. Numerous questions for self-testing underpin the learning effect and ensure optimal exam preparation. For advanced students, the in-depth discussion of time series data mining, artificial neural networks, convolution kernels, transfer learning and random forests offers additional value. The Editor Prof. Dr Daniel Memmert is the executive director and professor at the Institute of Exercise Training and Sport Informatics at the German Sport University Cologne. He is the editor and author of numerous textbooks with a focus on exercise science, sports psychology and informatics. His institute organises two certificate programmes (Game Analysis Team Cologne / Sports Director in Youth and Amateur Soccer) as well as the first international Master's degree programme "Match Analysis".

Anmerkung: I HISTORY -- History -- II DATA -- Artificial data -- Text data -- Video data -- Event data -- Position data -- Online data -- III MODELING -- Modeling -- Predictive models -- Physiological modeling -- IV SIMULATION -- Simulation -- Metabolic simulation -- Simulation of physiological adaptation processes -- V PROGRAMMING LANGUAGES -- An introduction to the programming language R for beginners -- Phyton -- VI DATA ANALYSIS -- Logistic Regression -- Time Series Data Mining -- Process Mining -- Networks Centrality -- Artificial Neural Networks -- Deep Neural Networks -- Convolutional Neural Networks -- Transfer Learning -- Random Forest -- Statistical learning for the modeling of soccer matches -- Open-Set Recognition -- VII VISUALIZATION -- Visualization - Basics and Concepts -- VIII OUTLOOK -- Outlook. .

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783662683125

Weitere Ausg.: Printed edition: ISBN 9783662683149

Sprache: Englisch

Fachgebiete: Sport

Schlagwort(e): Aufsatzsammlung

DOI: 10.1007/978-3-662-68313-2

URL: https://doi.org/10.1007/978-3-662-68313-2

URL: lizenzpflichtig

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Umfang: 1 online resource (375 pages)

Ausgabe: 1st ed.

ISBN: 9783839472422

Serie: Digitale Gesellschaft Series

Inhalt: How do digital media technologies affect society and our lives? Through the cultural theory hypotheses of hyper-modernism, hyperreality, and posthumanism, Alan N. Shapiro investigates the social impact of Virtual/Augmented Reality, AI, social media platforms, robots, and the Brain-Computer Interface. His examination of concepts of Jean Baudrillard and Katherine Hayles, as well as films such as Blade Runner 2049, Ghost in the Shell, Ex Machina, and the TV series Black Mirror, suggests that the boundary between science fiction narratives and the »real world« has become indistinct. Science-fictional thinking should be advanced as a principal mode of knowledge for grasping the world and digitalization.

Anmerkung: Cover -- Contents -- Acknowledgements -- Introduction -- The Three Central Hypotheses -- The Logical Progression of the Three Concepts or Hypotheses -- Part One - Hyper‐Modernism: Digital Media Technologies and Science Fiction -- Part One to Part Two: From Hyper‐Modernism to Hyperreality -- Part Two - Hyperreality: Reevaluation of Jean Baudrillard's Media Theory and the Simulacrum -- Part Two to Part Three: From Hyperreality to Post‐Humanism and Creative Coding -- Part Three - Posthumanism: N. Katherine Hayles' History of Cybernetics, Creative Coding, and the Future of Informatics -- Originally Published Versions -- Methodology -- Thirty Minute Statement at my Ph.D. Oral Defense Alan N. Shapiro, April 12, 2024 -- Part One - Hyper‐Modernism: Digital Media Technologies and Science Fiction -- Overview of Part One -- Short Definitions of Modernity, Postmodernism, and Hyper‐Modernism -- The Three Essays of Part One -- Mobility and Science Fiction -- Introduction -- We Do Not Live in a Society Where Mobility is Encouraged -- The Dream of the Tomorrow‐Car -- Henri Matisse Paints "the Vision Machine" -- The New Vision Machine -- Close Encounters of the Third Kind: The Menace of Verticality -- The "Spinner" Flying Cars of Blade Runner: Simulation and Surveillance -- Blade Runner: We Are All Replicants -- Blade Runner 2049: Android Liberation Between Old and New Informatic Power -- Minority Report: The Utopia/Dystopia of Surveillance Technologies -- The Fifth Element: When Manhattan has no More Ways to Expand -- Back to the Future: A Speed So Fast that the Laws of Spacetime Get Shattered -- Total Recall: You're in a Johnny Cab -- Robots Versus Androids -- Self‐Owning Cars -- Enhance the Physical World -- The Simulacra, Do Androids Dream of Electric Sheep?, and Dr. Bloodmoney -- The "Science Fiction World" of Philip K. Dick's Ubik. , Who Is Jory Miller and What is Ubik? -- Fredric Jameson on Postmodernism -- Sonja Yeh on the Postmodern Media Theorists -- Donna J. Haraway's "A Manifesto for Cyborgs" -- Science Fiction Heterotopia: The Economy of the Future -- Introduction: Foucault's Heterotopia -- The Technologizing of Memory -- Black Mirror: "The Entire History of You" - Scenes from a Marriage -- Similar Technologies in the Real World Today -- Brain‐Computer Interface -- Designing the Brain‐Computer Interface -- Hyper‐Modernist Literature -- The Economy of the Future -- Post‐Capitalism and Technological Anarchism -- Star Trek Replicators and Star Trek Economics -- Ecologically Aware or Sustainable 3D Printers -- Additive Manufacturing and Living Organisms -- Andre Gorz: Human Liberation Beyond Work -- Murray Bookchin, Post‐Scarcity Anarchism -- Yanis Varoufakis' Vision of Post‐Capitalism -- Conclusion -- Geert Lovink on Post‐Capitalism -- Blockchain Decentralized Idealism -- Smart Contracts -- Between Law and Code -- Decentralized Autonomous Organization -- Between Corporate Intellectual Property Rights and the Rights of Users -- Fiction and Power in Postmodernism -- Cornelius Castoriadis, The Imaginary Institution of Society -- Donna J. Haraway on the Informatics of Domination -- Michel Foucault's Analytics of Power -- Jean Baudrillard, Forget Foucault -- Gilles Deleuze, "Postscript on the Societies of Control" -- Fiction, Power, and Codes in Hyper‐Modernism -- John Armitage on Hyper‐Modernism -- Albert Borgmann on Hyper‐Modernism -- Gilles Lipovetsky on Hyper‐Modernism -- What is Hyper‐Modernism? -- Introduction -- Access to History -- The Carnivalesque -- Modernity, Postmodernism, Hyper‐Modernism -- Gustave Flaubert: To Write a Novel About Nothing -- Hyper‐Modernist Creativity -- Body, Self, and Code in Hyper‐Modernism -- Sincerity and Authenticity. , Darko Suvin on Science Fiction Studies -- Carl Freedman on Science Fiction Studies -- Istvan Ciscsery‐Ronay, Jr. on Science Fiction Studies -- Part Two - Hyperreality: Reevaluation of Jean Baudrillard's Media Theory and the Simulacrum -- Overview of Part Two -- Defining the Simulacrum and Hyperreality -- Thinking Hyperreality: From Rhetoric to Code -- Baudrillard's Importance for the Future -- Baudrillard and the Situationists -- Baudrillard and Trump -- Baudrillard's Importance for the Future -- The Controversy Around Baudrillard -- Yes - Everything is Simulation! -- Early Baudrillard: The Consumer Society and For a Critique of the Political Economy of the Sign -- Symbolic Exchange and the Gift Economy -- The First Order of Simulacra: The Student of Prague -- The Second Order of Simulacra: The First Industrial Revolution -- The Third Order of Simulacra: Simulation and Hyperreality -- First‐Wave Digitalization as Interactive Performance -- The Fourth Order of Simulacra: Value Radiates in All Directions -- From Descartes to Baudrillard: The "Evil Demon" of Images -- Arthur C. Clarke, "The Nine Billion Names of God" -- The Trapdoor Escape Hatch Way Out of Hyperreality -- High Life: The Black Hole of Humanity's Extinction and New Hope -- Poetic Resolution in Baudrillard's Thought -- Daniel Boorstin, The Image: Hyperreality Overtakes America -- Umberto Eco, Travels in Hyperreality -- Roland Barthes, Mythologies -- Taking the Side of Objects -- Plato and the Simulacrum -- Plato as Software Designer -- Brian Gogan on Plato, Baudrillard, and Rhetoric -- Deleuze on "Plato and the Simulacrum" -- Upgrading Hyperreality and the Simulacrum for Digitalization -- Personalized Advertising -- Transdisciplinarity is Good for (Post‑)Humanity -- Virtual Reality, Augmented Reality, and the Metaverse -- Baudrillard and the Situationists -- Introduction. , "Taking the Side of Objects" and the Situationists -- Baudrillard's Paradigm Shift -- Is Baudrillard Fair to the Situationists? -- "Baudrillard and the Situationists" Commentators Douglas Kellner and Sadie Plant, and the Tension between Critical Theory and Fatal Theory -- Exhibit A (Baudrillard self‐simplifies): -- Exhibit B (Baudrillard's critique of the Situationists is reductionist): -- Exhibit C (Sadie Plant's critique of Baudrillard is reductionist): -- Situationist Practices -- Wandering or the Drift - Le Dérive -- Psycho‐Geography -- The Diverting of Technologies - Le détournement -- The Making or Creating or Construction of Situations -- The Radical Illusion Beyond Art -- Neo‐Situationism in the Field of Advanced Digital Technologies -- Urban and Street Art Activism -- Augmented Reality versus Wall Street -- Conclusion -- McKenzie Wark on the Situationists -- Play Don't Work -- Existential Encounter with the Object -- From the Subject to the Object in Jean‐Paul Sartre's Nausea -- The Myth of Sisyphus: Albert Camus on the Side of Objects -- Simone de Beauvoir, The Ethics of Ambiguity -- Jean Baudrillard and the Donald: Is Trump a Fascist or is He the Parody of Fascism? -- Epistemology of True and False -- Society of the Spectacle and Hyperreality -- Donald Trump the Empty Signifier -- From Simulation to the Grotesque and the Self‐Parody -- Springtime for Hitler -- Serge Latouche Remembers Baudrillard -- Biosphere 2: The Artificial Paradise of Nature -- Reality TV and Baudrillard's Telemorphosis -- The Truman Show: "The Last Thing That I Would Ever Do is Lie to You" -- My Two Key Differences from Baudrillard -- Part Three - Posthumanism: N. Katherine Hayles' History of Cybernetics, Creative Coding, and the Future of Informatics -- Overview of Part Three -- The Science Fiction of Star Trek. , Star Trek's Spock, Data, and Seven of Nine and the Three Orders of Cybernetics -- What is Posthumanism? -- The Concept of Nature in Whitehead and Merleau‐Ponty -- Rosi Braidotti's Celebratory Posthuman Philosophy -- A Fully Posthuman Situation -- Wendy Chun on Software Code -- Software Code as Expanded Narration -- The Software of the Future -- Star Trek: Technologies of Disappearance -- Technoscience and Storytelling -- From Liberal Humanism to Posthumanism -- Cyborg Spock and NASA's Cyborg -- First Order Cybernetics -- How Information Lost Its Body -- Claus Pias on First‐Order Cybernetics -- Gene Roddenberry Designs His First Alien -- "The Devil in the Dark": Empathy for Radical Otherness -- Second Order Cybernetics -- Bernhard Dotzler on Second‐Order Cybernetics -- The Android Data of Star Trek: The Next Generation -- "The Offspring": Data's Daughter Lal -- Third Order Cybernetics -- "Becoming‐Borg" Seven of Nine -- Star Trek: Picard, "Remembrance" -- "Embodied Informatics" is a Science Fiction Idea -- Hayles on Writing and Software Code -- Hyper‐Modernist Science -- I, Robot and the Moral Dilemmas of the Three Laws of Robotics -- The Zeroth Law of Robotics and the Robot Unconscious -- Hayles on the Cognitive Nonconscious -- Marie‐Luise Angerer Critiques Hayles -- Judith Butler and Gender Theory -- Ex Machina and the Turing Test -- Ex Machina: The Performance of Female and Human -- Monique Wittig, The Straight Mind -- Software Code as Expanded Narration -- Software Code as Expressive Media -- Friedrich Kittler: The Numeric Kernel is Decisive -- Kittler's Media Archaeology -- Wolfgang Hagen on Programming Languages -- Ten Paradigms of Informatics and Programming -- The First Hyper‐Modern Computers -- Enter Software Studies -- Enter Creative Coding -- Alan Turing: The Imitation Game and Befriending the Evil Demon. , Alan Turing: The Scientific and Cultural Levels of Computing.

Weitere Ausg.: ISBN 9783837672428

Sprache: Englisch

Fachgebiete: Allgemeines

Schlagwort(e): Electronic books.

DOI: 10.1515/9783839472422

URL: lizenzpflichtig

URL: Click to View

UID:

Umfang: 1 online resource (XV, 772 p. 1 illus.)

Ausgabe: 1st ed. 2020.

ISBN: 3-030-44914-9

Serie: Theoretical Computer Science and General Issues, 12075

Inhalt: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. .

Anmerkung: Intro -- ETAPS Foreword -- Preface -- Organization -- Formal Methods for Evolving Database Applications (Abstract of Keynote Talk) -- Contents -- Trace-Relating Compiler Correctness and Secure Compilation -- Introduction -- Trace-Relating Compiler Correctness -- Property Mappings -- Trace Relations and Property Mappings -- Preservation of Subset-Closed Hyperproperties -- Instances of Trace-Relating Compiler Correctness -- Undefined Behavior -- Resource Exhaustion -- Different Source and Target Values -- Abstraction Mismatches -- Trace-Relating Compilation and Noninterference Preservation -- Trace-Relating Secure Compilation -- Trace-Relating Secure Compilation: A Spectrum of Trinities -- Instance of Trace-Relating Robust Preservation of Trace Properties -- Instances of Trace-Relating Robust Preservation of Safety and Hypersafety -- Related Work -- Conclusion and Future Work -- Acknowledgements -- Bibliography -- Runners in action -- 1 Introduction -- 2 Algebraic effects, handlers, and runners -- 2.1 Algebraic effects and handlers -- 2.2 Runners -- 3 Programming with runners -- 3.1 The user and kernel monads -- 3.2 Runners as a programming construct -- 4 A calculus for programming with runners -- 4.1 Types -- 4.2 Values and computations -- 4.3 Type system -- 4.4 Equational theory -- 5 Denotational semantics -- 5.1 Semantics of types -- 5.2 Semantics of values and computations -- 5.3 Coherence, soundness, and finalisation theorems -- 6 Runners in action -- 7 Implementation -- 8 Related work -- 9 Conclusion and future work -- References -- On the Versatility of Open Logical Relations -- 1 Introduction -- 2 The Playground -- 3 A Fundamental Gap -- 4 Warming Up: A Containment Theorem -- 5 Automatic Differentiation -- 6 On Refinement Types and Local Continuity -- 6.1 A Refinement Type System Ensuring Local Continuity -- 6.2 Basic Typing Rules. , 6.3 Typing Conditionals -- 6.4 Open-logical Predicates for Refinement Types -- 7 Related Work -- 8 Conclusion and Future Work -- References -- Constructive Game Logic -- 1 Introduction -- 2 Related Work -- 3 Syntax -- 3.1 Example Games -- 4 Semantics -- 4.1 Realizers -- 4.2 Formula and Game Semantics -- 4.3 Demonic Semantics -- 5 Proof Calculus -- 6 Theory: Soundness -- 7 Operational Semantics -- 8 Theory: Constructivity -- 9 Conclusion and Future Work -- References -- Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis -- 1 Introduction -- 2 Preliminaries -- 2.1 The IFDS Framework -- 2.2 Trees and Tree Decompositions -- 3 Problem definition -- 4 Treewidth-based Data-ow Analysis -- 4.1 Preprocessing -- 4.2 Word Tricks -- 4.3 Answering Queries -- 4.4 Parallelizability and Optimality -- 5 Experimental Results -- 6 Conclusion -- References -- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- 1 Introduction -- 1.1 Correct Programs that Do Strange Things -- 1.2 Towards Simple Read-Only Specifications for Synthesis -- 1.3 Our Contributions -- 2 Program Synthesis with Read-Only Borrows -- 2.1 Basics of SSL-based Deductive Program Synthesis -- 2.2 Reducing Non-Determinism with Read-Only Annotations -- 2.3 Composing Read-Only Borrows -- 2.4 Borrow-Polymorphic Inductive Predicates -- 3 BoSSL: Borrowing Synthetic Separation Logic -- 3.1 BoSSL rules -- 3.2 Memory Model -- 3.3 Soundness -- 4 Implementation and Evaluation -- 4.1 Experimental Setup -- 4.2 Performance and Quality of the Borrowing-Aware Synthesis -- 4.3 Stronger Correctness Guarantees -- 4.4 Robustness under Synthesis Perturbations -- 5 Limitations and Discussion -- 6 Related Work -- 7 Conclusion -- References -- Soundness conditions for big-step semantics -- 1 Introduction -- 2 A meta-theory for big-step semantics -- 3 Extended semantics. , 3.1 Traces -- 3.2 Wrong -- 4 Expressing and proving soundness -- 4.1 Expressing soundness -- 4.2 Conditions ensuring soundness-must -- 4.3 Conditions ensuring soundness-may -- 5 Examples -- 5.1 Simply-typed -calculus with recursive types -- 5.2 MiniFJ& -- -λ -- 5.3 Intersection and union types -- 5.4 MiniFJ& -- O -- 6 The partial evaluation construction -- 7 Related work -- 8 Conclusion and future work -- Acknowledgments -- References -- Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap -- 1 Introduction -- 1.1 Examples -- 1.2 Generalizing the Approach -- 2 A-Normal Form λ- Calculus -- 3 Background -- 3.1 Semantic Domains -- 3.2 Concrete Semantics -- 3.3 Abstracting Abstract Machines with Garbage Collection -- 3.4 Stack-Precise CFA with Garbage Collection -- 3.5 The k-CFA Context Abstraction -- 4 From Threaded to Compositional Stores -- 4.1 Threaded-Store Semantics -- 4.2 Threaded-Store Semantics with Effect Log -- 4.3 Compositional-Store Semantics -- 4.4 Compositional-Store Semantics with Garbage Collection -- 5 Abstract Compositional-Store Semantics with Garbage Collection -- 6 Discussion -- 6.1 The Effects of Treating the Store Compositionally -- 6.2 The Effect of Treating the Time Compositionally -- 7 Related Work -- 8 Conclusion and Future Work -- References -- SMT-Friendly Formalization of the Solidity Memory Model -- 1 Introduction -- 2 Background -- 2.1 Ethereum -- 2.2 Solidity -- 2.3 SMT-Based Programs -- 3 Formalization -- 3.1 Types -- 3.2 Local Storage Pointers -- 3.3 Contracts, State Variables, Functions -- 3.4 Statements -- 3.5 Assignments -- 3.6 Expressions -- 4 Evaluation -- 5 Related Work -- 6 Conclusion -- References -- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types -- 1 Introduction -- 2 Overview of our Approach -- 3 An MPST Theory with +, ∃, and ll. , 3.1 Types as Process Algebraic Terms -- 3.2 Global Types and Local Types -- 3.3 End-Point Projection: from Global Types to Local Types -- 3.4 Weak Bisimilarity of Global Types, Local Types, and Groups -- 3.5 Well-formedness of Global Types -- 3.6 Correctness of Projection under Well-Formedness -- 3.7 Decidability of Checking Well-Formedness -- 3.8 Discussion of Challenges -- 4 Practical Experience with the Theory -- 4.1 Implementation -- 4.2 Evaluation of the Approach -- 5 Related Work -- 6 Conclusion -- References -- Verifying Visibility-Based Weak Consistency -- 1 Introduction -- 2 Weak Consistency -- 2.1 Weak-Visibility Specifications -- 2.2 Consistency against Weak-Visibility Specifications -- 3 Establishing Consistency with Forward Simulation -- 3.1 Reducing Consistency to Safety Verification -- 3.2 Verifying Implementations -- 4 Proof Methodology -- 5 Implementation and Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- A Appendix: Proofs to Theorems and Lemmas -- References -- Local Reasoning for Global Graph Properties -- 1 Introduction -- 2 The Foundational Flow Framework -- 2.1 Preliminaries and Notation -- 2.2 Flows -- 2.3 Flow Graph Composition and Abstraction -- 3 Proof Technique -- 3.1 Encoding Flow-based Proofs in SL -- 3.2 Proof of the PIP -- 4 Advanced Flow Reasoning and the Harris List -- 4.1 The Harris List Algorithm -- 4.2 Product Flows for Reasoning about Overlays -- 4.3 Contextual Extensions and the Replacement Theorem -- 4.4 Existence and Uniqueness of Flows -- 4.5 Proof of the Harris List -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems -- 1 Introduction -- 2 The Core Concepts of Aneris -- 2.1 Local and Thread-Local Reasoning -- 2.2 Node-Local Reasoning -- 2.3 Example: An Addition Service -- 2.4 Example: A Lock Server. , 3 AnerisLang -- 4 The Aneris Logic -- 4.1 The Program Logic -- 4.2 Adequacy for Aneris -- 5 Case Study 1: A Load Balancer -- 6 Case Study 2: Two-Phase Commit -- 6.1 A Replicated Log -- 7 Related Work -- 8 Conclusion -- Acknowledgments -- Bibliography -- Continualization of Probabilistic Programs With Correction -- 1 Introduction -- 2 Example -- 2.1 Continualization -- 2.2 Parameter Synthesis -- 2.3 Improving Inference -- 3 Syntax and Semantics of Programs -- 3.1 Source Language Syntax -- 3.2 Semantics -- 4 Continualizing Probabilistic Programs -- 4.1 Overview of the Algorithm -- 4.2 Distribution and Expression Transformations -- 4.3 Inuence Analysis and Control-Flow Correction of Predicates -- 4.4 Bringing it all together: Full Program Transformations -- 5 Synthesis of Continuity Correction Parameters -- 5.1 Optimization Framework -- 5.2 Optimization Algorithm -- 6 Methodology -- 6.1 Benchmarks -- 6.2 Experimental Setup -- 7 Evaluation -- 7.1 RQ1: Benefits of Continualization -- 7.2 RQ2: Impact of Smoothing Factors -- 7.3 RQ3: Extending Results to Other Systems -- 8 Related Work -- 9 Conclusion -- References -- Semantic Foundations for Deterministic Dataflow and Stream Processing -- 1 Introduction -- 2 Monoids as Types for Streams -- 3 Stream Transductions -- 4 Model of Computation -- 5 Combinators for Deterministic Dataow -- 6 Algebraic Reasoning for Optimizing Transformations -- 7 Related Work -- 8 Conclusion -- References -- Connecting Higher-Order Separation Logic to a First-Order Outside World -- 1 Introduction -- 2 Background: Ghost State in Separation Logic -- 2.1 Ghost Algebras -- 3 External State as Ghost State -- 4 Verifying C Programs with I/O in VST -- 5 Soundness of External-State Reasoning -- 6 Connecting VST to CertiKOS -- 6.1 CertiKOS Specifications -- 6.2 Relating OS and User State -- 6.3 Soundness of VST + CertiKOS. , 7 From syscall-level to hardware-level interactions. , English

Weitere Ausg.: ISBN 3-030-44913-0

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Konferenzschrift

DOI: 10.1007/978-3-030-44914-8

URL: kostenfrei

UID:

Umfang: XXIV, 1831 p. 638 illus., 300 illus. in color. , online resource.

Ausgabe: 1st ed. 2020.

ISBN: 9789811532504

Serie: Lecture Notes in Electrical Engineering, 551

Inhalt: This book gathers the proceedings of the 9th International Conference on Frontier Computing, held in Kyushu, Japan on July 9-12, 2019, and provides comprehensive coverage of the latest advances and trends in information technology, science and engineering. It addresses a number of broad themes, including communication networks, business intelligence and knowledge management, web intelligence, and related fields that inspire the development of information technology. The respective contributions cover a wide range of topics: database and data mining, networking and communications, web and internet of things, embedded systems, soft computing, social network analysis, security and privacy, optical communication, and ubiquitous/pervasive computing. Many of the papers outline promising future research directions, and the book will benefit students, researchers and professionals alike. Further, it offers a useful reference guide for newcomers to the field.

Anmerkung: Chapter 1. Cloud, Ubiquitous, Pervasive, and High Performance Computing -- Chapter 2. Dependable, Reliable and Autonomic Computing -- Chapter 3. Wearable Computing, Mobile Web, and Smart Environment -- Chapter 4. Algorithm, Model, and Framework Programming Languages -- Chapter 5. Communication and Networking -- Chapter 6. Database and Data Mining -- Chapter 7. Big Data and Internet of Things -- Chapter 8. Anticipatory Computing -- Chapter 9. Web and Internet Computing -- Chapter 10. Natural Language Processing Operating Systems -- Chapter 11. Image Processing, Pattern Recognition, Multimedia Technology -- Chapter 12. Embedded System and Software -- Chapter 13. Geographical Information Systems/ Global Navigation Satellite Systems (GIS/GNSS) -- Chapter 14. Intelligent Information & Database Systems -- Chapter 15. Security and Privacy -- Chapter 16. Social Web, Network, and Computing -- Chapter 17. Social, Ethical & Other Issues of Networked World -- Chapter 18. Software Design Patterns & Engineering -- Chapter 19. Information/Business Management, and IT Policy -- Chapter 20. Mobile and Ubiquitous Computing -- Chapter 21. Modeling and Simulation.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9789811532498

Weitere Ausg.: Printed edition: ISBN 9789811532511

Weitere Ausg.: Printed edition: ISBN 9789811532528

Sprache: Englisch

DOI: 10.1007/978-981-15-3250-4

URL: https://doi.org/10.1007/978-981-15-3250-4

URL: Volltext  (URL des Erstveröffentlichers)

URL: Buchcover

UID:

Umfang: 1 online resource (XXXI, 441 p. 151 illus.)

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-39315-3

Serie: Lecture Notes in Control and Information Sciences, 187

Inhalt: This book comprises the proceedings of one of the most important international conferences in robotics. The individual contributions focus primarily on mechanical engineering and control and are unique in describing work completed in Eastern and Central European Countries and the former USSR. The annual symposia play an important role in the development of the theory and practice of manipulators, walking machines, robots, and the papers present significant contributions from experts in the field. The connection between biomechanics, robotics, and other related sciences is examined, as well as the biomechanical aspects currently applied in the theory and practice of manipulators and robots. The book is divided into sections covering mechanics, synthesis and design, sensing, control of motion, mobile robots and walking machines, application and performance evaluation.

Anmerkung: On micromechanisms and their researches and developments -- New manipulators with simple inverse kinematics -- The semigraphical determination of all real inverse kinematic solutions of general six-revolute manipulators -- An approach to symbolic kinematics of multiloop robot mechanisms -- Analytical form solution of the direct kinematics of a 4–4 fully in-parallel actuated six degree-of-freedom mechanism -- Characterization of redundancy in spatial closed kinematic chains -- Finding collision-free trajectory for redundant manipulator by local information available -- Some effects of the joint's drive systems torsional compliances and the velocity profiles on the 5R manipulator's dynamic accuracy -- Comparing structures of stiffness matrices using invariants -- Kineto-static analysis of cooperative robot manipulators achieving dexterous configurations -- Geometrical decomposition of robot elasticity -- A life devoted to TMM and robotics: Professor M. S. konstantinov -- Multi-criteria optimization of robots for planar trajectory operations -- Planning motions of robotic systems subject to force and friction constraints with an application to a robotic climber -- Feasibility of trajectories in cluttered environments and automatic positioning of the robot -- A new scheme for hybrid force-position control -- An adaptive implicit hybrid position force control of robots: Implementation problems -- Parallel computing of symbolic robot models and control laws: Theory and application on advanced multiprocessor architectures -- Decoupling and suboptimal control for robots -- ‘Dynamic’ multi-functional tactile sensing -- A concurrent interpreted language, including constraints, for robot programming -- Flexible controller for robots equipped with sensors -- A three degree-of-freedom in-parallel actuated manipulator -- Planning workpiece grasp points for cooperating robot movements -- Full envelope dexterous manipulation -- Multi-degree of freedom spherical ultrasonic motor -- A spatial fully-parallel manipulator -- A new approach to the modelling of power grasp -- Design of a carbon fiber robot: Architectural choices and design balancing -- A new actuation system for high-performance torque-controlled manipulators -- Real time kinematics for a 6 dof telerobotic joystick -- Structural and kinematic synthesis of multi — Degree of freedom high-class manipulation devices -- A control scheme for biped walking without impacts -- Methods of evaluation of the power developed in a man's leg during normal walking -- Modelling upper extremity muscles effort under static working conditions -- Development of a coupled tendon drive manipulator with seven degrees-of-freedom -- A basic concept of super rabbit -- Dynamics and control of 6-legged walking machines -- Robotics training station — A new application area in robotics -- Interactive planning using graphical simulation for robot task programming -- Supervision and sensing in flexible assembly -- The robotic milking of cows -- Telemanipulation control of a robotic hand with cooperatingfingers by means of telepresence with a hybrid virtual-real structure -- Control of robot-based assembly cell -- From the round table discussion: The role of dynamic control in contemporary and tomorrow's robotics.

In: Springer eBooks

Weitere Ausg.: ISBN 0-387-19834-2

Weitere Ausg.: ISBN 3-540-19834-2

Sprache: Englisch

Schlagwort(e): Konferenzschrift

DOI: 10.1007/BFb0031425

URL: http://dx.doi.org/10.1007/BFb0031425

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

UID:

Umfang: 1 online resource (684 pages)

ISBN: 9783110584998

Anmerkung: Intro -- Contents -- Preface -- Introduction of keynote speakers -- Part IV: Sensors, Instrument and Measurement II -- Design of Remote Real-Time Measuring System of Temperature and Humidity based on Raspberry Pi and Java Language -- Design of Emotional Physiological Signal Acquisition System -- EMC Effects On High-Resolution Spaceborne SAR Image -- Real-time Pupil Detection based on Contour Tracking -- Chip Manufacturing, Data Integration and Transmission -- A DCT-domain-based Research and Application of the Algorithm of Digital Audio Watermark -- Detection of Placido rings fracture based on ECC image registration -- Research on High-precision Calibration and Measurement Method based on Stereo Vision -- Comparison of Three Weak Small Moving Target Detection Methods based on Time Domain Filtering -- Breath Sounds Detection System based on SOPC -- A Novel Fiber-optic Sensor for the Determination of Melting Point of Solids -- Method for Measuring Internal Liquid Level of Sealed Metal Container by Ultrasonic -- Design of Silicon-on-Sapphire Pressure Sensor For High Temperature And High Pressure Applications -- The Federated Filtering Algorithm based on the Asynchronous Multisensor System -- A Kind of Self-tuning Kalman Filter for the High Maneuvering Target Tracking System -- A Multitasking Run Time Prediction Method based on GBDT in Satellite Ground Application System -- Unmanned Ground Vehicle Behavior Decision via Improved Bayesian Inverse Reinforcement Learning -- Analysis of the High Frequency Vibration on Radar Imaging in the Terahertz Band -- Object Tracking for Satellite Video based on Kernelized Correlation Filters and Three Frame Difference -- Noise Removal and Detail Enhancement of Passive Infrared Image Pretreatment Method for Robot Vision. , Failure Mechanism and Support Strategy of Deep Roadway with High Horizontal Stress and Broken Rock Masss -- Design of a Climbing Robot for Nuclear Environmental Monitoring -- Part V: Mechatronics and Electrical Engineering I -- The design and simulation of the new Space Release Device -- The Adjusting Method of Box Girder Pose based on Spatial Coordinate Transformation -- Application of Discrete Element Method in the Analysis of Loader Shovel Loading Process -- Application of Piecewise Catenary Method in Length Calculation of Soft Busbar in Ultra-high Voltage Substation -- Calculation Method of Stiffness Matrix in Non-linear Spline Finite Element for Suspension Cable -- A Load Outage Judgement Method Considering Voltage Sags -- Macro Program Application on Non-circular Curve Machining in CNC Lathe -- Singular Configuration Analysis for the Structure of Hybrid Grinding and Polishing Machine -- Static Analysis and Size Optimization for the Bed of Gantry Milling Machine based on ANSYS Workbench -- Research and Optimization of Clip Type Passive Manipulator -- Research on Material Removal of Belt Polishing for Blade Complex Surface -- Visual Servoing based object pick and place manipulation system -- Research on Wind Loads of Container Ship based on CFD -- Design and Research of Model Sting Support Control System of Icing Wind Tunnel -- Development of Control System of Icing Wind Tunnel -- Railway Track Collapse Monitoring System in Mining Area based on KALMAN Filter -- The Method of Harmonic Source Identification in Power Supply System -- Optimization for the Balancing Cylinder of a 3-DOF Planar Manipulator -- Finite Element Modal Analysis of an Eight-axis Industrial Robot Painting System Applied to Boarding Bridge Painting -- Bayesian based Fault Identification for Nonlinear Mechatronic System with Backlash. , A CAD/CAE Integrated Optimization of Hot Runner System -- Study On Tool Path Design for a Novel Incremental Sheet Metal Bending Process -- Research on Tribological Characteristics of 316L Stainless Steel against PEEKHPV under Water Lubrication -- Turbofan Engine Controller Optimal Design based on Grey Wolf Optimizer -- Part VI: Mechatronics and Electrical Engineering II -- Research of the EMI Suppression Circuit in the ASM Power -- Research on the Relationship Identification and Governance Countermeasures of Stakeholder in Two Phases of Thermoelectric Projects -- Study on the Fluctuating Pressure and Aerodynamic Noise at Car Rearview Mirror Zone -- Model and Simulation of Vehicle Based on Modelica Language -- Research on Asynchronous Starting Characteristics of Synchronous Motors Based on TSC Reactive Power Compensator -- Motorcycle Engine Controller Design and Matlab/ Simulink Simulation -- An Efficient Bilinear Factorization based Method For Motion Capture Data Refinement -- Reliability Evaluation of Embedded Real-time System based on Error Scenario -- Coordinate Transformation on CNC Machining of Quasi-Hypoid-Gear -- Study on the Influence of Rolling Wheels on Car External Flow Field and Aerodynamic Noise -- Hardware/Software Partitioning Algorithm under Multi-Constraints for the Optimization of Power Consumption -- Research of Metering Arithmetic for Distortion Power -- Study of the Influence of the Diode Ideality Factor on the Si Solar Cell -- Application of the Haar Classifier in Obstacle Target Detection -- Virtual Assembly Process Simulation for Hybrid Car Battery based on DELMIA -- Information Flow Integrity of ECPS based on Domain Partition -- Simulating the Time-Domain Response for Monopole Antennas Excited by DC Voltage Source -- Permanent Magnet Brushless DC Motor Driver Base On DSP56F8346. , The Study on the Power Transmission Line Icing Image Edge Detection based on DTW Measure Cluster Analysis.

Weitere Ausg.: Print version: Wang, Shawn X. Current Trends inComputer Science andMechanical Automation Vol. 2 Warschau/Berlin : Walter de Gruyter GmbH,c2018 ISBN 9783110584981

Sprache: Englisch

Schlagwort(e): Electronic books. ; Electronic books. ; Electronic books

URL: Click to View

URL: Click here to view book

URL: Full-text  ((OIS Credentials Required))

URL: lizenzpflichtig

UID:

Umfang: XI, 412 p. 91 illus., 80 illus. in color. , online resource.

Ausgabe: 1st ed. 2023.

ISBN: 9783031480164

Serie: Lecture Notes in Networks and Systems, 829

Inhalt: This book reflects the various dimensions of play. It gathers together experience with role-play, tabletop, and online games and develops and assesses tools. It also reflects the human condition in this world of games as it becomes a digital world. We are living in a World of Games where every game is a world through which we learn about the world. A World of Games is fun and engaging, but it also provides deceptive pleasures. What may seem like fun is far from harmless. And then there are the many ways of learning in the mode of play.

Anmerkung: Part I: From Building Blocks to Augmented Reality Glasses - Technologies for Gaming -- The Metaverse: Changing the Landscape of Media Education -- Application of Phygital Games at the University in the Context of Digitalization -- An EON-XR Augmented Reality Application for Motivation Stimulation and Vocabulary Training of Master's Degree Students Majoring in Civil Engineering -- Game Technologies and High-Fidelity Patient Simulation in the field of Psychology and Medicine -- Video Games in Teaching Audiovisual Translation to University Students -- Development of a Play and Program Mobile Application Based on the Gamification Methodology -- Experience of Non-linguistics Students Creating Online Games on Foreign Language Grammar -- Part II: Games in Various Educational Environments -- Using Game Practices to Identify Teams Capable of Generating Entrepreneurial Ideas -- The Phenomenon of "Social Responsibility" as a Construct of the Humanitarian Educational Ecosystem for the Training of Future Engineers: Perspectives, Forms, Approaches -- The Use of Gamification Elements for the Development of Creativity in Engineering -- Designing Tabletop Games for Individuals with Disabilities through Student Project activity -- Computer Games and Literary Education: Opportunities and Limitations -- A Gamification Conceptual Framework for Marketing Courses -- The Formative Role of "Model UN" in the Development of the Professional Personality of Diplomats -- Unlocking the Power of Gamification: Evaluating the Efficacy of Wizer.me in EFL Vocabulary Acquisition -- Assessment of the Creative Freedom of Students Trained in the Acting Technique "Demidov Études" -- The Development of Ethno-Cultural Empathy within a Multicultural Educational Environment: Peculiarities and Role-Playing Experiences -- Moot Court Competition in a Foreign Language : Developing Professional Competencies through a Business Game -- Gaming Technologies in the Formation of Legal Students' Professional Competencies: Moot Courts -- Technologies for Innovative Potential Development of University Students majoring in Engineering -- Gamification in Teaching Foreign Languages to Economics Students: A Case Study -- Visual Novels as a Means of Business Communication Skills Development for Computer Science Students -- WebQuest as a Means for Students' Soft Skills Development in Engineering Foreign Language Education -- Problem-Based Role Plays in Teaching English to Students of Humanities -- A Business Game Introduction into Foreign Language Training of Materials Science and Engineering Students -- Gamification in Foreign Language Education: Development of Lexical Skills in Teaching a Second Foreign Language at the University -- Gamified Communication as a Didactic tool for Mastering a Professionally Oriented Video Course in a Foreign Language -- The use of role-playing games to develop the skills of constructive communication of healthcare professionals -- The Use of Games in English Language Lessons as a Means of Communication.

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783031480157

Weitere Ausg.: Printed edition: ISBN 9783031480171

Weitere Ausg.: Printed edition: ISBN 9783031480188

Sprache: Englisch

DOI: 10.1007/978-3-031-48016-4

URL: https://doi.org/10.1007/978-3-031-48016-4

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Umfang: 1 online resource (1 v.) ; , cm.

ISBN: 9781784712716 (e-book)

Serie: Elgar research reviews in economics

Inhalt: Computable economics is a growing field of research which has been given much attention by scholars in recent decades. In this authoritative collection, the editors successfully bring together the seminal papers of computable economics from the last sixty years and encompass the works of some of the most influential researchers in this area. Topics covered in this timely volume include the foundations of computable economics, classics of computable choice theory, computable macroeconomics and computable and social choice theory. The book is enhanced with a comprehensive introduction by the editors and will serve as an essential source of reference for students and researchers in the field.

Anmerkung: The recommended readings are available in the print version, or may be available via the link to your library's holdings. , Recommended readings (Machine generated): Aberth, Oliver (1980), Computable Analysis, McGraw-Hill International Book Company, New York. -- Aberth, Oliver (2001), Computable Calculus, Academic Press, San Diego, CA. -- Abraham, Ralph (1985), Is There Chaos Without Noise, in Chaos, Fractals, and Dynamics edited by P. Fischer and William R. Smith, chapter 7, pp. 117-121, Marcel Dekker, Inc., New York and Basel. -- Amman, Hans M., David A. Kendrick and John Rust (1996; Editors), Handbook of Computational Economics, Vol. 1, North-Holland, Amsterdam. -- Arrow, Kenneth J. (1986), Rationality of Self and Others in an Economic System, Journal of Business, Vol. 59 (Pt. 2), October, pp. S385-S398. -- Arrow, Kenneth J. and Gerard Debreu (1954), Existence of an Equilibrium for a Competitive Economy, Econometrica, Vol. 22, pp. 265-290. -- Arrow, Kenneth J, Samuel Karlin and Herbert Scarf (1958), The Nature and Structure of Inventory Problems, Chapter 2, pp. 16-36, in: Studies in the Mathematical Theory of Inventory and Production, edited by Kenneth J. Arrow, Samuel Karlin and Herbert Scarf, Stanford University Press, Stanford, CA. -- Avigad, Jeremy (2009), The Metamathematics of Ergodic Theory, Annals of Pure and Applied Logic, Vol. 157 (2009), pp. 64-65. -- Beckett, Samuel (1931 [1965]), Proust and Three Dialogues with Georges Duthuit, John Calder Publishers, London. -- Beinhocker, Eric D. (2006), The Origin of Wealth: The Radical Remaking of Economics and What It Means for Business and Society, Harvard Business School Press, Boston, MA. -- Berlekamp, Elwyn R., John H. Conway and Richard K. Guy (1982), Winning Ways for your Mathematical Plays - Volume 2: Games in Particular, Academic Press, London. -- Bishop, Errett A. (1967), Foundations of Constructive Analysis, McGraw-Hill Book Company, New York. -- Bishop, Errett A. (1985), Schizophrenia in Contemporary Mathematics, in: Errett Bishop: Reflections on Him and His Research, edited by Murray Rosenblatt, Contemporary Mathematics, Volume 39, American Mathematical Society, Providence, RI. -- Blum, Lenore, Felipe Cucker, Michael Shub and Steve Smale (1998), Complexity and Real Computation, Springer Verlag, New York. -- Brainard, William C. and Herbert E. Scarf (2005), How to Compute Equilibrium Prices in 1891, in: Celebrating Irving Fisher - The Legacy of a Great Economist, edited by Robert W. Dimand and John Geanakoplos, Blackwell Publishing Ltd., Oxford. -- Bridges, Douglas and Fred Richman (1987), Varieties of Constructive Mathematics, Cambridge University Press, Cambridge. -- Brouwer, Luitzen E.J. (1907 [1975]), Over de grondslagen der wiskunde [On the Foundations of Mathematics], Academic Thesis, pp. 11-104, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. -- Brouwer, Lutizen E.J. (1908A; 1975), Over de grondslagen der wiskunde, [On the Foundations of Mathematics], pp. 105-6, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. -- Brouwer, Lutizen E.J. (1908B; 1975), De onbetrouwbaarheid der logische principes [The unreliability of the logical principles], pp. 197-211, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. , Brouwer, Luitzen. E.J. (1910), Über eineindeutige, stetige Transformationen von Flächen in sich, Mathematische Annalen, Vol. 69, pp. 176-180. -- Brouwer, Luitzen E.J. (1952), An Intuitionist Correction of the Fixed-Point Theorem on the Sphere, Proceedings of the Royal Society London, Vol. 213 (5 June), pp. 1-2. -- Burks, Arthur W. (1970; Editor), Essays on Cellular Automata, University of Illinois Press, Urbana. -- Camerer, Colin F., George Loewenstein and Matthew Rabin (eds) (2004), Advances in Behavioral Economics, Princeton University Press, Princeton, New Jersey. -- Cheng, Harrison H.C. (1991), Asset Market Equilibrium in Infinite Dimensional Complete Markets, Journal of Mathematical Economics, Vol. 20(1), pp. 137-152. -- Clower, Robert W. and Peter W. Howitt (1978), The Transaction Theory of the Demand for Money: A Reconsideration, Journal of Political Economy, Vol. 86(3), June, pp. 449-466. -- Cohen, Daniel I.A. (1991), The Superfluous Paradigm, in: The Mathematical Revolution Inspired by Computing edited by J.H. Johnson and M.J. Loomes, Oxford University Press, Oxford, pp. 323-329. -- Cooley, Thomas F. and Edward C. Prescott (1995), Economic Growth and Business Cycles, in: Frontiers of Business Cycle Research, edited by Thomas F. Cooley, Princeton University Press, Princeton, NJ. -- Cooper, S. Barry (2004), Computability Theory, Chapman and Hall/CRC, Boca Raton, Florida. -- Cornwall, Richard R. (1984), Introduction to the Use of General Equilibrium Analysis, North-Holland, Amsterdam. -- Davis, Martin (1978), What is a Computation?, in: Mathematics Today: Twelve Informal Essays, edited by Lynn Arthur Steen, Springer-Verlag, New York, pp. 241-267. -- Debreu, Gerard (1982), Existence of Competitive Equilibrium, in: Handbook of Mathematical Economics, Volume II, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 697-743. -- Delli Gatti, Domenico, Edoardo Gaffeo, Mauro Gallegati, Gianfranco Giulioni and Antonio Palestrini (2008), Emergent Macroeconomics - An Agent-Based Approach to Business Fluctuations, Springer-Verlag Italia, Milan. -- Denning, Peter J. (2010), The Great Principles of Computing, American Scientist, Vol. 98(5), September-October, pp. 369-372. -- Dervis, Kemal, Jaime de Melo and Sherman Robinson (1982), General Equilibrium Models for Development Policy, Cambridge University Press, Cambridge. -- Dixon, Peter B. and B.R. Parmenter (1996), Computable General Equilibrium Modelling for Policy Analysis and Forecasting, in: Handbook of Computational Economics, Volume 1, edited by Hans M. Amman, David A. Kendrick and John Rust, North-Holland, Amsterdam, pp. 3-85. -- Dummett, Michael (1977), Elements of Intuitionism, Clarendon Press, Oxford. -- Edwards, Ward (1954), The Theory of Decision Making, Psychological Bulletin, Vol. 51(4), pp. 380-417. -- Edwards, Ward (1961), Behavioural Decision Theory, Annual Review of Psychology, Vol. 12, pp. 473-498. , Edwards, Ward, Harold Lindman and Leonard J. Savage (1963), Bayesian Statistical Inference for Psychological Research, Psychological Research, Vol. 70(3), May, pp. 193-242. -- Euwe, Max (1929), Mengentheoretische Betrachtungen über das Schachspiel, Communicated by Prof. R. Weizenböck (May, 25, 1929), Proc. Koninklijke Nederlandse Akademie Van Wetenschappen, (Amsterdam) 32(5), pp. 633-642. -- Feferman, Solomon (2009), Gödel, Nagel, Minds, and Machines, The Journal of Philosophy, Vol. 106(4), pp. 201-219. -- Feynman, Richard P. (1996), Feynman Lectures on Computation, edited by Anthony J.G. Hey and Robin W. Allen, Addison-Wesley Publishing Company, Inc., Reading, MA. -- Fisher, Irving (1892; 1991), Mathematical Investigations in the Theory of Value and Prices, Augustus M. Kelley Publishers, Fairfield, NJ. -- Fermi, Enrico, John Pasta and Stanislaw Ulam (1955), Studies of Non Linear Problems, Los Alamos Preprint, LA-1940. -- Gács, Péter, John T. Tromp and Paul Vitányi (2001), Algorithmic Statistics, IEEE Transactions on Information Theory, Vol. 47(6), September, pp. 2443-2463. -- Gandy, Robin O. (1980), Church's Thesis and Principles for Mechanisms, in: The Kleene Symposium, edited by J. Barwise, H.J. Keisler and K. Kunen, North-Holland, Amsterdam. -- Gandy, Robin (1995), The Confluence of Ideas in 1936, The Universal Turing Machine - A Half-century Survey (Second Edition), edited by Rolf Herken, Springer-Verlag, Wien and New York, 1995, pp. 51-102. -- Giocoli, Nicola (2003), Fixing the Point: The Contribution of Early Game Theory to the Tool-Box of Modern Economics, Journal of Economic Methodology, Vol. 10(1), pp. 1-39. -- Gödel, Kurt (1946 [1965]), Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics, in: The Undecidable - Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, edited by Martin Davis, Raven Press, New York, pp. 84-88. -- Gödel, Kurt (1951 [1995]), Some Basic Theorems on the Foundations of Mathematics and Their Implications, in: Kurt Gödel - Collected Works, Volume III, Unpublished Essays and Lectures, edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons and Robert N. Solovay, Oxford University Press, Oxford. pp. 304-323. -- Goodstein, Reuben L. (1944), On the Restricted Ordinal Theorem, Journal of Symbolic Logic, Vol. 9(2), June, pp. 33-41. -- Goodwin, Richard M. (1947), Dynamical Coupling with Especial Reference to Markets Having Production Lags, Econometrica, Vol. 15(3), July, pp. 181-204. -- Goodwin, Richard M. (1953), Static and Dynamic Linear General Equilibrium Models, in: Input-Output Relations, edited by The Netherlands Economic Institute, H.E. Stenfort Kroese, N.V., Leiden. -- Guckenheimer, John (1996), Phase Portraits of Planar Vector Fields: Computer Proofs, Experimental Mathematics, Vol. 4(2), pp. 153-165. -- [55] Hahn, Frank Horace (1994), An Intellectual Retrospect, Banca Nazionale del Lavoro - Quarterly Review, Vol. XLVIII(190), September, pp. 245-258. -- Hayek, F.A. von (ed.) (1935), Collectivist Economic Planning - Critical Studies on the Possibilities of Socialism, Routledge & Kegan Paul, Ltd., London. , Hayek, F.A. von (1940), Socialist Calculation: The Competitive 'Solution', Economica, Vol. 7(26), May, pp. 125-149. -- Hayes, Brian (2003), A Lucid Interval, American Scientist, Vol. 91(6), November-December, pp. 484-488. -- Hilbert, David (1927 [1983]), On the Infinite, in: Philosophy of Mathematics - Selected Readings, Second Edition, edited by Paul Benacerraf and Hilary Putnam, Cambridge University Press, Cambridge, pp. 183-201. -- Humphreys, Paul (2009), Computational Economics, in: The Oxford Handbook of Philosophy of Economics, edited by Harold Kincaid and Don Ross, Oxford University Press, Oxford. -- Ishihara, Hajime (1989), On the Constructive Hahn-Banach Theorem, Bulletin of the London Mathematical Society, Vol. 21, pp. 79-81. -- Johansen, Leif (1960; 1974), A Multi-Sectoral Study of Economic Growth, Second Enlarged Edition, North-Holland Publishing Company, Amsterdam. -- Judd, Kenneth L. (2005), Solving Dynamic Stochastic Competitive General Equilibrium Models, in: Frontiers in Applied General Equilibrium Modelling: In Honour of Herbert Scarf, edited by Timothy J. Kehoe, T.N. Srinivasan and John Whalley, Cambridge University Press, Cambridge, pp. 45-66. -- Kakutani, Shizuo (1941), A Generalization of Brouwer's Fixed Point Theorem, Duke Mathematical Journal, Vol. 8(3), pp. 457-459. -- Kehoe, Timothy J., T.N. Srinivasan and John Whalley (eds) (2005), Frontiers in Applied General Equilibrium Modelling: In Honour of Herbert Scarf, Cambridge University Press, Cambridge. -- Kelley, John L. (1955), General Topology, Springer-Verlag, New York and Heidelberg. -- Kirby, Laurie and Jeff Paris (1982), Accessible Independence Results for Peano Arithmetic, Bulletin of the London Mathematical Society, Vol. 14, pp. 285-293. -- Knaster, Bronislaw, Kazimerz Kuratowski and Stefan Mazurkiewicz (1929), Ein Beweis des Fixpunktsatzes für n-dimensionale Simplexe, Fundamenta Mathematicae, Vol. 14, 132-137. -- [70] Kleene, Stephen Cole (1952), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam. -- Knuth, Donald E. (1973), The Art of Computer Programming: Volume 1 / Fundamental Algorithms, Second Edition, Addison-Wesley Publishing Company, Reading, MA. -- Knuth, Donald E. (1981), Algorithms in Modern Mathematics and Computer Science, in: Algorithms in Modern Mathematics and Computer Science, edited by A.P. Ershov and Donald E. Knuth, pp. 82-99, Springer-Verlag, Berlin. -- Kreisel, Georg (1974), A Notion of Mechanistic Theory, Synthese, Vol. 29, pp. 11-26. -- Kreisel, Georg (1982), Review of 'A Computable Ordinary Differential Equation which Posseses no Computable Solution; the Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable', The Journal of Symbolic Logic, Vol. 47(4), December, pp. 900-902. -- Krugman, Paul (1996), The Self-Organizing Economy, Blackwell Publishers, Oxford. -- Kydland, Finn E. and Edward C. Prescott (1996), The Computational Experiment: An Econometric Tool, The Journal of Economic Perspectives, Vol. 10(1), Winter, pp. 69-85. , Lange, Oskar (1967), The Computer and the Market, in: Socialism, Capitalism & Economic Growth - Essays presented to Maurice Dobb, edited by C.H. Feinstein, Cambridge University Press, Cambridge, pp. 158-161. -- Lange, Oskar (1970), Introduction to Economic Cybernetics, Pergamon Press, London. -- Langley, Pat, Herbert A. Simon, Gary L. Bradshaw and Jan M. Zytkow (1987), Scientific Discovery: Computational Explorations of the Creative Process, The MIT Press, Cambridge, MA. -- Lawvere, F. William and Stephen H. Schanuel (1997), Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge. -- Lewis, Alain A. (1986), Structure and Complexity: The Use of Recursion Theory in the Foundations of Neoclassical Mathematical Economics and Game Theory, Manuscript/Monograph, Department of Mathematics, Cornell University, Ithaca, NY. -- Lewis, Alain A. (1991), Some Aspects of Effectively Constructive Mathematics that are Relevant to the Foundations of Neoclassical Mathematical Economics and the Theory of Games, Unpublished Manuscript, Department of Philosophy and the School of Social Sciences, University of California at Irvine, Irvine, CA. -- Ljungqvist, Lars and Thomas J. Sargent (2000), Recursive Macroeconomic Theory, The MIT Press, Cambridge, MA. -- [84] Maietti, Maria Emilia and Giovanni Sambin (2005), Toward a Minimalist Foundation for Constructive Mathematics, in: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Clarendon Press, Oxford, pp. 91-114. -- Markov, A.A. (1954 [1961]), Theory of Algorithms, Academy of Sciences of the USSR, Moscow and Leningrad, translated by Jacques J. Schorr-Kon and PST Staff and published for The National Science Foundation, Washington, D.C., and The Department of Commerce, USA, by The Israel Program for Scientific Translations, Jerusalem. -- Matiyasevich, Yuri M. (1993), Hilbert's Tenth Problem, The MIT Press, Cambridge, MA. -- McCulloch, Warren S. (1961 [1965]), What is a Number, that a Man May Know It, and a Man, that He May Know a Number?, the Ninth Alfred Korzybski Memorial Lecture, reprinted in: Embodiments of Mind, by Warren S. McCulloch, The M.I.T Press, Cambridge, MA, pp. 1-18. -- Mercenier, Jean and T.N. Srinivasan (eds) (1994), Applied General Equilibrium and Economic Development, The University of Michigan Press, Ann Arbor, MI. -- Moore, Ramon E. (1966), Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ. -- Moschovakis, Yiannis N. (1998), On Founding the Theory of Algorithms, in: Truth in Mathematics, edited by H.G. Dales and G. Oliveri, Clarendon Press, Oxford, pp. 71-104. -- Moschovakis, Yiannis N. (2001), What is an Algorithm?, in: Mathematics Unlimited - 2001 and Beyond, Springer-Verlag, Berlin and Heidelberg, pp. 919-936. -- Moschoavakis, Yiannis N. and Vasilis Paschalis (2008), Elementary Algorithms and Their Implementations, in: New Computational Paradigms: Changing Conceptions of What is Computable, edited by S. Barry Cooper, Benedikt Löwe and Andrea Sorbi, Springer Science + Business Media LLC, New York, pp. 87-118. -- Mycielski, Jan (1964), On the Axiom of Determinateness, Fundamenta Mathematicae, Vol. 53, pp. 205-224. -- Narici, Lawrence and Edward Beckenstein (1997), The Hahn-Banach Theorem, Topology and its Applications, Vol. 77, pp. 193-211. -- Negishi, Takashi (1960), Welfare Economics and Existence of Equilibrium for a Competitive Economy, Metroeconomics, Vol. XII, pp. 92-97. , Negishi, Takashi (1961), Monopolistic Competition and General Equilibrium, Review of Economic Studies, Vol. 28(3), June, pp. 196-201. -- Negishi, Takashi (1994), General Equilibrium Theory - The Collected Essays of Takashi Negishi, Volume 1, Edward Elgar, Aldershot, Hampshire. -- Negishi, Takashi (2008), Unnoticed Predecessors of the Early Negishi Theorems, International Journal of Economic Theory, Vol. 4(2), June, pp. 167-173. -- Nerode, Anil, George Metakides and Robert Constable, (1985), Recursive Limits on the Hahn-Banach Theorem, in: Errett Bishop - Reflections on Him and His Research, pp. 85-91, edited by Murray Rosenblatt, Contemporary Mathematics, Vol. 39, American Mathematical Society, Providence, Rhode Island. -- Newell, Allen and Herbert A. Simon (1972), Human Problem Solving, Prentice-Hall Inc., Englewood Cliffs, NJ. -- Ok, Efe A. (2007), Real Analysis with Economic Applications, Princeton University Press, Princeton, NJ. -- Osborne, Maury (1977), The Stock Market and Finance from a Physicist's Viewpoint, Crossgar Press, Minneapolis. -- Osborne, Martin J. and Ariel Rubinstein (1994), A Course in Game Theory, The MIT Press, Cambridge, MA. -- Pareto, Vilfredo [1927 (1971)], Manual of Political Economy, translated from the French Edition of 1927 by Ann S. Schwier and edited by Ann S. Schwier and Alfred N. Page, Macmillan, London. -- Paris, Jeff and Reza Tavakol (1993), Goodstein Algorithm as a Super-Transient Dynamical System, Physics Letters A, Vol. 180(1-2), pp. 83-86. -- Park, Sehie (2000), The Knaster-Kuratowski-Mazurkiewicz Theorem and Almost Fixed Points, Topological Methods in Nonlinear Analysis, Vol. 16, pp. 195-200. -- Penrose, Roger (1989) The Emperor's New Mind: Concerning Computers, Mind, and the Laws of Physics, Oxford: Oxford University Press. -- Péter, Rózsa (1967), Recursive Functions (Third Revised Edition), translated from the German by István Földes, Academic Press, New York. -- Polanyi, Michael (1966), The Tacit Dimension, Doubleday, New York. -- Pour-El, Marian Boykan and Ian Richards (1979), A Computable Ordinary Differential Equation which Possesses no Computable Solution, Annals of Mathematical Logic, Vol. 17, pp. 61-90. -- Rabin, Michael O. (1957), Effective Computability of Winning Strategies, in: Annals of Mathematics Studies, No. 39: Contributions to the Theory of Games, Vol. III, edited by M. Dresher, A.W. Tucker and P. Wolfe, Princeton University Press, Princeton, NJ, pp. 147-157. -- [112] Ramsey, Frank Plumpton (1930), On a Problem in Formal Logic, Proceedings of the London Mathematical Society, Vol. 30(1), pp. 264-286. -- Richman, Fred (1990), Intuitionism as Generalization, Philosophia Mathematica, Vol. 14, pp. 124-128. -- Rosser, J. Barkley (1978), Logic for Mathematicians (Second Edition), Chelsea Publishing Company, New York. , Russell, Bertrand (1919), Introduction to Mathematical Philosophy, George Allen and Unwin, London. -- Samuelson, Paul Anthony (1947), Foundations of Economic Analysis, Harvard University Press, Cambridge, MA. -- Samuelson, Paul Anthony (1971), Maximum Principles in Analytical Economics, in: Les Prix Nobel en 1970, The Nobel Foundation, Stockholm, pp. 273-288. -- Scarf, Herbert E. (1967), On the Computation of Equilibrium Prices, in: Ten Economic Studies in the Tradition of Irving Fisher, John Wiley & Sons, New York. -- Scarf, Herbert E. (1973), The Computation of Economic Equilibria, Yale University Press, New Haven and London. -- Scarf, Herbert E. (1982), The Computation of Equilibrium Prices: An Exposition, in: Handbook of Mathematical Economics, Volume II, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 1007-1061. -- Scarf, Herbert E. and John B. Shoven (eds) (1984), Applied General Equilibrium Analysis, Cambridge University Press, Cambridge. -- Schechter, Eric (1997), Handbook of Analysis and Its Foundations, Academic Press, London. -- Serény, György (2011), How do we Know that the Gödel Sentence of a Consistent Theory is True, Philosophia Mathematica, Vol. 19, p. 48. -- Shafer, Glenn and Vladimir Vovk (2001), Probability and Finance: It's Only a Game, John Wiley and Sons, New York. -- Shepherdson, John C. and H.E. Sturgis (1963), Computability of Recursive Functions, Journal of the Association of Computing Machinery, Vol. 10(2), April, pp. 217-255. -- Shoven, John B. and John Whalley (1992), Applying General Equilibrium, Cambridge University Press, Cambridge. -- Sieg, Wilfried (1997), Step by Recursive Step: Church's Analysis of Effective Calculability, Journal of Symbolic Logic, Vol. 3(2), June, pp. 154-180. -- Simon, Herbert A. (1947), Administrative Behavior, The Free Press, New York. -- Simon, Herbert A. (1952), The Architecture of Complexity, Proceedings of the American Philosophical Society, Vol. 106(6), Dec 12, pp. 467-482. -- Simon, Herbert A. (1955), A Behavioural Model of Rational Choice, Quarterly Journal of Economics, Vol. 69(1), February, pp. 99-118. -- Simon, Herbert A. (1956), Rational Choice and the Structure of the Environment, Psychological Review, Vol. 63, pp. 129-138. -- Simon, Herbert A. (1977), Models of Discovery - and Other Topics in the Methods of Science, D. Reidel Publishing Company, Dordrecht. -- Simon, Herbert A. (1979), Models of Thought: Volume I, Yale University Press, New Haven. , Simon, Herbert A. (1983), Reason in Human Affairs, Basil Blackwell, Oxford. -- Simon, Herbert A. (1986), Rationality in Psychology and Economics, The Journal of Business, Vol. 59(4, Pt. 2), October, pp. S209-S224. -- Simon, Herbert A. (1989), Models of Thought: Volume II, Yale University Press, New Haven. -- Simon, Herbert A. (1996), Machine as Mind, in: Machines and Thought - The Legacy of Alan Turing, Volume 1, edited by Peter Macmillan and Andy Clark, Oxford University Press, Oxford, pp. 81-101. -- Simon, Herbert A. (1997), Satisficing, in: Models of Bounded Rationality, Vol. 3 - Empirically Grounded Economic Reason, The MIT Press, Cambridge, MA, pp. 295-298. -- Simon, Herbert A. (2000), Letter to Velupillai, 25 May. -- Simon, Herbert A., Allen Newell and J.C. Shaw (1958), Elements of a Theory of Problem Solving, Psychological Review, Vol. 65(3), 151-166. -- Slater, Morton (1950), Lagrange Multipliers Revisited, Cowles Commission Discussion Paper, Mathematics 403, 7 November. -- Smale, Steve (1976), Dynamics in General Equilibrium Theory, American Economic Review, Vol. 66(2), May, pp. 288-294. -- Smale, Steve (1981), Global Analysis and Economics, in: Handbook of Mathematical Economics, Vol. 1, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 331-370. -- Smale, Steve (1998), Mathematical Problems for the Next Century, The Mathematical Intelligencer, Vol. 20(2), Spring, pp. 7-15. -- Specker, Ernst (1949), Nicht Konstruktive beweisbare Sätze der Analysis, Journal of Symbolic Logic, Vol. 14, pp. 145-158. -- Starr, Ross M. (1977), General Equilibrium Theory: An Introduction, Cambridge University Press, Cambridge. -- Steinhaus, H. (1965), Games, An Informal Talk, The American Mathematical Monthly, Vol. 72(5), May, pp. 457-468. -- Stein, P.R. and Stanislaw M. Ulam (1964), Nonlinear Transformation Studies, Rozprawy Matematyczne, Institute of Mathematics of the Polish Academy, Warsaw, pp. 3-20. -- Stone, Richard and Alan Brown (1962), Foreword, in: A Computable Model of Economic Growth, Department of Applied Economics, University of Cambridge, Chapman and Hall; A Programme for Growth 1, July. -- Strotz, R.H., J.F. Calvert and N.F. Morehouse (1951), Analogue Computing Techniques Applied to Economics, AIEE Transactions, Vol. 70(1), pp. 557-563. -- Strotz, R.H., J.C. McAnulty and J.B. Naines, Jr. (1953), Goodwin's Non-linear Theory of the Business Cycle: An Electro-Analog Solution, Econometrica, Vol. 21(3), July, pp. 390-411. -- Takeuti, Gaisi (2003), Memoirs of a Proof Theorist: Gödel and other Logicians, translated by Mariko Yasugi and Nicholas Passell, World Scientific, New Jersey and Singapore. , Tesfatsion, Leigh and Kenneth L. Judd (eds) (2006), Handbook of Computational Economics - Agent-Based Computational Economics, Vol. 2, North-Holland, Amsterdam. -- Thaler, Richard (1980), Toward a Positive Theory of Consumer Choice, Journal of Economic Behavior and Organization, Vol. 1(1), pp. 39-60. -- Tompkins, Charles B. (1964), Sperner's Lemma and Some Extensions, in: Applied Combinatorial Mathematics edited by E.F. Beckenbach, John Wiley & Sons. Ltd., New York, pp. 416-55. -- Tsuji, Marcelo N., C.A Da Costa and Francisco A. Doria (1998), The Incompleteness of Theories of Games, Journal of Philosophical Logic, Vol. 27(6), pp. 553-568. -- Turing, Alan M. (1936-7), On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, Vol. 42-43, pp. 230-65, pp. 544-546. -- Turing, Alan M. (1952), The Chemical Basis of Morphogenesis, Philosophical Transactions of he Royal Society of London, Series B, Biological Sciences, Vol. 237(641) (14 August), pp. 37-72. -- Tustin, Arnold (1953), The Mechanism of Economic Systems: An Approach to the Problem of Economic Stabilisation from the Point of View of Control-System Engineering, Harvard University Press, Cambridge, MA. -- Uzawa, Hirofumi (1962), Walras' Existence Theorem and Brouwer's Fixed Point Theorem, The Economic Studies Quarterly, Vol. 8(1), pp. 59-62. -- van Dalen, Dirk (2005), Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer - Volume 2: Hope and Disillusion, Clarendon Press, Oxford. -- van Lambalgen, Michiel (1987), Random Sequences, Doctoral Dissertation, University of Amsterdam, 16 September. -- Velupillai, Kumaraswamy (ed.) (1990), Nonlinear and Multisectoral Macrodynamic Essays in Honour of Richard Goodwin, Macmillan, Basingstoke. -- Velupillai, K. Vela (1997), Expository Notes on Computability and Complexity in (Arithmetical) Games, Journal of Economic Dynamics and Control, Vol. 21(6), pp. 955-979. -- Velupillai, Kumaraswamy (2000), Computable Economics, Oxford University Press, Oxford. -- Velupillai, K. Vela (2006), The Algorithmic Foundations of Computable General Equilibrium Theory, Applied Mathematics and Computation, Vol. 179(1), August, pp. 360-369. -- Velupillai, K. Vela (2009), Uncomputability and Undecidability in Economic Theory, Applied Mathematics and Computation, Vol. 215(4), 15 October, pp. 1404-1416. -- Velupillai, K. Vela (2009a), A Computable Economist's Perspective on Computational Complexity, in: The Handbook of Complexity Research, edited by: J. Barkley Rosser, Jr., Edward Elgar Publishing Ltd. Cheltenham, UK and Northampton, MA, USA, pp. 36-83. -- Velupillai, K. Vela (2009b), The Algorithmic Revolution in the Social Sciences: Mathematical Economics, Game Theory and Statistics, invited Lecture, presented at the Workshop on Information Theoretic Methods in Science and Engineering, Tampere, Finland, 17-19 August, published in the Proceedings of WITMSE. -- Velupillai, K. Vela (2010), Computable Foundations for Economics, Routledge, London. -- Velupillai, K. Vela (2010), Foundations of Boundedly Rational Choice and Satisfying Decision, Advances in Decision Sciences, April. , Velupillai, K. Vela (2011), Towards an Algorithmic Revolution in Economic Theory, Journal of Economic Surveys, Vol. 25(3), July, pp. 401-430. -- [172]Velupillai, K. Vela (2012), Reflections on Mathematical Economics in the Algorithmic Mode, New Mathematics and Natural Computation, Vol. 6, March (forthcoming). -- [173]Velupillai, K. Vela and Ying Fang Kao (2011), Models of Simon, Routledge, London (forthcoming). -- von Neumann, John (1928), Zur Theorie der Gesellsschaftsspiele by J. von Neumann, Mathematische Annalen, Vol. 100, pp. 295-320. -- von Neumann, John (1937 [1945-6]), A Model of General Economic Equilibrium, The Review of Economic Studies, Vol. 13(1), pp. 1-9. -- von Neumann, John (1966), Theory of Self-Reproducing Automata, edited and completed by Arthur W. Burks, University of Illinois Press, Urbana. -- von Neumann, John and Oskar Morgenstern (1953), Theory of Games and Economic Behavior (Third Edition), Princeton University Press, Princeton, NJ. -- Weissert, Thomas P. (1997), The Genesis of Simulation in Dynamics: Pursuing the Fermi-Pasta-Ulam Problem, Springer-Verlag, New York, NY. -- Wittgenstein, Ludwig (1939 [1975]), Wittgenstein's Lectures on the Foundations of Mathematics - Cambridge, 1939, From the Notes of R.G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smuthies, edited by Cora Diamond, The University of Chicago Press, Chicago. -- Wolfram, Stephen (1985), Undecidability and Intractability in Theoretical Physics, Physical Review Letters, Vol. 54(8), 25 February, pp. 735-738. -- Young, Warren (2008), Negishi's Contributions to the Development of Economic Analysis: Research Programs and Outcomes, International Journal of Economic Theory, Vol. 4(2), June, pp. 151-165. -- Zambelli, Stefano (2010), Flexible Accelerator Economic Systems as Coupled Oscillators, Journal of Economic Surveys, Vol. XXV(3), pp. 608-633. -- Zermelo, Ernst (1913), Über ein Anwendung der Mengenlehre auf die Theorie des Schachspiels, in: Proceedings of the Fifth International Congress of Mathematicians, Cambridge, 11-28 August 1912, edited by E.W. Hobson and A.E.H. Love, Vol. 2, Cambridge University Press, Cambridge, pp. 501-504. -- Stephen C. Kleene (1981), 'Origins of Recursive Function Theory', Annals of the History of Computing, 3 (1), January, 52-67 -- A.M. Turing (1954), 'Solvable and Unsolvable Problems', Science News, 31, 7-23 -- L.E.J. Brouwer (1952), 'An Intuitionist Correction of the Fixed-Point Theorem on the Sphere', Proceedings of the Royal Society of London, Series A, 213 (1112), June, 1-2 -- Allen Newell, J.C. Shaw and Herbert A. Simon (1958), 'Elements of a Theory of Human Problem Solving', Psychological Review, 65 (3), 151-66 -- Ronald Harrop (1961), 'On The Recursivity of Finite Sets', Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 7 (2), 136-40 -- H. Steinhaus (1965), 'Games, An Informal Talk', American Mathematical Monthly, 72 (5), May, 457-68 , Hilary Putnam ([1967] 1975), 'The Mental Life of Some Machines', in H. Castaneda (ed.), Intentionality, Minds and Perception, reprinted in Hilary Putnam (ed.), Mind, Language and Reality: Philosophical Papers, Volume 2, Chapter 20, Cambridge, UK; Cambridge University Press, 408-28, references -- Douglas S. Bridges (1999), 'Constructive Methods in Mathematical Economics', Journal of Economics, Supplement 8, 1-21 -- Douglas S. Bridges (1982), 'Preference and Utility: A Constructive Development', Journal of Mathematical Economics, 9, 165-85 -- Alain A. Lewis (1985), 'On Effectively Computable Realizations of Choice Functions', Mathematical Social Sciences, 10 (1), August, 43-80 -- Alain A. Lewis (1985), 'The Minimum Degree of Recursively Representable Choice Functions', Mathematical Social Sciences, 10 (2), October, 179-88 -- Berc Rustem and Kumaraswamy Velupillai (1990), 'Rationality, Computability, and Complexity', Journal of Economic Dynamics and Control, 14 (2), May, 419-32 -- Gregory Lilly (1993), 'Recursiveness and Preference Orderings', Journal of Economic Dynamics and Control, 17 (5-6), September-November, 865-76 -- Michael O. Rabin (1957), 'Effective Computability of Winning Strategies', Annals of Mathematics Studies, 39, 147-57 -- Luca Anderlini (1990), 'Some Notes on Church's Thesis and the Theory of Games', Theory and Decision, 29 (1), 19-52 -- Kislaya Prasad (1991), 'Computability and Randomness of Nash Equilibrium in Infinite Games', Journal of Mathematical Economics, 20 (5), 429-42 -- David Canning (1992), 'Rationality, Computability, and Nash Equilibrium', Econometrica, 60 (4), July, 877-88 -- Kislaya Prasad (1997), 'On the Computability of Nash Equilibria', Journal of Economic Dynamics and Control, 21 (6), June, 943-53 -- K. (Vela) Velupillai (1997), 'Expository Notes on Computability and Complexity in (Arithmetical) Games', Journal of Economic Dynamics and Control, 21 (6), June, 955-79 -- Marcelo Tsuji, Newton C.A. Da Costa and Francisco A. Doria (1998), 'The Incompleteness of Theories of Games', Journal of Philosophical Logic, 27 (6), December, 553-68 -- Rolf Ricardo Mantel (1968), 'Toward a Constructive Proof of the Existence of Equilibrium in a Competitive Economy', Yale Economic Essays, 8 (1), Spring, 155-96 -- Hirofumi Uzawa (1962), 'Walras' Existence Theorem and Brouwer's Fixed-Point Theorem', Economic Studies Quarterly, 8 (1), 59-62 -- Herbert E. Scarf (1984), 'The Computation of Equilibrium Prices', in Herbert E. Scarf and John B. Shoven (eds), Applied General Equilibrium Analysis, Chapter 1, Cambridge, UK: Cambridge University Press, 1-49 -- K. Vela Velupillai (2006), 'Algorithmic Foundations of Computable General Equilibrium Theory', Applied Mathematics and Computation, 179 (1), 360-69 -- Yasuhito Tanaka (2008), 'Undecidability of Uzawa Equivalence Theorem and LLPO (Lesser Limited Principle of Omniscience)', Applied Mathematics and Computation, 201 (1-2), July, 378-83 , Stephen E. Spear (1989), 'Learning Rational Expectations Under Computability Constraints', Econometrica, 57 (4), July, 889-910 -- Francesco Luna (1997), 'Learning in a Computable Setting. Applications of Gold's Inductive Inference Model', in Hans Amman, Berc Rustem and Andrew Whinston (eds), Computational Approaches to Economic Problems, Dordrecht, The Netherlands: Kluwer Academic Publishers, 271-88 -- Stefano Zambelli (2004), 'Production of Ideas by Means of Ideas: A Turing Machine Metaphor', Metroeconomica, 55 (2&3), 155-79 -- K. Vela Velupillai (2007), 'The Impossibility of an Effective Theory of Policy in a Complex Economy', in Massimo Salzano and David Colander (eds), Complexity Hints for Economic Policy, Berlin, Germany and New York, NY: Springer-Verlag, 273-90 -- Alain A. Lewis (1991), 'On the Effective Content of Asymptotic Verifications of Edgeworth's Conjecture', Mathematical Social Sciences, 22 (3), December, 275-324 -- Marcel K. Richter and Kam-Chau Wong (1999), 'Non-Computability of Competitive Equilibrium', Economic Theory, 14 (1), July, 1-27 -- K. Vela Velupillai (2009), 'Uncomputability and Undecidability in Economic Theory', Applied Mathematics and Computation, 215 (4), October, 1404-16 -- Alain A. Lewis (1988), 'An Infinite Version of Arrow's Theorem in the Effective Setting', Mathematical Social Sciences, 16 (1), August, 41-8 -- Jerry S. Kelly (1988), 'Social Choice and Computational Complexity', Journal of Mathematical Economics, 17 (1), 1-8 -- H. Reiju Mihara (1997), 'Arrow's Theorem and Turing Computability', Economic Theory, 10 (2), August, 257-76 -- A.R.D. Mathias (1992), 'The Ignorance of Bourbaki', Mathematical Intelligencer, 14 (3), 4-13 -- Luca Anderlini and Leonardo Felli (1994), 'Incomplete Written Contracts: Undescribable States of Nature', Quarterly Journal of Economics, 109 (4), November, 1085-124 -- K. Vela Velupillai (2005), 'The Unreasonable Ineffectiveness of Mathematics in Economics', Cambridge Journal of Economics, 29 (6), November, 849-72

Sprache: Englisch

Schlagwort(e): Electronic books. ; Electronic books ; Electronic books

URL: http://www.elgaronline.com/view/Research_Reviews/9781843762393/9781843762393.xml

URL: Volltext

URL: Deutschlandweit zugänglich

URL: Deutschlandweit zugänglich

URL: FULL  (Click to View (Currently Only Available on Campus))