Humanoid Robots

For many years, the human being has been trying, in all ways, to recreate the complex mechanisms that form the human body. Such task is extremely complicated and the results are not totally satisfactory. However, with increasing technological advances based on theoretical and experimental researches, man gets, in a way, to copy or to imitate some systems of the human body. These researches not only intended to create humanoid robots, great part of them constituting autonomous systems, but also, in some way, to offer a higher knowledge of the systems that form the human body, objectifying possible applications in the technology of rehabilitation of human beings, gathering in a whole studies related not only to Robotics, but also to Biomechanics, Biomimmetics, Cybernetics, among other areas. This book presents a series of researches inspired by this ideal, carried through by various researchers worldwide, looking for to analyze and to discuss diverse subjects related to humanoid robots. The presented contributions explore aspects about robotic hands, learning, language, vision and locomotion

Advances in Robotics, Automation and Control

The book presents an excellent overview of the recent developments in the different areas of Robotics, Automation and Control. Through its 24 chapters, this book presents topics related to control and robot design; it also introduces new mathematical tools and techniques devoted to improve the system modeling and control. An important point is the use of rational agents and heuristic techniques to cope with the computational complexity required for controlling complex systems. Through this book, we also find navigation and vision algorithms, automatic handwritten comprehension and speech recognition systems that will be included in the next generation of productive systems developed by man

Defense in Depth of Resource-Constrained Devices

The emergent next generation of computing, the so-called Internet of Things (IoT), presents significant challenges to security, privacy, and trust. The devices commonly used in IoT scenarios are often resource-constrained with reduced computational strength, limited power consumption, and stringent availability requirements. Additionally, at least in the consumer arena, time-to-market is often prioritized at the expense of quality assurance and security. An initial lack of standards has compounded the problems arising from this rapid development. However, the explosive growth in the number and types of IoT devices has now created a multitude of competing standards and technology silos resulting in a highly fragmented threat model. Tens of billions of these devices have been deployed in consumers\u27 homes and industrial settings. From smart toasters and personal health monitors to industrial controls in energy delivery networks, these devices wield significant influence on our daily lives. They are privy to highly sensitive, often personal data and responsible for real-world, security-critical, physical processes. As such, these internet-connected things are highly valuable and vulnerable targets for exploitation. Current security measures, such as reactionary policies and ad hoc patching, are not adequate at this scale. This thesis presents a multi-layered, defense in depth, approach to preventing and mitigating a myriad of vulnerabilities associated with the above challenges. To secure the pre-boot environment, we demonstrate a hardware-based secure boot process for devices lacking secure memory. We introduce a novel implementation of remote attestation backed by blockchain technologies to address hardware and software integrity concerns for the long-running, unsupervised, and rarely patched systems found in industrial IoT settings. Moving into the software layer, we present a unique method of intraprocess memory isolation as a barrier to several prevalent classes of software vulnerabilities. Finally, we exhibit work on network analysis and intrusion detection for the low-power, low-latency, and low-bandwidth wireless networks common to IoT applications. By targeting these areas of the hardware-software stack, we seek to establish a trustworthy system that extends from power-on through application runtime

Sustainability in design: now! Challenges and opportunities for design research, education and practice in the XXI century

Copyright @ 2010 Greenleaf PublicationsLeNS project funded by the Asia Link Programme, EuropeAid, European Commission

Development of New Global Optimization Algorithms Using Stochastic Level Set Method with Application in: Topology Optimization, Path Planning and Image Processing

A unique mathematical tool is developed to deal with global optimization of a set of engineering problems. These include image processing, mechanical topology optimization, and optimal path planning in a variational framework, as well as some benchmark problems in parameter optimization. The optimization tool in these applications is based on the level set theory by which an evolving contour converges toward the optimum solution. Depending upon the application, the objective function is defined, and then the level set theory is used for optimization. Level set theory, as a member of active contour methods, is an extension of the steepest descent method in conventional parameter optimization to the variational framework. It intrinsically suffers from trapping in local solutions, a common drawback of gradient based optimization methods. In this thesis, methods are developed to deal with this drawbacks of the level set approach. By investigating the current global optimization methods, one can conclude that these methods usually cannot be extended to the variational framework; or if they can, the computational costs become drastically expensive. To cope with this complexity, a global optimization algorithm is first developed in parameter space and compared with the existing methods. This method is called "Spiral Bacterial Foraging Optimization" (SBFO) method because it is inspired by the aggregation process of a particular bacterium called, Dictyostelium Discoideum. Regardless of the real phenomenon behind the SBFO, it leads to new ideas in developing global optimization methods. According to these ideas, an effective global optimization method should have i) a stochastic operator, and/or ii) a multi-agent structure. These two properties are very common in the existing global optimization methods. To improve the computational time and costs, the algorithm may include gradient-based approaches to increase the convergence speed. This property is particularly available in SBFO and it is the basis on which SBFO can be extended to variational framework. To mitigate the computational costs of the algorithm, use of the gradient based approaches can be helpful. Therefore, SBFO as a multi-agent stochastic gradient based structure can be extended to multi-agent stochastic level set method. In three steps, the variational set up is formulated: i) A single stochastic level set method, called "Active Contours with Stochastic Fronts" (ACSF), ii) Multi-agent stochastic level set method (MSLSM), and iii) Stochastic level set method without gradient such as E-ARC algorithm. For image processing applications, the first two steps have been implemented and show significant improvement in the results. As expected, a multi agent structure is more accurate in terms of ability to find the global solution but it is much more computationally expensive. According to the results, if one uses an initial level set with enough holes in its topology, a single stochastic level set method can achieve almost the same level of accuracy as a multi-agent structure can obtain. Therefore, for a topology optimization problem for which a high level of calculations (at each iteration a finite element model should be solved) is required, only ACSF with initial guess with multiple holes is implemented. In some applications, such as optimal path planning, objective functions are usually very complicated; finding a closed-form equation for the objective function and its gradient is therefore impossible or sometimes very computationally expensive. In these situations, the level set theory and its extensions cannot be directly employed. As a result, the Evolving Arc algorithm that is inspired by "Electric Arc" in nature, is proposed. The results show that it can be a good solution for either unconstrained or constrained problems. Finally, a rigorous convergence analysis for SBFO and ACSF is presented that is new amongst global optimization methods in both parameter and variational framework

Technological capability perception for sustaining competitive advantage: a case study in DRB-HICOM University of Automotive Malaysia

DRB-HICOM University, formerly known as International College of Automotive, offers programmes that focus more on automotive technology. The recent transition from a College to a University requires the staff to experience change management in the organization. The purpose of this study was to examine the attitude of students and staff, subjective norms and perceived behavioural control effect of technological capability perception towards sustaining competitive advantage and change management in DRB-HICOM University. The Theory of Planned Behaviour (TPB) was adopted with the introduction of technological capability perception as the moderator in this study. The mixed data collection (quantitative and qualitative) method was used to collect data from the students and the staff. A total of 287 questionnaire were distributed to the students in semester three and above, and 273 responses were deemed usable. The data were analysed using SPSS and SmartPLS. A focus group interview was conducted among the staff, for qualitative data, and ATLAS.ti was used to analyse the data. The quantitative data showed that students’ attitude and subjective norms have a positive relationship. Meanwhile, perceived behavioural control has a negative relationship with intention of DRB-HICOM University to sustain competitive advantage. The qualitative data collected also found that attitude and perceived behavioural control have a positive relationship and subjective norms have a negative relationship with intention of DRB-HICOM University to sustain competitive advantage. Besides, technological capability perception positively moderates the relationship between attitude, subjective norms and perceived behavioural control, and intention of DRB-HICOM University to sustain its competitive advantage. Furthermore, the students’ perception of intention towards sustaining competitive advantage mediates the attitude and subjective norms in the actual behaviour. The limitations of the study and recommendations for future research are also discussed in this study

Mind the gap: gap factors in intercultural business communication : a study of German-Indian semi-virtual tech/engineering teams

While the affordances of technology have facilitated virtual modes of global collaboration, cultural variances and a geographically-dispersed environment can also lead to impaired group communication in team interaction. This qualitative study draws on data gathered from four organizations to investigate the miscommunication and cognitive dissonances reported by virtual German-Indian engineering/tech communities of practice. The study argues that it is not so much the performance or doing of a communicative act that creates dissonances, but the gaps, i.e., the absence or not-doing of certain communicative actions expected in a collaborative context. The gap factors are experienced as unfulfilled reciprocal expectations, and are classified and explored against three parameters: 1) the culture of a technological community of practice, 2) the power relations between the interactants, and 3) the consequences of virtual communication. The findings indicate a complementary divergence between the two groups regarding the nature of gaps. While the German teams report gaps in communicative efficiency and content caused e.g., by non-disclosure, euphemistic language and a deficiency in push communication, the Indian teams perceive gaps in relationality and affective signaling. At the same time, they are two sides of the same coin, with the divergences arising from the way in which the intersecting structural parameters are viewed as being salient in interaction. The study concludes with implications and suggestions for organizational practice

Computer Aided Verification

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic

Investigating the influences and effects on customers' perceptions of individual and multiple brands in a marketing alliance

This thesis investigates the effects and influences of individual brands in a marketing alliance on consumers' perceptions. Specifically, it defines how consumer perceptions of service quality, trust, and loyalty toward one brand influence corresponding perceptions for the alliance of which this brand is a member. Although the relationships between perceived service quality, trust and loyalty are well established at a single brand level in the marketing literature, they have never been researched at a multi-brand alliance level. The purpose of this dissertation is to fill this gap in knowledge by researching the relationship among the three constructs in a multi-brand airline alliance context. This thesis follows a two phase research design. It consists of a preliminary qualitative study and a main quantitative study. The main purpose of the qualitative study, actualized through a number of semi-structured expert interviews, was to shed light on the effects and influences one brand can convey to the brand alliance of which it is a member. The purpose of the main quantitative study was to examine the validity of the model and hypotheses formed during the earlier phases (i.e. literature review and qualitative study) of the research. Self-administered questionnaires handed to respondents at the gate area of a major European airport aimed to capture the influences and effects of one or multiple brands within a brand alliance on customer perceptions. In general, the research findings indicate that customer perceptions of individual brands, members of a brand alliance, have a significant effect on their perceptions of the brand alliance as a whole. In particular, consumer perceptions of single brand service quality, trust and loyalty all had an effect on perceptions of brand alliance service quality, trust and loyalty respectively. Moreover. the analysis confirmed that the relationship between loyalty and positive word-of-mouth works similarly in a single brand and in a multi-brand alliance context