Exploring pre-service teachers' beliefs about using Web 2.0 technologies in K-12 classroom

This qualitative study explored pre-service teachers' behavioral, normative, and control beliefs regarding their intentions to use Web 2.0 technologies in their future classrooms. The Theory of Planned Behavior (TPB) was used as the theoretical framework (Ajzen, 1991) to understand these beliefs and pre-service teachers' intentions for why they want to use Web 2.0 technologies. According to Ajzen's TPB, the behavioral beliefs are based on attitude toward outcomes or consequences of using Web 2.0, the normative beliefs depend on social support and social pressure to use Web 2.0, and the control beliefs lay the foundation of perceived behavioral control over using Web 2.0 in a classroom. Data were collected from open-ended survey questions (n = 190), semi-structured interviews (n = 12) and end of semester reflections (n = 12). Findings suggest that pre-service teachers' intentions to use Web 2.0 technologies are related to their beliefs about the value of these technologies for improving student learning and engagement, its ease of use (behavioral beliefs), its ability to meet the needs/expectations of digital age students (normative beliefs), the participants' high self-efficacy in use, and its potential for affording students anytime/anywhere access to learning and interaction (control beliefs). From these results, we recommend that teacher educators should target these beliefs within teacher development programs to prepare pre-service teachers for successful use of Web 2.0 technologies in their future K-12 classrooms.     

A computer-aided diagnostic system for liver tumor detection using modified U-Net architecture

The Journal of Supercomputing - A multimedia-based medical decision-making system is an ultimate requirement in the medical imaging domain. In the healthcare sector, achieving quick and efficient...     

Model checking communicative agent-based systems

Model checking is a formal technique used to verify communication protocols against given properties. In this paper, we propose a new model checking algorithm aims at verifying systems designed as a set of autonomous interacting agents. These software agents are equipped with knowledge and beliefs and interact with each other according to protocols governed by a set of logical rules. We present a tableauased version of this algorithm and provide the soundness, completeness, termination and complexity results. A case study about an agent-based negotiation protocol and its implementation are also described.     

Dimeric spectra analysis in Microsoft Excel: a comparative study

The purpose of this work is to introduce the reader to an Add-in implementation, Decom. This implementation provides the whole processing requirements for analysis of dimeric spectra. General linear and nonlinear decomposition algorithms were integrated as an Excel Add-in for easy installation and usage. In this work, the results of several samples investigations were compared to those obtained by Datan.     

Meaningful Learning for Deep Facial Emotional Features

Neural Processing Letters - Facial expression is an important aspect to recognize emotions between humans. However, this task remains difficult for machines. Several approaches have been developed...     

An object design framework for structural engineering

Object-oriented principles have introduced several useful concepts for developing complex software systems. As a result, several methodologies have been suggested for the overall design of software systems based on these concepts. Methodologies and frameworks for designing objects that are to be part of the software systems are currently lacking. This paper proposes anobject design framework andmethodology, which utilizes the object-oriented concepts, for planning, organizing and designing structural engineering design objects. Design objects in an integrated structural engineering system are complex and often related to each other in various different ways. The paper also identifies several important relationships among structural engineering design objects. These relationships serve as communication channels through wich design objects send messages to and receive responses from each other. Several examples, drawn from reinforced concrete structures, will be presented to demonstrate the object design methodology and to illustrate how the framework is effective in reducing the complexity of design objects in an integrated structural engineering system.     

Where does model-driven engineering help? Experiences from three industrial cases

There have been few experience reports from industry on how Model-Driven Engineering (MDE) is applied and what the benefits are. This paper summarizes the experiences of three large industrial participants in a European research project with the objective of developing techniques and tools for applying MDE on the development of large and complex software systems. The participants had varying degrees of previous experience with MDE. They found MDE to be particularly useful for providing abstractions of complex systems at multiple levels or from different viewpoints, for the development of domain-specific models that facilitate communication with non-technical experts, for the purposes of simulation and testing, and for the consumption of models for analysis, such as performance-related decision support and system design improvements. From the industrial perspective, a methodology is considered to be useful and cost-efficient if it is possible to reuse solutions in multiple projects or products. However, developing reusable solutions required extra effort and sometimes had a negative impact on the performance of tools. While the companies identified several benefits of MDE, merging different tools with one another in a seamless development environment required several transformations, which increased the required implementation effort and complexity. Additionally, user-friendliness of tools and the provision of features for managing models of complex systems were identified as crucial for a wider industrial adoption of MDE.     

The Effect of the Relief Wave on the Uniformity of an Air Blast Load

In most blast loading structure analyses, it is assumed that the load acts uniformly on a target area. For the rationable design, it is useful to have a quantitative criterion to determine at which maximum distance the standoff can be placed to assume a uniform pressure distribution. Surprisingly, no standard criterion was found in the literature and the effect of blast wave clearing was not considered as well. In this paper, pressure histories applied on structures are calculated considering the non‐uniform loading characteristic as well as pressure relief from the edges. Additionally, the effects of various parameters on uniformity of impulse distribution are investigated. The results have shown that the effect of pressure relief on impulse uniformity is very important, especially when the blast wave is attenuated. This phenomenon leads an optimum distance at which impulse distribution is the most uniform.