Critical infrastructures (CI) are very complex and highly interdependent systems, networks and assets that provide essential services in our daily life. Most CI are either built upon or monitored and controlled by vulnerable information and communication technology (ICT) systems. Critical infrastructures are highly interconnected systems and often use common ICT components and networks. Therefo...

background and purpose: in education of medical science courses, there has been a growing orientation towards replacing traditional teaching in with e-learning education. since the modern system of education is based on self-directed learning, e-learning requires special powers to deal with new-emerging challenges and professionally encounter the learning environment. the purpose of the present...

introduction: programs must demonstrate that their residents are taught and assessed in professionalism. most programs struggle with finding viable ways to teach and assess this critical competency. uthscsa family and community medicine residency developed an innovative option for interactive learning and assessment of residents in this competency which would be transferrable to other programs ...

My research agenda is to build verification technology that helps programmers write reliable, secure, and verified software. In particular, my research focuses on building automatic techniques that significantly lessen the burden on a programmer trying to prove her program secure or correct. The solutions I develop are learning based automatic software verification including machine learning al...

In the fusion community, use of high performance computing (HPC) has been mostly dominated by heavy-duty plasma simulations, such as those based on particle-in-cell and gyrokinetic codes. However, there a growing interest in applying machine learning for knowledge discovery top large amounts experimental data collected from devices. particular, deep models are especially hungry accelerated hard...

background: the modern electronic technologies have had a deep impact on traditional methods of education and brought forth new methods for effective education. electronic portfolio is one of the newest methods of teaching. therefore, the purpose of the present research was to study the impact of using e-portfolio on nursing students' learning in physiology course. methods: the design of t...

In today’s information technology infrastructures Service Level Management (SLM) is considered a vital discipline of IT Service Management. Only by having a framework for establishing a common understanding of services and the manner in which they are used and provided, can next generation IT infrastructures (e-Infrastuctures) maintain a sufficient “customer satisfaction” on a sustainable level...