Results 11 to 20 of about 1,349,497 (315)
Foundations and Trends® in Programming Languages, 2020 The computation of semantic information about the behavior of pointer-manipulating programs has been a long standing issue, attacked with diverse and numerous techniques and tools for over 50 years. As usual in automatic verification of infinite-state programs, properties of interest are not computable.
Chang, Bor-Yuh Evan +4 more
openaire +3 more sources
, 2010 Email has become an integral part of everyday life. Without a second thought we receive bills, bank statements, and sales promotions all to our inbox. Each email has hidden features that can be extracted. In this paper, we present a new mechanism to characterize an email without using content or context called Email Shape Analysis.
Sroufe, Paul +3 more
openaire +1 more source
Journal of the Royal Statistical Society Series C: Applied Statistics, 2005 SummaryWe consider the analysis of extreme shapes rather than the more usual mean- and variance-based shape analysis. In particular, we consider extreme shape analysis in two applications: human muscle fibre images, where we compare healthy and diseased muscles, and temporal sequences of DNA shapes from molecular dynamics simulations.
Dryden, Ian L., Zempléni, András
openaire +1 more source
Geometric morphometric analysis of the condylus occipitalis and foramen magnum in sheep and goat [PDF]
Eurasian Journal of Veterinary Sciences, 2023 Aim: The aim of this study was to reveal the dimorphic structures of the foramen magnum and condyle occipitalis through an interspecies shape analysis and to determine the variability between sheep and goats.
Ismail Demircioglu +4 more
doaj
Agriculture, 2014 The autofluorescence of a sample is a highly sensitive and selective optical property and gives the possibility to establish non-destructive techniques of the investigation of plants, like detecting the chlorophyll fluorescence related to stress ...
Stefanie Konanz +2 more
doaj +1 more source
Morphometry Difference of the Hippocampal Formation Between Blind and Sighted Individuals
Frontiers in Neuroscience, 2021 The detailed morphometry alterations of the human hippocampal formation (HF) for blind individuals are still understudied. 50 subjects were recruited from Yantai Affiliated Hospital of Binzhou Medical University, including 16 congenital blindness, 14 ...
Ningning Pan +8 more
doaj +1 more source
Journal of Imaging, 2019 This paper presents a novel software framework, called macrosight, which incorporates routines to detect, track, and analyze the shape and movement of objects, with special emphasis on macrophages.
José Alonso Solís-Lemus +3 more
doaj +1 more source
Animals, 2021 The analysis of body shape variability has always been a central element in biology. More recently, geometric morphometry has developed as a new field in shape analysis, with the aim to study body morphological variations and the identification of their ...
Cesare Pacioni +5 more
doaj +1 more source
Application of Multi-Descriptor Binary Shape Analysis for Classification of Electronic Parts [PDF]
Journal of Universal Computer Science, 2020 Rapid growth of availability of modern electronic and robotic solutions, also for home and amateur use, related to the progress in home automation and popularity of the IoT systems, makes it possible to develop some unique hardware solutions, also by ...
Kamil Maliński, Krzysztof Okarma
doaj +3 more sources
Evaluation of cold carcasses of kıvırcık and romanov lambs by geometric morphometric method [PDF]
Kafkas Universitesi Veteriner Fakültesi Dergisi, 2023 Carcass discrimination is a very important issue in the evaluation of different sheep breeds as lamb meat for the red meat sector and the study aims to determine the carcass differences of Romanov and Kıvırcık lambs up to 6 months old by 2D geometric ...
Migena Gjoni GUNDEMIR +7 more
doaj +1 more source