We consider a wide range of UV scenarios with the aim informing searches for CP violation at TeV scale using effective field theory techniques. demonstrate that broad theoretical assumptions about nature dynamics responsible map out small subset relevant operators scale. Concretely, this will allow us to reduce number free parameters need be considered in experimental investigations, thus enhan...

The mainstream approach to design of BDI-inspired agent programming languages is to choose a set of agent-oriented features with a particular semantics and their subsequent implementation in the programming language interpreter. The language designer’s choices thus impose strong constraints on the architecture of the implemented agents as well as only a limited toolbox of high-level language co...

The main added value of the European Telecommunications Standards Institute broadband satellite multimedia (ETSI BSM) architecture is the definition of the Satellite Independent-Service Access Point (SI-SAP) protocol interface, which formally separates Satellite Dependent (SD) from SI layers, thus enabling the implementation of powerful vertical QoS mapping strategies. On the other hand, DVB-S2...

We rely on programs that consume audit logs to do so successfully (a robustness issue) and form the correct interpretations of the input (a semantic issue). The vendor’s documentation of the log format is an important part of the specification for any log consumer. As a specification, it is subject to improvement using formal specification techniques. This work presents a methodology for formal...

We attempted to determine the usefulness of body surface mapping (BSM) for differentiating patients with Brugada syndrome (BS) from patients with asymptomatic Brugada syndrome (ABS). Electrocardiograms (ECG) and BSM were recorded in 7 patients with BS and 35 patients with ABS. Following the administration of Ic antiarrhythmic drugs, BSM was recorded in 5 patients with BS and 16 patients with AB...

The knowledge of neutron and gamma ray energy spectra can strongly influence the BNCT information about delivered dose to target volume as well as to the surface healthy tissue region. This region is very often decisive to stay within the recommended healthy tissue limit. Modification of neutron Bonner spectrometer to one block i.e. Bonner spectrometer monoblock (BSM) and gamma ray Si semicondu...

Low-energy tests of fundamental symmetries and studies of neutrino properties provide a powerful window on physics beyond the Standard Model (BSM). In this article, we provide a basic theoretical framework for a subsequent set of articles that review the progress and opportunities in various aspects of the low-energy program. We illustrate the physics reach of different low-energy probes in ter...

Models of Beyond the Standard Model (BSM) physics, like the Minimal Supersymmetric Standard Model (MSSM), often involve an extended Higgs sector, giving rise to extra neutral or charged Higgs bosons. The discovery reach expected from simulation studies for such additional Higgs particles is presented for the ATLAS, CMS and FP420 detectors at the LHC. Emphasis is put on production and decay mode...