Institution
Tallinn University of Technology
Education•Tallinn, Estonia•
About: Tallinn University of Technology is a education organization based out in Tallinn, Estonia. It is known for research contribution in the topics: European union & Computer science. The organization has 3688 authors who have published 10313 publications receiving 145058 citations. The organization is also known as: Tallinn Technical University & Tallinna Tehnikaülikool.
Topics: European union, Computer science, Oil shale, Nonlinear system, Thin film
Papers published on a yearly basis
Papers
More filters
20 Aug 2009
TL;DR: Four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs are presented and their equivalence proofs are formalized in the constructive setting of Coq.
Abstract: We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semantics and big-step and small-step functional semantics. The semantics employ traces (possibly infinite sequences of states) to record the states that program runs go through. The relational semantics relate statement-state pairs to traces, whereas the functional semantics return traces for statement-state pairs. All four semantics are equivalent. We formalize the semantics and their equivalence proofs in the constructive setting of Coq.
46 citations
TL;DR: Even if both compounds were not “readily biodegradable” in the sense of the OECD guideline, particularly IL (4) can be proposed as a basic structure for sustainable and green ILs (benign by design) with the aim of optimizing its degradation rate further.
46 citations
TL;DR: In this paper, a light-weight sandwich panel for trailers was designed using vacuum infusion technology and a 2D finite element analysis (FEA) of 4-point bending was made with ANSYS APDL (Classic) software.
Abstract: The purpose of this study was to design a light-weight sandwich panel for trailers. Strength calculations and selection of different materials were carried out in order to find a new solution for this specific application. The sandwich materials were fabricated using vacuum infusion technology. The different types of sandwich composite panels were tested in 4-point bending conditions according to ASTM C393/C393M. Virtual testing was performed by use of ANSYS software to simplify the core material selection process and to design the layers. 2D Finite element analysis (FEA) of 4-point bending was made with ANSYS APDL (Classic) software. Data for the FEA was obtained from the tensile tests of glass fiber plastic (GFRP) laminates. Virtual 2D results were compared with real 4-point bending tests. 3D FEA was applied to virtually test the selected sandwich structure in real working conditions. Based on FEA results the Pareto optimality concept has been applied and optimal solutions determined.
46 citations
TL;DR: In this paper, alongshore variations in sediment transport along the eastern Baltic Sea coast from the Sambian (Samland) Peninsula up to Parnu Bay in the Gulf of Riga are analysed using long-term (1970-2007) simulations of the nearshore wave climate and the Coastal Engineering Research Centre (CERC) wave energy flux model applied to about 5.5 km long beach sectors.
46 citations
TL;DR: In this article, the influence of strain rate on the severe deformation imposed by high pressure torsion (HPT) was used to evaluate the deformation mechanisms for a series of CoCrFeNiNbx composites.
46 citations
Authors
Showing all 3757 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| James Chapman | 82 | 483 | 36468 |
| Alexandre Alexakis | 67 | 540 | 17247 |
| Bernard Waeber | 56 | 370 | 35335 |
| Peter A. Andrekson | 54 | 573 | 12042 |
| Charles S. Peirce | 51 | 167 | 11998 |
| Lars M. Blank | 49 | 301 | 8011 |
| Fushuan Wen | 49 | 465 | 9189 |
| Mati Karelson | 48 | 207 | 10210 |
| Ago Samoson | 46 | 119 | 8807 |
| Zebo Peng | 45 | 359 | 7312 |
| Petru Eles | 44 | 300 | 6749 |
| Vijai Kumar Gupta | 43 | 301 | 6901 |
| Eero Vasar | 43 | 263 | 6930 |
| Rik Ossenkoppele | 42 | 192 | 6839 |
| Tõnis Timmusk | 41 | 105 | 11056 |