On the Role of Non-functional Properties in Compiler Verification

Author(s):  
Jens Knoop ◽  
Wolf Zimmermann
2021 ◽  
Vol 866 ◽  
pp. 158982
Author(s):  
Sourabh Wajhal ◽  
S.K. Mishra ◽  
A.B. Shinde ◽  
P.S.R. Krishna ◽  
R. Mittal

Biochemistry ◽  
2001 ◽  
Vol 40 (17) ◽  
pp. 5243-5248 ◽  
Author(s):  
Karim S. Echtay ◽  
Martin Bienengraeber ◽  
Martin Klingenberg

Nanoscale ◽  
2021 ◽  
Author(s):  
Mahdi Zeidi ◽  
Chun Il Kim ◽  
Chul B B. Park

Interface plays a crucial role on the physical and functional properties of polymer nanocomposites, yet its effects have not been fully recognized in the setting of classical continuum-based modeling. In...


2016 ◽  
Vol 28 (6) ◽  
pp. 4914-4924 ◽  
Author(s):  
Tapati Sarkar ◽  
Sergey A. Ivanov ◽  
Elena A. Fortalnova ◽  
Ekaterina D. Politova ◽  
Marina G. Safronenko ◽  
...  

Author(s):  
Geqi Qi ◽  
Jinglong Wu

The sensitivity of the left ventral occipito-temporal (vOT) cortex to visual word processing has triggered a considerable debate about the functional role of this region in reading. The debate rests largely on the issue whether this particular region is specifically dedicated to reading and the extraction of invariant visual word form. A lot of studies have been conducted to provide evidences supporting or against the functional specialization of this region. However, the trend is showing that the different functional properties proposed by the two kinds of view are not in conflict with each other, but instead show different sides of the same fact. Here, the authors focus on two questions: firstly, where do the two views conflict, and secondly, how do they fit with each other on a larger framework of functional organization in object vision pathway? This review evaluates findings from the two sides of the debate for a broader understanding of the functional role of the left vOT cortex.


2004 ◽  
Vol 860 ◽  
Author(s):  
Gian N. Babini ◽  
Andrea Fedele ◽  
Luca Settineri

ABSTRACTThe great development of Solid Freeform Fabrication (SFF) techniques from their introduction into the market, more than 20 years ago, has fueled their diffusion in the mechanical sector to the point that they are today an indispensable component of the process of designing, engineering and producing a mechanical parts.At the same time, these techniques found application in different and even distant sectors, like biomedicine or architecture. This lead to the necessity of developing SFF processes suitable for materials different from those they were at the beginning thought for. Such techniques, taken from the original ones or entirely developed ex-novo, allowed for a surprising differentiation of the applications.The fabrication of ceramic parts by SFF techniques is a relatively new field which is widening the role of such materials in sectors not traditionally covered.The present paper reports a state of the art of the techniques that appear more effective for the production of ceramic goods, with representative or even functional properties.Further, some results of 3D Printing experiments of alumina parts will be presented.


2009 ◽  
Vol 23 (3) ◽  
pp. 243-265 ◽  
Author(s):  
Kanchi Bhasker Praveen Kumar Reddy ◽  
Sharda Prasad Awasthi ◽  
Arenahalli Ningegowda Madhu ◽  
Siddalingaiya Gurudutt Prapulla

Sign in / Sign up

Export Citation Format

Share Document