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
.
Filters
Joining Local Knowledge to Communicate Reliably (Extended Abstract)
[article]
2017
arXiv
pre-print
A fundamental primitive in distributed computing is Reliable Message Transmission (RMT), which refers to the task of correctly sending a message from a party (or player) to another, in a network where ...
We address the problem under the realistic assumption that the topological knowledge of players is restricted to a certain subgraph and specifically study the role of local information exchange in the ...
JOINING PARTIAL KNOWLEDGE Combining topological knowledge exchanged by two players v, w is trivial, since their joint knowledge γ(v, w) can easily be computed. ...
arXiv:1711.01725v1
fatcat:gdwoxxjz65dhzfd2gxy46bexpy
A theory of clock synchronization (extended abstract)
1994
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94
Our approach encompasses various models, such as point-to-point or broadcast channels, perfect or faulty communication links, and it has fault-detection capabilities. ...
To analyze this classical problem we introduce a characterization theorem for the tightest achievable estimate of the readings of a remote clock in any given execution of the system. ...
: the only relevant fact is the knowledge of the local time when a message is sent. ...
doi:10.1145/195058.195466
dblp:conf/stoc/Patt-ShamirR94
fatcat:quwygd7ravfm7fnnrrrrxp24lu
Leveraging intersections in management theory and practice (Extended Abstracts)
2021
Sinergie Italian Journal of Management
Balancing theory and practice: a review of the state of PLS-SEM research by the community of Italian management scholars FRANCESCA MAGNO, FABIO CASSIA " Co-creation of value in Open Innovation: does coopetition ...
GARBIN, ALBERTO NUCCIARELLI, ERICA SANTINI " Ethnic diversity, recombinant capabilities and the generation of green technologies ALBA MARINO, FRANCESCO QUATRARO " Exploring the innovation paths of SMEs to ...
LI L. (2018), "Blockchain-Based Solutions to Security and Privacy Issues in the Internet of Things", IEEE Wireless Communications, vol. 22, n. 6,. ...
doi:10.7433/srecp.ea.2021.01
fatcat:l2upsdqpqvc3zgahty45hquici
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)
2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
To address this, we present a novel and more permissive semantics, called determining inference semantics. ...
[Chen et al., 2018a] attempted to build global and local image-language associations, which enforce semantic consistencies between local visual and linguistic features. ...
they can quickly understand and step into the new area; (iii) give comprehensive guidance of future directions to peers in our community. ...
doi:10.24963/ijcai.2020/692
dblp:conf/ijcai/WangWZWZS20
fatcat:b6fxzp2wqzc6fiuotnit2jusoq
Innovation and Global Issues 1: Extended Abstracts Book
[article]
2021
figshare.com
It is a valuable academic work that contains extended abstracts of the academic studies presented within the scope of Innovation and Global Issues Congress I in Patara Antique city by InGlobe Academy and ...
It is also stated that the Prophet went to the date grove location where Ibn Sayyad lives and tried to hear something from him by hiding himself with palm branches. ...
It is reported in narrations that the Prophet secretly followed the child in order to understand him clearly. ...
doi:10.6084/m9.figshare.13634555.v3
fatcat:nlekic2mu5cmze3ad5dn6jorzq
Innovation and Global Issues 1: Extended Abstracts Book
[article]
2021
figshare.com
It is also stated that the Prophet went to the date grove location where Ibn Sayyad lives and tried to hear something from him by hiding himself with palm branches. ...
It is reported in narrations that the Prophet secretly followed the child in order to understand him clearly. ...
Extended Abstract Organizations need empowered employees who has qualifications such as being competent, addictive to work, proactive, knowledgeable and experienced, creative and entrepreneurial for competing ...
doi:10.6084/m9.figshare.13634555.v1
fatcat:q5mkgjq3jrh5jn4ualb2pshj5u
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
[chapter]
2014
Lecture Notes in Computer Science
To this end, we extend our previous work on psi-calculi with novel abstract patterns and pattern matching, and add sorts to the data term language, giving sufficient criteria for subject reduction to hold ...
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation ...
In order to represent concurrent constraints and local knowledge, assertions can be used as agents: Ψ stands for an agent that asserts Ψ to its environment. ...
doi:10.1007/978-3-319-14128-2_7
fatcat:3iz7ilyzz5ch7dsawbd5qtqgae
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
[chapter]
2014
Lecture Notes in Computer Science
To this end, we extend our previous work on psi-calculi with novel abstract patterns and pattern matching, and add sorts to the data term language, giving sufficient criteria for subject reduction to hold ...
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation ...
In order to represent concurrent constraints and local knowledge, assertions can be used as agents: Ψ stands for an agent that asserts Ψ to its environment. ...
doi:10.1007/978-3-319-05119-2_7
fatcat:fpfn3m6zmbdq5ixi5btoo7lm6a
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
[chapter]
2007
Lecture Notes in Computer Science
We then use the consensus example and the calculus theory to demonstrate the benefits of our methodology. ...
The methodology uses fault-tolerance bisimulation proof techniques to split the analysis into two phases, that is a failurefree phase and a failure phase, permitting separation of concerns. ...
Acknowledgments: We would like to thank the referees for their incisive comments on a preliminary version of this paper. ...
doi:10.1007/978-3-540-71316-6_27
fatcat:mc4y4u2v3nhebcrzqte42gdatu
Grand challenges: companies and universities working for a better society (Extended Abstracts)
2021
Sinergie Italian Journal of Management
Gli Extended Abstract racconti in questo volume affrontano la tematica con una varietà di argomenti, punti di vista, prospettive. ...
., HUSE M. (2010), "Women directors' contribution to board decision-making and strategic involvement: The role of equality perception", European Management Review, vol. 7, n. 1, pp. 16-29. OECD (2009) ...
) i.e. the image the local community is "projecting" to the tourists. ...
doi:10.7433/srecp.ea.2020.01
fatcat:7tu5ulmovbauzc744x5nxjx2by
Attitudes towards Online Community Support Initiatives during the COVID-19 pandemic: A Survey in the UK
2022
CHI Conference on Human Factors in Computing Systems Extended Abstracts
Local communities have adopted new ways of communicating and connecting to support each other. ...
We suggest four design implications to alleviate the challenges of using OCSIs. ...
We would like to thank Avelie Stuart (University of Exeter) for helping with survey design and recruiting participants. ...
doi:10.1145/3491101.3519830
fatcat:oxscdvax45cg3descdmc2dkmja
einclusion @ Cyprus universities
2012
Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12
Thanks also go to Patricia Farrer for having proof-read and edited the final version of this report. ...
Acknowledgements The survey has been commissioned by the European Commission to Telecentre-Europe in collaboration with the University of Washington (Contract Number 153023-2012-A08-BE) within the framework ...
This potential bias was mitigated with an important desk research effort to join umbrella organization and networks outside TE community, the result of which is reflected in Annex 3 list of Third-Party ...
doi:10.1145/2212776.2223685
dblp:conf/chi/MichailidouMZ12
fatcat:4v3zrvrwrzaevjoidp75cojyky
A Case Study on Improving Accessibility of Healthcare Care Facility in Low-resource Settings
2022
CHI Conference on Human Factors in Computing Systems Extended Abstracts
Accessibility in a hospital is challenging for people in low-income countries due to a lack of accessible mediums to communicate wayfinding, accessibility, and healthcare information. ...
From our mixed-methods study we identified: (i) there are very few accessible mediums available to communicate wayfinding, accessibility, and healthcare information; (ii) there is a lack of inclusively ...
We also extend our gratitude to Hospital Administration, Dr. R.P. Center, AIIMS, New Delhi, India for their funding as well as logistic support that has made this work possible. ...
doi:10.1145/3491101.3503557
fatcat:2mbxzgbcqfcpdnx4aabulj3pmi
Opinions, Intentions, Freedom of Expression, ... , and Other Human Aspects of Misinformation Online
2021
Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems
This hands-on workshop proposes to unpack the state-of-the-art on social, societal and political studies and socio-technical solutions to stop mis-information, challenging the participants to frst critically ...
These ethical implications are typically neglected when new digital solutions to tackle misinformation are conceived. ...
for reliable information is urgent and constant. ...
doi:10.1145/3411763.3441345
fatcat:6jrlq3atlfe4vhgxjymu7gyuoa
Extended Abstracts: VIIIth Recent Advances in Neonatal Medicine. An International Symposium Honoring Prof. Bo Sun. Würzburg, October 8-10, 2017
2017
Neonatology
., pers. commun.]. ...
Over the coming decade, it will be important to deepen our knowledge about MSCs (and other potential repair cells), understand the mechanism of action of these cells, develop reliable potency assays to ...
The best way to assess jaundice in newborns is to get a TSB or transcutaneous bilirubin (TcB) assessment. ...
doi:10.1159/000479045
pmid:28988239
fatcat:vhvbulrijbevni4yh6oncjscn4
« Previous
Showing results 1 — 15 out of 69,028 results