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
The ramifications of sharing in data structures
2013
SIGPLAN notices
Preserved Fulltext
Deep aliasing inside data structures dramatically complicates reasoning in isolation over parts of these objects because changes to one part of the structure (say, the left child of a dag node) can affect ...
We verify the correctness of a number of examples, including programs that manipulate dags, graphs, and overlaid data structures in nontrivial ways. ...
ramification was expressible as a separation logic entailment. ...
doi:10.1145/2480359.2429131
fatcat:h64644utmvgljkjw4fjvi577si
The ramifications of sharing in data structures
2013
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13
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 2012; you can also visit the original URL.
The file type is application/pdf.
Deep aliasing inside data structures dramatically complicates reasoning in isolation over parts of these objects because changes to one part of the structure (say, the left child of a dag node) can affect ...
We verify the correctness of a number of examples, including programs that manipulate dags, graphs, and overlaid data structures in nontrivial ways. ...
Ramifications for Sharing We now turn to the case of data structures with sharing, and introduce our RAMIFY rule. ...
doi:10.1145/2429069.2429131
dblp:conf/popl/HoborV13
fatcat:psagfir3gvbhjhlrl5iwo3yjwm
Voter model on Sierpinski fractals
2006
Physica A: Statistical Mechanics and its Applications
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2005 pre-print arXiv:cond-mat/0505350v1 fatcat:gwxsmzxzh5dkdjs46qkqu57wnq
We obtain a power law ordering, similar to the behavior of one-dimensional system, regardless of fractal ramification. ...
We investigate the ordering of voter model on fractal lattices: Sierpinski Carpets and Sierpinski Gasket. ...
However, aside from that model, there are many other possible dynamics, sharing little in common with behavior of the Ising model. ...
doi:10.1016/j.physa.2005.08.003
fatcat:pgcktdgnnjample4dekvlloq3u
Page 371 of Journal of Cognitive Neuroscience Vol. 10, Issue 3
[page]
1998
Journal of Cognitive Neuroscience
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
If, as the data from Experiments 1 and 2 suggest, the location of exemplar nodes in multidimensional psychological space is determined using both structural and semantic coordinates, then faces belonging ...
Looking at the control subjects who mapped quadru- plets of faces to quadruplets of names, one can see the ramifications of both the psychological similarity storage principle and the ramifications of ...
On the Isomorphism between the Medial Axis and a Dual of the Delaunay Graph
2009
2009 Sixth International Symposium on Voronoi Diagrams
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.
This dual graph captures the fact that two Delaunay triangles share two vertices or an edge. Then, we apply it to the computation of the medial axis of the features selected in an image. ...
In this paper, we show a graph isomorphism between a dual graph of the Delaunay graph of the sampled points and the medial axis of the sampled features. ...
The Delaunay triangulation of the sample points is computed using the incremental algorithm given by [9] which is stored in the quad-edge data structure. ...
doi:10.1109/isvd.2009.18
dblp:conf/isvd/SharmaAM09
fatcat:xsirz4dzgfaf3e4boy7x2kr6dq
Social networks predict gut microbiome composition in wild baboons
2015
eLife
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.
Using shotgun metagenomic data from wild baboons, we found that social group membership and social network relationships predicted both the taxonomic structure of the gut microbiome and the structure of ...
Rates of interaction directly explained variation in the gut microbiome, even after controlling for diet, kinship, and shared environments. ...
doi:10.7554/elife.05224
pmid:25774601
pmcid:PMC4379495
fatcat:mzh37uomq5hqtpcjyz3k6xeipe
Page 26 of Journal of Marital and Family Therapy Vol. 27, Issue 4
[page]
2001
Journal of Marital and Family Therapy
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
make deconstructive social theory consequential in the public and political arenas, we must consider its ramifications outside the halls of academe.” ...
structures. ...
Katz out of the bag: The broader privacy ramifications of using Facebook
2010
Proceedings of the American Society for Information Science and Technology
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.
To understand the possible ramifications of these changing attitudes toward privacy, we must examine legal conceptions of privacy, particularly the 1967 Katz v. United States case. ...
With Katz, the Supreme Court created a formal definition of how much privacy a citizen could reasonably expect in the U.S. Privacy became dependent upon individual personhood, not a physical place. ...
The second trend is a flattening of social relationships, as a result of Facebook's structure-one is either a Friend or not. ...
doi:10.1002/meet.14504701250
fatcat:iohmis5qbfdapmyn2pk7jxf5ya
Diversity and complexity of the cavotricuspid isthmus in rabbits: A novel scheme for classification and geometrical transformation of anatomical structures
2022
PLoS ONE
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.
reflects the type of ramification (branching or merging site). ...
The aim of this study was to describe the morphology of the cavotricuspid isthmus (CTI) in detail and introduce a comprehensive scheme to describe the topology of this region based on functional considerations ...
Histology of the CTI. (A) Macrograph showing a typical CTI structure. (B) Micrograph cut parallel to the CTI plane. (C) Ramification in the TC, i.e. an exit site from the TC into the PM network. ...
doi:10.1371/journal.pone.0264625
pmid:35231058
pmcid:PMC8887761
fatcat:hpvv54cngrcxngsctswp2h6frq
Page 825 of Hydrological Processes Vol. 12, Issue 6
[page]
1998
Hydrological Processes
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
protocols for data transfer) or ‘closely’ (where the GIS and model share a common data structure and both interact with the same database). ...
, coordinate system, data structure, data model, etc.). ...
Property Rights Theory and Ownership of Firm-Specific Advantages: The Implications of Contracting and Licensing within the Multinational Firm
2015
AIB Insights
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.
The lack of research in this area is no doubt due to the lack of available data. ...
I identify four mutually-exclusive types of FSA ownership structures that MNEs use: (1) sole ownership, where one entity within the MNE owns the rights to all of the MNE's FSAs; (2) shared ownership, where ...
doi:10.46697/001c.16910
fatcat:fxelp3q6lze5dcxwgiim3eetym
Interoperability strategies for scientific cyberinfrastructure: Research and practice
2006
Proceedings of the American Society for Information Science and Technology
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 2006; you can also visit the original URL.
The file type is application/pdf.
Background The historical notion of infrastructure as a background technical service has ramifications in research agendas today that call for interoperability of both community data efforts and scientific ...
Before being materialized in technical artifacts and organizational structures, interoperability strategies develop in the interplay of negotiations. ...
doi:10.1002/meet.14504201237
fatcat:2nb5dw7d3bdofec2t5roemt2uu
INNERVATION OF THE MEDIAN NERVE MOTOR BRANCHES IN THE FOREARM AND ITS CLINICAL SIGNIFICANCE
2020
Acta Ortopédica Brasileira
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.
Objective: To analyse the anatomical variations of the median nerve motor branches in the elbow region. ...
Only three limbs (14%) presented the normal standard of innervation described in anatomy treatises. ...
This study aimed to analyse the anatomic variations of median nerve motor branches in the elbow region considering origin, course, length, ramifications, motor points, and relation to adjacent structures ...
doi:10.1590/1413-785220202805235028
pmid:33144842
pmcid:PMC7580294
fatcat:xwzokqsilfgvnljrpe52tebmdu
Characterization of the interactions between architecture and source–sink relationships in winter oilseed rape (Brassica napus) using the GreenLab model
2010
Annals of Botany
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.
Experimental field data were used to estimate morphological parameters while source -sink parameters of the model were estimated by adjustment of model outputs to the data. ...
Aims This study aimed to characterize the interaction between architecture and source -sink relationships in winter oilseed rape (WOSR): do the costs of ramification compromise the source -sink ratio during ...
A delay function for ramification expansion has been already used in GreenLab to simulate structural development of Arabidopsis thaliana (Christophe et al., 2008) . ...
doi:10.1093/aob/mcq205
pmid:20980324
pmcid:PMC3077979
fatcat:pn3xdil425fljieritq5p3tbe4
Strategic Information Splitting Using Biometric Patterns
2012
Journal of Internet Services and Information Security
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.
In fact sometimes it may be useful to generate a special personalized shadows, which allow not only reveal the original secret information, but also to identify who is the owner of particular shares or ...
In classic cryptographic threshold schemes used for secret splitting and sharing there aren't any connection between generated shares and particular participants of threshold protocol. ...
The obtained vector of features describing all structures of coronary vessels can then be recoded into a personal information vector, which may used for secret sharing. ...
doi:10.22667/jisis.2012.11.31.129
dblp:journals/jisis/OgielaOO12
fatcat:r7vfnlt7hnbsnmk6rbwxk7slue
« Previous
Showing results 1 — 15 out of 65,846 results