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.
Current Topics in Artificial Intelligence [[electronic resource] ] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
| Current Topics in Artificial Intelligence [[electronic resource] ] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 302 p. 77 illus.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer programming
Database management Computer engineering Artificial intelligence Application software Computers Programming Techniques Database Management Computer Engineering Artificial Intelligence Information Systems Applications (incl. Internet) Computation by Abstract Devices |
| ISBN |
1-280-38780-7
9786613565723 3-642-14264-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program’s Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription. |
| Record Nr. | UNISA-996465857703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Current Topics in Artificial Intelligence [[electronic resource] ] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
| Current Topics in Artificial Intelligence [[electronic resource] ] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 302 p. 77 illus.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer programming
Database management Computer engineering Artificial intelligence Application software Computers Programming Techniques Database Management Computer Engineering Artificial Intelligence Information Systems Applications (incl. Internet) Computation by Abstract Devices |
| ISBN |
1-280-38780-7
9786613565723 3-642-14264-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program’s Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription. |
| Record Nr. | UNINA-9910483926203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision Making under Constraints [[electronic resource] /] / edited by Martine Ceberio, Vladik Kreinovich
| Decision Making under Constraints [[electronic resource] /] / edited by Martine Ceberio, Vladik Kreinovich |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (222 pages) |
| Disciplina | 005.11 |
| Collana | Studies in Systems, Decision and Control |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-40814-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fuzzy Systems Are Universal Approximators for Random Dependencies:A Simplified Proof -- How Quantum Computing Can Help With (Continuous) Optimization -- How Neural Networks (NN) Can (Hopefully) Learn Faster by Taking Into Account Known Constraints -- Fuzzy Primeness in Quantales -- Collective Defense and Possible Relaxations in Weighted Abstract Argumentation Problems -- Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems. . |
| Record Nr. | UNINA-9910483657903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developing Modular-Oriented Simulation Models Using System Dynamics Libraries [[electronic resource] /] / by Christian K. Karl, William Ibbs
| Developing Modular-Oriented Simulation Models Using System Dynamics Libraries [[electronic resource] /] / by Christian K. Karl, William Ibbs |
| Autore | Karl Christian K |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 105 p. 38 illus., 23 illus. in color.) |
| Disciplina | 005.11 |
| Collana | SpringerBriefs in Electrical and Computer Engineering |
| Soggetto topico |
Computers
Civil engineering Information Systems and Communication Service Civil Engineering |
| ISBN | 3-319-33169-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Module-oriented modeling approach -- Exemplary development of a model library -- Implementation of the model elements -- Selected results of prototypical implementation -- Summary and outlook -- Appendix -- Further Readings. |
| Record Nr. | UNINA-9910254997803321 |
Karl Christian K
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developments in Language Theory [[electronic resource] ] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu
| Developments in Language Theory [[electronic resource] ] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 446 p. 48 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Computer science Algorithms Machine theory Programming Techniques Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory |
| ISBN | 3-642-14455-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Reaction Systems: A Model of Computation Inspired by Biochemistry -- A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages -- The Complexity of Regular(-Like) Expressions -- On Decision Problems for Simple and Parameterized Machines -- DNA Computing and Its Implications for Theoretical Computer Science -- Numeration Systems: A Link between Number Theory and Formal Language Theory -- Regular Papers -- Algorithmic Properties of Millstream Systems -- On a Conjecture by Carpi and D’Alessandro -- Linking Algebraic Observational Equivalence and Bisimulation -- Undecidability and Hierarchy Results for Parallel Communicating Finite Automata -- Inclusion Problems for Patterns with a Bounded Number of Variables -- On the Average Number of States of Partial Derivative Automata -- On the Hybrid ?erný-Road Coloring Problem and Hamiltonian Paths -- Computing Blocker Sets for the Regular Post Embedding Problem -- Rankers over Infinite Words -- Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices -- On Müller Context-Free Grammars -- Minimization of Deterministic Bottom-Up Tree Transducers -- Two-Way Unary Automata versus Logarithmic Space -- On the Periodicity of Morphic Words -- Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups -- Using Light to Implement Parallel Boolean Algebra -- Periodicity in Tilings -- Complexity in Union-Free Regular Languages -- Schema for Parallel Insertion and Deletion -- On Schützenberger Products of Semirings -- On Language Equations XXK?=?XXL and XM?=?N over a Unary Alphabet -- Around Dot Depth Two -- Input Products for Weighted Extended Top-Down Tree Transducers -- Regular Hedge Language Factorization Revisited -- Fast Parsing for Boolean Grammars: A Generalization of Valiant’s Algorithm -- On Lexicalized Well-Behaved Restarting Automata That Are Monotone -- On a Powerful Class of Non-universal P Systems with Active Membranes -- State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages -- Restricted Ambiguity of Erasing Morphisms -- Automata with Extremal Minimality Conditions -- On the Existence of Minimal ?-Powers -- The Averaging Trick and the ?erný Conjecture -- Short Papers -- Pseudo-power Avoidance -- On Restricted Context-Free Grammars -- Graphs Capturing Alternations in Words -- On the Iterated Hairpin Completion -- On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract) -- Joint Topologies for Finite and Infinite Words. |
| Record Nr. | UNISA-996466431403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Developments in Language Theory [[electronic resource] ] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu
| Developments in Language Theory [[electronic resource] ] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 446 p. 48 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Computer science Algorithms Machine theory Programming Techniques Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory |
| ISBN | 3-642-14455-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Reaction Systems: A Model of Computation Inspired by Biochemistry -- A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages -- The Complexity of Regular(-Like) Expressions -- On Decision Problems for Simple and Parameterized Machines -- DNA Computing and Its Implications for Theoretical Computer Science -- Numeration Systems: A Link between Number Theory and Formal Language Theory -- Regular Papers -- Algorithmic Properties of Millstream Systems -- On a Conjecture by Carpi and D’Alessandro -- Linking Algebraic Observational Equivalence and Bisimulation -- Undecidability and Hierarchy Results for Parallel Communicating Finite Automata -- Inclusion Problems for Patterns with a Bounded Number of Variables -- On the Average Number of States of Partial Derivative Automata -- On the Hybrid ?erný-Road Coloring Problem and Hamiltonian Paths -- Computing Blocker Sets for the Regular Post Embedding Problem -- Rankers over Infinite Words -- Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices -- On Müller Context-Free Grammars -- Minimization of Deterministic Bottom-Up Tree Transducers -- Two-Way Unary Automata versus Logarithmic Space -- On the Periodicity of Morphic Words -- Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups -- Using Light to Implement Parallel Boolean Algebra -- Periodicity in Tilings -- Complexity in Union-Free Regular Languages -- Schema for Parallel Insertion and Deletion -- On Schützenberger Products of Semirings -- On Language Equations XXK?=?XXL and XM?=?N over a Unary Alphabet -- Around Dot Depth Two -- Input Products for Weighted Extended Top-Down Tree Transducers -- Regular Hedge Language Factorization Revisited -- Fast Parsing for Boolean Grammars: A Generalization of Valiant’s Algorithm -- On Lexicalized Well-Behaved Restarting Automata That Are Monotone -- On a Powerful Class of Non-universal P Systems with Active Membranes -- State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages -- Restricted Ambiguity of Erasing Morphisms -- Automata with Extremal Minimality Conditions -- On the Existence of Minimal ?-Powers -- The Averaging Trick and the ?erný Conjecture -- Short Papers -- Pseudo-power Avoidance -- On Restricted Context-Free Grammars -- Graphs Capturing Alternations in Words -- On the Iterated Hairpin Completion -- On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract) -- Joint Topologies for Finite and Infinite Words. |
| Record Nr. | UNINA-9910483494703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Document management : elaborazione automatica di documenti / a cura di Dario Lucarella, Giulio Occhini
| Document management : elaborazione automatica di documenti / a cura di Dario Lucarella, Giulio Occhini |
| Autore | Lucarella, Dario |
| Pubbl/distr/stampa | Milano : Masson Italia, 1987 |
| Descrizione fisica | 174 p. : ill. ; 24 cm |
| Disciplina | 005.11 |
| Altri autori (Persone) | Occhini, Giulio |
| Collana | Collana AICA di Informatica |
| Soggetto non controllato | Elaboratori elettronici - Impiego in editoria |
| ISBN | 88-214-0612-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000512410403321 |
| Lucarella, Dario | ||
| Milano : Masson Italia, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Domain-driven Laravel : learn to implement domain-driven design using Laravel / / Jesse Griffin
| Domain-driven Laravel : learn to implement domain-driven design using Laravel / / Jesse Griffin |
| Autore | Griffin Jesse |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Apress, , [2021] |
| Descrizione fisica | 1 online resource (621 pages) |
| Disciplina | 005.11 |
| Soggetto topico | Domain-specific programming languages |
| ISBN | 1-4842-6023-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: An Odd Combination -- 1. Laying the Foundation -- 2. Foundational Bootcamp -- 3. Domain Driven What? -- 4. Introduction to Laravel -- 5. Advanced Laravel -- 6. Architecting a Claim Processing System -- 7. Modeling and Implementing the Domain -- 8. Modularizing Laravel -- Part 2: A Domain Driven Approach -- 9. A Domain Driven Approach to Claim Submission -- 10. A Domain Driven Approach to Claim Validation -- 11. Context Maps -- Part 3: Technical Aspects of DDD -- 12. DTOs, Entities, and Value Objects -- 13. Domain Events -- 14. Repositories -- 15. Factories and Aggregates -- 16. Services -- Part 4: DDD via Laravel -- 17. Hexagon Driven Development. - 18. Applying DDL in the Real World -- 19. Conclusion and Additional Thoughts. |
| Record Nr. | UNINA-9910483519003321 |
|
Griffin Jesse
|
||
| [Place of publication not identified] : , : Apress, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Domain-Specific Languages : Effective Modeling, Automation, and Reuse / / Andrzej Wasowski and Thorsten Berger
| Domain-Specific Languages : Effective Modeling, Automation, and Reuse / / Andrzej Wasowski and Thorsten Berger |
| Autore | Wąsowski Andrzej |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (494 pages) |
| Disciplina | 005.11 |
| Soggetto topico | Domain-specific programming languages |
| ISBN | 3-031-23669-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910647785703321 |
|
Wąsowski Andrzej
|
||
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Domain-Specific Languages : Effective Modeling, Automation, and Reuse / / Andrzej Wasowski and Thorsten Berger
| Domain-Specific Languages : Effective Modeling, Automation, and Reuse / / Andrzej Wasowski and Thorsten Berger |
| Autore | Wąsowski Andrzej |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (494 pages) |
| Disciplina | 005.11 |
| Soggetto topico | Domain-specific programming languages |
| ISBN | 3-031-23669-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996546844103316 |
|
Wąsowski Andrzej
|
||
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
