Search

Your search keyword '"Maxim Gromov"' showing total 34 results

Search Constraints

Start Over You searched for: Author "Maxim Gromov" Remove constraint Author: "Maxim Gromov"
34 results on '"Maxim Gromov"'

Search Results

1. Calibration strategy of the JUNO-TAO experiment

2. Potential for a precision measurement of solar pp neutrinos in the Serappis experiment

3. Model-independent Approach of the JUNO 8B Solar Neutrino Program

4. Hybrid Ultra-Low-Radioactive Material for Protecting Dark Matter Detector from Background Neutrons

5. Solar Neutrinos Spectroscopy with Borexino Phase-II

13. FSM-based Sequential Circuits Optimization by Changing Initial State of Specification

14. Checking Robustness of Web Services based on Solving Automata Equations

15. The measurement of the geo-neutrino flux with the Borexino detector and its geophysical implications

16. Minimizing Deterministic Timed Finite State Machines

17. Model Based JUnit Testing

18. Study of High-Frequency Brightness Amplifiers Radial Profile

19. Derivation of the cascade parallel composition of timed finite state machines using BALM-II

20. Distinguishing Experiments for Timed Nondeterministic Finite State Machines

21. Testing components of interacting timed finite state machines

22. Testing systems of interacting timed finite state machines with the guaranteed fault coverage

26. Synthesis of distinguishing test cases for timed finite state machines

27. On the synthesis of adaptive tests for nondeterministic finite state machines

28. On optimal CDN node selection

29. Novel heuristics for deconvolution applied to picture deblurring

30. Observable Form of a Timed Finite State Machine

31. Distinguing Non-deterministic Timed Finite State Machines

32. Software Package for Optimizing Digital Circuits

33. A novel method for derivation of a test with guaranteed coverage for LTS

34. TAO Conceptual Design Report: A Precision Measurement of the Reactor Antineutrino Spectrum with Sub-percent Energy Resolution

Catalog

Books, media, physical & digital resources