Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2015 IEEE International Conference on Communication Problem Solving (ICCP) / / Institute of Electrical and Electronics Engineers Staff
| 2015 IEEE International Conference on Communication Problem Solving (ICCP) / / Institute of Electrical and Electronics Engineers Staff |
| Pubbl/distr/stampa | Piscataway : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.8 |
| Soggetto topico | Problem solving - Data processing |
| ISBN | 1-4673-6544-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2015 IEEE International Conference on Communication Problem-Solving |
| Record Nr. | UNISA-996279912603316 |
| Piscataway : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2015 IEEE International Conference on Communication Problem Solving (ICCP) / / Institute of Electrical and Electronics Engineers Staff
| 2015 IEEE International Conference on Communication Problem Solving (ICCP) / / Institute of Electrical and Electronics Engineers Staff |
| Pubbl/distr/stampa | Piscataway : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.8 |
| Soggetto topico | Problem solving - Data processing |
| ISBN | 1-4673-6544-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2015 IEEE International Conference on Communication Problem-Solving |
| Record Nr. | UNINA-9910136789403321 |
| Piscataway : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez
| Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez |
| Autore | Gómez-Pérez José Manuel |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 006.3/31 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Problem solving - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-341-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; List of figures; List of Tables; Contents; Introduction; State of the Art; The Knowledge Acquisition Bottleneck; From Mining to Modelling: The Knowledge Level; Ontologies and Problem Solving Methods in the Knowledge Acquisition Modelling Paradigm; Knowledge Acquisition by Knowledge Engineers; Knowledge Acquisition by Subject Matter Experts; Process Knowledge and Subject Matter Experts; The Process Knowledge Lifecycle; Conclusions; Work Objectives; Goals and Open Research Problems; Contributions to the State of the Art; Work Assumptions, Hypotheses, and Restrictions
Acquisition of Process Knowledge by SMEsIntroduction; Knowledge Acquisition and Formulation by SMEs in the Halo Project; Knowledge Types in Scientific Disciplines; Domain Analysis; A Comprehensive Set of Knowledge Types in Scientific Disciplines; The Process Metamodel; Process Entities in the Process Metamodel; Problem Solving Methods for the Acquisition of Process Knowledge; A PSM Modelling Framework for Processes; A Method to Build a PSM Library of Process Knowledge; A PSM Library for the Acquisition of Process Knowledge; Enabling SMEs to Formulate Process Knowledge The DarkMatter Process EditorRelated Work; Representing and Reasoning with SME-authored Process Knowledge; A Formalism for Representing and Reasoning with Process Knowledge; F-logic as Process Representation and Reasoning Language; The Process Frame; Code Generation for Process Knowledge; Synthesis of precedence rules for data flow management; Code Synthesis for Iterative Actions; Soundness and Completeness of Process Models; Optimization of the Synthesized Process Code; Reasoning with Process Models; Analysis of Process Executions by SMEs; Towards Knowledge Provenance in Process Analysis Problem Solving Methods for the Analysis of Process ExecutionsA Knowledgeoriented Provenance Environment; An Algorithm for Process Analysis Using PSMs; Evaluation; Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs; Evaluation Syllabus; Distribution of the Formulated Processes across the Evaluation Syllabus; Utilization of the PSM Library and Process Metamodel; Usage Experience of the SMEs with the Process Editor; Performance Evaluation of the Process Component; Evaluation of KOPE for the Analysis of Process Executions by SMEs; Evaluation Settings Evaluation MetricsEvaluation Results; Evaluation Conclusions; Conclusions and Future Research; Conclusions; Future Research Problems; REFERENCES; Appendix. Sample F-logic Code for a Process Model |
| Record Nr. | UNINA-9910453264703321 |
Gómez-Pérez José Manuel
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez
| Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez |
| Autore | Gómez-Pérez José Manuel |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 006.3/31 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Problem solving - Data processing |
| ISBN | 1-61499-341-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; List of figures; List of Tables; Contents; Introduction; State of the Art; The Knowledge Acquisition Bottleneck; From Mining to Modelling: The Knowledge Level; Ontologies and Problem Solving Methods in the Knowledge Acquisition Modelling Paradigm; Knowledge Acquisition by Knowledge Engineers; Knowledge Acquisition by Subject Matter Experts; Process Knowledge and Subject Matter Experts; The Process Knowledge Lifecycle; Conclusions; Work Objectives; Goals and Open Research Problems; Contributions to the State of the Art; Work Assumptions, Hypotheses, and Restrictions
Acquisition of Process Knowledge by SMEsIntroduction; Knowledge Acquisition and Formulation by SMEs in the Halo Project; Knowledge Types in Scientific Disciplines; Domain Analysis; A Comprehensive Set of Knowledge Types in Scientific Disciplines; The Process Metamodel; Process Entities in the Process Metamodel; Problem Solving Methods for the Acquisition of Process Knowledge; A PSM Modelling Framework for Processes; A Method to Build a PSM Library of Process Knowledge; A PSM Library for the Acquisition of Process Knowledge; Enabling SMEs to Formulate Process Knowledge The DarkMatter Process EditorRelated Work; Representing and Reasoning with SME-authored Process Knowledge; A Formalism for Representing and Reasoning with Process Knowledge; F-logic as Process Representation and Reasoning Language; The Process Frame; Code Generation for Process Knowledge; Synthesis of precedence rules for data flow management; Code Synthesis for Iterative Actions; Soundness and Completeness of Process Models; Optimization of the Synthesized Process Code; Reasoning with Process Models; Analysis of Process Executions by SMEs; Towards Knowledge Provenance in Process Analysis Problem Solving Methods for the Analysis of Process ExecutionsA Knowledgeoriented Provenance Environment; An Algorithm for Process Analysis Using PSMs; Evaluation; Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs; Evaluation Syllabus; Distribution of the Formulated Processes across the Evaluation Syllabus; Utilization of the PSM Library and Process Metamodel; Usage Experience of the SMEs with the Process Editor; Performance Evaluation of the Process Component; Evaluation of KOPE for the Analysis of Process Executions by SMEs; Evaluation Settings Evaluation MetricsEvaluation Results; Evaluation Conclusions; Conclusions and Future Research; Conclusions; Future Research Problems; REFERENCES; Appendix. Sample F-logic Code for a Process Model |
| Record Nr. | UNINA-9910790733203321 |
|
Gómez-Pérez José Manuel
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez
| Acquisition and understanding of process knowledge using problem solving methods / / José Manuel Gómez-Pérez |
| Autore | Gómez-Pérez José Manuel |
| Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 006.3/31 |
| Collana | Studies on the Semantic Web |
| Soggetto topico |
Knowledge acquisition (Expert systems)
Problem solving - Data processing |
| ISBN | 1-61499-341-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; List of figures; List of Tables; Contents; Introduction; State of the Art; The Knowledge Acquisition Bottleneck; From Mining to Modelling: The Knowledge Level; Ontologies and Problem Solving Methods in the Knowledge Acquisition Modelling Paradigm; Knowledge Acquisition by Knowledge Engineers; Knowledge Acquisition by Subject Matter Experts; Process Knowledge and Subject Matter Experts; The Process Knowledge Lifecycle; Conclusions; Work Objectives; Goals and Open Research Problems; Contributions to the State of the Art; Work Assumptions, Hypotheses, and Restrictions
Acquisition of Process Knowledge by SMEsIntroduction; Knowledge Acquisition and Formulation by SMEs in the Halo Project; Knowledge Types in Scientific Disciplines; Domain Analysis; A Comprehensive Set of Knowledge Types in Scientific Disciplines; The Process Metamodel; Process Entities in the Process Metamodel; Problem Solving Methods for the Acquisition of Process Knowledge; A PSM Modelling Framework for Processes; A Method to Build a PSM Library of Process Knowledge; A PSM Library for the Acquisition of Process Knowledge; Enabling SMEs to Formulate Process Knowledge The DarkMatter Process EditorRelated Work; Representing and Reasoning with SME-authored Process Knowledge; A Formalism for Representing and Reasoning with Process Knowledge; F-logic as Process Representation and Reasoning Language; The Process Frame; Code Generation for Process Knowledge; Synthesis of precedence rules for data flow management; Code Synthesis for Iterative Actions; Soundness and Completeness of Process Models; Optimization of the Synthesized Process Code; Reasoning with Process Models; Analysis of Process Executions by SMEs; Towards Knowledge Provenance in Process Analysis Problem Solving Methods for the Analysis of Process ExecutionsA Knowledgeoriented Provenance Environment; An Algorithm for Process Analysis Using PSMs; Evaluation; Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs; Evaluation Syllabus; Distribution of the Formulated Processes across the Evaluation Syllabus; Utilization of the PSM Library and Process Metamodel; Usage Experience of the SMEs with the Process Editor; Performance Evaluation of the Process Component; Evaluation of KOPE for the Analysis of Process Executions by SMEs; Evaluation Settings Evaluation MetricsEvaluation Results; Evaluation Conclusions; Conclusions and Future Research; Conclusions; Future Research Problems; REFERENCES; Appendix. Sample F-logic Code for a Process Model |
| Record Nr. | UNINA-9910822426503321 |
|
Gómez-Pérez José Manuel
|
||
| Heidelberg, Germany : , : IOS Press : , : AKA, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced problem solving with Maple : a first course / / William P. Fox and William C. Bauldry
| Advanced problem solving with Maple : a first course / / William P. Fox and William C. Bauldry |
| Autore | Fox William P. <1949-> |
| Pubbl/distr/stampa | Boca Raton : , : Taylor & Francis, CRC Press, , 2020 |
| Descrizione fisica | 1 online resource (347 pages) |
| Disciplina | 519.0285/53 |
| Soggetto topico |
Problem solving - Data processing
Quantitative research - Data processing |
| ISBN |
0-429-89134-2
0-429-89135-0 0-429-46963-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910793520303321 |
|
Fox William P. <1949->
|
||
| Boca Raton : , : Taylor & Francis, CRC Press, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced problem solving with Maple : a first course / / William P. Fox and William C. Bauldry
| Advanced problem solving with Maple : a first course / / William P. Fox and William C. Bauldry |
| Autore | Fox William P. <1949-> |
| Pubbl/distr/stampa | Boca Raton : , : Taylor & Francis, CRC Press, , 2020 |
| Descrizione fisica | 1 online resource (347 pages) |
| Disciplina | 519.0285/53 |
| Soggetto topico |
Problem solving - Data processing
Quantitative research - Data processing |
| ISBN |
0-429-89134-2
0-429-89135-0 0-429-46963-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910799926703321 |
|
Fox William P. <1949->
|
||
| Boca Raton : , : Taylor & Francis, CRC Press, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced problem solving with Maple : a first course / / William P. Fox and William C. Bauldry
| Advanced problem solving with Maple : a first course / / William P. Fox and William C. Bauldry |
| Autore | Fox William P. <1949-> |
| Pubbl/distr/stampa | Boca Raton : , : Taylor & Francis, CRC Press, , 2020 |
| Descrizione fisica | 1 online resource (347 pages) |
| Disciplina | 519.0285/53 |
| Soggetto topico |
Problem solving - Data processing
Quantitative research - Data processing |
| ISBN |
0-429-89134-2
0-429-89135-0 0-429-46963-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910819338503321 |
|
Fox William P. <1949->
|
||
| Boca Raton : , : Taylor & Francis, CRC Press, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms and Complexity / / by Herbert S. Wilf
| Algorithms and Complexity / / by Herbert S. Wilf |
| Autore | Wilf Herbert S. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : Taylor and Francis, an imprint of A K Peters/CRC Press, , 2002 |
| Descrizione fisica | 1 online resource (229 p.) |
| Disciplina | 511/.8 |
| Soggetto topico |
Problem solving - Data processing
Computer algorithms Computational complexity |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-429-29492-1
1-56881-574-3 1-4398-6379-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910463721303321 |
|
Wilf Herbert S.
|
||
| Boca Raton, FL : , : Taylor and Francis, an imprint of A K Peters/CRC Press, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms and Complexity / / by Herbert S. Wilf
| Algorithms and Complexity / / by Herbert S. Wilf |
| Autore | Wilf Herbert S. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : Taylor and Francis, an imprint of A K Peters/CRC Press, , 2002 |
| Descrizione fisica | 1 online resource (229 p.) |
| Disciplina | 511/.8 |
| Soggetto topico |
Problem solving - Data processing
Computer algorithms Computational complexity |
| ISBN |
0-429-29492-1
1-56881-574-3 1-4398-6379-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910788961103321 |
|
Wilf Herbert S.
|
||
| Boca Raton, FL : , : Taylor and Francis, an imprint of A K Peters/CRC Press, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
