Abstract: Bayesian Network (BN) is one of the most efficient classification methods. It is widely used in several fields (i.e., medical diagnostics, risk analysis, bioinformatics research). The BN is defined as a probabilistic graphical model that represents a formalism for reasoning under uncertainty. This classification method has a high-performance rate in the extraction of new knowledge from data. The construction of this model consists of two phases for structure learning and parameter learning. For solving this problem, the K2 algorithm is one of the representative data-driven algorithms, which is based on score and search approach. In addition, the integration of the expert's knowledge in the structure learning process allows the obtainment of the highest accuracy. In this paper, we propose a hybrid approach combining the improvement of the K2 algorithm called K2 algorithm for Parents and Children search (K2PC) and the expert-driven method for learning the structure of BN. The evaluation of the experimental results, using the well-known benchmarks, proves that our K2PC algorithm has better performance in terms of correct structure detection. The real application of our model shows its efficiency in the analysis of the phosphate laundry effluents' impact on the watershed in the Gafsa area (southwestern Tunisia).
Abstract: The relative motion of a robotic arm formed by homogeneous bars of different lengths and masses, hinged to each other is investigated. The first bar of the mechanism is articulated on a platform, considered initially fixed on the surface of the Earth, while for the second case the platform is considered to be in rotation with respect to the Earth. For both analyzed cases the motion equations are determined using the Lagrangian formalism, applied in its traditional form, valid with respect to an inertial reference system, conventionally considered as fixed. However, in the second case, a generalized form of the formalism valid with respect to a non-inertial reference frame will also be applied. The numerical calculations were performed using a MATLAB program.
Abstract: The radial form of nuclear matter distribution, charge and the shape of nuclei are essential properties of nuclei, and hence, are of great attention for several areas of research in nuclear physics. More than last three decades have witnessed a range of experimental means employing leptonic probes (such as muons, electrons etc.) for exploring nuclear charge distributions, whereas the hadronic probes (for example alpha particles, protons, etc.) have been used to investigate the nuclear matter distributions. In this paper, p-9,11Li elastic scattering differential cross sections in the energy range to MeV have been studied by means of Coulomb modified Glauber scattering formalism. By applying the semi-phenomenological Bhagwat-Gambhir-Patil [BGP] nuclear density for loosely bound neutron rich 11Li nucleus, the estimated matter radius is found to be 3.446 fm which is quite large as compared to so known experimental value 3.12 fm. The results of microscopic optical model based calculation by applying Bethe-Brueckner–Hartree–Fock formalism (BHF) have also been compared. It should be noted that in most of phenomenological density model used to reproduce the p-11Li differential elastic scattering cross sections data, the calculated matter radius lies between 2.964 and 3.55 fm. The calculated results with phenomenological BGP model density and with nucleon density calculated in the relativistic mean-field (RMF) reproduces p-9Li and p-11Li experimental data quite nicely as compared to Gaussian- Gaussian or Gaussian-Oscillator densities at all energies under consideration. In the approach described here, no free/adjustable parameter has been employed to reproduce the elastic scattering data as against the well-known optical model based studies that involve at least four to six adjustable parameters to match the experimental data. Calculated reaction cross sections σR for p-11Li at these energies are quite large as compared to estimated values reported by earlier works though so far no experimental studies have been performed to measure it.
Abstract: Improving resources for medical autonomy of astronauts in prolonged space missions, such as a Mars mission, requires not only technology development, but also decision-making support systems. The Advanced Crew Medical System - Medical Condition Requirements study, funded by the Canadian Space Agency, aimed to create knowledge content and a scenario-based query capability to support medical autonomy of astronauts. The key objective of this study was to create a prototype tool for identifying medical infrastructure requirements in terms of medical knowledge, skills and materials. A multicriteria decision-making method was used to prioritize the highest risk medical events anticipated in a long-term space mission. Starting with those medical conditions, event sequence diagrams (ESDs) were created in the form of decision trees where the entry point is the diagnosis and the end points are the predicted outcomes (full recovery, partial recovery, or death/severe incapacitation). The ESD formalism was adapted to characterize and compare possible outcomes of medical conditions as a function of available medical knowledge, skills, and supplies in a given mission scenario. An extensive literature review was performed and summarized in a medical condition database. A PostgreSQL relational database was created to allow query-based evaluation of health outcome metrics with different medical infrastructure scenarios. Critical decision points, skill and medical supply requirements, and probable health outcomes were compared across chosen scenarios. The three medical conditions with the highest risk rank were acute coronary syndrome, sepsis, and stroke. Our efforts demonstrate the utility of this approach and provide insight into the effort required to develop appropriate content for the range of medical conditions that may arise.
Abstract: Since the process of transforming user requirements to modeling constructs are not very well supported by domain-specific frameworks, it became necessary to integrate domain requirements with the specific architectures to achieve an integrated customizable solutions space via artifact orientation. Domain-specific modeling language specifications of model-driven engineering technologies focus more on requirements within a particular domain, which can be tailored to aid the domain expert in expressing domain concepts effectively. Modeling processes through domain-specific language formalisms are highly volatile due to dependencies on domain concepts or used process models. A capable solution is given by artifact orientation that stresses on the results rather than expressing a strict dependence on complicated platforms for model creation and development. Based on this premise, domain-specific methods for producing artifacts without having to take into account the complexity and variability of platforms for model definitions can be integrated to support customizable development. In this paper, we discuss methods for the integration capabilities and necessities within a common structure and semantics that contribute a metamodel for artifact-orientation, which leads to a reusable software layer with concrete syntax capable of determining design intents from domain expert. These concepts forming the language formalism are established from models explained within the oil and gas pipelines industry.
Abstract: This paper presents a Monte Carlo (MC) method-based dose distributions on lung tumor for 6 MV photon beam to improve the dosimetric accuracy for cancer treatment. The polystyrene which is tissue equivalent material to the lung tumor density is used in this research. In the empirical calculations, TRS-398 formalism of IAEA has been used, and the setup was made according to the ICRU recommendations. The research outcomes were compared with the state-of-the-art experimental results. From the experimental results, it is observed that the proposed based approach provides more accurate results and improves the accuracy than the existing approaches. The average %variation between measured and TPS simulated values was obtained 1.337±0.531, which shows a substantial improvement comparing with the state-of-the-art technology.
Abstract: This paper illustrates an application of granular computing approach, namely rough set theory in data mining. The paper outlines the formalism of granular computing and elucidates the mathematical underpinning of rough set theory, which has been widely used by the data mining and the machine learning community. A real-world application is illustrated, and the classification performance is compared with other contending machine learning algorithms. The predictive performance of the rough set rule induction model shows comparative success with respect to other contending algorithms.
Abstract: The problem of symmetries in field theory has been analyzed using geometric frameworks, such as the multisymplectic models by using in particular the multivector field formalism. In this paper, we expand the vector fields associated to infinitesimal symmetries which give rise to invariant quantities as Noether currents for classical field theories and relativistic mechanic using the multisymplectic geometry where the Poincaré-Cartan form has thus been greatly simplified using the Second Order Partial Differential Equation (SOPDE) for multi-vector fields verifying Euler equations. These symmetries have been classified naturally according to the construction of the fiber bundle used. In this work, unlike other works using the analytical method, our geometric model has allowed us firstly to distinguish the angular moments of the gauge field obtained during different transformations while these moments are gathered in a single expression and are obtained during a rotation in the Minkowsky space. Secondly, no conditions are imposed on the Lagrangian of the mechanics with respect to its dependence in time and in qi, the currents obtained naturally from the transformations are respectively the energy and the momentum of the system.
Abstract: We examine the electronic transport properties in AlxGa1-xAs/GaAs superlattices. Using the transfer-matrix technique and the exact Airy function formalism, we investigate theoretically the effect of structural parameters on the electronic energy spectra of trimer thickness barrier (TTB). Our numerical calculations showed that the localization length of the states becomes more extended when the disorder is correlated (trimer case). We have also found that the resonant tunneling time (RTT) is of the order of several femtoseconds.
Abstract: Humanity faces more and more often with different social disasters, which in turn can generate new accidents and catastrophes. To mitigate their consequences, it is important to obtain early possible signals about the events which are or can occur and to prepare the corresponding scenarios that could be applied. Our research is focused on solving two problems in this domain: identifying signals related that an accident occurred or may occur and mitigation of some consequences of disasters. To solve the first problem, methods of selecting and processing texts from global network Internet are developed. Information in Romanian is of special interest for us. In order to obtain the mentioned tools, we should follow several steps, divided into preparatory stage and processing stage. Throughout the first stage, we manually collected over 724 news articles and classified them into 10 categories of social disasters. It constitutes more than 150 thousand words. Using this information, a controlled vocabulary of more than 300 keywords was elaborated, that will help in the process of classification and identification of the texts related to the field of social disasters. To solve the second problem, the formalism of Petri net has been used. We deal with the problem of inhabitants’ evacuation in useful time. The analysis methods such as reachability or coverability tree and invariants technique to determine dynamic properties of the modeled systems will be used. To perform a case study of properties of extended evacuation system by adding time, the analysis modules of PIPE such as Generalized Stochastic Petri Nets (GSPN) Analysis, Simulation, State Space Analysis, and Invariant Analysis have been used. These modules helped us to obtain the average number of persons situated in the rooms and the other quantitative properties and characteristics related to its dynamics.
Abstract: Intrusion Detection Systems are an essential tool for
network security infrastructure. However, IDSs have a serious
problem which is the generating of massive number of alerts, most of
them are false positive ones which can hide true alerts and make the
analyst confused to analyze the right alerts for report the true attacks.
The purpose behind this paper is to present a formalism model to
perform correlation engine by the reduction of false positive alerts
basing on vulnerability contextual information. For that, we propose
a formalism model based on non-monotonic JClassicδє description
logic augmented with a default (δ) and an exception (є) operator that
allows a dynamic inference according to contextual information.
Abstract: In this work, we propose an algorithm developed under Python language for the modeling of ordinary scalar Bessel beams and their discrete superpositions and subsequent calculation of optical forces exerted over dielectric spherical particles. The mathematical formalism, based on the generalized Lorenz-Mie theory, is implemented in Python for its large number of free mathematical (as SciPy and NumPy), data visualization (Matplotlib and PyJamas) and multiprocessing libraries. We also propose an approach, provided by a synchronized Software as Service (SaaS) in cloud computing, to develop a user interface embedded on a mobile application, thus providing users with the necessary means to easily introduce desired unknowns and parameters and see the graphical outcomes of the simulations right at their mobile devices. Initially proposed as a free Android-based application, such an App enables data post-processing in cloud-based architectures and visualization of results, figures and numerical tables.
Abstract: Social networks have recently gained a growing
interest on the web. Traditional formalisms for representing social
networks are static and suffer from the lack of semantics. In this
paper, we will show how semantic web technologies can be used to
model social data. The SemTemp ontology aligns and extends
existing ontologies such as FOAF, SIOC, SKOS and OWL-Time to
provide a temporal and semantically rich description of social data.
We also present a modeling scenario to illustrate how our ontology
can be used to model social networks.
Abstract: The fundamental issue in understanding the origin and
growth mechanism of nanomaterials, from a fundamental unit is a big
challenging problem to the scientists. Recently, an immense attention
is generated to the researchers for prediction of exceptionally stable
atomic cluster units as the building units for future smart materials.
The present study is a systematic investigation on the stability and
electronic properties of a series of bimetallic (semiconductor-alkaline
earth) clusters, viz., BxMg3 (x=1-5) is performed, in search for
exceptional and/ or unusual stable motifs. A very popular hybrid
exchange-correlation functional, B3LYP along with a higher basis
set, viz., 6-31+G[d,p] is employed for this purpose under the density
functional formalism. The magic stability among the concerned
clusters is explained using the jellium model. It is evident from the
present study that the magic stability of B4Mg3
cluster arises due to
the jellium shell closure.
Abstract: This paper treats different aspects of entropy measure
in classical information theory and statistical quantum mechanics, it
presents the possibility of extending the definition of Von Neumann
entropy to image and array processing. In the first part, we generalize
the quantum entropy using singular values of arbitrary rectangular
matrices to measure the randomness and the quality of denoising
operation, this new definition of entropy can be implemented to
compare the performance analysis of filtering methods. In the second
part, we apply the concept of pure state in quantum formalism
to generalize the maximum entropy method for narrowband and
farfield source localization problem. Several computer simulation
results are illustrated to demonstrate the effectiveness of the proposed
techniques.
Abstract: Current systems complexity has reached a degree that
requires addressing conception and design issues while taking into
account environmental, operational, social, legal and financial
aspects. Therefore, one of the main challenges is the way complex
systems are specified and designed. The exponential growing effort,
cost and time investment of complex systems in modeling phase
emphasize the need for a paradigm, a framework and an environment
to handle the system model complexity. For that, it is necessary to
understand the expectations of the human user of the model and his
limits. This paper presents a generic framework for designing
complex systems, highlights the requirements a system model needs
to fulfill to meet human user expectations, and suggests a graphbased
formalism for modeling complex systems. Finally, a set of
transformations are defined to handle the model complexity.
Abstract: The development of adaptive user interfaces (UI)
presents for a long time an important research area in which
researcher attempt to call upon the full resources and skills of several
disciplines, The adaptive UI community holds a thorough knowledge
regarding the adaptation of UIs with users and with contexts of use.
Several solutions, models, formalisms, techniques and mechanisms
were proposed to develop adaptive UI. In this paper, we propose an
approach based on the fuzzy set theory for modeling the concept of
the appropriateness of different solutions of UI adaptation with
different situations for which interactive systems have to adapt their
UIs.
Abstract: Using the first-principles full-potential linearized
augmented plane wave plus local orbital (FP-LAPW+lo) method
based on density functional theory (DFT), we have investigated the
electronic structure and magnetism of full Heusler alloys Co2ZrGe
and Co2NbB. These compounds are predicted to be half-metallic
ferromagnets (HMFs) with a total magnetic moment of 2.000 B per
formula unit, well consistent with the Slater-Pauling rule.
Calculations show that both the alloys have an indirect band gaps, in
the minority-spin channel of density of states (DOS), with values of
0.58 eV and 0.47 eV for Co2ZrGe and Co2NbB, respectively.
Analysis of the DOS and magnetic moments indicates that their
magnetism is mainly related to the d-d hybridization between the Co
and Zr (or Nb) atoms. The half-metallicity is found to be relatively
robust against volume changes. In addition, an atom inside molecule
AIM formalism and an electron localization function ELF were also
adopted to study the bonding properties of these compounds, building
a bridge between their electronic and bonding behavior.
As they have a good crystallographic compatibility with the lattice of
semiconductors used industrially and negative calculated cohesive
energies with considerable absolute values these two alloys could be
promising magnetic materials in the spintronic field.
Abstract: Physical properties of uranium dinitride (UN2) were
investigated in detail using first principle calculations based on
density functional theory (DFT). To study the strong correlation
effects due to 5f uranium valence electrons, the on-site coulomb
interaction correction U via the Hubbard-like term (DFT+U) was
employed. The UN2 structural, mechanical and thermodynamic
properties were calculated within DFT and Various U of DFT+U
approach.
The Perdew–Burke–Ernzerhof (PBE.5.2) version of the
generalized gradient approximation (GGA) is used to describe the
exchange-correlation with the projector-augmented wave (PAW)
pseudo potentials.
A comparative study shows that results are improved by using the
Hubbard formalism for a certain U value correction like the structural
parameter. For some physical properties the variation versus
Hubbard-U is strong like Young modulus but for others it is weakly
noticeable such as bulk modulus.
We noticed also that from U=7.5 eV, elastic results don’t agree
with the cubic cell because of the C44 values which turn out to be
negative.
Abstract: Advanced head and neck cancers are aggressive
tumours, which require aggressive treatment. Treatment efficiency is
often hindered by cancer cell repopulation during radiotherapy,
which is due to various mechanisms triggered by the loss of tumour
cells and involves both stem and differentiated cells. The aim of the
current paper is to present in silico simulations of radiotherapy
schedules on a virtual head and neck tumour grown with biologically
realistic kinetic parameters. Using the linear quadratic formalism of
cell survival after radiotherapy, altered fractionation schedules
employing various treatment breaks for normal tissue recovery are
simulated and repopulation mechanism implemented in order to
evaluate the impact of various cancer cell contribution on tumour
behaviour during irradiation. The model has shown that the timing of
treatment breaks is an important factor influencing tumour control in
rapidly proliferating tissues such as squamous cell carcinomas of the
head and neck. Furthermore, not only stem cells but also
differentiated cells, via the mechanism of abortive division, can
contribute to malignant cell repopulation during treatment.