hh.sePublications
Change search
Refine search result
3132333435 1651 - 1700 of 1731
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1651.
    Wärnestål, Pontus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Formal Learning Sequences and Progression in the Studio: A Framework for Digital Design Education2016In: Journal of Information Technology Education: Innovations in Practice, ISSN 2165-3151, E-ISSN 2165-316X, Vol. 15, no 1, p. 35-52Article in journal (Refereed)
    Abstract [en]

    This paper examines how to leverage the design studio learning environment throughout longterm Digital Design education in order to support students to progress from tactical, well-defined, device-centric routine design, to confidently design sustainable solutions for strategic, complex, problems for a wide range of devices and platforms in the digital space. We present a framework derived from literature on design, creativity, and theories on learning that: (a) implements a theory of formal learning sequences as a user-centered design process in the studio; and (b) describes design challenge progressions in the design studio environment modeled in seven dimensions. The framework can be used as a tool for designing, evaluating, and communicating course progressions within – and between series of – design studio courses. This approach is evaluated by implementing a formal learning sequence framework in a series of design studio courses that progress in an undergraduate design-oriented Informatics program. Reflections from students, teachers, and external clients indicate high student motivation and learning goal achievement, high teacher satisfaction and skill development, and high satisfaction among external clients.

  • 1652.
    Wärnestål, Pontus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Kan man föreläsa på ett bibliotek?: Kombinerad lärande- och designmiljö på fältet2012In: NU2012: Gränslöst lärande: Göteborg 17-19 oktober 2012: konferenskatalog, 2012, p. 29-31Conference paper (Refereed)
  • 1653.
    Wärnestål, Pontus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Studio Course Progression in Digital Design Education2013Conference paper (Refereed)
    Abstract [en]

    This paper examines how to leverage the design studio learning environment throughout long-term education in order to support students to progress from tactical, well-defined, device-centric routine design, to confidently design sustainable solutions for strategic, “wicked”, and device-agnostic problems. We present a model that describes design challenge progressions in the design studio environment based on six dimensions derived from literature on design, creativity, and theories on learning. This contribution can be used as a tool for designing course progressions within – and between – series of design studio courses, and is exemplified with a four-step studio progression in a three-year undergraduate design-oriented informatics program.

  • 1654.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Kronlid, Fredrik
    Talkamatic AB, Gothenburg, Sweden.
    Towards a user experience design framework for adaptive spoken dialogue in automotive contexts2014In: IUI'14: 19th International Conference on Intelligent User Interfaces: Haifa, Israel – February 24-27, 2014, New York, NY: ACM Press, 2014, p. 305-310Conference paper (Refereed)
    Abstract [en]

    We present an initial set of design principles for designing efficient, effective, coherent, and desirable adaptive spoken interaction for traffic information and navigation. The principles are based on a qualitative analysis of driver interactions with an adaptive speech prototype along with driver interviews. The derived set of principles range from high-level fundamental design values, conceptual and behavioral principles, to low-level interface-level principles that can guide the design of adaptive spoken dialogue interaction in the car from a user experience perspective. © 2014 ACM.

  • 1655.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Lindqvist, Mats
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Course Structuring for Procedural Knowledge in Interaction Design Education2012In: IRIS 35: Proceedings of the 35th Information Systems Research Seminar in Scandinavia: Designing the Interactive Society, Uppsala: Department of Informatics and Media, Uppsala University , 2012Conference paper (Refereed)
    Abstract [en]

    Society’s use of increasingly complex information technology is, in a long-term perspective, shaped by the way we train our future designers and developers of information systems. By preparing students for practice on the field, in complex use-contexts, we aim to help student’s bridge theory and practice, thereby helping them incorporate procedural knowledge and reflective practice in their skill repertoire. This paper presents a new course structure founded on active, contextual, and peer-based formative learning. Based on student and teacher reflections from two implementations of a course in Interaction Design, we find that our approach enhances the students’ understanding, and assimilation, of the reflective aspect of interaction design practice.

  • 1656.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Lindqvist, Mats
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Designerly Ways of Teaching and Learning: A Course Structure for Interaction Design2013In: Journal of Learning in Higher Education, ISSN 1936-346X, Vol. 9, no 1, p. 179-188Article in journal (Refereed)
    Abstract [en]

    Society´s use of increasingly complex information technology is, in a long-term perspective, shaped by the way we train our future designers and developers of information systems. By preparing students for practice on the field, in complex use-contexts, we aim to help student’s bridge theory and practice, thereby helping them incorporate procedural knowledge and reflective practice in their skill repertoire. This paper presents a new course structure founded on active, contextual, and peer-based formative learning. Based on student and teacher reflections from two implementations of a course in Interaction Design, we find that our approach enhances the students’ understanding, and assimilation, of the reflective aspect of interaction design practice.

  • 1657.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Lindqvist, Mats
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Designerly Ways of Teaching and Learning: A Course Structure for Interaction Design2012In: Joint International Conferences 2012 Academic Business World International Conference & International Conference on Learning and Administration in Higher Education: Proceedings, 2012, p. 79-79Conference paper (Refereed)
  • 1658.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Nygren, Jens M
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI).
    Building an Experience Framework for a Digital Peer Support Service for Children Surviving from Cancer2013In: Proceedings of Interaction Design and Children (IDC'13), New York, NY: Association for Computing Machinery (ACM), 2013, p. 269-272Conference paper (Refereed)
    Abstract [en]

    Childhood cancer survivors adjust to the physical, mental, and social difficulties associated with their illness and treatment. This process can be facilitated by social support from peers. For children, this is often problematic due to geographical, clinical, and age-related limitations. This paper reports on a stakeholder assessment study that confirms the relevance of a digital peer support service for childhood cancer survivors. The analysis establishes where in the existing health care process the digital peer support service should be introduced, what actors play a key role in facilitating service onboarding and use, and characterizes desirable user experience qualities. The analysis also yields a collection of design challenges to be addressed in the development of the digital peer support service. Copyright 2013 ACM.

  • 1659.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Svedberg, Petra
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI).
    Lindberg, Susanne
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Nygren, Jens M.
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI).
    Effects of Using Child Personas in the Development of a Digital Peer Support Service for Childhood Cancer Survivors2017In: Journal of Medical Internet Research, ISSN 1438-8871, E-ISSN 1438-8871, Vol. 19, no 5, article id e161Article in journal (Refereed)
    Abstract [en]

    BACKGROUND: Peer support services have the potential to support children who survive cancer by handling the physical, mental, and social challenges associated with survival and return to everyday life. Involving the children themselves in the design process allows for adapting services to authentic user behaviors and goals. As there are several challenges that put critical requirements on a user-centered design process, we developed a design method based on personas adapted to the particular needs of children that promotes health and handles a sensitive design context.

    OBJECTIVE: The purpose of this study was to evaluate the effects of using child personas in the development of a digital peer support service for childhood cancer survivors.

    METHODS: The user group's needs and behaviors were characterized based on cohort data and literature, focus group interviews with childhood cancer survivors (n=15, 8-12 years), stakeholder interviews with health care professionals and parents (n=13), user interviews, and observations. Data were interpreted and explained together with childhood cancer survivors (n=5) in three explorative design workshops and a validation workshop with children (n=7).

    RESULTS: We present findings and insights on how to codesign child personas in the context of developing digital peer support services with childhood cancer survivors. The work resulted in three primary personas that model the behaviors, attitudes, and goals of three user archetypes tailored for developing health-promoting services in this particular use context. Additionally, we also report on the effects of using these personas in the design of a digital peer support service called Give Me a Break.

    CONCLUSIONS: By applying our progressive steps of data collection and analysis, we arrive at authentic child-personas that were successfully used to design and develop health-promoting services for children in vulnerable life stages. The child-personas serve as effective collaboration and communication aids for both internal and external purposes.

  • 1660.
    Wärnestål, Pontus
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Svedberg, Petra
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI).
    Nygren, Jens
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI).
    Co-constructing Child Personas for Health-Promoting Services with Vulnerable Children2014In: CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada: ACM Press, 2014, p. 3767-3776Conference paper (Refereed)
    Abstract [en]

    The availability of health-promoting resources for young children diagnosed with cancer who are transitioning from intensive care to everyday life is limited. In the context of designing digital peer support services for children who are considered vulnerable due to clinical and age-related aspects, there are several challenges that put critical requirements on a user-centered design process. This paper reports on a new method for co-constructing child-personas that are tailored for developing health-promoting services where empirical data is restricted due to practical and ethical reasons. In particular, we are proposing to focus children design workshop sessions on salutogenesis, and complement this with a pathogenic perspective by interviewing healthcare professionals and parents. We also introduce the use of proxy personas, and redemption scenarios in the form of comicboards, both collaboratively constructed by children and designers through storytelling. By applying four progressive steps of data collection and analysis we arrive at authentic child-personas that can be used to design and develop health-promoting services for children in vulnerable life stages.

  • 1661.
    Xiang, Gao
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligent systems (IS-lab).
    Nan, Jiang
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligent systems (IS-lab).
    Supervised Methods for Fault Detection in Vehicle2010Independent thesis Advanced level (degree of Master (One Year)), 15 credits / 22,5 HE creditsStudent thesis
    Abstract [en]

    Uptime and maintenance planning are important issues for vehicle operators (e.g.operators of bus fleets). Unplanned downtime can cause a bus operator to be fined if the vehicle is not on time. Supervised classification methods for detecting faults in vehicles are compared in this thesis. Data has been collected by a vehicle manufacturer including three kinds of faulty states in vehicles (i.e. charge air cooler leakage, radiator and air filter clogging). The problem consists of differentiating between the normal data and the three different categories of faulty data. Evaluated methods include linear model, neural networks model, 1-nearest neighbor and random forest model. For every kind of model, a variable selection method should be used. In our thesis we try to find the best model for this problem, and also select the most important input signals. After we compare these four models, we found that the best accuracy (96.9% correct classifications) was achieved with the random forest model.

  • 1662.
    Xiang, Yang
    et al.
    Deakin University, Burwood VIC, Australia.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Wang, Hua
    University of Southern Queensland, Toowoomba QL, Australia.
    EUC 2011: Message from the program committee chairs2011In: Proceedings - 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, p. xiii-xiiiArticle in journal (Refereed)
    Abstract [en]

    Presents the welcome message from the conference proceedings.

  • 1663.
    Xu, Bingyu
    et al.
    Queen Mary University of London, London, United Kingdom.
    Chen, Yue
    Queen Mary University of London, London, United Kingdom.
    Requena Carrión, Jesús
    Queen Mary University of London, London, United Kingdom.
    Loo, Jonathan
    Middlesex University, London, United Kingdom.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Energy-aware Power Control in Energy Cooperation Aided Millimeter Wave Cellular Networks with Renewable Energy Resources2016In: IEEE Access, E-ISSN 2169-3536, Vol. 5, p. 432-442Article in journal (Refereed)
    Abstract [en]

    Increased energy consumption becomes a major issue in 5G cellular networks, which inspires the network operators to deploy renewable energy sources. However, due to the fluctuating nature of renewable energy sources, the energy harvested by base stations (BSs) may not fit for their load conditions. The transmit power of the BS needs to be redesigned again. Hence, this paper considers power control in energy cooperation enabled millimeter wave (mmWave) networks, to alleviate the harvested energy imbalance problem and reduce the energy waste. Each BS is solely powered by renewable energy sources and the harvested energy is allowed to be transferred between BSs. Each BS needs to determine whether the energy should be stored in the battery or transferred to others at each time slot. In this work, power control is formulated as a stochastic optimization problem, aiming at maximizing the time average network utility while keeping the network stable. An online algorithm called Dynamic Energy-aware Power Allocation (DEPA) is proposed based on Lyapunov optimization, which does not need to acquire any statistical knowledge of channels and traffic arrivals. Simulation results show that compared with the power control scheme without energy cooperation, the proposed algorithm with energy cooperation can achieve higher network sum rate while reducing the delay and the required battery capacity.

  • 1664.
    Xypolitidis, Benard
    et al.
    Halmstad University, School of Information Technology.
    Shabani, Rudin
    Halmstad University, School of Information Technology.
    Khanderparkar, Satej V.
    Halmstad University, School of Information Technology.
    Ul-Abdin, Zain
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Savas, Süleyman
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Nordström, Tomas
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Towards Architectural Design Space Exploration for Heterogeneous Manycores2016In: Proceedings: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processin: PDP 2016 / [ed] Yiannis Cotronis, Masoud Daneshtalab & George Angelos Papadopoulos, Piscataway, NJ: IEEE Computer Society, 2016, p. 805-810Conference paper (Refereed)
    Abstract [en]

    Today many of the high performance embedded processors already contain multiple processor cores and we see heterogeneous manycore architectures being proposed. Therefore it is very desirable to have a fast way to explore various heterogeneous architectures through the use of an architectural design space exploration tool, giving the designer the option to explore design alternatives before the physical implementation. In this paper, we have extended Heracles, a design space exploration tool for (homogeneous) manycore architectures, to incorporate different types of processing cores, and thus allowus to model heterogeneity. Our tool, called the Heterogeneous Heracles System (HHS), can besides the already supported MIPS core also include OpenRISC cores. The new tool retains the possibility available in Heracles to perform register transfer level (RTL) simulations of each explored architecture in Verilog as well as synthesizing it to field-programmable gate arrays (FPGAs). To facilitate the exploration of heterogeneous architectures, we have also extended the graphical user interface (GUI) to support heterogeneity. This GUI provides options to configure the types of core, core settings, memory system and network topology. Some initial results on FPGA utilization are presented from synthesizing both homogeneous and heterogeneous manycore architectures, as well as some benchmark results from both simulated and synthesized architectures.

  • 1665.
    Yang Lin, Shih
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Englund, Cristofer
    Viktoria Swedish ICT, Gothenburg, Sweden.
    Chen, Lei
    Viktoria Swedish ICT, Gothenburg, Sweden.
    Poster: Adaptive Wavelength Adjustment (AWLA) for Cooperative Speed Harmonization2014In: 2014 IEEE Vehicular Networking Conference (VNC) / [ed] Falko Dressler, Onur Altintas, Suman Banerjee, Björn Scheuermann & David Eckhoff, Piscataway, NJ: IEEE Press, 2014, p. 113-114Conference paper (Refereed)
    Abstract [en]

    Traffic merge on express-ways creates bottlenecks for traffic flow that potentially lead to traffic jams, especially in dense traffic. Cooperative speed harmonization (CSH), where vehicles are grouped and associated to virtual speed waves for group-wise joining at intersections, is proven to be efficient for on-ramp traffic merge. Based on CSH and considering variations of traffic density from joining roads, an adaptive wavelength adjustment (AWLA) mechanism is proposed in this paper. AWLA extends CSH by dynamically adjusting the length of segments in virtual waves according to the traffic densities of the joining roads. Therefore, roads with denser traffic may have larger segments to carry more vehicles through the intersection, which may improve the overall performance. Simulation results have shown that AWLA can achieve lower CO2 emissions and shorter travel time compared to CSH with static segment settings.

  • 1666.
    Yang, Mingkun
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Savas, Suleyman
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Ul-Abdin, Zain
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Nordström, Tomas
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    A Communication Library for Mapping Dataflow Applications on Manycore Architectures2013In: Proceedings of the 6th Swedish Multicore Computing Workshop / [ed] Tomas Nordstrom & Zain-ul-Abdin, 2013, p. 65-68Conference paper (Refereed)
    Abstract [en]

    Dataflow programming is a promising paradigm for high performance embedded parallel computing. When mapping a dataflow program onto a manycore architecture a key component is the library to express the communication between the actors. In this paper we present a dataflow communication library supporting the CAL actor language. A first implementation of the communication library is created for Adapteva’s manycore architecture Epiphany that contains an onchip 2-D mesh network. Three different buffering methods, with and without direct memory access (DMA) transfer, have been implemented and evaluated. We have also made a preliminary study on the effect of mapping strategies of the actors onto the cores. The assessment of the library is based on a CAL implementation of a two dimensional inverse discrete cosine transform (2D-IDCT) and our own CAL-to-C compilation framework. As expected the results show that the most efficient actor to-core mapping strategy is to keep the communication to the nearest neighbor communication pattern as much as possible. Thus, the best way to place a pipelined sequence of computations like our 2D-IDCT is to place the actors into cores in a serpentine fashion. For this application we found that the simple receiver side buffer outperforms the more complicated buffering strategies that used DMA transfer.

  • 1667.
    Yang, Y.
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Larsson, Tony
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Distributed Access Framework for Embedded Device Community2005In: Proceedings of the 23rd IASTED International Multi-Conference on Applied Informatics: IASTED International Conference on Parallel and Distributed Computing and Networks / [ed] Hamza, MH, Anaheim: ACTA Press, 2005, p. 370-374Conference paper (Refereed)
    Abstract [en]

    This paper identifies the need for multiple clients to concurrently access a device community. A set of embed ded devices cooperate via one or more service discovery protocols, such as UPnP, Jini, HAVi or OSGi. We present an approach that encapsulates additional services into a Distributed Access Framework (DAF). The services in DAF are responsible for secure and coordinated access of the distributed devices in the community. The different services of DAF can optionally be implemented and executed on different devices. We specify the DAF and demonstrate an implementation where the devices are organized according to the OSGi specification.

  • 1668.
    Ye, Hui
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE). Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), MPE-lab.
    Ellanskaya, Anastasia
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE). Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), MPE-lab.
    Arbitrage-free market models for interest rate options and future options: the multi-strike case2010Independent thesis Advanced level (degree of Master (One Year)), 15 credits / 22,5 HE creditsStudent thesis
    Abstract [en]

    This work mainly studies modeling and existence issues for martingale models of option markets with one stock and a collection of European call options for one fixed maturity and infinetely many strikes. In particular, we study Dupire's and Schweizer-Wissel's models, especially the latter one. These two types of models have two completely different pricing approachs, one of which is martingale approach (in Dupire's model), and other one is a market approach (in Schweizer-Wissel's model). After arguing that Dupire's model suffers from the several lacks comparing to Schweizer-Wissel's model, we extend the latter one to get the variations for the case of options on interest rate indexes and futures options. Our models are based on the newly introduced definitions of local implied volatilities and a price level proposed by Schweizer and Wissel. We get explicit expressions of option prices as functions of the local implied volatilities and the price levels in our variations of models. Afterwards, the absence of the dynamic arbitrage in the market for such models can be described in terms of the drift restrictions on the models' coefficients. Finally we demonstrate the application of such models by a simple example of an investment portfolio to show how Schweizer-Wissel's model works generally.

  • 1669.
    Yifei, Li
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Lin, Ge
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Non-Isotropic Planar Motion Planning for Sailboat Navigation2013Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
    Abstract [en]

    The purpose of the thesis was to explore the possibilities of using a Level-Set method to design a time-optimal path planar of a subject to direction-dependent maximum velocities. A promising application for such a planning approach lies in sailboat navigation planning, because of the dynamic ocean waves, current, wind and the characteristics of a sailboat. In the thesis, we developed an IOS application to simulate such scenario as environment properties with wind, static obstacles and the sailboat mapped into direction-dependent velocities in different locations of the environment.  Considering the wind is the main power for the sailboat, a wind speed generation function was created, based on different locations. The Level-Set method is widely used in image processing because of its various advantages, for instance, the ability to deal with topology change and stability. It also can be applied in path planning, in which the process of the Level-Set method can be considered as a continuous wave front propagating with a speed from the start location. A grid-based map was used to represent the environment. While the wave front was crossing the cell on the grid, a time was recorded for every cell, following the negative gradient direction of such crossing time, and then an optimal path could be found. In addition, we used the Narrow Band method to speed up the calculation of processing the level set equation. Finally, this report gives the results of the experiments of static obstacle avoidance, wind effects and smooth path planning.

  • 1670.
    You, Liwen
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Computational prediction models for proteolytic cleavage and epitope identification2007Doctoral thesis, comprehensive summary (Other academic)
    Abstract [en]

    The biological functions of proteins depend on their physical interactions with other molecules, such as proteins and peptides. Therefore, modeling the protein-ligand interactions is important for understanding protein functions in different biological processes. We have focused on the cleavage specificities of HIV-1 protease, HCV NS3 protease and caspases on short oligopeptides or in native proteins; the binding affinity of MHC molecules with short oligopeptides and identification of T cell epitopes. we expect that our findings on HIV-1 protease, HCV NS3 protease and caspases generalize to other proteases. In this thesis, we have performed analysis on these interactions from different perspectives - we have extended and collected new substrate data sets; used and compared different prediction methods (e.g. linear support vector machines, neural networks, OSRE method, rough set theory and Gaussian processes) to understand the underlying interaction problems; suggested new methods (i.e. a hierarchical method and Gaussian processes with test reject method) to improve predictions; and extracted cleavage rules for protease cleavage specificities. From our studies, we have extended oligopeptide substrate data sets and collected native protein substrates for HIV-1 protease, and a new oligopeptide substrate data set for HCV protease. We have shown that all current HIV-1 protease oligopeptide substratde data sets and our HCV data set are linearly separable; for HIV-1 protease, size and hydrophobicity are two important physicochemical properties in the recognition of short oligopeptide substrates to the protease; and linear support vector mahine is the state-of-the-art for this protease cleavage prediction problem. Our hierarchical method combining protein secondary structure information and experimental short oligopeptide cleavage information an improve the prediction of HIV-1 protease cleavage sites in native proteins. Our rule extraction method provides simple an accurate cleavage rules with high fidelity for HIV-1 and HCV proteases. For MHC molecules, we showed that high binding affinities are not necessarily correlated to immunogenicity on HLA-restricted peptides. Our test reject method combined with Gaussian processes can simplify experimental design by reducing false positives for detecting potential epitopes in large pathogen genomes.

  • 1671.
    You, Liwen
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Detection of cleavage sites for HIV-1 protease in native proteins2006In: Proceedings of LSS Computational Systems Bioinformatics Conference: Computational Systems Bioinformatics Conference (vol. 5), Imperial College Press, 2006, p. 249-256Conference paper (Refereed)
    Abstract [en]

    Predicting novel cleavage sites for HIV-1 protease in non-viral proteins is a difficult task because of the scarcity of previous cleavage data on proteins in a native state. We introduce a three-level hierarchical classifier which combines information from experimentally verified short oligopeptides, secondary structure and solvent accessibility information from prediction servers to predict potential cleavage sites in non-viral proteins. The best classifier using secondary structure information on the second level classification of the hierarchical classifier is the one using logistic regression. By using this level of classification, the false positive ratio was reduced by more than half compared to the first level classifier using only the oligopeptide cleavage information. The method can be applied on other protease specificity problems too, to combine information from oligopeptides and structure from native proteins.

  • 1672.
    You, Liwen
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Garwicz, Daniel
    Division of Hematology and Transfusion Medicine, Department of Laboratory Medicine, Lund University, Lund, Sweden.
    Rögnvaldsson, Thorsteinn
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Comprehensive Bioinformatic Analysis of the Specificity of Human Immunodeficiency Virus Type 1 Protease2005In: Journal of Virology, ISSN 0022-538X, E-ISSN 1098-5514, Vol. 79, no 19, p. 12477-12486Article in journal (Refereed)
    Abstract [en]

    Rapidly developing viral resistance to licensed human immunodeficiency virus type 1 (HIV-1) protease inhibitors is an increasing problem in the treatment of HIV-infected individuals and AIDS patients. A rational design of more effective protease inhibitors and discovery of potential biological substrates for the HIV-1 protease require accurate models for protease cleavage specificity. In this study, several popular bioinformatic machine learning methods, including support vector machines and artificial neural networks, were used to analyze the specificity of the HIV-1 protease. A new, extensive data set (746 peptides that have been experimentally tested for cleavage by the HIV-1 protease) was compiled, and the data were used to construct different classifiers that predicted whether the protease would cleave a given peptide substrate or not. The best predictor was a nonlinear predictor using two physicochemical parameters (hydrophobicity, or alternatively polarity, and size) for the amino acids, indicating that these properties are the key features recognized by the HIV-1 protease. The present in silico study provides new and important insights into the workings of the HIV-1 protease at the molecular level, supporting the recent hypothesis that the protease primarily recognizes a conformation rather than a specific amino acid sequence. Furthermore, we demonstrate that the presence of 1 to 2 lysine residues near the cleavage site of octameric peptide substrates seems to prevent cleavage efficiently, suggesting that this positively charged amino acid plays an important role in hindering the activity of the HIV-1 protease.

  • 1673.
    You, Liwen
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligent systems (IS-lab).
    Rögnvaldsson, Thorsteinn
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligent systems (IS-lab).
    Almost Linear Biobasis Function Neural Networks2007In: The 2007 International Joint Conference on Neural Networks: IJCNN 2007 conference proceedings : August 12-17, 2007, Resaissance Orlando Resort, Orlando, Florida, USA, Piscataway, N.J.: IEEE Press, 2007, p. 1774-1778Conference paper (Other academic)
    Abstract [en]

    An analysis of biobasis function neural networks is presented, which shows that the similarity metric used is a linear function and that bio-basis function neural networks therefore often end up being just linear classifiers in high dimensional spaces. This is a consequence of four things: the linearity of the distance measure, the normalization of the distance measure, the recommended default values of the parameters, and that biological data sets are sparse.

  • 1674.
    You, Liwen
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Zhang, Ping
    School of Land, Crop, and Food Sciences, University of Queensland, Brisbane, QLD, Australia.
    Bodén, Mikael
    School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, QLD, Australia.
    Brusic, Vladimir
    School of Land, Crop, and Food Sciences, University of Queensland, Brisbane, QLD, Australia.
    Understanding Prediction Systems for HLA-Binding Peptides and T-Cell Epitope Identification2007In: Pattern Recognition in Bioinformatics: Proceedings / [ed] Rajapakse, J C, Schmidt, B, Volkert, G, Berlin: Springer Berlin/Heidelberg, 2007, p. 337-348Conference paper (Refereed)
    Abstract [en]

    Peptide binding to HLA molecules is a critical step in induction and regulation of T-cell mediated immune responses. Because of combinatorial complexity of immune responses, systematic studies require combination of computational methods and experimentation. Most of available computational predictions are based on discriminating binders from non-binders based on use of suitable prediction thresholds. We compared four state-of-the-art binding affinity prediction models and found that nonlinear models show better performance than linear models. A comprehensive analysis of HLA binders (A*0101, A*0201, A*0301, A*1101, A*2402, B*0702, B*0801 and B*1501) showed that non-linear predictors predict peptide binding affinity with high accuracy. The analysis of known T-cell epitopes of survivin and known HIV T-cell epitopes showed lack of correlation between binding affinity and immunogenicity of HLA-presented peptides. T-cell epitopes, therefore, can not be directly determined from binding affinities by simple selection of the highest affinity binders.

  • 1675.
    Yu, Rong
    et al.
    Guangdong University of Technology, Guangzhou, China.
    Ding, Jiefei
    Guangdong University of Technology, Guangzhou, China.
    Zhong, Weifeng
    Guangdong University of Technology, Guangzhou, China.
    Zhang, Yan
    Simula Research Laboratory, Fornebu, Norway.
    Gjessing, Stein
    University of Oslo, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Price-based Energy Control for V2G Networks in the Industrial Smart Grid2015In: Proceedings of the 2015 1st International Conference on Industrial Networks and Intelligent Systems: INISCom: Tokyo, Japan: March 2-4, 2015, Piscataway, NJ: IEEE, 2015, p. 107-112, article id 7157830Conference paper (Refereed)
    Abstract [en]

    The energy crisis and global warming call for a new industrial revolution in production and distribution of renewable energy. Distributed power generation will be well developed int he new smart electricity distribution grid, in which robust power distribution will be the key technology. In this paper, we presenta new vehicle-to-grid (V2G) network for energy transfer, in which distributed renewable energy helps the power grid balance demand and supply. Plug-in hybrid electric vehicles (PHEVs) will act as transporters of electricity for distributed renewable energy dispatching. We formulate and analyze the V2G network within the theoretical framework of complex network. We also employthe generalized synchronization method to study the dynamic behavior of V2G networks. Furthermore, we develop a new price-based energy control method to stimulate the PHEV’s behavior of charging and discharging. Simulation results indicate that the V2G network can achieve synchronization and each region is able to balance energy supply and demand through price-based control. © 2015 ICST.

  • 1676.
    Yu, Rong
    et al.
    Guangdong University of Technology, Guangzhou, China.
    Huang, Xumin
    Guangdong University of Technology, Guangzhou, China.
    Kang, Jiawen
    Guangdong University of Technology, Guangzhou, China.
    Yuen, Chau
    Singapore University of Technology and Design, Singapore, Singapore.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Gjessing, Stein
    Simula Research Laboratory & Department of Informatics, University of Oslo, Oslo, Norway.
    Zhang, Yan
    Simula Research Laboratory & Department of Informatics, University of Oslo, Oslo, Norway.
    An Optimal Replenishment Strategy in Energy Harvesting Wireless Networks with A Mobile Charger2015In: 11th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness / [ed] Der-Jiunn Deng, Lei Shu, Chih-Cheng Tseng, Chun-Cheng Lin, Neeli R. Prasad & Tony Quek, Taipei: Institute for Computer Sciences (ICST) , 2015Conference paper (Refereed)
    Abstract [en]

    Energy harvesting wireless network is an emerging paradigm where the wireless nodes harvest energy to increase their lifetime. Due to high potential for a large variety of applications, such networks have drawn considerable attention in both industry and academia. In this paper, we consider the energy replenishment problem when the wireless nodes not only harvest energy from the ambient environment but also may receive energy from a mobile charger. We propose an optimal energy replenishment strategy using stochastic inventory theory to derive the optimal amount of energy supplied by the mobile charger. The simulation results show that our proposed scheme not only optimizes the energy utilization, but also improves the economic benefit of the wireless nodes. Copyright © 2015–2015 ICST

  • 1677.
    Yu, Tianyi
    et al.
    Halmstad University, School of Information Technology.
    Edén, Jenny
    Halmstad University, School of Information Technology.
    Englund, Cristofer
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research. Viktoria Swedish ICT, Gothenburg, Sweden.
    Larsson, Tony
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Traffic Situation Estimator for Adaptive Cruise Control2016In: 2016 IEEE 17th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM), Piscataway, NJ: IEEE, 2016, article id 7523567Conference paper (Refereed)
    Abstract [en]

    A traffic situation estimator capable of analyzing driving behavior utilizing an image analysis-based tracking module is presented. The behavior is analyzed by using a state machine driven counter to estimate the traffic rhythm and determine if the detected vehicles are approaching, getting away, have been overtaken or have overtaken the ego-vehicle. Depending on the result, the traffic situation estimator suggest different reactions, either to drive faster, slower or optionally suggest to overtake vehicles ahead to help the driver to follow the traffic rhythm which in turn will improve safety and energy efficiency. The proposed approach is implemented in a smart-phone and has shown good performance while testing the application on a two-lane highway. © 2016 IEEE.

  • 1678.
    Zain-ul-Abdin,
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Svensson, Bertil
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Compiling Stream-Language Applications to a Reconfigurable Array Processor2005In: ERSA'05: proceedings of the 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, June 27-30, 2005 / [ed] Toomas P. Plaks and R. DeMara, Las Vegas: CSREA Press, 2005, p. 274-275Conference paper (Refereed)
  • 1679.
    Zain-ul-Abdin,
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Svensson, Bertil
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Embedded Systems (CERES).
    Specifying Run-time Reconfiguration in Processor Arrays using High-level language2010In: WRC 2010: 4th HiPEAC Workshop on Reconfigurable Computing, Pisa, 2010, p. 1-10Conference paper (Refereed)
    Abstract [en]

    The adoption of run-time reconfigurable parallel architectures for high-performance embedded systems is constrained by the lackof a unified programming model which can express both parallelism and reconfigurability. We propose to program an emerging class of reconfigurable processor arrays by using the programming model of occam-pi and describe how the extensions of channel direction specifiers, mobile data, dynamic process invocation, and process placement attributes can be used to express run-time reconfiguration in occam-pi. We present implementations of DCT algorithm to demonstrate the applicability of occam-pi to express reconfigurability. We concluded that occam-pi appears to be a suitable programming model for programming run-time reconfigurable processor arrays.

  • 1680.
    Zain-ul-Abdin,
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Åhlander, Anders
    Business Area Electronic Defence Systems, Saab AB, Gothenburg, Sweden.
    Svensson, Bertil
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi2011In: Proceedings of the 19th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM'2011), Los Alamitos, Calif.: IEEE Computer Society, 2011, p. 194-201Conference paper (Refereed)
    Abstract [en]

    Recently we proposed occam-pi as a high-level language for programming massively parallel reconfigurable architectures. The design of occam-pi incorporates ideas from CSP and pi-calculus to facilitate expressing parallelism and reconfigurability. The feasability of this approach was illustratedby building three occam-pi implementations of DCT executing on an Ambric. However, because DCT is a simple and well studied algorithm it remained uncertain whether occam-pi would also be effective for programming novel, more complex algorithms.

    In this paper, we demonstrate the applicability of occam-pi for expressing various degrees of parallelism by implementinga significantly large case-study of focus criterion calculation inan autofocus algorithm on the Ambric architecture. Autofocus is a key component of synthetic aperture radar systems. Two implementations of focus criterion calculation were developedand evaluated on the basis of performance. The comparison of the performance results with a single threaded software implementation of the same algorithm show that the throughput of the two implementations are 11x and 23x higher than the sequential implementation despite a much lower (9x) clock frequency. The two designs are, respectively, 29x and 40x moreenergy efficient.

  • 1681.
    Zeadally, Sherali
    et al.
    Univ Dist Columbia, Dept Comp Sci & Informat Technol, Network Syst Lab, Washington, DC 20008 USA..
    Hunt, Ray
    Univ Canterbury, Coll Engn, Dept Comp Sci & Software Engn, Christchurch 1, New Zealand..
    Chen, Yuh-Shyan
    Natl Taipei Univ, Dept Comp Sci & Informat Engn, San Shia, Taipei County, Taiwan..
    Irwin, Angela
    Univ S Australia, Sch Comp & Informat Sci, Mawson Lakes, SA 5095, Australia..
    Hassan, Aamir
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Vehicular ad hoc networks (VANETS): status, results, and challenges2012In: Telecommunications Systems, ISSN 1018-4864, E-ISSN 1572-9451, Vol. 50, no 4, p. 217-241Article in journal (Refereed)
    Abstract [en]

    Recent advances in hardware, software, and communication technologies are enabling the design and implementation of a whole range of different types of networks that are being deployed in various environments. One such network that has received a lot of interest in the last couple of years is the Vehicular Ad-Hoc Network (VANET). VANET has become an active area of research, standardization, and development because it has tremendous potential to improve vehicle and road safety, traffic efficiency, and convenience as well as comfort to both drivers and passengers. Recent research efforts have placed a strong emphasis on novel VANET design architectures and implementations. A lot of VANET research work have focused on specific areas including routing, broadcasting, Quality of Service (QoS), and security. We survey some of the recent research results in these areas. We present a review of wireless access standards for VANETs, and describe some of the recent VANET trials and deployments in the US, Japan, and the European Union. In addition, we also briefly present some of the simulators currently available to VANET researchers for VANET simulations and we assess their benefits and limitations. Finally, we outline some of the VANET research challenges that still need to be addressed to enable the ubiquitous deployment and widespead adoption of scalable, reliable, robust, and secure VANET architectures, protocols, technologies, and services.

  • 1682.
    zeng, yingfu
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Lightweight Three-Dimensional Visualization For Hybrid Systems Simulation2012Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
    Abstract [en]

    Simulation plays a key role in the computer-aided design of systems, primarily because it helps in catching design bugs at an early stage and in quickly ruling out many unreasonable options in the design space. There is a wealth of tools and languages that have been proposed over the years for the design and verification of hybrid systems and most of them provide 3D visualization utility for facilitating design process. However, their visualization systems often rely on some external configuration files written in naive 3D APIs like VRML or Java3D and complicated connections have to be established between the simulation data and the visualization. Numerous efforts have to be invested in visualization related modeling and certain level of understanding of the low level 3D libraries are needed. Thus it is not an easy job for non-professions to build a 3D visualization. In this thesis we explore the idea that in a hybrid system model, almost all the information need for visualization is already in place. This means that very few annotation should be enough to fully specify a useful 3D visualization. Based on this idea, we propose a lightweight 3D visualization framework which allows the user to expresses the three-dimensional object in a high level and abstract way and to take advantage of the data already in the simulation. We evaluate our approaching by building a prototype extension of modeling language called Acumen. The result of this thesis work is included in Acumen's official release version that can be download at www.acumen-language.org. To build a 3D visualization in Acumen, only very few annotations need to be added to the simulation model and are included inside one reserved variable. Non-professions like students who are studying Cyber-physical systems can easily use this tool to visualize their models in Acumen without any prerequisite knowledge regarding 3D visualization technology. We also developed a number of benchmarks to test the correctness and functionality of Acumen3D. Besides, as a lager case study into the expressivity of Acumen and its visualizaiton efficiency, we developed a simplified model of a Ping Pong game. We gained experience about how to model complex hybrid system in Acumen. Moreover by comparing modeling such a hybrid system in Java3D and in Acumen3D, we find concrete evidence that modelling it in Acumen3D is easier in that of less code and less prerequisite knowledge and more supporting built in functions. 

  • 1683.
    Zeng, Yingfu
    et al.
    Rice University, TX, United States.
    Bartha, Ferenc
    Rice University, TX, United States.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Compile-Time Extensions to Hybrid ODEs2017In: Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180, E-ISSN 2075-2180, p. 52-70Article in journal (Refereed)
    Abstract [en]

    Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid system as automata with a set of ordinary differential equations (ODEs) associated with each state, as well as rules for transitions between states. Significant effort goes into developing and verifying and correctly implementing those tools. As such, it is desirable to expand the scope of applicability tools of such as far as possible. With this goal, we show how compile-time transformations can be used to extend the basic hybrid ODE formalism traditionally supported in hybrid reachability tools such as SpaceEx or Flow*. The extension supports certain types of partial derivatives and equational constraints. These extensions allow users to express, among other things, the Euler-Lagrangian equation, and to capture practically relevant constraints that arise naturally in mechanical systems. Achieving this level of expressiveness requires using a binding time-analysis (BTA), program differentiation, symbolic Gaussian elimination, and abstract interpretation using interval analysis. Except for BTA, the other components are either readily available or can be easily added to most reachability tools. The paper therefore focuses on presenting both the declarative and algorithmic specifications for the BTA phase, and establishes the soundness of the algorithmic specifications with respect to the declarative one.

  • 1684.
    Zeng, Yingfu
    et al.
    Rice University, Houston, USA.
    Chad, Rose
    Rice University, Houston, USA.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, USA.
    Duracz, Adam
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Atkinson, Kevin
    Rice University, Houston, USA.
    Philippsen, Roland
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    Cartwright, Robert
    Rice University, Houston, USA.
    O'Malley, Marcia
    Rice University, Houston, USA.
    Modeling Electromechanical Aspects of Cyber-Physical Systems2016In: Journal of Software Engineering for Robotics, ISSN 2035-3928, E-ISSN 2035-3928, Vol. 7, no 1, p. 100-119Article in journal (Refereed)
    Abstract [en]

    Model-based tools have the potential to significantly improve the process of developing novel cyber-physical systems (CPS). In this paper, we consider the question of what language features are needed to model such systems. We use a small, experimental hybrid systems modeling language to show how a number of basic and pervasive aspects of cyber-physical systems can be modeled concisely using the small set of language constructs. We then consider four, more complex, case studies from the domain of robotics. The first, a quadcopter, illustrates that these constructs can support the modeling of interesting systems. The second, a serial robot, provides a concrete example of why it is important to support static partial derivatives, namely, that it significantly improves the way models of rigid body dynamics can be expressed. The third, a linear solenoid actuator, illustrates the language’s ability to integrate multiphysics subsystems. The fourth and final, a compass gait biped, shows how a hybrid system with non-trivial dynamics is modeled. Through this analysis, the work establishes a strong connection between the engineering needs of the CPS domain and the language features that can address these needs. The study builds the case for why modeling languages can be improved by integrating several features, most notably, partial derivatives, differentiation without duplication, and support for equations. These features do not appear to be addressed in a satisfactory manner in mainstream modeling and simulation tools.

  • 1685.
    Zeng, Yingfu
    et al.
    Rice University, Houston, USA.
    Rose, Chad
    Rice University, Houston, USA.
    Brauner, Paul
    Rice University, Houston, USA.
    Taha, Walid
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, USA.
    Masood, Jawad
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research. Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Philippsen, Roland
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    O’Malley, Marcia
    Rice University, Houston, USA.
    Cartwright, Robert
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS). Rice University, Houston, USA.
    Modeling Basic Aspects of Cyber-Physical Systems, Part II2013In: Proceedings DSLRob 2013 / [ed] Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, 2013Conference paper (Refereed)
    Abstract [en]

    We consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed a core language called Acumen as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two more complex case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that Acumen can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why explicit support for static partial derivatives can significantly improve the expressivity of a CPS modeling language.

  • 1686.
    Zeng, Yingfu
    et al.
    Rice University, Houston, TX, USA.
    Rose, Chad
    Rice University, Houston, TX, USA.
    Brauner, Paul
    Rice University, Houston, TX, USA.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, TX, USA.
    Masood, Jawad
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Philippsen, Roland
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    O'Malley, Marcia
    Rice University, Houston, TX, USA.
    Cartwright, Robert
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS). Rice University, Houston, TX, USA.
    Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)2014In: 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th International Symposium on Cyberspace Safety and Security, 2014 IEEE 11th International Conference on Embedded Software and Systems (HPCC, CSS, ICESS) / [ed] Randall Bilof, Piscataway, NJ: IEEE Computer Society, 2014, p. 550-557Conference paper (Refereed)
    Abstract [en]

    We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two, more complex, case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that previously proposed core language can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why we should add language support for static partial derivatives, namely that it would significantly improve the way models of rigid body dynamics can be expressed. © 2014 IEEE.

  • 1687.
    Zhang, Hequn
    et al.
    Halmstad University, School of Information Technology.
    Wang, Rui
    Halmstad University, School of Information Technology.
    Larsson, Tony
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Simulation of Region-based Geocast Routing Protocols2014In: 2014 International Conference on Connected Vehicles and Expo (ICCVE), Piscataway, NJ: IEEE Press, 2014, p. 723-730, article id 7297645Conference paper (Refereed)
    Abstract [en]

    As one of the most important enablers of Intelligent Transportation System (ITS), Inter-Vehicle Communication (IVC) have been a hot research direction in nearly a decade. To improve vehicle safety and cooperative systems, most of ITS applications need efficient and stable Vehicular Ad hoc Networks (VANETs) among vehicles and infrastructures, which can be set up by Geocast routing protocols. Some of these applications require the protocols, known as region-based Geocast routing protocols, supporting to broadcast messages to vehicles within a specific geographic region. Since different protocols are appropriate for different purposes or occasions, it is significant to simulate protocols and evaluate their performances under a variety of scenarios. Therefore, this paper focuses on investigations of simulation environment configurations for some known Geocast routing protocols. According to the investigations, a region based Geocast routing simulator is designed and developed. To demonstrate the effectiveness and the reliability of this simulator, several protocols are simulated and the performances of them are presented. © 2014 IEEE

  • 1688.
    Zhang, Ke
    et al.
    University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    University of Electronic Science and Technology of China, Chengdu, China.
    Maharjan, Sabita
    Simula Research Laboratory, Fornebu, Norway & University of Oslo, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Zhang, Yan
    University of Oslo, Oslo, Norway.
    Contract-theoretic Approach for Delay Constrained Offloading in Vehicular Edge Computing Networks2019In: Mobile Networks and Applications , ISSN 1383-469X, E-ISSN 1572-8153, Vol. 24, no 3, p. 1003-1014Article in journal (Refereed)
    Abstract [en]

    Mobile Edge Computing (MEC) is a promising solution to improve vehicular services through offloading computation to cloud servers in close proximity to mobile vehicles. However, the self-interested nature together with the high mobility characteristic of the vehicles make the design of the computation offloading scheme a significant challenge. In this paper, we propose a new Vehicular Edge Computing (VEC) framework to model the computation offloading process of the mobile vehicles running on a bidirectional road. Based on this framework, we adopt a contract theoretic approach to design optimal offloading strategies for the VEC service provider, which maximize the revenue of the provider while enhancing the utilities of the vehicles. To further improve the utilization of the computing resources of the VEC servers, we incorporate task priority distinction as well as additional resource providing into the design of the offloading scheme, and propose an efficient VEC server selection and computing resource allocation algorithm. Numerical results indicate that our proposed schemes greatly enhance the revenue of the VEC provider, and concurrently improve the utilization of cloud computing resources. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

  • 1689.
    Zhang, Ke
    et al.
    University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    University of Electronic Science and Technology of China, Chengdu, China.
    Maharjan, Sabita
    Simula Research Laboratory, Oslo, Norway.
    Zhang, Yan
    Simula Research Laboratory, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Incentive-Driven Energy Trading in the Smart Grid2016In: IEEE Access, E-ISSN 2169-3536, Vol. 4, p. 1243-1257, article id 7436757Article in journal (Refereed)
    Abstract [en]

    The smart grid is widely considered as an efficient and intelligent power system. With the aid of communication technologies, the smart grid can enhance the efficiency and reliability of the grid system through intelligent energy management. However, with the development of new energy sources, storage and transmission technologies together with the heterogeneous architecture of the grid network, several new features have been incorporated into the smart grid. These features make the energy trading more complex and pose a significant challenge on designing efficient trading schemes. Based on this motivation, in this paper, we present a comprehensive review of several typical economic incentive approaches adopted in the energy-trading control mechanisms. We focus on the technologies that address the challenges specific to the new features of the smart grid. Furthermore, we investigate the energy trading in a new cloud-based vehicle-to-vehicle energy exchange scenario. We propose an optimal contract-based electricity trading scheme, which efficiently increases the generated profit. © 2013 IEEE.

  • 1690.
    Zhang, Ke
    et al.
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Zhang, Yan
    Simula Research Laboratory, Oslo, Norway.
    Delay constrained offloading for Mobile Edge Computing in cloud-enabled vehicular networks2016In: Proceedings of 2016 8th International Workshop on Resilient Networks Design and Modeling (RNDM) / [ed] Magnus Jonsson, Jacek Rak, Arun Somani, Dimitri Papadimitriou & Alexey Vinel, Piscataway: IEEE Press, 2016, p. 288-294Conference paper (Refereed)
    Abstract [en]

    Cloud-based vehicular networks is a new paradigm to improve the vehicular services through distributing computation tasks between remote clouds and local vehicular terminals. To further reduce the latency and the transmission cost of the computation offloading, we propose a cloud-based Mobile Edge Computing (MEC) offloading framework in vehicular networks. In the framework, efficient computation offloading strategies are designed through a contract theoretic approach. We obtain the optimal feasible contracts that maximize the benefit of the MEC service provider while enhancing the utilities of the vehicles. Furthermore, considering the resource limitation of the MEC server and the latency tolerance of the computation tasks, we propose a contract-based computation resource allocation scheme. Numerical results show that our proposed scheme greatly enhances the utility of the MEC service provider. ©2016 IEEE 

  • 1691.
    Zhang, Ke
    et al.
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Zeng, Ming
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Xu, Liang
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Jiang, Li
    Beijing University of Posts and Telecommunications, Beijing, China.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Optimal energy exchange schemes in smart grid networks: A contract theoretic approach2016In: 2016 IEEE/CIC International Conference on Communications in China (ICCC), Piscataway, NJ: IEEE, 2016, article id 7636834Conference paper (Refereed)
    Abstract [en]

    Vehicle-to-Grid (V2G) is a promising paradigm to alleviate energy supply and demand imbalance of the grid. To further improve the power transmission efficiency, in this paper, we propose a cloudlet-based Vehicle-to-Vehicle (V2V) energy exchange framework. In the framework, the Energy Switch Center (ESC) serves as a trading broker, which purchases electricity from discharging vehicles and then resells it to the charging ones without energy transmission on the grid. The energy trading process is modeled in a contract theoretic approach. We derive the optimal feasible contracts which maximize the profit of the ESC. Furthermore, we systematically study the practical scenario where both the charging demand and renewable energy supplement are random variables, and propose a practical optimal contract-based electricity purchase scheme. Simulation results show that the proposed scheme can efficiently increase the profit of the ESC than the other mechanisms. © 2016 IEEE.

  • 1692.
    Zhang, Man
    et al.
    Institute of Automation Chinese Academy of Sciences, China.
    Liu, Jing
    University of Science and Technology of China, China.
    Sun, Zhenan
    Institute of Automation Chinese Academy of Sciences, China.
    Tan, Tieniu
    Institute of Automation Chinese Academy of Sciences, China.
    Su, Wu
    Zhuhai YiSheng Electronics Technology Co, Ltd, China.
    Alonso-Fernandez, Fernando
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    Némesin, Valérian
    Aix-Marseilles University, Centrale Marseille, CNRS, Institut Fresnel, France.
    Othman, Nadia
    Institut Mines-Telecom, Télécom SudParis, France.
    Noda, Koichi
    Nihon System Laboratory, Ltd, Japan.
    Li, Peihua
    Dalian University of Technology, China.
    Hoyle, Edmundo
    University Federal of Rio de Janeiro, Brasil.
    Joshi, Akanksha
    Centre for Development of Advanced Computing, India.
    The First ICB Competition on Iris Recognition2014In: 2014 IEEE International Joint Conference on Biometrics (IJCB), Piscataway, NJ: IEEE Press, 2014, article id 6996292Conference paper (Refereed)
    Abstract [en]

    Iris recognition becomes an important technology in our society. Visual patterns of human iris provide rich texture information for personal identification. However, it is greatly challenging to match intra-class iris images with large variations in unconstrained environments because of noises, illumination variation, heterogeneity and so on. To track current state-of-the-art algorithms in iris recognition, we organized the first ICB∗ Competition on Iris Recognition in 2013 (or ICIR2013 shortly). In this competition, 8 participants from 6 countries submitted 13 algorithms totally. All the algorithms were trained on a public database (e.g. CASIA-Iris-Thousand [3]) and evaluated on an unpublished database. The testing results in terms of False Non-match Rate (FNMR) when False Match Rate (FMR) is 0.0001 are taken to rank the submitted algorithms. © 2014 IEEE.

  • 1693.
    Zhang, Tianyi
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Zhao, Yuwei
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Recognition for Robot First Aid: Recognizing a Person's Health State after a Fall in a Smart Environment with a Robot2016Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
  • 1694.
    Zhang, Yan
    et al.
    Department of Informatics, University of Oslo, Oslo, Norway.
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Li, Minqiang
    Department of Information Management and Management Science, Tianjin University, Tianjin, China.
    Guest editorial special issue on industrial IoT systems and applications2017In: IEEE Systems Journal, ISSN 1932-8184, E-ISSN 1937-9234, Vol. 11, no 3, p. 1337-1339, article id 8052330Article in journal (Other academic)
  • 1695.
    Zhang, Yan
    et al.
    School of Electrical and Electronics Engineering, Nanyang Technological University, Singapore, Singapore.
    Jonsson, MagnusHalmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).Li, MinqiangDepartment of Information Management and Management Science, College of Management and Economics, Tianjin University, Tianjin Shi, China.
    Special Issue on Industrial IoT Systems and Applications2017Collection (editor) (Refereed)
  • 1696.
    Zhao, Yang
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), MPE-lab.
    Zhang, Min
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), MPE-lab.
    The Ising Model on a Heavy Gravity Portfolio Applied to Default Contagion2011Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    In this paper we introduce a model of default contagion in the financail market. The structure of the companies are represented by a Heavy Gravity Portfolio, where we assume there are N sectors in the market and in each sector i, there is one big trader and ni supply companies.The supply companies in each sector are directly inuenced by the bigtrader and the big traders are also pairwise interacting with each other.This development of the Ising model is called Heavy gravity portfolioand according to this, the relation between expectation and correlationof the default of companies are derived by means of simulations utilisingthe Gibbs sampler. Finally methods for maximum likelihood estimationand for a likelihood ratio test of the interaction parameter in the modelare derived.

  • 1697.
    Zhelezov, Dmitry
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), MPE-lab.
    Yamshchikov, Ivan
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), MPE-lab.
    Liquidity and optimal consumption with random income2011Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    In the first part of our work we focus on the model of the optimal consumption with a random income. We provide the three dimensional equation for this model, demonstrate the reduction to the two dimensional case and provide for two different utility functions the full point-symmetries' analysis of the equations. We also demonstrate that for the logarithmic utility there exists a unique and smooth viscosity solution the existence of which as far as we know was never demonstrated before.

    In the second part of our work we develop the concept of the empirical liquidity measure. We provide the retrospective view of the works on this issue, discuss the proposed definitions and develop our own empirical measure based on the intuitive mathematical model and comprising several features of the definitions that existed before. Then we verify the measure provided on the real data from the market and demonstrate the advantages of the proposed value for measuring the illiquidity.

  • 1698.
    Zheyuan, Liu
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Evaluation of platoon Application Enabled by Contemporary ETSI ITS-G5 Standards2015Independent thesis Advanced level (degree of Master (Two Years)), 80 credits / 120 HE creditsStudent thesis
  • 1699.
    Zhuang, Weihua
    et al.
    University of Waterloo, Ontario, Canada.
    Jamalipour, Abbas
    University of Sydney, Sydney, New South Wales, Australia.
    Bai, Fan
    Carnegie Mellon University, Pittsburgh, Pennsylvania, USA.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Emerging Technologies, Applications, and Standardizations for Connecting Vehicles: [From the Guest Editors]2015In: IEEE Vehicular Technology Magazine, ISSN 1556-6072, E-ISSN 1556-6080, Vol. 10, no 4, p. 33-35Article in journal (Refereed)
    Abstract [en]

    The articles in this special section focus on the state of the art in the emerging technology for vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications, the latest development in standardizations and regulations, and potential services and applications for vehicles on roads. © Copyright 2015 IEEE

  • 1700.
    Zhuang, Weihua
    et al.
    Department of Electrical and Computer Engineering, University of Waterloo, ON, Canada.
    Jamalipour, Abbas
    University of Sydney, Sidney, Australia.
    Bai, Fan
    Caign, Universitarnegie Mellon University, University of Illinois at Urbana-Champy of Southern California, United States.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Emerging Technologies, Applications, and Standardizations for Connecting Vehicles (Part II)2017In: IEEE Vehicular Technology Magazine, ISSN 1556-6072, E-ISSN 1556-6080, Vol. 12, no 2, p. 23-25Article in journal (Other (popular science, discussion, etc.))
3132333435 1651 - 1700 of 1731
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf