People expect software that they use for everyday purposes to be dependable enough for their needs. Usually, they can tolerate some failures, provided they can notice and recover from problems. Many dependability enhancement techniques rely on failure detection. Detection requires a model of proper behavior, preferably in the form of specifications. However, the specifications of everyday softw...

A graph is well-indumatched if all its maximal induced matchings are of the same size. We first prove that recognizing the class WIM of well-indumatched graphs is a co-NPcomplete problem even for (2P5,K1,5)-free graphs. We then show that the well-known decision problems such as Independent Dominating Set, Independent Set, and Dominating Set are NP-complete for well-indumatched graphs. We also s...

The weigh-in-motion (WIM) system weighs the entire vehicle by identifying dynamic forces of each axle on road. load is very important to detect total weight vehicle. Different drivers have different driving behaviors, and when large trucks pass through weighing detection area, state may affect accuracy system. This paper proposes YOLOv3 network model as basis for this algorithm, which uses feat...

Este trabalho procurou estabelecer uma leitura comparativa entre o livro Short movies, do escritor português Gonçalo M. Tavares, e filme Wrong move, cineasta alemão Wim Wenders. Partimos da proposição de compa­ratismo expandido teórica argentina Florencia Garramuño, outros, procurando iluminar nas duas obras os aspectos funcionamento sua narratividade discutindo durante nosso percurso as ideias...

Roads and railways are in a sense the arteries that keep the lifeblood of the economy flowing. Approximately 70 percent of freight moves by road in South Africa and it is growing by approximately four percent per annum. Data and information on heavy vehicle (HV) volumes and axle masses are therefore indispensable to road authorities for design and maintenance purposes. Heavy vehicle data from t...