Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Virtual Catalogues
Access
  • 1
    Online Resource
    Online Resource
    Ithaca, NY :Cornell University Press,
    UID:
    almahu_9949481205602882
    Format: 1 online resource (424 p.) : , 70 b&w halftones, 21 b&w line drawings, 40 maps, 2 charts, 28 color plates
    ISBN: 9781501759215 , 9783110751826
    Content: Spatial Revolution is the first comparative parallel study of Soviet architecture and planning to create a narrative arc across a vast geography. The narrative binds together three critical industrial-residential projects in Baku, Magnitogorsk, and Kharkiv, built during the first fifteen years of the Soviet project and followed attentively worldwide after the collapse of capitalist markets in 1929.Among the revelations provided by Christina E. Crawford is the degree to which outside experts participated in the construction of the Soviet industrial complex, while facing difficult topographies, near-impossible deadlines, and inchoate theories of socialist space-making. Crawford describes how early Soviet architecture and planning activities were kinetic and negotiated and how questions about the proper distribution of people and industry under socialism were posed and refined through the construction of brick and mortar, steel and concrete projects, living laboratories that tested alternative spatial models. As a result, Spatial Revolution answers important questions of how the first Soviet industrialization drive was a catalyst for construction of thousands of new enterprises on remote sites across the Eurasian continent, an effort that spread to far-flung sites in other socialist states-and capitalist welfare states-for decades to follow.
    Note: Frontmatter -- , CONTENTS -- , Acknowledgments -- , Glossary -- , Note on Transliteration and Translation -- , Introduction -- , Part I. Oil City: Baku, 1920-1927 -- , 1. Socialism Means Housing -- , 2. From Garden Cities to Urban Superblocks -- , 3. A Plan for the Proletariat -- , Part II. Steel City: Magnitogorsk, 1929-1932 -- , 4. The Great Debate -- , 5. Competition and Visions -- , 6. Frankfurt on the Steppe -- , Part III. Machine City: Kharkiv, 1930-1932 -- , 7. From Tractors to Territory -- , 8. Socialist Urbanization through Standardization -- , Conclusion -- , Appendix: Magnitogorsk Competition Brief -- , Notes -- , Bibliography -- , Index , Mode of access: Internet via World Wide Web. , In English.
    In: Cornell University Press Complete eBook-Package 2022, De Gruyter, 9783110751826
    In: EBOOK PACKAGE COMPLETE 2022 English, De Gruyter, 9783110993899
    In: EBOOK PACKAGE COMPLETE 2022, De Gruyter, 9783110994810
    In: EBOOK PACKAGE History 2022 English, De Gruyter, 9783110992960
    In: EBOOK PACKAGE History 2022, De Gruyter, 9783110992939
    Additional Edition: ISBN 9781501759192
    Language: English
    Subjects: History
    RVK:
    URL: Cover
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almahu_9949602151202882
    Format: 1 online resource (123 pages)
    Edition: 1st ed.
    ISBN: 9783319749501
    Series Statement: Simula SpringerBriefs on Computing Series ; v.4
    Note: Intro -- Foreword -- Preface -- Contents -- 1 Introduction -- 1.1 A New Situation -- 1.2 What Are We Afraid Of? -- 1.3 Huawei and ZTE -- 1.4 Trust in Vendors -- 1.5 Points of Attack -- 1.6 Trust in Vendors Is Different from Computer Security -- 1.7 Why the Problem Is Important -- 1.8 Advice for Readers -- References -- 2 Trust -- 2.1 Prisoner's Dilemma -- 2.2 Trust and Game Theory -- 2.3 Trust and Freedom of Choice -- 2.4 Trust, Consequence, and Situation -- 2.5 Trust and Security -- 2.6 Trusted Computing Base -- Trust Between Components -- 2.7 Discussion -- References -- 3 What Is an ICT System? -- 3.1 Transistors and Integrated Circuits -- 3.2 Memory and Communication -- 3.3 Processors and Instruction Sets -- 3.4 Firmware -- 3.5 Operating Systems, Device Drivers, Hardware Adaptation Layers, and Hypervisors -- 3.6 Bytecode Interpreters -- 3.7 The Application on Top -- 3.8 Infrastructures and Distributed Systems -- 3.9 Discussion -- References -- 4 Development of ICT Systems -- 4.1 Software Development -- 4.2 Hardware Development -- 4.3 Security Updates and Maintenance -- 4.4 Discussion -- References -- 5 Theoretical Foundation -- 5.1 Gödel and the Liar's Paradox -- 5.2 Turing and the Halting Problem -- 5.3 Decidability of Malicious Behaviour -- 5.4 Is There Still Hope? -- 5.5 Where Does This Lead Us? -- References -- 6 Reverse Engineering of Code -- 6.1 Application of Reverse Engineering in ICT -- 6.2 Static Code Analysis -- 6.3 Disassemblers -- 6.4 Decompilers -- 6.5 Debuggers -- 6.6 Anti-reversing -- 6.7 Hardware -- 6.8 Discussion -- References -- 7 Static Detection of Malware -- 7.1 Malware Classes -- 7.2 Signatures and Static Code Analysis -- 7.3 Encrypted and Oligomorphic Malware -- 7.4 Obfuscation Techniques -- 7.5 Polymorphic and Metamorphic Malware -- 7.6 Heuristic Approaches -- 7.7 Malicious Hardware. , 7.8 Specification-Based Techniques -- 7.9 Discussion -- References -- 8 Dynamic Detection Methods -- 8.1 Dynamic Properties -- 8.2 Unrestricted Execution -- 8.3 Emulator-Based Analysis -- 8.4 Virtual Machines -- 8.5 Evasion Techniques -- 8.6 Analysis -- 8.7 Hardware -- 8.8 Discussion -- References -- 9 Formal Methods -- 9.1 Overview -- 9.2 Specification -- 9.3 Programming Languages -- 9.4 Hybrid Programming and Specification Languages -- 9.5 Semantic Translation -- 9.6 Logics -- 9.7 Theorem Proving and Model Checking -- 9.8 Proof-Carrying Code -- 9.9 Conclusion -- References -- 10 Software Quality and Quality Management -- 10.1 What is Software Quality Management? -- 10.2 Software Development Process -- 10.3 Software Quality Models -- 10.4 Software Quality Management -- 10.5 Software Quality Metrics -- 10.6 Standards -- 10.7 Common Criteria (ISO/IEC 15408) -- 10.8 Software Testing -- 10.9 Verification Through Formal Methods -- 10.10 Code Review -- 10.11 Discussion -- References -- 11 Containment of Untrusted Modules -- 11.1 Overview -- 11.2 Partial Failures and Fault Models -- 11.3 Erlang: A Programming Language Supporting Containment -- 11.4 Microservices: An Architecture Model Supporting Containment -- 11.5 Hardware Containment -- 11.6 Discussion -- References -- 12 Summary and Way Forward -- 12.1 Summary of Findings -- 12.2 The Way Forward -- 12.2.1 Encryption -- 12.2.2 Formal Methods -- 12.2.3 Heterogeneity and Containment -- 12.3 Concluding Remarks.
    Additional Edition: Print version: Lysne, Olav The Huawei and Snowden Questions Cham : Springer International Publishing AG,c2018 ISBN 9783319749495
    Language: English
    Subjects: Economics
    RVK:
    Keywords: Electronic books. ; Electronic books
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: OAPEN
    URL: OAPEN
    URL: OAPEN  (Creative Commons License)
    URL: Full-text  ((OIS Credentials Required))
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Cham :Springer Nature Switzerland :
    UID:
    almafu_9961535688602883
    Format: 1 online resource (143 pages)
    Edition: 1st ed. 2024.
    ISBN: 3-031-50323-6
    Content: The challenges of developing research and generating scientific knowledge in environments that involve subjective aspects related to employees, customers, managers, leaders, inspectors, auditors, among other stakeholders in the business environment, can be overwhelming for students that are new to this type of inquiry. This textbook presents an integrated view of qualitative research strategies with data collection and analysis techniques. The book explores nine distinct research strategies, namely ethnography, phenomenology, grounded theory, case study, design science research, grounded design, action research, participatory action research, and action-design research. Related to data collection, this text discusses different types of qualitative interviews (focus groups, ethnographic, phenomenological, etc), as well as how to handle ethical issues that may arise. In terms of analyzing data, the author describes various reading techniques, how to code the text, and how to use software to aid in the analysis. The final section of the book explains how to write up the results of qualitative research, including article structure and selecting an outlet for publication. Students will benefit from the plentiful examples and exercises that highlight the interweaving of data collection and analysis as well as concrete guidelines on engaging in qualitative research. At a time in which qualitative research is becoming more rigorous to meet the demands of the field, this textbook will prove a valuable resource for the next generation of business researchers. The English translation of this book from its Portuguese original manuscript was done with the help of artificial intelligence (machine translation by the service provider DeepL.com). A subsequent human revision of the content was done by the author.
    Note: Part I- Introduction to Qualitative Research Approach -- 1. Overview of Qualitative Research -- Part II- Qualitative Research Strategies -- 2. Research Strategies According to the Constructivist Paradigm -- 3.Research Strategies According to the Pragmatic Paradigm -- 4. Research Strategies According to the Transformative Paradigm -- Part III- Qualitative Data Collection -- 5. Techniques for Data Collection -- 6. Dealing with People During the Research Process -- Part IV- Techniques for Qualitative Data Analysis -- 7. Content Analysis Technique -- 8. Software-Technique in Support of Qualitative Analyses -- Part V- Writing and Publishing Qualitative Research Findings -- 9.Communicating the Findings of Qualitative Research -- 10. Planning the Publication of Qualitative Research. .
    Additional Edition: ISBN 3-031-50322-8
    Additional Edition: ISBN 3-031-50325-2
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almahu_9949772744402882
    Format: XIX, 127 p. 76 illus. , online resource.
    Edition: 1st ed. 2024.
    ISBN: 9783662691533
    Content: In project-oriented companies, Project Management Offices (PMO) play an important, sometimes central role in aligning and efficiently directing the company's project management activities. These result in organization-specific structures with varied tasks, functions and organizational frameworks. The project management profession is subject to changes and new developments, such as agil, sustainability or new and evolving roles, which present challenges for present and future PMO. This book aims to provide a concise overview of the opportunities offered by PMO and the various implementation approaches. The fourth edition has been expanded to include information on integrating AI technologies and project governance structures, along with two additional case studies on PMO implementation. The content includes: Classification options Tasks and responsibilities Introduction to PMO Case studies The Authors Prof. (FH) Mag. Dr. Gerhard Ortner, zPM, has been a full-time lecturer and head of the project management department at UAS BFI Vienna for 20 years. He focuses his research on managing project-oriented companies and contributes to the development of project management standards as a member of the ISO Technical Committee 258. His recent work revolves around project governance roles as key success factors. Mag. (FH) Betina Stur, a graduate of the "Project Management and Information Technology" diploma program, has over 15 years of experience in the Project Management Office at UAS BFI Vienna. Located within the Quality Management and Academic Development department, she initially focused on process management. She prioritizes supporting project managers and providing services to project sponsors. Additionally, she serves as the formal lead in internal projects. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content. 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.
    Note: Forewords -- Introduction -- The Project Management Office (PMO) -- Categorisation options for PMOs -- Correct positioning of the PMO -- Tasks and responsibilities of the PMO -- Finding the area of responsibility, introducing and anchoring the PMO -- Success factors and acceptance -- Case studies -- Index.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662691526
    Additional Edition: Printed edition: ISBN 9783662691540
    Additional Edition: Printed edition: ISBN 9783662691557
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Cheltenham, Glos, UK ; : Edward Elgar,
    UID:
    almahu_9947914826002882
    Format: 1 online resource (xix, 724 p.) ; , cm.
    ISBN: 9781785362897 (e-book)
    Series Statement: The international library of entrepreneurship ; 14
    Content: This comprehensive volume integrates pathbreaking and seminal scholarship from two interrelated fields - innovation and entrepreneurship - with the chapters providing a compelling link between the two. The editors seek to introduce and contextualize some of the most important research. Topics covered include: history of thought, innovation and growth, the innovation process, role models of the entrepreneur, knowledge flows and institutions.
    Note: 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): Alfred Marshall ([1890] 1925), 'Industrial Organization, Continued. The Concentration of Specialized Industries in Particular Locations', in Principles of Economics, Book IV, Chapter X, London: Macmillan, 267-77 -- Jean-Baptiste Say ([1821/1845] 1836), 'Of Operations Alike Common to All Branches of Industry', in A Treatise on Political Economy, Chapter VI, 4th Edition, Philadelphia, PA: Grigg and Elliott [translated by C.R. Prinsep], 79-85 -- William J. Baumol (1968), 'Entrepreneurship in Economic Theory', American Economic Review, Papers and Proceedings, LVIII (2), May, 64-71 -- Joseph A. Schumpeter (1934), 'The Fundamental Phenomenon of Economic Development', in The Theory of Economic Development: An Inquiry into Profits, Capital, Credit, Interest, and the Business Cycle, Chapter II, Section III, Cambridge, MA: Harvard University Press, 74-94 -- Frank H. Knight (1921), 'Enterprise and Profit', in Risk, Uncertainty and Profit, Chapter IX, New York, NY: Houghton Mifflin, 264-90 -- Kenneth J. Arrow (1962), 'Economic Welfare and the Allocation of Resources for Invention', in R.R. Nelson (ed.), The Rate and Direction of Inventive Activity, Princeton University Press: Princeton, NY, 609-26 -- Joseph A. Schumpeter ([1942] 1947), 'The Process of Creative Destruction', in Capitalism, Socialism and Democracy, Part II Can Capitalism Survive?, Chapter VII, New York, NY: Harper and Brothers Publishers, 81-6 -- Paul M. Romer (1986), 'Increasing Returns and Long-Run Growth', Journal of Political Economy, 94 (5), 1002-37 -- Philippe Aghion, Christopher Harris, Peter Howitt and John Vickers (2001), 'Competition, Imitation and Growth with Step-by-Step Innovation', Review of Economic Studies, 68, 467-92 -- Philippe Aghion, Richard Blundell, Rachel Griffith, Peter Howitt and Susanne Prantl (2004), 'Entry and Productivity Growth: Evidence from Microlevel Panel Data', Journal of the European Economic Association, 2 (2-3), April-May, 265-76 -- Richard R. Nelson and Sidney G. Winter (1982), 'The Schumpeterian Tradeoff Revisited', American Economic Review, 72 (1), March, 114-32 -- Steven Klepper (1996), 'Entry, Exit, Growth, and Innovation over the Product Life Cycle', American Economic Review, 86, 562-83 -- Eric von Hippel (2005), 'Why Many Users Want Custom Products', in Democratizing Innovation, Chapter 3, Cambridge, MA: MIT Press, 33-43, notes and references -- Gilles Duranton and Diego Puga (2001), 'Nursery Cities: Urban Diversity, Process Innovation, and the Life Cycle of Products', American Economic Review, 91 (5), December, 1454-77 -- Bengt-Åke Lundvall (1992), 'Introduction', in Bengt-Åke Lundvall (ed) (ed.), National Systems of Innovation: Towards a Theory of Innovation and Interactive Learning, Chapter 1, London and New York: Pinter, 1-19, references -- Michael E. Porter (1998), 'Clusters and the New Economics of Competition', Harvard Business Review, 76 (6), 77-90 -- Israel M. Kirzner (1973), 'The Entrepreneur', in Competition and Entrepreneurship, Chapter 2, Subsections 1 to 5, Chicago, IL: University of Chicago Press, 30-52 -- William J. Baumol (2002), 'Entrepreneurship, Innovation and Growth: The David-Goliath Symbiosis', Journal of Entrepreneurial Finance and Business Ventures, 7 (2), 1-10 -- Richard E. Kihlstrom and Jean-Jacques Laffont (1979), 'A General Equilibrium Entrepreneurial Theory of Firm Formation Based on Risk Aversion', Journal of Political Economy, 87 (4), 719-48 , Edward P. Lazear (2004), 'Balanced Skills and Entrepreneurship', American Economic Review, Papers and Proceedings, 94 (2), May, 208-11 -- Zvi Griliches (1979), 'Issues in Assessing the Contribution of Research and Development to Productivity Growth', Bell Journal of Economics, 10 (1), Spring, 92-116 -- Zvi Griliches (1994), 'Productivity, R&D and the Data Constraint', American Economic Review, 84 (1), 1-23 -- Zoltan J. Acs, David B. Audretsch and Maryann P. Feldman (1994), 'R & D Spillovers and Recipient Firm Size', Review of Economics and Statistics, LXXVI, 336-40 -- Adam B. Jaffe, Manuel Trajtenberg and Rebecca Henderson (1993), 'Geographic Localization of Knowledge Spillovers as Evidenced by Patent Citations', Quarterly Journal of Economics, 108 (3), August, 577-98 -- David B. Audretsch and Maryann P. Feldman (1996), 'R&D Spillovers and the Geography of Innovation and Production', American Economic Review, 86 (3), June, 630-40 -- Edward L. Glaeser, Hedi D. Kallal, José A. Scheinkman and Andrei Shleifer (1992), 'Growth in Cities', Journal of Political Economy, 100 (6), 1126-52 -- Jane Jacobs (1969), 'How New Work Begins', in The Economy of Cities, Chapter 2, New York, NY: Vintage Books (Random House), 49-70 -- Steven Klepper and Sally Sleeper (2005), 'Entry by Spinoffs', Management Science, 51 (8), August, 1291-306 -- Adam B. Jaffe (1989), 'Real Effects of Academic Research', American Economic Review, 79 (5), December, 957-70 -- Richard Jensen and Marie Thursby (2001), 'Proofs and Prototypes for Sale: The Licensing of University Inventions', American Economic Review, 91 (1), March, 240-59 -- Adam B. Jaffe and Josh Lerner (2001), 'Reinventing Public R&D: Patent Policy and the Commercialization of National Laboratory Technologies', RAND Journal of Economics, 32 (1), Spring, 167-98 -- AnnaLee Saxenian (1991), 'Institutions and the Growth of Silicon Valley', Berkeley Planning Journal, 6, 36-57 -- Olav Sorenson and Pino G. Audia (2000), 'The Social Structure of Entrepreneurial Activity: Geographic Concentration of Footwear Production in the United States, 1940-1989', American Journal of Sociology, 106 (2), September, 424-61 -- Edward L. Glaeser, David Laibson and Bruce Sacerdote (2002), 'An Economic Approach to Social Capital', Economic Journal, 112 (483), November, F437-58 -- Daron Acemoglu, Simon Johnson and James Robinson (2005), 'The Rise of Europe: Atlantic Trade, Institutional Change, and Economic Growth', American Economic Review, 95 (3), June, 546-79 -- Douglass C. North (1991), 'Institutions', Journal of Economic Perspectives, 5 (1), Winter, 97-112
    Language: English
    Subjects: Economics
    RVK:
    RVK:
    Keywords: Electronic books. ; Electronic books ; Aufsatzsammlung ; Electronic books ; Aufsatzsammlung
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: FULL  ((Currently Only Available on Campus))
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9949850821702882
    Format: XII, 260 p. 32 illus. , online resource.
    Edition: 1st ed. 2024.
    ISBN: 9783662689806
    Content: How does artificial intelligence (AI) work and are there parallels to the human brain? What do natural and artificial intelligence have in common, and what are the differences? Is the brain nothing more than a biological computer? What are neural networks and how can the term deep learning be explained simply? Since the cognitive revolution in the middle of the last century, AI and brain research have been closely intertwined. There have been several spectacular breakthroughs in the field of AI in recent years, from alphaGo to DALL-E 2 and ChatGPT, which were completely unthinkable until recently. However, researchers are already working on the innovations of tomorrow, such as hybrid machine learning or neuro-symbolic AI. But what does this actually mean? Based on current research findings and exciting practical examples, this non-fiction book provides an understandable introduction to the basics and challenges of these fascinating disciplines. You will learn what neuroscience and psychology know about how the brain works and how artificial intelligence works. You will also learn how AI has revolutionized our understanding of the brain and how findings from brain research are used in computer science to further develop AI algorithms. Discover the fascinating world of these two disciplines. Find out why artificial intelligence and brain research are two sides of the same coin and how they will shape our future. The author Patrick Krauss studied medicine, computer science and physics. After completing his doctorate in neuroscience, he habilitated in linguistics on the subject of language processing in neural networks and the brain. He researches and teaches at the University of Erlangen-Nuremberg and the University Hospital Erlangen on topics at the interface of neuroscience, artificial intelligence and language. His scientific work includes over 80 publications. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content. .
    Note: Part I: Brain research -- The most complex system in the universe -- Building blocks of the nervous system -- Organization of the nervous system -- Organization of the cortex -- Imaging techniques: Watching the brain think -- Memory -- Language -- Cognitive maps and navigation in mental spaces -- Consciousness -- Part II: Artificial intelligence -- What is artificial intelligence -- How does artificial intelligence learn -- Playful artificial intelligence -- Recurrence: learning is not a one-way street -- Creativity: generative artificial intelligence -- Language-talented AI: ChatGPT and co -- How AI learns to learn -- What are AI developers researching today? -- Part III: Challenges -- What is a toaster? Dangerous stickers and other attacks -- Images in rain and sun: It's all about the data -- Hallucinating machines: Fact checks and world models -- Alchemy, reproducibility and black boxes -- A critical appraisal: What AI can't (yet) do -- Challenges of brain research -- What does it mean to understand a system? -- Part IV: Integration -- AI as a tool in brain research -- AI as a model for the brain -- Neuroscience 20: Using brain research to understand AI -- The brain as a template for AI -- Conscious machines? -- Outlook: Holodecks, uploads, brains in tanks and the singularity.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662689790
    Additional Edition: Printed edition: ISBN 9783662689813
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_9949697349902882
    Format: 1 online resource (306 pages)
    Edition: 1st ed.
    ISBN: 0-443-15987-4
    Note: Intro -- Putting AI in the Critical Loop: Assured Trust and Autonomy in Human-Machine Teams -- Copyright -- Contents -- Contributors -- About the editors -- Chapter 1: Introduction -- 1. Theme of the symposium -- 2. Teams and teamwork -- 3. Team situation awareness (TSA) -- 4. The trust dimension -- 5. Summary remarks -- References -- Chapter 2: Alternative paths to developing engineering solutions for human-machine teams -- 1. Introduction -- 2. Panel organization -- 3. Test vignettes -- 3.1. Urgent recommendations -- 3.2. Robotic support -- 3.3. Periodic teaming -- 4. Major issues raised -- 4.1. Trust and trustworthiness -- 4.2. Human-machine dialogue -- 4.3. Agency -- 4.4. Regulators -- 5. Future work -- 6. Summary of presentations by panel members -- 6.1. Andrzej Banaszuk -- 6.2. Bill Casebeer -- 6.3. Michael Fisher -- 6.4. Jean-Charles Ledé -- 7. Biographies of panelists and moderators -- References -- Chapter 3: Risk determination vs risk perception: From hate speech, an erroneous drone attack, and military nuclear waste ... -- 1. Introduction -- 2. Situation -- 3. Case studies -- 4. How to fix? -- 5. A work-in-progress: Future autonomous systems -- 6. Rationality -- 7. Deception -- 8. Innovation: A trade-off between innovation and suppression -- 9. Conclusions -- References -- Chapter 4: Appropriate context-dependent artificial trust in human-machine teamworkThis document is the result of the res ... -- 1. Introduction -- 2. Trust definition -- 3. Trust models, Krypta and Manifesta -- 3.1. Models -- 3.2. Manifesta and Krypta -- 3.3. Context-dependent models and their dimensions -- 4. Trust as a context-dependent model -- 4.1. Task -- 4.2. Team configuration -- 4.3. Summary: A taxonomy -- 5. Trust as a belief of trustworthiness -- 5.1. Forming (appropriate) artificial trust -- 5.2. Calibrating natural trust -- 6. Discussion and future work. , 7. Conclusion -- References -- Chapter 5: Toward a causal modeling approach for trust-based interventions in human-autonomy teamsThe views, opinions, an ... -- 1. Human-autonomy teams -- 2. Trust in human-autonomy teams -- 3. Trust measurement in HAT -- 4. Interventions and teaming -- 5. Our model human-autonomy teaming scenario -- 6. A brief overview of causal modeling -- 6.1. Bayesian networks -- 6.2. Structural equation modeling -- 7. Causal modeling in context -- 8. Conclusions -- References -- Chapter 6: Risk management in human-in-the-loop AI-assisted attention aware systems -- 1. Introduction -- 2. Attention aware systems -- 3. Risk management of attention aware systems -- 4. Risk management considerations -- 5. Risk management approaches -- 6. Discussion and conclusions -- References -- Chapter 7: Enabling trustworthiness in human-swarm systems through a digital twin -- 1. Introduction -- 2. Trustworthy human-swarm interaction -- 2.1. What is trust? -- 2.2. Trust in autonomous systems -- 2.3. Trust in multirobot systems -- 3. Industry-led trust requirements -- 3.1. Method -- 3.1.1. Perceptual cycle model -- 3.1.2. SWARM taxonomy -- 3.1.3. Interview questions -- 3.1.4. Equipment and procedure -- 3.1.5. Data analysis and results -- 4. Explainability of human-swarm systems -- 4.1. Research method -- 4.1.1. Participants -- 4.1.2. Equipment and procedure -- 4.1.3. Data analysis -- 4.2. Categories of swarm explanations -- 4.2.1. Consensus-based -- 4.2.2. Path planning-based -- 4.2.3. Communication-based -- 4.2.4. Scheduling-based -- 4.2.5. Hardware-based -- 4.2.6. Architecture and design-based -- 5. Use-case development -- 5.1. Cocreation process -- 5.1.1. Procedure -- 5.1.2. Analysis -- 5.2. Collated use case -- 5.2.1. Compiled use-case background -- 5.2.2. Compiled use-case agents and tasks -- 5.3. Discussion. , 6. Human-swarm teaming simulation platform -- 6.1. Simulated use case -- 7. Compliance with requirements -- 7.1. Requirements for software quality characteristics transformation -- 7.2. Simulation software quality characteristics -- 7.2.1. Functionality -- 7.2.2. Reliability -- 7.2.3. Usability -- 7.2.4. Efficiency -- 7.2.5. Maintainability -- 7.2.6. Portability -- 8. Discussion and conclusion -- Acknowledgments -- References -- Chapter 8: Building trust with the ethical affordances of education technologies: A sociotechnical systems perspective -- 1. Introduction -- 2. Operationalizing ethics in learning engineering: From values to assessment -- 2.1. Ethical sensemaking in design -- 2.2. Psychometrics and validity -- 2.3. Operationalizing ethics in psychometrics: Differential item function -- 3. AI-based technologies for instruction and assessment -- 3.1. AI-enabled learning and feedback -- 3.2. AI-enabled assessment -- 3.2.1. Computerized adaptive testing -- 3.2.2. Automated writing evaluation (AWE) -- 3.3. Plagiarism and automated plagiarism detection -- 3.3.1. Plagiarism detection -- 4. Knowledge management, learner records, and data lakes -- 4.1. Integrated and comprehensive learner records -- 5. Learning systems inside and outside higher education -- 5.1. Learning management systems -- 5.2. Massive open online courses -- 5.3. Communication back channels -- 5.4. The business ethics of virtual learning -- 6. Responsive and resilient design in learning engineering -- 6.1. Operationalizing social and ethical norms -- 6.2. Trust and trustworthiness -- 6.3. Reconceptualizing the role of learners and educators -- 6.4. Explainability and knowledge translation -- 6.5. Implementation validity of learning technologies -- 6.6. Knowledge management and common standards -- 6.7. Ethical pluralism and cross-cultural issues -- 7. Conclusion -- References. , Chapter 9: Perceiving a humorous robot as a social partner -- 1. Introduction -- 2. Background -- 2.1. Humor in human interactions -- 2.2. Humorous robots -- 2.3. Social recovery in HRI -- 2.4. Trust in human-robot teams -- 3. Humor and trust -- 4. Research questions -- 5. Method -- 5.1. The humor types -- 5.2. Programming the NAO -- 5.3. The iSpy testbed -- 6. Experiment -- 6.1. Procedure -- 6.2. Measures -- 6.3. Participants -- 7. Results -- 7.1. RQ1: Effect of humor type -- 7.2. RQ2: Effect of gender -- 7.3. RQ3: Effect of age -- 7.4. RQ4: Effect of previous NAO experience -- 7.5. RQ5: Effect of previous robot experience -- 8. Discussion and future work -- 9. Conclusion -- References -- Chapter 10: Real-time AI: Using AI on the tactical edge -- 1. Introduction -- 1.1. Imprecise computation in AI -- 1.2. AI on edge devices -- 1.3. Contributions -- 2. Problem definition -- 2.1. Imprecise computations model -- 3. Related work -- 4. Multitask neural network model -- 4.1. Neural networks -- 4.2. Our multitask model with sequential training -- 4.2.1. Experiment -- 4.2.2. Neural network specifications -- 4.2.3. Experimental results -- 4.2.4. Observations and discussion -- 4.3. Edge focused model -- 4.3.1. Experiment -- 4.3.2. Experimental results -- 4.3.3. Observations and discussion -- 4.4. Discussion -- 5. Scheduling -- 5.1. Scheduling model -- 5.2. Dynamic programming approach -- 5.3. Greedy algorithm -- 5.4. Experiments -- 5.5. Observations and discussion -- 6. Conclusions -- Acknowledgments -- References -- Chapter 11: Building a trustworthy digital twin: A brave new world of human machine teams and autonomous biological inter ... -- 1. Introduction -- 2. Examination of the current state of biosecurity: What does assured trust in BIoT look like? What happens when it break ... -- 2.1. Use case: Digital trust in AI driven BIoT in an era of pandemic. , 3. Security maturity of cyber-physical-biological systems in the biopharma sector -- 4. Antiquated biosafety and security net -- 4.1. BIoT gap analysis -- 5. BioSecure digital twin response -- 6. Trust between human-machine teams deploying AI driven digital twins -- 7. Zero-trust approach to biopharma cybersecurity -- 8. Trust framework for biological internet of things (BIoT) -- 9. Digital twin trust framework for human-machine teams -- 10. Digital twin opportunities and challenges to improve trust in human-machine teams -- 11. Future research and conclusion -- References -- Chapter 12: A framework of human factors methods for safe, ethical, and usable artificial intelligence in defense -- 1. Introduction -- 2. Method -- 2.1. Integration of responsible AI principles -- 2.2. Human factors and ergonomics methods review -- 2.3. Workshop 1: Mapping HFE methods to AI-based ADF capability life cycle phases -- 2.4. Workshop 2: Mapping of HFE methods to modified NATO principles of responsible AI use -- 3. Results -- 3.1. Applicability of HFE methods across the defense capability life cycle -- 3.2. Suitability of HFE methods for assessing principles of responsible AI use -- 3.3. Prototype framework of human factors and ergonomics methods for safe, ethical, and usable AI -- 4. Discussion -- 4.1. Future areas of research -- Appendix A Mapping of methods to the ADF capability life cycle phases. -- Appendix B Mapping of methods to each of the modified NATO principles of responsible use of AI. -- References -- Chapter 13: A schema for harms-sensitive reasoning, and an approach to populate its ontology by human annotation -- 1. Introduction: Chess bot incident begs for harms reasoning licensure -- 2. Generating values-driven behavior -- 3. Moral-scene assessment: Minds, and affordances to them -- 4. Injury: How physical harms come to be. , 4.1. Injury modeling and classification.
    Additional Edition: ISBN 0-443-15988-2
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    almafu_9961492930802883
    Format: 1 online resource (221 pages)
    Edition: 1st ed. 2024.
    ISBN: 981-9719-87-9
    Series Statement: Studies in Computational Intelligence, 1148
    Content: This book emphasises the need for language resource development and its impact on society. It covers latest AI based tools and techniques used to preserve indigenous and endangered languages. The book also highlights latest AI based technologies such as Generative Pre-trained Transformer (GPT) towards endangered language preservation. It discusses morphology analysis, translation support and shallow parsing of various tribal languages of India and abroad. This book tries to answer how digital technologies can make language revitalization accessible to future generations.
    Note: Intro -- Preface -- Contents -- About the Editors -- Language Revitalization & -- Artificial Intelligence -- Kuvi Character Set: A Mobile Interface for the Revitalization of the Kuvi Language -- 1 Introduction: The Imperative Need for Developing a Kuvi Character Set for an Unwritten Endangered Language -- 1.1 About the Speaker -- 1.2 Historical Background of Kuvi Language -- 2 KISS Model of Character Set Development -- 2.1 Participants -- 2.2 Phases -- 2.3 Process -- 2.4 Principles -- 3 Summary -- References -- Reviving Endangered Languages: Exploring AI Technologies for the Preservation of Tanzania's Hehe Language -- 1 Introduction -- 2 Literature Review -- 3 Proposed Model -- 4 Conclusion and Future Prospect -- References -- Preservation of Vedda's Language in Sri Lanka -- 1 Introduction -- 1.1 About the Language -- 1.2 Challenges and Opportunities -- 2 Literature Survey -- 3 Propose Model -- 4 Preserve and Promote the Vedda Language -- 5 Conclusion and Future Work -- References -- Role of Digital Technology in the Education, Promotion, and Revitalization of "Ho" Languages -- 1 Introduction -- 2 Methodology -- 3 Role of Digital Technology -- 3.1 Indigenous Communities and Technology -- 4 Proposed Digital Technology for Ho Language -- 4.1 Different Factors for Promotion of Ho Language -- 5 Revitalization of Ho Language -- 5.1 Technology in Endangered Language Contexts -- 6 Ho Language Education -- 6.1 Documentation, Preservation, and Revitalization -- 6.2 Language Pedagogy -- 7 Conclusion -- References -- Changing the Trajectory: Preserving the Linguistic Diversity of Shi Language Using AI and NLP -- 1 Introduction -- 2 The Shi Language: Overview and Challenges -- 2.1 Linguistic Characteristics of Shi Language -- 2.2 Language Endangerment Factors -- 2.3 Sociocultural Implications -- 3 AI and NLP in Language Revitalization. , 3.1 Role of AI in Language Preservation -- 3.2 NLP Applications for Endangered Languages -- 4 Future Prospects -- 4.1 Data Collection and Analysis -- 4.2 Community Engagement and Collaboration -- 5 AI-Based Solutions for Shi Language Revitalization -- 5.1 Automatic Speech Recognition (ASR) Systems -- 5.2 Machine Translation and Language Generation -- 5.3 Language Learning Applications -- 5.4 Digital Archives and Preservation -- 6 Ethical Considerations and Cultural Sensitivity -- 6.1 Informed Consent and Community Involvement -- 6.2 Preserving Cultural Nuances and Context -- 6.3 Balancing Technological Advancements with Traditional Knowledge -- 7 Case Studies of AI Implementation in Language Revitalization -- 7.1 Impact Assessment and Evaluation -- 8 Future Directions and Recommendations -- 8.1 Long-Term Sustainability Strategies -- 8.2 Collaboration with Indigenous Communities -- 8.3 Policy and Funding Support -- 9 Conclusion -- References -- Kuvi Calendar: Harnessing Indigenous Calendar for Language Revitalization -- 1 Introduction: Understanding the Cultural and Practical Significance of Kuvi Calendar -- 1.1 The Cultural and Practical Importance of Indigenous Calendar -- 2 Process of Making Kuvi Calendar -- 2.1 The Multi-Step Process for the Development of Kuvi (Physical) Calendar First Phase -- 2.2 The Second Phase-Development of Parallel Corpus for Kuvi (Digital) Calendar -- 3 Embodying Kuvi Cultural Heritage: The Physical Kuvi Calendar -- 3.1 Week Structure -- 3.2 Month Structure -- 3.3 Day Structure in Each Month -- 4 Conclusion -- References -- Natural Language Process (NLP) for Language Analysis -- Contemplating Dialects When Building a Guarani Corpus for NLP -- 1 Introduction -- 2 Minority Languages in South America -- 2.1 Brief Socio-historical Background of Guarani in Paraguay -- 2.2 Guarani Features. , 3 Challenges Faced While Building a Guarani-Spanish Corpus -- 3.1 Challenge 1: Lack of Data to Build a Corpus -- 3.2 Challenge 2: Guarani and Spanish Meet in Jopara -- 3.3 Challenge 3: The Unbearable Lightness of Guarani Orthography -- 4 Conclusion and Future Prospect -- References -- The Role of NLP to Facilitate the Growth of Ge'ez Language -- 1 Introduction -- 1.1 About the Ge'ez Language -- 1.2 Number of Speakers -- 2 Literature Review -- 2.1 The Role of NLP to Facilitate the Growth of Ge'ez Language -- 2.2 Applications of NLP -- 3 Conclusion -- 4 Future Work -- References -- Developing Multilingual Glossaries for STEM Terminology Using AI-NLP -- 1 Introduction -- 2 Building the Glossary -- 3 AI-Mediated NLP-Based Word Creation -- 4 Conclusion and Future Perspectives -- References -- Development of Parallel Speech Data Repository for Ho Language -- 1 Introduction -- 2 Literature Survey -- 3 Proposed Model -- 3.1 Digital Resources -- 3.2 Data Scraping from Ho Wikipedia -- 3.3 Optical Character Recognition -- 3.4 Parallel Corpus -- 3.5 Manually Correction from Human Volunteers -- 3.6 Speech to Text -- 4 Conclusion -- References -- Challenges to Prepare the Parallel Corpus for Luganda Language -- 1 Introduction -- 2 Literature Survey -- 3 Proposed Model -- 3.1 Optical Character Recognition -- 3.2 Speech to Text -- 3.3 Web Scraping -- 3.4 Newspapers -- 4 Conclusion and Future Work -- References -- Proposed Model for Automatic Dialect Classification of Binjhal Language -- 1 Introduction -- 2 Binjhal Language -- 2.1 Language Identification -- 3 Literature Reviews -- 4 Data Collection and Preparation -- 5 Proposed Model -- 5.1 Preprocessing -- 5.2 Types of Preprocessing -- 6 Experiment Result and Evaluation -- 7 Conclusion -- References -- Twi Speech Processing: Techniques and Applications -- 1 Introduction -- 2 Literature Review. , 2.1 Twi Language and Linguistic Characteristics -- 2.2 Challenges in Twi Speech Processing -- 2.3 Techniques in Twi Speech Processing -- 2.4 Applications of Twi Speech Processing -- 2.5 Future Directions in Twi Speech Processing -- 3 Methodology -- 3.1 Data Collection and Preprocessing -- 3.2 Feature Extraction -- 3.3 Speech Processing Applications -- 3.4 Dialectal Variations Analysis -- 3.5 Speaker Identification and Verification -- 3.6 Evaluation and Validation -- 3.7 Future Directions -- 4 Techniques and Working Principle -- 5 Conclusion and Future Directions -- References -- Cultural Survival Heritage of Bambara Language by Using NLP -- 1 Introduction -- 2 Literature Survey -- 3 Cultural Significance of Bambara Language in Malian Literature and Music -- 4 Socio-Cultural Factors Impacting the Preservation of Bambara -- 5 Language Revitalization Efforts in Mali -- 6 AI-Based Language Documentation Projects for Endangered Languages -- 7 Government Policies and International Cooperation for Language Preservation -- 8 NLP-Based Language Revitalization Projects in Other Regions -- 9 Proposed Model -- 10 Data Collection of Bambara Texts -- 11 Machine Learning (Clustering the Collected Bambara Texts) -- 12 Data Processing (Tokenization and Stemming) -- 13 Sentiment Analysis (Optional) -- 14 Model Evaluation -- 15 Feature Extraction -- 16 Result and Application -- 17 Conclusion -- References -- Dialect Identification of Gondar, Gojjami, and Showa Language of Amharic Using AI and NLP -- 1 Introduction -- 2 Literature Survey -- 2.1 Literature Survey -- 2.2 Tigrinya Dialect Identification -- 2.3 Assamese Dialects -- 2.4 Santali Dialect Identification -- 2.5 Kamrupi Dialect Identification -- 2.6 Maghrebian Dialect Recognition -- 2.7 Algerian Dialect Recognition -- 2.8 Tunisian Dialect Recognition -- 2.9 Goalparia Dialect Identification. , 2.10 Ao Dialect Identification -- 3 Proposed Method -- 3.1 Data Collection and Preprocessing -- 3.2 Data Collection and Preprocessing -- 4 Results and Discussions -- 4.1 Model Performance -- 4.2 Challenges and Limitations -- 4.3 Future Directions -- 5 Conclusion -- References -- Creating a Parallel Corpus for Machine Translation: A Case Study of Kru and Krio -- 1 Introduction -- 1.1 Krio -- 1.2 Kru -- 1.3 Syntax and Alphabet -- 2 Related Works -- 2.1 Works Done on Similar Languages -- 3 Proposed Model -- 3.1 Optical Character Recognition -- 3.2 Books -- 3.3 Existing Database -- 3.4 Web Scraping -- 3.5 Speech-To-Text -- 4 Conclusion -- 5 Future Works -- References -- Developing Parallel Corpus for the Machine Translation System in Dzongkha Language -- 1 Introduction -- 2 Literature Review -- 3 Proposed Model -- 4 Conclusion and Future Prospects -- References.
    Additional Edition: ISBN 981-9719-86-0
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Cham :Springer Nature Switzerland :
    UID:
    almafu_9961574167402883
    Format: 1 online resource (683 pages)
    Edition: 1st ed. 2024.
    ISBN: 9783031622779
    Series Statement: Lecture Notes in Networks and Systems, 1017
    Content: Explore the forefront of computing with the proceedings of the Computing Conference 2024. Featuring 165 carefully selected papers from a pool of 457 submissions, this collection encapsulates the cutting-edge research and innovation presented during the conference. Delve into a diverse range of topics, insights, and methodologies that shape the future of computing. Whether you're an academic, researcher, or enthusiast, this concise volume offers a snapshot of the dynamic and collaborative spirit defining the Computing Conference 2024.
    Note: Intro -- Preface -- Contents -- Optimised Round Robin with Virtual Runtime for CPU Scheduling -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Round Robin Scheduler -- 3.2 Completely Fair Scheduling (CFS) -- 3.3 Virtual Runtime -- 3.4 Niceness -- 4 Proposed Methodology -- 5 Observation -- 5.1 Example of Processes with Same Arrival Time -- 5.2 Example of Processes with Different Arrival Time -- 5.3 Comparison with Other Round Robin Variations -- 6 Conclusions -- 6.1 Benefits of `Riti' -- 6.2 Limitations of `Riti' -- 6.3 Future Scope -- References -- Faster Lock-Free Atomic Shared Pointers -- 1 Introduction -- 2 Related Work -- 3 Algorithm -- 3.1 Notation and Assumptions -- 3.2 Operation: Load -- 3.3 Operation: Store -- 3.4 Operation: Exchange -- 3.5 Operation: Compare-and-Swap -- 3.6 Helper Functions -- 3.7 Diverging Temporary Reference Counters -- 4 Correctness -- 5 Evaluation -- 5.1 Operation: Load -- 5.2 Operation: Store -- 5.3 Operation: Exchange -- 5.4 Operation: Weak and Strong CAS -- 5.5 Operation: Weak and Strong CAS-Loops -- 5.6 Discussion -- 6 Conclusion and Outlook -- References -- CICO2e: A Compute Carbon Footprint Estimation Tool Based on Time Series Data -- 1 Introduction -- 2 Related Work -- 2.1 Determination of the Energy Consumption -- 2.2 Determination of the Carbon Intensity -- 3 Carbon Footprint Estimation with Static vs. Time Series Carbon Intensity -- 3.1 Method -- 3.2 Dataset (Regions and Time Frame) -- 3.3 Results -- 3.4 Discussion -- 3.5 Threats to Validity -- 4 Compute Carbon Footprint Estimation Tool (CICO2e) -- 5 Future Work -- 6 Conclusion -- References -- Image Classification Method Based on Chaos Neural Network -- 1 Introduction -- 2 Related Research Works -- 3 Proposed Method -- 3.1 Chaotic Neuron Model -- 3.2 Chaotic Neuron Model -- 3.3 Chaos NN Parameter Learning. , 3.4 CHAOS NN Condition Setting Based on Simulation Data -- 4 Experiment -- 4.1 Results Using Simulation Data -- 4.2 Comparison of Classification Efficiency -- 4.3 Learning Speed Comparison -- 4.4 Classification Index and Classification Efficiency -- 4.5 Evaluation Using Real Satellite Images -- 4.6 Setting CHAOS NN Parameters -- 4.7 Classification Result -- 5 Conclusion -- 6 Future Research Works -- References -- Human-Created and AI-Generated Text: What's Left to Uncover? -- 1 Introduction -- 2 Literature Review -- 3 Methodology -- 3.1 Data Collection -- 3.2 Participant -- 3.3 Survey/Questionnaire Design -- 4 Results -- 5 Conclusion -- References -- AraXLM: New XLM-RoBERTa Based Method for Plagiarism Detection in Arabic Text -- 1 Introduction -- 2 Arabic Language Characteristics -- 2.1 General Features of the Arabic Language -- 2.2 Summary -- 3 Related Work -- 4 Challenges and Limitations -- 4.1 Translation Quality -- 4.2 Fine-Tuning Model -- 4.3 Cross-Lingual Semantic Variability -- 5 The Proposed Solution -- 5.1 The AraXLM Framework -- 5.2 AraXLM Workflow -- 5.3 Summary -- 6 Discussion -- 7 Conclusion and Future Work -- References -- Boosting Customer Retention in Pharmaceutical Retail: A Predictive Approach Based on Machine Learning Models -- 1 Introduction -- 2 Background -- 2.1 Cross-Industry Standard Process for Data Mining (CRISP-DM) -- 2.2 Classification Models -- 2.3 Data Science Tools -- 3 Research Approach -- 3.1 Phase 1: Business Understanding -- 3.2 Phase 2: Data Understanding -- 3.3 Phase 3: Data Preparation -- 3.4 Phase 4: Modelling -- 3.5 Phase 5: Evaluation -- 3.6 Phase 6: Deployment -- 4 Discussion -- 5 Conclusions -- References -- Introducing Prediction Concept into Data Envelopment Analysis Using Classifier in Economic Forecast -- 1 Introduction -- 2 Proposed Methodology -- 2.1 DEA Model -- 2.2 DEA-Classifier Model. , 2.3 DEA-Classifier Model Validation -- 3 Experiments -- 3.1 Datasets -- 3.2 Implementation -- 4 Experimental Results and Discussions -- 5 Conclusion -- References -- Investigating Machine Learning Techniques Used for the Detection of Class Noise in Data: A Systematic Literature Review -- 1 Introduction -- 2 Background: Noise Types -- 2.1 Class Noise -- 2.2 Attribute Noise -- 2.3 Class Noise Detection and Class Noise Handling Techniques -- 3 Research Approach -- 3.1 Data Analysis -- 4 Discussion of Results -- 4.1 Classifier-Based Techniques -- 4.2 Distance-Based Techniques -- 4.3 Ensemble-Based Techniques -- 5 Conclusion -- References -- The Role of Chatbots in Data Analytics: An Evaluation of Functional Abilities -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Datasets -- 3.2 Prompt Engineering and Evaluation -- 4 Results -- 4.1 Dataset A: Stock Market Analysis -- 4.2 Dataset B: Heart Health Analysis -- 4.3 Dataset C: Synthetic Energy Performance Analysis -- 5 Discussion -- 5.1 Dataset A -- 5.2 Dataset B -- 5.3 Dataset C -- 6 Conclusion -- References -- An Analytical Investigation into the Impact of Product Color on the Price of Retail Products and Purchasing Decisions of Consumers -- 1 Introduction -- 2 Analytical Aspects -- 2.1 Requirements -- 2.2 Data Acquisition and Data Sources -- 2.3 Datasets Overview -- 2.4 Prepare Data -- 2.5 Feature Engineering -- 3 Analysis -- 3.1 Conduct Exploratory Analysis -- 3.2 Exploratory Visualizations -- 3.3 Exploratory Statistical Model -- 4 Data Visualizations -- 4.1 The Number of Products Based on Color -- 4.2 The Average Number of Likes Based on the Product's Color -- 4.3 Average Likes Count for the Products that Have More Than One Color -- 4.4 The Average Number of Likes for Products that Have More Than One Color Based on the Product's Category -- 4.5 Average Product's Price Based on Color. , 5 Challenges -- 6 Future Work -- 7 Conclusion -- References -- A Numerical Approach for the Fractional Laplacian via Deep Neural Networks -- 1 Introduction -- 1.1 Motivation -- 1.2 Recent Works on DL Techniques -- 2 Preliminaries -- 2.1 Setting -- 2.2 Approximation Theorem -- 3 Numerical Problem Modeling -- 3.1 Simulation of Random Variables -- 3.2 Monte Carlo Training Set Generation -- 3.3 DNN Approximation -- 3.4 Method's Error Estimates -- 4 Numerical Examples -- 4.1 Example 1: Constant Source Term -- 4.2 Example 2: Non Constant Source Term -- 4.3 Example 3: Non Zero Boundary Term -- 4.4 Example 4: A Counter Example for the Algorithm -- 4.5 Discussion -- 5 Conclusions -- A Figures -- B Tables -- References -- RBF-SC: A Fast Community Detection Technique Using Radial Basis Functions -- 1 Introduction -- 2 Related Work -- 3 Radial Basis Function: Spectral Clustering -- 3.1 RBF Interpolation -- 3.2 Trade-Off Principle -- 3.3 Spectral Clustering with Optimized RBF -- 4 Experimental Results -- 4.1 Real Data Sets -- 4.2 The Role of the Shaping Parameters -- 5 Conclusions -- References -- Improving Medication Prescription Strategies for Discordant Chronic Comorbidities Through Medical Data Bench-Marking and Recommender Systems -- 1 Introduction -- 2 Related Works -- 3 Background on Machine Learning Algorithms -- 3.1 Nearest Neighbors -- 3.2 Random Forest -- 3.3 Support Vector Machine (SVM) -- 3.4 Artificial Neural Networks (ANNs) -- 4 Experiments and Results -- 4.1 Data Collection -- 4.2 Experimental Settings -- 5 Discussion -- 6 Conclusion and Future Work -- References -- Sentiment Analysis for Predicting the Variation Trend of Stocks: A Case Study of Vanke Co., Ltd. -- 1 Introduction -- 2 Background -- 2.1 News Sentiment Analysis for Stock Prediction -- 2.2 Natural Language Processing Approaches -- 3 System Design -- 3.1 Overview of the System. , 3.2 Named Entity Recognition -- 3.3 Database Structure -- 3.4 Translation -- 4 Implementation -- 4.1 Text Classification: Lexicon-Based Sentiment Analysis and TextCNN Model -- 4.2 TextCNN -- 4.3 Named Entity Recognition: Bi-LSTM and CRF Model -- 5 Evaluation -- 5.1 An Empirical Analysis of the Correlation Between Sentiment in News/Discussion and Stock Price -- 5.2 Non-linear Time Series Modeling -- 5.3 Evaluation of Text Classification Algorithm -- 5.4 Evaluation of Named Entity Recognition Algorithm -- 6 Conclusion and Future Work -- References -- Suicide Ideation Prediction Through Deep Learning: An Integration of CNN and Bidirectional LSTM with Word Embeddings -- 1 Introduction -- 2 Related Woks -- 3 Methodology -- 3.1 Dataset -- 3.2 Data Preprocessing -- 3.3 Word Embedding -- 3.4 CNN-BiLSTM Model -- 4 Results and Discussion -- 4.1 Result -- 4.2 Discussion -- 5 Conclusion -- References -- A Multi-clustering Unbiased Relative Prediction Recommendation Scheme for Data with Hidden Multiple Overlaps -- 1 Introduction -- 1.1 The Recruiting Process Hidden Multiple Overlaps Challenge -- 2 Previous Work -- 2.1 Recommendation Systems Methods -- 2.2 Coping with Overlapping Clusters -- 3 A Multi-clustering Relative Prediction Recommendation Scheme -- 3.1 Unified User-Item Modeling -- 3.2 Multi-clustering -- 3.3 Two-Sided Relative Prediction -- 4 TALENT.AI Recommender System -- 5 Evaluation -- 6 Conclusion -- References -- An Unsupervised Deep Learning Model for Aspect Retrieving Using Transformer Encoder -- 1 Introduction -- 2 Related Work -- 2.1 Methodologies of Aspect Extraction Task -- 2.2 Word Embedding Representations on Aspect Extraction Task -- 3 Proposed Architecture Description for RATE -- 3.1 Encoder -- 3.2 Attention-Based Sentence Embeddings -- 3.3 Aspect-Category Weight Representation -- 3.4 Reconstructed Sentence Embedding -- 3.5 Model Training. , 4 Results and Discussions.
    Additional Edition: Print version: Arai, Kohei Intelligent Computing Cham : Springer International Publishing AG,c2024 ISBN 9783031622762
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Cheltenham :Edward Elgar Pub. Ltd.,
    UID:
    almahu_9947914923302882
    Format: 1 online resource (1 v.) ; , cm.
    ISBN: 9781784712716 (e-book)
    Series Statement: Elgar research reviews in economics
    Content: 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.
    Note: 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
    Language: English
    Keywords: Electronic books. ; Electronic books ; Electronic books
    URL: FULL  (Click to View (Currently Only Available on Campus))
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages