Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@netzschleuder@social.skewed.de
2024-06-06 07:00:06

google: Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.
This network has 15763 nodes and 171206 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google

google: Google internal webpages (2007). 15763 nodes, 171206 edges. https://networks.skewed.de/net/google

google — Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.

@netzschleuder@social.skewed.de
2024-06-06 20:00:05

polblogs: Political blogs network (2004)
A directed network of hyperlinks among a large set of U.S. political weblogs from before the 2004 election. Includes blog political affiliation as metadata.
This network has 1490 nodes and 19090 edges.
Tags: Informational, Web graph, Unweighted, Metadata

polblogs: Political blogs network (2004). 1490 nodes, 19090 edges. https://networks.skewed.de/net/polblogs

polblogs — Political blogs network (2004)
A directed network of hyperlinks among a large set of U.S. political weblogs from before the 2004 election. Includes blog political affiliation as metadata.

@arXiv_csLO_bot@mastoxiv.page
2024-06-10 06:50:32

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Juha Kontinen, Max Sandstr\"om, Jonni Virtema
arxiv.org/abs/2406.04833

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Linear temporal logic (LTL) is used in system verification to write formal specifications for reactive systems. However, some relevant properties, e.g. non-inference in information flow security, cannot be expressed in LTL. A class of such properties that has recently received ample attention is known as hyperproperties. There are two major streams in the research regarding capturing hyperproperties, namely hyperlogics, which extend LTL with trace quantifiers (HyperLTL), and logics that employ …

@netzschleuder@social.skewed.de
2024-06-18 19:00:04

google: Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.
This network has 15763 nodes and 171206 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google

google: Google internal webpages (2007). 15763 nodes, 171206 edges. https://networks.skewed.de/net/google

google — Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.

@arXiv_csLO_bot@mastoxiv.page
2024-06-10 06:50:32

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Juha Kontinen, Max Sandstr\"om, Jonni Virtema
arxiv.org/abs/2406.04833

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Linear temporal logic (LTL) is used in system verification to write formal specifications for reactive systems. However, some relevant properties, e.g. non-inference in information flow security, cannot be expressed in LTL. A class of such properties that has recently received ample attention is known as hyperproperties. There are two major streams in the research regarding capturing hyperproperties, namely hyperlogics, which extend LTL with trace quantifiers (HyperLTL), and logics that employ …

@netzschleuder@social.skewed.de
2024-06-16 18:00:08

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…

wiki_link_dyn: Wikipedia link dynamics (2011). 100312 nodes, 1627472 edges. https://networks.skewed.de/net/wiki_link_dyn

wiki_link_dyn — Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition (+1) or deletion (-1) of that link at the specified time.

@netzschleuder@social.skewed.de
2024-06-15 19:00:49

wikipedia_growth: en-Wikipedia links (2007)
The network of hyperlinks among English wikipedia pages, in 2007. An edge (i,j) indicates that article i hyperlinks to article j, and each edge is timestamped with its creation.
This network has 1870709 nodes and 39953145 edges.
Tags: Informational, Web graph, Unweighted, Timestamps

wikipedia_growth: en-Wikipedia links (2007). 1870709 nodes, 39953145 edges. https://networks.skewed.de/net/wikipedia_growth

wikipedia_growth — en-Wikipedia links (2007)
The network of hyperlinks among English wikipedia pages, in 2007. An edge (i,j) indicates that article i hyperlinks to article j, and each edge is timestamped with its creation.

@netzschleuder@social.skewed.de
2024-06-12 11:00:05

wikipedia_link: Wikipedia links (2016)
Networks of hyperlinks among articles on Wikipedia, for all available languages. A directed edge (i,j) indicates that article i hyperlinks to j.
This network has 9189 nodes and 176051 edges.
Tags: Informational, Web graph, Unweighted
networks.ske…

wikipedia_link: Wikipedia links (2016). 9189 nodes, 176051 edges. https://networks.skewed.de/net/wikipedia_link#gan

wikipedia_link — Wikipedia links (2016)
Networks of hyperlinks among articles on Wikipedia, for all available languages. A directed edge (i,j) indicates that article i hyperlinks to j.

@netzschleuder@social.skewed.de
2024-06-15 07:00:06

polblogs: Political blogs network (2004)
A directed network of hyperlinks among a large set of U.S. political weblogs from before the 2004 election. Includes blog political affiliation as metadata.
This network has 1490 nodes and 19090 edges.
Tags: Informational, Web graph, Unweighted, Metadata

polblogs: Political blogs network (2004). 1490 nodes, 19090 edges. https://networks.skewed.de/net/polblogs

polblogs — Political blogs network (2004)
A directed network of hyperlinks among a large set of U.S. political weblogs from before the 2004 election. Includes blog political affiliation as metadata.

@netzschleuder@social.skewed.de
2024-06-13 00:00:20

berkstan_web: Webgraph (Berkeley-Stanford)
The web graph of Berkeley and Stanford Universities (berkeley.edu and stanford.edu), as collected in 2002. Nodes represent pages and directed edges represent hyperlinks between them.
This network has 685231 nodes and 7600595 edges.
Tags: Informational, Web graph, Unweighted

berkstan_web: Webgraph (Berkeley-Stanford). 685231 nodes, 7600595 edges. https://networks.skewed.de/net/berkstan_web

berkstan_web — Webgraph (Berkeley-Stanford)
The web graph of Berkeley and Stanford Universities (berkeley.edu and stanford.edu), as collected in 2002. Nodes represent pages and directed edges represent hyperlinks between them.