Change search
Refine search result
1234567 1 - 50 of 528
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • 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)
  • 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)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 1.
    Adamsson, Annika
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    En Montessori-inspirerad pedagogik utmanar högpresterande elever matematiskt: En kvalitativ studie om vilka strategier lärare som använder en Montessori- inspirerad pedagogik i årskurs 1-3 anser utmanar och stimulerar högpresterande elever i matematik.2016Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
    Abstract [sv]

    Studiens syfte var att ta reda på vilka strategier lärare som använder en Montessori-inspirerad pedagogik anser stimulerar och utmanar högpresterande elever i matematik samt om de upplevde några svårigheter eller problem med att undervisa högpresterande elever i matematik. För att undersöka det har sex kvalitativa intervjuer genomförts med lärare som har varit eller som är verksamma i årskurserna 1-3. Resultatet av intervjuerna visar att lärarna har en gemensam uppfattning om att en Montessori-inspirerad pedagogik utmanar och stimulerar högpresterande elever i matematik eftersom grundtanken i Montessori-pedagogiken är "eleven i centrum". Det här innebär att lärarna måste utgå från varje elevs förutsättningar, behov och aktuella kunskapsnivå. I resultatet framkommer också att lärarna använder sig av olika strategier i form av matematikbok från en högre årskurs, special- och fördjupningsområden, åldersintegrering och lärande med flera sinnen för att stimulera och utmana de högpresterande eleverna matematiskt. Det framgår också i resultatet att lärarna inte upplever några större problem eller svårigheter i undervisningen av högpresterande elever i matematik. De belyser ändå att den egna matematiska kompetensen, tidsbrist och eget kontrollbehov ibland kan utgöra hinder för att stimulera och utmana de högpresterande eleverna tillräckligt. Utifrån studien kan man dra slutsatserna att lärare som använder en Montessori-inspirerad pedagogik lägger stor vikt vid att hitta rätt strategi för rätt elev, vilket bidrar till att de högpresterande eleverna får utmaning och stimulans. De olika hindren som lärarna belyser skulle kunna minskas med fortbildning och samarbete mellan årskurserna. 

  • 2.
    Afzal, Zeeshan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Towards Secure Multipath TCP Communication2017Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    The evolution in networking coupled with an increasing demand to improve user experience has led to different proposals to extend the standard TCP. Multipath TCP (MPTCP) is one such extension that has the potential to overcome few inherent limitations in the standard TCP. While MPTCP's design and deployment progresses, most of the focus has been on its compatibility. The security aspect is confined to making sure that the MPTCP protocol itself offers the same security level as the standard TCP.

    The topic of this thesis is to investigate the unexpected security implications raised by using MPTCP in the traditional networking environment. The Internet of today has security middle-boxes that perform traffic analysis to detect intrusions and attacks. Such middle-boxes make use of different assumptions about the traffic, e.g., traffic from a single connection always arrives along the same path. This along with many other assumptions may not be true anymore with the advent of MPTCP as traffic can be fragmented and sent over multiple paths simultaneously.

    We investigate how practical it is to evade a security middle-box by fragmenting and sending traffic across multiple paths using MPTCP. Realistic attack traffic is used to evaluate such attacks against Snort IDS to show that these attacks are feasible. We then go on to propose possible solutions to detect such attacks and implement them in an MPTCP proxy. The proxy aims to extend the MPTCP performance advantages to servers that only support standard TCP, while ensuring that intrusions can be detected as before. Finally, we investigate the potential MPTCP scenario where security middle-boxes only have access to some of the traffic. We propose and implement an algorithm to perform intrusion detection in such situations and achieve a nearly 90% detection accuracy. Another contribution of this work is a tool, that converts IDS rules into equivalent attack traffic to automate the evaluation of a middle-box.

  • 3.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Garcia, Johan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Lindskog, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Partial Signature Matching in an MPTCP World using Insert-only Levenshtein DistanceManuscript (preprint) (Other academic)
    Abstract [en]

    This paper proposes a methodology consisting of a constrained version of the Levenshtein distance that can be used to detect signatures from partial traffic. The proposed algorithm is formally presented, implemented, and tested using the latest available version of the Snort ruleset. The results show that the algorithm can successfully detect all partial signatures with nearly 90% accuracy.

  • 4.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Lindskog, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Automated Testing of IDS Rules2015In: Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on, IEEE conference proceedings, 2015Conference paper (Refereed)
    Abstract [en]

    As technology becomes ubiquitous, new vulnerabilities are being discovered at a rapid rate. Security experts continuously find ways to detect attempts to exploit those vulnerabilities. The outcome is an extremely large and complex rule set used by Intrusion Detection Systems (IDSs) to detect and prevent the vulnerabilities. The rule sets have become so large that it seems infeasible to verify their precision or identify overlapping rules. This work proposes a methodology consisting of a set of tools that will make rule management easier.

  • 5.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Lindskog, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    IDS rule management made easy2016In: Electronics, Computers and Artificial Intelligence (ECAI), 2016 8th International Conference on, IEEE conference proceedings, 2016Conference paper (Refereed)
    Abstract [en]

    Signature-based intrusion detection systems (IDSs) are commonly utilized in enterprise networks to detect and possibly block a wide variety of attacks. Their application in industrial control systems (ICSs) is also growing rapidly as modem ICSs increasingly use open standard protocols instead of proprietary. Due to an ever changing threat landscape, the rulesets used by these IDSs have grown large and there is no way to verify their precision or accuracy. Such broad and non-optimized rulesets lead to false positives and an unnecessary burden on the IDS, resulting in possible degradation of the security. This work proposes a methodology consisting of a set of tools to help optimize the IDS rulesets and make rule management easier. The work also provides attack traffic data that is expected to benefit the task of IDS assessment.

  • 6.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Lindskog, Stefan
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013).
    Multipath TCP IDS Evasion and Mitigation2015In: Information Security: 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings, Springer, 2015, Vol. 9290, 265-282 p.Conference paper (Refereed)
    Abstract [en]

    The existing network security infrastructure is not ready for future protocols such as Multipath TCP (MPTCP). The outcome is that middleboxes are configured to block such protocols. This paper studies the security risk that arises if future protocols are used over unaware infrastructures. In particular, the practicality and severity of cross-path fragmentation attacks utilizing MPTCP against the signature-matching capability of the Snort intrusion detection system (IDS) is investigated. Results reveal that the attack is realistic and opens the possibility to evade any signature-based IDS. To mitigate the attack, a solution is also proposed in the form of the MPTCP Linker tool. The work outlines the importance of MPTCP support in future network security middleboxes.

  • 7.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Lindskog, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunström, Anna
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Economic Sciences, Communication and IT, Centre for HumanIT.
    Lidén, Anders
    Towards Multipath TCP Aware Security Technologies2016In: New Technologies, Mobility and Security (NTMS), 2016 8th IFIP International Conference on, IEEE conference proceedings, 2016Conference paper (Refereed)
    Abstract [en]

    Multipath TCP (MPTCP) is a proposed extension to TCP that enables a number of performance advantages that have not been offered before. While the protocol specification is close to being finalized, there still remain some unaddressed challenges regarding the deployment and security implications of the protocol. This work attempts to tackle some of these concerns by proposing and implementing MPTCP aware security services and deploying them inside a proof of concept MPTCP proxy. The aim is to enable hosts, even those without native MPTCP support, to securely benefit from the MPTCP performance advantages. Our evaluations show that the security services that are implemented enable proper intrusion detection and prevention to thwart potential attacks as well as threshold rules to prevent denial of service (DoS) attacks.

  • 8.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Lindskog, Stefan
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013).
    Lidén, Anders
    A Multipath TCP Proxy2015Conference paper (Refereed)
    Abstract [en]

    Multipath TCP (MPTCP) is an extension to traditionalTCP that enables a number of performance advantages,which were not offered before. While the protocol specificationis close to being finalized, there still remain some concernsregarding deployability and security. This paper describes theon going work to develop a solution that will facilitate thedeployment of MPTCP. The solution will not only allow non-MPTCP capable end-hosts to benefit from MPTCP performancegains, but also help ease the network security concerns that manymiddleboxes face due to the possibility of data stream beingfragmented across multiple subflows.

  • 9.
    Afzal, Zeeshan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Rossebø, Judith
    Integrated Operations, ABB AS, Norway.
    Chowdhury, Mohammad
    Talha, Batool
    ABB Corporate Research, ABB AS, Norway.
    A Wireless Intrusion Detection System for 802.11 networks2016In: PROCEEDINGS OF THE 2016 IEEE INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, SIGNAL PROCESSING AND NETWORKING (WISPNET), IEEE conference proceedings, 2016, 828-834 p.Conference paper (Refereed)
    Abstract [en]

    Wireless local area networks (WLANs) deployment is increasing rapidly. At the same time, WLANs have become an attractive target for many potential attackers. In spite of that, the de facto standard used to implement most WLANs (IEEE 802.11) has what appear to be residual vulnerabilities related to identity spoofing. In this paper, a pragmatic study of two common attacks on the standard is conducted. These attacks are then implemented on test beds to learn attack behavior. Finally, novel attack signatures and techniques to detect these attacks are devised and implemented in a proof of concept Wireless Intrusion Detection System (WIDS).

  • 10.
    Ahlgren, Bengt
    et al.
    RISE SICS.
    Hurtig, Per
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Abrahamsson, Henrik
    RISE SICS.
    Grinnemo, Karl-Johan
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunstrom, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Are MIRCC and Rate-based Congestion Control in ICN READY for Variable Link Capacity?2017In: The 13th Swedish National Computer Networking Workshop (SNCNW 2017), Halmstad University, May 29.30., 2017Conference paper (Other academic)
    Abstract [en]

    Information-centric networking (ICN) has been introduced as a potential future networking architecture. ICN promises an architecture that makes information independent from lo- cation, application, storage, and transportation. Still, it is not without challenges. Notably, there are several outstanding issues regarding congestion control: Since ICN is more or less oblivious to the location of information, it opens up for a single application flow to have several sources, something which blurs the notion of transport flows, and makes it very difficult to employ traditional end-to-end congestion control schemes in these networks. Instead, ICN networks often make use of hop-by-hop congestion control schemes. How- ever, these schemes are also tainted with problems, e.g., several of the proposed ICN congestion controls assume fixed link capacities that are known beforehand. Since this seldom is the case, this paper evaluates the consequences in terms of latency, throughput, and link usage, variable link capacities have on a hop-by-hop congestion control scheme, such as the one employed by the Multipath-aware ICN Rate-based Congestion Control (MIRCC). The evaluation was carried out in the OMNeT++ simulator, and demonstrates how seemingly small variations in link capacity significantly deterio- rate both latency and throughput, and often result in inefficient network link usage. 

  • 11.
    Ahlgren, Bengt
    et al.
    RISE SICS.
    Hurtig, Per
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Abrahamsson, Henrik
    RISE SICS.
    Grinnemo, Karl-Johan
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunstrom, Anna
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    ICN Congestion Control for Wireless Links2018In: IEEE Wireless Communications and Networking Conference (WCNC) 2018, Barcelona, Spain, April 16-18 2018. / [ed] IEEE, 2018Conference paper (Refereed)
    Abstract [en]

    Information-centric networking (ICN) with its design around named-based forwarding and in-network caching holds great promises to become a key architecture for the future Internet. Still, despite its attractiveness, there are many open questions that need to be answered before wireless ICN becomes a reality, not least about its congestion control: Many of the proposed hop-by-hop congestion control schemes assume a fixed and known link capacity, something that rarely – if ever – holds true for wireless links. As a first step, this paper demonstrates that although these congestion control schemes are able to fairly well utilise the available wireless link capacity, they greatly fail to keep the link delay down. In fact, they essentially offer the same link delay as in the case with no hop-by-hop, only end- to-end, congestion control. Secondly, the paper shows that by complementing these congestion control schemes with an easy- to-implement, packet-train link estimator, we reduce the link delay to a level significantly lower than what is obtained with only end-to-end congestion control, while still being able to keep the link utilisation at a high level. 

  • 12. Aiki, T.
    et al.
    Muntean, Adrian
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Existence and uniqueness of solutions to a mathematical model predicting service life of concrete structures2009In: Advances in Mathematical Sciences and Applications, ISSN 1343-4373, Vol. 19, 119-129 p.Article in journal (Refereed)
  • 13.
    Aiki, Toyohiko
    et al.
    Japan.
    Muntean, Adrian
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Large-time behavior of solutions to a thermo-diffusion system with Smoluchowski interactions2017In: Journal of Differential Equations, ISSN 0022-0396, E-ISSN 1090-2732, Vol. 5, no 5, 3009-3026 p.Article in journal (Refereed)
    Abstract [en]

    We prove the large time behavior of solutions to a coupled thermo-diffusion arising in the modeling of the motion of hot colloidal particles in porous media. Additionally, we also ensure the uniqueness of solutions of the target problem. The main mathematical difficulty is due to the presence in the right-hand side of the equations of products between temperature and concentration gradients. Such terms mimic the so-called thermodynamic Soret and Dufour effects. These are cross-coupling terms emphasizing in this context a strong interplay between heat conduction and molecular diffusion.

    The full text will be freely available from 2018-05-30 15:04
  • 14.
    Airola, Rasmus
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Hager, Kristoffer
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Image Classification, Deep Learning and Convolutional Neural Networks: A Comparative Study of Machine Learning Frameworks2017Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    The use of machine learning and specifically neural networks is a growing trend in software development, and has grown immensely in the last couple of years in the light of an increasing need to handle big data and large information flows. Machine learning has a broad area of application, such as human-computer interaction, predicting stock prices, real-time translation, and self driving vehicles. Large companies such as Microsoft and Google have already implemented machine learning in some of their commercial products such as their search engines, and their intelligent personal assistants Cortana and Google Assistant.

    The main goal of this project was to evaluate the two deep learning frameworks Google TensorFlow and Microsoft CNTK, primarily based on their performance in the training time of neural networks. We chose to use the third-party API Keras instead of TensorFlow's own API when working with TensorFlow. CNTK was found to perform better in regards of training time compared to TensorFlow with Keras as frontend. Even though CNTK performed better on the benchmarking tests, we found Keras with TensorFlow as backend to be much easier and more intuitive to work with. In addition, CNTKs underlying implementation of the machine learning algorithms and functions differ from that of the literature and of other frameworks. Therefore, if we had to choose a framework to continue working in, we would choose Keras with TensorFlow as backend, even though the performance is less compared to CNTK.

  • 15.
    Alaqra, Ala(a)
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Fischer-Hübner, Simone
    Karlstad University, Division for Information Technology.
    Groß, Thomas
    Newcastle University, Newcastle, UK.
    Lorünser, Thomas
    Austrian Institute of Technology, Vienna, Austria.
    Slamanig, Daniel
    Graz University of Technology, Graz, Austria.
    Signatures for Privacy, Trust and Accountability in the Cloud: Applications and Requirements2015In: Privacy and Identity Management. Time for a Revolution?: 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers / [ed] David Aspinall, Jan Camenisch, Marit Hansen, Simone Fischer-Hübner, Charles Raab, Springer Publishing Company, 2015, Vol. 476, 79-96 p.Conference paper (Refereed)
    Abstract [en]

    This paper summarises the results of a workshop at the IFIP Summer School 2015 introducing the EU Horizon 2020 project PRISMACLOUD, that is, Privacy and Security Maintaining Services in the Cloud. The contributions of this summary are three-fold. Firstly, it provides an overview to the PRISMACLOUD cryptographic tools and use-case scenarios that were presented as part of this workshop. Secondly, it distills the discussion results of parallel focus groups. Thirdly, it summarises a ``Deep Dive on Crypto'' session that offered technical information on the new tools. Overall, the workshop aimed at outlining application scenarios and eliciting end-user requirements for PRISMACLOUD.

  • 16.
    Alaqra, Alaa
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Fischer-Hübner, Simone
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Pettersson, John
    Karlstad University, Faculty of Arts and Social Sciences (starting 2013), Centre for HumanIT.
    Wästlund, Erik
    Karlstad University, Faculty of Arts and Social Sciences (starting 2013), Service Research Center.
    Stakeholders’ Perspectives on Malleable Signatures in a Cloud-based eHealth Scenario2016In: Proceedings of the International Symposium on Human Aspects of Information Security & Assurance, 2016Conference paper (Refereed)
    Abstract [en]

    In this paper, we discuss end user requirements that we elicited for the use of malleable signatures in a Cloud-based eHealth scenario. The concept of a malleable signature, which is a privacy enhancing cryptographic scheme that enables the redaction of personal information from signed documents while preserving the validity of the signature, might be counter- intuitive to end users as its functionality does not correspond to the one of a traditional signature scheme. A qualitative study via a series of semi-structured interviews and focus groups has been conducted to understand stakeholders’ opinions and concerns in regards to the possible applications of malleable signatures in the eHealth area, where a medical record is first digitally signed by a doctor and later redacted by the patient in the cloud. Results from this study yielded user requirements such as the need for suitable metaphors and guidelines, usable templates, and clear redaction policies. 

  • 17.
    Alay, Özgü
    et al.
    Simula Research Laboratory, Norway.
    Lutu, Andra
    Simula Research Laboratory, Norway.
    García, Rafael
    IMDEA Networks Institute, Spain.
    Peón Quirós, Miguel
    IMDEA Networks Institute, Spain.
    Mancuso, Vincenzo
    IMDEA Networks Institute, Spain.
    Hirsch, Thomas
    Celerway AS, Norway.
    Dely, Tobias
    Celerway AS, Norway.
    Werme, Jonas
    Celerway AS, Norway.
    Evensen, Kristian
    Celerway AS, Norway.
    Hansen, Audun
    Celerway AS, Norway.
    Alfredsson, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Karlsson, Jonas
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunström, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Safari Khatouni, Ali
    Politecnico di Torino.
    Mellia, Marco
    Politecnico di Torino.
    Ajmone Marsan, Marco
    Politecnico di Torino.
    Monno, Roberto
    Nextworks, Italy.
    Lønsethagen, Håkon
    Telenor R&D, Norway.
    MONROE, a distributed platform to measure and assess mobile broadband networks: demo2016In: Proceedings of the Tenth ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation, and Characterization, New York, NY, USA: ACM Digital Library, 2016, 85-86 p.Conference paper (Refereed)
    Abstract [en]

    This demo presents the MONROE distributed platform and how it can be used to implement measurement and assessment experiments with operational mobile broadband networks (MBBs). MONROE provides registered experimenters with open access to hundreds of nodes, distributed over several European countries and equipped with multiple MBB connections, and a backend system that collects the measurement results. Experiments are scheduled through a user-friendly web client, with no need to directly access the nodes. The platform further embeds tools for real-time traffic flow analysis and a powerful visualization tool.

  • 18.
    Alay, Özgü
    et al.
    Simula Research Laboratory, Norway.
    Lutu, Andra
    Simula Research Laboratory, Norway.
    Peón-Quirós, Miguel
    IMDEA Networks Institute, Spain.
    Mancuso, Vincenzo
    IMDEA Networks Institute, Spain.
    Hirsch, Thomas
    Celerway Communications, Norway.
    Evensen, Kristian
    Celerway Communications, Norway.
    Hansen, Audun
    Celerway Communications, Norway.
    Alfredsson, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Karlsson, Jonas
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunström, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Safari Khatouni, Ali
    Politecnico di Torino, Italy.
    Mellia, Marco
    Politecnico di Torino, Italy.
    Ajmone Marsan, Marco
    IMDEA Networks Institute, Spain and Politecnico di Torino, Italy.
    Experience: An Open Platform for Experimentation with Commercial Mobile Broadband Networks2017In: MobiCom '17 Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking, New York, 2017, 70-78 p.Conference paper (Refereed)
    Abstract [en]

    Open experimentation with operational Mobile Broadband (MBB) networks in the wild is currently a fundamental requirement of the research community in its endeavor to address the need of innovative solutions for mobile communications. Even more, there is a strong need for objective data about stability and performance of MBB (e.g., 3G/4G) networks, and for tools that rigorously and scientifically assess their status. In this paper, we introduce the MONROE measurement platform: an open access and flexible hardware-based platform for measurements and custom experimentation on operational MBB networks. The MONROE platform enables accurate, realistic and meaningful assessment of the performance and reliability of 11 MBB networks in Europe. We report on our experience designing, implementing and testing the solution we propose for the platform. We detail the challenges we overcame while building and testing the MONROE testbed and argue our design and implementation choices accordingly. We describe and exemplify the capabilities of the platform and the wide variety of experiments that external users already perform using the system.

  • 19.
    Alay, Özgü
    et al.
    Simula Research Laboratory, Norway.
    Lutu, Andra
    Simula Research Laboratory, Norway.
    Rafael, García
    IMDEA Networks Institute, Spain.
    Peón Quirós, Miguel
    IMDEA Networks Institute, Spain.
    Mancuso, Vincenzo
    IMDEA Networks Institute, Spain.
    Hirsch, Thomas
    Celerway AS, Norway.
    Tobias, Dély
    Celerway AS, Norway.
    Werme, Jonas
    Celerway AS, Norway.
    Evensen, Kristian
    Celerway AS, Norway.
    Fosselie Hansen, Audun
    Celerway AS, Norway.
    Alfredsson, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Karlsson, Jonas
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunstrom, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Safari Khatouni, Ali
    Politecnico di Torino, Italy.
    Mellia, Marco
    Politecnico di Torino, Italy.
    Ajmone Marsan, Marco
    Politecnico di Torino & IMDEA Networks, Italy.
    Monno, Roberto
    Nextworks, Italy.
    Lønsethagen, Håkon
    Telenor R&D, Norway.
    Measuring and Assessing Mobile Broadband Networks with MONROE2016In: 2016 IEEE International Symposium on a World of Wireless, Mobile, and Multimedia Networks (WoWMoM), Red Hook: IEEE conference proceedings, 2016Conference paper (Refereed)
    Abstract [en]

    Mobile broadband (MBB) networks underpin numerous vital operations of the society and are arguably becoming the most important piece of the communications infrastructure. In this demo paper, our goal is to showcase the potential of a novel multi-homed MBB platform for measuring, monitoring and assessing the performance of MBB services in an objective manner. Our platform, MONROE, is composed of hundreds of nodes scattered over four European countries and a backend system that collects the measurement results. Through a user-friendly web client, the experimenters can schedule and deploy their experiments. The platform further embeds traffic analysis tools for real-time traffic flow analysis and a powerful visualization tool.

  • 20.
    Aldaz, J. M.
    et al.
    Univ Autonoma Madrid, ICMAT, E-28049 Madrid, Spain.;Univ Autonoma Madrid, Dept Matemat, E-28049 Madrid, Spain..
    Barza, Sorina
    Karlstad University, Faculty of Technology and Science, Department of Mathematics.
    Fujii, M.
    Osaka Kyoiku Univ, Dept Math, Kashiwara, Osaka 5828582, Japan..
    Moslehian, Mohammad Sal
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Advances in Operator Cauchy-Schwarz Inequalities and their Reverses2015In: Annals of Functional Analysis, ISSN 2008-8752, E-ISSN 2008-8752, Vol. 6, no 3, 275-295 p.Article in journal (Refereed)
    Abstract [en]

    The Cauchy-Schwarz (C-S) inequality is one of the most famous inequalities in mathematics. In this survey article, we first give a brief history of the inequality. Afterward, we present the C-S inequality for inner product spaces. Focusing on operator inequalities, we then review some significant recent developments of the C-S inequality and its reverses for Hilbert space operators and elements of Hilbert C*-modules. In particular, we pay special attention to an operator Wielandt inequality.

  • 21.
    Alfredsson, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    A Case Study of Recent Mifare Classic Field Deployments From an (In-)Security Perspective2013In: Proceedings of the 21st International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2013), Split, Croatia: FESB, University of Split , 2013Conference paper (Refereed)
    Abstract [en]

    Mifare Classic is a very popular near-field communication technology that provides a shared-key, access-controlled, storage. Although the authentication protocol of Mifare Classic is compromised since half a decade, systems are still being deployed based on this technology, e.g. for access control systems and for public transport ticketing. By using commodity hardware, such as NFC enabled smartphones, by passing the security measures in some cases only require the installation and operation of a smartphone app. To this end, we present case studies of a number of recent Mifare Classic systems deployed during the last year, to serve as an illustration of practical security problems and to raise awareness thereof among NFC technology buyers and system implementors.

  • 22.
    Alfredsson, Stefan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Del Giudice, Giacomo
    Politecnico di Bari, Italy.
    Garcia, Johan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunstrom, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    De Cicco, Luca
    Ecole superieure d'Electricite, France; Politecnico di Bari, Italy.
    Mascolo, Saverio
    Politecnico di Bari, Italy.
    Impact of TCP Congestion Control on Bufferbloat in Cellular Networks2013In: Proceedings of the 14th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2013) / [ed] Angelos Lazaris, Balaji Rengarajan, IEEE Press, 2013Conference paper (Refereed)
    Abstract [en]

    The existence of excessively large and too filled network buffers, known as bufferbloat, has recently gained attention as a major performance problem for delay-sensitive applications. One important network scenario where bufferbloat may occur is cellular networks.

    This paper investigates the interaction between TCP congestion control and buffering in cellular networks. Extensive measurements have been performed in commercial 3G, 3.5G and 4G cellular networks, with a mix of long and short TCP flows using the CUBIC, NewReno and Westwood+ congestion control algorithms. The results show that the completion times of short flows increase significantly when concurrent long flow traffic is introduced. This is caused by increased buffer occupancy from the long flows. In addition, for 3G and 3.5G the completion times are shown to depend significantly on the congestion control algorithms used for the background flows, with CUBIC leading to significantly larger completion times.

  • 23.
    Alfredsson, Stefan
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Del Giudice, Giacomo
    Politecnico di Bari, Italy.
    Garcia, Johan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunstrom, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    De Cicco, Luca
    Ecole superieure d'Electricite, France; Politecnico di Bari, Italy.
    Mascolo, Saverio
    Politecnico di Bari, Italy.
    Observations of Bufferbloat in Swedish Cellular Networks2013In: Proceedings of the 9th Swedish National Computer Networking Workshop (SNCNW 2013) / [ed] Bengt Ahlgren, 2013Conference paper (Refereed)
  • 24.
    Ali, Nour
    et al.
    Brunel University, London, UK.
    Baker, Sean
    University of Limerick, Ireland.
    O’Crowley, Ross
    Red Orkid Limited, Dublin, Ireland.
    Herold, Sebastian
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Buckley, Jim
    University of Limerick, Ireland.
    Architecture consistency: State of the practice, challenges and requirements2017In: Journal of Empirical Software Engineering, ISSN 1382-3256, E-ISSN 1573-7616, 1-35 p.Article in journal (Refereed)
    Abstract [en]

    Architecture Consistency (AC) aims to align implemented systems with their intended architectures. Several AC approaches and tools have been proposed and empirically evaluated, suggesting favourable results. In this paper, we empirically examine the state of practice with respect to Architecture Consistency, through interviews with nineteen experienced software engineers. Our goal is to identify 1) any practises that the companies these architects work for, currently undertake to achieve AC; 2) any barriers to undertaking explicit AC approaches in these companies; 3) software development situations where practitioners perceive AC approaches would be useful, and 4) AC tool needs, as perceived by practitioners. We also assess current commercial AC tool offerings in terms of these perceived needs. The study reveals that many practitioners apply informal AC approaches as there are barriers for adopting more formal and explicit approaches. These barriers are: 1) Difficulty in quantifying architectural inconsistency effects, and thus justifying the allocation of resources to fix them to senior management, 2) The near invisibility of architectural inconsistency to customers, 3) Practitioners’ reluctance towards fixing architectural inconsistencies, and 4) Practitioners perception that huge effort is required to map the system to the architecture when using more formal AC approaches and tools. Practitioners still believe that AC would be useful in supporting several of the software development activities such as auditing, evolution and ensuring quality attributes. After reviewing several commercial tools, we posit that AC tool vendors need to work on their ability to support analysis of systems made up of different technologies, that AC tools need to enhance their capabilities with respect to artefacts such as services and meta-data, and to focus more on non-maintainability architectural concerns.

  • 25.
    Alizadeh Noghani, Kyomaars
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Hernandez Benet, Cristian
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Kassler, Andreas
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Antonio, Marotta
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Jestin, Patrick
    Ericsson AB, Sweden.
    Srivastava, Vivek V.
    Ericsson AB, Sweden.
    Automating Ethernet VPN deployment in SDN-based Data Centers2017In: 2017 Fourth International Conference on Software Defined Systems (SDS)., IEEE, 2017, 61-66 p.Conference paper (Refereed)
    Abstract [en]

    Layer 2 Virtual Private Network (L2VPN) is widely deployed in both service provider networks and enterprises. However, legacy L2VPN solutions have scalability limitations in the context of Data Center (DC) interconnection and networking which require new approaches that address the requirements of service providers for virtual private cloud services. Recently, Ethernet VPN (EVPN) has been proposed to address many of those concerns and vendors started to deploy EVPN based solutions in DC edge routers. However, manual configuration leads to a time-consuming, error-prone configuration and high operational costs. Automating the EVPN deployment from cloud platforms such as OpenStack enhances both the deployment and flexibility of EVPN Instances (EVIs). This paper proposes a Software Defined Network (SDN) based framework that automates the EVPN deployment and management inside SDN-based DCs using OpenStack and OpenDaylight (ODL). We implemented and extended several modules inside ODL controller to manage and interact with EVIs and an interface to OpenStack that allows the deployment and configuration of EVIs. We conclude with scalability analysis of our solution.

  • 26.
    Alizadeh Noghani, Kyomaars
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Kassler, Andreas
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    SDN enhanced Ethernet-VPN for Data Center Interconnect2017In: The Proceedings of the 2017 IEEE 6th International Conference on Cloud Networking (CloudNet), IEEE, 2017Conference paper (Refereed)
    Abstract [en]

    Ethernet Virtual Private Network (EVPN) is an emerging technology that addresses the networking challenges presented by geo-distributed Data Centers (DCs). One of the major advantages of EVPN over legacy layer 2 VPN solutions is providing All-Active (A-A) mode of operation so that the traffic can truly be multi-homed on Provider Edge (PE) routers. However, A-A mode of operation introduces new challenges. In the case where the Customer Edge (CE) router is multi-homed to one or more PE routers, it is necessary that only one of the PE routers should forward Broadcast, Unknown unicast, and Multicast (BUM) traffic into the DC. The PE router that assumes the primary role for forwarding BUM traffic to the CE device is called the Designated Forwarder (DF). The proposed solution to select the DF in the EVPN standard is based on a distributed algorithm which has a number of drawbacks such as unfairness and intermittent behavior. In this paper, we introduce a Software-Defined Networking (SDN) based architecture for EVPN support, where the SDN controller interacts with EVPN control plane. We demonstrate how our solution mitigates existing problems for DF selection which leads to improved EVPN performance.

  • 27.
    Almqvist, Ylva
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Kan en lärare hinna med alla elever i dagens matematikundervisning?: En intervjustudie av hur lärare beskriver undervisningen av elever som presterar lågt i matematik.2017Independent thesis Advanced level (professional degree), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    In this study I want to illustrate how teachers describe their preventions and interventions when teaching students with low achievement in mathematics. This is a qualitative study based on a series of group interviews of teachers in the Swedish compulsory school. Mathematics teachers still hold a traditional compensatory perspective on students with low achievement thus placing the responsibility for learning with the students. The general opinion is that special pedagogics is necessary to enable support enough to help students with low achievement in mathematics to reach a passing grade. Thanks to further training, primarily through “Matematiklyftet”, the view on the possibility to include low achieving students in the classroom in a good way is more positive. There is an ongoing work in schools to improve the mathematics teaching, but one cannot see a complete or common plan for the schools neither from the school administration nor the teachers. The preventive measures made to include the low achieving students does have a positive effect for all students. Much of the implemented changes have its origin in talking mathematics in the classroom and not following the textbook as slavishly as previously done.

  • 28.
    Anderson, Collin
    et al.
    University of Pennsylvania, USA.
    Winter, Philipp
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    -, Roya
    Global Network Interference Detection over the RIPE Atlas Network2014Conference paper (Refereed)
    Abstract [en]

    Existing censorship measurement platforms frequentlysuffer from poor adoption, insufficient geographic coverage, and scalability problems. In order to outline ananalytical framework and data collection needs for futureubiquitous measurements initiatives, we build on top ofthe existent and widely-deployed RIPE Atlas platform.In particular, we propose methods for monitoring thereachability of vital services through an algorithm thatbalances timeliness, diversity, and cost. We then use Atlas to investigate blocking events in Turkey and Russia.Our measurements identify under-examined forms of interference and provide evidence of cooperation betweena well-known blogging platform and government authorities for purposes of blocking hosted content.

  • 29.
    Andersson, Kerstin
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Exact Probability Distribution versus Entropy2014In: Entropy, ISSN 1099-4300, E-ISSN 1099-4300, Vol. 16, no 10, 5198-5210 p.Article in journal (Refereed)
    Abstract [en]

    The problem addressed concerns the determination of the average numberof successive attempts of guessing a word of a certain length consisting of letters withgiven probabilities of occurrence. Both first- and second-order approximations to a naturallanguage are considered. The guessing strategy used is guessing words in decreasing orderof probability. When word and alphabet sizes are large, approximations are necessary inorder to estimate the number of guesses. Several kinds of approximations are discusseddemonstrating moderate requirements regarding both memory and central processing unit(CPU) time. When considering realistic sizes of alphabets and words (100), the numberof guesses can be estimated within minutes with reasonable accuracy (a few percent) andmay therefore constitute an alternative to, e.g., various entropy expressions. For manyprobability distributions, the density of the logarithm of probability products is close to anormal distribution. For those cases, it is possible to derive an analytical expression for theaverage number of guesses. The proportion of guesses needed on average compared to thetotal number decreases almost exponentially with the word length. The leading term in anasymptotic expansion can be used to estimate the number of guesses for large word lengths.Comparisons with analytical lower bounds and entropy expressions are also provided.

  • 30.
    Andersson, Martina
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Hur väl uppfyller läroboken lärarnas behov i undervisningen?How well does the textbook fulfill teh teachers´ needs in the teaching?: En studie kring lärarnas syn på läroboken i matematikA study of the teachers´ view on the textbook in mathematics2016Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
    Abstract [en]

    In the Swedish school the textbook is seen as a central teaching material in mathematics. In many classrooms individual, silent work in the textbook is particularly common during mathematics lessons. Silent work is often a large part of the lesson, although research shows that the teaching of mathematics should include variation and communication and that the pupils should at an early age be given the opportunity to understand the relation between mathematics and daily life.The teacher has a central role in choosing which teaching material are best suited for each teaching situation and each individual pupil. The teacher is also supposed to adapt instruction to individual's ability in a way that enhances the pupil´s curiosity, thus contributing to an increased inner motivation.The aim of this study was to get teachers' perspective on textbooks. In school mathematic the textbook is a common teaching material and because of that there were a questions about how well the textbook actually lives up to the teachers' needs.The chosen method was both qualitative and quantitative. A survey was sent out to mathematics teachers in grade 1-3. A simple survey with a reduced number of predetermined answers was supposed to attract many teachers to answer them. Unfortunately there was low participation among the respondents, which made it difficult to answer the research questions. As a complement a more in-depth survey was sent out to only a few respondents. The two different surveys were coordinated in the analysis.The result showed that teachers in mathematics in year 1-3 often use a textbook. A big part of them believe the textbook is a motivating factor for the pupils, and that younger pupils like to work with their textbook. The results also showed that there is a difference of opinion as to whether or not the textbook itself gives good opportunities to adaptive instruction, as well as concerning. How well it is aligned with their own understanding of the required knowledge goals for class 3. All teachers see their own teaching as varied and that the communicative aspect of the subject is important. The results also showed that the teachers that work without textbooks don't see any advantages with it, except as a help for their own planning.The conclusion is that the textbook is an important teaching material, not least as a support in one's own planning.Teachers in class 1-3 believe themselves to have a varied mathematics pedagogy and also that they have motivated pupils. The teachers agree on the importance to anchor mathematics in daily life since it is always there, around us.

  • 31.
    Andriash, A. V.
    et al.
    All Russia Res Inst Automat VNIIA, Moscow, Russia.
    Bobylev, Alexander V.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brantov, A. V.
    All Russia Res Inst Automat VNIIA, Moscow, Russia.;RAS, PN Lebedev Phys Inst, Moscow 117901, Russia.
    Bychenkov, V. Yu.
    All Russia Res Inst Automat VNIIA, Moscow, Russia.;RAS, PN Lebedev Phys Inst, Moscow 117901, Russia.
    Karpov, S. A.
    All Russia Res Inst Automat VNIIA, Moscow, Russia.
    Potapenko, I. F.
    RAS, MV Keldysh Appl Math Inst, Moscow 117901, Russia.
    Stochastic simulation of the nonlinear kinetic equation with high-frequency electromagnetic fields2013In: PROBLEMS OF ATOMIC SCIENCE AND TECHNOLOGY, ISSN 1562-6016, no 4, 233-237 p.Article in journal (Refereed)
    Abstract [en]

    A general approach to Monte Carlo methods for Coulomb collisions is proposed. Its key idea is an approximation of Landau-Fokker-Planck (LFP) equations by Boltzmann equations of quasi-Maxwellian kind. High-frequency fields are included into consideration and comparison with the well-known results are given.

  • 32.
    Angulo, Julio
    et al.
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Information Systems and Project Management. Karlstad University, Faculty of Arts and Social Sciences (starting 2013), Centre for HumanIT.
    Berthold, Stefan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science. Karlstad University, Faculty of Economic Sciences, Communication and IT, Centre for HumanIT.
    Elkhiyaoui, Kaoutar
    EURECOM.
    Fernandez Gago, M. Carmen
    University of Málaga.
    Fischer-Hübner, Simone
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science. Karlstad University, Faculty of Economic Sciences, Communication and IT, Centre for HumanIT.
    David, Nunez
    University of Málaga.
    Pulls, Tobias
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science. Karlstad University.
    Reuben, Jenni
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science. Karlstad University.
    Van Rompay, Cédric
    EURECOM.
    Santana de Oliveira, Anderson
    SAP Labs.
    Önen, Melek
    EURECOM.
    D:D-5.3 User-Centric Transparency Tools V22015Report (Refereed)
  • 33.
    Antonio, Marotta
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    D’Andreagiovanni, Fabio
    Sorbonne Universités, Université de Technologie de Compiègne, France.
    Kassler, Andreas
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Zola, Enrica
    Universitat Politècnica de Catalunya, C. Barcelona, Spain.
    On the energy cost of robustness for green virtual network function placement in 5G virtualized infrastructures2017In: Computer Networks, ISSN 1389-1286, E-ISSN 1872-7069, Vol. 125, 64-75 p.Article in journal (Refereed)
    Abstract [en]

    Next generation 5G networks will rely on virtualized Data Centers (vDC) to host virtualized network functions on commodity servers. Such Network Function Virtualization (NFV) will lead to significant savings in terms of infrastructure cost and reduced management complexity. However, green strategies for networking and computing inside data centers, such as server consolidation or energy aware routing, should not negatively impact the quality and service level agreements expected from network operators. In this paper, we study how robust strategies that place virtual network functions (VNF) inside vDC impact the energy savings and the protection level against resource demand uncertainty. We propose novel optimization models that allow the minimization of the energy of the computing and network infrastructure which is hosting a set of service chains that implement the VNFs. The model explicitly provides for robustness to unknown or imprecisely formulated resource demand variations, powers down unused routers, switch ports and servers, and calculates the energy optimal VNF placement and network embedding also considering latency constraints on the service chains. We propose both exact and heuristic methods. Our experiments were carried out using the virtualized Evolved Packet Core (vEPC), which allows us to quantitatively assess the trade-off between energy cost, robustness and the protection level of the solutions against demand uncertainty. Our heuristic is able to converge to a good solution in a very short time, in comparison to the exact solver, which is not able to output better results in a longer run as demonstrated by our numerical evaluation. We also study the degree of robustness of a solution for a given protection level and the cost of additional energy needed because of the usage of more computing and network elements.

  • 34.
    Antonio, Marotta
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Kassler, Andreas
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science.
    Green Virtual Network Functions Placement Under Uncertainty Constraints2016In: , 2016Conference paper (Refereed)
  • 35.
    Antonsson, Linda
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Digitala verktyg i matematiken: En enkätstudie om hur lärare integrerar digitala verktyg i matematikundervisningen2017Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis
    Abstract [en]

    Digital tools are getting increasingly widespread in our everyday lives as well as in school. How-ever, according to the national agency for education in Sweden, digital tools are rarely used to develop the mathematics education. With a survey, I investigated how teachers integrate digital tools in mathematics education and if the teachers’ perceived knowledge affects the integration in some way. With help from the TPACK framework I analyzed the results from 97 respondents. The results showed that teachers who experience good knowledge tend to vary their teaching using digital tools more than teachers who appreciated their skills as inadequate. The most common area of use for digital tools in mathematics is skills training, class review and visual-ization. The study suggests that there is a need for education in how to use digital tools in the education in order to be able to integrate digital tools in a favorable manner.

  • 36. Arcozzi, N
    et al.
    Barza, Sorina
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Garcia-Domingo, J.L.
    Soria, J.
    Hardys inequalities for monotone functions on partly ordered measure spaces2006In: Proc. Roy. Soc. Edingburgh Sect. A, 136 (2006), no.5Article in journal (Refereed)
  • 37.
    Artale Harris, Pietro
    et al.
    Università di Roma La Sapienza.
    Cirillo, Emilio N.M
    Università di Roma La Sapienza.
    Muntean, Adrian
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science. Eindhoven University of Technology.
    Weak solutions to Allen-Cahn-like equations modelling consolidation of porous media2017In: IMA Journal of Applied Mathematics, ISSN 0272-4960, E-ISSN 1464-3634, Vol. 82, no 1, 224-250 p.Article in journal (Refereed)
    Abstract [en]

    We study the weak solvability of a system of coupled Allen–Cahn-like equations resembling cross-diffusion which arises as a model for the consolidation of saturated porous media. Besides using energy-like estimates, we cast the special structure of the system in the framework of the Leray–Schauder fixed-point principle and ensure in this way the local existence of strong solutions to a regularized version of our system. Furthermore, weak convergence techniques ensure the existence of weak solutions to the original consolidation problem. The uniqueness of global-in-time solutions is guaranteed in a particular case. Moreover, we use a finite difference scheme to show the negativity of the vector of solutions.

  • 38.
    Arvidsson, Andreas
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Andreasson, Anders
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Distributed computing for the public transit domain2013Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
  • 39.
    Atxutegi, Eneko
    et al.
    University of the Basque Country, Spain.
    Grinnemo, Karl-Johan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Izurza, Andoni
    University of the Basque Country, Spain.
    Arvidsson, Åke
    Kristianstad University, Sweden.
    Liberal, Fidel
    University of the Basque Country, Spain.
    Brunström, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    On the move with TCP in current and future mobile networks2017In: Proceedings of the 8th International Conference on the Network of the Future, London, United Kingdom, November 2017., 2017Conference paper (Refereed)
    Abstract [en]

    Mobile wireless networks constitute an indispensable part of the global Internet, and with TCP the dominating transport protocol on the Internet, it is vital that TCP works equally well over these networks as over wired ones. This paper identifies the performance dependencies by analyzing the responsiveness of TCP NewReno and TCP CUBIC when subject to bandwidth variations related to movements in different directions. The presented evaluation complements previous studies on 4G mobile networks in two important ways: It primarily focuses on the behavior of the TCP congestion control in medium- to high-velocity mobility scenarios, and it not only considers the current 4G mobile networks, but also low latency configurations that move towards the overall potential delays in 5G networks. The paper suggests that while both CUBIC and NewReno give similar goodput in scenarios where the radio channel continuously degrades, CUBIC gives a significantly better goodput in scenarios where the radio channel quality continuously increases. This is due to CUBIC probing more aggressively for additional bandwidth. Important for the design of 5G networks, the obtained results also demonstrate that very low latencies are capable of equalizing the goodput performance of different congestion control algorithms. Only in low latency scenarios that combine both large fluctuations of available bandwidths and a mobility pattern in which the radio channel quality continuously increases can some performance differences be noticed.

  • 40.
    Atxutegi, Eneko
    et al.
    University of the Basque Country.
    Liberal, Fidel
    University of the Basque Country.
    Grinnemo, Karl-Johan
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunström, Anna
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Economic Sciences, Communication and IT, Centre for HumanIT.
    Arvidsson, Åke
    Kristianstad University.
    TCP Performance over Current Cellular Access: A Comprehensive Analysis2018In: Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms and Tools, Springer, 2018Chapter in book (Refereed)
    Abstract [en]

    Mobile internet usage has significantly raised over the last decade and it is expected to grow to almost 4 billion users by 2020. Even after the great effort dedicated to the improvement of the performance, there still exist unresolved questions and problems regarding the interaction between TCP and mobile broadband technologies such as LTE. This chapter collects the behavior of distinct TCP implementation under various network conditions in different LTE deployments including to which extent the performance of TCP is capable of adapting to the rapid variability of mobile networks under different network loads, with distinct flow types, during start-up phase and in mobile scenarios at different speeds. Loss-based algorithms tend to completely fill the queue, creating huge standing queues and inducing packet losses both under stillness and mobility circumstances. On the other side delay-based variants are capable of limiting the standing queue size and decreasing the amount of packets that are dropped in the eNodeB, but they are not able under some circumstances to reach the maximum capacity. Similarly, under mobility in which the radio conditions are more challenging for TCP, the loss-based TCP implementations offer better throughput and are able to better utilize available resources than the delay-based variants do. Finally, CUBIC under highly variable circumstances usually enters congestion avoidance phase prematurely, provoking a slower and longer start-up phase due to the use of Hybrid Slow-Start mechanism. Therefore, CUBIC is unable to efficiently utilize radio resources during shorter transmission sessions.

  • 41.
    Atxutegi, Eneko
    et al.
    University of the Basque Country.
    Liberal, Fidel
    University of the Basque Country.
    Grinnemo, Karl-Johan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunström, Anna
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Arvidsson, Åke
    Kristianstad University.
    Robert, Remi
    Ericsson AB.
    TCP behaviour in LTE: impact of flow start-up and mobility2016In: Wireless and Mobile Networking Conference (WMNC), 2016 9th IFIP, IEEE, 2016, 73-80 p.Conference paper (Refereed)
    Abstract [en]

    Nowadays, more than two billion people uses the mobile internet, and it is expected to rise to almost 4 billion by 2020. Still, there is a gap in the understanding of how TCP and its many variants work over LTE. To this end, this paper evaluates the extent to which five common TCP variants, CUBIC, NewReno, Westwood+, Illinois, and CAIA Delay Gradient (CDG), are able to utilise available radio resources under hard conditions, such as during start-up and in mobile scenarios at different speeds. The paper suggests that CUBIC, due to its Hybrid Slow- Start mechanism, enters congestion avoidance prematurely, and thus experiences a prolonged start-up phase, and is unable to efficiently utilise radio resources during shorter transmission sessions. Still, CUBIC, Illinois and NewReno, i.e., the loss-based TCP implementations, offer better throughput, and are able to better utilise available resources during mobility than Westwood+ and CDG – the delay-based variants do. 

  • 42.
    Atxutegi, Eneko
    et al.
    University of the Basque Country.
    Liberal, Fidel
    University of the Basque Country.
    Haile, Habtegebreil Kassaye
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Grinnemo, Karl-Johan
    Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Brunstrom, Anna
    Arvidsson, Åke
    Kristianstad University.
    On the use of TCP BBR in cellular networksIn: IEEE Communications Magazine, ISSN 0163-6804Article in journal (Refereed)
    Abstract [en]

    TCP BBR (Bottleneck Bandwidth and Round-trip propagation time) is a new TCP variant developed at Google, and which, as of this year, is fully deployed in Googles internal WANs and used by services such as Google.com and YouTube. In contrast to other commonly used TCP variants, TCP BBR is not loss-based but model-based: It builds a model of the network path between communicating nodes in terms of bottleneck bandwidth and minimum round-trip delay and tries to operate at the point where all available bandwidth is used and the round-trip delay is at minimum. Although, TCP BBR has indeed resulted in lower latency and a more efficient usage of bandwidth in fixed networks, its performance over cellular networks is less clear. This paper studies TCP BBR in live mobile networks and through emulations, and compares its performance with TCP NewReno and TCP CUBIC, two of the most commonly used TCP variants. The results from these studies suggest that in most cases TCP BBR outperforms both TCP NewReno and TCP CUBIC, however, not so when the available bandwidth is scarce. In these cases, TCP BBR provides longer file completion times than any of the other two studied TCP variants. Moreover, competing TCP BBR flows do not share the available bandwidth in a fair way, something which, for example, shows up when shorter TCP BBR flows struggle to get its fair share from longer ones. 

  • 43.
    Axelsson, Kajsa
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    "I slutet av varje dag förstår alla elever matematiken": En kvalitativ studie om matematiklärares syn på barn i behov av särskilt stöd i Kenya2014Independent thesis Advanced level (professional degree), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    The purpose of the study was to find out how teachers in a school in Kenya conducted the education of mathematics in standard 4-6. The focus was how the teachers worked with children in need of special support in mathematics.To find out the purpose a case study was made with two interviews and seven observations with four teachers on a rural school in Kenya. The following issues were: Which standards were there in the classrooms during lessons in mathematics in Kenya? How did the teachers express the view of children in need of special support? The main conclusion was that different teachers teaching in mathematics looked the same.The teacher was standing in front of the blackboard where the teaching occurred and the pupils were sitting lined up in their benches. The teaching of the pupils was about repetition and imitates the teacher and mostly filling the gap that the teacher made them say. Pupils in need of special support got their help through extra lessons and homework but the teachers thought that it was hard to help every child when there was only one teacher in the classroom.

  • 44.
    Baba, Srinath
    et al.
    Champlain College.
    Granath, Håkan
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Quaternionic modular forms and exceptional sets of hypergeometric functions2015In: International Journal of Number Theory, ISSN 1793-0421, Vol. 11, no 2, 631-643 p.Article in journal (Refereed)
    Abstract [en]

    We determine the exceptional sets of hypergeometric functions corresponding to the(2, 4, 6) triangle group by relating them to values of certain quaternionic modular formsat CM points. We prove a result on the number fields generated by exceptional values, and by using modular polynomials we explicitly compute some examples.

  • 45.
    Barros, B M
    et al.
    University of São Paulo.
    Iwaya, L H
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Simplício, M A
    Carvalho, T C M B
    Méhes, A
    Ericsson Research.
    Näslund, M
    Ericsson Research.
    Classifying Security Threats in Cloud Networking2015In: Proceedings of the 5th International Conference on Cloud Computing and Services Science / [ed] Markus Helfert, Donald Ferguson and Víctor Méndez Muñoz, SciTePress , 2015, 214-220 p.Conference paper (Refereed)
    Abstract [en]

    A central component of managing risks in cloud computing is to understand the nature of security threats. The relevance of security concerns are evidenced by the efforts from both the academic community and technological organizations such as NIST, ENISA and CSA, to investigate security threats and vulnerabilities related to cloud systems. Provisioning secure virtual networks (SVNs) in a multi-tenant environment is a fundamental aspect to ensure trust in public cloud systems and to encourage their adoption. However, comparing existing SVN-oriented solutions is a difficult task due to the lack of studies summarizing the main concerns of network virtualization and providing a comprehensive list of threats those solutions should cover. To address this issue, this paper presents a threat classification for cloud networking, describing threat categories and attack scenarios that should be taken into account when designing, comparing, or categorizing solutions. The classification is based o n the CSA threat report, building upon studies and surveys from the specialized literature to extend the CSA list of threats and to allow a more detailed analysis of cloud network virtualization issues.

  • 46.
    Barza, Sorina
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    A remarkable description of a constant of Muckenhoupt type in a case of multidimensional integral inequalities1997In: A remarkable description of a constant of Muckenhoupt type in a cse of multidimensional integral inequalities / [ed] Anna Klisinka, Lars-Erik Persson, Luleå: Luleå tekniska universitet, 1997Conference paper (Other academic)
  • 47.
    Barza, Sorina
    et al.
    Karlstad University, Faculty of Technology and Science, Department of Mathematics.
    Lind, Martin
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    A new variational characterization of Sobolev spaces2015In: Journal of Geometric Analysis, ISSN 1050-6926, E-ISSN 1559-002X, Vol. 25, no 4, 2185-2195 p.Article in journal (Refereed)
    Abstract [en]

    We obtain a new variational characterization of the Sobolev space $W_p^1(\Omega)$ (where $\Omega\subseteq\R^n$ and $p>n$). This is a generalization of a classical result of F. Riesz. We also consider some related results.

  • 48.
    Barza, Sorina
    et al.
    Karlstad University, Faculty of Technology and Science, Department of Mathematics. Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Marcoci, Anca Nicoleta
    Technical University of Civil Engineering Bucharest, Department of Mathematics and Computer Science, Bucharest, Romania.
    Marcoci, Liviu Gabriel
    Technical University of Civil Engineering Bucharest, Department of Mathematics and Computer Science, Bucharest, Romania.
    Persson, Lars-Erik
    Luleå University of Technology, Department of Mathematics.
    Optimal estimates in Lorentz spaces of sequences with an increasing weight2013In: Proceedings of the Romanian Academy. Series A Mathematics, Physics, Technical Sciences, Information Science, ISSN 1454-9069, Vol. 14, no 1, 20-27 p.Article in journal (Refereed)
  • 49.
    Barza, Sorina
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Pecaric, Josep
    Persson, Lars-Erik
    Carlson type inequalities1998In: Journal of inequalities and applications (Print), ISSN 1025-5834, E-ISSN 1029-242X, Vol. 2, no 2, 121-135 p.Article in journal (Refereed)
  • 50.
    Barza, Sorina
    et al.
    Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.
    Persson, Lars-Erik
    Luleå tekniska universitet.
    Some new sharp limit Hardy-type  inequalities via convexity2014In: Journal of inequalities and applications (Print), ISSN 1025-5834, E-ISSN 1029-242X, no 6Article in journal (Refereed)
    Abstract [en]

    Some new limit cases of Hardy-type inequalities are proved, discussed and compared. In particular, some new refinements of Bennett’s inequalities are proved. Each of these refined inequalities contain two constants, and both constants are in fact sharp. The technique in the proofs is new and based on some convexity arguments of independent interest.

1234567 1 - 50 of 528
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • 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