Filters








915,169 Hits in 6.6 sec

A relational framework for higher-order shape analysis

Gowtham Kaki, Suresh Jagannathan
2014 SIGPLAN notices  
We propose the integration of a relational specification framework within a dependent type system capable of verifying complex invariants over the shapes of algebraic datatypes.  ...  Our specification language also allows for definitions of parametric relations for polymorphic data types that enable highly composable specifications and naturally generalizes to higher-order polymorphic  ...  Acknowledgments We thank Matt Might, Ranjit Jhala, and the anonymous reviewers for their detailed comments and suggestions.  ... 
doi:10.1145/2692915.2628159 fatcat:welztkjmdvewvp7o3sunq6yxlq

A relational framework for higher-order shape analysis

Gowtham Kaki, Suresh Jagannathan
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
We propose the integration of a relational specification framework within a dependent type system capable of verifying complex invariants over the shapes of algebraic datatypes.  ...  Our specification language also allows for definitions of parametric relations for polymorphic data types that enable highly composable specifications and naturally generalizes to higher-order polymorphic  ...  Acknowledgments We thank Matt Might, Ranjit Jhala, and the anonymous reviewers for their detailed comments and suggestions.  ... 
doi:10.1145/2628136.2628159 dblp:conf/icfp/KakiJ14 fatcat:ntcadei36vhzrptsywef6hwqmi

Shape Analysis in the Absence of Pointers and Structure [chapter]

Matthew Might
2010 Lecture Notes in Computer Science  
We ask, "Is there an equivalent to shape analysis for purely functional programs, and if so, what 'shapes' does it discover?"  ...  Our analysis enables two optimizations known to be beyond the reach of control-flow analysis (globalization and super-β inlining) and one previously unknown optimization (higher-order rematerialization  ...  Platform: Small-Step Semantics, Concrete and Abstract For our investigation into higher-order shape analysis, our platform is a smallstep framework for the multi-argument continuation-passing-style λ-calculus  ... 
doi:10.1007/978-3-642-11319-2_20 fatcat:6iudb7wlbvfwxd7u2vhfrcbv2e

Comparative Visual Analysis of Pelvic Organ Segmentations [article]

Oliver Reiter, Marcel Breeuwer, Eduard Gröller, Renata Georgia Raidou
2018 Eurographics Conference on Visualization  
In this work, we discuss the design and implementation of a web-based framework, which enables easy exploration and detailed analysis of shape variability, and allows the intended users - i.e., segmentation  ...  Understanding how the shape and size of these organs affect the accuracy of segmentation is of major importance for developers of segmentation algorithms.  ...  Related Work Recently, Raidou et al. [RMB * 16] proposed a visualization framework for the exploration and analysis of segmentation outcomes in a cohort of subjects.  ... 
doi:10.2312/eurovisshort.20181075 dblp:conf/vissym/ReiterBGR18 fatcat:6ibhb7y63rfhdbr66eggr65eyu

Discrete Time Evolution Process Descriptor for Shape Analysis and Matching

Simone Melzi, Maks Ovsjanikov, Giorgio Roffo, Marco Cristani, Umberto Castellani
2018 ACM Transactions on Graphics  
In shape analysis and matching, it is often important to encode information about the relation between a given point and other points on a shape, namely, its context.  ...  To this aim, we propose a theoretically sound and efficient approach for the simulation of a discrete time evolution process that runs through all possible paths between pairs of points on a surface represented  ...  ACKNOWLEDGMENTS The authors thank Emanuele Rodolà for his suggestions and help given in the evaluation.  ... 
doi:10.1145/3144454 fatcat:ncl4perrxvebxgawdcwmmie6yq

Analysis of 3D Shapes of Liquid Soap Bottles Using Spherical Harmonics

Ryota MIYAWAKI, Masashi KOMORI, Kumiko KOKUBO, Chika NAGAOKA, Takumi YOKOYAMA
2017 International Journal of Affective Engineering  
Quantitative analytical framework for investigating the relationship between the design of 3D products and subjective impressions regarding shapes was developed by using a combination of spherical harmonics  ...  Then, we performed a principal component analysis of these coefficients. The extracted morphological features were related to the aspect ratio in the frontal plane, thickness and roundness.  ...  ACKNOWLEDGEMENTS We would like to thank Yuto Tokizane for helping us to collect 3D data.  ... 
doi:10.5057/ijae.ijae-d-16-00026 fatcat:oveaetjcrrcstayhwmq3sbteiu

Multi-scale constitutive modelling of heterogeneous materials with a gradient-enhanced computational homogenization scheme

V. Kouznetsova, M. G. D. Geers, W. A. M. Brekelmans
2002 International Journal for Numerical Methods in Engineering  
A gradient-enhanced computational homogenization procedure, that allows for the modelling of microstructural size e ects, is proposed within a general non-linear framework.  ...  This automatically delivers the microstructurally based constitutive response of the higher-order macro continuum and deals with the microstructural size in a natural way.  ...  ACKNOWLEDGEMENT This research was carried out under project number ME97020 'Multi-scale computational homogenization' in the framework of the Strategic Research programme of the Netherlands Institute for  ... 
doi:10.1002/nme.541 fatcat:vgqxfdmz4bgb5frbko5c2lio6m

A Critical Discourse Analysis of Radi's Dramas From behind the Windows and Hamlet with Season Salad Based on Van Leeuwen's Framework "Representing Social Actions"

Alireza Khormaee, Rayeheh Sattarinezhad
2018 Khazar Journal of Humanities and Social Sciences  
political discourses, van Leeuwen's framework also proves effective in the critical analysis of literary works.  ...  Applying van Leeuwen's 'Social Actions' framework (2008), the present study critically analyzes the power relations between the main characters of Radi's dramas From behind the Windows and Hamlet with  ...  As a result, Damagh rather asks others for help and is often the recipient of a dominant character's orders.  ... 
doi:10.5782/2223-2621.2018.21.3.103 fatcat:qrdshs5ftve6ng37os6yquqa5m

Microscopic analysis of order parameters in nuclear quantum phase transitions

Z. P. Li, T. Nikšić, D. Vretenar, J. Meng
2009 Physical Review C  
Hamiltonian for quadrupole vibrational and rotational degrees of freedom, with parameters determined by constrained self-consistent relativistic mean-field calculations for triaxial shapes.  ...  transition strengths, exhibit sharp discontinuities at neutron number N=90, characteristic of a first-order quantum phase transition.  ...  In conclusion, a microscopic calculation of observables related to order parameters for a first-order nuclear QPT between spherical and axially deformed shapes has been performed.  ... 
doi:10.1103/physrevc.80.061301 fatcat:fbytnm2ccvhz7gjy3hgi4q33sq

Hash-flow taint analysis of higher-order programs

Shuying Liang, Matthew Might
2012 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12  
Then we derive a framework of k-CFA-like CESK-style abstract machines for statically reasoning about λH , but with hash maps factored into a "Curried Object store."  ...  We first define λH , a core calculus of modern scripting languages, with hash maps, dynamic objects, higher-order functions and first class control.  ...  This material is based on research sponsored by DARPA under the programs Automated Program Analysis for Cybersecurity (FA8750-12-2-0106) and Clean-Slate Resilient Adaptive Hosts (CRASH). The U.S.  ... 
doi:10.1145/2336717.2336725 dblp:conf/pldi/LiangM12 fatcat:ijolq6cmg5duverkjvc7pszlqy

Parametric design of silo steel framework of concrete mixing station based on the finite element method and MATLAB

Hui Long, Changzheng Huang, Jing Li, Feng Liu, N. Qaddoumi, S.-K. Koh, J. Devlin
2016 MATEC Web of Conferences  
In order to acquire strength of silo steel framework rapidly and efficiently, it is need to provide specialized parametric strength computational software for engineering staff who does not understand  ...  when the structure of the silo steel framework of concrete mixing station is designed, In most cases, the dimension parameters, shape parameters and position parameters of silo steel framework beams are  ...  Acknowledgements This work was financially supported by the Guangdong science and technology planning project (2012B091100 199, 2012KJCX0095),the Foundation for Distinguished Young Talents in Higher Education  ... 
doi:10.1051/matecconf/20163901002 fatcat:ihmabqfts5dzdmkim2hrqiw6eq

The Role of Higher Education Associations in Shaping Policy That Connects Immigration to Educational Opportunity: A Social Capital Framework

Noe Ortega
2010 Journal of Hispanic Higher Education  
The framework developed for this study suggests that in order to better understand the effectiveness of the higher education community's ability to influence and shape policy, we must also examine how  ...  In order to generalize our results and make claims about the normative values and shared beliefs of the higher education community, we conducted a second analysis of our data in order to provided additional  ... 
doi:10.1177/1538192710391803 fatcat:4oetdbxv65gvnkb7tvk56dzdma

Invariant Feature Descriptor based on Harmonic Image Transform for Plant Leaf Retrieval

Sophia Jamila Zahra, Riza Sulaiman, Anton Satria Prabuwono, Seyed Mostafa Mousavi Kahaki
2017 Zenodo  
Shape analysis and comparison for plant leaf retrieval are investigated in this study.  ...  Feature descriptor for image retrieval has emerged as an important part of computer vision and image analysis application.  ...  ACKNOWLEDGEMENT The authors would like to thank the Centre for Artificial Intelligence Technology (CAIT) at National University of Malaysia for the laboratory facilities.  ... 
doi:10.5281/zenodo.2557243 fatcat:ykzkg4vxkrax3haowins53a6re

Wavelet-based fMRI analysis: 3-D denoising, signal separation, and validation metrics

Siddharth Khullar, Andrew Michael, Nicolle Correa, Tulay Adali, Stefi A. Baum, Vince D. Calhoun
2011 NeuroImage  
We present a novel integrated wavelet-domain based framework (w-ICA) for 3-D denoising functional magnetic resonance imaging (fMRI) data followed by source separation analysis using independent component  ...  It was observed that the proposed framework was able to preserve the actual activation shape in a consistent manner even for very high noise levels in addition to significant reduction in false positive  ...  Elena Allen for their valuable comments and feedback. Appendix A. Wavelets vs.  ... 
doi:10.1016/j.neuroimage.2010.10.063 pmid:21034833 pmcid:PMC3058245 fatcat:ilh7vjkizfd63h6xcupuqcc7uy

Doing Online Relearning through Information Skills (DORIS): A Mutual Shaping Perspective for Information Literacy Research and Practice [chapter]

Juan D. Machin-Mastromatteo, Sirje Virkus
2013 Communications in Computer and Information Science  
This paper provides early data analysis focusing on: a) its particular epistemological assumptions and supporting theories, b) the overall mutual shaping perspective assumed, and c) some of the possible  ...  This framework comprises a series of learning interventions, activities, and assignments.  ...  Information competencies are for this." Conclusion There is still a long way to in order to complete this research.  ... 
doi:10.1007/978-3-319-03919-0_50 fatcat:zibcdg4b5rdg5oo54gejzmtnwy
« Previous Showing results 1 — 15 out of 915,169 results