Results 31 to 40 of about 53,899 (312)
Gingival depigmentation using scalpel
Smile shows the feeling of joy and success and reveals self-confidence and kindness. A good smile is not only caused due to shape, position, and color of the teeth but also by the gingival tissues.
Shreeprasad Vijay Wagle +2 more
doaj +1 more source
Open-Source Script for Design and 3D Printing of Porous Structures for Soil Science
Three-dimensional (3D) printing in soil science is relatively rare but offers promising directions for research. Having 3D-printed soil samples will help academics and researchers conduct experiments in a reproducible and participatory research network ...
Romain Bedell +8 more
doaj +1 more source
Summary: Abstraction and slicing are both techniques for reducing the size of the state space to be inspected during verification. In this paper, we present a new model checking procedure for infinite-state concurrent systems that interleaves automatic abstraction refinement, which splits states according to new predicates obtained by Craig ...
Brückner, I +3 more
openaire +5 more sources
Towards Probabilistic Program Slicing [PDF]
This paper outlines the concept of probabilistic program slicing. Whereas conventional slicing removes statements that cannot affect the slicing criterion, probabilistic slicing also removes statements that are unlikely to affect the criterion. The paper
Singer, Jeremy, Jeremy Singer
core +1 more source
Design and Testing of Accurate Dicing Control System for Fruits and Vegetables
It is hard to control the dicing size of current fresh-cutting devices for fruits and vegetables precisely, and this can be influenced by complex working environments.
Song Mei +3 more
doaj +1 more source
The Semantics of Abstract Program Slicing
The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values.
Damiano Zanardini, Zanardini, Damiano
core +1 more source
Assessment of different methods of bovine oocytes collection, maturation and Invitro fertilization of abattoir specimens [PDF]
The aim of this study is designed to evaluate the best methods for cow oocytes collection from abattoir specimens which is the cheapest, easily obtained and bulky number. Forty five fresh cow genitalia specimens and testicle were collected directly after
W.M. Saleh
doaj +1 more source
Node coarsening calculi for program slicing
Several approaches to reverse and re-engineering are based upon program slicing. Unfortunately, for large systems, such as those which typically form the subject of reverse engineering activities, the space and time requirements of slicing can be a ...
M. Laurence +23 more
core +1 more source
The Network Slicing and Performance Analysis of 6G Networks using Machine Learning
6G technology is designed to provide users with faster and more reliable data transfer as compared to the current 5G technology. 6G is rapidly evolving and provides a large bandwidth, even in underserved areas.
Mahesh H. B, Ali Ahammed G. F, Usha S. M
doaj +1 more source
Slicing Solutions for Wire Arc Additive Manufacturing
Both commercial and research applications of wire arc additive manufacturing (WAAM) have seen considerable growth in the additive manufacturing of metallic components. However, there remains a clear lack of a unified paradigm for toolpath generation when
Michael Sebok +10 more
doaj +1 more source

