the proceedings contain 9 papers. the special focus in this conference is on Formal Techniques for Safety-Critical systems. the topics include: Verifying Resource Adequacy of Networked IMA systems at Concept Level;aut...
ISBN:
(纸本)9783030469016
the proceedings contain 9 papers. the special focus in this conference is on Formal Techniques for Safety-Critical systems. the topics include: Verifying Resource Adequacy of Networked IMA systems at Concept Level;automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study;POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations;visualising Railway Safety Verification;probabilistic Activity Recognition for Serious Games with Applications in Medicine;A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas;Formal Semantics Extraction from MIPS Instruction Manual.
the proceedings contain 96 papers. the special focus in this conference is on Bioinformatics and Biomedical Engineering. the topics include: Mathematical Modeling and Docking of Medicinal Plants and Synthetic Drugs to...
ISBN:
(纸本)9783030179342
the proceedings contain 96 papers. the special focus in this conference is on Bioinformatics and Biomedical Engineering. the topics include: Mathematical Modeling and Docking of Medicinal Plants and Synthetic Drugs to Determine their Effects on Abnormal Expression of Cholinesterase and Acetyl Cholinesterase Proteins in Alzheimer;definition of Organic Processes via Digital Monitoring systems;detection of Pools of Bacteria with Public Health Importance in Wastewater Effluent from a Municipality in South Africa Using Next Generation Sequencing and Metagenomics Analysis;Web-Based Application for Accurately Classifying Cancer Type from Microarray Gene Expression Data Using a Support Vector Machine (SVM) Learning Algorithm;associating Protein Domains with Biological Functions: A Tripartite Network Approach;Interaction of ZIKV NS5 and STAT2 Explored by Molecular Modeling, Docking, and Simulations Studies;entropy-Based Detection of Genetic Markers for Bacteria Genotyping;clustering of Klebsiella Strains Based on Variability in Sequencing Data;addition of Pathway-Based Information to Improve Predictions in Transcriptomics;concept Bag: A New Method for computing Concept Similarity in Biomedical Data;common Gene Regulatory Network for Anxiety Disorder Using Cytoscape: Detection and Analysis;insight About Nonlinear Dimensionality Reduction Methods Applied to Protein Molecular Dynamics;HIV Drug Resistance Prediction with Categorical Kernel Functions;deciphering General Characteristics of Residues Constituting Allosteric Communication Paths;feature (Gene) Selection in Linear Homogeneous Cuts;DNA Sequence Alignment Method Based on Trilateration;convolutional Neural Networks for Red Blood Cell Trajectory Prediction in Simulation of Blood Flow;platform for Adaptive Knowledge Discovery and Decision Making Based on Big Genomics Data Analytics;low Resolution Electroencephalographic-Signals-Driven Semantic Retrieval: Preliminary Results.
the proceedings contain 34 papers. the special focus in this conference is on Parallel computing Technologies. the topics include: Efficient parallel solvers for the FireStar3D wildfire numerical simulation model;Opti...
ISBN:
(纸本)9783030256357
the proceedings contain 34 papers. the special focus in this conference is on Parallel computing Technologies. the topics include: Efficient parallel solvers for the FireStar3D wildfire numerical simulation model;Optimizing a GPU-parallelized ant colony metaheuristic by parameter tuning;parallel dimensionality reduction for multiextremal optimization problems;multiple-precision scaled vector addition on graphics processing unit;dimensional reduction using conditional entropy for incomplete information systems;data-parallel computational model for next generation sequencing on commodity clusters;parallelization of algorithms for mining data from distributed sources;HaraliCU: GPU-powered Haralick feature extraction on medical images exploiting the full dynamics of gray-scale levels;a web-based platform for interactive parameter study of large-scale lattice gas automata;a probabilistic cellular automata rule forming domino patterns;synchronous multi-particle cellular automaton model of diffusion with self-annihilation;pseudorandom number generator based on totalistic cellular automaton;an adaptive bully algorithm for leader elections in distributed systems;objects of alternative set theory in Set@l programming language;affinity replica selection in distributed systems;does the operational model capture partition tolerance in distributed systems?;blockchain-based delegation of rights in distributed computing environment;participant-restricted consensus in asynchronous crash-prone read/write systems and its weakest failure detector;capture on grids and tori with different numbers of cops;mathematical abstraction in a simple programming tool for parallel embedded systems;Improving the accuracy of energy predictive models for multicore CPUs using additivity of performance monitoring counters;an experimental study of data transfer strategies for execution of scientific workflows;Preference based and fair resources selection in grid VOs.
the proceedings contain 50 papers. the topics discussed include: circularly polarized ridge gap waveguide fed SIW dielectric resonator antenna;optical dynamic resource allocation based on weighted expected spectral ef...
ISBN:
(纸本)9781728156170
the proceedings contain 50 papers. the topics discussed include: circularly polarized ridge gap waveguide fed SIW dielectric resonator antenna;optical dynamic resource allocation based on weighted expected spectral efficiency;performance optimization of a proposed piezoelectric cantilever energy harvester using genetic algorithm;automated optimization of capacitive feedback folded cascode amplifier using precomputed lookup tables;development of a new 5 DoF robotic assistant system for neurosurgery;towards traffic congestion-free through intelligent traffic control system;fast seizure detection from EEG using machine learning;and design of a planar array of microstrip antennas with reduced mutual coupling for medical imaging.
Air is the most common insulation dielectric used in power system. Air discharge is a complex physical process affected by lots of environment factors such as temperature, humidity and air pressure. Studying the water...
详细信息
the proceedings contain 15 papers. the special focus in this conference is on Bio-inspired Information and Communications Technologies. the topics include: Self-assembly from a single-molecule perspective;cyber regula...
ISBN:
(纸本)9783030242015
the proceedings contain 15 papers. the special focus in this conference is on Bio-inspired Information and Communications Technologies. the topics include: Self-assembly from a single-molecule perspective;cyber regulatory networks: Towards a bio-inspired auto-resilient framework for cyber-defense;space partitioning and maze solving by bacteria;a scalable parallel framework for multicellular communication in bacterial quorum sensing;Membrane computing aggregation (MCA): An upgraded framework for transition p-systems;physics-based nanomedicine to alleviate anomalous events in the human kidney;bio-inspired system identification attacks in noisy networked control systems;bio-inspired approach to thwart against insider threats: An access control policy regulation framework;blinded by biology: Bio-inspired tech-ontologies in cognitive brain sciences;a distribution control of weight vector set for multi-objective evolutionary algorithms;classification of permutation distance metrics for fitness landscape analysis;medical diagnostics based on encrypted medical data;evolutionary multi-objective optimization for evolving soft robots in different environments.
the advancement of 5G technology and extensive usage of smart devices have led to a deluge of data. It is invaluable to analyze such big data by issuing queries to derive real-Time business insights for better, smarte...
详细信息
the proceedings contain 29 papers. the special focus in this conference is on Security in computing and Communications. the topics include: Privacy Preserving Profile Matching in Mobile Social Networks: A Comprehensiv...
ISBN:
(纸本)9789811548246
the proceedings contain 29 papers. the special focus in this conference is on Security in computing and Communications. the topics include: Privacy Preserving Profile Matching in Mobile Social Networks: A Comprehensive Survey;deep Learning Approach for Enhanced Cyber threat Indicators in Twitter Stream;improving Sentiment Analysis of Arabic Tweets;energy Awareness and Secure Communication Protocols: the Era of Green Cybersecurity;towards a Privacy Web Scanner for End-Users;security of Quantum Cryptography;the Impact of a Security Model in a Fog computing Environment;gotcha-I: A Multiview Human Videos Dataset;Enhancing Enterprise IT Security with a Visualization-Based Process Framework;Pipelined Implementation of Millar-Rabin Primality Tester Using Altera FPGA Kit;intrusion Prediction and Detection with Deep Sequence Modeling;Realization of Re-configurable True Random Number Generator on FPGA;secret Image Sharing Scheme for Gray-Level Images Using Toeplitz Matrix Based Stream Cipher;on the Hardware Implementation Performance, of Face Recognition Techniques, for Digital Forensics;detecting the Zeus Banking Malware Using the Random Forest Binary Classification Algorithm and a Manual Feature Selection Process;Exploitation of HTTP/2 Proxies for Cryptojacking;android Malware Detector Based on Sequences of System Calls and Bidirectional Recurrent Networks;Efficient Ciphertext Policy Attribute Based Encryption (ECP-ABE) for Data Deduplication in Cloud Storage;controlling Uncertainty with Proactive Cyber Defense: A Clausewitzian Perspective;protecting Computer systems from Cyber Attacks with Internal Interface Diversification;braille Based Steganography System Using Dynamic Key Exchange;Secure Authentication Using One Time Contextual QR Code;a Proximity-Based Measure for Quantifying the Risk of Vulnerabilities.
the proceedings contain 22 papers. the special focus in this conference is on Tools and algorithms for the Construction and Analysis of systemsconference series. the topics include: Incremental analysis of evolving a...
ISBN:
(纸本)9783030174613
the proceedings contain 22 papers. the special focus in this conference is on Tools and algorithms for the Construction and Analysis of systemsconference series. the topics include: Incremental analysis of evolving alloy models;extending a brainiac prover to lambda-free higher-order logic;LCV: A verification tool for linear controller software;semantic fault localization and suspiciousness ranking;computing coupled similarity;reachability analysis for termination and confluence of rewriting;voxlogica: A spatial model checker for declarative image analysis;on reachability in parameterized phaser programs;abstract dependency graphs and their application to model checking;nonreach – a tool for nonreachability analysis;Parallel SAT simplification on GPU architectures;the quantitative verification benchmark set;ilang: a modeling and verification platform for SoCs using instruction-level abstractions;metacsl: specification and verification of high-level properties;roll 1.0: ω -Regular language learning library;symbolic regex matcher;compass 3.0;debugging of behavioural models with clear;omega-regular objectives in model-free reinforcement learning;verifiably safe off-model reinforcement learning;encoding redundancy for satisfaction-driven clause learning;WAPS: Weighted and Projected Sampling;building better bit-blasting for floating-point problems;the axiom profiler: Understanding and debugging SMT quantifier instantiations;on the empirical time complexity of scale-free 3-sat at the phase transition;Modular and efficient divide-and-conquer SAT solver on top of the painless framework;quantitative verification of masked arithmetic programs against side-channel attacks.
Nowadays, heart disease is one of the important causes of human deaths. According to statistics, deaths caused by heart disease account for about one-third of all deaths in the world. With further research, the use of...
详细信息
暂无评论