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.
Filters
Real-time tracking and mining of users' actions over social media
2020
Computer Science and Information Systems
Preserved Fulltext
This paper discusses such tracking and mining through a system called Social Miner that allows companies to make decisions about what, when, and how to respond to users' actions over social media. ...
With the advent of Web 2.0 technologies and social media, companies are actively looking for ways to know and understand what users think and say about their products and services. ...
To achieve the reversal analysis, we adopted gSpan algorithm for mining labeled graphs [37] . ...
doi:10.2298/csis190822002k
fatcat:2koelp7xgvgp5kq7fu236upmwm
Finite-Sample Analysis of Decentralized Q-Learning for Stochastic Games
[article]
2021
arXiv
pre-print
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 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In particular, we establish the finite-sample complexity of fully decentralized Q-learning algorithms in a significant class of general-sum stochastic games (SGs) - weakly acyclic SGs, which includes the ...
In the tabular setting, we analyze the sample complexity for the decentralized Q-learning algorithm to converge to a Markov perfect equilibrium (Nash equilibrium). ...
Figure 1 shows the strict best reply graph of a weakly acyclic game. A node with no outgoing
edges is an equilibrium policy (π5 and π6 in this graph). ...
arXiv:2112.07859v2
fatcat:2walexd2tzambcwwqyonqjne74
A machine-checked model for a Java-like language, virtual machine, and compiler
2006
ACM Transactions on Programming Languages and Systems
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 following aspects are formalised: a big and a small step operational semantics for Jinja and a proof of their equivalence; a type system and a definite initialisation analysis; a type safety proof ...
of the small step semantics; a virtual machine (JVM), its operational semantics and its type system; a type safety proof for the JVM; a bytecode verifier, i.e. data flow analyser for the JVM; a correctness ...
We also thank them and the referees for commenting on draft versions of this paper. ...
doi:10.1145/1146809.1146811
fatcat:v3q5knrgpbcajjbpnrcjiidl2i
A SURVEY OF PROGRESS IN GRAPH THEORY IN THE SOVIET UNION
1970
Annals of the New York Academy of 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 2016; you can also visit the original URL.
The file type is application/pdf.
use of graphs for modeling in social sciences. ...
This report describes the results of a comprehensive technical survey of all published Soviet literature in graph theory and its applications--more than 230 technical articles appearing up to June 1968 ...
max inum possi ble' I2 -A m, n 1 2.......erv m and ni are the delri t ls of the two lgraphsi oakng upl the union. ...
doi:10.1111/j.1749-6632.1970.tb56496.x
fatcat:cbb5x22w2farrnw5sijyovn66i
Theory of Communication Networks
[chapter]
2009
Algorithms and Theory of Computation Handbook, Second Edition, Volume 2
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.
Instead hosts, called as peers, communicate directly and a peer can act both as a client (while requesting information) or as a server (when servicing requests for other peers). ...
The understanding of different layers of the stack allows us to tie the theoretical and algorithmic results that will be discussed to specific functions and protocols in the Internet. ...
Theorem 4. 3 3 In a directed acyclic graph, with any greedy scheduling and any adversarial packet generation with rate ρ = 1, a network system is stable. ...
doi:10.1201/9781584888215-c27
fatcat:3ha5tns5jfcaznow7avii53pze
Networks, uncertainty, applications and a crusade for optimality
2015
4OR
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 the graph G d , a subgraph T d = (V T d , A T d ) that forms a directed tree rooted at r is called a rooted Steiner arborescence. ...
A subgraph T SA of G SA that forms a directed tree rooted at r such that for each node i in T SA there is a directed path between r and i, is called a Steiner arborescence and is a feasible solution of ...
Construction of a Feasible Solution In the case of a single scenario, an algorithm for the Minimum Cost Flow (MCF) problem can be used to solve RND as follows: we define a directed graph having the same ...
doi:10.1007/s10288-015-0281-z
fatcat:vpvyyvyj3nax3jjg5gqx3il44q
Minimum color‐degree perfect b ‐matchings
2020
Networks
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.
Schrader, and Graphs III (Wed 20, Room PP, 9:30-10:30) chaired by R. Cordone. Session chairs must remind speakers to load up slides on laptops, and keep the sessions on time. ...
then possibly someone will ask a question just to fill in the horrible silence, and then other questions may follow. ...
On the way to obtaining the kernelization algorithm, we also provide a 2-approximation algorithm for γ-matching. ...
doi:10.1002/net.21974
fatcat:4qgtutmxrrcy7anvxks4fivcii
Fake BTS Attacks of GSM System on Software Radio Platform
2012
Journal of Networks
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 the second paper, "A Graph Clustering Algorithm Providing Scalability" by Lei Huang, Jiabing Wang and Xing He, proposes a new scalable graph clustering method called APANC (Affinity Propagation And ...
While for the illegal receivers, because a wrong secret key results in a wrong puncturing mechanism, and the Turbo decoder is sensitive to the puncturing mechanism, they will get a totally wrong decoding ...
TORA is basically an algorithm under reactive protocols for routing data across wireless mesh networks [4] . It is an on-demand routing protocol based on a directed acyclic graph (DAG). ...
doi:10.4304/jnw.7.2.275-281
fatcat:3ejjimllcvewjeifopbvhl3zmi
Constraint-Based Layout-Driven Sizing of Analog Circuits
2011
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
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.
Acyclic Routing Network Graphs of Maximum Edge Number It is recalled from Section 4. 5 .2 that the vectors {R v |v ∈ V} construct vector R, and that the domain of possible values of R is dependent on ...
The construction of χL+ v in (4.60) is dependent only on the number of graph terminals, |T v |, and not on the graph structure or edge resistances. ...
doi:10.1109/tcad.2011.2158732
fatcat:schj7wh4fnfazepnii5cgywpfa
CALCULUS OF FUZZY RESTRICTIONS
[chapter]
1975
Fuzzy Sets and their Applications to Cognitive and Decision Processes
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 2016; you can also visit the original URL.
The file type is application/pdf.
For example, "Stella is young," where young is a fuzzy subset of the real line, translates into R(Age(Stella)) = young. ...
R(A(x)) = P, where A(x) is an implied attribute of x, R is a fuzzy restriction on x, and P is the unary fuzzy relation which is assigned to R. ...
Morita for his valuable discussion. ...
doi:10.1016/b978-0-12-775260-0.50006-2
fatcat:zhkupyhimzcaffxqgadlfom2zq
High level synthesis of neural network chips
[chapter]
1993
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 2020; you can also visit the original URL.
The file type is application/pdf.
ENTITY bg : o r 2 g a t e USE ENTITY w o r k .o r 2 g a t e ( b e h a v i o u r ); •FOR st: 3 t o r a g e _ m o d u l e USE ENTITY w o r k . d _ f r v _ p h end_bkw _ph e u _ e n _ c n t r _ a d d e u ...
u t p u t -> m r_ a n d _ ls b s a n d l : a n d l g a t e PORT MAP < i n p u t l -> m r _ a n d _ ls b s , i n p u t l -> p h i l , o u t p u t -> m r _ p h il a n d l : a n d l g a t e PORT MAP < i n ...
250 /3 b 6 : o r 2 g a t e PORT MAP ( c u . t x , e u . t x , t x ) ; b 7 : o r 2 g a t e PORT MAP ( c u . r e s e t . p t r , e u . r e s e t . p t r , r e s e t . p t r ) ; b8 : o r 2 g a t e PORT MAP ...
doi:10.1007/3-540-56798-4_186
fatcat:l44fgibfd5hl7dzcnzmpk7zyqe
An Executable and Extensible Formal Semantics for UML-RT
2009
Model-Based Development of Embedded Systems
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.
Model Driven Software Development (MDSD) uses precisely defined domain specific models that are transformed into executable code by a sequence of model transformations. ...
It needs to be augmented by other documents and artifacts including a system-specific argumentation such as a safety case (see e.g. [RDG07]). ...
Acknowledgement We thank the dSPACE GmbH for their support to develop the presented results and Oliver Niggemann, Joachim Stroop, Dirk Stichling and Petra Nawratil for their support in setting up and running ...
dblp:conf/mbees/LeueW09
fatcat:gheczjjosvd7nhftqriafseyqa
Routing in Flying Ad hoc Networks: Survey, Constraints and Future Challenge Perspectives
2019
IEEE Access
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 2021; you can also visit the original URL.
The file type is application/pdf.
Moreover, several flying constraints and the highly dynamic topology of FANETs make the design of routing protocols a complicated task. ...
A classification, descriptions, and comparative studies of an important number of existing routing protocols dedicated to FANETs are detailed. ...
TORA creates and maintains a Directed Acyclic Graph (DAG) between the communicating UAVs where several routes exist between them. ...
doi:10.1109/access.2019.2923840
fatcat:cg2767npendjrdhydislc7uixu
Paradigms and puzzles in the theory of dynamical systems
1991
IEEE Transactions on Automatic Control
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 2016; you can also visit the original URL.
The file type is application/pdf.
on their values, and 8, a family of f ( t f + t ) . ...
N~~ define, for E p, s,: 2 -, by W-valued time trajectories. ...
the input terminals of the delays defines a DAG (a directed acyclic graph). 6) Consider the aforementioned graph but with the branches from the inputs to the output of *e delays deleted. ...
doi:10.1109/9.73561
fatcat:m3547dn6t5gmfcma4fgfqpzyci
Statistical shape modeling in virtual assembly using PCA-technique
2013
Journal of manufacturing systems
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 special thanks to Samuel Lorin PPU at Chalmers and Carl Angervall at VCC for constructive discussions on the subject. ...
Special thanks to Prof ElMaraghy W. for his invaluable support and supervision. Also, we would like to thank Dr ElGeddawy T. for sharing with us his expertise in manufacturing system co-evolution. ...
All subnets must be organized in a hyper tree structure ii. A Directed Acyclic Graph (DAG) must be used to represent each agent's knowledge. ...
doi:10.1016/j.jmsy.2013.02.002
fatcat:eaucg4ewmre3lefsbiihax6tza
« Previous
Showing results 1 — 15 out of 47 results