Epistemic logic and the process of verification used in ambient intelligence home environment.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 90, doi. 10.21496/ams.2012.011
- By:
- Publication type:
- Article
Works matching IS 13352393 AND DT 2012 AND VI 16 AND IP 1
Results: 12
1
2
Risk Assessment Tools for Nonlinear Dynamic Systems.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 74, doi. 10.21496/ams.2012.009
- By:
- Publication type:
- Article
3
The analysis of the constitutive model effect on convergence of results with the experiment for FEME modeling of 3D issues with high elastic-plastic deformations.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 66, doi. 10.21496/ams.2012.008
- By:
- Publication type:
- Article
4
Research of Environment-Friendly Techniques Influence on Accuracy of Gear Processing in Context of Sustainable Machining by Near Dry Machining.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 58, doi. 10.21496/ams.2012.007
- By:
- Publication type:
- Article
5
Theoretical Analysis of the Buckling Phenomenon in the Upsetting Process of Magnesium Alloy Mg4AlZn.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 84, doi. 10.21496/ams.2012.010
- By:
- Publication type:
- Article
6
Experimental Investigation of Clinch Joining Process.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 52, doi. 10.21496/ams.2012.006
- By:
- Publication type:
- Article
7
Positional Adjustment for Setting Highway Network of the D1 Motorway Section Mengusovce-Jánovce.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 42, doi. 10.21496/ams.2012.005
- By:
- Publication type:
- Article
8
Integrated Designing of Production Systems on the Physical and Virtual Modelling Base.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 30, doi. 10.21496/ams.2012.004
- By:
- Publication type:
- Article
9
Mathematical Model of Harmful Substance Amount in Soil.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 26, doi. 10.21496/ams.2012.003
- By:
- Publication type:
- Article
10
Modelling of Nitrogen Oxides Production during Wood Combustion.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 18, doi. 10.21496/ams.2012.002
- By:
- Publication type:
- Article
11
Teoretical Basis and Application Possibility of Radiosity Methods for Lighting Researches.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 6, doi. 10.21496/ams.2012.001
- By:
- Publication type:
- Article
12
Science and research in the area of mechanical engineering technologies and the transfer of their result into practice.
- Published in:
- Acta Mechanica Slovaca, 2012, v. 16, n. 1, p. 4
- By:
- Publication type:
- Article