Article QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES June 2013
Article EXPERIMENTAL STUDY OF MOLYBDENUM CARBIDE FORMATION IN THE IMPULSE ELECTRIC EROSION DISCHARGE June 2013
Article CONCEPT OF PROTECTION SYSTEM FOR CHILDREN’S SAFETY ACCESS TO INFORMATION IN EDUCATION INSTITUTES USING RFID-TECHNOLOGY June 2013
Article TOTAL PHOSPHORUS ESTIMATING IN RIVER LUGA, GULF OF FINLAND, BY LANDSAT 5 (TM) SATELLITE IMAGERY June 2013
Article NONLINEAR DYNAMICAL MODELING FOR INTERACTION PROCESSES OF HUMAN BREATHING AND TACHYCARDIA ON THE BASIS OF GIVEN MEASUREMENTS June 2013
Article RESEARCH OF PROCESSES IN CONTINUOUS SYSTEMS WITH MULTIPLE COMPLEX CONJUGATED EIGENVALUES OF THEIR STATE MATRIX June 2013