Search
Search Results
-
Surrogate Constraints for Synchronized Energy Production/Consumption
We deal here with job scheduling under encapsulated renewable and non-renewable resource constraints, while relying on a case study related to energy... -
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs... -
Optimal Cycle Selections: An Experimental Assessment of Integer Programming Formulations
In this paper, we conduct numerical experiments to test the effectiveness of several integer programming formulations of the cycle selection problem.... -
Approximation Algorithm for Job Scheduling with Reconfigurable Resources
We consider a scheduling problem with reconfigurable resources. Several types of jobs have to be processed by a set of identical resources (e.g.... -
Reducing Treewidth for SAT-Related Problems Using Simple Liftings
Tree decompositions are a powerful tool to obtain parameterized algorithms, in particular to solve different variants of the satisfiability problem.... -
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Bicycle tourism is on the rise thanks to assisted-pedaling bikes, also known as e-bikes. While pedalling is still required on these bikes, they allow... -
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
We develop a set-cover based integer-programming approach to an optimal safety-landing-site location arising in the design of urban... -
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
In this paper we study formulations and algorithms for the cycle clustering problem, a partitioning problem over the vertex set of a directed graph... -
Microsoft Azure Lab
The chapter instructs how to develop and manage cloud resources using the Microsoft Azure cloud platform. You will follow step-by-step instructions... -
Cloud Computing Concepts
This chapter examines the fundamentals of cloud computing and its applications. Beginning with the National Institute of Standards and Technology... -
Amazon Web Services (AWS)
This chapter first examines the AWS global infrastructure, which includes availability zones, regions, edge locations, and regional edge caches. It... -
Cloud Platform
The Google Cloud Platform (GCP) global infrastructure is presented in this chapter. Google’s global infrastructure presently includes 35 regions that... -
Numbering Systems and Subnetting
Machines communicate using digital bits or “ones” and “zeros.” Of course, people do not naturally communicate that way. Therefore, to more easily... -
Amazon Web Services (AWS) Lab
This chapter contains step-by-step instructions with snapshots of an AWS three-tier web architecture lab utilizing the Free Tier service provided by... -
Control Actions
This chapter analyses the functional relations between a control system and the process in a SCPS by applying the dyadic and triadic transformation... -
Technical Artefacts and Humans
The purposes of this chapter are to explain the nature of a technical artefact, and to introduce social-cyber-physical-systems (SCPS) as the... -
Ends, Means and Functions
The purpose of this chapter is to clarify the distinction between goals and objectives which can be considered as different types of ends.... -
Dyadic Transformations
The purpose of this chapter is to use the action types described in Chap. 10 to define basic generic... -
Action Phases
The purpose this chapter is to introduce temporal aspects of actions in more details including a discussion of their relations to causal roles of... -
Online Matching with Stochastic Rewards: Advanced Analyses Using Configuration Linear Programs
Mehta and Panigrahi (2012) proposed Online Matching with Stochastic Rewards, which generalizes the Online Bipartite Matching problem of Karp,...