Proceedings of First Asian Symposium on Cellular Automata Technology: Ascat 2022, Das Sukanta, Martinez Genaro J.
Автор: Oliveira Bruno C. D. S. Название: Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings ISBN: 3030644367 ISBN-13(EAN): 9783030644369 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.
Polynomial Invariants for Affine Programs.- Cost Analysis of Smart Contracts via Parametric Resource Analysis.- Memory-Efficient Fixpoint Computation.- Abstract Neural Networks.- Termination of Polynomial Loops.- Stratified Guarded First-order Transition Systems.- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking.- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.- Harming Dynamic Analysis.- Simple and Efficient Computation of Minimal Weak Control Closure.- A Library Modeling Language for the Static Analysis of C Programs.- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.- Probabilistic Lipschitz Analysis of Neural Networks.- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs.- Exact and Linear-Time Gas-Cost Analysis.- Farkas-Based Tree Interpolation.
Автор: Oh Hakjoo Название: Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings ISBN: 3030890503 ISBN-13(EAN): 9783030890506 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions.
Автор: Hanus Michael, Igarashi Atsushi Название: Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings ISBN: 3030994600 ISBN-13(EAN): 9783030994600 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Enhancing expressivity of checked corecursive streams.- Improving Type Error Reporting for Type Classes.- Asynchronous Unfold/Fold Transformation for Fixpoint Logic.- Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.- Generating C (System Description).- Translation Certification for Smart Contracts.- Zipping Strategies and Attribute Grammars.- Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.- Scheduling Complexity of Interleaving Search.- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System Description).- A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl).- Explanations as Programs in Probabilistic Logic Programming.- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data.- A Lazy Desugaring System for Evaluating Programs with Sugars.- On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.
Автор: Brito-Loeza Carlos, Martin-Gonzalez Anabel, Castaсeda-Zeman Victor Название: Intelligent Computing Systems: 4th International Symposium, ISICS 2022, Santiago, Chile, March 23-25, 2022, Proceedings ISBN: 3030984567 ISBN-13(EAN): 9783030984564 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 4th International Symposium on Intelligent Computing Systems, ISICS 2022, held in Santiago, Chile, in March 2022. Due to the COVID-19 pandemic the conference was held online. The 9 full papers along with 2 short papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Автор: Bebis George, Yin Zhaozheng, Kim Edward Название: Advances in Visual Computing: 15th International Symposium, Isvc 2020, San Diego, Ca, Usa, October 5-7, 2020, Proceedings, Part I ISBN: 303064555X ISBN-13(EAN): 9783030645557 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Deep Learning.- Regularization and Sparsity for Adversarial Robustness and Stable Attribution.- Self-Competitive Neural Networks.- A Novel Contractive GAN Model for a Unified Approach Towards Blind Quality Assessment of Images from Heterogeneous Sources.- Nonconvex Regularization for Network Slimming: Compressing CNNs Even More.- Biologically Inspired Sleep Algorithm for VariationalAuto-Encoders.- A Deep Genetic Programming based Methodology for Art Media Classification Robust to Adversarial Perturbations.- rcGAN: Learning a generative model for arbitrary size image generation.- Sketch-Inspector: a Deep Mixture Model for High-Quality Sketch Generation of Cats.- Depthwise Separable Convolutions and Variational Dropout within the context of YOLOv3.- Uncertainty Estimates in Deep Generative Models using Gaussian Processes.- Segmentation.- Towards Optimal Ship Navigation Using Image Processing.- Overscan Detection in Digitized Analog Films by Precise Sprocket Hole Segmentation.- Pixel-level Corrosion Detection on Metal Constructions by Fusion of Deep Learning Semantic and Contour Segmentation.- CSC-GAN: Cycle and semantic consistency for dataset augmentation.- Improvements on the Superpixel Hierarchy Algorithm with Applications to Image Segmentation and Saliency Detection.- Visualization.- Referenced Based Color Transfer for Medical Volume Rendering.- An Empirical Methodological Study of Evaluation Methods Applied to Educational Timetabling Visualizations.- Real-Time Contrast Enhancement for 3DMedical Images using Histogram Equalization.- Flow Map Processing by Space-Time Deformation.- GenExplorer: Visualizing and Comparing Gene Expression Levels via Differential Charts.- Video Analysis and Event Recognition.- An Event-Based Hierarchical Method for Customer Activity Recognition in Retail Stores.- Fully Autonomous UAV-based Action Recognition System Using Aerial Imagery.- Hierarchical Action Classification with Network Pruning.- An Approach Towards Action Recognition using Part Based Hierarchical Fusion.- ST: Computational Bioimaging.- Ensemble Convolutional Neural Networks for the Detection of Microscopic Fusarium Oxysporum.- Offline versus Online Triplet Mining based on Extreme Distances of Histopathology Patches.- Multi-Label Classification of Panoramic Radiographic Images using a Convolutional Neural Network.- Ink Marker Segmentation in Histopathology Images Using Deep Learning.- P-FideNet: Plasmodium Falciparum Identification Neural Network.- Applications.- Lightless Fields: Enhancement and Denoising of Light-defficient Light Fields.- FA3D: Fast and Accurate 3D Object Detection.- Generalized Inverted Dirichlet Optimal predictor for Image inpainting.- BVNet: A 3D End-to-end Model Based on Point Cloud.- Evaluating Single Image Dehazing Methods Under Realistic Sunlight Haze.- Biometrics.- Deep Partial Occlusion Facial Expression Recognition via Improved CNN.- Towards an Effective Approach for Face Recognition with DCGANs Data Augmentation.- Controlled AutoEncoders to Generate Faces from Voices.- Gender and Age Estimation without Facial Information from Still Images.- Face Reenactment Based Facial Expression Recognition.- Motion and Tracking.- Coarse-to-Fine Object Tracking Using Deep Features and Correlation Filters.- Asynchronous Corner Tracking Algorithm based on Lifetime of Events for DAVIS Cameras.- TAGCN: Topology-Aware Graph Convolutional Network for Trajectory Prediction.- 3D articulated body model using anthropometric control points and an articulation video.- Body Motion Analysis for Golf Swing Evaluation.- Computer Graphics.- Simulation of High-Definition Pixel-Headlights.- ConcurrentHull: A Fast Parallel Computing Approach to the Convex Hull Problem.- A Data-Driven Creativity Measure for 3D Shapes.- Virtual Reality.- Walking in a Crowd Full of Virtual Characters: Effects of Virtual Character Appearance on Human Movement Behavior.- I
Автор: Sato Hiroshi, Iwanaga Saori, Ishii Akira Название: Proceedings of the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems ISBN: 3030374440 ISBN-13(EAN): 9783030374440 Издательство: Springer Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents selected papers from the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2019), which was held in Tottori, Japan, on December 6-8, 2019. Today, various types of intelligent system can be found everywhere.
Автор: Qu Xiaobo, Zhen Lu, Howlett Robert J. Название: Smart Transportation Systems 2020: Proceedings of 3rd Kes-Sts International Symposium ISBN: 981155269X ISBN-13(EAN): 9789811552694 Издательство: Springer Рейтинг: Цена: 204970.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gathers selected papers presented at the KES International Symposium on Smart Transportation Systems (KES STS 2020).
Автор: Hisashi Handa; Hisao Ishibuchi; Yew-Soon Ong; Kay Название: Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1 ISBN: 3319386115 ISBN-13(EAN): 9783319386119 Издательство: Springer Рейтинг: Цена: 191550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.
Автор: Devismes Stйphane, Mittal Neeraj Название: Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, Tx, Usa, November 18-21, 2020, Proceedings ISBN: 3030643476 ISBN-13(EAN): 9783030643478 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions.
Автор: Martin Lames; Alexander Danilov; Egor Timme; Yuri Название: Proceedings of the 12th International Symposium on Computer Science in Sport (IACSS 2019) ISBN: 3030350479 ISBN-13(EAN): 9783030350475 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides an overview of current activities in the fascinating area between computer science and sports, presenting the state of the art in utilising the latest developments in computer science to support sports coaches and athletes.
Автор: Barzen Johanna Название: Service-Oriented Computing: 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13-17, 2021, Proceedings ISBN: 3030875679 ISBN-13(EAN): 9783030875671 Издательство: Springer Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 15th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2021, held in September 2021. The 9 full and 2 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in topical secions on quantum computing;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
