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
Region
Virtual Catalogues
Access
  • 1
    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 ...
  • 2
    Online Resource
    Online Resource
    Cham :Springer International Publishing AG,
    UID:
    almahu_9949602164202882
    Format: 1 online resource (192 pages)
    Edition: 1st ed.
    ISBN: 9783319785035
    Note: Intro -- Preface -- Objectives -- Organisation of Book Chapters -- Intended Readers -- Limitations -- Book Project During Sabbatical Stay in Sydney -- Aims -- Acknowledgements -- Contents -- 1 Introduction -- 1.1 Early Work and Review Articles -- 2 The History of the Patient Record and the Paper Record -- 2.1 The Egyptians and the Greeks -- 2.2 The Arabs -- 2.3 The Swedes -- 2.4 The Paper Based Patient Record -- 2.5 Greek and Latin Used in the Patient Record -- 2.6 Summary of the History of the Patient Record and the Paper Record -- 3 User Needs: Clinicians, Clinical Researchers and Hospital Management -- 3.1 Reading and Retrieving Efficiency of Patient Records -- 3.2 Natural Language Processing on Clinical Text -- 3.3 Electronic Patient Record System -- 3.4 Different User Groups -- 3.5 Summary -- 4 Characteristics of Patient Records and Clinical Corpora -- 4.1 Patient Records -- 4.2 Pathology Reports -- 4.3 Spelling Errors in Clinical Text -- 4.4 Abbreviations -- 4.5 Acronyms -- 4.6 Assertions -- 4.6.1 Negations -- 4.6.2 Speculation and Factuality -- Levels of Certainty -- Negation and Speculations in Other Languages, Such as Chinese -- 4.7 Clinical Corpora Available -- 4.7.1 English Clinical Corpora Available -- 4.7.2 Swedish Clinical Corpora -- 4.7.3 Clinical Corpora in Other Languages than Swedish -- 4.8 Summary -- 5 Medical Classifications and Terminologies -- 5.1 International Statistical Classification of Diseases and Related Health Problems (ICD) -- 5.1.1 International Classification of Diseases for Oncology (ICD-O-3) -- 5.2 Systematized Nomenclature of Medicine: Clinical Terms (SNOMED CT) -- 5.3 Medical Subject Headings (MeSH) -- 5.4 Unified Medical Language Systems (UMLS) -- 5.5 Anatomical Therapeutic Chemical Classification (ATC) -- 5.6 Different Standards for Interoperability -- 5.6.1 Health Level 7 (HL7). , Fast Healthcare Interoperability Resources (FHIR) -- 5.6.2 OpenEHR -- 5.6.3 Mapping and Expanding Terminologies -- 5.7 Summary of Medical Classifications and Terminologies -- 6 Evaluation Metrics and Evaluation -- 6.1 Qualitative and Quantitative Evaluation -- 6.2 The Cranfield Paradigm -- 6.3 Metrics -- 6.4 Annotation -- 6.5 Inter-Annotator Agreement (IAA) -- 6.6 Confidence and Statistical Significance Testing -- 6.7 Annotation Tools -- 6.8 Gold Standard -- 6.9 Summary of Evaluation Metrics and Annotation -- 7 Basic Building Blocks for Clinical Text Processing -- 7.1 Definitions -- 7.2 Segmentation and Tokenisation -- 7.3 Morphological Processing -- 7.3.1 Lemmatisation -- 7.3.2 Stemming -- 7.3.3 Compound Splitting (Decompounding) -- 7.3.4 Abbreviation Detection and Expansion -- A Machine Learning Approach for Abbreviation Detection -- 7.3.5 Spell Checking and Spelling Error Correction -- Spell Checking of Clinical Text -- Open Source Spell Checkers -- Search Engines and Spell Checking -- 7.3.6 Part-of-Speech Tagging (POS Tagging) -- 7.4 Syntactical Analysis -- 7.4.1 Shallow Parsing (Chunking) -- 7.4.2 Grammar Tools -- 7.5 Semantic Analysis and Concept Extraction -- 7.5.1 Named Entity Recognition -- Machine Learning for Named Entity Recognition -- 7.5.2 Negation Detection -- Negation Detection Systems -- Negation Trigger Lists -- NegEx for Swedish -- NegEx for French, Spanish and German -- Machine Learning Approaches for Negation Detection -- 7.5.3 Factuality Detection -- 7.5.4 Relative Processing (Family History) -- 7.5.5 Temporal Processing -- TimeML and TIMEX3 -- HeidelTime -- i2b2 Temporal Relations Challenge -- Temporal Processing for Swedish Clinical Text -- Temporal Processing for French Clinical Text -- Temporal Processing for Portuguese Clinical Text -- 7.5.6 Relation Extraction -- 2010 i2b2/VA Challenge Relation Classification Task. , Other Approaches for Relation Extraction -- 7.5.7 Anaphora Resolution -- i2b2 Challenge in Coreference Resolution for Electronic Medical Records -- 7.6 Summary of Basic Building Blocks for Clinical Text Processing -- 8 Computational Methods for Text Analysis and Text Classification -- 8.1 Rule-Based Methods -- 8.1.1 Regular Expressions -- 8.2 Machine Learning-Based Methods -- 8.2.1 Features and Feature Selection -- Term Frequency-Inverse Document Frequency, tf-idf -- Vector Space Model -- 8.2.2 Active Learning -- 8.2.3 Pre-Annotation with Revision or Machine Assisted Annotation -- 8.2.4 Clustering -- 8.2.5 Topic Modelling -- 8.2.6 Distributional Semantics -- 8.2.7 Association Rules -- 8.3 Explaining and Understanding the Results Produced -- 8.4 Computational Linguistic Modules for Clinical Text Processing -- 8.5 NLP Tools: UIMA, GATE, NLTK etc -- 8.6 Summary of Computational Methods for Text Analysis and Text Classification -- 9 Ethics and Privacy of Patient Records for Clinical Text Mining Research -- 9.1 Ethical Permission -- 9.2 Social Security Number -- 9.3 Safe Storage -- 9.4 Automatic De-Identification of Patient Records -- 9.4.1 Density of PHI in Electronic Patient Record Text -- 9.4.2 Pseudonymisation of Electronic Patient Records -- 9.4.3 Re-Identification and Privacy -- Black Box Approach -- 9.5 Summary of Ethics and Privacy of Patient Records for Clinical Text Mining Research -- 10 Applications of Clinical Text Mining -- 10.1 Detection and Prediction of Healthcare Associated Infections (HAIs) -- 10.1.1 Healthcare Associated Infections (HAIs) -- 10.1.2 Detecting and Predicting HAI -- 10.1.3 Commercial HAI Surveillance Systems and Systems in Practical Use -- 10.2 Detection of Adverse Drug Events (ADEs) -- 10.2.1 Adverse Drug Events (ADEs) -- 10.2.2 Resources for Adverse Drug Event Detection -- 10.2.3 Passive Surveillance of ADEs. , 10.2.4 Active Surveillance of ADEs -- 10.2.5 Approaches for ADE Detection -- An Approach for Swedish Clinical Text -- An Approach for Spanish Clinical Text -- A Joint Approach for Spanish and Swedish Clinical Text -- 10.3 Suicide Prevention by Mining Electronic Patient Records -- 10.4 Mining Pathology Reports for Diagnostic Tests -- 10.4.1 The Case of the Cancer Registry of Norway -- 10.4.2 The Medical Text Extraction (Medtex) System -- 10.5 Mining for Cancer Symptoms -- 10.6 Text Summarisation and Translation of Patient Record -- 10.6.1 Summarising the Patient Record -- 10.6.2 Other Approaches in Summarising the Patient Record -- 10.6.3 Summarising Medical Scientific Text -- 10.6.4 Simplification of the Patient Record for Laypeople -- 10.7 ICD-10 Diagnosis Code Assignment and Validation -- 10.7.1 Natural Language Generation from SNOMED CT -- 10.8 Search Cohort Selection and Similar Patient Cases -- 10.8.1 Comorbidities -- 10.8.2 Information Retrieval from Electronic Patient Records -- 10.8.3 Search Engine Solr -- 10.8.4 Supporting the Clinician in an Emergency Department with the Radiology Report -- 10.8.5 Incident Reporting -- 10.8.6 Hypothesis Generation -- 10.8.7 Practical Use of SNOMED CT -- 10.8.8 ICD-10 and SNOMED CT Code Mapping -- 10.8.9 Analysing the Patient's Speech -- 10.8.10 MYCIN and Clinical Decision Support -- 10.8.11 IBM Watson Health -- 10.9 Summary of Applications of Clinical Text Mining -- 11 Networks and Shared Tasks in Clinical Text Mining -- 11.1 Conferences, Workshops and Journals -- 11.2 Summary of Networks and Shared Tasks in Clinical Text Mining -- 12 Conclusions and Outlook -- 12.1 Outcomes -- References -- Index.
    Additional Edition: Print version: Dalianis, Hercules Clinical Text Mining Cham : Springer International Publishing AG,c2018 ISBN 9783319785028
    Language: English
    Keywords: Electronic books. ; Electronic books
    URL: Image  (Thumbnail cover image)
    URL: Image  (Thumbnail cover image)
    URL: OAPEN  (Creative Commons License)
    URL: OAPEN
    URL: OAPEN
    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
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920854102882
    Format: IX, 442 p. , online resource.
    ISBN: 9783540477952
    Series Statement: Lecture Notes in Computer Science, 270
    Content: This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.
    Note: Minimal pairs for polynomial time reducibilities -- Primitive recursive word-functions of one variable -- Existential fixed-point logic -- Unsolvable decision problems for PROLOG programs -- You have not understood a sentence, unless you can prove it -- On the minimality of K, F, and D or: Why löten is non-trivial -- A 5-color-extension-theorem -- Closure relations, Buchberger's algorithm, and polynomials in infinitely many variables -- The benefit of microworlds in learning computer programming -- Skolem normal forms concerning the least fixpoint -- Spectral representation of recursively enumerable and coenumerable predicates -- Aggregating inductive expertise on partial recursive functions -- Domino threads and complexity -- Modelling of cooperative processes -- A setting for generalized computability -- First-order spectra with one variable -- On the early history of register machines -- Randomness, provability, and the separation of Monte Carlo Time and space -- Representation independent query and update operations on propositional definite Horn formulas -- Direct construction of mutually orthogonal latin squares -- Negative results about the length problem -- Some results on the complexity of powers -- The Turing complexity of AF C*-algebras with lattice-ordered KO -- Remarks on SASL and the verification of functional programming languages -- Numerical stability of simple geometric algorithms in the plane -- Communication with concurrent systems via I/0-procedures -- A class of exp-time machines which can be simulated by polytape machines -- ???-Automata realizing preferences -- Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen -- Grammars for terms and automata -- Relative konsistenz -- Segment translation systems -- First steps towards a theory of complexity over more general data structures -- On the power of single-valued nondeterministic polynomial time computations -- A concatenation game and the dot-depth hierarchy -- Do there exist languages with an arbitrarily small amount of context-sensitivity? -- The complexity of symmetric boolean functions.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540181705
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Aufsatzsammlung ; Festschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9947936560202882
    Format: XVIII, 446 p. 102 illus. , online resource.
    ISBN: 9783319937823
    Series Statement: Lecture Notes in Computer Science, 10930
    Content: This book constitutes the refereed proceedings of the 8th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2017, held in Poznan, Poland, in November 2017. The 31 revised papers presented in this volume were carefully reviewed and selected from 108 submissions. The papers selected to this volume belong to various fields of: Speech Processing; Multiword Expressions; Parsing; Language Resources and Tools; Ontologies and Wordnets; Machine Translation; Information and Data Extraction; Text Engineering and Processing; Applications in Language Learning; Emotions, Decisions and Opinions; Less-Resourced Languages.
    Note: Speech Processing -- Multiword Expressions -- Parsing -- Language Resources and Tools -- Ontologies and Wordnets -- Machine Translation -- Information and Data Extraction -- Text Engineering and Processing -- Applications in Language Learning -- Emotions, Decisions and Opinions -- Less-Resourced Languages.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783319937816
    Language: English
    Subjects: Computer Science , Comparative Studies. Non-European Languages/Literatures
    RVK:
    RVK:
    Keywords: Konferenzschrift
    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
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947921006502882
    Format: X, 266 p. , online resource.
    ISBN: 9783540494195
    Series Statement: Lecture Notes in Computer Science, 922
    Content: This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS. The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS.
    Note: Graph rewriting systems — The basic concepts -- UBS-Graph rewriting systems — matching subgraphs in constant time -- Programmed attributed graph rewrite systems — An advanced modelling formalism -- The abstract machine for graph rewriting — supporting a fast implementation -- A graphical implementation of functional languages — a case study in UBS-graph rewriting systems -- Conclusions.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540600558
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    Keywords: Hochschulschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9947545769102882
    Format: XXXI, 632 p. 97 illus. , online resource.
    ISBN: 9783319754871
    Series Statement: Lecture Notes in Computer Science, 9624
    Content: The two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016. The total of 89 papers presented in the two volumes was carefully reviewed and selected from 298 submissions. The book also contains 4 invited papers and a memorial paper on Adam Kilgarriff’s Legacy to Computational Linguistics. The papers are organized in the following topical sections: Part I: In memoriam of Adam Kilgarriff; general formalisms; embeddings, language modeling, and sequence labeling; lexical resources and terminology extraction; morphology and part-of-speech tagging; syntax and chunking; named entity recognition; word sense disambiguation and anaphora resolution; semantics, discourse, and dialog. Part II: machine translation and multilingualism; sentiment analysis, opinion mining, subjectivity, and social media; text classification and categorization; information extraction; and applications. .
    Note: Machine Translation and Multilingualism -- Enabling Medical Translation for Low-Resource Languages -- Combining Phrase and Neural-based Machine Translation: what worked and did not -- Combining machine translated sentence chunks from multiple MT systems -- Forest to String Based Statistical Machine Translation with Hybrid Word Alignments -- Instant Translation Model Adaptation by Translating Unseen Words in Continuous Vector Space -- Fast-Syntax-Matching-based Japanese-Chinese Limited Machine Translation -- A Classifier-based Preordering Approach for English-Vietnamese Statistical Machine Translation -- Quality Estimation for English-Hungarian Machine Translation Systems with Optimized Semantic Features -- Genetic-based decoder for statistical machine translation -- Bilingual Contexts from Comparable Corpora to Mine for Translations of Collocations -- Bi-Text Alignment of Movie Subtitles for Spoken English-Arabic Statistical Machine Translation -- A Parallel Corpus of Translationese -- A Low Dimensionality Representation for Language Variety Identification -- Sentiment Analysis, Opinion Mining, Subjectivity, and Social Media -- Towards Empathetic Human-Robot Interactions -- Extracting Aspect Specific Sentiment Expressions implying Negative Opinions -- Aspect Terms Extraction of Arabic Dialects for Opinion Mining Using Conditional Random Fields -- Large Scale Authorship Attribution of Online Reviews -- Discovering Correspondence of Sentiment Words and Aspects -- Aspect Based Sentiment Analysis: Category Detection and Sentiment Classifcation for Hindi -- A New Emotional Vector Representation For Sentiment Analysis -- Cascading Classifiers for Twitter Sentiment Analysis with Emotion Lexicons -- A Multilevel Approach to Sentiment Analysis of Figurative Language in Twitter -- Determining sentiment in citation text and analyzing its impact on the proposed ranking index -- Combining Lexical Features and a Supervised Approach for Arabic Sentiment Analysis -- Sentiment analysis in Arabic Twitter posts using supervised methods with combined features -- Interactions between Term Weighting and Feature Selection Methods for Sentiment Analysis of Turkish Reviews -- Developing a concept-level knowledge base for sentiment analysis in Singlish -- Using syntactic and semantic features for classifying modal values in the Portuguese language -- Detecting the Likely Causes behind the Emotion Spikes of Influential Twitter Users -- Age Identification of Twitter Users: Classification Methods and Sociolinguistic Analysis -- Mining of Social Networks from Literary Texts of Resource Poor Languages -- Collecting and Annotating Indian Social Media Code-Mixed Corpora -- Turkish Normalization Lexicon for Social Media -- Text Classification and Categorization -- Introducing Semantics in Short Text Classification -- Topics and Label Propagation: Best of Both Worlds for Weakly Supervised Text Classification -- Deep Neural Networks for Czech Multi-label Document Classification -- Turkish Document Classification with Coarse-grained Semantic Matrix -- Supervised Topic Models for Diagnosis Code Assignment to Discharge Summaries -- Information Extraction -- Identity and Granularity of Events in Text -- An informativeness approach to Open IE evaluation -- End-to-End Relation Extraction using Markov Logic Networks -- Knowledge Extraction with NooJ Using a syntactico-Semantic Approach for the Arabic Utterances Understanding -- Adapting TimeML to Basque: Event annotation -- Applications -- Deeper summarisation: the second time around -- Tracing Language Variation for Romanian -- Aoidos: A System for the Automatic Scansion of Poetry Written in Portuguese.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783319754864
    Language: English
    Keywords: Konferenzschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_9949255041102882
    Format: XXII, 811 p. 502 illus., 345 illus. in color. , online resource.
    Edition: 1st ed. 2022.
    ISBN: 9789811670886
    Series Statement: Advances in Intelligent Systems and Computing, 1413
    Content: This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fourth International Conference on Soft Computing and Signal Processing (ICSCSP 2021). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
    Note: Data Preprocessing and finding optimal value of K for KNN Model -- Prediction of Cardiac Diseases using Machine Learning Algorithms -- A Comprehensive Approach to Misinformation Analysis and Detection of Low-Credibility News -- Evaluation of Machine Learning Algorithms for Electroencephalography based Epileptic Seizure State Recognition -- Lung Disease Detection and Classification from Chest X-Ray Images using Adaptive Segmentation and Deep Learning -- A Quantitative analysis for Breast Cancer prediction using Artificial Neural Network and Support Vector Machine -- Tracking Misleading News of COVID-19 within Social Media -- Energy aware Multi-chain PEGASIS in WSN: A Q-Learning Approach -- TEXTLYTIC: Automatic Project Report Summarization using NLP Techniques -- Management of Digital Evidence for Cybercrime Investigation- A Review -- Realtime Human Pose Detection and Recognition using Mediapipe -- Charge the Missing Data with Synthesized Data by using SN-Sync technique -- Discovery of Popular Languages from GitHub Repository: A Data Mining -- Performance Analysis of Flower Pollination Algorithms using Statistical Methods: An Overview -- Counterfactual causal analysis on structured data -- Crime Analysis Using Machine Learning -- Multi-Model Neural Style Transfer for Audio and Image (MMNST) -- Feature Extraction from Radiographic Skin Cancer Data using LRCS -- Shared Filtering-Based Advice Of Online Group Voting -- Mining Challenger From Bulk Preprocessing Datasets -- Prioritized Load Balancer for minimization of VM and Data Transfer Cost in Cloud Computing -- Smart Underground Drainage Management System using Internet of Things -- Iot Based System For Health Monitoring Of Arrhythmia Patients Using Machine Learning Classification Techniques -- EHR-Sec: A Blockchain based Security System for Electronic Health -- End to End Speaker Verication For Short Utterances -- A Comprehensive Analysis on Multi-class Imbalanced Bigdata Classification -- Efficient Recommender System for Kid's Hobby using Machine Learning -- Programming Associative Memories -- Novel Associative Memories based on Spherical Seperability -- An Intelligent Fog-IoT based Disease Diagnosis Healthcare System -- Pre-processing of linguistic divergence in English- Marathi language pair in Machine Translation -- Deep Learning Approach for Image Based Plant Species Classification -- Inventory, Storage and Routing Optimization with Homogeneous Fleet in the Secondary Distribution Network Using a Hybrid VRP, Clustering and MIP Approach -- Evaluation and Comparison of various static and dynamic load balancing strategies used in cloud computing -- Dielectric Resonator Antenna with Hollow Cylinder for Wide Bandwidth -- Recent Techniques in Image Retrieval: A Comprehensive Survey -- Medical Image Fusion Based On Energy Attribute and PA-PCNN in NSST Domain -- Electrical Shift and Linear Trend artifacts removal from single channel EEG using SWT-GSTV model -- Forecasting Hourly Electrical Energy output of a Power plant using parametric models -- Cataract detection using Deep Convolutional Neural Networks -- Comparative Analysis of Body Biasing Techniques for Digital Integrated Circuits -- Optical Mark Recognition with Facial Recognition System -- Evaluation of Antenna Control System for Tracking Remote Sensing Satellites -- Face Recognition using Cascading of HOG and LBP Feature Extraction -- Design of wideband patch Antenna using metamaterial and Dielectric resonator Structures -- Call Admission Control for Interactive Multimedia Applications in 4G Networks -- AI-based Pro-Mode in Smartphone Photography -- A ML-Based Model to Quantify Ambient Air Pollutant -- Multimodal biometric system using Undecimated Dual-Tree Complex Wavelet Transform -- Design of Modified Dual - Coupled Linear Congruential Generator Method Architecture for Pseudorandom Bit Generation -- Performance Analysis of PAPR and BER in FBMC-OQAM With Low-complexity Using Modified Fast Convolution -- Sign Language Recognition using Convolution Neural Network -- Key Based Obfuscation of Digital Design for Hardware Security -- IOT based Card less Banking System with Fingerprint Authentication Using Raspberry Pi -- Low Complexity and High speed Montgomery Multiplication based on FFT -- An Efficient Group Key Establishment for Secure Communication to multicast groups for WSN-IoT nodes -- Design of sub-volt High Impedance Wide Bandwidth Current Mirror for High Performance Analog Circuit -- Low Voltage Low Power Design of Operational Transconductance Amplifier -- Automatic detection of Cerebral microbleed using Deep bounding box based watershed segmentation from MR images -- New Efficient Tunable Window Function for Designing FIR Digital Filter -- Brain Tumour Detection Using Convolutional Neural Networks in MRI Images -- Design of circular patch antenna with square slot for wearable Ultra-wide band Applications -- Design of Area Efficient and Low Power 4-Bit Baugh Wooley Multiplier Using Full-Swing GDI technique -- VLSI IMPLEMENTATION OF THE LOW POWER NEUROMORPHIC SPIKING NEURAL NETWORK WITH MACHINE LEARNING APPROACH -- IOT based Energy Saving Recommendations by Classification of Energy Consumption Using Machine Learning Techniques.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9789811670879
    Additional Edition: Printed edition: ISBN 9789811670893
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    almahu_9949520055302882
    Format: XXVIII, 970 p. 440 illus., 309 illus. in color. , online resource.
    Edition: 1st ed. 2023.
    ISBN: 9783031263842
    Series Statement: Lecture Notes in Networks and Systems, 637
    Content: This book describes the potential contributions of emerging technologies in different fields as well as the opportunities and challenges related to the integration of these technologies in the socio-economic sector. In this book, many latest technologies are addressed, particularly in the fields of computer science and engineering. The expected scientific papers covered state-of-the-art technologies, theoretical concepts, standards, product implementation, ongoing research projects, and innovative applications of Sustainable Development. This new technology highlights, the guiding principle of innovation for harnessing frontier technologies and taking full profit from the current technological revolution to reduce gaps that hold back truly inclusive and sustainable development. The fundamental and specific topics are Big Data Analytics, Wireless sensors, IoT, Geospatial technology, Engineering and Mechanization, Modeling Tools, Risk analytics, and preventive systems.
    Note: Using Blockchain in University Management Systems- state of art -- Graph Neural Networks to improve Knowledge Graph Embedding: A survey -- Tifinagh Handwritten Character Recognition Using Machine Learning Algorithms -- Maintenance prediction based on Long Short-Term Memory algorithm -- Towards an approach for studying the evolution of learners' learning in E-learning -- Chatbots Technology and its Challenges: An Overview -- Machine Learning, Deep Neural Network and Natural Language Processing based Recommendation System -- Artificial intelligence for fake news -- Traffic congestion and road anomalies detection using CCTVs images processing, challenges & opportunities -- Text-based Sentiment analysis -- Smart tourism destinations as complex adaptive systems: A theoretical framework of resilience and sustainability -- Machine learning algorithms for automotive software defect prediction -- Agile User Stories' Driven Method: A Novel Users Stories Meta-model in the MDA Approach -- AI-based adaptive learning - State of the art -- A new Predictive analytics model to assess the employability of academic careers, based on genetic algorithms -- New approach for anomaly detection and prevention -- FunLexia: an Intelligent Game for Children with Dyslexia to Learn Arabic -- Artificial Neural Networks Cryptanalysis of Merkle-Hellman Knapsack Cryptosystem -- Using machine learning algorithms to increase the supplier selection process efficiency in supply chain 4.0 -- A new approach to intelligent-oriented analysis and design of urban traffic control: Case of a traffic light -- Spatio-temporal crime forecasting: Approaches, datasets, and comparative study -- Data migration from relational to NoSQL database : Review & Comparative study -- Recommendation system: technical study -- The appropriation of the agile approach in public sector: Modeling the achievement of good governance -- The contribution of Deep learning models: application of LSTM to predict the Moroccan GDP growth using drought indexes -- Natural Language Processing and Motivation for Language Learning -- Generating Artworks using One Class SVM with RBF kernel -- Multiobjective Evolutionary Algorithms for Engineering Design Problems -- Designing Hybrid Storage Architectures with RDBMS and NoSQL Systems: A Survey -- Analysis of the pedagogical effectiveness of teacher qualification cycle in Morocco: A Machine learning model approach -- Smart education - A case study on a simulation for climate change awareness & engagement -- Towards an E-commerce personalized recommendation system with KNN classification method -- Convolutional Long Short-Term Memory Network Model for Dynamic Texture Classification: A Case Study -- Towards an accident severity prediction system with Logistic Regression -- FUZZY C-MEANS Based Extended Isolation Forest for Anomaly Detection -- Fashion Image Classification using Convolutional Neural Network-VGG16 and eXtreme Gradient Boosting Classifier -- MentorBot: A Traceability-Based Recommendation Chatbot for Moodle -- Regularization in CNN: A mathematical study for L1, L2 and Dropout regularizers -- Shipment consolidation using K-means and a combined DBSCAN-KNN approach -- A new approach to protect Data in-Use at Document Oriented Databases -- A Dual Carriageway Smart Street Lighting Controller Based On Multi-Variate Traffic Forecast.-Blockchain-based Self Sovereign Identity Systems: high-level processing and a challenges-based comparative analysis -- Impact of Machine Learning on The Improvement of Accounting Information Quality -- NLP Methods' Information Extraction for Textual Data: An Analytical Study -- Handwriting recognition in historical manuscripts using a deep learning approach -- Artificial intelligence for a sustainable finance: A bibliometric analysis -- Geoparsing Recognition and Extraction from Amazigh corpus using The NooJ Complex Annotation Structures -- Agent-based merchandise management and real-time decision support systems -- Selecting the Best Moroccan Tourist Destination Using the Fuzzy Analytic Hierarchy Process -- Improving model performance of the prediction of online shopping using oversampling and feature selection -- Combining Descriptors for Efficient Retrieval in Databases Images -- TOWARDS AN EDUCATIONAL PLANNING INFORMATION SYSTEM IN BIG DATA ENVIRONMENT -- CNN-based Face Emotion Detection and Mouse Movement Analysis to Detect Student's Engagement Level -- Data Cleaning in Machine Learning : Improving Real Life Decisions and Challenges -- Blockchain-Based Cloud Computing: Model-Driven Engineering Approach -- Student Attention Estimation Based on Body Gesture -- Cat Swarm Optimization Algorithm for DNA Fragment Assembly Problem -- DSGE AND ABM, TOWARDS A "TRUE" REPRESENTATION OF THE REAL WORLD? -- Predictive Hiring System: Information Technology Consultants Soft Skills -- Automated Quality Inspection Using Computer Vision: a Review -- A Comparative Study of Adaptative Learning Algorithms for Students' Performance Prediction: Application in a Moroccan University Computer Science Course -- Pedestrian Orientation Estimation using Deep Learning -- Artificial intelligence application in drought assessment, monitoring and forecasting using available remote sensed data -- CSR communication through social networks: the case of committed brandbanks in Morocco -- Content-Based Image Retrieval Using Octree Quantization Algorithm -- Release Planning Process Model in Agile Global Software Development -- Developing a New Indicator Model to Trade Gold Market -- A new model indicator to trade Foreign Exchange market -- Improving Arabic to English Machine Translation -- Artificial Neural Network with Learning Analytics for Student Performance Prediction in Online Learning Environment -- Attentive Neural Seq2Seq for Arabic Question Generation -- Microservice-Specific Language, a step to the Low-code platforms -- Case Study of Economic Dispatch Problem in Smart Grid System -- Teaching Soft Skills online, what are the most appropriate pedagogical paradigms? -- Road Object Detection: A Case Study of Deep Learning-Based Algorithms -- A comparative review of Tweets Automatic Sarcasm Detection in Arabic and English -- Mobile payment as a lever for financial inclusion -- New Approach to Interconnect Hybride Blockchains -- A Variable Neighborhood Search (VNS) heuristic algorithm based classifier for credit scoring -- Application of Machine Learning Techniques To Enhance Decision Making Lifecycle -- A Smart interactive decision support system for real-time adaptation in the mobility strategy for optimization of the employee's transportation -- A Hesitant fuzzy Holdout method for models' selection in Machine Learning -- Interpretable Credit Scoring Model Via Rule Ensemble -- A New Distributed Architecture Based on Reinforcement Learning for Parameter Estimation in Image Processing -- Smart Sourcing Framework for Public Procurement Announcements Using Machine Learning Models -- An MCDM-Based Methodology for Influential Nodes Detection in a Social Network. Facebook as a Case Study -- A Predictive Approach based on Feature Selection to Improve Email Marketing Campaign Success Rate -- DIAGNOSIS AND ADJUSTMENT FOR SUSTAINABLE TOURISM.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783031263835
    Additional Edition: Printed edition: ISBN 9783031263859
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    almahu_9949420161902882
    Format: XV, 731 p. 343 illus., 259 illus. in color. , online resource.
    Edition: 1st ed. 2023.
    ISBN: 9789811926006
    Series Statement: Lecture Notes on Data Engineering and Communications Technologies, 137
    Content: This book presents the latest findings in the areas of data management and smart computing, big data management, artificial intelligence, and data analytics, along with advances in network technologies. The book is a collection of peer-reviewed research papers presented at Sixth International Conference on Data Management, Analytics and Innovation (ICDMAI 2022), held virtually during January 14-16, 2022. It addresses state-of-the-art topics and discusses challenges and solutions for future development. Gathering original, unpublished contributions by scientists from around the globe, the book is mainly intended for a professional audience of researchers and practitioners in academia and industry.
    Note: Part I: Machine Learning -- Recognizing similar relationships within ontology to fine tune Ontology -- Object Detection using Peak, Balanced Division Point and Shape based Features -- End to End Agile and Automated Machine Learning Framework for Trustworthy, Reliable and Sustainable Artificial Intelligence -- Automated Structured Data Extraction from Scanned Document Images -- Effective Sentiment Analysis of Bengali Corpus by using the Machine Learning approach -- Review on Android Malware Detection System -- Hypothesis Testing of Tweet Text using NLP -- Forecasting Severe Thunderstorm by applying SVM Technique on Cloud imageries -- Breast Cancer Prediction using MachineLearning Techniques -- Ontology-Driven Scientific Literature Classification using Clustering and Self-Supervised Learning -- Modeling and forecasting Tuberculosis cases using machine learning and deep learning approaches: A Comparative Study -- Drone Integrated Detection and Rebarbative System with Variable Frequency for Agricultural Farm Invading Animals -- Support Vector Machines and Random Forest Classification models for identification of Stability in Extrusion Film Casting Process -- Predicting CO2 emissions by Vehicles using Machine Learning -- Augmented Feature Generation using Maximum Mutual Information Minimum Correlation -- Impact of Energy Sector on Climate Change in India using Forecasting Models -- Towards Efficient Edge Computing Through Adoption of Reinforcement Learning Strategies: A Review -- Thematic Classification Based On Topological Traits -- Machine Learning based Earthquake Early Warning (EEW) System: A case study of Himalayan Region -- Topic Modelling Based Semantic Search -- Machine Learning based Automated Process for Predicting the Anomaly in AIS Data -- A Hybrid Machine Learning Model for Estimation of Obesity Levels -- Part II: AI & Deep Learning -- Regulations 4.0: Digitally Transforming the Regulatory Space -- Speech To Text for Data Entry - Opportunities and Challenges -- A Gamification Architecture For Online Learning Platform using Neural Network -- Literature Review on Sign Language Generation -- Indoor Navigation Using Augmented Reality -- Foreign object detection on an assembly line -- Inverse Contexture Abstractive Term Frequency Model using Surf Scale Diffusive Neural Network for analysis of fake social content in public forum -- Literature Review on Machine Translation Systems for Sign Language Generation -- Depression Detection from Twitter Data using Two Level Multi-modal Feature Extraction -- COVID-19 Regulations Check: Social Distancing, People Counting and Mask Wear Check -- Urdu & Hindi Poetry Generation using Neural Networks -- Implementation of Open Domain Question Answering System -- Design and Implementation of Surround View Monitoring System in View of Autonomous Vehicle -- Generation of Indian Sign Language Animation from Audio and Video Content using Natural Language Processing -- Histogram Based Initial Centroids Selection for K-Means Clustering -- Siamese Network-based system for criminal identification -- Track-III: Data Storage Management & Innovation -- Organization Network Analysis for study of employee techno-social connects and effect of human behavior and organizational culture on the underlying network -- Track IV: Enabling Technologies & Applications -- Sky Computing Smart Locality Aware approach for Health Analytics -- Citation Biases: Detecting Communities from Patterns of Temporal Variation in Journal Citation Networks -- Enhancing the Performance of Multiple Wi-Fi Network -- ARCaddy: Augmented Reality App Suite for Aircraft Maintenance -- Meditation Therapy for Stress Management Using Brainwave Computing and Real Time Virtual Reality Feedback -- Real Time Carbon Emissions Calculator for Personal Computers -- Track-V: Data Science Techniques for handling Pandemic -- Navigation System for Visually Impaired People -- Design aspects of a Multi-dimensional Hybrid analytical processing system -- A data science approach to evaluate drug effectiveness: Case Study of Remdesivir for Covid-19 patients in India -- A Softcomputing Approach For Predicting And Categorising Learner's Performance Using Fuzzy Model.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9789811925993
    Additional Edition: Printed edition: ISBN 9789811926013
    Additional Edition: Printed edition: ISBN 9789811926020
    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