implementation challenges
Recently Published Documents


TOTAL DOCUMENTS

1199
(FIVE YEARS 540)

H-INDEX

34
(FIVE YEARS 8)

2022 ◽  
Vol 6 (POPL) ◽  
pp. 1-31
Author(s):  
Mirai Ikebuchi ◽  
Andres Erbsen ◽  
Adam Chlipala

One of the biggest implementation challenges in security-critical network protocols is nested state machines. In practice today, state machines are either implemented manually at a low level, risking bugs easily missed in audits; or are written using higher-level abstractions like threads, depending on runtime systems that may sacrifice performance or compatibility with the ABIs of important platforms (e.g., resource-constrained IoT systems). We present a compiler-based technique allowing the best of both worlds, coding protocols in a natural high-level form, using freer monads to represent nested coroutines , which are then compiled automatically to lower-level code with explicit state. In fact, our compiler is implemented as a tactic in the Coq proof assistant, structuring compilation as search for an equivalence proof for source and target programs. As such, it is straightforwardly (and soundly) extensible with new hints, for instance regarding new data structures that may be used for efficient lookup of coroutines. As a case study, we implemented a core of TLS sufficient for use with popular Web browsers, and our experiments show that the extracted Haskell code achieves reasonable performance.


2022 ◽  
Vol 6 (1) ◽  
pp. 10
Author(s):  
Matej Vuković ◽  
Stefan Thalmann

Industry 4.0 radically alters manufacturing organization and management, fostering collection and analysis of increasing amounts of data. Advanced data analytics, such as machine learning (ML), are essential for implementing Industry 4.0 and obtaining insights regarding production, better decision support, and enhanced manufacturing quality and sustainability. ML outperforms traditional approaches in many cases, but its complexity leads to unclear bases for decisions. Thus, acceptance of ML and, concomitantly, Industry 4.0, is hindered due to increasing requirements of fairness, accountability, and transparency, especially in sensitive-use cases. ML does not augment organizational knowledge, which is highly desired by manufacturing experts. Causal discovery promises a solution by providing insights on causal relationships that go beyond traditional ML’s statistical dependency. Causal discovery has a theoretical background and been successfully applied in medicine, genetics, and ecology. However, in manufacturing, only experimental and scattered applications are known; no comprehensive overview about how causal discovery can be applied in manufacturing is available. This paper investigates the state and development of research on causal discovery in manufacturing by focusing on motivations for application, common application scenarios and approaches, impacts, and implementation challenges. Based on the structured literature review, four core areas are identified, and a research agenda is proposed.


2022 ◽  
Author(s):  
Marine H. Laporte ◽  
Nikolai Klena ◽  
Virginie Hamel ◽  
Paul Guichard

AbstractCryofixation has proven to be the gold standard for efficient preservation of native cell ultrastructure compared to chemical fixation, but this approach is not widely used in fluorescence microscopy owing to implementation challenges. Here, we develop Cryo-ExM, a method that preserves native cellular organization by coupling cryofixation with expansion microscopy. This method bypasses artifacts associated with chemical fixation and its simplicity will contribute to its widespread use in super-resolution microscopy.


Author(s):  
Andrejs Tambovcevs ◽  
Tatjana Tambovceva

The enterprise information system offers the service platform to improve the efficiency of enterprise work. Information systems are widely used in different areas and improve the efficiency of enterprise activities. The main purpose of this paper is to present the ERP systems implementation challenges together with identifying the benefits from the implementation and economic effectiveness of ERP systems.


Materials ◽  
2022 ◽  
Vol 15 (2) ◽  
pp. 431
Author(s):  
Klara Loges ◽  
Victor Tiberius

The reduction in cost and increasing benefits of 3D printing technologies suggest the potential for printing dental prosthetics. However, although 3D printing technologies seem to be promising, their implementation in practice is complicated. To identify and rank the greatest implementation challenges of 3D printing in dental practices, the present study surveys dentists, dental technicians, and 3D printing companies using a ranking-type Delphi study. Our findings imply that a lack of knowledge is the most crucial obstacle to the implementation of 3D printing technologies. The high training effort of staff and the favoring of conventional methods, such as milling, are ranked as the second and third most relevant factors. Investment costs ranked in seventh place, whereas the lack of manufacturing facilities and the obstacle of print duration ranked below average. An inclusive implementation of additive manufacturing could be achieved primarily through the education of dentists and other staff in dental practices. In this manner, production may be managed internally, and the implementation speed may be increased.


Author(s):  
Apostolos Gerodimos ◽  
Leandros Maglaras ◽  
Ioanna Kantzavelou ◽  
NIck Ayres

The IoT is recognized as one of the most important areas of future technology and is gaining vast attention from a wide range of industries. Although, after 20 years from the first published literature (2002) the technology (as a whole) is not yet mature. In this study we will review the basics of IoT with a general approach, by addressing the problems of a standard architecture, vulnerabilities and use cases of this promising technology. Moreover, we will review some of the communication protocols that have invented especially for IoT technology, security threats and general implementation challenges.


2022 ◽  
pp. 1186-1202
Author(s):  
Olga Gil ◽  
María E. Cortés-Cediel ◽  
Iván Cantador

Many governments and firms do believe that technology can supplant governance and human responsibility. This belief poses the question of who will really benefit from smart cities. This article explores this fundamental question through the study of digital media platforms. The ultimate goal is to understand the link between e-governance and smart city initiatives in our cases of study by testing whether these projects are explicitly for citizens. This article shows how e-platforms represent the use of information and communication technologies with the aim of encouraging citizen participation in decision-making processes, improving information and service delivery, reinforcing transparency, accountability, as well as credibility. Thirteen digital media platforms are surveyed, mostly in cities across countries. These e-platforms raise implementation challenges for both firms and policy makers, and new research opportunities for scientist to build up new research and to experiment with the aim to make the benefits for citizens wider and the participatory dimension stronger.


2022 ◽  
pp. 275-293
Author(s):  
Jeanine Ntihirageza ◽  
Aissetu Ibrahima

Epistemicide is the exclusion or elimination of indigenous knowledge systems at the expense of the imperious, domineering, and colonial knowledge systems. To combat epistemicide in Africa and liberate the minds of the current generation, the authors propose a comprehensive ubuntu based model of education. This model suggests four interrelated strategies of liberation: 1) decolonization, 2) revalorization, 3) revitalization, and 4) construction and creation (DRRC) of knowledge. This chapter examines the contextual and conceptual background of education in Africa through a historical lens, provides a detailed description of the proposed model, and outlines some potential implementation challenges.


2021 ◽  
pp. 109019812110575
Author(s):  
Bethany D. Williams ◽  
Susan B. Sisson ◽  
Sukanya Bhattacharya ◽  
Cady Merchant ◽  
Megan Slawinski ◽  
...  

Early care and education (ECE) environments influence children’s lifelong health behaviors, growth, and development. Although the number of interventions to improve health in ECE environments is increasing, few have been designed for and tested in family child care homes (FCCHs). This study reports the process evaluation of two interventions to improve FCCH health environments, both part of Happy Healthy Homes, a matched-attention randomized-controlled intervention trial conducted in Oklahoma FCCHs. Participating child care providers received one of two multicomponent interventions: (a) an intervention focused on enhancing the quality of the nutrition environment, self-efficacy, and practices or (b) an intervention focused on improving providers’ environmental health literacy, self-efficacy, and practices. Guided by “Implementation” constructs of the RE-AIM framework (i.e., reach, effectiveness, adoption, implementation, maintenance), intervention report forms and participant tracking were used to assess intervention dose delivered and interventionist-perceived challenges and successes to implementation. Interviews were conducted to obtain participant feedback after the intervention. Dose delivered was high for both interventions overall and across individual sessions, and provider feedback was positive. Implementation challenges and strengths identified for both interventions may be useful for further enhancing intervention appropriateness and success, particularly for interventions with FCCHs. Process evaluation findings indicate that the two Happy Healthy Home interventions can be conducted with high delivery and are well attended and considered to be valuable to FCCH providers.


2021 ◽  
Vol 9 (1) ◽  
pp. 1
Author(s):  
Aaron Mnguni

Language policies are the cornerstone that establish and maintain communication amongst people. Proper communication, particularly amongst speakers of many languages in a country such as South Africa hinges heavily on perceptions regarding the status of the languages used in that specific country. According to the Republic of South African Constitution (Act 108 of 1996), South Africa has eleven official languages. Nine of these official languages (the indigenous African languages), are regarded as historically disadvantaged, while the remaining two, viz. English and Afrikaans enjoyed official recognition under the then ‘apartheid’ era that lasted until 1994. The previously disadvantaged African languages still lag in terms of development, when compared to English and to a lesser extent, Afrikaans. To address this challenge and reverse the status quo, several measures have been undertaken by government, including the passing of an Act called, Use of Official Languages Act, 2012. This Act aims at managing the use of the official languages optimally, with special emphasis on the previously marginalised languages. South Africa is known for developing good language policies but often criticised for producing such good policies for one good purpose only - to display them in office shelves. Following this state of affairs, this article therefore examines the implementation challenges regarding this Act and suggest what could be done to successfully implement it in South Africa. Second, the article also seeks to alleviate the perceived apathy in implementing language policies, particularly in South Africa, and with implications for Africa as a whole.


Sign in / Sign up

Export Citation Format

Share Document