Energy Recovery Battery Testing Systems (ERBTS) plays an important role in battery manufacture. The conventional ERBTS configuration contains a fundamental transformer, and a bidirectional Direct Current (DC)–DC and Alternating Current (AC)–DC converter. All ERBTS are connected in parallel, thus constituting a special and complicated AC micro-grid system. Aiming at addressing their low energy r...

Self-modifying protocols (SMP) are protocols that can be modified at run time by the computers using them. Such protocols can be modified at run time so that they can adapt to the changing communicating environment and user requirements on the fly. Evolvable protocols are SMP designed using Genetic Algorithms (GA). The purpose of this article is to apply Genetic Algorithms (GA) to design an evo...

The purpose of this paper is to study the application of Boolean Satisfiability to the verification of the PCI Local Bus. The novel feature of this approach is the generation of several propositional formulas that describe the specification of the bus system. The formulas are tested using a powerful SAT solver and the bus is verified for errors. The SAT-based approach has several important adva...

In recent years, many approaches have been suggested for Internet and web streaming detection. In this paper, we propose an approach to signal waveform detection for Internet and web streaming, with novel statistical automatons. The system records network connections over a period of time to form a signal waveform and compute suspicious characteristics of the waveform. Network streaming accordi...

BACKGROUND Attenuation correction (AC) improves the diagnostic outcome of stress-only myocardial perfusion imaging (MPI) using conventional SPECT. Our aim was to determine the value of AC using a cadmium zinc telluride-based (CZT)-SPECT camera. METHODS AND RESULTS We retrospectively included 107 consecutive patients who underwent stress-optional rest MPI CZT-SPECT/CT. Next, we created three t...

Most of the ac-ac converters used in home-appliances are based on single-output dc-link inverters, which provides a cost-effective and straight-forward solution. However, this twostage power conversion decreases power density and efficiency. Direct ac-ac conversion has been thoroughly studied in the past. However, the complex control scheme and higher cost has prevented it from being used in lo...

The goal of this study is to investigate the impact of electroencephalogram (EEG) electrodes on the visual quality and quantification of (18)F-FDG PET images in neurological PET/CT examinations. For this purpose, the scans of 20 epilepsy patients with EEG monitoring were used. The CT data were reconstructed with filtered backprojection (FBP) and with a metal artefact reduction (MAR) algorithm. ...

Magnetic resonance imaging (MRI)-guided attenuation correction (AC) of positron emission tomography (PET) data and/or radiation therapy (RT) treatment planning is challenged by the lack of a direct link between MRI voxel intensities and electron density. Therefore, even if this is not a trivial task, a pseudo-computed tomography (CT) image must be predicted from MRI alone. In this work, we prop...

Even though dynamic programming offers an optimal control solution in a state feedback form, the method is overwhelmed by computational and storage requirements. Approximate dynamic programming implemented with an Adaptive Critic (AC) neural network structure has evolved as a powerful alternative technique that obviates the need for excessive computations and storage requirements in solving opt...

Restricted path consistency (RPC) is a strong local consistency for binary constraints that was proposed 20 years ago and was identified as a promising alternative to arc consistency (AC) in an early experimental study of local consistencies for binary constraints. However, and in contrast to other strong local consistencies such as SAC and maxRPC, it has been neglected since then. In this pape...