Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings, Bampis Evripidis, Pagourtzis Aris
Автор: Golfarelli Matteo, Wrembel Robert, Kotsis Gabriele Название: Big Data Analytics and Knowledge Discovery: 23rd International Conference, DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings ISBN: 3030865339 ISBN-13(EAN): 9783030865337 Издательство: Springer Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 12 full papers presented together with 15 short papers in this volume were carefully reviewed and selected from a total of 71 submissions. The papers reflect a wide range of topics in the field of data integration, data warehousing, data analytics, and recently big data analytics, in a broad sense.
Text-Independent Speaker Verification Employing CNN-LSTM-TDNN Hybrid Networks.- End-to-End Voice Spoofing Detection Employing Time Delay Neural Networks and Higher Order Statistics.- Assessing Velar Gestures Timing in European Portuguese Nasal Vowels with RT-MRI Data.- Designing and Deploying an Interaction Modality for Articulatory-Based Audiovisual Speech Synthesis.- Kurdish Spoken Dialect Recognition Using X-vector Speaker Embedding.- An ASR-based Tutor for Learning to Read: How to Optimize Feedback to First Graders.- Velocity Differences Between Velum Raising and Lowering Movements.- Pragmatic Markers of Russian Everyday Speech: Invariants in Dialogue and Monologue.- Language Adaptation for Speaker Recognition Systems using Contrastive Learning.- Evaluating X-vector-based Speaker Anonymization Under White-box Assessment.- Improved Prosodic Clustering for Multispeaker and Speaker-Independent Phoneme-Level Prosody Control.- Initial Experiments on Question Answering from the Intrinsic Structure of Oral History Archives.- Imagined, Intended, and Spoken Speech Envelope Synthesis from Neuromagnetic Signals.- What Causes Phonetic Reduction in Russian Speech: New Evidence from Machine Learning Algorithms.- Toxic Comment Classification Service in Social Network.- Deep Learning based Engagement Recognition in Highly Imbalanced Data.- Intraspeaker Variability of a Professional Lecturer: Ageing, Genre, Pragmatics vs. Voice Acting (Case Study).- An Ensemble Approach for the Diagnosis of COVID-19 from Speech and Cough Sounds.- Where are We in Semantic Concept Extraction for Spoken Language Understanding?.- Learning Mizo Tones from F0 Contours using 1D-CNN.- OCR Improvements for Images of Multi-Page Historical Documents.- X-Bridge: Image-to-Image Translation with Reconstruction Capabilities.- Who is Selling to Whom - Feature Evaluation for Multi-block Classification in Invoice Information Extraction.- Multimodal Corpus Analysis of Autoblog 2020: Lecture Videos in
Machine Learning.- Text and Synthetic Data for Domain Adaptation in End-to-End Speech Recognition.- Speaker-invariant Speech-To-Intent Classification for Low-Resource Languages.- Speaker-Dependent Visual Command Recognition in Vehicle Cabin: Methodology and Evaluation.- Optimised Code-Switched Language Model Data Augmentation in Four Under-Resourced South African Languages.- Synthesis Speech based Data Augmentation for Low Resource Children ASR.- End-to-End Russian Speech Recognition Models with Multi-Head Attention.- Word-level Style Control for Expressive, Non-attentive Speech Synthesis.- Perceiving Speech Aggression with and without Textual Context on Twitter Social Network Site.-
Assessing Speaker Interpolation in Neural Text-to-Speech.- A Mobile Application for Detection of Amyotrophic Lateral Sclerosis via Voice Analysis.- Child's Emotional Speech Classification by Human across Two Languages: Russian & Tamil.- Analysis of Dialogues of Typically Developing Children, Children with
Down Syndrome and ASD using Machine Learning Methods.- Speaker Adaptation with Continuous Vocoder-based DNN-TTS.- Automatic Recognition of the Psychoneurological State of Children:
Autism Spectrum Disorders, Down Syndrome, Typical Development.- Study on Acoustic Model Personalization in a Context of Collaborative Learning Constrained by Privacy Preservation.- USC: An Open-Source Uzbek Speech Corpus and Initial Speech Recognition Experiments.- A Study of Multilingual End-to-End Speech Recognition for Kazakh, Russian, and English.- Dialog Speech Sentiment Classification for Imbalanced Datasets.- Explicit Control of the Level of Expressiveness in DNN-based Speech Synthesis by Embedding Interpolation.- Experimental Analysis of Expert and Quantitative Estimates of Syllable Recordings in the Process of Speech Rehabilitation.- Methods for Using Class Based N-gram Language Models in the Kaldi Toolkit.- Spectral Root Features for Replay Spoof Detection in Voic
Автор: Johnen Colette, Schiller Elad Michael, Schmid Stefan Название: Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings ISBN: 3030910806 ISBN-13(EAN): 9783030910808 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.
Автор: Sojka Petr, Kopeček Ivan, Pala Karel Название: Text, Speech, and Dialogue: 23rd International Conference, Tsd 2020, Brno, Czech Republic, September 8-11, 2020, Proceedings ISBN: 3030583228 ISBN-13(EAN): 9783030583224 Издательство: Springer Рейтинг: Цена: 76390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.*The 54 full papers presented in this volume were carefully reviewed and selected from 110 submissions.
Автор: Gao Debin, Li Qi, Guan Xiaohong Название: Information and Communications Security: 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part II ISBN: 3030880516 ISBN-13(EAN): 9783030880514 Издательство: Springer Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set LNCS 12918 - 12919 constitutes the refereed proceedings of the 23nd International Conference on Information and Communications Security, ICICS 2021, held in Chongqing, China, in September 2021. The papers in Part II are organized in the following thematic blocks: machine learning security;
Автор: Gao Debin, Li Qi, Guan Xiaohong Название: Information and Communications Security: 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part I ISBN: 3030868893 ISBN-13(EAN): 9783030868895 Издательство: Springer Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set LNCS 12918 - 12919 constitutes the refereed proceedings of the 23nd International Conference on Information and Communications Security, ICICS 2021, held in Chongqing, China, in September 2021. The 49 revised full papers presented in the book were carefully selected from 182 submissions. IoT security; software security;
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: HCI International 2021 - Late Breaking Posters: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II ISBN: 3030901785 ISBN-13(EAN): 9783030901783 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set CCIS 1498 and CCIS 1499 contains the late breaking posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
Автор: Caragiannis Ioannis, Hansen Kristoffer Arnsfelt Название: Algorithmic Game Theory: 14th International Symposium, Sagt 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings ISBN: 3030859460 ISBN-13(EAN): 9783030859466 Издательство: Springer Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th International Symposium on Algorithmic Game Theory, SAGT 2021, held in Aarhus, Denmark in September 2021. The 26 full papers presented together with 4 abstract papers were carefully reviewed and selected from 73 submissions.
Автор: Hong Deukjo Название: Information Security and Cryptology - Icisc 2020: 23rd International Conference, Seoul, South Korea, December 2-4, 2020, Proceedings ISBN: 3030688895 ISBN-13(EAN): 9783030688899 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020. Due to the COVID-19, the confere was held online.The total of 15 papers presented in this volume were carefully reviewed and selected from 51 submissions.
Автор: Pulina Luca, Seidl Martina Название: Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings ISBN: 3030518248 ISBN-13(EAN): 9783030518240 Издательство: Springer Рейтинг: Цена: 76390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Sorting Parity Encodings by Reusing Variables.- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving.- Clause size reduction with all-UIP Learning.- Trail Saving on Backtrack.- Four Flavors of Entailment.- Designing New Phase Selection Heuristics.- On the Effect of Learned Clauses on Stochastic Local Search.- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.- Distributed Cube and Conquer with Paracooba.- Reproducible E cient Parallel SAT Solving.- Improving Implementation of SAT Competitions 2017-2019 Winners.- On CDCL-based Proof Systems with the Ordered Decision Strategy.- Equivalence Between Systems Stronger Than Resolution.- Simplified and Improved Separations Between Regular and General Resolution by Lifting.- Mycielski graphs and PR proofs.- Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.- Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.- On the Sparsity of XORs in Approximate Model Counting.- A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth.- Abstract Cores in Implicit Hitting Set MaxSat Solving.- MaxSAT Resolution and SubCube Sums.- A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.- On Weakening Strategies for PB Solvers.- Reasoning About Strong Inconsistency in ASP.- Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.- Reducing Bit-Vector Polynomials to SAT using Groebner Bases.- Speeding Up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.- Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.- Short Q-Resolution Proofs with Homomorphisms.- Multi-Linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.- Positional Games and QBF: The Corrective Encoding.- Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.- Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.- SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.- SAT-based Encodings for Optimal Decision Trees with Explicit Paths.- Incremental Encoding of Pseudo-Boolean Goal Functions based on Comparator Networks.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
