121
Algorithms and Discrete Applied Mathematics [E-Book] : 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021, Proceedings /
Table of Contents: ...Approximation Algorithms -- Online bin packing with overload cost -- Scheduling Trains with Small Stretch on a Unidirectional Line -- Algorithmic Aspects of Total Roman and Total Double Roman Domination in Graphs -- Approximation Algorithms...

Full text 
122
Transactions on Petri Nets and Other Models of Concurrency XV [E-Book] /
Table of Contents: ... CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms....

Full text 
123
Biomedical Engineering Systems and Technologies [E-Book] : 13th International Joint Conference, BIOSTEC 2020, Valletta, Malta, February 24-26, 2020, Revised Selected Papers /
Table of Contents: ...Biomedical Electronics and Devices -- Bioimaging -- Bioinformatics Models, Methods and Algorithms -- Bio-inspired Systems and Signal Processing -- Health Informatics....

Full text 
124
Membrane Computing [E-Book] : 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers /
Table of Contents: ... Token Petri Net and P System -- Certain State Sequences Defined by P Systems with Reactions -- On Numerical 2D P Colonies with the Blackboard and the Gray Wolf Algorithm....

Full text 
125
Combinatorial Algorithms [E-Book] : 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5-7, 2021, Proceedings /
Table of Contents: ...Invited Papers -- Relaxed and Approximate Graph Realizations -- Search for combinatorial objects using lattice algorithms - revisited -- Contributed Papers -- Linear Algorithms for Red Blue Domination in Convex Bipartite Graphs -- Combinatorics...

Full text 
126
Connecting with Computability [E-Book] : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings /
Table of Contents: ...Searching for Applicable Versions of Computable Structures -- On Measure Quantifiers in First-Order Arithmetic -- Pistone Learning Languages with Decidable Hypotheses -- Robust Online Algorithms for Dynamic Choosing Problems -- On the degrees...

Full text 
127
Mathematical Optimization Theory and Operations Research: Recent Trends [E-Book] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021, Revised Selected Papers /
128
Computing and Data Science [E-Book] : Third International Conference, CONF-CDS 2021, Virtual Event, August 12-17, 2021, Proceedings /
Table of Contents: ...Advances in Deep Learning -- Algorithms in Machine Learning and Statistics -- Advances in Natural Language Processing....

Full text 
129
Graph Drawing and Network Visualization [E-Book] : 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021, Revised Selected Papers /
Table of Contents: ...Best Paper (Track 1: Combinatorial and Algorithmic Aspects) -- Edge-Minimum Saturated $k$-Planar Drawings -- Best Paper (Track 2: Experimental, Applied, and Network Visualization Aspects) -- A User Study on Hybrid Graph Visualizations- Crossing...

Full text 
130
Approximation and Online Algorithms [E-Book] : 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers /
Table of Contents: ...Design and analysis of algorithms -- Online algorithms, approximation algorithms analysis -- Algorithmic game theory and mechanism design -- Parameterized complexity -- Scheduling algorithms -- Competitive analysis. Packing and covering problems...

Full text 
131
Application and Theory of Petri Nets and Concurrency [E-Book] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings /
Table of Contents: ... -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics...

Full text 
132
Responsible AI [E-Book] : Implementing Ethical and Unbiased Algorithms /
133
Analysing Users' Interactions with Khan Academy  Repositories [E-Book] /
134
Data Science and Internet of Things [E-Book] : Research and Applications at the Intersection of DS and IoT /
Table of Contents: ...Introduction -- Machine learning algorithms, techniques & applications in IoT domains -- Network science and IoT -- Social media analysis in scale -- UAV solutions in IoT -- IoT aided Smart Home Architecture for Anomaly Detection -- A modeling approach...

Full text 
135
Integer Programming and Combinatorial Optimization [E-Book] : 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021, Proceedings /
Table of Contents: ... polynomial optimization -- Complexity, Exactness, and Rationality in Polynomial Optimization -- On the Geometry of Symmetry Breaking Inequalities -- Affinely representable lattices, stable matchings, and choice functions -- A Finite Time Combinatorial Algorithm...

Full text 
136
Diagrammatic Representation and Inference [E-Book] : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings /
137
Algorithmic Game Theory [E-Book] : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings /
Table of Contents: ... of the Tsaknakis-Spirakis Algorithm for Approximate Nash Equilibrium -- Prophet Inequality with Competing Agents -- Lower Bounds for the Query Complexity of Equilibria in Lipschitz Games- Gerrymandering on graphs: Computational complexity and parameterized algorithms...

Full text 
138
Graph-Theoretic Concepts in Computer Science [E-Book] : 47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers /
Table of Contents: ... -- On the Parameterized Complexity of the Connected Flow and Many Visits TSP Problem -- FPT Algorithms to Compute the Elimination Distance to Bipartite Graphs and More -- Disjoint Stable Matchings in Linear Time -- Complementation in T-perfect Graphs -- On subgraph...

Full text 
139
The Application of Artificial Intelligence [E-Book] : Step-by-Step Guide from Beginner to Expert /
Table of Contents: ...Part I, Introduction -- An Introduction to Machine Learning and Artificial Intelligence (AI) -- Part II, An In-Depth Overview of Machine Learning -- Machine Learning Algorithms -- Performance Evaluation of Machine Learning Models -- Machine Learning Data...

Full text 
140
Mathematical Optimization Theory and Operations Research [E-Book] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021, Proceedings /