Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, Hung Dang Van, Sokolsky Oleg
Описание: This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.
Описание: This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 32 submissions. information retrieval;
Описание: This book constitutes the refereed proceedings of the 6th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2020, held in Hanoi, Vietnam, in August 2020.
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.
Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Search-Based Software Engineering, SSBSE 2020, held in Bari, Italy, in October 2020. The 13 research papers and 5 short papers presented together with 1 keynote were carefully reviewed and selected from 34 submissions.
Описание: Invited.- Plasticity in cancer cell populations: biology, mathematics and philosophy of cancer.- Statistical and Machine Learning Methods for Cancer Research.- CHIMERA: Combining Mechanistic Models and Machine Learning for Personalized Chemotherapy and Surgery Sequencing in Breast Cancer.- Fine-Tuning Deep Learning Architectures for Early Detection of Oral Cancer.- Discriminative Localized Sparse Representations for Breast Cancer Screening.- Activation vs. Organization: Prognostic Implications of T and B cell Features of the PDAC Microenvironment.- On the use of neural networks with censored time-to-event data.- Mathematical Modeling for Cancer Research.- tugHall: a tool to reproduce Darwinian evolution of cancer cells for simulation-based personalized medicine.- General Cancer Computational Biology.- The potential of single cell RNA-sequencing data for the prediction of gastric cancer serum biomarkers.- Poster.- Theoretical Foundation of the Performance of Phylogeny-Based Somatic Variant Detection.- Detecting subclones from spatially resolved RNA-seq data.- Novel driver synonymous mutations in the coding regions of GCB lymphoma patients improve the transcription levels of BCL2.
Описание: This book examines the Indian mandate for Corporate Social Responsibility (CSR) and its implementations in various individual organizations. The book explores the various facets of CSR investigation and places special emphasis on the Schedule VII of the Indian Companies Act of 2013, which defines specific areas of intervention for these companies.
Описание: 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
Описание: Object Recognition/Detection/Categorization.- Few-shot Image Recognition with Manifolds.- A scale-aware YOLO model for pedestrian detection.- Image categorization using Agglomerative clustering based smoothed Dirichlet mixtures.- SAT-CNN: A Small Neural Network for Object Recognition from Satellite Imagery.- Domain Adaptive Transfer Learning on Visual Attention Aware Data Augmentation for Fine-grained Visual Categorization.- 3D Reconstruction.- A Light-Weight Monocular Depth Estimation With Edge-Guided Occlusion Fading Reduction.- Iterative Closest Point with Minimal Free Space Constraints.- Minimal Free Space Constraints for Implicit Distance Bounds.- Medical Image Analysis.- Fetal Brain Segmentation using Convolutional Neural Networks with Fusion Strategies.- Fundus2Angio: A Novel Conditional GAN Architecture for Generating Fluorescein Angiography Images from Retinal Fundus Photography.- Multiscale Detection of Cancerous Tissue in High Resolution Slide Scans.- DeepTKAClassi er: Brand Classification of Total Knee Arthroplasty Implants using Explainable Deep Convolutional Neural Networks.- Multi-modal Image Fusion based on Weight Local Features and Novel Sum-Modified-Laplacian in Non-Subsampled Shearlet Transform Domain.- Robust Prostate Cancer Classification with Siamese Neural Networks.- Vision for Robotics.- Simple Camera-to-2D-LiDAR Calibration Method for General Use.- SalsaNext: Fast, Uncertainty-aware Semantic Segmentation of LiDAR Point Clouds.- Mobile Manipulator Robot Visual Servoing and Guidance for Dynamic Target Grasping.- Statistical Pattern Recognition.- Interpreting Galaxy Deblender GAN from the Discriminator's Perspective.- Variational Bayesian Sequence to Sequence Networks for Memory-Efficient Sign Language Translation.- A Gaussian Process Upsampling Model for Improvements in Optical Character Recognition.- Posters.- Video based fire detection using Xception and ConvLSTM.- Highway Traffic Classification for the Perception Level of Situation Awareness.- 3D-CNN for Facial Emotion Recognition in Videos.- Reducing Triangle Inequality Violations with Deep Learning and Its Application to Image Retrieval.- A Driver Guidance System to Support the Stationary Wireless Charging of Electric Vehicles.- An Efficient Tiny Feature Map Network For Real-Time Semantic Segmentation.- A Modified Syn2Real Network for Nighttime Rainy Image Restoration.- Unsupervised domain adaptation for person re-identification with few and unlabeled target data.- How Does Computer Animation Affect Our Perception Of Emotions in Video Summarization?.- Where's Wally: A Gigapixel Image Study for Face Recognition in Crowds.- Optical Flow Based Background Subtraction with a Moving Camera: Application to Autonomous Driving.- Deep Facial Expression Recognition with Occlusion Regularization.- Semantic Segmentation with Peripheral Vision.- Generator From Edges: Reconstruction of Facial Images.- CD2: Combined Distances of Contrast Distributions for Image Quality Analysis.- Real-Time Person Tracking and Association on Doorbell Cameras.- MySnapFoodLog: Culturally Sensitive FoodPhoto-Logging App for Dietary BiculturalismStudies.- Hand Gesture Recognition Based on the Fusion of Visual and Touch Sensing Data.- Gastrointestinal Tract Anomaly Detection from Endoscopic Videos using Object Detection Approach.- A multimodal high level video segmentation for content targeted online advertising.- AI Playground: Unreal Engine-based Data Ablation Tool for Deep Learning.- Homework Helper: Providing Valuable Feedback on Math Mistakes.- Interface Design for HCI Classroom: From Learners' Perspective.- Pre-trained Convolutional Neural Network for the Diagnosis of Tuberculosis.- Near-Optimal Concentric Circles Layout.- Facial Expression Recognition and Ordinal Intensity Estimation: A Multilabel Learning Approach.- Prostate MRI Registration Using Siamese Metric Learning.- Unsupervised Anomaly Detection of the First Pers
Описание: 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.
Описание: The 8 full papers presented together with 15 progress papers or short papers in the volume were carefully reviewed and selected from 40 submissions.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
