[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: June 30, 2021 (extended) - Acceptance Notification: July 15, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer review scores as well
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: June 30, 2021 (extended) - Acceptance Notification: July 15, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors.
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: June 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haskell.org http://mail.haske
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: June 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer review scores as well a
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Extended Deadline 13 june 2021
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: June 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors.
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -New extended deadline 13 june 2021
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: June 13, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haskell.org http://mail.haske
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer review scores as well as
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer review scores as well as
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: May 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haskell.org http://mail.haskel
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer review scores as well
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors.
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haskell.org http://mail.hask
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer review scores as well
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 20, 2021 (extended) - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors.
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haske
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haske
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haske
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haske
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The IRSH 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Interoperability and Data Integration - Confidentiality and Data Security - Data protection - Data Sharing - Security, Privacy, and Trust - Emergent healthcare standards - Emergent healthcare architectures - ICT, Ageing and Disability - Physiological and behavioural modelling - Pandemic and disease modeling - Usability and user experience of medical devices - Human behaviour - Clinical investigation regulatory frameworks - Integrated healthcare approaches - eHealth data standards and interoperability (e.g. HL7/FHIR) - Databases and data warehousing - Big Data and Open Data for healthcare - Design and Development of Methodologies for Healthcare - Emergent Communication Technologies - Real-time interaction theories - Emergent Technologies for Ambient Assisted Living - User Interface Design for healthcare - Sustainability - New approaches for accuracy and effectiveness - Data mining and bioinformatics - Enhanced living environments - Analysis and evaluation of healthcare systems INTELLIGENT HEALTHCARE - Pattern recognition and Machine - Learning for healthcare - Cognitive Informatics - Big Data in Healthcare - Wellbeing Informatics - Data Mining and Data Analytics - Data Visualization - Smart environments - Smart Ambient Assisted Living - Intelligent healthcare solutions - Agent-based solutions for healthcare - Collaboration systems - Intelligent Electronic Health Records - Internet of Things for healthcare - Cyber-Physical Systems for healthcare - Ambient Computing and Reasoning - Context Awareness - Smart devices for eldercare - Autonomy and active ageing - Emergent technologies for intelligent Computer Vision - Service production and delivery - Gamification - Multi-modal interaction - Computer-aided detection and diagnosis - Crowdsourcing for smarted healthcare SERVICES, SYSTEMS, AND INFRASTRUCTURES - Emergent healthcare services - Pervasive health systems and services - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - eHealth - Electronic health records - Assistive technologies - Disease surveillance and patient monitoring systems - Prevention and detection systems - Home monitoring - Healthcare management systems - ICT-based therapeutic systems - ICT-based rehabilitation technologies - Wearable health informatics - Emergent technologies for data analytics - Ambient Assisted Leaving (AAL) - Decision Support Systems - Emergent Technologies for Remote AAL Monitoring - Emergent Technologies and Accessibility - 5G for healthcare - Healthcare supply chain and logistics - Wireless Body Networks - Telemedicine and mobile telemedicine - Mobile Systems - Software Defined infrastructures - Patient empowerment systems - Smart technology for remote patient visits - Biosensors - Medical devices APPLICATIONS - eHealth applications - Application of health informatics in clinical cases - Mobile technologies for healthcare applications - Software Systems in healthcare - Social networking and healthcare - Case Studies - Personalization and patient experience - AR and VR applications - Patient billing - Accounting systems - Personnel and payroll - Materials management - Voice recognition systems - Asset management solutions - Disease management - Feedback integration - Clinical software - Crowd-computing applications - Future directions - Drone-based solutions - Software Defined Networks for healthcare *** OUTSTANDING PAPERS: Based on the peer
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers accepted in RTATM 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The RTATM 2021 conference will be held in Conjunction with: International Conference on Applied Data Science and Intelligence (ADSI 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Modelling and Simulation Algorithms - Vehicular Wireless Medium Access Control - V2X communications - Routings and Protocols for Connected Vehicles - Mobility Models and Architectures - Distribution Strategies - Traffic Incident Management Systems - Bio-Inspired Approaches - Optimization and Collaboration - Automatic Control in Vehicular Networks - Energy-aware Connected Mobility - Programming Languages - Sustainable Transportation - Multimodal Transportation Networks and Systems - Systemsb Integration - Driver Behavior Models and Simulation - Human Factors and Travel Behaviour - Green Mobility - Regulations and Bylaws for Intelligent - Transportation and Mobility SMART TRANSPORTATION AND LOGISTICS - Mobility Management - Connected Vehicles - VANETs - Predictive Logistics - Spatio-Temporal Event Tracking - Decision Support Systems - Emergency Management - Logistics and E-Commerce - Supply Chain Design and Execution - Supply Chain Management - Advanced Planning Systems - Fleet Management - Multi-Agent Systems - Machine Learning for Smart Logistics - Intelligent Infrastructures - Real-time Analysis of Comprehensive Supply Chain Data - Smart Synchronization of Logistics Processes - New Approaches for Cost Transparency - Big Data for Smart Logistics - Logistics 4.0 - Mobile Networks - Next-Generation Smart Logistics - Performance Management Approaches - Tests and Deployment - Software Defined Networks - Smart Freight Management - Smart Shipment Management - Smart Warehousing - Smart Inventory management DATA AND SERVICES - Real-Time transportation Data Acquisition - Event Detection and Monitoring - Data Warehouses for connected mobility - Data mining and Data analytics - Data Worthiness in Connected Vehicles - Data Trustworthiness for effective transportation and mobility - Road Traffic Data Analytics - Structured and Unstructured Data for Connected Mobility - Volunteered Geographic Information (VGI) - Data Representation for Connected Mobility - Transportation Data Mining - Transportation and mobility Data Visualization - Cognitive and Context-aware Intelligence - Transportation Decision Support Systems - Mobility as a Service (MaaS) - Intelligent Transportation Services - Smart Mobility Services - Big Data and Vehicle Analytics - Massive Data Management - Collective and connected Intelligence - Next Generation Services - Driver Behaviour Analysis - Geo-Spatial Services - Service-Oriented Architecture (SOA) - Web and Mobile Services SAFETY, SECURITY, AND HAZARD MANAGEMENT - Security Issues in Vehicular Communications - Safety Applications of Connected Vehicles - Weather-related Safety solutions - V2V, V2I and I2V Road Safety Applications - Connected Mobility for Hazard Management - Risk Management - Road Traffic Crashes Analytics - Traffic Jam Prediction - Resource Allocation for Hazard Management - Trust and Privacy Issues in Logistics - Management of Exceptional Events - New approaches to Networking Security for Transportation Applications - Failure modes, human factors, software safety - Automated Failure Analysis - Performance and Human Error Analysis - Design and Reliability of Control Systems - Dispersion Modelling Software - Quantification of Risk *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues wit
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be published in Springer CCIS (Communications in Computer and Information Science). CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings Citation (Former ISI Proceedings) *** IMPORTANT DATES: - Paper Submission: April 1, 2021 - Acceptance Notification: July 1, 2021 - Final Manuscript Due: September 1, 2021 *** The ADSI 2021 conference will be held in Conjunction with: International Conference on Recent Theories and Applications in Transportation and Mobility (RTATM 2021) International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) *** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: FUNDAMENTALS AND THEORIES - Theoretical Models - Spatial and temporal multi-models - Multi-dimensional data - Data acquisition and pre-processing - Data inference - Data Classification and Taxonomy - Data Metrics - New approaches for collaboration and competition - Self-organization, self-healing, fault-tolerance approaches - Spatial reasoning - Context awareness - Intelligent mobility - New approaches to supervised and unsupervised learning - New approaches for security, privacy, trust, and ethics in data science - Real-time data analytics - Multi-Agent Systems for data science - Distributed data analytics - Data authenticity - New theories and approaches for Deep learning - New approaches for Business Intelligence - Fuzzy logic - Decision trees - Support vector machines - Evolutionary computation - Statistical methods - Collaborative filtering - Data engineering - Content mining - Indexing schemes - Information retrieval - Metadata use and management INTELLIGENT DATA PROCESSING AND ANALYTICS - Multi-level data processing - Data analytics optimization - Smart data mining - Machine Learning - Deep Learning - Bio-Inspired Computing - Secure data analytics - Privacy in data analytics - Trust in Big Data - Business intelligence - Visualization Analytics - Intelligence as a Service (IaaS) - Data Science as a Service (DSaaS) - Natural Language Processing - Signal Processing - Simulation and Modeling - Data-Intensive Computing SYSTEMS AND INFRASTRUCTURES - Data storage infrastructure - Data warehouses - Data Query and Indexing Technologies - Software Defined Infrastructures - Software Defined Networks (SDN) - Distributed data systems - Smart grid computing - Intelligent data management - Big Data computing - Smart data networking - Internet of Things - Cyber Physical Systems - Blockchain - Fog and Edge intelligence - Parallel Computing systems - Open Source systems for data science - Embedded intelligence - Embedded data science - In-Memory computing - Intelligent drones - Internet of Drones - Real-time data acquisition systems APPLICATIONS - Intelligent Hazard management - Intelligent data science in healthcare - Intelligent data science in farming - Intelligent data science in Oil and Gas - Smart logistics - Intelligent data science in transportation - Intelligent data science in surveillance - Xtech (Fintech, Agritech, etc.) - Intelligent drones - Digital transformation - Bioinformatics - Marketing - Social Science - E-learning and E-services *** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/conferences/?conf=adsi2021). All papers will be peer reviewed. Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column page format, 400 words per page) Length of Short papers: less than 12 pages For more information, please refer to the conference website: https://confscience.com/adsi/ *** CONTACT For more information, please send an email to info-a...@confscience.com ___ Haskell mailing list Haskell@haske
Re: [Haskell] Haskell Weekly News: Issue 155 - October 20, 2010 (Originally posted to Haskell-Cafe)
(Not really Haiku form:) Haskell Weekly News, finally back! Nooo, they just hid in the café!? So many to catch up... 3. Oh, I'm so happy! Daniel! Thanks! - Marc Am Thursday 21 October 2010 schrieb Daniel Santa Cruz: > Hello all, > > Malcolm Wallace noticed that I had not posted the HWN to this list, > and requested that I do so. > I realize that many of you are also following -Cafe, and I do > apologize if this is a bit spamish due > to that. Hopefully some of you will find this useful. > > -Daniel > > Welcome to issue 155 of the HWN, a newsletter covering developments in > the [1]Haskell community in the week of October 10 - 16. > > This time around we again have 87 posts to HackageDB. Instead of > posting the individual packages, we get to see and celebrate the 43 > people behind these efforts. > > Want to keep a close eye on the haskellers that lurk twitter? Don > Steward made [2]a twitter list of tweeting haskellers! Let him know if > you'd like to be added to the list. > > There were a total of 24 new stories posted to the Haskell Reddit > channel, 27 new questions taged with Haskell in StackOverflow, and 408 > messages posted to Haskell-Cafe. > > So, what was hot last week? > > Announcements > > Gregory Crosswhite is pleased to [3]announce the release of a family of > packages for type-level natural numbers. He also [4]announced > tagged-list, a package which provides fixed-length lists that are > tagged with a phantom type-level natural number corresponding to the > length. > > Janis Voigtlander [5]announced that it is time to collect contributions > for the 19th edition of the Haskell Communities & Activities Report. > The submission deadline is November 1, 2010. > > Alexander Solla [6]announced his new "Facts" library. The Facts > hierarchy is meant to contain commonly used, relatively static facts > about the "real world." > > Kevin Jardine [7]announced polyToMonoid: a library that supplies two > very general polyvariadic functions that can map their arguments into > any monoid you specify. > > Simon Hengel [8]announced a new version of DocTest. DocTest now uses > Haddock for parsing of comments. > > Interesting Threads on Haskell-Cafe > > Michael Snoyman [9]reported that Haskellers.com has become popular a > lot falter that he anticipated. Read up on what changes are planned for > Haskellers.com. Michael is very interested in some help with running > the site. > > Jacek Generowicz [10]asked how to deal with dynamic dispatch on > extensible sets of types. > > Uwe Schmidt [11]replied to a question about why HXT uses arrows as > opposed to using monads. Good comments followed. > > Jason Dusek [12]asked if there is a way to write a Haskell data > structure that is necessarily only one or two or seventeen items long; > but that is nonetheless statically guaranteed to be of finite length? > Twenty-three messages followed. > > Simon Thompson [13]annouced the availability of books for review for > the Journal of Functonial Programming. > > Andrew Copping [14]summarized a report produced by Google Szwitzerland > on taking a Python system and rewriting bits of it in Haskell, some of > which is now in production use. > > Ben Franksen [15]ranted about the current "Haskell Blurb" on the first > paragraph of haskell.org. Quite the read to end the week :) > > Top Reddit Stories > > * Using Haskell’s ‘newtype’ in C >Domain: blog.nelhage.com >Score: 37, Comments: 5 >On Reddit: > http://www.reddit.com/r/haskell/comments/dptzh/using_haskells_newtype_in_c/ >Original: http://blog.nelhage.com/2010/10/using-haskells-newtype-in-c/ > > * The Haskell theme: consistent visual branding for Haskell >Domain: haskell.org >Score: 34, Comments: 11 >On Reddit: > http://www.reddit.com/r/haskell/comments/dqiej/the_haskell_theme_consistent_visual_branding_for/ >Original: > http://www.haskell.org/pipermail/haskell-cafe/2010-October/084781.html > > * Haskellers: Survey results and new site features >Domain: haskellers.com >Score: 22, Comments: 6 >On Reddit: > http://www.reddit.com/r/haskell/comments/dr37b/haskellers_survey_results_and_new_site_features/ >Original: http://www.haskellers.com/news/1/ > > * My Experience Learning Haskell >Domain: blog.virtucal.com >Score: 21, Comments: 6 >On Reddit: > http://www.reddit.com/r/haskell/comments/drgcz/my_experience_learning_haskell/ >Original: > http://blog.virtucal.com/cyclical/2010/10/14/my-experience-learning-haskell.html &g
Re: [Haskell] Re: Marketing Haskell
slow and lazy... that's me, too. but haskell is not slow. how about an octopus? there are some kinds (or all?), which are more chameleon like than real chameleons; they can look like strange fishes, stones, or whatever. they have a decentralized brain (like multi core), are really intelligent (can even open cucumber glasses, but probably not 100 bottles of beer) and are from the stronger types of animals; strong because they save their energy (glucose and oxygen) in their blood for times when they need it -- like being lazy but fast. they can swim backwards and can squeeze themself through holes of the size of their own eyes -- reminds me of javascript as backend. and they are funny and cool: they squirt water at you like dolphins -- the "Quotes of the Week" are funny and cool, too, but you have to wet yourself. imho, you can compare them to handy parrots (but mute) with colour/sign language and chameleon features. and they know some ninja arts; inky, but ninjas are cool. some videos: The Indonesian Mimic Octopus <http://www.youtube.com/watch?v=H8oQBYw6xxc> One Very Clever Octopus <http://www.youtube.com/watch?v=VLLQOK1gZE4> Skilled octopus opens bottles <http://www.youtube.com/watch?v=wfRqYjv9QgA> Octopus escaping through a one inch hole <http://www.youtube.com/watch?v=9-azBDt0kik> Wow! Giant octopus - extreme animals - BBC wildlife <http://www.youtube.com/watch?v=lwAqhThd_EQ> Pulpos: suave inteligencia (Octopus intelligence) <http://www.youtube.com/watch?v=T8cf7tPoN5o> - marc Am Donnerstag, 2. April 2009 schrieb Bulat Ziganshin: > Hello Benjamin, > > Thursday, April 2, 2009, 2:54:38 PM, you wrote: > > > Likewise. Why don't we ask the real Simon to choose an additional > > mascot for Haskell? Something slow and lazy would do > > i propose myself... > > -- > Best regards, > Bulatmailto:bulat.zigans...@gmail.com > > ___ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > signature.asc Description: This is a digitally signed message part. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] F# to ship as part of Visual Studio 2010
On Sat, Dec 13, 2008 at 03:42:35PM +0300, Bulat Ziganshin wrote: > Hello , > > http://blogs.msdn.com/dsyme/archive/2008/12/10/fsharp-to-ship-as-part-of-visual-studio-2010.aspx > > now we can say definitely that 201x decade will be years of FP > replacing OOP in programmers' minds hehe :-) funny. do you think they'll change their the .net libraries to have functional interfaces as well? That'd be required to get OO out of the minds of users.. But there is still enough time till 2010 for that to happen? Thanks for the note. Marc Weber ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] ANNOUNCE: htags-1.0
On Mon, Nov 03, 2008 at 01:25:23PM -0500, David Sankel wrote: > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/htags > > htags is a tag file generator to enable extra functionality in editors > like vim. It expands upon hasktags by using a full Haskell 98 parser > and options for recursion. Maybe you want to take some ideas from my enhanced hasktags version: http://mawercer.de/~nix/hasktags.hs It has some features such as indexing only the first of those three matches (if they are found within 5 lines).. foo :: MyType -> IO () foo (Bar _) = foo (Cee _) = It's still not perfect. How do you handle extensions and cpp stuff? I mean will your program still parse #ifdef foo = #else foo = #endif ? No it doesn't. I've tried it. It doesn't handle .lhs files as well. Maybe it would be nice to have one hasktag program providing different strategies on hackage which could by synchronized with the one distributed with ghc? For vim you can also add tag classes (eg telling vim wether a found token is a (f)unction or a (c)lass ..) See the output of my enhanced version to generate some examples. Apart from .lhs and #ifdefs htags seems to work fine. Marc ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Need help with VXML again (fun deps and forall types)
has been called with empty list" where class VXMLMonad m st el_ st2 el2_ st3 el3_ st4 el4_ where vxmlgtgt :: m st el_ st2 el2_ st3 el3_ a -> m st el_ st3 el3_ st4 el4_ b -> m st el_ st2 el2_ st4 el4_ b vxmlgtgt a b = vxmlbind a $ const b vxmlbind :: m st el_ st2 el2_ st3 el3_ a -> (a -> m st el_ st3 el3_ st4 el4_ b) -> m st el_ st2 el2_ st4 el4_ b However when compiling the example (Ex I) there are a bunch of errors telling me that ghc can't find the matching instances caused by missing specialization of st.. That is ghc does no longer determine the resulting state based on parent and previous childs. Without state it can't propagate the el type ... You can see both examples in testSimple.hs vxmlSeqPlus_ ((d e), replicate 9 (d e)) vxmlMapSeqPlus_ (\n -> d e ) [1..10] So my question is: The second line does work fine, the first one dosen't. How to write vxmlMapSeqPlus_ so that I can compile the example? vxmlMapSeqPlus_ (\n -> d e ) [1..10] (d e) `vxmlgtgt` (foldr1 vxmlgtgt $ map (const $ d e) [2..10]) If you want to try this with ghc older than 6.10 you'll have to rewrite the vdo notation using vxmlbind and vxmlgtgt.. Do you have any idea how to make this work as expected? That's the last issue preventing me from trying to use it in real life projects. Sincerly Marc Weber ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] Current XML libraries status
there was a thread about xml parsing, one month ago. <http://thread.gmane.org/gmane.comp.lang.haskell.cafe/44708> well, i don't know much about xml, except what it looks like; but i know about that interesting parsing problem behind it. maybe Lev Walkin has fixed that in HXML. at least he wrote this patch... <http://article.gmane.org/gmane.comp.lang.haskell.cafe/45033> - marc - sometimes i think, i should write a paper about it. but then... naah, i'm like haskell: non-strict. Am Donnerstag, 23. Oktober 2008 schrieb Krasimir Angelov: > Hi, > > Does some one have made performance tests on the different XML libraries for > Haskell? I have a 20MB xml file that I want to read. I remember from my > earlier experiments (years ago) that all libraries were too slow and were > consuming too much memory. I hoped that this situation had changed but maybe > not. I looked at HaXML, libxml, HXML and HXT. HaXML eats a lot of memory and > is still very slow. libxml is unfinished binding to the C library. Currently > it only allows to create documents. HXML seems to be very promising. It > works fast and it doesn't eat memory. Unfortunately it is that it seems to > be rather old. It uses its own Arrow and Tree libraries instead of the > standard libraries. I have not jumped into HXT yet because it seems to be > very large library. Could someone recomend which one is the state of the > art? > > Best Regards, > Krasimir > signature.asc Description: This is a digitally signed message part. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Could not deduce .. why ?
Surely I've overseen a small point. But I can't see it: Why doesn't ghc recognize taht elc_ (class decl), elc (instance decl) and elc_1 are the same type To help you find the connecting pieces faster I've marked them with ## ## Marc data PT a b = PT b -- phantom type containing state a and the result b class AddEl el_ el2_ elc_ where addEl :: el_ -> elc -> el2_ -- el, child -- == adding sub elements (tags) = class AddElT est el_ estc ##elc_## est2 el2_ | estc est -> est2 , est est2 estc el2_ -> el_ , est est2 estc el2_ -> elc_ where addElT :: PT est el_ -> PT estc ##elc_## -> PT est2 el2_ -- first child ? attrs ok? instance ( AddEl el el2 ##elc## <-- this is not recognized because elc != elc_1 , Consume st (Elem celType) st' , DetermineElAddEl (NYV (Element elType AttrsOk st HFalse)) el (Valid celType) elc (NYV (Element elType AttrsOk st' HTrue)) el2 ) => AddElT (NYV (Element elType AttrsOk st HFalse)) el (Valid celType) ##elc## <-- elc_ from class declaration (NYV (Element elType AttrsOk st' HTrue)) el2 where addElT (PT t) (PT ##c##) = PT $ addEl t c -- <<<<<<<<< line 435, c should have type elc, not elc_1 src/Text/XML/Validated/Types.hs|435 col 32 error| || Could not deduce (AddEl el el2 elc_1) || from the context (AddElT || (NYV (Element elType AttrsOk st HFalse)) || el || (Valid celType) || elc || (NYV (Element elType AttrsOk st' HTrue)) || el2, || AddEl el el2 elc, || Consume st (Elem celType) st', || DetermineElAddEl || (NYV (Element elType AttrsOk st HFalse)) || el || (Valid celType) || elc || (NYV (Element elType AttrsOk st' HTrue)) || el2) || arising from a use of `addEl' ||at src/Text/XML/Validated/Types.hs:435:32-40 || Possible fix: || add (AddEl el el2 elc_1) to the context of the instance declaration || In the second argument of `($)', namely `addEl t c' || In the expression: PT $ addEl t c || In the definition of `addElT': || addElT (PT t) (PT c) = PT $ addEl t c ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] IVars
many many answers, many guesses... let's compare these semantics: readIVar :: IVar a -> IO a readIVar' :: IVar a -> a readIVar' = unsafePerformIO . readIVar so, we do not need readIVar'. it could be a nice addition to the libraries, maybe as "unsafeReadIVar" or "unsafeReadMVar". but the other way: readIVar v = return $ readIVar' v does not work. with this definition, readIVar itself does not block anymore. it's like hGetContents. and... readIVar v = return $! readIVar' v evaluates too much: it wont work if the stored value evaluates to 1) undefined or 2) _|_. it may even cause a 3) deadlock: do writeIVar v (readIVar' w) x<-readIVar v writeIVar w "cat" return x :: IO String readIVar should only return the 'reference'(internal pointer) to the read object without evaluating it. in other words: readIVar should wait to receive but not look into the received "box"; it may contain a nasty undead werecat of some type. (Schrödinger's Law.) - marc Am Freitag, 7. Dezember 2007 schrieb Paul Johnson: > Conal Elliott wrote: > > Oh. Simple enough. Thanks. > > > > Another question: why the IO in readIVar :: IVar a -> IO a, instead > > of just readIVar :: IVar a -> a? After all, won't readIVar iv yield > > the same result (eventually) every time it's called? > Because it won't necessarily yield the same result the next time you run > it. This is the same reason the stuff in System.Environment returns > values in IO. > > Paul. > ___ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > signature.asc Description: This is a digitally signed message part. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] help -- need a random number
that is exact the way, how i had learned about the state monads like IO and Maybe. that was even before i understood the [] monad, folding and using Random; i don't remember when that was... ghc-5.xx age. in my opinion, unsafePerformIO is a good learning tool, as soon as you use it tricky to analyze and discover "new worlds you have never been before". like this: blah = unsafePerformIO $ do putStrLn "I'm here: blah!" return blub this way, it may be even more important than undefined: undef s = unsafePerformIO $ do putStrLn "whops, this shouldn't happen" putStrLn s return undefined well, this is my unpure way of learning to think in new languages. i used ways like this in c++ to analyze OOP and to discover the world before and after int main(). greetings - marc Am Donnerstag, 26. April 2007 20:15 schrieb Johannes Waldmann: > > > import System.IO.Unsafe (unsafePerformIO,unsafeInterleaveIO) > > Whoa! I'd be very cautious recommending these for newbies ... > ___ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > pgplUz9AtQiK4.pgp Description: PGP signature ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] help -- need a random number
module Dice where import System.Random import System.IO.Unsafe (unsafePerformIO,unsafeInterleaveIO) import Data.List (unfoldr) dice4,dice6,dice8,dice10,dice12,dice20,dice666 :: [Int] dice4 = randomRs (1,4) (read "foo"::StdGen) dice6 = randomRs (1,6) (mkStdGen 5) dice8 = randomRs (1,8) (unsafePerformIO newStdGen) dice10 = unfoldr (Just . randomR (1,10)) (read "42"::StdGen) dice12 = fmap ((+1).(mod `flip` 12)) $ randoms (read "bar"::StdGen) dice20 = [succ $ x `mod` 20|x<-unfoldr (Just . random) (mkStdGen 23)] dice666 = unfoldr (\io_a -> Just . unsafePerformIO $ fmap ((,)`flip` io_a) io_a) $ randomRIO (1,666) Am Donnerstag, 26. April 2007 18:58 schrieb robert bauer: > Hi, > > I need some random numbers. The documentation identifies StdGen, but I can't > figure out how to invoke it. The documentation is great > in every way, except an actual example that I can essentially cut and paste. > > Thanks > > ___ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > pgprpEHe8HeeI.pgp Description: PGP signature ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] announce - new web-devel mailinglist on haskell.org
Hi. There is a new web-devel mailinglist on haskell.org. You can subscribe here: http://www.haskell.org/mailman/listinfo/web-devel Marc ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Re: lambda calculus theory
(this duplicates that inquiry from glasgow-haskell-users@ to haskell@) Am Sonntag, 6. November 2005 15:53 schrieb Hans N Beck: > Hi, > > I'm searching for a good mathematical oriented introduction to the > theory of lambda calculus or other theoretical foundations of Lisp/ > Haskell, i.e. monads or such (of course in the web there are much > hints, but what is the best for mathematicans foreign to this field) > > Regards > > Hans > ___ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > > Hi Hans, i'm searching for such lectures/papers/scripts, too. well, untill there is a better answer, i send you some links, which i think could be interesting to you. the first real mathematical definition of "monad", i read, was in the paper "The essence of dataflow programming". i approve to not omit that paper, if you like both, haskell and that theory. beside that, i attended a german lecture about Algebraic Topology. one chapter was about cathegory theory. it was not that much, but interesting. lambda: <http://en.wikipedia.org/wiki/Lambda_calculus> (<http://de.wikipedia.org/wiki/Lambda-Kalk%C3%BCl>) very interesting is the "typed lambda calculus", which allows effective bug-prevention, which you do not have in most variants of lisp (or lisp's derivatives) but in haskell. functor: <http://haskell.org/hawiki/CategoryTheory_2fFunctor> monad: there is a mathematical definition in the paper "The essence of dataflow programming", see 'comonad:' below. cathegory theory: <http://haskell.org/hawiki/CategoryTheory> <http://haskell.org/hawiki/CategoryTheory_2fPapers> <http://en.wikipedia.org/wiki/List_of_category_theory_topics> <http://www.eyrie.org/~zednenem/2004/hsce/> arrow: <http://www.haskell.org/arrows/> <http://www.soi.city.ac.uk/~ross/papers/fop.html> comonad: <http://comments.gmane.org/gmane.comp.lang.haskell.general/12171> beside these links, do not abstain from reading parts of the haskell library. (Data.Maybe, Data.Monoid, Control.Monad, Data.FunctorM, Control.Arrow) <http://www.haskell.org/ghc/docs/latest/html/libraries/> - marc ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: Perspectives on learning and using Haskell
> In recent conversation with a colleague, he mentioned to me that the term > "functional programming" has an image problem. He suggested that the term short komment: "meta programming" and "meta-language" makes people curious, "functional programming" seems to have the opposite effect. merry xmas - marc Am Dienstag, 23. Dezember 2003 18:26 schrieb Graham Klyne: > I've spent part of the past few months learning Haskell and developing a > moderately sized application. I came to this from a long background (20 > years or so) of "conventional" programming in a variety of languages (from > Fortran and Algol W to Java and Python). For me, learning Haskell has been > one of the steepest learning curves of any new language that I have ever > learned. Before this project, I was aware of some aspects of functional > programming, but had never previously done any "in anger" (i.e. for real). > > Throughout this period, I've been accumulating some notes about some things > that I found challenging along the way. The notes are not organized in any > way, and they're certainly not complete. I've published them on my web > site [1] in case the perspective might be useful to any "old hands" here. > > [1] http://www.ninebynine.org/Software/Learning-Haskell-Notes.html > > ... > > Also on the topic of perspectives: > > In recent conversation with a colleague, he mentioned to me that the term > "functional programming" has an image problem. He suggested that the term > conveys an impression of an approach that is staid, non-progressive or > lacking novelty, and is prone to elicit a response of "been there, done > that" from programmers who don't realize the full significance of the term > "functional". I've also noticed that when I talk about "functional > programming", some people tend to think I'm talking about using techniques > like functions in C or Pascal (which is course is very desirable, but old > hat and not worthy of great excitement). > > #g > > > > Graham Klyne > For email: > http://www.ninebynine.org/#Contact > > ___ > Haskell mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell > > ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Haskell naming conventions
to all: excuse my bad english.
to javas: excuse my extreme opinions. - regard me as s.o. of an other... religion.
to newbies: read it.
to haskellers: you don't need to.
johi, Sean.
i remember that i've had the same problems with haskell, at the beginning.
you are right, that there should be a special introduction just for
imperative-programmers.
but you are wrong, not haskell has to change sth. - the other languages have to do it,
if anyone at all. but if the others are imperative languages, like all those you
learned before, the change would imply to nullify their existence. ;)
> asm to forth to basic, pascal, C, C++, java, and C#...
i've learned the following:
MS-DOS-3.3/5.0 .bat files
QBASIC
QUICKBASIC
turbo-pascal + intel-asm
delphi
vc++ (while my university was/is_still teaching java like bill gates foists windows)
aversed look at java - whatabullshit!!! (all the extremest down running prejudices
-not knowing the language- seem to fit -especially after having learned the language-.
the power of half-oop, easy to learn like risc-asm, with the speed of basic, and the
no-compiletime-but-runtime-typechecking of cLisp or Tcl. but as a psychology student
i'm fascinated about those obvious marketing-tricks, making s.o. believe in java.)
cLisp
haskell
little bit prolog
vc++
haskell
vc++
linux :) :) :) :)
Tcl/Tk
haskell
c++
math (!!!best!!! - but not a computer language)
...
so i know those cut and dried opinions one has by learning new languages.
i've learned that there are at least two types of languages: the lower (->asm) and the
higher (->math) ones.
in c++ the difference between "struct" and "class" is that its default is "public" or
"private". that has nearly nothing to do with classes - except oop.
if you have data somewhere in memory, you call it an "instance" of a (struct- or
class- or whatever-) type.
in math you have types, sets, elements, classes, instances, ... (but not "interface" -
don't think in java. a human-machine interface like monitor+keyboard+mouse is an
interface, too. to define an interface does mean to use a pattern, not an special
abstract-only--no-variable--no-default-functionimplementation--java-class to simulate
cumbersomely multi-inheritance.)
the language haskell is an attempt to implement math as computer language. (Haskell
Brooks Curry was a genius who invented the banal function we call "curry".)
any function has a type; the data in your memory has a type; combinations of functions
and data_structures_in_memory have types.
but a function is not a variable piece of memory - it depends on its definition, like
a constant.
the types of data structures, which are "instanciated" in memory, are defined with
that data keyword in haskell.
all types - functions too - are instances of classes; means: types are
elements(instances) in special sets(classes), for which some individual attributes (in
haskell: individual function-implementations) are defined.
try to proof this view in haskell and c++. you will see, that the sense of oop-classes
is not the definition of types but the unification of inherited types.
some examples in c++ (didn't try to compile it):
template
class Eq
{
protected:
Eq(){} // This constructor exists just to be protected.
public:
virtual bool operator ==( const a& r ) const {return !( (*this) != r );}
virtual bool operator !=( const a& r ) const {return !( (*this) == r );}
};
template
struct Maybe : public virtual Eq >
{
enum Constructor_t {Nothing, Just};
union{
struct{
Constructor constructor_;
};
struct{
Constructor constructorNothing;
};
struct{
Constructor constructorJust;
const a *data;
};
};
Maybe() { constructorNothing = Nothing; }
Maybe(const a& d) { constructorJust = Just; data = new a(d); }
Maybe(const Maybe& m) { constructor_ = m.constructor_;
if(m.constructorJust==Just) data = new a(*m.data); }
~Maybe() { if( constructorJust == Just ) delete data; }
virtual bool operator ==( const Maybe& r ) const
{
switch( constructor_ )
{
case Nothing:
return (r.constructorNothing==Nothing);
case Just:
return (r.constructorJust !=Just) ? (false) :
(*data==*r.data);
}
throw "undefined";
}
};
// functionname :: (Eq a) => a -> returntype
template
inline returntype functionname( const a& param )
{
static_cast*>(¶m); // ignore result of casting, but test
wether... param is instance / a (TYPE of par
Re: "interact" behaves oddly if used interactively
> "main=interact id" basically echoes every line of my input, whereas > "main=interact show" correctly waits for EOF before outputting something. > What should a student think about "interact" in the Prelude? (It's ok > for pipes only, I guess.) main = interact show behaves similar to main = interact (\x->seq (length x) x) i do not know the exact implementation, but i think of it like ... import System.IO(hGetContents,hIsEOF,hGetChar,stdin) import System.IO.Unsafe (unsafePerformIO) interact :: (String -> String) -> IO () interact f = do s <- hGetContents stdin putStr $ f s putStr = mapM_ putChar hGetContents h = do eof <- hIsEOF h if eof then return [] else c <- hGetChar h return (c : (unsafePerformIO $ hGetContents h)) ... so there will be the same problems like with getChar, hGetChar, getLine, or hGetLine (buffering), and with hGetContents and unsafePerformIO (sequrence of IOs). for beginners/students: think about such situations: (to me, it was the reason to learn IO monadic programming) read the next char(s) from input before writing the previous char(s) to output. f :: String -> String f [] = [] f (c:[]) = (c:[]) f (c:s) = (c:f s) equals to f :: String -> String f [] = [] f (c:[]) = (c:[]) f (prev:s@(next:_)) = (prev:f s) ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: How can I implement this arrow? Thanks
Am Dienstag 16 September 2003 04:57 schrieb Yu Di: > Hi, I want to create an arrow which is essentially > > data MyArrow a b = MyArrow ((String, a) -> (String,b)) > > i.e. there is an "information" asscioated with each piece of data > (represented by the string), and I want > to pass it around. But I have a problem about how to define "pure" and > "first". At first, I declared > > pure f = MyArrow (\(s, x) -> (s, f x)) > first (MyArrow f) = MyArrow (\(s, (x, y)) -> let (s', z) = f (s, x) in (s', > (z, y))) > > this seems to work, but then I begin to have problems with the > "data-plumbing" pure arrows, e.g. in > > pure (\x -> (x, x)) >>> first someArrow >>>> pure (\(_, x) -> x) > > Ideally, this arrow will preserve whatever information I put there for the > input, but because "first > someArrow" will change the whole information associated with the pair of > result, I can't find any > way to let "pure (\(_, x)->x)" (which is an extremely generic function) > retrieve the part of information for the second piece in the pair tuple. what does the compiler say? or is it a runtime error? how did you implement "(>>>) :: a b c -> a c d -> a b d"? (MyArrow f1) >>> (MyArrow f2) = MyArrow (f2 . f1) does this compile?: (pure (\x -> (x, x)) :: MyArrow a (a,a)) >>> (first (someArrow :: MyArrow a b) :: MyArrow (a,a) (b,a)) >>> (pure (\(_, x) -> x) :: MyArrow (b,a) a) pure and first seem to be correct. but ... just as an (slow) alternative: -- first :: a x fx -> a (x, y) (fx, y) first (MyArrow f) = MyArrow $ (\((fs,fx),y)->(fs,(fx,y))) . (\(sx,y)->(f sx,y)) . (\(s,(x,y))->((s,x),y)) - marc > > Of course I can create specialized arrows for the tasks \x -> (x, x) and > \(_, x) -> x which passes the information around, but this will become > tedious as I will have to define specialized arrows for a lot of similar > tasks one by one, and I won't be able to use the arrow pre-processor at all. > > So how can I implement this? Thanks very much! > > Di, Yu > 9.15 > > _ ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Stupid wuestion about Monads :)
google: "What the hell are Monads" http://www.abercrombiegroup.co.uk/~noel/research/monads.html IO in haskell is really easy, iff you understand the sense of monads. to understand sth. like "IO Bool" you have to remember that i.e. an array is no defined data type without the definition of its entries. "[Bool]" is sth. like that, too. the data type does not contain one "[]" and one "Bool". "IO a" is in fact an Input-Output-operation with return type "a". imagine this: "State -> (State,a)" the world state changes and there is an "a" as result part. it is not possible (mathematical, not technical) to throw away the fact that it is a function changing the state. your main function is of type... main :: IO () where "()" means sth. like "void". the IOs have just to be concatenated to construct a program. main :: IO () main = putStr "Hello " >> return "world!" >>= putStrLn >> getChar >>= (\c -> putStrLn [c,c,c]) >> return () you have to write a line and press , then getChar reads the first Char of your line. ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
strange implementation - Re: Bits Problem
I'm confused. Does it mean that objects basing on bits have to be of Num because of an default implementation that they don't use? A List of Bits should be instance of Bits, too. Instead of default imlementations that use Num functions, there could be an instance of all Integrals. (Integer is instance of Bits too, so there should not be any problem with rotations.) class Bits a where ... instance (Integral a) => Bits a where ... Am Sonntag, 6. April 2003 15:35 schrieb Glynn Clements: > Dominic Steinitz wrote: > > Can anyone explain this? Hugs doesn't complain. > > > > Prelude> :set --version > > The Glorious Glasgow Haskell Compilation System, version 5.04.1 > > > > test.hs:5: > > No instance for (Num Bool) > > arising from the instance declaration at test.hs:5 > > In the instance declaration for `Bits Bool' > > > > module Main(main) where > > > > import Bits > > > > instance Bits Bool where > >complement False = True > >complement True = False > > GHC's definition of Bits requires that instances of Bits are also > instances of Num. > > This constraint is required for the default implementations of bit and > testBit: > > bit i = 1 `shift` i > x `testBit` i = (x .&. bit i) /= 0 ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Haskell help!
done.
- marc
Am Mittwoch, 26. März 2003 23:32 schrieb Weix, Rachel Lynn:
> P.S. The example given is for the set of sequences/strings (The,Masters)
>
> -Original Message-
> From: Weix, Rachel Lynn
> Sent: Wed 3/26/2003 4:30 PM
> To: [EMAIL PROTECTED]
> Cc: [EMAIL PROTECTED]
> Subject: RE: Haskell help!
>
>
> Currently I'm having problems with type checking due to Haskell being a
> strongly typed language. In order to return all optimal solutions, my
> professor suggested I create a list of tuples if they all have the same
> score, as indicated in my new maxSeq method (see attachment). However,
> this means that the maxSeq method would return type [[(Char,Char)]]. Since
> maxSeq and getSeq must return the same type, I end up changing all my
> signatures and end up with lots of problems. In my caseX methods, I can't
> append [(Char)] to [[(Char,Char)]], and it also messes up trying to get my
> score of each tuple, etc. I've been trying to solve the problem in Scheme
> first but even then I'm having problems, and Scheme is only loosely typed.
> Any suggestions? The format should be something like the following
> (partial example):
>
> [ [(-,M)] [(T,a)(h,s)(-,t)(e,e)(-,r)(-,s)] [(-,s)(h,t)(e,e)(-,r)(-,s)]]].
>
> Once I get back my list, I need to pair everything up in order to return a
> list of optimal solutions. Taking the previous example, it would be the
> following when paired up correctly:
>
> [ [(-,M)(T,a)(h,s)(-,t)(e,e)(-,r)(-,s)],
> [(-,M)(T,a)(-,s)(h,t)(e,e)(-,r)(-,s)] ]
>
> From there, I find which sequence has the maximum score. I then walk
> through the list again, making a list of all the sequences that have that
> score. These two steps seem fairly trivial, it's all the above stuff which
> I'm struggling on.
>
> Rachel
>
> -Original Message-
> From: Marc Ziegert [mailto:[EMAIL PROTECTED]
> Sent: Tue 3/25/2003 3:13 PM
> To: Weix, Rachel Lynn
> Cc:
> Subject: Re: Haskell help!
>
>
>
> maxSeq had one mistake: || instead of &&
>
> i will think about the problem itself, before rewriting all.
>
> this is the file a little bit more in haskell style.
>
> Am Dienstag, 25. März 2003 20:16 schrieben Sie:
> > I found my two mistakes, plus I fixed the method my Professor said
> was
> > incorrect. Now I just have to be able to find ALL optimal solutions,
> > instead of just one. Hooray!
> >
> > Rachel
module Main where
type VSeqs = (Integer,[(String,String)]) -- valued sequences
type VS_matrix = [[VSeqs]]
emptyVS :: VSeqs
emptyVS = (0,[("","")])
rightmostCol :: String -> [VSeqs]
rightmostCol "" = [emptyVS]
rightmostCol (c:cs) = (v-1,[('~':s1,c:s2)]) : above
where above@((v,(s1,s2):_):_) = rightmostCol cs
nextCol :: Char -> String -> [VSeqs] -> [VSeqs]
nextCol c "" ((v,(s1,s2):_):_) = (v-1,(c:s1,'~':s2):[]):[]
nextCol c str2 (vs:vsr) = makeEntry c str2 (head above) vs (head vsr) : above
where above = nextCol c (tail str2) vsr
makeEntry :: Char-> String -> VSeqs -> VSeqs -> VSeqs -> VSeqs
makeEntry c str2@(h:_) above@(va,sa) right@(vr,sr) aboveright@(vd,sd) = maxEntry fa fr
fd
where fa =
(va-1, append '~' h sa )
fr =
(vr-1, append c '~' sr )
fd =
(vd+v, append c h sd )
v = if
c==h then 1 else -1
append l
r tups = [ (l:ls,r:rs) | (ls,rs)<-tups ]
maxEntry :: VSeqs -> VSeqs -> VSeqs -> VSeqs
maxEntry a@(va,_) b@(vb,_) c@(vc,_) = if va>vb then if va>vc then a
else c
else if vb>vc then b
else c
fillmatrix :: String -> String -> VS_matrix
fillmatrix str1 str2 = scanr xcc (rightmostCol str2) str1
where xcc :: Char -> [VSeqs] -> [VSeqs]
xcc x s = nextCol x str2 s
findBestSeqs :: String -> String -> VSeqs
findBestSeqs str1 str2 = head $ head $ fillmatrix str1 st
Fwd: Re: Haskell help!
-- Weitergeleitete Nachricht --
Subject: Re: Haskell help!
Date: Wed, 26 Mar 2003 23:57:42 +0100
From: Marc Ziegert <[EMAIL PROTECTED]>
To: "Weix, Rachel Lynn" <[EMAIL PROTECTED]>
i'm just programming the solution.
imagine a matrix / a rectangle with a grid:
the first word at the top side, the second at the right.
each entry takes the best solutions of your sequencing problem using just a
part of the words.
in the top right there is the entry for the two empty words:
(0,[ ("","") ])
the value is zero, the list has just one solution: ("","")
below this entry:
(-1,[ ("~","s") ])
at the bottom right:
(-7,[ ("~~~","Masters") ])
all this was the rightmost column.
the whole matrix is a list of columns - the head is the leftmost column.
the head of one column is the entry at the bottom.
the solution of the whole problem is at the bottom left - the head of the
head of the matrix.
- marc
Am Mittwoch, 26. März 2003 23:32 schrieben Sie:
> P.S. The example given is for the set of sequences/strings (The,Masters)
>
> -Original Message-
> From: Weix, Rachel Lynn
> Sent: Wed 3/26/2003 4:30 PM
> To: [EMAIL PROTECTED]
> Cc: [EMAIL PROTECTED]
> Subject: RE: Haskell help!
>
>
> Currently I'm having problems with type checking due to Haskell being a
> strongly typed language. In order to return all optimal solutions, my
> professor suggested I create a list of tuples if they all have the same
> score, as indicated in my new maxSeq method (see attachment). However,
> this means that the maxSeq method would return type [[(Char,Char)]]. Since
> maxSeq and getSeq must return the same type, I end up changing all my
> signatures and end up with lots of problems. In my caseX methods, I can't
> append [(Char)] to [[(Char,Char)]], and it also messes up trying to get my
> score of each tuple, etc. I've been trying to solve the problem in Scheme
> first but even then I'm having problems, and Scheme is only loosely typed.
> Any suggestions? The format should be something like the following
> (partial example):
>
> [ [(-,M)] [(T,a)(h,s)(-,t)(e,e)(-,r)(-,s)] [(-,s)(h,t)(e,e)(-,r)(-,s)]]].
>
> Once I get back my list, I need to pair everything up in order to return a
> list of optimal solutions. Taking the previous example, it would be the
> following when paired up correctly:
>
> [ [(-,M)(T,a)(h,s)(-,t)(e,e)(-,r)(-,s)],
> [(-,M)(T,a)(-,s)(h,t)(e,e)(-,r)(-,s)] ]
>
> From there, I find which sequence has the maximum score. I then walk
> through the list again, making a list of all the sequences that have that
> score. These two steps seem fairly trivial, it's all the above stuff which
> I'm struggling on.
>
> Rachel
>
> -Original Message-
> From: Marc Ziegert [mailto:[EMAIL PROTECTED]
> Sent: Tue 3/25/2003 3:13 PM
> To: Weix, Rachel Lynn
> Cc:
> Subject: Re: Haskell help!
>
>
>
> maxSeq had one mistake: || instead of &&
>
> i will think about the problem itself, before rewriting all.
>
> this is the file a little bit more in haskell style.
>
> Am Dienstag, 25. März 2003 20:16 schrieben Sie:
> > I found my two mistakes, plus I fixed the method my Professor said
> was
> > incorrect. Now I just have to be able to find ALL optimal solutions,
> > instead of just one. Hooray!
> >
> > Rachel
--
Ein Unseliger, der nur kreist um sich selbst,
im Leben wird er dem Ruhm nachsehen
und doppelt sterbend untergehen;
im gemeinen Staub, aus dem er entsprungen,
unbeweint, ungeehrt und unbesungen.
[Sir Walter Scott]
---
--
Ein Unseliger, der nur kreist um sich selbst,
im Leben wird er dem Ruhm nachsehen
und doppelt sterbend untergehen;
im gemeinen Staub, aus dem er entsprungen,
unbeweint, ungeehrt und unbesungen.
[Sir Walter Scott]
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
Re: Haskell help!
looks like a genetic algorithm, i've programmed years ago. :)
i need the sourcecode to solve the problem.
it seems that you "zip" the two strings together:
unzip $ zip "abcde" "123"
->
unzip [('a','1'),('b','2'),('c','3')]
->
("abc","123")
i've no idea why you got "saaturn".
- marc
Am Dienstag, 25. März 2003 01:32 schrieb Weix, Rachel Lynn:
> Hi,
>
> I'm a college student trying to write a Haskell program, and I'm having
> some problems getting the correct output. I need to write a program
> which will return a set of optimally aligned sequences, with "optimal"
> being defined as such: mismatch or space (represented by a "-") = -1;
> else 1 for every pair (see below for what a pair is)
>
> An example set of sequences with an alignment of -3 is as follows:
>
> sc-h-e-me
> icecream-
>
> (s,i) are a pair, (c, c), etc.
>
> For right now, I'm only returning a potential solution (vs. a set of
> solutions), and I'm having problems with any set of sequences that
> aren't the same length. My results are listed below. I don't want to
> include the code for now since it's about a page long (printed out) but
> was hoping maybe someone had an idea as to why I'm getting such odd
> results? If code will help, I can exchange back and forth with whoever
> thinks they might be able to help me out. Your help is much
> appreciated!
>
> Rachel
>
>
> -- Each word/sequence you see has been predefined in my Haskell code
> -- This first example appears to work just fine
>
> Main> printSeq icecream scheme
>
> ("icecream", "scheme--")
>
>
>
> Main> printSeq hate hatter
>
> ("hat-e", "hatte")
>
>
>
> Main> printSeq scheme saturn
>
> ("scheme", "saatur")
>
>
>
> Main> printSeq saturn scheme
>
> ("saaturn", "scheme-")
>
>
>
> Main> printSeq saturn hatter
>
> ("saaturn", "hatter-")
>
>
>
> Main> printSeq hatter saturn
>
> ("hatter", "saatur")
>
>
>
> Main> printSeq mad saturn
>
> ("mad", "saa")
>
>
>
> Main> printSeq hate hatter
>
> ("hat-e", "hatte")
>
>
>
> Main> printSeq snowball icecream
>
> ("snowb-all", "icecream-")
>
>
>
> Main> printSeq mad computer
>
> ("--mad", "compu")
>
>
>
> Main> printSeq mad snowball
>
> ("mad", "sno")
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
Re: Field labels must be globally unique?
--Just changed the syntax: ... or BETTER just to split classes: type class HalfBody a = (Num a => (+), (-)) instance HalfBody Vector where (+) v1 v2 = ... (-) v1 v2 = ... ... - Original Message - From: "Marc Ziegert" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Wednesday, January 08, 2003 2:24 PM Subject: Re: Field labels must be globally unique? > It would be nice to be able to overload class-functions like >classes: > > instance (+), (-) -> Vector where > (+) v1 v2 = ... > (-) v1 v2 = ... > > instead of overloading parts of a class... (because of >runtime-errors!) > > instance Num Vector where > (+) v1 v2 = ... > (-) v1 v2 = ... > (*) _ _ = undefined > (/) _ _ = undefined > > or BETTER just to split classes: > > class HalfBody a => (Num a =>(+), (-)) where > > instance HalfBody Vector where > (+) v1 v2 = ... > (-) v1 v2 = ... > > instead of defining new operators... > > class HalfBody a where > (+§) :: a -> a -> a > (-§) :: a -> a -> a > > instance (Num a) => HalfBody a where > (+§) = (+) > (-§) = (-) > > instance HalfBody Vector where > (+§) v1 v2 = ... > (-§) v1 v2 = ... > > > > > One is to allow function overloading. This is probably not desirable > > > because it turns type checking into an NP-hard problem. > > > ___ > Haskell mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell > > ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Field labels must be globally unique?
It would be nice to be able to overload class-functions like classes: instance (+), (-) -> Vector where (+) v1 v2 = ... (-) v1 v2 = ... instead of overloading parts of a class... (because of runtime-errors!) instance Num Vector where (+) v1 v2 = ... (-) v1 v2 = ... (*) _ _ = undefined (/) _ _ = undefined or BETTER just to split classes: class HalfBody a => (Num a =>(+), (-)) where instance HalfBody Vector where (+) v1 v2 = ... (-) v1 v2 = ... instead of defining new operators... class HalfBody a where (+§) :: a -> a -> a (-§) :: a -> a -> a instance (Num a) => HalfBody a where (+§) = (+) (-§) = (-) instance HalfBody Vector where (+§) v1 v2 = ... (-§) v1 v2 = ... > > One is to allow function overloading. This is probably not desirable > > because it turns type checking into an NP-hard problem. ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: help
hey Suja@haskell.org, your mail address is faked.
Re: help
what do you want to execute if you do not have a main function?  i.e. this LHS-file:  --rzsjztj ästrhü  > module Snoop where  rjstöh gitsh  > schnuck :: IO ()> schnuck = putStr "schnuck"  sdfthsrthk  > gumble :: IO ()> gumble = putStr "gumble"  srhthtr  > hurz :: IO ()> hurz = gumble << schnuck << schnuck > > honk :: IO ()> honk = do >  schnuck>  gumble >  schnuck  shtr --   you have to define the function, you want to execute as your main-programm. so, just define a main::IO() function. several modules (that you connect together) could have a main-function, so you have to define the main-module. if you only have one module, you have to tell your compiler that it is a programm and not just a object-file.   - Original Message - From: Suja To: [EMAIL PROTECTED] Sent: Tuesday, December 10, 2002 9:50 AM Subject: help Hi,  I want to know how to execute a haskell program that does not contain a main module. I would also like to know the difference between .lhs and .hs extensions.  Â
Re: gcd 0 0 = 0
Lars Henrik Mathiesen ([EMAIL PROTECTED]) wrote: : > Alan Bawden ([EMAIL PROTECTED]) wrote: : > : Indeed, that's a nice way of putting it. How about if the report just : > : says: : > : : > :In order to make the non-negative integers into a lattice under `gcd' : > :and `lcm', we define `gcd 0 0 = 0'. [snip] : This is exactly what you get if you plug the relation 'divides' on the : non-negative integers into the definition of meet in a lattice. So : this formulation is no more or less complex to use than the lattice : one --- and people who do know about lattices will probably realize : this pretty fast. I disagree. Alan is talking about adding things to the haskell report. That document should be accessible to as many people as possible. I have not yet met anybody who had lattice theory in primary and/or secondary school. On the other hand I *have* met quite a few of them who have a pretty good idea about what it means for one number to divide another. [snip] Regards, Marc van Dongen -- Marc van Dongen | [EMAIL PROTECTED] | Computer Science Department | Western Road | () ASCII ribbon campaign University College Cork |Cork, Ireland | /\ against HTML mail phone: +353 (0)21 4903578 | fax: 4903113 | ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: gcd 0 0 = 0
Alan Bawden ([EMAIL PROTECTED]) wrote: :In case it isn't clear already, these definitions make a lattice on :the positive integers, with divides ~ leq, gcd ~ meet and lcm ~ join, :using the report's definitions of gcd and lcm. : : Indeed, that's a nice way of putting it. How about if the report just : says: : :In order to make the non-negative integers into a lattice under `gcd' :and `lcm', we define `gcd 0 0 = 0'. It would surely make things a lot less accessible to people (including me) who do not have any (or limited) knowledge about lattices. Why not make it more accessible and use the following rule (ore something similar)? The greates common divison (gcd) of two integers a and b is the unique non-negative integer g which has each of the following two properties: 1) g divides both a and b; and 2) if g' also divides both a and b then g' also divides g, Here an integer a divides an integer b if there is an integer c such that b = c*a. Note that if you regard an integer a to be greater than another integer b if b divides a then the gcd of two intgerers may also be regarded as the greatest common divisor of a and b. Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: gcd 0 0 = 0
Ch. A. Herrmann ([EMAIL PROTECTED]) wrote: : In contrast, 0*x=0, thus 0 "divides" 0 (somehow). : But I have problems with "gcd being the greatest positive integer ..." [snip] : - 0 is not positive, it is non-negative or natural : - 2 also divides 0 and 2 is a "greater integer" than 0 : (0 is the top element of the lattice formed by the division relation :but that is not clear by the expression "greatest") : gcd a b is the greatest non-negative integer dividing both a and b such that anything that divides both a and b also divides gcd a b (so gcd a b is the greatest thing that divides both a and b). Regards, Marc van Dongen -- Marc van Dongen | [EMAIL PROTECTED] | Computer Science Department | Western Road | () ASCII ribbon campaign University College Cork |Cork, Ireland | /\ against HTML mail phone: +353 (0)21 4903578 | fax: 4903113 | ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: gcd 0 0 = 0
Marc van Dongen ([EMAIL PROTECTED]) wrote: : An integer $a$ divides integer $b$ if there exists an integer : $c$ such that $a c= b$. [snip] : gcd 0 0 = 0; and : gcd 0 0 /= error "Blah" To make clear why $0$ (and not any other non-zero integer) is the gcd of $0$ and $0$ I should have added that for the integer case $g$ is called a greatest common divisor (gcd) of $a$ and $b$ if it satifies each of the following two properties: 1) $g$ divides both $a$ and $b$; 2) if $g'$ is a common divisor of $a$ and $b$ then $g'$ divides $g$. First notice that $0$ is a gcd of $0$ and $0$ because of the following: *) $0$ divides $0$ (and divides $0$); *) whenever $g'$ is an integer that divides $0$ and divides $0$ then $g'$ divides $0$. Next notice that if $g$ is any non-zero integer then $g$ cannot be a gcd of $0$ and $0$ because $0$ (a common divisor of $0$ and $0$) does not divide $g$. Finally, observe that this makes $0$ the unique gcd of $0$ and $0$. : The gcd of two integers is usually defined as a non-negative : number to make it unique. Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: gcd 0 0 = 0
Simon Peyton Jones ([EMAIL PROTECTED]) wrote: : If someone could write a sentence or two to explain why gcd 0 0 = 0, : (ideally, brief ones I can put in the report by way of explanation), : I think that might help those of us who have not followed the details : of the discussion. Division in the context of gcds (of integers) is usually defined along the lines of: An integer $a$ divides integer $b$ if there exists an integer $c$ such that $a c= b$. Note that here division is a *relation* an not a *function*/*operator*. Given the definition of division being a relation it makes perfect sense to say that $0$ divides $0$ which is why gcd 0 0 = 0; and gcd 0 0 /= error "Blah" The gcd of two integers is usually defined as a non-negative number to make it unique. HTH. PS: I am strongly in favour of gcd 0 0 = 0. Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
PhD positions in Informatics, Bergen University, Norway
2 PhD positions Institute for Informatics University of Bergen, Norway 1. The project. --- MoSIS is a IKT project funded by the Norwegian Science Council (NFR) for the period 2002-2005. Its descriptive full title is: Modularity in large Software and Information Systems Modularization techniques are essential for mastering the complexity of large systems. There are many approaches: agents, components, libraries, ... The overall aim of the project is to develop a conceptual and formal framework for the composition and interaction of software modules at various levels of abstraction. The two relevant subprojects aim at applying formal techniques based on type theory, algebra and/or category theory to programming `in the large'. For more information on the project, see http://www.ii.uib.no/MoSIS 2. The profile of the candidates. - You have a Master degree (or equivalent) in Computer Science, Informatics, Mathematics or Logic. You enjoy working in an internationally oriented, English speaking research environment. 3. The jobs. The positions are opening up in 2002 and last for three years. There are in principle no teaching duties. There is a perspective for prolongation of at most one year as a research associate. The salary is about EUR 32.000 per year. 4. Information and how to apply. More information can be obtained from Prof.Dr. M.A. Bezem ([EMAIL PROTECTED]). You are invited to send an application letter by e-mail, together with a curriculum vitae and the names and addresses of two references, before 21 December 2001. Applicants from outside the European Economic Area (EEA) will be considered. In a later stage of the procedure we may ask you to write a formal application to the faculty. 5. Bergen, Norway. -- Bergen is the second-largest city in Norway, beautifully situated between 7 mountains (up to 600m) and fjords. Bergen has about 230.000 inhabitants and all facilities, including a nearby airport. The climate (including tax pressure) is milder than most people expect, but it can rain quite hard, indeed. For more information on - Bergen, see http://www.bergen-guide.com/ - Bergen University, see http://www.uib.no/ - Institute for Informatics, see http://www.ii.uib.no/ - Marc Bezem, see http://www.ii.uib.no/~bezem ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: code for exercise 4.10
rock dwan ([EMAIL PROTECTED]) wrote: : Iam having some difficulties doing exercise 4.10 from craft of fucntional : programming book ..is their a possible solution for this ? Can we please move this thread to the haskell cafe? Thanks in advance, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: computer language shootout
Miles Egan ([EMAIL PROTECTED]) wrote: [shootout] Before it starts to explode, can we move this thread to the Haskell Cafe? Regards, Marc -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 Western Road, Cork, Ireland | Email: [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Two Times [was Re: Happy and Macros (was Re: ANNOUNCE: Happy 1.10 released)]
Manuel M. T. Chakravarty ([EMAIL PROTECTED]) wrote: [received message twice] Am I just the only one or does everybody receive messages posted to [EMAIL PROTECTED] and [EMAIL PROTECTED] twice? I find it a bit (I know I am exaggerating) annoying. Is there a way to avoid this? Regards, Marc ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Help about programming a module in haskell ?
Mickaël GAUTIER ([EMAIL PROTECTED]) wrote: : Hi, i am a french beginner in programming in haskell language. My first module :was to prove that a boolean proposition is always right. So it was about logical :mathematic. Now i am trying to program a modul which function not with mathematic :rules but with logical rules as in Prolog. I've a game named nani (it's a boy who :wants to find his nani which is in one of the three rooms of the house) wrote in :prolog and i'm trying to convert it in haskell. If someone is interest by my subject :can he send me his e-mail adress ? : Thanks Mickaël GAUTIER Hi, There is a Prolog module for Haskell but when I tried to locate it I couldn't find it. Perhaps somebody can help. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: `Covertible' class. Reply.
S.D.Mechveliani ([EMAIL PROTECTED]) wrote: [snip] : The basic algebra library BAL : http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/bal-pre-0.01/ : : suggests class Cast a b where cast :: a -> b -> a I just want to add that this is almost similar to a mechanism I've implemented. You really need this. Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Group theory
Eric Allen Wohlstadter ([EMAIL PROTECTED]) wrote: : Are there any Haskell libraries or programs related to group theory? I am : taking a class and it seems like Haskell would be a good programming : language for exploring/reasoning about group theory. What I had in mind : was perhaps you could have a function which takes a list(set) and a : function with two arguments(binary operator) and checks to see whether or : not it is a group. I think it might be a fun exercies to write myself but : I'd like to see if it's already been done or what you guys think about it. I think Sergey Mechveliani's docon (algebraic DOmain CONstructor) has facilities for that. Have a look at: http://www.cs.bell-labs.com/who/wadler/realworld/docon.html Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Prelude in LaTeX
Hello all, Is there anybody who knows where to find the Prelude typeset in Manuel Chakravarty's haskell.sty? Thanks in advance for any replies. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: static evaluation of dynamics thing
Simon Peyton Jones ([EMAIL PROTECTED]) wrote: [static] : said, some functions are legitimately bottom. But think about assertions: : : f x = assert (p x) (...x...) : : where assert :: Bool -> a -> a I like that. Also I would like a assertAndBelieveMe which could be used to as in: quot' a b | assertAndBelieveMe (b /= 0) = quot a b So that a special version of quot could be used which would not check for b == 0. : Life is short. Are these features that would be useful to lots of people? Yes please. Regards, Marc van Dongen
Re: sample argument. Dongen's example
S.D.Mechveliani ([EMAIL PROTECTED]) wrote: [I cc'd this to haskell as well] : this is exactly the Domain conversion proposal, described in : basAlgPropos. class Cast a b where cast :: a -> b -> a. : The first argument is the sample for domain. The second casts to : `a' after the given sample. For example cast (x^2+y (in Z[x,y)) 2 : maps 2 to polynomial in x,y : - if the instance Cast (Pol ..) Integer : is defined. I knew you must have had something to obtain a similar functionality this as well. It is needed. Regards, Marc
[dongen@cs.ucc.ie: Re: sample argument. Dongen's example]
Sorry about this. I thought I group replied when replied Sergey's e-mail. -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED] - Forwarded message from Marc van Dongen <[EMAIL PROTECTED]> - Date: Mon, 8 May 2000 11:14:03 +0100 From: Marc van Dongen <[EMAIL PROTECTED]> To: "S.D.Mechveliani" <[EMAIL PROTECTED]> Subject: Re: sample argument. Dongen's example X-Mailer: Mutt 1.0.1i In-Reply-To: <[EMAIL PROTECTED]>; from [EMAIL PROTECTED] on Mon, May 08, 2000 at 01:16:09PM +0400 S.D.Mechveliani ([EMAIL PROTECTED]) wrote: : Looks like it uses the sample argument. This p contains the : parameters that describe a polynomial domain P = c[x1..xn]. : Different ways to order the monomial set, different lists of : "variables" may mean different domains inside the *same type*. : If p contains variables ["x"], p' contains ["x","y"], : then zero p and zero p' : : have to be zeroes of very different domains corresponding to : p, p' :: a. : If you rely on the features like this, this is the very sample : argument approach. : Do you mean this? No. I meant that I didn't understand the second sentence above the one where I started my reply:-) : Classic Haskell approach: : - [] : Besides several technical hindrances of mathematical nature, it : puts certain principal restriction. : It prohibits all the mathematical practice of dynamic change of : orderings, variable lists, residue domains for different base, : generally - dynamic change of computation domain given by : *parameter*. Exactly. This has been a *great* pain in the neck for me when writing operations on polynomials using standard notation which alowed for the hiding of the additional information needed to implement fast algorithms. [...] : I suggest now zero :: a -> a or constant :: a -> c -> Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED] - End forwarded message -
Re: sample argument. Dongen's example
S.D.Mechveliani ([EMAIL PROTECTED]) wrote: : I wrote to list, and you reply privately. Ooops. I thought I group replied. I'll forward to the list. : I think that it is good for the list to know that someone else : appreciates the need of dynamic parameters in domain ... Which is why I decided to add something to the discussion. : But I an dumb at your> or constant :: a -> c -> : : For example, zero (2,3) = (0,0) gives zero for Int x Int. : And how to use `constant' ? Say you have a constant c in some ring k and you want to lift it (I think that's the proper term) to the polynomial ring k[X] then you can if you have a polynomial, say p, in k[X] already. Just use: constant p c. Regards, Marc -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: basAlgPropos. Why sample argument
Fergus Henderson ([EMAIL PROTECTED]) wrote: [snip] : > * `zero x' fits the aim of implicit dynamic domains. : : This one is much more interesting. I am not sure if I understand this but I also used zero :: a -> a to create polynopmials as opposed to a function zero :: a The application zero p created a zero polynomial with certain ``built-in'' properties like a term-order it inherited from p. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: doubly linked list
Jerzy Karczmarczuk ([EMAIL PROTECTED]) wrote: : But in Haskell, where the beasts are not mutable: : : ... Actually, has anybody really used them for practical purposes? I have used doubly linked lists in Haskell about four years ago to implement a queue from which objects could be added at front/back and deleted anywhere. A mutable array was used to see if objects were in the queue. If they were then (Just Ix) to them would be returned and if they weren't Nothing. The index could then be used to find the possible previous and next elements in the queue and change their representations. I cheated a bit because I used the fact that the possible indices were know in advance so that I could use an array to represent the member in the queue as well. It worked well. I've appended (what I think are the most important) code-fragments at the end. I don't know if I would do it the same way again; this was years ago. Regards, Marc van Dongen > initQueue :: Ix i => (LinkedList s i v) -> [(i,v)] -> ST s (Maybe i,Maybe i) > initQueue _ [] > = return (Nothing,Nothing) > initQueue marks ((i,v):ivs) > = writeArray marks i (Nothing,Nothing,Just v) >> > a2q marks i i ivs > addToQueue :: Ix i => > (LinkedList s i v) > -> (Maybe i) > -> (Maybe i) > -> [(i,v)] > -> ST s (Maybe i,Maybe i) > addToQueue marks fst lst [] > = return (fst,lst) > addToQueue marks Nothing_ ijrs > = initQueue marks ijrs > addToQueue marks (Just fst) (Just lst) ijrs > = a2q marks fst lst ijrs > a2q :: Ix i => > (LinkedList s i v) > -> i > -> i > -> [(i,v)] > -> ST s (Maybe i,Maybe i) > a2q _ fst lst [] > = return (Just fst,Just lst) > a2q marks fst lst ((i,v):ivs) > = readArray marks i >>= \(_,_,mbv) -> > case mbv of > Nothing -> readArray marks lst >>= \(jpred,_,jv) -> > writeArray marks lst (jpred,Just i,jv) >> > writeArray marks i (Just lst,Nothing,Just v) >> > a2q marks fst i ivs > _ -> a2q marks fst lst ivs > delFromQueue :: Ix i => > (LinkedList s i v) > -> (Maybe i) > -> (Maybe i) > -> [i] > -> ST s (Maybe i,Maybe i) > delFromQueue _ jfstjlst[] > = return (jfst,jlst) > delFromQueue marks jfst@(Just fst) jlst@(Just lst) (i:is) > = readArray marks i >>= >\(jpred,jsucc,_) -> > writeArray marks i (Nothing,Nothing,Nothing) >> > case jpred of > Nothing -> case jsucc of > Nothing -> return (Nothing,Nothing) > (Just s) -> readArray marks s >>= \(_,s',r') -> > writeArray marks s (Nothing,s',r') >> > delFromQueue marks jsucc jlst is > (Just p) -> case jsucc of > Nothing -> readArray marks p >>= \(p',_,r') -> > writeArray marks p (p',Nothing,r') >> > delFromQueue marks jfst jpred is > (Just s) -> readArray marks p >>= \(p',_,r') -> > writeArray marks p (p',jsucc,r') >> > readArray marks s >>= \(_,s',r') -> > writeArray marks s (jpred,s',r') >> > delFromQueue marks jfst jlst is
Re: libraries for Integer
George Russell ([EMAIL PROTECTED]) wrote: [...] : Sorry I can't be more helpful. But there is unlikely to be a simple : answer to the question "Does LIP or GMP multiply numbers fastest?"; : it will depend on how big the numbers are, what platform you are using, : and how much difficult the interface is to use. (GMP is faster if Thanks anyway. [...] Regards, Marc
Re: libraries for Integer
George Russell ([EMAIL PROTECTED]) wrote: : I agree actually. Integer only needs to be an implementation of : multiprecision arithmetic; we shouldn't tie it to GMP. There are : other multiprecision arithmetic packages out there, for example But it is pretty fast. : the LIP package included in NTL :http://www.shoup.net/ntl/ Do you have any data about comparisons with this or other packages? Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 903578 University College Cork, NUIC | Fax: +353 21 903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: Type signatures in instance declarations?
Koen Claessen ([EMAIL PROTECTED]) wrote: [snip] : * Why can one not have a type declarion in the export : list of a module? Common practice for many people : is to put these types in comments now (which is really : dangerous, since the types might change but not the : comments). I would love to see type signatures in export lists. It may also allow you to export a function implemented with a universal type signature for a certain specific type. > module Foo( same :: Int -> Int -> Bool ) where > same :: a -> a -> Bool > same = (==) Regards, Marc
Re: Type signatures in instance declarations?
George Russell ([EMAIL PROTECTED]) wrote: : Why are these illegal? I appreciate that they can't give useful information : to the compiler, which knows the type already from the class, but in my : opinion they are still useful to the maintainer, because they serve as : a reminder of the type. : I agree. I posted a similar comment one or two years ago. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 903578 University College Cork, NUIC | Fax: +353 21 903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: ServiceShow class for messages
S.D.Mechveliani ([EMAIL PROTECTED]) wrote: [ error messages printing their aguments ] Printing the argument of a function as part of an error message may lead to infinite error messages. It may even lead to several calls to error which all have to be shown. I don't think a compiler will ever be able to detect such infinite situations and should therefore not be allowed to automatically print arguments because the quality of the messages will be very bad. Also I just looked up the following in the language definition: A call to error terminates execution of the program and returns an appropriate error indication to the operating system. It should also display the string in some system-dependent manner. When undefined is used, the error message is created by the compiler. This suggests that a call to error should result in termination. Perhaps I am missing something. Regards, Marc
Re: Ratio: (-1:%1) < (-1:%1)?
Lennart Augustsson ([EMAIL PROTECTED]) wrote: : > The definition : > of (*) in the Prelude has to be clumsy because it cannot : > assume that this will the case because users can construct : > their own Ratios. : How can a user create his own Ratio? The % operation does the : GCD reduction, as does every other operation that creates a Ratio. It is not possible. As I replied before but you may not have received it yet, I was wrong in assuming that one could use :%. Again, sorry about the confusion. Regards, Marc van Dongen
Re: Ratio: (-1:%1) < (-1:%1)?
D. Tweed ([EMAIL PROTECTED]) wrote: : If you haven't loaded any modules then hugs is in `module scope' of : prelude and it's possible. If you do, eg, :l List then you end up in that : module scope and it's no longer allowed. That's exactly what happend. I ran hugs and typed in (1:?2). I was just trying to find out why a module with :%'s in it was not accepted by hugs. Thanks for the explanation. Regards, Marc
Re: Ratio: (-1:%1) < (-1:%1)?
Lennart Augustsson ([EMAIL PROTECTED]) wrote: : > I am not quite sure how to express this in Haskell : > terms but here it goes anyway: Why is :% in Ratio : > not hidden? : What?!? Of course :% is hidden. It's always been hidden. : If it isn't it's a bug in your implementation or a (new) bug : in the repotr. It's always been hidden before; exposing it would : be a grave error. Hmm. I must have missed something. My hugs (1.4) allows it. I was assuming that Haskell did allow it. As it turns out my latest ghc doesn't. That's cool. Thanks. Sorry for the confusion. Regards, Marc
Re: Ratio: (-1:%1) < (-1:%1)?
Jerzy Karczmarczuk ([EMAIL PROTECTED]) wrote: [...] : First of all: at least in Hugs (:%) is *not* exported by : the Prelude. : : So, it is hidden, and a sane, well educated gentleman would : not procreate a fraction with negative denominator. That is the point I am trying to make. Not all people are gentle. Another thing is that gentlemen normally ensure a gcd of 1 for numerator and denominator. The definition of (*) in the Prelude has to be clumsy because it cannot assume that this will the case because users can construct their own Ratios. : The form (1:%-1) is an abomination. Perhaps less than (1:%0), : but anyway. But how to have a low-level efficiency and a : direct access to data structures, and the respect of all : mathematic constraints? In principle we could have a polar : representation of complexes: (r,theta), and somebody really : funny could put a negative r inside. I haven't looked at that. But if it is not the intended way to use these things at least it should be documented. : And then somebody really sad would cry that (r,theta) is equal : but not really, to (r,theta+2PI). But they are equal. However, see my previous point about documentation. [...] Regards, Marc -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Ratio: (-1:%1) < (-1:%1)?
Dear group, Maybe others have mentioned this as well but I can't recall having seen this anywhere. I am not quite sure how to express this in Haskell terms but here it goes anyway: Why is :% in Ratio not hidden? By allowing a user program to construct elements of the form (a:%b) one can create objects which lead to inconsistencies if each of the following hold: (1) for all a: not (a < a); (2) for all a, b and c: if a < b and b < c then a < c. (3) for all a: if a <= b and b <= a then a == b Now Ratio defines (<=) and (<) as (x:%y) <= (x':%y') = x * y' <= x' * y (x:%y) < (x':%y') = x * y' < x' * y According to these definitions and using pseudo notation the following must hold: (-1:%1) < (0:%1) < (1:%-1) == (-1:%1), The last equality follows from (3) and the fact that: (1:%-1) <= (-1:%1) and (-1:%1) <= (1:%-1). Using (2) it now follows that (-1:%1) < (-1:%1) which according to (1) should not be true. According to the language definition (1:%-1) != (-1:%1). Personally I think that built-in data types should obey (1), (2) and (3). Maybe I am missing something. Any comments? Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: Q: Library for (efficient:-) join and projection
Hi Tom, : Hi Marc. : : The Haskell type system can't express a polymorphic natural join. I can understand that. : Even the Trex extension to Hugs doesn't quite manage it. That's why : I'm keen on a further extension: symmetric record catenation. :-) What I need (and I hacked a quick and dirty version) is something with the following functionality: data Table variable value = Table [variable] [[value]] naturalJoin :: (Ord a,Ord b) => Table a b -> Table a b -> Table a b projection :: (Ord a,Ord b) => Table a b -> [a] -> Table a b : Also, the attached message may be relevant. Thanks! [...] Regards, Marc van Dongen
Q: Library for (efficient:-) join and projection
Dear group, I don't want to reinvent this wheel and was wondering if anybody knows of a publicly available library with functions allowing for the creation of tables, the computation of natural joins and projections of these tables (and possibly more). Any pointer will be greatly appreciated. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
Re: Enum instance for Ratio
George Russell ([EMAIL PROTECTED]) wrote: : Marc van Dongen wrote: : > I think it has to respect the implicit order which : > is defined by toEnum and fromEnum. But I may be wrong. : Well that's the current definition. But if you have toEnum and fromEnum : that's much stronger than Ord. I don't like toEnum/fromEnum anyway; it makes Neither do I. : no sense for Doubles. I don't like those either:-) Regards, Marc
Re: Enum instance for Ratio
George Russell ([EMAIL PROTECTED]) wrote: : > data Human = Woman | Man : Hmm maybe. But then are you going to make succ Woman = Man or succ Man = Woman?? I think it has to respect the implicit order which is defined by toEnum and fromEnum. But I may be wrong. : It seems to me that in any case you are going to upset people. By defining successor or predecessor? : Humans are a special case because there are only two ways of ordering the : sexes, and both are controversial. If we have :data Colour = Red | Blue | Yellow : and want to make Colour an instance of Enum, then to consistently define [..] : you need to make arbitrary choices. If you're going to arbitrarily choose an : enumeration it doesn't seem unreasonable to me to arbitrarily choose an ordering : as well. I have to think about that. Regards, Marc
Re: More on randoms
Jerzy Karczmarczuk ([EMAIL PROTECTED]) wrote: [...] : the Haskell standard libraries offer only the basic integer RNG, : which will force all the users to reconstruct the needed reals, : this is not extremely painful, but anyway. : I would love having 'next' returning reals as well... : And vectors (with decently uncorrelated elements). Etc. Yes please. But do change the word vector into [Integer]. [...] Regards, Marc van Dongen
TapSoft'97 : 2nd Call For Paper
Please find enclosed the call for participation for TAPSOFT '97. This call and other information on TAPSOFT '97 is also accessible by WWW at http://www.lifl.fr/tapsoft97. Sincerely apologize if you receive more than one copy of this message. Marc Tommasi Lab. d'Informatique Fondamentale de Lille -- Bat. M3 -- Cite Scientifique Univ. de Lille 1 -- 59655 Villeneuve d'Ascq CEDEX -- FRANCE == TAPSOFT'97 -- CALL FOR PARTICIPATION April 14-18, 1997 -- Lille, FRANCE http://www.lifl.fr/tapsoft97 TAPSOFT'97 is the Seventh International Joint Conference on the Theory and Practice of Software Development. The TAPSOFT series was started in Berlin in 1985, on the initiative of Hartmut Ehrig and Christiane Floyd (among others). Since then it has been held biennially, in Pisa, Barcelona, Brighton, Orsay and Aarhus. The overall aim of TAPSOFT was formulated as: to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT is traditionally composed of CAAP -- Colloquium on Trees in Algebra and Programming, and FASE -- Colloquium on Formal Approaches in Software Engineering. In recognition of the importance of support tools for practical use of formal approaches, TAPSOFT'97 will also have (at least) a session where TOOLS are demonstrated. The five first editions of CAAP were held in Lille, from 1976 to 1980. CAAP'97 will be the last one thus it comes back to Lille. In 1998, a new joint conference, ETAPS (European joint conferences on Theory and Practice of Software) will be held yearly in Spring. It is the successor of TAPSOFT and CAAP-ESOP-CC. --- CAAP Programme Committee: S. Abramsky (UK) A. Arnold (France) G. Ausiello (Italy) C. Boehm (Italy) M. Dauchet (chair, France) J. Diaz (Spain) H. Ehrig (Germany)P. Franchi Zannettacci (France) J.-P. Jouannaud (France) H. Kirchner (France) U. Montanari (Italy) M. Nielsen (Denmark) M. Nivat (France) J.-F. Perrot (France)J.-C. Raoult (France) S. Tison (France) CAAP cover a wide range of topics in theoretical computer science; contributions on the following topics are especially welcome: properties of discrete structures, the theory of formal languages, syntax and semantics of programming languages, algorithms and data-structures, logic and formal verification, theoretical problems arising in software development. - FASE -- Programme Committee: E. Astesiano (Italy) D. Basin (Germany)M. Bidoit (chair, France) E. Brinskma (The Netherlands) L. Cardelli (USA) A. Finkel (France) J. Fitzgerald (UK)P.G. Larsen (Denmark) T. Henzinger (USA) P. Klint (The Netherlands)P. Mosses (Denmark) F. Orejas (Spain) D. Sannella (UK) B. Steffen (Germany) M. Wirsing (Germany) This colloquium aims at being a forum where different formal approaches to problems of software specification, development, and verification are presented, compared, and discussed. Contributions on the following topics are especially welcome: -- formal concepts for software development, -- software development using formal methods, -- formal approaches for real-time and distributed systems, -- provably correct software and verification methods, -- reports on case studies of applications of formal methods, -- programming languages and type systems, -- tools and environments supporting formal approaches -- possibly in conjunction with demonstrations. --- INVITED SPEAKERS E. Astesiano (Italy) : "Formalism and Method" J.-P. Jouannaud(France): "Membership Equational Logic" T. Maibaum (UK): "Conservative Extensions, Interpretations between theories and all that" P. Mosses(Denmark) : "The Common Framework Initiative for Algebraic Specification and Development" W. Thomas(Germany) : "Automata on finite trees and partial orders" F. Vaandrager(NL) : "A theory of Testing for Times Automata" -- CONFERENCE INFORMATION --- Additional information, site information, maps, updates, visa, tourist info, reservation form, accomodation form etc. can be obtained on http://www.lifl.fr/tapsoft97/ ftp://ftp.lifl.fr/pub/tapsoft97 [EMAIL PROTECTED] TAPSOFT Steering Committee: -- A. Arnold, P. Dega
TAPSOFT'97 Call For Paper
Please find enclosed the call for papers for TAPSOFT '97. This call and other information on TAPSOFT '97 is also accessible by WWW at http://www.lifl.fr/tapsoft97. I sincerely apologize if you receive more than one copy of this message. In the case you maintain a calendar of events about Computer Science conferences, I would be grateful if you could add a link to TAPSOFT'97 HomePage : http://www.lifl.fr/tapsoft97. Thanks. ---- Marc Tommasi Laboratoire d'Informatique Fondamentale de Lille Batiment M3 -- Cite Scientifique Universite des Sciences et Technologies de Lille 59655 Villeneuve d'Ascq CEDEX FRANCE Phone: (+33) 20 43 42 55 Fax: (+33) 20 43 65 66 ## TAPSOFT'97 -- CALL FOR PAPERS April 14-18, 1997 -- Lille, FRANCE DEADLINE FOR SUBMISSIONS : 13 Oct 1996 TAPSOFT'97 is the Seventh International Joint Conference on the Theory and Practice of Software Development. The TAPSOFT series was started in Berlin in 1985, on the initiative of Hartmut Ehrig and Christiane Floyd (among others). Since then it has been held biennially, in Pisa, Barcelona, Brighton, Orsay and Aarhus. The overall aim of TAPSOFT was formulated as: to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT is traditionally composed of CAAP -- Colloquium on Trees in Algebra and Programming, and FASE -- Colloquium on Formal Approaches in Software Engineering. In recognition of the importance of support tools for practical use of formal approaches, TAPSOFT'97 will also have (at least) a session where TOOLS are demonstrated. The five first editions of CAAP were held in Lille, from 1976 to 1980. CAAP'97 will be the last one thus it comes back to Lille. In 1998, a new joint conference, ETAPS (European joint conferences on Theory and Practice of Software) will be held yearly in Spring. It is the successor of TAPSOFT and CAAP-ESOP-CC. --- CAAP Programme Committee: S. Abramsky (UK) A. Arnold (France) G. Ausiello (Italy) C. Boehm (Italy) M. Dauchet (chair, France) J. Diaz (Spain) H. Ehrig (Germany) P. Franchi Zannettacci (France) J.-P. Jouannaud (France) H. Kirchner (France) U. Montanari (Italy) M. Nielsen (Denmark) M. Nivat (France) J.-F. Perrot (France) J.-C. Raoult (France) S. Tison (France) This colloquium series was originally devoted to the algebraic and combinatorial properties of trees, and their role in various fields of Computer Science. Now the scope of CAAP has been extended to other discrete data structures and CAAP'97 will cover algebraic, logical and combinatorial properties of discrete structures and their applications to Computer Science. Contributions on the following topics are especially welcome: -- properties of discrete structures, -- the theory of formal languages, -- syntax and semantics of programming languages, -- algorithms and data-structures, -- logic and formal verification, -- theoretical problems arising in software development. - FASE -- Programme Committee: E. Astesiano (Italy) D. Basin (Germany) M. Bidoit (chair, France) E. Brinskma (The Netherlands) L. Cardelli (USA) A. Finkel (France) J. Fitzgerald (UK) P.G. Larsen (Denmark) T. Henzinger (USA) P. Klint (The Netherlands) P. Mosses (Denmark) F. Orejas (Spain) D. Sannella (UK) B. Steffen (Germany) M. Wirsing (Germany) This colloquium aims at being a forum where different formal approaches to problems of software specification, development, and verification are presented, compared, and discussed. Contributions on the following topics are especially welcome: -- formal concepts for software development, -- software development using formal methods, -- formal approaches for real-time and distributed systems, -- provably correct software and verification methods, -- reports on case studies of applications of formal methods, -- programming languages and type systems, -- tools and environments supporting formal approaches -- possibly in conjunction with demonstrations. --- INVITED SPEAKERS E. Astesiano(Italy) J.-P. Jouannaud (France) T. Maibaum (UK) P. Mosses (Denmark) W. Thomas (Germany) F. Vaandrager (The Netherlands) SUBMISSION TO TAPSOFT'97 --- - Paper
How much MB do I need
To compile a large Haskell program. I am compiling at the moment without optimization and 55 MB of heap. Still ghc complains that the heap is too small. Any suggestions? Marc van Dongen [EMAIL PROTECTED]
happy related question
Dear all,
Could someone explain me why the following does not work?
Any help is *greatly* appreciated. If I can't find out
what causes this problem, I'll have to program in c and
use yacc & lex for the next 2.5 years :-(
Sincerely,
Marc van Dongen
[EMAIL PROTECTED]
*** tmp.ly **
> {
> module Tmp(happyError) where
> }
> %name test
> %tokentype { Token }
> %token
> var { TokVar }
> %newline { '\n' }
> %%
> Test :: { String }
> Test:{ "" }
Test: var{ "" } -- also won't work
> {
> happyError :: Int -> [Token] -> a
> happyError i _ = error ("Parse error in line " ++ show i ++ "\n")
> data Token = TokVar
> }
*** happying and ghcing *
> happy tmp.ly
> ghc -c tmp.hs
"tmp.hs", line 41:
Couldn't match the type `Token' against `Char'.
Inside two case alternatives:
... TokVar -> cont 2
... '\n' -> happyNewToken action (ln + 1) tks
Compilation had errors
* tmp.hs
-- parser produced by Happy Version 0.8
module Tmp(happyError) where
data HappyAbsSyn
= HappyTerminal ( Token )
| HappyAbsSyn1 ( String )
type HappyReduction =
Int
-> ( Token )
-> HappyState ( Token ) ([HappyAbsSyn] -> ( String ))
-> Int
-> [ Token ]
-> [HappyState ( Token ) ([HappyAbsSyn] -> ( String ))]
-> [HappyAbsSyn]
-> ( String )
action_0,
action_1 :: Int -> HappyReduction
happyReduce_1 :: HappyReduction
action_0 1 = happyGoto action_1
action_0 _ = happyReduce_1
action_1 3 = happyAccept
action_1 _ = happyFail
happyReduce_1 = specHappyReduce_0 1 reduction where {
reduction (
happyRest)
happy_var_lineno = HappyAbsSyn1
( "" ) : happyRest}
happyNewToken action ln []
= action 3 3 (error "reading EOF!") (HappyState action) ln []
happyNewToken action ln (tk:tks) = case tk of
TokVar -> cont 2
'\n' -> happyNewToken action (ln + 1) tks
where cont i = action i i tk (HappyState action) ln tks
test = happyParse
happyError :: Int -> [Token] -> a
happyError i _ = error ("Parse error in line " ++ show i ++ "\n")
data Token = TokVar
-- Start of Happy Template (version 0.8)
happyParse tks = happyNewToken action_0 (1::Int) tks [] []
-- All this HappyState stuff is simply because we can't have recursive
-- types in Haskell without an intervening data structure.
data HappyState b c = HappyState
(Int -> -- token number
Int -> -- token number (yes, again)
b -> -- token semantic value
HappyState b c -> -- current state
Int -> -- line number
[b] -> -- rest of tokens
[HappyState b c] ->-- state stack
c)
-- Ok, Here are the action functions.
happyAccept _ _ _ _ _ _ [ HappyAbsSyn1 ans ] = ans
happyFail _ _ _ ln tks _ _ = happyError ln tks
happyShift new_state i tk st ln tks sts stk =
happyNewToken new_state ln tks (st:sts) (HappyTerminal tk:stk)
happyGoto action j tk st = action j j tk (HappyState action)
-- happyReduce is specialised for the common cases.
specHappyReduce_0 i fn j tk st@(HappyState action) ln tks sts stk
= action i j tk st ln tks (st:sts) (fn stk ln)
specHappyReduce_1 i fn j tk _ ln tks sts@(st@(HappyState action):_) stk
= action i j tk st ln tks sts (fn stk ln)
specHappyReduce_2 i fn j tk _ ln tks (_:sts@(st@(HappyState action):_)) stk
= action i j tk st ln tks sts (fn stk ln)
specHappyReduce_3 i fn j tk _ ln tks (_:_:sts@(st@(HappyState action):_)) stk
= action i j tk st ln tks sts (fn stk ln)
happyReduce i k fn j tk st ln tks sts stk
= action i j tk st' ln tks sts' (fn stk ln)
where sts'@(st'@(HappyState action):_) = drop (k::Int) (st:sts)
-- Internal happy errors:
notHappyAtAll :: Int -> a
notHappyAtAll i = error ("Internal Happy error in reduction ( "
++ show i ++ " )")
-- end of Happy Template.
hbc-SPECIALIZE
Using the SPECIALIZE-annotation is not as efficient (time and space) as specializing the function by hand (chucking away the overloaded version). Why? (Assume the specialized version to be the only one needed) Marc Rehmsmeier.
don't know
Is it possible to read a special data-object (not a string) from (e.g.) stdin at runtime, in a way that it is not necessary to parse the input? In special: I want to read a representation of a syntax-tree at runtime without parsing this string-representation and transforming it to my internal syntax-tree-representation. I just want to read and then work with it. Any questions about my question? Marc.
Forcing evaluation
Is it possible to force evaluation of an
expression resulting in a list to normal
form? (Using {-#STRICT#-} seems not to
be the right way.)
Marc.
What is lazyness?
One can define lazyness in two ways: 1. Lazyness is a demand to the programming language not to reduce every subterm of an expression (if this is possible). In this sense outermost reduction is one kind of lazy-evaluation (see also Bird/Wadler Introduction to Functional Programming). 2. Lazyness does not change the semantic of a program (outermost- reduction would do). It's a set of tricks which makes it possible to do evaluation without reducing subterms twice (see also Peyton Jones/Lester Implementing Functional Languages). Does there exist a common sense concerning the meaning of lazyness? Marc Rehmsmeier (Please excuse my bad English...)
Re: n+k patterns
>From my point of view (n+k)-patterns have a very special meaning. This natural numbers should be considered as a type like this: data Nat = Zero | Succ Nat Therefore a (n+k)-pattern is an abbreviation for Succ(Succ(...Zero...)). It's obvious that "+" in "(n+k)" doesn't mean a somewhere else defined (or locally rebound) function. If we keep this in mind there shouldn't be any problem. (Tell me if I'm wrong.) Greetings, Marc Rehmsmeier.
hbc: Int/Integer
Evaluating sum [1..10] (compiled with hbc) results in a wrong value. Haskell seems to assume Int to be the correct type. But Integer is needed. Why doesn't any error-message (like "overflow") occur during evaluation? Marc Rehmsmeier.
article wanted
I'm searching for an article titled like "The next 10 problems in functional programming" (I don't know the title exactly), describing problems which are hard (or not at all) to solve in a FPL. Can anybody help me? Marc Rehmsmeier.
Full Lazyness??
Consider the following haskell-definition: s :: a -> Integer s x = sum [1..7] Evaluation of main = print (s 0) (a.out -H2000 -S -a) results in the correct value after 1.27 seconds and allocates 5881256 bytes from the heap (0 GCs). Evaluation of main = print (s 0, s 0) (a.out -H2000 -S -a) needs 1.68 seconds and 8121656 bytes (0 GCs). That's not what I want to call fully lazy. Am I doing something wrong? PS: Defining s without a parameter x doesn't cause any trouble. Marc Rehmsmeier.
PS 2 strange behaviour
With rusage you can get information about the resource usage for a command, e.g. rusage a.out. The resident set size is the size of physical memory used by the process at a certain time. mx is the maximum resident set size. Size is given in pages (4096 Bytes in this case) id is an "integral" value indicating the amount of memory in use by a process while the process is running. This value is the sum of the resident set sizes of the process running when a clock tick occurs. The value is given in pages times clock ticks. Note: it does not take sharing into account. WARNING: The way resident set size is calculated is an approximation and could misrepresent the true resident set size.
