Info
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 Vehicle Control
| Advances in Intelligent Vehicle Control |
| Autore | Cabrera Juan A |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (230 p.) |
| Soggetto topico |
History of engineering & technology
Technology: general issues |
| Soggetto non controllato |
3D multiple object detection
active air suspension ADAS binary linear programming binary quadratic programming controller area network curriculum learning cybersecurity deep learning discrete-time sliding-mode current control (DSMCC) disturbance observer design double lane change driver vehicle system dynamic SLAM electric vehicle (EV) electric vehicles electrical vehicles energy management environment perception EV charging scheduling GNSS receivers heterogeneous networking heterogeneous vehicular communication high efficiency image processing in-vehicle network inertial sensors intelligent mobility Internet of connected vehicles Internet of Things intrusion detection Kalman filter LQR controller machine learning model-based control motorcycle lean angle multiple object tracking n/a noninverting buck-boost converter nonlinear height control output constraints random road excitation reinforcement learning roll angle estimator RTK corrections safety optimization semantics sensor redundancy sim-to-real world transfer learning tyre thermodynamics tyre wear vehicle control vehicle dynamic potential vehicle localization vehicle safety vehicular ad hoc networks VMS weather influence wide bandwidth control |
| 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 online resource (338 p.) |
| Soggetto topico | Psychology |
| Soggetto non controllato |
action-oriented embodied approach
affect burst affective vocalizations altered auditory feedback attention beat deafness beat-finding impairment brain oscillations children with dyslexia comprehension developmental dyslexia domain generality EEG electroencephalography entrainment entropy ERP event related potentials event-related brain potentials (ERPs) event-related potentials familiarity feedback monitoring FRN functional near-infrared spectroscopy (fNIRS) Iambic/Trochaic Law implicit learning implicit prosody infant inferior frontal gyrus information theory intrinsic singing language language disorder lexical stress longitudinal study Markov model Melody melody perception meter Mismatch Negativity (MMN) music music cognition music performance Music training musical aptitude musical expressiveness musicality n-gram N1 N400 neural entrainment order Perception phonetic language aptitude Phrasing poetry polarity preconceptual meaning priming effect prosody Prosody reading reading achievement recognition rhythm rhythm perception rhythm sensitivity rhythmic grouping semantics sensorimotor learning sensorimotor synchronization sequence planning sequence production singing singing ability song speech speech comprehension speech envelope speech perception speech prosody statistical learning syllables syntax tonal language uncertainty word segmentation working memory |
| 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 | ||
| ||
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 | ||
| ||
Beyond the body? : the future of embodied cognition / / edited by Guy Dove
| Beyond the body? : the future of embodied cognition / / edited by Guy Dove |
| Autore | Guy Dove |
| Pubbl/distr/stampa | Frontiers Media SA, 2016 |
| Descrizione fisica | 1 online resource (147 pages) : illustrations, charts; digital, PDF file(s) |
| Disciplina | 153.4072 |
| Collana | Frontiers Research Topics |
| Soggetto topico |
Psychology
Cognitive science Cognition Cognitive Science |
| Soggetto non controllato |
development
concepts Language Proprioception extended mind action Embodied Cognition Cognition semantics enaction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How to go beyond the body: an introduction --The co-constitution of the self and the world: action and proprioceptive coupling --Mapping the feel of the arm with the sight of the object: on the embodied origins of infant reaching --Developing embodied cognition: insights from children’s concepts and language processing --A perceptual account of symbolic reasoning --NIRS in motion—unraveling the neurocognitive underpinnings of embodied numerical cognition --The specificity of action knowledge in sensory and motor systems --Clustering, hierarchical organization, and the topography of abstract and concrete nouns --Toward a more embedded/extended perspective on the cognitive function of gestures --The body and the fading away of abstract concepts and words: a sign language analysis --Sensory motor mechanisms unify psychology: the embodiment of culture --Action scaling of distance perception is task specific and does not predict “the embodiment of culture”: a comment on Soliman, Gibson, and Glenberg (2013) --How intent to interact can affect action scaling of distance: reply to Wilson --Linguistic embodiment and verbal constraints: human cognition and the scales of time --9 Embodied niche construction in the hominin lineage: semiotic structure and sustained attention in human embodied cognition. |
| Record Nr. | UNINA-9910136806903321 |
|
Guy Dove
|
||
| Frontiers Media SA, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cognitive foundations of linguistic usage patterns [[electronic resource] /] / edited by Hans-Jörg Schmid, Susanne Handl
| Cognitive foundations of linguistic usage patterns [[electronic resource] /] / edited by Hans-Jörg Schmid, Susanne Handl |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, 2010 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 415 |
| Altri autori (Persone) |
SchmidHans-Jörg
HandlSusanne <1966-> |
| Collana | Applications of cognitive linguistics |
| Soggetto topico |
Language and languages - Usage
Language and languages - Grammars |
| Soggetto non controllato |
Cognitive linguistics
language acquisition lexicology semantics |
| ISBN |
1-282-71625-5
9786612716256 3-11-021603-5 |
| Classificazione | ER 955 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of contents -- Introduction / Schmid, Hans-Jörg / Handl, Susanne -- Part I: Lexical patterns -- A computational model of the ambiguity-vagueness spectrum / Dunbar, George -- Questions of life and death: Denotational boundary disputes / Jäkel, Olaf -- Breakthroughs and disasters: The politics and ethics of metaphor use in the media / Nerlich, Brigitte -- Synonyme, lexical fields, and grammatical constructions. A study in usage-based cognitive semantics / Glynn, Dylan -- Collocation, anchoring, and the mental lexicon - an ontogenetic perspective / Handl, Susanne / Graf, Eva-Maria -- Part II: Grammatical patterns -- The mean lean grammar machine meets the human mind: Empirical investigations of the mental status of linguistic rules / Dąbrowska, Ewa -- Motivating grammatical and conceptual gender agreement in German / Köpcke, Klaus-Michael / Panther, Klaus-Uwe / Zubin, David A. -- Computed or entrenched? The French imparfait de politesse / Detges, Ulrich -- Valency constructions and clause constructions or how, if at all, valency grammarians might sneeze the foam off the cappuccino / Herbst, Thomas -- What exactly is the question-assertion distinction based on? An exploration in experimental speech act theory / Bach, Patric / Zaefferer, Dietmar -- Backmatter |
| Record Nr. | UNINA-9910792595403321 |
| Berlin ; ; New York, : Mouton de Gruyter, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dictionary of upriver Halkomelem [[electronic resource] /] / Brent D. Galloway
| Dictionary of upriver Halkomelem [[electronic resource] /] / Brent D. Galloway |
| Autore | Galloway Brent Douglas |
| Pubbl/distr/stampa | Berkeley, : University of California Press, c2009 |
| Descrizione fisica | 1 online resource (1729 p.) |
| Disciplina | 497/.3 |
| Collana | University of California publications in linguistics |
| Soggetto topico |
Halkomelem language - English
English language - Stalo |
| Soggetto non controllato |
alloseme
amerindian languages citations cultural reference dialect differences dictionary definitions dictionary example uses extensive reference halkomelem language reference language linguistics linguists morphology native speakers nonfiction phonology reference guide sample sentences semantics syntax upriver dialects words and meanings words world languages |
| ISBN |
1-282-36007-8
9786612360077 0-520-94518-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dictionary of Upriver Halkomelem -- Frontmatter -- CONTENTS -- 1Introduction -- Galloway: Upriver Halkomelem Dictionary Halkomelem to English -- A -- CH -- CH' -- E -- H -- I -- K -- K' -- KW -- KW' -- L -- LH -- M -- N -- O -- Ô -- P -- P' -- Q -- Q' -- QW -- QW' -- R (reduplication) -- S -- SH -- T -- T' -- TH -- TH' -- TL' -- TS -- TS' -- U -- W -- X -- XW -- X -- XW -- Y -- 'OR' -- Galloway: Upriver Halkomelem Dictionary English-to-Halq'eméylem Index -- a -- b -- c -- d -- e -- f -- g -- h -- i -- j -- k -- l -- m -- n -- o -- p -- q -- r -- s -- t -- u -- v -- w -- x -- y -- z |
| Record Nr. | UNINA-9910780637403321 |
|
Galloway Brent Douglas
|
||
| Berkeley, : University of California Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
