Conventional work on scienti c discovery such as BACON derives empirical law equations from experimental data. In recent years, SDS introducing mathematical admissibility constraints has been proposed to discover rst principle based law equations, and it has been further extended to discover law equations from passively observed data. Furthermore, SSF has been proposed to discover the structure...

Even before the advent of Arti cial Intelligence, science ction writer Isaac Asimov recognized that an agent must place the protection of humans from harm at a higher priority than obeying human orders. Inspired by Asimov, we pose the following fundamental questions: (1) How should one formalize the rich, but informal, notion of \harm"? (2) How can an agent avoid performing harmful actions, and...

A property well known as the first law of black hole is a relation among infinitesimal variations of parameters of stationary black holes. We consider a dynamical version of the first law, which may be called the first law of black hole dynamics. The first law of black hole dynamics is derived without assuming any symmetry or any asymptotic conditions. In the derivation, a definition of dynamic...

We use the canonical Hamiltonian formalism to generalize to spinning point particles the first law of mechanics established for binary systems of non-spinning point masses moving on circular orbits [Le Tiec, Blanchet, and Whiting, Phys. Rev. D 85, 064039 (2012)]. We find that the redshift observable of each particle is related in a very simple manner to the canonical Hamiltonian and, more gener...

We apply the counterterm subtraction technique to calculate the action and other quantities for the Kerr–AdS black hole in five dimensions using two boundary metrics; the Einstein universe and rotating Einstein universe with arbitrary angular velocity. In both cases, the resulting thermodynamic quantities satisfy the first law of thermodynamics. We point out that the reason for the violation of...

The mutual influence of Information Systems (IS) and law can be observed in projects of various industry sectors, but it seems to be prevalent in e-Government projects. Existing IS research in the field of e-Government suggests that the relationship between these two worlds has high potential for conflict and can be crucial for a project’s success. But an in-depth analysis of this specific rela...