Filters








65,846 Hits in 3.8 sec

The ramifications of sharing in data structures

Aquinas Hobor, Jules Villard
2013 SIGPLAN notices  
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

Aquinas Hobor, Jules Villard
2013 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13  
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

Krzysztof Suchecki, Janusz A. Hołyst
2006 Physica A: Statistical Mechanics and its Applications  
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  
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

Ojaswa Sharma, François Anton, Darka Mioc
2009 2009 Sixth International Symposium on Voronoi Diagrams  
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

Jenny Tung, Luis B Barreiro, Michael B Burns, Jean-Christophe Grenier, Josh Lynch, Laura E Grieneisen, Jeanne Altmann, Susan C Alberts, Ran Blekhman, Elizabeth A Archie
2015 eLife  
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  
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

Shannon M. Oltmann
2010 Proceedings of the American Society for Information Science and Technology  
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

Robert Arnold, Ernst Hofer, Josef Haas, Damian Sanchez-Quintana, Gernot Plank, Esther Pueyo
2022 PLoS ONE  
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  
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

Catherine Magelssen
2015 AIB Insights  
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

Karen S. Baker, David Ribes, Florence Millerand, Geoffrey C. Bowker
2006 Proceedings of the American Society for Information Science and Technology  
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

EDIE BENEDITO CAETANO, JOÃO PAULO NUNES TOLEDO, SÉRGIO APARECIDO DO AMARAL JÚNIOR, LUIZ ANGELO VIEIRA, BEATRIZ D'ANDREA PIGOSSI, RENATO ALVES DE ANDRADE
2020 Acta Ortopédica Brasileira  
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

Alexandra Jullien, Amélie Mathieu, Jean-Michel Allirand, Amélie Pinet, Philippe de Reffye, Paul-Henry Cournède, Bertrand Ney
2010 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

Strategic Information Splitting Using Biometric Patterns

Marek R. Ogiela, Lidia Ogiela, Urszula Ogiela
2012 Journal of Internet Services and Information Security  
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