the proceedings contain 11 papers. the topics discussed include: effective dynamic load balance using space-filling curves for large-scale SPH simulations on GPU-rich supercomputers;towards fast scalable solvers for c...
ISBN:
(纸本)9781509052226
the proceedings contain 11 papers. the topics discussed include: effective dynamic load balance using space-filling curves for large-scale SPH simulations on GPU-rich supercomputers;towards fast scalable solvers for charge equilibration in molecular dynamics applications;left-preconditioned communication-avoiding conjugate gradient methods for multiphase CFD simulations on the K computer;the gyrokinetic particle simulation of fusion plasmas on tianhe-2 supercomputer;extremely scalable algorithm for 108-atom quantum material simulation on the full system of the K computer;performance scaling variability and energy analysis for a resilient ULFM-based PDE solver;batched generation of incomplete sparse approximate inverses on GPUs;a massively parallel distributed n-body application implemented with HPX;randomized sketching for large-scale sparse ridge regression problems;optimizing plasma eigensolver on large shared memory system;and on Monte Carlo hybrid methods for linear algebra.
the proceedings contain 15 papers. the special focus in this conference is on algorithms for Computational Biology. the topics include: Time Series Adjustment Enhancement of Hierarchical Modeling of Arabidopsis thalia...
ISBN:
(纸本)9783030422653
the proceedings contain 15 papers. the special focus in this conference is on algorithms for Computational Biology. the topics include: Time Series Adjustment Enhancement of Hierarchical Modeling of Arabidopsis thaliana Gene Interactions;BESTox: A Convolutional Neural Network Regression Model Based on Binary-Encoded SMILES for Acute Oral Toxicity Prediction of Chemical Compounds;stratified Test Alleviates Batch Effects in Single-Cell Data;a Topological Data Analysis Approach on Predicting Phenotypes from Gene Expression Data;BOAssembler: A Bayesian Optimization Framework to Improve RNA-Seq Assembly Performance;a 3.5-Approximation Algorithm for Sorting by Intergenic Transpositions;heuristics for Reversal Distance Between Genomes with Duplicated Genes;extending Maximal Perfect Haplotype Blocks to the Realm of Pangenomics;gaps and Runs in Syntenic Alignments;Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology;combining Networks Using Cherry Picking Sequences;linear Time Algorithm for Tree-Child Network Containment;PathOGiST: A Novel Method for Clustering Pathogen Isolates by Combining Multiple Genotyping Signals.
the proceedings contain 65 papers. the topics discussed include: throughput and delay with network coding in hybrid mobile ad hoc networks: a global perspective;routing for information leakage reduction in multi-chann...
ISBN:
(纸本)9783642318689
the proceedings contain 65 papers. the topics discussed include: throughput and delay with network coding in hybrid mobile ad hoc networks: a global perspective;routing for information leakage reduction in multi-channel multi-hop ad-hoc social networks;characterizing home network traffic: an inside view;a nonparametric Bayesian approach for opportunistic data transfer in cellular networks;online protocol verification in wireless sensor networks via non-intrusive behavior profiling;SPSA based packet size optimization algorithm in wireless sensor networks;lower bounds on data collection time in sensor networks;minimum total communication power connected dominating set in wireless networks;supporting multi-level quality of services in data broadcast systems;maximizing network topology lifetime using mobile node rotation;and joint beamforming and power allocation algorithm for cognitive MIMO systems via game theory.
the proceedings contain 44 papers. the discussed topics include: performance analysis of interconnection networks under bursty and batch arrival traffic;a lazy EDF interrupt scheduling algorithm for multiprocessor in ...
详细信息
ISBN:
(纸本)9783540729044
the proceedings contain 44 papers. the discussed topics include: performance analysis of interconnection networks under bursty and batch arrival traffic;a lazy EDF interrupt scheduling algorithm for multiprocessor in parallel computing environment;a time and interaction model for open distributed timing computation;efficient linkable ring signatures and threshold signatures from linear feedback shift register;an improved algorithm for Alhusaini's algorithm in heterogeneous distributed systems;a framework of software component adaptation;data interoperation between ChinaGrid ad SRB;method for computational grids resources allocate based on auction and utility analyses;automatic conceptual indexing of web services and its application to service retrieval;on-demand capacity framework;implementing digital right management in P2P content sharing system;and a generalized critical task anticipation technique for DAG scheduling.
the proceedings contain 33 papers. the special focus in this conference is on algorithms and Complexity. the topics include: Bounding the number of tolerable faults in majority-based systems;a parameterized algorithm ...
ISBN:
(纸本)9783642130724
the proceedings contain 33 papers. the special focus in this conference is on algorithms and Complexity. the topics include: Bounding the number of tolerable faults in majority-based systems;a parameterized algorithm for chordal sandwich;Testing computability by width-2 OBDDs where the variable order is unknown;graph unique-maximum and conflict-free colorings;strategic coloring of a graph;multicut algorithms via tree decompositions;the steiner tree reoptimization problem with sharpened triangle inequality: (Extended abstract);kernelization for maximum leaf spanning tree with positive vertex weights;a planar linear arboricity conjecture;mechanisms for the marriage and the assignment game;on the number of higher order delaunay triangulations;how simple robots benefit from looking back;on strategy improvement algorithms for simple stochastic games;online cooperative cost sharing;on the power of nodes of degree four in the local max-cut problem;packing bipartite graphs with covers of complete bipartite graphs;irredundant set faster than O(2n);the complexity of computing minimal unidirectional covering sets;a parameterized route to exact puzzles: Breaking the 2n-barrier for irredundance: (Extended abstract);finding the maximum suffix with fewer comparisons;resilient algorithms and data structures;an algorithmic framework for motif discovery problems in weighted sequences;capacitated confluent flows: Complexity and algorithms;preprocessing speed-up techniques is hard;communication requirements for stable marriages;an exact algorithm for connected red-blue dominating set;maximizing PageRank with new backlinks;enumerating rooted graphs with reflectional block structures;Improved approximations for TSP with simple precedence constraints: (Extended abstract);polynomial space algorithms for counting dominating sets and the domatic number.
the proceedings contain 41 papers. the special focus in this conference is on Tools and algorithms for the Construction and Analysis of Systems. the topics include: Language containment checking with nondeterministic ...
ISBN:
(纸本)3540418652
the proceedings contain 41 papers. the special focus in this conference is on Tools and algorithms for the Construction and Analysis of Systems. the topics include: Language containment checking with nondeterministic BDDS;satisfiability checking using Boolean expression diagrams;automatic deductive verification with invisible invariants;a technique for invariant generation;model checking syllabi and student careers;parameterized verification of multithreaded software libraries;efficient guiding towards cost-optimality in UPPAAL;linear parametric model checking of timed automata;first passage time analysis of stochastic process algebra using partial orders;Boolean and Cartesian abstraction for model checking c programs;the loop compiler for java and JML;searching powerset automata by combining explicit-state and symbolic model checking;automated test generation from timed automata;testing an intentional naming scheme using genetic algorithms;building a tool for the analysis and testing of web applications;implementing a multi-valued symbolic model checker;a sweep-line method for state space exploration;compositional message sequence charts;an automata based interpretation of live sequence charts;coverage metrics for temporal logic model checking and the Erlang verification tool.
the proceedings contain 39 papers. the special focus in this conference is on algorithms and Discrete Applied Mathematics. the topics include: Parameterized Complexity of Locally Minimal Defensive Alliances;new Varian...
ISBN:
(纸本)9783030678982
the proceedings contain 39 papers. the special focus in this conference is on algorithms and Discrete Applied Mathematics. the topics include: Parameterized Complexity of Locally Minimal Defensive Alliances;new Variants of Perfect Non-crossing Matchings;cause I’m a Genial Imprecise Point: Outlier Detection for Uncertain Data;a Worst-Case Optimal Algorithm to Compute the Minkowski Sum of Convex Polytopes;on the Intersections of Non-homotopic Loops;on cd-Coloring of Trees and Co-bipartite Graphs;cut Vertex Transit functions of Hypergraphs;lexicographic Product of Digraphs and Related Boundary-Type Sets;the Connected Domination Number of Grids;scheduling Trains with Small Stretch on a Unidirectional Line;on Degree Sequences and Eccentricities in Pseudoline Arrangement Graphs;cops and Robber on Butterflies and Solid Grids;b-Coloring of Some Powers of Hypercubes;chromatic Bounds for the Subclasses of pK2 -Free Graphs;axiomatic Characterization of the Median function of a Block Graph;on Coupon Coloring of Cartesian Product of Some Graphs;on the Connectivity and the Diameter of Betweenness-Uniform Graphs;on algorithms to Find p-ordering;experimental Evaluation of a Local Search Approximation Algorithm for the Multiway Cut Problem;algorithmic Analysis of Priority-Based Bin Packing;algorithmic Aspects of Total Roman and Total Double Roman Domination in Graphs;recursive Methods for Some Problems in Coding and Random Permutations;achieving Positive Rates with Predetermined Dictionaries;characterization of Dense Patterns Having Distinct Squares;failure and Communication in a Synchronized Multi-drone System;memory Optimal Dispersion by Anonymous Mobile Robots;quantum and Approximation algorithms for Maximum Witnesses of Boolean Matrix Products;balanced Connected Graph Partition.
Cascade control (CC) is a highly efficient controller that enhances the effectiveness of control schemes in complex electrical applications, particularly in managing instabilities such as load frequency management (LF...
详细信息
ISBN:
(数字)9798331531836
ISBN:
(纸本)9798331531843
Cascade control (CC) is a highly efficient controller that enhances the effectiveness of control schemes in complex electrical applications, particularly in managing instabilities such as load frequency management (LFM). the PID controller is user-friendly and commonly required for achieving stability and a rapid response. Researchers have explored different CCs, from PID, to improve system stability across various environments, including optimization algorithms, controllers, and power systems. this study proposes utilizing the Harris Hawks algorithm (HHA), a novel and widely-used optimization tool for addressing LFM issues, to finely adjust the parameters of various CCs, including proportional-integral (PI)-PI, PI-derivative (PID)-PID, PD-PID, PI-PID, PI-PD, PD-I, and PD-PI, in the same environment for LFM suppression to determine the most effective one. the performance function of integral time-weighted absolute error is employed. To demonstrate the performance of the designed controllers, two test systems are studied. Initially, a system comprising two-area non-reheat power plants is implemented, with all CC parameters tuned using the HHA under various perturbations to effectively showcase the functionality of each control system. Additionally, the study involves adjusting system parameters by decreasing and increasing them by 50% within a 10% SLP in region 1. To introduce more realistic scenarios and to fulfill the control system study, a two-area system including a photovoltaic unit with maximum power point tracking and a reheat thermal generator is realized under 10 % SLP in both areas. Furthermore, this system undergoes a convergence response study. Simulation results show that the PD-PI and PI-PD CCs outperform other controllers in the same operational environment in test system 1, while the PID-PID CC outperforms other controllers in test system 2.
Over the past decade, we have designed five typefaces based on mathematical theorems and open problems, specifically computational geometry. these typefaces expose the general public in a unique way to intriguing resu...
详细信息
ISBN:
(纸本)9783319078908;9783319078892
Over the past decade, we have designed five typefaces based on mathematical theorems and open problems, specifically computational geometry. these typefaces expose the general public in a unique way to intriguing results and hard problems in hinged dissections, geometric tours, origami design, physical simulation, and protein folding. In particular, most of these typefaces include puzzle fonts, where reading the intended message requires solving a series of puzzles which illustrate the challenge of the underlying algorithmic problem.
暂无评论