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.
High Performance Computing for Computational Science – VECPAR 2016 [[electronic resource] ] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques
| High Performance Computing for Computational Science – VECPAR 2016 [[electronic resource] ] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 272 p. 133 illus.) |
| Disciplina | 004.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Computer science Software engineering Computer simulation Electronic digital computers—Evaluation Computer arithmetic and logic units Mathematics of Computing Theory of Computation Software Engineering Computer Modelling System Performance and Evaluation Arithmetic and Logic Structures |
| ISBN | 3-319-61982-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Performance modeling and analysis -- Low level support.-Environments/libraries to support parallelization. |
| Record Nr. | UNISA-996466292903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques
| High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 272 p. 133 illus.) |
| Disciplina | 004.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Computer science Software engineering Computer simulation Electronic digital computers—Evaluation Computer arithmetic and logic units Mathematics of Computing Theory of Computation Software Engineering Computer Modelling System Performance and Evaluation Arithmetic and Logic Structures |
| ISBN | 3-319-61982-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Performance modeling and analysis -- Low level support.-Environments/libraries to support parallelization. |
| Record Nr. | UNINA-9910483781203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / / edited by Rui Camacho, Ross King, Ashwin Srinivasan
| Inductive Logic Programming [[electronic resource] ] : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / / edited by Rui Camacho, Ross King, Ashwin Srinivasan |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 358 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer programming Mathematical logic Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-540-30109-7 |
| Classificazione | 007.64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Automated Synthesis of Data Analysis Programs: Learning in Logic -- At the Interface of Inductive Logic Programming and Statistics -- From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery -- Systems Biology: A New Challenge for ILP -- Scaling Up ILP: Experiences with Extracting Relations from Biomedical Text -- Research Papers -- Macro-Operators Revisited in Inductive Logic Programming -- Bottom-Up ILP Using Large Refinement Steps -- On the Effect of Caching in Recursive Theory Learning -- FOIL-D: Efficiently Scaling FOIL for Multi-relational Data Mining of Large Datasets -- Learning an Approximation to Inductive Logic Programming Clause Evaluation -- Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction -- Automatic Induction of First-Order Logic Descriptors Type Domains from Observations -- On Avoiding Redundancy in Inductive Logic Programming -- Generalization Algorithms for Second-Order Terms -- Circumscription Policies for Induction -- Logical Markov Decision Programs and the Convergence of Logical TD(?) -- Learning Goal Hierarchies from Structured Observations and Expert Annotations -- Efficient Evaluation of Candidate Hypotheses in -log -- An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques -- Improving Rule Evaluation Using Multitask Learning -- Learning Logic Programs with Annotated Disjunctions -- A Simulated Annealing Framework for ILP -- Modelling Inhibition in Metabolic Pathways Through Abduction and Induction -- First Order Random Forests with Complex Aggregates -- A Monte Carlo Study of Randomised Restarted Search in ILP -- Addendum -- Learning, Logic, and Probability: A Unified View. |
| Record Nr. | UNISA-996465394303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / / edited by Rui Camacho, Ross King, Ashwin Srinivasan
| Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / / edited by Rui Camacho, Ross King, Ashwin Srinivasan |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 358 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer programming Logic, Symbolic and mathematical Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-540-30109-7 |
| Classificazione | 007.64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Automated Synthesis of Data Analysis Programs: Learning in Logic -- At the Interface of Inductive Logic Programming and Statistics -- From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery -- Systems Biology: A New Challenge for ILP -- Scaling Up ILP: Experiences with Extracting Relations from Biomedical Text -- Research Papers -- Macro-Operators Revisited in Inductive Logic Programming -- Bottom-Up ILP Using Large Refinement Steps -- On the Effect of Caching in Recursive Theory Learning -- FOIL-D: Efficiently Scaling FOIL for Multi-relational Data Mining of Large Datasets -- Learning an Approximation to Inductive Logic Programming Clause Evaluation -- Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction -- Automatic Induction of First-Order Logic Descriptors Type Domains from Observations -- On Avoiding Redundancy in Inductive Logic Programming -- Generalization Algorithms for Second-Order Terms -- Circumscription Policies for Induction -- Logical Markov Decision Programs and the Convergence of Logical TD(?) -- Learning Goal Hierarchies from Structured Observations and Expert Annotations -- Efficient Evaluation of Candidate Hypotheses in -log -- An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques -- Improving Rule Evaluation Using Multitask Learning -- Learning Logic Programs with Annotated Disjunctions -- A Simulated Annealing Framework for ILP -- Modelling Inhibition in Metabolic Pathways Through Abduction and Induction -- First Order Random Forests with Complex Aggregates -- A Monte Carlo Study of Randomised Restarted Search in ILP -- Addendum -- Learning, Logic, and Probability: A Unified View. |
| Record Nr. | UNINA-9910768177703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Machine Learning: ECML 2005 [[electronic resource] ] : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings / / edited by João Gama, Rui Camacho, Pavel Brazdil, Alípio Jorge, Luís Torgo
| Machine Learning: ECML 2005 [[electronic resource] ] : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings / / edited by João Gama, Rui Camacho, Pavel Brazdil, Alípio Jorge, Luís Torgo |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXIII, 769 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Mathematical logic Database management Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Database Management |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Data Analysis in the Life Sciences — Sparking Ideas — -- Machine Learning for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons and Challenges from the World of E-Commerce -- Data Streams and Data Synopses for Massive Data Sets (Invited Talk) -- Long Papers -- Clustering and Metaclustering with Nonnegative Matrix Decompositions -- A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models Using Co-EM -- Nonrigid Embeddings for Dimensionality Reduction -- Multi-view Discriminative Sequential Learning -- Robust Bayesian Linear Classifier Ensembles -- An Integrated Approach to Learning Bayesian Networks of Rules -- Thwarting the Nigritude Ultramarine: Learning to Identify Link Spam -- Rotational Prior Knowledge for SVMs -- On the LearnAbility of Abstraction Theories from Observations for Relational Learning -- Beware the Null Hypothesis: Critical Value Tables for Evaluating Classifiers -- Kernel Basis Pursuit -- Hybrid Algorithms with Instance-Based Classification -- Learning and Classifying Under Hard Budgets -- Training Support Vector Machines with Multiple Equality Constraints -- A Model Based Method for Automatic Facial Expression Recognition -- Margin-Sparsity Trade-Off for the Set Covering Machine -- Learning from Positive and Unlabeled Examples with Different Data Distributions -- Towards Finite-Sample Convergence of Direct Reinforcement Learning -- Infinite Ensemble Learning with Support Vector Machines -- A Kernel Between Unordered Sets of Data: The Gaussian Mixture Approach -- Active Learning for Probability Estimation Using Jensen-Shannon Divergence -- Natural Actor-Critic -- Inducing Head-Driven PCFGs with Latent Heads: Refining a Tree-Bank Grammar for Parsing -- Learning (k,l)-Contextual Tree Languages for Information Extraction -- Neural Fitted Q Iteration – First Experiences with a Data Efficient Neural Reinforcement Learning Method -- MCMC Learning of Bayesian Network Models by Markov Blanket Decomposition -- On Discriminative Joint Density Modeling -- Model-Based Online Learning of POMDPs -- Simple Test Strategies for Cost-Sensitive Decision Trees -- -Likelihood and -Updating Algorithms: Statistical Inference in Latent Variable Models -- An Optimal Best-First Search Algorithm for Solving Infinite Horizon DEC-POMDPs -- Ensemble Learning with Supervised Kernels -- Using Advice to Transfer Knowledge Acquired in One Reinforcement Learning Task to Another -- A Distance-Based Approach for Action Recommendation -- Multi-armed Bandit Algorithms and Empirical Evaluation -- Annealed Discriminant Analysis -- Network Game and Boosting -- Model Selection in Omnivariate Decision Trees -- Bayesian Network Learning with Abstraction Hierarchies and Context-Specific Independence -- Short Papers -- Learning to Complete Sentences -- The Huller: A Simple and Efficient Online SVM -- Inducing Hidden Markov Models to Model Long-Term Dependencies -- A Similar Fragments Merging Approach to Learn Automata on Proteins -- Nonnegative Lagrangian Relaxation of K-Means and Spectral Clustering -- Severe Class Imbalance: Why Better Algorithms Aren’t the Answer -- Approximation Algorithms for Minimizing Empirical Error by Axis-Parallel Hyperplanes -- A Comparison of Approaches for Learning Probability Trees -- Counting Positives Accurately Despite Inaccurate Classification -- Optimal Stopping and Constraints for Diffusion Models of Signals with Discontinuities -- An Evolutionary Function Approximation Approach to Compute Prediction in XCSF -- Using Rewards for Belief State Updates in Partially Observable Markov Decision Processes -- Active Learning in Partially Observable Markov Decision Processes -- Machine Learning of Plan Robustness Knowledge About Instances -- Two Contributions of Constraint Programming to Machine Learning -- A Clustering Model Based on Matrix Approximation with Applications to Cluster System Log Files -- Detecting Fraud in Health Insurance Data: Learning to Model Incomplete Benford’s Law Distributions -- Efficient Case Based Feature Construction -- Fitting the Smallest Enclosing Bregman Ball -- Similarity-Based Alignment and Generalization -- Fast Non-negative Dimensionality Reduction for Protein Fold Recognition -- Mode Directed Path Finding -- Classification with Maximum Entropy Modeling of Predictive Association Rules -- Classification of Ordinal Data Using Neural Networks -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning Models of Relational Stochastic Processes -- Error-Sensitive Grading for Model Combination -- Strategy Learning for Reasoning Agents -- Combining Bias and Variance Reduction Techniques for Regression Trees -- Analysis of Generic Perceptron-Like Large Margin Classifiers -- Multimodal Function Optimizing by a New Hybrid Nonlinear Simplex Search and Particle Swarm Algorithm. |
| Record Nr. | UNISA-996466223203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||