Filters








69,028 Hits in 4.7 sec

Joining Local Knowledge to Communicate Reliably (Extended Abstract) [article]

Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas
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)

Boaz Patt-Shamir, Sergio Rajsbaum
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)

MARTA UGOLINI
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)

Yi-Dong Shen, Thomas Eiter
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]

Nurettin Bilici, Ragıp Pehlivanlı, Selçuk Demirkılınç
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]

Nurettin Bilici, Ragıp Pehlivanlı, Selçuk Demirkılınç
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]

Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
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]

Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
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]

Adrian Francalanza, Matthew Hennessy
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)

MARTA UGOLINI
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

Min Zhang, Camilla Elphick, Richard Philpot, Zoe Walkington, Lara Frumkin, Blaine A. Price, Graham Pike, Mark Levine, Bashar Nuseibeh, Arosha Bandara
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

Eleni Michailidou, Katerina Mavrou, Panayiotis Zaphiris
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

vikas upadhyay, Tigmanshu Bhatnagar, Catherine Holloway, Meenakshi Balakrishnan
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

Lara S. G. Piccolo, Diotima Bertel, Tracie Farrell, Pinelopi Troullinou
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