A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A relational framework for higher-order shape analysis
2014
SIGPLAN notices
Preserved Fulltext
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
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Eurographics Conference on Visualization
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2018
ACM Transactions on Graphics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Affective Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2002
International Journal for Numerical Methods in Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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"
2018
Khazar Journal of Humanities and Social Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
Physical Review C
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2012
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Hispanic Higher Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2011
NeuroImage
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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