Fundamental science can sometimes take a long time until it is useful for practical applications, as was the case for Raman spectroscopy.For a long time, it lacked powerful excitation sources and sensitive detectors.However as technology evolved, the number of exciting applications has boomed.Modern Raman spectroscopy has significant advantages, es
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones.In this paper, we propose a macro, named instance-of-defspec, to ease the reuse of abstract functions and facts proven about them.Defspec is Air Intake Systems an ACL2 book allowing users to defin
The subject of legal analysis in the paper is a narrow, but very important and specific legal segment, namely the change of the concession contract during its validity.The consideration is based on the analysis of the relevant EU law, with the appropriate use of practice of the Court of Justice of the EU.The ultimate goal was to evaluate the situat
The objects of the critical transport infrastructure are located in all regions of Ukraine, and the question of the safety of these objects is extremely relevant.A functional approach should be used to form an effective safety management unit for critical transport objects.Therefore, in order to achieve an acceptable level of safety of the critical
We have separated the handling electronic banking emergence of electronic evidence to prove play an important role in protecting the rights of both parties the bank and the client, as is evidence of electronic writing of the best evidence for these processes where commensurate with their electronic nature.The electronic business notebooks of the mo