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.
Advances in Intelligent Data Analysis XVIII [[electronic resource] ] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / / edited by Michael R. Berthold, Ad Feelders, Georg Krempl
| Advances in Intelligent Data Analysis XVIII [[electronic resource] ] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / / edited by Michael R. Berthold, Ad Feelders, Georg Krempl |
| Autore | Berthold Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XIV, 588 p. 210 illus., 132 illus. in color.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Data mining Computers Machine learning Computer organization Database Management Data Mining and Knowledge Discovery Computing Milieux Machine Learning Computer Systems Organization and Communication Networks |
| Soggetto non controllato |
Database Management
Data Mining and Knowledge Discovery Computing Milieux Machine Learning Computer Systems Organization and Communication Networks open access data mining learning systems classification clustering semantics learning algorithms supervised learning association rules social networks graphic methods neural networks artificial intelligence computer vision correlation analysis databases education engineering graph theory image analysis Databases Database programming Data mining Expert systems / knowledge-based systems Information technology: general issues Machine learning Computer networking & communications |
| ISBN | 3-030-44584-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection of Derivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization. |
| Record Nr. | UNISA-996418219903316 |
Berthold Michael
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Intelligent Data Analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / / edited by Michael R. Berthold, Ad Feelders, Georg Krempl
| Advances in Intelligent Data Analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / / edited by Michael R. Berthold, Ad Feelders, Georg Krempl |
| Autore | Berthold Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XIV, 588 p. 210 illus., 132 illus. in color.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Data mining Computers Machine learning Computer organization Database Management Data Mining and Knowledge Discovery Computing Milieux Machine Learning Computer Systems Organization and Communication Networks |
| Soggetto non controllato |
Database Management
Data Mining and Knowledge Discovery Computing Milieux Machine Learning Computer Systems Organization and Communication Networks open access data mining learning systems classification clustering semantics learning algorithms supervised learning association rules social networks graphic methods neural networks artificial intelligence computer vision correlation analysis databases education engineering graph theory image analysis Databases Database programming Data mining Expert systems / knowledge-based systems Information technology: general issues Machine learning Computer networking & communications |
| ISBN | 3-030-44584-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection of Derivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization. |
| Record Nr. | UNINA-9910404119303321 |
|
Berthold Michael
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Intelligent Vehicle Control
| Advances in Intelligent Vehicle Control |
| Autore | Cabrera Juan A |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (230 p.) |
| Soggetto topico |
Technology: general issues
History of engineering & technology |
| Soggetto non controllato |
nonlinear height control
active air suspension output constraints random road excitation disturbance observer design electric vehicles in-vehicle network controller area network cybersecurity intrusion detection deep learning transfer learning model-based control vehicle dynamic potential tyre thermodynamics tyre wear weather influence vehicle safety double lane change safety optimization noninverting buck-boost converter high efficiency wide bandwidth control discrete-time sliding-mode current control (DSMCC) electric vehicle (EV) driver vehicle system energy management vehicle localization GNSS receivers RTK corrections sensor redundancy VMS machine learning ADAS image processing environment perception semantics 3D multiple object detection multiple object tracking dynamic SLAM roll angle estimator Kalman filter LQR controller inertial sensors motorcycle lean angle electrical vehicles EV charging scheduling binary linear programming binary quadratic programming vehicle control reinforcement learning curriculum learning sim-to-real world intelligent mobility heterogeneous vehicular communication Internet of connected vehicles vehicular ad hoc networks heterogeneous networking Internet of Things |
| ISBN | 3-0365-6010-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910637781703321 |
|
Cabrera Juan A
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in the Neurocognition of Music and Language
| Advances in the Neurocognition of Music and Language |
| Autore | Sammler Daniela |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 electronic resource (338 p.) |
| Soggetto topico | Psychology |
| Soggetto non controllato |
statistical learning
implicit learning domain generality information theory entropy uncertainty order n-gram Markov model word segmentation phonetic language aptitude intrinsic singing singing ability musical aptitude working memory implicit prosody rhythm sensitivity event related potentials reading achievement sensorimotor learning sequence production sequence planning feedback monitoring EEG N1 FRN music performance music cognition altered auditory feedback language disorder rhythm prosody preconceptual meaning affective vocalizations action-oriented embodied approach affect burst speech prosody musical expressiveness speech envelope neural entrainment Music training longitudinal study children with dyslexia Mismatch Negativity (MMN) syllables beat deafness music speech entrainment sensorimotor synchronization beat-finding impairment brain oscillations Prosody Phrasing Perception Melody reading meter lexical stress event-related potentials poetry melody perception tonal language inferior frontal gyrus priming effect language syntax attention comprehension electroencephalography semantics speech comprehension singing N400 event-related brain potentials (ERPs) functional near-infrared spectroscopy (fNIRS) infant song ERP familiarity recognition polarity developmental dyslexia Iambic/Trochaic Law rhythmic grouping musicality speech perception rhythm perception |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557324503321 |
|
Sammler Daniela
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in the theory of the lexicon [[electronic resource] /] / edited by Dieter Wunderlich
| Advances in the theory of the lexicon [[electronic resource] /] / edited by Dieter Wunderlich |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2006 |
| Descrizione fisica | 1 online resource (508 p.) |
| Disciplina | 895.1/35 |
| Altri autori (Persone) | WunderlichDieter |
| Collana | Interface explorations |
| Soggetto topico | Lexicology |
| Soggetto non controllato |
Theory of the lexicon
morphology phonology semantics syntax |
| ISBN |
1-282-19417-8
9786612194177 3-11-916403-8 3-11-019781-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction:What the study of the lexicon is about -- Concepts of the lexicon in theoretical linguistics -- Towards a structural typology of verb classes -- From rags to riches. Nominal linking in contrast to verbal linking -- A theory of Lexical Event Structures and its cognitive motivation -- The Ontology and diachrony of polysynthesis -- Linguistic perspectives on morphological processing -- The representation of inflectional morphology in the mental lexicon: An overview on psycho- and neurolinguistic methods and results -- Inheritance-based models of the lexicon -- Backmatter |
| Record Nr. | UNINA-9910782511603321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in the theory of the lexicon / / edited by Dieter Wunderlich
| Advances in the theory of the lexicon / / edited by Dieter Wunderlich |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2006 |
| Descrizione fisica | 1 online resource (508 p.) |
| Disciplina | 895.1/35 |
| Altri autori (Persone) | WunderlichDieter |
| Collana | Interface explorations |
| Soggetto topico | Lexicology |
| Soggetto non controllato |
Theory of the lexicon
morphology phonology semantics syntax |
| ISBN |
1-282-19417-8
9786612194177 3-11-916403-8 3-11-019781-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction:What the study of the lexicon is about -- Concepts of the lexicon in theoretical linguistics -- Towards a structural typology of verb classes -- From rags to riches. Nominal linking in contrast to verbal linking -- A theory of Lexical Event Structures and its cognitive motivation -- The Ontology and diachrony of polysynthesis -- Linguistic perspectives on morphological processing -- The representation of inflectional morphology in the mental lexicon: An overview on psycho- and neurolinguistic methods and results -- Inheritance-based models of the lexicon -- Backmatter |
| Record Nr. | UNINA-9910822632503321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNINA-9910491025703321 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483156703316 |
|
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585785003321 |
|
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
