When was the muon discovered? According to G. Bernardini, “the mu meson as a peculiar ionizing fraction of the bulk of cosmic rays was revealed by an experiment by Bothe and Kolhcrster in 1929.”’ John Wheeler, however, considered that the theoretical work of Niels Bohr and E. J. Williams, together with the experimental work of C. D. Anderson and S. Neddermeyer, “established the existence of the...

We propose to combine timed automata and linear hybrid automata model checkers for formal testing and monitoring of embedded systems with a hybrid behavior, i.e., where the correctness of the system depends on discrete as well as continuous dynamics. System level testing is considered, where requirements capture abstract behavior and often include non-determinism due to parallelism, internal co...

Support Vector Machines (SVM) is among the most popular classification techniques in machine learning, hence designing fast primal SVM algorithms for large-scale datasets is a hot topic in recent years. This paper presents a new L2norm regularized primal SVM solver using Augmented Lagrange Multipliers, with linear computational cost for Lp-norm loss functions. The most computationally intensive...

Artykuł poświęcony jest pobytowi Maksymiliana Habsburga na zamku w Krzepicach przełomie lat 1587/1588. Omawia liczebność sił, z którymi król elekt przybył do Krzepic, oraz warunki, jakie tutaj zastał. Ukazuje kontakty zagraniczne, nawiązywane Krzepic przez Habsburga. Opracowanie naświetla także zagadnienia związane obecnością poselstw i gości, przybywających króla elekta od grudnia 1587 styczni...

It is a well known result in the vision literature that the motion of independently moving objects viewed by an affine camera lie on affine subspaces of dimension four or less. As a result a large number of the recently proposed motion segmentation algorithms model the problem as one of clustering the trajectory data to its corresponding affine subspace. While these algorithms are elegant in fo...

Correlations discovered between millisecond timing properties and spectral properties in neutron star x-ray binaries are described and then interpreted in relation to accretion flows in the systems. Use of joint timing and spectral observations to test for the existence of the marginally stable orbit, a key prediction of strong field general relativity, is described and observations of the neut...

The respiratory protection equipment (RPE) used by health professionals consists of an essential device to prevent infectious diseases, especially those caused biological agents such as the coronavirus (SARS-CoV-2). current epidemiological panorama is worrying, and context creation production mask has emerged alternative RPE face public crisis worldwide. aim this work present a low-cost FFP2-li...

TRON is a decentralized digital platform that provides reliable way to transact in cryptocurrencies within ecosystem. Thanks its success, TRON’s native token, TRX, has been widely adopted by large audience. To facilitate easy management of assets with Wallet, users can securely store and manage their ease. Our goal first develop methodology predict the future price using regression then move on...

II t is my pleasure to present another East Asia issue, the first in two years. In my Guest Editor’s Introduction of 1991’ I noted some differences between the North American and Japanese microelectronics research and development scenes. The United States tended to emphasize high-powered applications such as superfast workstations and gigabit networks. In contrast, Japan gave more attention to ...