scholarly journals Keeping P4 Switches Fast and Fault-free through Automatic Verification

2019 ◽  
Vol 24 (1) ◽  
pp. 61-81 ◽  
Author(s):  
Dániel Lukács ◽  
Máté Tejfel ◽  
Gergely Pongrácz
Keyword(s):  
Paradigm Shift ◽  
New Technologies ◽  
Denotational Semantics ◽  
Automatic Verification ◽  
Performance Requirement ◽  
Low Level ◽  
Data Plane ◽  
Symbolic Formula

The networking dataplane is going through a paradigm shift as softwarization of switches sees an increased pull from the market. Yet, software tooling to support development with these new technologies is still in its infancy.In this work, we introduce a framework for verifying performance requirement conformance of data plane protocols defined in the P4 language . We present a framework that transforms a P4 program in a versatile symbolic formula which can be utilized to answer various performance queries. We represented the system using denotational semantics and it can be easily extended with low-level target-dependent information. We demonstrate the operation of this system on a toy specification.

Problems of development of Arctic hydrocarbon resources under the current conditions.

2021 ◽  
pp. 70-81
Author(s):  
Anna Borisovna Nikolaeva ◽  
Keyword(s):  
Economic Development ◽  
Alternative Energy ◽  
New Technologies ◽  
Recovery Period ◽  
Arctic Region ◽  
The Arctic ◽  
Expert Assessment ◽  
Low Level ◽  
The World ◽  
The Arctic Region

The Arctic is the richest and at the same time the most difficult region to develop in the world. Exploration and exploitation of its deposits are inevitable for Russia and mankind as a whole. The Arctic region is characterized by extreme nature-climatic conditions, with a rather low level of economic development and remoteness from industrial centers, a low level or lack of any infrastructure as well as by instability of the ecological system to anthropogenic impact and a long recovery period. Since the potential of the resources currently being developed will be exhausted within several decades, and the world economies are not yet ready for a full transition to alternative energy resources, it is necessary to search for and develop new hydrocarbon reserves that determines the relevance of the study.The aim of the study is to identify the main problems arising when exploiting hydrocarbons in the Arctic region. The set of problems identified predetermines an integrated approach to their solutions. In this case, it is about reforming legislation, increasing funding, and attracting new participants in the international cooperation. Since the export of oil and gas is traditional for the Russian Federation, exploitation of hydrocarbons in the region is a prerequisite for the further economic development of the country. A state policy aimed at development and improvement of new technologies, reducing environmental risks, and deep scientific research of the Arctic, is needed. The method of expert assessment was used, which is applied for solving complex tasks with lack of information, and impossibility of mathematical formalization of the solution process. The basis for the application of this method is the possibility and ability of experts to assess the importance of the problem under study and development prospects for a certain research direction. The expert assessments were highlighted during the study and analysis of the literature.

scholarly journals Paradigm Shift or Annoying Distraction

2010 ◽  
Vol 01 (02) ◽  
pp. 96-115 ◽  
Author(s):  
J. O’Donnell ◽  
M. Clayton ◽  
P. Anderson ◽  
A. Krueger ◽  
H. Spallek
Keyword(s):  
Web 2.0 ◽  
Virtual Worlds ◽  
Paradigm Shift ◽  
New Technologies ◽  
Healthcare Providers ◽  
Web 2.0 Technologies ◽  
Healthcare Organizations ◽  
Social Technologies ◽  
Research Challenge ◽  
Collaborative Research Networks

SummaryWeb 2.0 technologies, known as social media, social technologies or Web 2.0, have emerged into the mainstream. As they grow, these new technologies have the opportunity to influence the methods and procedures of many fields. This paper focuses on the clinical implications of the growing Web 2.0 technologies. Five developing trends are explored: information channels, augmented reality, location-based mobile social computing, virtual worlds and serious gaming, and collaborative research networks. Each trend is discussed based on their utilization and pattern of use by healthcare providers or healthcare organizations. In addition to explorative research for each trend, a vignette is presented which provides a future example of adoption. Lastly each trend lists several research challenge questions for applied clinical informatics. Citation: Spallek H, O’Donnell J, Clayton M, Anderson P, Krueger A. Paradigm shift or annoying distraction – emerging implications of Web 2.0 for clinical practice. Appl Clin Inf 2010; 1: 96–115 http://dx.doi.org/10.4338/ACI-2010-01-CR-0003

Low level laser therapy efficacy on orthodontic induced pain management: A narrative review

2020 ◽  
Author(s):  
Amir Hossein Mirhashemi ◽  
Leila Jazi ◽  
Aryan Hesamarefi
Keyword(s):  
Pain Relief ◽  
Low Power ◽  
Laser Therapy ◽  
Animal Studies ◽  
New Technologies ◽  
Low Level Laser Therapy ◽  
Power Laser ◽  
Low Level ◽  
Level Laser ◽  
Key Terms

Introduction: Pain control in patients undergoing orthodontic treatment is one of the major challenges of such treatments. The use of new technologies such as Laser offers promising results in this field. The goal of this study is to survey the works on effect of low-power laser on pain relief during orthodontic treatments. Methodology: The key terms including “orthodontics, reduction, pain, low level, power, laser and laser therapy” alone as well as combinations. those key terms were used to search the databases including “Google Scholar, Science Direct, and PubMed”. The review of collected sources was done which led to selection of 557 papers. The validation was done through CONSORT guidelines. Results: After review of selected papers, 34 studies including 32 human studies and 2 animal studies were selected. Conclusion: The positive findings of reviewed studies on use of laser therapy suggest that low power laser could be effective on pain relief. Conducting further studies on this subject will be beneficial.

scholarly journals Precision feeding and precision nutrition: a paradigm shift in broiler feed formulation?

2021 ◽  
Vol 34 (3) ◽  
pp. 354-362
Author(s):  
Amy F. Moss ◽  
Peter V. Chrystal ◽  
David J. Cadogan ◽  
Stuart J. Wilkinson ◽  
Tamsyn M. Crowley ◽  
...  
Keyword(s):  
Paradigm Shift ◽  
Production Efficiency ◽  
New Technologies ◽  
Economic Benefits ◽  
Production Cycle ◽  
Nutrient Requirements ◽  
Poultry Industry ◽  
Feed Formulation ◽  
Nutrient Utilisation ◽  
The Impact

Broiler chickens grow rapidly, and their nutrient requirements change daily. However, broilers are fed three to five diet phases, meaning nutrients are under or oversupplied throughout production. Increasing diet phases improves production efficiency as there is less time in the production cycle that nutrients are in under or over-supply. Nevertheless, the process of administering four or more diets is costly and often impractical. New technologies are now available to blend feed to match the daily nutrient requirements of broilers. Thus, the aim of this review is to evaluate previous studies measuring the impact of increasing feed phases on nutrient utilisation and growth performance, and review recent studies taking this concept to the extreme; precision nutrition - feeding a new diet for each day of the production cycle. This review will also discuss how modern precision feeding technologies have been utilised and the potential that new technologies may bring to the poultry industry. The development of a precision nutrition regime which targets daily requirements by blending dietary components on farm is anticipated to improve the efficiency of production, reduce production cost and therefore improve sustainability of the industry. There is also potential for precision feeding technology along with precision nutrition strategies to deliver a plethora of other management and economic benefits. These include increased fluidity to cope with sudden environmental or market changes, and the ability to alter diets on a farm by farm level in a large, integrated operation. Thus, the future possibilities and practical implications for such technologies to generate a paradigm shift in feed formulation within the poultry industry to meet the rising demand for animal protein is also discussed.

Simulation Technology: A Strategy for Implementation in Surgical Education and Certification

2000 ◽  
Vol 9 (6) ◽  
pp. 632-637 ◽  
Author(s):  
C. Daniel Smith
Keyword(s):  
Medical Education ◽  
Virtual Reality ◽  
Surgical Education ◽  
Paradigm Shift ◽  
New Technologies ◽  
Flight Simulator ◽  
Medical Simulation ◽  
Learning Tools ◽  
Simulation Technology ◽  
Key Technologies

Virtual reality and simulation technology promise to be key technologies in medical education. The flight simulator tech nology that has so effectively replaced live, inflight training of pilots is being reengineered for use in medical and surgi cal education. Despite the considerable enthusiasm for this concept, very little practical work has been performed to integrate simulation technology into surgical education and certification. To achieve the potential offered by medical simulation, developers of these new technologies must join with medical/surgical educators to develop meaningful simu lators and virtual learning tools. This paper reviews the cur rent paradigm in surgical education and suggests a strategy for effecting a paradigm shift that facilitates the adoption of simulation technology in surgical education.

scholarly journals The Programmable Data Plane: Abstractions, Architectures, Algorithms, and Applications

2020 ◽  
Author(s):  
Oliver Michel ◽  
Roberto Bifulco ◽  
Gábor Rétvári ◽  
Stefan Schmid
Keyword(s):  
Network Services ◽  
Future Research ◽  
Next Generation ◽  
Low Level ◽  
Design And Implementation ◽  
The Past ◽  
Data Plane ◽  
Recent Trends ◽  
Key Driver ◽  
Processing Steps

<div><div>Programmable data plane technology enables the systematic reconfiguration of the low-level processing steps applied to network packets and is a key driver in realizing the next generation of network services and applications. This survey presents recent trends and issues in the design and implementation of programmable network devices, focusing on prominent architectures, abstractions, algorithms, and applications proposed, debated, and realized over the past years. We elaborate on the trends that led to the emergence of this technology and highlight the most important pointers from the literature, casting different taxonomies for the field and identifying avenues for future research.</div></div>

Management of intellectual property in polish companies

2017 ◽  
Vol 18 (2) ◽  
pp. 71-87
Author(s):  
Anna Słowik
Keyword(s):  
European Union ◽  
Intellectual Property ◽  
New Technologies ◽  
Property Management ◽  
The European Union ◽  
Knowledge Resources ◽  
Low Level ◽  
Business Partners ◽  
Intellectual Property Management

The aim of this article is to present the methods of intellectual property management in Polish enterprises. It highlights the strategies of commercialisation of enterprises by using only their own capital and knowledge resources, and by using the capital and knowledge resources of their business partners. It also identifies examples of companies which, in accordance with the introduced system of intellectual property management successfully implement new technologies by which they achieve better financial results. The article shows the low level of innovativeness of Polish entrepreneurs in relation to other member countries of the European Union and indicates its causes.

scholarly journals Trusted Smart Statistics: How new data will change official statistics

Data & Policy ◽  
2020 ◽  
Vol 2 ◽  
Author(s):  
Fabio Ricciato ◽  
Albrecht Wirthmann ◽  
Martina Hahn
Keyword(s):  
Paradigm Shift ◽  
New Technologies ◽  
Data Sources ◽  
Digital Data ◽  
System Level ◽  
Statistical System ◽  
Official Statistics ◽  
Discussion Paper ◽  
Current State ◽  
Data Collection And Analysis

Abstract In this discussion paper, we outline the motivations and the main principles of the Trusted Smart Statistics (TSS) concept that is under development in the European Statistical System. TSS represents the evolution of official statistics in response to the challenges posed by the new datafied society. Taking stock from the availability of new digital data sources, new technologies, and new behaviors, statistical offices are called nowadays to rethink the way they operate in order to reassert their role in modern democratic society. The issue at stake is considerably broader and deeper than merely adapting existing processes to embrace so-called Big Data. In several aspects, such evolution entails a fundamental paradigm shift with respect to the legacy model of official statistics production based on traditional data sources, for example, in the relation between data and computation, between data collection and analysis, between methodological development and statistical production, and of course in the roles of the various stakeholders and their mutual relationships. Such complex evolution must be guided by a comprehensive system-level view based on clearly spelled design principles. In this paper, we aim at providing a general account of the TSS concept reflecting the current state of the discussion within the European Statistical System.

scholarly journals The Programmable Data Plane

2021 ◽  
Vol 54 (4) ◽  
pp. 1-36
Author(s):  
Oliver Michel ◽  
Roberto Bifulco ◽  
Gábor Rétvári ◽  
Stefan Schmid
Keyword(s):  
Network Services ◽  
Future Research ◽  
Next Generation ◽  
Low Level ◽  
Design And Implementation ◽  
The Past ◽  
Data Plane ◽  
Recent Trends ◽  
Key Drivers ◽  
Processing Steps

Programmable data plane technologies enable the systematic reconfiguration of the low-level processing steps applied to network packets and are key drivers toward realizing the next generation of network services and applications. This survey presents recent trends and issues in the design and implementation of programmable network devices, focusing on prominent abstractions, architectures, algorithms, and applications proposed, debated, and realized over the past years. We elaborate on the trends that led to the emergence of this technology and highlight the most important pointers from the literature, casting different taxonomies for the field, and identifying avenues for future research.

scholarly journals Translational precision medicine: an industry perspective

2021 ◽  
Vol 19 (1) ◽  
Author(s):  
Dominik Hartl ◽  
Valeria de Luca ◽  
Anna Kostikova ◽  
Jason Laramie ◽  
Scott Kennedy ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Drug Discovery ◽  
Precision Medicine ◽  
Paradigm Shift ◽  
Development Process ◽  
New Technologies ◽  
Traditional Approach ◽  
Drug Discovery And Development ◽  
Development Face ◽  
Digital Biomarkers

AbstractIn the era of precision medicine, digital technologies and artificial intelligence, drug discovery and development face unprecedented opportunities for product and business model innovation, fundamentally changing the traditional approach of how drugs are discovered, developed and marketed. Critical to this transformation is the adoption of new technologies in the drug development process, catalyzing the transition from serendipity-driven to data-driven medicine. This paradigm shift comes with a need for both translation and precision, leading to a modern Translational Precision Medicine approach to drug discovery and development. Key components of Translational Precision Medicine are multi-omics profiling, digital biomarkers, model-based data integration, artificial intelligence, biomarker-guided trial designs and patient-centric companion diagnostics. In this review, we summarize and critically discuss the potential and challenges of Translational Precision Medicine from a cross-industry perspective.

Sign in / Sign up

Export Citation Format

Share Document