1,021 research outputs found
REALITY AND SOLUTIONS FOR MANAGING CONDITIONS AND FACILITIES TO SUPPORT CLINICAL INTERNSHIP ACTIVITIES OF STUDENTS MAJORING IN GENERAL PRACTITIONER IN VINH CITY, NGHE AN
No full textThrough theoretical and practical research methods, the author has made a
preliminary assessment of the reality of the management of conditions and facilities to support clinical internship activities of students majoring in General Practitioner in Vinh city, Nghe An province. The contents that have been surveyed, analyzed and evaluated include the distribution of lecturers, the number of lecturers, the number of interns in each class session, ensuring enough internship time as prescribed, etc. Based on the recorded situation, the author has proposed a number of solutions to improve the efficiency and quality of clinical internship for students majoring in General Practitioner in Vinh city, Nghe An province. The proposed solutions were also surveyed and experts
were polled about the urgency and feasibility of each solution
Houei Pamon-Sam Thong Highway Project
No full textReport on USAID agricultural projects to improve machinery and the breeding of livestock for the Houei Pamon-Sam Thong Highway Project.
Privacy by Design: On the Conformance Between Protocols and Architectures
Full text linkInternational audienceIn systems design, we generally distinguish the architecture and the protocol levels. In the context of privacy by design, in the first case, we talk about privacy architectures, which define the privacy goals and the main features of the system at high level. In the latter case, we consider the underlying concrete protocols and privacy enhancing technologies that implement the architectures. In this paper, we address the question that whether a given protocol conforms to a privacy architecture and provide the answer based on formal methods. We propose a process algebra variant to define protocols and reason about privacy properties, as well as a mapping procedure from protocols to architectures that are defined in a high-level architecture language
The evolution of human skin pigmentation
No full textHuman skin pigmentation is the most noticeable evidence of human evolution. Human skin pigmentation has progressively adapted to the local environment as humans have migrated from their central African origin. The purpose of this investigation is to explore the driving factors that have led to the diversity in skin pigmentation and explore the future direction of human skin pigmentation. With the advent of reflectometry-based instruments, researchers have been able to discover relationships between skin reflectance across populations and the average UV exposure experienced in their inhabited area. The reflectometry-based data also allowed researchers to compare the genetics between admixed populations and indigenous populations to discover new genes involved in skin pigmentation. The evolution of skin pigmentation is believed to be a result of the human need for previtamin/vitamin D3, an adaptation that is most significant in childbearing women. With the significant impact that man has on the climate as well as the growing tendency of man to live indoors and in areas with low UV impact, the future evolution of skin pigmentation as well as how humans will adapt to such change remains a mystery.M.S.Includes bibliographical referencesIncludes vitaby Vinh Quang L
A secure road traffic congestion detection and notification concept based on V2I communications
Full text linkApplying vehicular (V2X) communications in detecting traffic congestion is a promising approach, as smart and self-driving vehicles are equipped with sensors that can be used to detect an incident any-where in real-time. Unfortunately, without appropriate security measures and careful design the communication can be vulnerable to malicious attacks, causing even more damage on the roads. Addressing these problems, we propose a high-level system architecture and a security protocol specifically designed for congestion detection based on vehicle-to-infrastructure (V2I) type communication. The security properties of our proposed approach are formally verified using the ProVerif tool, and its efficiency compared to the traditional traffic light systems is demonstrated through simulations with the Veins framework. Results show that our system is secure against a large set of attacks, and can have lower total travelling time compared to three traditional traffic light approaches based on induction loop, lane area detector/camera (installed near the junctions), and static lights
Hálózati protokollok automatizált biztonsági ellenőrzése és query auditálási algoritmusok a vezetéknélküli szenzor hálózatok környezetében
No full textOn the Systematic Design of Privacy Policies and Privacy Architectures
No full textIn this paper, we address the problem of systematic privacy policy and privacy architecture design. We focus on two relevant aspects of privacy, namely, accountability and personal data control. We propose a systematic design approach of privacy policies adapting the current international data protection regulations, as well as an automated privacy architectures generation method from the corresponding policies. In particular, we propose a high-level policy language and an architecture language, as well as a systematic mapping procedure from policies to the corresponding architectures. We demonstrate the usability of our proposed approach on real-world systems such as Facebook
Formal verication of secure ad-hoc network routing protocols using deductive model-checking
Full text linkAd-hoc networks do not rely on a pre-installed infrastructure, but they
are formed by end-user devices in a self-organized manner. A consequence
of this principle is that end-user devices must also perform routing functions.
However, end-user devices can easily be compromised, and they
may not follow the routing protocol faithfully. Such compromised and
misbehaving nodes can disrupt routing, and hence, disable the operation
of the network. In order to cope with this problem, several secured routing
protocols have been proposed for ad-hoc networks. However, many of
them have design
aws that still make them vulnerable to attacks mounted
by compromised nodes. In this paper, we propose a formal verication
method for secure ad-hoc network routing protocols that helps increasing
the condence in a protocol by providing an analysis framework that
is more systematic, and hence, less error-prone than the informal analysis.
Our approach is based on a new process algebra that we specically
developed for secure ad-hoc network routing protocols and a deductive
proof technique. The novelty of this approach is that contrary to prior
attempts to formal verication of secure ad-hoc network routing protocols,
our verication method can be made fully automated, and provides
expressiveness for explicitly modelling cryptography privitive
A safety risk assessment framework for children's online safety based on a novel safety weakness assessment approach
Full text linkThis paper addresses the problem of children's online safety in the context
of the growing digital landscape. With a surge in the use of digital technology
among children, there has been an increase in online safety harms, risks and
criminal incidents despite existing data protection and online privacy
protection regulations. Most general security and privacy assessment
approaches/standards focus mainly on protecting businesses from financial loss,
but there remains a notable gap in methodologies specifically designed to cater
to the unique challenges faced by children in the online space. To fill this
gap, we propose a safety risk assessment approach that focuses specifically on
children's online safety. The key novelty of our approach is providing an
explainable and systematic evaluation of potential safety weaknesses of online
services and applications based on precise automated mathematical reasoning.
This framework has the potential to assist online service and app designers
during the system design phase enabling them to proactively ensure
Safety-by-Design, as well as auditors and users to understand the risks posed
by existing services/apps, promoting further research on designing
age-appropriate warnings and education materials for children and parents
Equations aux différences partielles définies sur des graphes pour le traitement d'images et de données
No full textThis works deals with images and non uniform data processing by partial difference equations (PdE) over weighted graphs. Transcription and adaption of continuous models to discrete formulations are considered within this PdEs-based framework. The considered continuous models (from image processing domain) are defined as variational models or approaches based on partial differential equations. The continuous models considered in this work are: regularization models, mathematical morphology, and the eikonal equation. To adapt these latter models within a discrete setting, we introduce a large family of discrete differential operators defined on weighted graphs: weighted differences, discrete gradients and -Laplacian. These operators enable the transcription and the adaption of continuous models and provide a general formulation for considering numerous applications for images and arbitrary data. Potentialities of our discrete regularization, mathematical morphology and eikonal equation models are shown in applications such as image and data filtering, simplification, segmentation, clustering and classification. Our formulation also unifies local and non local patch-based processing. We have intensively used this latter configuration and shown the superiority of such a scheme in the context of image processing. Our approach is based on weighted graphs. This point provides a natural extension of continuous models for the processing of arbitrary data that can be represented by a weighted graph (for instance images, manifolds, data sets, data bases, etc.). Finally, this work opens new insights for image processing and new possible applications in machine learning.Cette thèse s'intéresse aux traitements d'images et de données non uniformes en utilisant le formalisme des équations aux différences partielles définies sur des graphes pondérés. Nous exploitons ce formalisme afin de transcrire et d'adapter des modèles définis dans le domaine continu vers des formulations discrètes. Les modèles continus considérés dans ce manuscrit proviennent du domaine du traitement des images et sont définis comme des modèles variationnels ou des approches basées sur des équations aux dérivées partielles. Nous nous sommes intéressés à des modèles de régularisation, à la morphologie mathématique et à l'équation eikonale. Afin de transcrire ces modèles définis dans le domaine continu vers des formulations discrètes, nous avons introduit une large famille de nouveaux opérateurs différentiels discrets définis sur des graphes pondérés: différences pondérées, gradients discrets, p-Laplacien. Ces opérateurs permettent de redéfinir les modèles continus considérés dans un cadre discret mais également de proposer un formalisme général permettant de considérer de nombreux problèmes liées aux traitements des images et, plus généralement, de données arbitraires. A partir des modèles discrets de régularisation, de morphologie mathématique et de l'équation eikonale, nous montrons dans ce manuscrit les potentialités de notre formalisme pour des applications telles que le filtrage, la simplification, la segmentation, le regroupement et la classification d'images et de données. Notre formalisme unifie également les traitements locaux et non locaux basés sur des patchs. Nous avons généralisé l'utilisation de ce type de configuration dans les problématiques considérées et montré la supériorité de ces schémas dans le contexte du traitement des images. Notre formalisme est basé sur des graphes pondérés. Cela nous permet d'étendre les modèles définis dans le domaine continu aux traitements de n'importe quel type de donnée pouvant être représenté par cette structure (par exemple des images, des collections d'images, des nuages de points, des variétés, des bases de données, etc.). Finalement, ces travaux de thèse permettent d'envisager de nombreuses pistes de recherche tant dans le domaine du traitement des images que dans des domaines tels que celui de l'apprentissage ou de la fouille de données
- …
