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
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
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
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
Journal of Cognitive Neuroscience
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 ...
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  which is stored in the quad-edge data structure. ...doi:10.1109/isvd.2009.18 dblp:conf/isvd/SharmaAM09 fatcat:xsirz4dzgfaf3e4boy7x2kr6dq
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
Journal of Marital and Family Therapy
make deconstructive social theory consequential in the public and political arenas, we must consider its ramifications outside the halls of academe.” ... structures. ...
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
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
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.). ...
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
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
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
Annals of Botany
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
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