Endre søk
Begrens søket
1234567 1 - 50 of 368
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1. Abaglo, A. J.
    et al.
    Bonalda, C.
    Pertusa, Emeline
    KTH.
    Environmental Digital Model: Integration of BIM into environmental building simulations2017Inngår i: CISBAT 2017 International ConferenceFuture Buildings & Districts – Energy Efficiency from Nano to Urban Scale, Elsevier, 2017, Vol. 122, s. 1063-1068Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The digital model and the BIM are creating a revolution with a transition from 2D to 3D models. However, environmental professions carry out building simulations with a wide range of software with little or no communication between them. This often leads to the realization of several 3D models and therefore a significant loss of time, as well as possible inconsistencies of geometrical information. Our research aims to use the interoperability potential offered by BIM-friendly software to develop gateways to optimize the modeling phase and improve the restitution of the studies through visual integration in a digital mockup.

  • 2.
    Abbasi, Abdul Ghafoor
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Kommunikationssystem, CoS.
    Muftic, Sead
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Kommunikationssystem, CoS.
    Hotamov, I.
    Web contents protection, secure execution and authorized distribution2010Inngår i: Proceedings - 5th International Multi-Conference on Computing in the Global Information Technology, ICCGI 2010, 2010, s. 157-162Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper describes the design and implementation of a comprehensive system for protection of Web contents. In this design, new security components and extended security features are introduced in order to protect Web contents ageist various Web attacks. Components and extended security features are: protection of Web pages using strong encryption techniques, encapsulation of Web contents and resources in PKCS#7, extended secure execution environment for Java Web Server, eXtensible Access Control Markup Language (XACML) based authorization policies, and secure Web proxy. Design and implementation of our system is based on the concepts of generic security objects and component-based architecture that makes it compatible with exiting Web infrastructures without any modification.

  • 3.
    Abbaszadeh Shahri, Abbas
    et al.
    Johan Lundberg AB, S-75450 Uppsala, Sweden.;Tyrens, Div Rock Engn, S-11886 Stockholm, Sweden..
    Shan, Chunling
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Byggvetenskap, Jord- och bergmekanik. Tyrens, Div Rock Engn, S-11886 Stockholm, Sweden..
    Larsson, Stefan
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Byggvetenskap, Jord- och bergmekanik.
    Johansson, Fredrik
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Byggvetenskap, Jord- och bergmekanik.
    Normalizing Large Scale Sensor-Based MWD Data: An Automated Method toward A Unified Database2024Inngår i: Sensors, E-ISSN 1424-8220, Vol. 24, nr 4, artikkel-id 1209Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    In the context of geo-infrastructures and specifically tunneling projects, analyzing the large-scale sensor-based measurement-while-drilling (MWD) data plays a pivotal role in assessing rock engineering conditions. However, handling the big MWD data due to multiform stacking is a time-consuming and challenging task. Extracting valuable insights and improving the accuracy of geoengineering interpretations from MWD data necessitates a combination of domain expertise and data science skills in an iterative process. To address these challenges and efficiently normalize and filter out noisy data, an automated processing approach integrating the stepwise technique, mode, and percentile gate bands for both single and peer group-based holes was developed. Subsequently, the mathematical concept of a novel normalizing index for classifying such big datasets was also presented. The visualized results from different geo-infrastructure datasets in Sweden indicated that outliers and noisy data can more efficiently be eliminated using single hole-based normalizing. Additionally, a relational unified PostgreSQL database was created to store and automatically transfer the processed and raw MWD as well as real time grouting data that offers a cost effective and efficient data extraction tool. The generated database is expected to facilitate in-depth investigations and enable application of the artificial intelligence (AI) techniques to predict rock quality conditions and design appropriate support systems based on MWD data.

  • 4.
    Abdullah, Nazri
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Håkansson, Anne
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Moradian, E.
    Blockchain based approach to enhance big data authentication in distributed environment2017Inngår i: 2017 Ninth International Conference on Ubiquitous and Future Networks (ICUFN), IEEE Computer Society, 2017, s. 887-892Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Existing authentication protocols for Big Data system such as Apache Hadoop is based on Kerberos. In the Kerberos protocol, there are numerous security issues that have remained unsolved; replay attacks, DDoS and single point of failure are some examples. These indicate potential security vulnerabilities and Big Data risks in using Hadoop. This paper presents drawbacks of Kerberos implementations and identifies authentication requirements that can enhance the security of Big Data in distributed environments. The enhancement proposed is based on the rising technology of blockchain that overcomes shortcomings of Kerberos.

  • 5.
    Ahlgren, Per
    et al.
    KTH, Bibliotek, Bibliometri.
    Colliander, C.
    Sjögårde, Peter
    KTH, Skolan för teknikvetenskaplig kommunikation och lärande (ECE). Department of ALM, Uppsala University, Uppsala, Sweden.
    Exploring the relation between referencing practices and citation impact: A large-scale study based on Web of Science data2018Inngår i: Journal of the Association for Information Science and Technology, ISSN 2330-1635, E-ISSN 2330-1643, Vol. 69, nr 5, s. 728-743Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    In this large-scale contribution, we deal with the relationship between properties of cited references of Web of Science articles and the field normalized citation rate of these articles. Using nearly 1 million articles, and three classification systems with different levels of granularity, we study the effects of number of cited references, share of references covered by Web of Science, mean age of references and mean citation rate of references on field normalized citation rate. To expose the relationship between the predictor variables and the response variable, we use quantile regression. We found that a higher number of references, a higher share of references to publications within Web of Science and references to more recent publications correlate with citation impact. A correlation was observed even when normalization was done with a finely grained classification system. The predictor variables affected citation impact to a larger extent at higher quantile levels. Regarding the relative importance of the predictor variables, citation impact of the cited references was in general the least important variable. Number of cited references carried most of the importance for both low and medium quantile levels, but this importance was lessened at the highest considered level.

  • 6.
    Al Rahis, Anas
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Osman, Osman
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Improving Occupant’s sleep quality with the help of OURA ring and data from Smart Buildings2021Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Well-being is associated with comfort and health, and it represents wellness and quality of life. Sleep quality is an important index when evaluating a person’s well-being. KTH Live-in-lab performs Human-building interaction studies to explore the growing potential of how built environments, measured by Schneider Electric (SE), can influence humans and their well-being in their everyday lives. This thesis works as an explorative study of using the OURA ring to evaluate sleep quality for tenants living in KTH LiL. Specifically, this project aims to assess the quality of the data collected from the ring and SE sensors by using Total Data Quality Management (TDQM) and propose a Multilayer perceptron (MLP) model for predicting sleep scores. Results first showed that the OURA ring is an appropriate tool for evaluating sleep quality. Its data passed 11 TDQM’s dimensions, including accuracy, objectivity, relevancy, interpretability and understandability. Second, the OURA was able to capture the relationship between sleep quality and building’s temperature and humidity through its sleep scores. Results showed that higher sleep scores situated more around the suggested ideal ranges of temperature and humidity. However, some low sleep scores were also situated around these ideal ranges which suggests that an additional study needs to be conducted. Such a study would take in tenants’ feedback in order to distinguish sleep scores heavily affected by psychological and/or other factors rather than built environments. Third, we were able to create an MLP model to predict sleep scores based on temperature and humidity values as well as user-related information, like activity rate and total burn. The model had validation and training losses converging at 1.90-2.50. Those low loss rates suggest that the building's temperature and humidity along with information about tenants from the ring can be used to improve the sleep scores. This model can be extended into a recommendation model where buildings’ operators and tenants can benefit from. Buildings’ operators would get information and recommendations on how to properly administer their buildings to achieve higher well-being for their tenants. Also, tenants would get recommendations on how to increase their sleep scores and, ultimately, their sleep qualities and well-being. 

    Fulltekst (pdf)
    fulltext
  • 7. Albertoni, Riccardo
    et al.
    Bertone, Alessio
    De Martino, Monica
    Demšar, Urška
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geoinformatik.
    Hauska, Hans
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geoinformatik.
    Visual and Automatic Data Mining for Exploration of Geographical MetadataManuskript (Annet vitenskapelig)
  • 8. Albertoni, Riccardo
    et al.
    Bertone, Alessio
    Demšar, Urška
    KTH, Tidigare Institutioner (före 2005), Infrastruktur.
    De Martino, Monica
    Hauska, Hans
    KTH, Tidigare Institutioner (före 2005), Infrastruktur.
    Knowledge Extraction by Visual Data Mining of Metadata in Site PlanningManuskript (Annet vitenskapelig)
    Abstract [en]

    The paper describes a tool designed within the first stage of the European project INVISIP in order to explore geographical metadata in the site planning process. A visual data mining approach is applied to a database of geographical metadata to help the user find an optimal subset of the existing geographical datasets for his particular planning task. It allows the user to perform both confirmative and explorative analysis. The approach is implemented in the Visual Data Mining tool, which integrates different types of visualisations with various interaction functionalities. It includes the interactive communication with the user and the brushing and linking process between different visualisations. The paper also presents an example of an application on a test metadatabase which was created for this purpose.

  • 9. Alexanderson, Petter
    et al.
    Tollmar, Konrad
    Department of Informatics, HCID Group.
    Being and mixing: designing interactive soundscapes2006Inngår i: Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles, 2006, s. 252-261Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper describes a study of the auditory environment in a chemical factory, and how a group of process operators ascribe meaning to a selection of sound clips from their daily work environment. We argue for a design-oriented phenomenological approach to soundscape studies, and suggest an approach based on an exploration of how already occurring sounds are used. This knowledge will be used to inform the design of new useful auditory environments. Our study shows that the richness of the auditory environment is a crucial aspect of the distributed work environment. An important part of the design process is the operator’s contribution to the concepts suggested. From design workshops several design concepts aiming to explore and test different approaches for making sound affordances available have been developed. This has led us to a new understanding of how interactive soundscapes enable distributed awareness – what we refer to as ’Being and Mixing’.

  • 10.
    Alistarh, Dan
    et al.
    IST Austria, Klosterneuburg, Austria..
    Hoefler, Torsten
    Swiss Fed Inst Technol, Zurich, Switzerland..
    Johansson, Mikael
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.
    Khirirat, Sarit
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.
    Konstantinov, Nikola
    IST Austria, Klosterneuburg, Austria..
    Renggli, Cedric
    Swiss Fed Inst Technol, Zurich, Switzerland..
    The Convergence of Sparsified Gradient Methods2018Inngår i: Advances in Neural Information Processing Systems 31 (NIPS 2018) / [ed] Bengio, S Wallach, H Larochelle, H Grauman, K CesaBianchi, N Garnett, R, Neural Information Processing Systems (NIPS) , 2018, Vol. 31Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Stochastic Gradient Descent (SGD) has become the standard tool for distributed training of massive machine learning models, in particular deep neural networks. Several families of communication-reduction methods, such as quantization, large-batch methods, and gradient sparsification, have been proposed to reduce the overheads of distribution. To date, gradient sparsification methods-where each node sorts gradients by magnitude, and only communicates a subset of the components, accumulating the rest locally-are known to yield some of the largest practical gains. Such methods can reduce the amount of communication per step by up to three orders of magnitude, while preserving model accuracy. Yet, this family of methods currently has no theoretical justification. This is the question we address in this paper. We prove that, under analytic assumptions, sparsifying gradients by magnitude with local error correction provides convergence guarantees, for both convex and non-convex smooth objectives, for data-parallel SGD. The main insight is that sparsification methods implicitly maintain bounds on the maximum impact of stale updates, thanks to selection by magnitude. Our analysis also reveals that these methods do require analytical conditions to converge well, justifying and complementing existing heuristics.

  • 11.
    Altosaar, Toomas
    et al.
    Aalto Univ. School of Science and Tech., Dept. of Signal Proc. & Acoustics.
    ten Bosch, Louis
    Radboud University Nijmegen, Language and Speech unit.
    Aimetti, Guillaume
    Univ. of Sheffield, Speech & Hearing group, Dept. of Computer Science.
    Koniaris, Christos
    KTH, Skolan för elektro- och systemteknik (EES), Ljud- och bildbehandling.
    Demuynck, Kris
    K.U.Leuven - ESAT/PSI.
    van den Heuvel, Henk
    Radboud University Nijmegen, Language and Speech unit.
    A Speech Corpus for Modeling Language Acquisition: CAREGIVER2010Inngår i: 7th International Conference on Language Resources and Evaluation (LREC) 2010, Valletta, Malta / [ed] Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Bente Maegaard and Joseph Mariani and Jan Odijk and Stelios Piperidis and Mike Rosner and Daniel Tapias, European Language Resources Association (ELRA) , 2010, s. 1062-1068Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A multi-lingual speech corpus used for modeling language acquisition called CAREGIVER has been designed and recorded within the framework of the EU funded Acquisition of Communication and Recognition Skills (ACORNS) project. The paper describes the motivation behind the corpus and its design by relying on current knowledge regarding infant language acquisition. Instead of recording infants and children, the voices of their primary and secondary caregivers were captured in both infant-directed and adult-directed speech modes over four languages in a read speech manner. The challenges and methods applied to obtain similar prompts in terms of complexity and semantics across different languages, as well as the normalized recording procedures employed at different locations, is covered. The corpus contains nearly 66000 utterance based audio files spoken over a two-year period by 17 male and 17 female native speakers of Dutch, English, Finnish, and Swedish. An orthographical transcription is available for every utterance. Also, time-aligned word and phone annotations for many of the sub-corpora also exist. The CAREGIVER corpus will be published via ELRA.

  • 12.
    Andersson, Birger
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Bergholtz, Maria
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Johannesson, Paul
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Purpose driven value model design2009Inngår i: CEUR Workshop Proceedings, 2009Konferansepaper (Fagfellevurdert)
    Abstract [en]

    It is increasingly recognized that value models offer an abstraction that is useful for the exploration of new business networks and their properties. Among others, value models can be used as input for a risk analysis that is crucial in cross-organizational business process design. However, as value models can be used for many different purposes, there is a risk that they become overloaded and difficult to understand. In this paper we claim that the form and contents of a value model should be governed by its purpose. We identify a number of basic purposes of value models and outline how a value model is affected by those. The approach builds on an analysis and classification of resources and resource exchanges.

  • 13.
    Andersson, Birger
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Bider, I.
    Johannesson, Paul
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Perjons, Erik
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Towards a formal definition of goal-oriented business process patterns2005Inngår i: Business Process Management Journal, ISSN 1463-7154, E-ISSN 1758-4116, Vol. 11, nr 6, s. 650-662Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Purpose - Organizations of today are becoming ever more focused on their business processes. This has resulted in an increasing interest in using best practices for business process re-engineering. Two problems arise in connection to using best practices: how to find a best practice that suits particular purposes, and how to ensure that the process from the best practice has the same nature as the process under re-engineering. The purpose of this paper is to address these issues. Design/methodology/approach - The paper suggests using business process patterns, i.e. relatively high level business process models, for making near formal comparison of business processes. The paper analyzes widespread modeling techniques to find out which of them suits the task of building patterns for comparison. Based on this analysis, the state-flow modeling technique is chosen and first steps towards formal definition of business process patterns based on this technique are suggested. Findings - A pattern is defined based on the notions of state space, goal, as a surface in the state space, and valid movements towards the goal. A thinkable procedure of constructing patterns is demonstrated on two real-life examples. A hypothetical procedure for comparing process is suggested but it still needs to be verified in practice. Originality/value - The originality of the paper is the way the patterns are formulated and the underlying model, the state-flow view of processes, upon which the patterns are founded.

  • 14.
    Andersson, Martin
    et al.
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Transporter och samhällsekonomi.
    Ejermo, Olof
    How does Accessibility to Knowledge Sources Affect the Innovativeness of Corporations?: Evidence from Sweden2005Inngår i: The annals of regional science, ISSN 0570-1864, E-ISSN 1432-0592, Vol. 39, nr 4, s. 741-765Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper studies the innovative performance of 130 Swedish corporations during 1993-1994. The number of patents per corporation is explained as a function of the accessibility to internal and external knowledge sources of each corporation. A coherent way of handling accessibility measures, within and between corporations located across regions, is introduced. We examine the relative importance of intra- and interregional knowledge sources from 1) the own corporation, 2) other corporations, and 3) universities. The results show that there is a positive relationship between the innovativeness of a corporation and its accessibility to university researchers within regions where own research groups are located. Good accessibility among the corporation's research units does not have any significant effects on the likelihood of generation of patents. Instead the size of the R&D staff of the corporation seems to be the most important internal factor. There is no indication that intraregional accessibility to other corporations' research is important for a corporation's innovativeness. However, there is some indication of reduced likelihood for own corporate patenting when other corporate R&D is located in nearby regions. This may reflect a negative effect from competition for R&D labor.

  • 15. Arribas-Bel, D.
    et al.
    Kourtit, Karima
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Urbana och regionala studier. Mickiewicz University, Poznan, Poland.
    Nijkamp, P.
    Steenbruggen, J.
    Cyber Cities: Social Media as a Tool for Understanding Cities2015Inngår i: Applied Spatial Analysis and Policy, ISSN 1874-463X, Vol. 8, nr 1, s. 231-247Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    ‘Big’ urban data are increasingly becoming accessible for scientific research and policy use. They may enhance the intelligence that is needed for understanding and mapping out social connectivity phenomena (in the sense of Jane Jacobs) in modern smart cities. The present paper aims to highlight and demonstrate the rich potential of information based on digital technology in modern cities. As a case study example of the power of social media data as a support tool in smart cities, we consider Twitter data in the municipality of Amsterdam. We use machine learning techniques to identify temporal patterns that we then relate back to their spatial dimension, effectively connecting the digital with physical aspect of cities. We also show that analysis of geo-referenced tweets can shed significant light on physical aspects of the city and on the spatial distribution of urban functions.

  • 16.
    Aslaksen Jonasson, Alexander
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Wahlforss, Alfred
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Diagnosis of Dementia using Transformer Models2020Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Dementia is a syndrome of illnesses resulting in cognitive decline, severely impacting the lives of those afflicted as well as their loved ones. The most common form of dementia is Alzheimer's disease, with roughly 10 million new cases each year. In this study we examine different machine learning models and approaches aimed to aid healthcare professionals in early diagnosis of Alzheimer's disease, potentially automating parts of the diagnostic process. We evaluate our models on the Pitt corpus of the Dementia Bank dataset, using 10-fold cross validation. We compare the BERT and RoBERTa transformer models, and find that both models achieve high accuracy, precision, and specificity. The highest accuracy is achieved by RoBERTa, reaching an accuracy of 86.72%, a precision of 90.69% and a specificity of 90.53%. Furthermore, we explore the viability of using automated speech recognition for automatic transcription of audio samples from patient meetings. RoBERTa achieves an accuracy of 83.59% using transcripts generated by Google's automatic speech recognition, suggesting such methods may be viable for automating certain parts of the diagnostic process.

    In addition to the exploration of transformer models and their viability for dementia diagnostics, this paper provides a market analysis of a potential automated diagnostics tool utilizing transformer models. The analysis is based on a literature study and on two interviews; one with the CEO of a start-up providing automated dementia tests for healthcare professionals, and one with a psychologist researching dementia as well as potential methods of early diagnosis of dementia. With the interviews and literature study as a basis, we use the SWOT framework, and PEST analysis along with Porter's five forces framework to analyse the current market potential for such an automated tool. Despite detecting several obstacles and difficulties prior to market entry, we find significant potential for such a product given the current state of the market.

    Fulltekst (pdf)
    fulltext
  • 17. Atserias, Albert
    et al.
    Lauria, Massimo
    Nordström, Jakob
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Narrow Proofs May Be Maximally Long2016Inngår i: ACM Transactions on Computational Logic, ISSN 1529-3785, E-ISSN 1557-945X, Vol. 17, nr 3, artikkel-id 19Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n(Omega(w)). This shows that the simple counting argument that any formula refutable in width w must have a proof in size n(O(w)) is essentially tight. Moreover, our lower bound generalizes to polynomial calculus resolution and Sherali-Adams, implying that the corresponding size upper bounds in terms of degree and rank are tight as well. The lower bound does not extend all the way to Lasserre, however, since we show that there the formulas we study have proofs of constant rank and size polynomial in both n and w.

  • 18.
    Azhari, Mohammad
    et al.
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Vårdlogistik.
    Raghothama, Jayanth
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Vårdlogistik.
    Meijer, Sebastiaan
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Vårdlogistik.
    A Design and Implementation of Interactive Visualizations and Simulation in Transportation2014Inngår i: The Shift from Teaching to Learning: Individual, Collective and Organizational Learning Through Gaming Simulation: Proceedings of the 45th Conferenceof the International Simulation and Gaming Association, 2014Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Transportation Planners have a long history of using Geographical Information Systems, Simulation Models and Visualizations for decision support. A frame-work that integrates all three can provide enhanced decision support, opportuni-ties for training and planning future scenarios. In the current paper, we describe the concept of such a framework and the first steps toward its development.

  • 19. Badashian, A. S.
    et al.
    Afzali, Hamidreza
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Khalkhali, I.
    Delcheh, M. A.
    Shafiei, M. S.
    Mahdavi, M.
    CFM: A file manager with multiple categorization support2010Inngår i: SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, s. 748-751Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper introduces a new file manager to support multiple categorization. The proposed file manager is designed based on a subtle idea named Conceptual File Management (CFM). According to this approach, files are not contained by folders; nevertheless, each file can be a member of one or more folders (concepts). A prototype file manager is designed and implemented based on the new approach. Filtering by set operations and also manual concept selection improves retrieval of the files. CFM improves file system's clarity and avoids ambiguity and redundancy. As a result, it reduces the size of file system and enhances file access.

  • 20. Badashian, A. S.
    et al.
    Afzali, Seyyed Hamidreza
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Delcheh, M. A.
    Mahdavi, M.
    Alipour, M.
    Conceptual file management: Revising the structure of classificationbased information retrieval2010Inngår i: 2010 5th International Conference on Digital Information Management, ICDIM 2010, 2010, s. 108-113Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper addresses the Information Retrieval issues by today's hierarchical systems such as file systems. They usually contain substantial amount of redundant items. Maintaining the structure becomes difficult when large amount of items exist and ambiguity occurs in the structure. In this study, a conceptual method is presented that replaces the " containment" principle involved in current systems by " membership" principle. The proposed Conceptual File Management (CFM) method allows a file to be accessed from multiple folders; furthermore, it keeps the current hierarchical structure with minor changes. CFM reduces the ambiguity and redundancy, therefore the quality of information retrieval is improved. A Conceptual File Manager based on the above-mentioned principle has been developed. Experiments show that it improves the quality of the system in terms of maintaining the structure and retrieving the desired items easier and faster based on users' viewpoints. CFM is applicable to not only traditional file systems on computers, but also file systems on cell phones (and message storage systems), site maps in Web sites, Content Management Systems, taxonomies, and in general, classification based structures.

  • 21. Badashian, A. S.
    et al.
    Firouzabadi, A. D.
    Delcheh, M. A.
    Afzali, Seyyed Hamidreza
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Mahdavi, M.
    Designing a collaborative educational system: A competitive approach to e-learning2010Inngår i: 2010 5th International Conference on Digital Information Management, ICDIM 2010, 2010, s. 478-483Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Tens of thousands of universities are today educating students with different methods for a vast variety of majors. This paper aims to introduce Knowledge Tree (KT) as an integrated virtual structure to be used in the educational systems. A collaborative structure is utilized to define a universal curriculum for various university majors worldwide to maximize e-learning capabilities. Then, a collaborative competitive approach is introduced to enrich the contents of course topics offered based on the mentioned structure. The results based on both educational facts fetched from the search engines and a questionnaire filled by a group of academics from different universities show that this system performs well in educational systems in terms of time, effort and cost.

  • 22.
    Bahri, Leila
    et al.
    KTH.
    Carminati, B.
    Ferrari, E.
    Bianco, A.
    Enhanced audit strategies for collaborative and accountable data sharing in social networks2018Inngår i: ACM Transactions on Internet Technology, ISSN 1533-5399, E-ISSN 1557-6051, Vol. 18, nr 4, artikkel-id 44Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Data sharing and access control management is one of the issues still hindering the development of decentralized online social networks (DOSNs), which are now gaining more research attention with the recent developments in P2P computing, such as the secure public ledger-based protocols (Blockchains) for monetary systems. In a previous work, we proposed an initial audit-based model for access control in DOSNs. In this article, we focus on enhancing the audit strategies and the privacy issues emerging from records kept for audit purposes. We propose enhanced audit and collaboration strategies, for which experimental results, on a real online social network graph with simulated sharing behavior, show an improvement in the detection rate of bad behavior of more than 50% compared to the basic model.We also provide an analysis of the related privacy issues and discuss possible privacy-preserving alternatives.

  • 23.
    Ban, Yifang
    et al.
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geodesi och geoinformatik.
    Jacob, Alexander
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geodesi och geoinformatik.
    Gamba, Paolo
    University of Pavia, Pavia, Italy.
    Spaceborne SAR Data for Global Urban Mapping at 30m Resolution Utilizing a Robust Urban Extractor2015Inngår i: ISPRS journal of photogrammetry and remote sensing (Print), ISSN 0924-2716, E-ISSN 1872-8235, Vol. 103Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    With more than half of the world population now living in cities and 1.4 billion more people expected to move into cities by 2030, urban areas pose significant challenges on local, regional and global environment. Timely and accurate information on spatial distributions and temporal changes of urban areas are therefore needed to support sustainable development and environmental change research. The objective of this research is to evaluate spaceborne SAR data for improved global urban mapping using a robust processing chain, the KTH-Pavia Urban Extractor. The proposed processing chain includes urban extraction based on spatial indices and Grey Level Co-occurrence Matrix (GLCM) textures, an existing method and several improvements i.e., SAR data preprocessing, enhancement, and post-processing. ENVISAT Advanced Synthetic Aperture Radar (ASAR) C-VV data at 30m resolution were selected over 10 global cities and a rural area from six continents to demonstrated robustness of the improved method. The results show that the KTH-Pavia Urban Extractor is effective in extracting urban areas and small towns from ENVISAT ASAR data and built-up areas can be mapped at 30m resolution with very good accuracy using only one or two SAR images. These findings indicate that operational global urban mapping is possible with spaceborne SAR data, especially with the launch of Sentinel-1 that provides SAR data with global coverage, operational reliability and quick data delivery.

  • 24.
    Bao, Lei
    et al.
    KTH, Skolan för elektro- och systemteknik (EES), Kommunikationsteori. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Skoglund, Mikael
    KTH, Skolan för elektro- och systemteknik (EES), Kommunikationsteori. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Fischione, Carlo
    KTH, Skolan för elektro- och systemteknik (EES), Reglerteknik. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Johansson, Karl Henrik
    KTH, Skolan för elektro- och systemteknik (EES), Reglerteknik. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Optimized Rate Allocation for State Estimation over Noisy Channels2009Inngår i: 2009 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, NEW YORK: IEEE , 2009, s. 2684-2688Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Optimal rate allocation in a networked control system with limited communication resources is instrumental to achieve satisfactory overall performance. In this paper, a practical rate allocation technique for state estimation in linear dynamic systems over a noisy channel is proposed. The method consists of two steps: (i) the overall distortion is expressed as a function of rates at all time instants by means of high-rate quantization theory, and (ii) a constrained optimization problem to minimize the overall distortion is solved by using Lagrange duality. Monte Carlo simulations illustrate the proposed scheme, which is shown to have good performance when compared to arbitrarily selected rate allocations.

    Fulltekst (pdf)
    coding-control_isit09
  • 25. Battel, G U
    et al.
    Bresin, Roberto
    KTH, Skolan för datavetenskap och kommunikation (CSC), Medieteknik och interaktionsdesign, MID.
    Analysis by synthesis in piano performance - A study on the theme of the Brahms’ "Variations on a Theme of Paganini€", op. 351993Inngår i: Proceedings of SMAC 93 (Stockholm Music Acoustic Conference), Stockholm: KTH Royal Institute of Technology, 1993, s. 69-73Konferansepaper (Fagfellevurdert)
  • 26. Battel, G U
    et al.
    Bresin, Roberto
    KTH, Skolan för datavetenskap och kommunikation (CSC), Medieteknik och interaktionsdesign, MID.
    De Poli, G
    Vidolin, A
    Automatic performance of musical scores by mean of neural nerworks: evaluation with listening tests1993Inngår i: X CIM Colloquium on Musical Informatics, 1993, s. 97-101Konferansepaper (Fagfellevurdert)
  • 27. Bennaceur, A.
    et al.
    Meinke, Karl
    KTH.
    Machine learning for software analysis: Models, methods, and applications2018Inngår i: International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, Springer, 2018, Vol. 11026, s. 3-49Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Machine Learning (ML) is the discipline that studies methods for automatically inferring models from data. Machine learning has been successfully applied in many areas of software engineering including: behaviour extraction, testing and bug fixing. Many more applications are yet to be defined. Therefore, a better fundamental understanding of ML methods, their assumptions and guarantees can help to identify and adopt appropriate ML technology for new applications. In this chapter, we present an introductory survey of ML applications in software engineering, classified in terms of the models they produce and the learning methods they use. We argue that the optimal choice of an ML method for a particular application should be guided by the type of models one seeks to infer. We describe some important principles of ML, give an overview of some key methods, and present examples of areas of software engineering benefiting from ML. We also discuss the open challenges for reaching the full potential of ML for software engineering and how ML can benefit from software engineering methods.

  • 28. Bentley, F
    et al.
    Tollmar, Konrad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS. KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, KTH Center för Trådlösa System, Wireless@kth.
    Dernirdjian, D
    Koile, K
    Darrell, T
    Perceptive presence2003Inngår i: IEEE Computer Graphics and Applications, ISSN 0272-1716, E-ISSN 1558-1756, Vol. 23, s. 26-36Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Perceptive presence systems automatically convey awareness of user states to a remote location or application without the user having to perform explicit commands or mode selection. The article describes a component-based architecture for creating presence applications using perceptual user interface widgets. Each widget performs a machine perception function, such as tracking a face or monitoring activity in a specific 3D location. Widgets provide an abstraction barrier between the perception algorithms and the needs of application writers. Two example applications developed using this framework are presented: one uses a luminous display to express a user’s availability for communication to a colleague at a remote location, and a second uses activity to control devices in a context-aware environment.

  • 29.
    Berggren, Oliver
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Matti, Zina
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    A Framework for Defining, Measuring, and Predicting Service Procurement Savings2021Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Recent technical advances have paved the way for transformations such as Industry 4.0, Supply Chain 4.0, and new ways for organizations to utilize services to meet the needs of people. In the midst of this shift, a focus has been put on service procurement to meet the demand of everything from cloud computing and information technology to software solutions that support operations or add value to the end customer. Procurement is an integral part of organizations and typically accounts for a substantial part of their costs. Analyzing savings is one of the primary ways of measuring cost reduction and performance. 

    This paper examines how savings can be defined and measured in a unifying way, and determine if machine learning can be used to predict service purchase costs. Semi-structured interviews were utilized to find definitions and measurements. Three decision-tree ensemble machine learning models, XGBoost, LightGBM, and CatBoost were evaluated to study cost prediction. 

    The result indicates that cost reduction and cost avoidance should be seen as a financial, and a performance measure, respectively. Spend and capital binding can be controlled by a budget reallocation system and could be improved further with machine learning cost prediction. 

    The best performing model was XGBoost with a MAPE of 14.17%, compared to the base model’s MAPE of 40.24%. This suggests that budget setting and negotiation can be aided by more accurately predicting cost through machine learning, and in turn have a positive impact on an organization’s resource allocation and profitability.

    Fulltekst (pdf)
    fulltext
  • 30. Berglund, A.
    et al.
    Daniels, M.
    Pears, Arnold
    KTH, Skolan för industriell teknik och management (ITM), Lärande.
    Through the eyes of a research team: Using theory to enhance STEM Education2021Inngår i: 6th International STEM Education Conference, iSTEM-Ed 2021, Institute of Electrical and Electronics Engineers Inc. , 2021Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Computing Education Research (CER) is an example of Discipline-Based Education Research (DBER) that has developed substantively over the last few decades. This is especially true for the Uppsala Computing Education Research Group (UpCERG). In this paper, we use UpCERG as a lens to see how a conscious use of theory can enhance the quality of STEM education. This is accomplished through presenting our use of the concept 'theory' in the paper and by using the theses produced by the group as a way to illustrate the increased importance of theoretical development.

  • 31.
    Bergmark, Linnea
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geoinformatik.
    Evaluating an Automated Method for Digitizing Detailed Plans: Using a Swedish Municipality as Test Case2022Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Frågan om digitala detaljplaner är mer relevant än någonsin i Sverige efter nya direktiv från svenska myndigheter som ålägger kommunerna att digitalisera delar av sina planarkiv. Att digitalisera redan existerande detaljplaner är en tidskrävande process, vilket innebär att effektiva automatiserade metoder kan bli värdefulla för att kunna spara tid. Men för att att veta om en metod kan sägas vara effektiv behöver den först utvärderas. Denna studie syftar till att utvärdera en nyligen presenterad metod för automatiserad digitalisering av detaljplaner, och är den första kvantitativa undersökningen av metoden. De frågeställningar som undersöks är huruvida metoden är effektiv och om den har några svagheter. Dessutom analyseras resultatet utifrån ett antal egenskaper hos detaljplanerna, för att se om dessa egenskaper påverkar kvalitén. Eftersom kvalitén på digitala detaljplaner inte har studerats systematiskt i något tidigare sammanhang har ett av studiens bidrag också varit att ta fram ett ramverk för hur detta kan mätas och bedömas.

    Metoden består av totalt tre steg och de två första stegen som innefattar automatiserad georeferering samt automatiserad vektorisering har applicerats på totalt 75 detaljplaner. En kvantitativ utvärdering av metodens två första steg har sedan genomförts med hjälp av jämförelsedata i form av manuellt digitaliserade detaljplaner.

    Studien visar att ungefär 70% av detaljplanerna i testen kunde georefereras, och 44% av bestämmelseytorna kunde vektoriseras med hjälp av metoden. Resultaten har dock stor spridning i fråga om kvalitét, med felvärden på 5 meter för de mest lyckade resultaten och över 100 meter för de sämsta.

    Svagheterna som identifierades för metoden handlar främst om att georefereringsprocessen krävde omfattande manuell granskning och att den var begränsad till detaljplaner med plankarta i fyrfärg. Dessutom hade de vektorer som genererades ingen självklar tillhörighet till något bestämmelseområde. Gällande vilka egenskaper som påverkade resultatet fann studien att det framför allt var en liten detaljplanearea som hade ett negativt inflytande. De huvudsakliga slutsatserna från studien var att metoden till viss del kunde anses digitalisera detaljplanerna på ett effektivt sätt, och att utvärderingsmetoden kan byggas vidare på i framtida studier genom att ta hänsyn till ytterligare faktorer såsom form på- och avstånd mellan polygonerna.

    Fulltekst (pdf)
    fulltext
  • 32.
    Bertozzi, Otavio
    et al.
    King Abdullah University of Science and Technology, Thuwal, Kingdom of Saudi Arabia.
    Chamorro Vera, Harold Rene
    KTH.
    Gomez-Diaz, Edgar O.
    Universidad Autonoma de Nuevo Leon, San Nicolas de los Garza, Mexico.
    Chong, Michelle S.
    Eindhoven University of Technology, Eindhoven, Netherlands.
    Ahmed, Shehab
    King Abdullah University of Science and Technology, Thuwal, Kingdom of Saudi Arabia.
    Application of data-driven methods in power systems analysis and control2023Inngår i: IET Energy Systems Integration, ISSN 2516-8401Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The increasing integration of variable renewable energy resources through power electronics has brought about substantial changes in the structure and dynamics of modern power systems. In response to these transformations, there has been a surge in the development of tools and algorithms leveraging real-time computational power to enhance system operation and stability. Data-driven methods have emerged as practical approaches for extracting reliable representations from non-linear system data, enabling the identification of dynamics and system parameters essential for analysing stability and ensuring reliable operation. This study provides a comprehensive review of recent contributions in the literature concerning the application of data-driven identification, analysis, and control methods in various aspects of power system operation. Specifically, the focus is on frequency support, power oscillation detection, and damping, which play crucial roles in maintaining grid stability. By discussing the challenges posed by parametric uncertainties, load and source variability, and reduced system inertia, this review sheds light on the opportunities for future research endeavours.

  • 33. Bessani, A.
    et al.
    Brandt, J.
    Bux, M.
    Cogo, V.
    Dimitrova, L.
    Dowling, Jim
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Gholami, Ali
    KTH.
    Hakimzadeh, Kamal
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Hummel, M.
    Ismail, Mahmoud
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Laure, Erwin
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Parallelldatorcentrum, PDC. KTH, Skolan för datavetenskap och kommunikation (CSC), High Performance Computing and Visualization (HPCViz).
    Leser, U.
    Litton, J. -E
    Martinez, R.
    Niazi, Salman
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Reichel, J.
    Zimmermann, K.
    BiobankCloud: A platform for the secure storage, sharing, and processing of large biomedical data sets2016Inngår i: 1st International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2015 and Workshop on Big-Graphs Online Querying, Big-O(Q) 2015 held in conjunction with 41st International Conference on Very Large Data Bases, VLDB 2015, Springer, 2016, s. 89-105Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Biobanks store and catalog human biological material that is increasingly being digitized using next-generation sequencing (NGS). There is, however, a computational bottleneck, as existing software systems are not scalable and secure enough to store and process the incoming wave of genomic data from NGS machines. In the BiobankCloud project, we are building a Hadoop-based platform for the secure storage, sharing, and parallel processing of genomic data. We extended Hadoop to include support for multi-tenant studies, reduced storage requirements with erasure coding, and added support for extensible and consistent metadata. On top of Hadoop, we built a scalable scientific workflow engine featuring a proper workflow definition language focusing on simple integration and chaining of existing tools, adaptive scheduling on Apache Yarn, and support for iterative dataflows. Our platform also supports the secure sharing of data across different, distributed Hadoop clusters. The software is easily installed and comes with a user-friendly web interface for running, managing, and accessing data sets behind a secure 2-factor authentication. Initial tests have shown that the engine scales well to dozens of nodes. The entire system is open-source and includes pre-defined workflows for popular tasks in biomedical data analysis, such as variant identification, differential transcriptome analysis using RNA-Seq, and analysis of miRNA-Seq and ChIP-Seq data.

  • 34.
    Boman, Magnus
    et al.
    Swedish Institute of Computer Science (SICS).
    Johansson, S. J.
    Modeling epidemic spread in synthetic populations - Virtual plagues in Massively Multiplayer Online Games2007Inngår i: 3rd Digital Games Research Association International Conference: "Situated Play", DiGRA 2007, 2007, s. 357-361Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synthetic population, and the game can be seen as a form of interactive executable model for studying disease spread, albeit of a very special kind. To a game developer maintaining an MMOG, recognizing, monitoring, and ultimately controlling a virtual plague is important, regardless of how it was initiated. The prospect of using tools, methods and theory from the field of epidemiology to do this seems natural and appealing. We will address the feasibility of such a prospect, first by considering some basic measures used in epidemiology, then by pointing out the differences between real world epidemics and virtual plagues. We also suggest directions for MMOG developer control through epidemiological modeling. Our aim is understanding the properties of virtual plagues, rather than trying to eliminate them or mitigate their effects, as would be in the case of real infectious disease.

  • 35.
    Boman, Magnus
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS. RISE SICS AB, Sweden.
    Kruse, E.
    Supporting global health goals with information and communications technology2017Inngår i: Global Health Action, ISSN 1654-9716, E-ISSN 1654-9880, Vol. 10, artikkel-id 1321904Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The objective of this study is to critically assess the possible roles of information and communications technology (ICT) in supporting global health goals. This is done by considering privilege and connectibility. In short, ICT can contribute by providing health information via four different kinds of access, each with its own history and prospective future. All four are analyzed here, in two perspectives: business-as-usual and disruptive. Health data analytics is difficult since the digital representation of past, current, and future health information is lacking. The flow of analytics that may prove beneficial to the individual and not just meet abstract population-level goals or ambitions is analyzed in detail. Sensemaking is also needed, to meet the minimum requirement of making prospective future services understandable to policymakers. Drivers as well as barriers for areas in which policy decisions have the potential to drive positive developments for meeting the Sustainable Development Goals are identified.

  • 36. Borkar, A.
    et al.
    Hayes, M.
    Smith, Mark T.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Kommunikationssystem, CoS.
    A template matching and ellipse modeling approach to detecting lane markers2010Inngår i: Advanced Concepts for Intelligent Vision Systems: 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part II, Springer, 2010, nr PART 2, s. 179-190Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Lane detection is an important element of most driver assistance applications. A new lane detection technique that is able to withstand some of the common issues like illumination changes, surface irregularities, scattered shadows, and presence of neighboring vehicles is presented in this paper. At first, inverse perspective mapping and color space conversion is performed on the input image. Then, the images are cross-correlated with a collection of predefined templates to find candidate lane regions. These regions then undergo connected components analysis, morphological operations, and elliptical projections to approximate positions of the lane markers. The implementation of the Kalman filter enables tracking lane markers on curved roads while RANSAC helps improve estimates by eliminating outliers. Finally, a new method for calculating errors between the detected lane markers and ground truth is presented. The developed system showed good performance when tested with real-world driving videos containing variations in illumination, road surface, and traffic conditions.

  • 37.
    Bosik, Geni
    et al.
    KTH, Skolan för kemi, bioteknologi och hälsa (CBH), Medicinteknik och hälsosystem, Hälsoinformatik och logistik.
    Gergis, Fadi
    KTH, Skolan för kemi, bioteknologi och hälsa (CBH), Medicinteknik och hälsosystem, Hälsoinformatik och logistik.
    Identifiering och Klassificering av trafikljussignaler med hjälp av maskininlärningsmodeller: Jämförelse, träning, testning av maskininlärningsmodeller för identifiering och klassificering av trafikljussignaler.2024Independent thesis Basic level (university diploma), 10 poäng / 15 hpOppgave
    Abstract [sv]

    Detta examensarbete utforskade utvecklingen av avancerade maskininlärningsmodeller föratt förbättra autonoma transportsystem. Genom att fokusera på identifiering och klassificering av trafikljussignaler, bidrog arbetet till säkerheten och effektiviteten hos självkörandefordon. En granskning av modeller som Single Shot MultiBox Detector (SSD), som objektdetekteringsmodell, InceptionV3 och VGG16, som klassificeringsmodeller, genomfördes,med särskild vikt på deras träning och testningsprocesser.Resultaten, med avseende på valideringsnoggrannhet ’accuracy’ och valideringsförlust(loss), visade att InceptionV3-modellen presterade väl över olika parametrar. Denna modellvisade sig vara robust och anpassningsbar, vilket gjorde den till ett bra val för projektets målom noggrann och pålitlig klassificering av trafikljussignaler.Å andra sidan visade VGG16-modellen varierande resultat. Medan den presterade väl undervissa förutsättningar, visade den sig vara mindre robust vid vissa parametrarinställningar,speciellt vid högre batch-storlekar, vilket ledde till lägre valideringsnoggrannhet och högrevalideringsförlust.

    Fulltekst (pdf)
    fulltext
  • 38.
    Bowers, John
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk Analys och Datalogi, NADA.
    Bannon, L.
    Fraser, M.
    Hindmarsh, J.
    Benford, S.
    Heath, C.
    Taxén, Gustav
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk Analys och Datalogi, NADA.
    Ciolfi, L.
    From the disappearing computer to living exhibitions: Shaping interactivity in museum settings2007Inngår i: The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments / [ed] Norbert Streitz, Achilles Kameas, Irene Mavrommati, Springer, 2007, s. 30-49Kapittel i bok, del av antologi (Fagfellevurdert)
  • 39.
    Bradley, Gunilla
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    The convergence theory and the good ICT society - Trends and visions2009Inngår i: Industrial Engineering and Ergonomics: Visions, Concepts, Methods and Tools, Springer Berlin/Heidelberg, 2009, s. 43-55Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    The area of Information and Communication Technology (ICT) and its interaction with social changes on organizational, individual and societal levels has, in the 21st Century attracted increasing attention, due to the depth and wide use of ICT. The focus on the ICT related disciplines has focused far too much on the technology push in contrast to human needs and requirements of the development, introduction and use of ICT. This was also the reason, when organising and chairing the Fourth ODAM conference (Organisational Design and Management) in Stockholm in 1994, that this author gave the conference the subtitle - Development, Introduction and Use of New Technology - Challenges for Human Organisation and Human Resource Development in a Changing World.

  • 40.
    Bradley, Gunilla
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    The convergence theory on ICT, society and human beings - towards the good ICT society2010Inngår i: tripleC: Communication, Capitalism & Critique, E-ISSN 1726-670X, Vol. 8, nr 2, s. 183-192Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The convergence model illustrates ongoing changes in the Net Society. However the theoretical model goes back and synthesises the theoretical framework in research on psychosocial work environment and computerization. Interdisciplinary research programs were initiated by the author in the 70th and then analyzed changes in society related to various periods in "the history" of ICT. The description of the convergence model is structured with reference to the concepts Globalization, ICT, Life Environment, Life Role, Effects on Humans. Both Convergence and Interactions are important features in the model. There are four levels of analysis - individual, organisational, community, and societal.

  • 41.
    Bradley, Gunilla
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    The convergence theory on ICT, society, and human beings: Towards the good ICT society2010Inngår i: Information and Communication Technologies, Society and Human Beings: Theory and Framework, IGI Global, 2010, s. 30-46Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    The convergence model illustrates ongoing changes in the Net Society. The theoretical model synthesises the theoretical framework in the author's research on the psychosocial work environment and computerization. Interdisciplinary research programs were initiated by the author in the 1970s, leading to analysis of societal changes related to various periods in 'the history' of ICT. The description of the convergence model is structured with reference to the core concepts of Globalisation, ICT, Life Environment, Life Role, and Effects on Humans. Convergence and Interactions are important features of the model that organizes analysis at the individual, organisational, community, and societal levels.

  • 42.
    Bradley, Gunilla
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Whitehouse, D.
    Challenges to peace in the 21st century: Working towards a good information and communication society2012Inngår i: ICT Critical Infrastructures and Society: 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedings, 2012, s. 274-284Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This short reflection paper emphasises the need for contemporary society to focus on the positive, the beneficial and the humane. There are considerable challenges to peace in the 21st century. People are increasingly concentrating on war and violence. To counter this preoccupation with the negative, the authors explore a number of avenues that may - from a psycho- logical, sociological or societal perspective - help human beings to think and act in a more peaceful, non-violent manner. The ideas covered are contained within an overall framework that focuses on the need to work together towards a Good Information and Communication Society. The focus is on action, education and study that have an international orientation rather than simply being undertaken on the local or national levels.

  • 43.
    Bradley, Gunilla
    et al.
    KTH.
    Whitehouse, D.
    Kommers, P.
    Isaías, P.
    Foreword2012Inngår i: Proceedings of the IADIS International Conference ICT, Society and Human Beings 2012, Proceedings of the IADIS International Conference e-Commerce 2012, 2012, s. xi-xiiKonferansepaper (Fagfellevurdert)
  • 44.
    Bresin, Roberto
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Människocentrerad teknologi, Medieteknik och interaktionsdesign, MID.
    Mancini, Maurizio
    University College Cork National University of Ireland: Cork, IE.
    Elblaus, Ludvig
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Människocentrerad teknologi, Medieteknik och interaktionsdesign, MID.
    Frid, Emma
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Människocentrerad teknologi, Medieteknik och interaktionsdesign, MID.
    Sonification of the self vs. sonification of the other: Differences in the sonification of performed vs. observed simple hand movements2020Inngår i: International journal of human-computer studies, ISSN 1071-5819, E-ISSN 1095-9300, Vol. 144Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Existing works on interactive sonification of movements, i.e., the translation of human movement qualities from the physical to the auditory domain, usually adopt a predetermined approach: the way in which movement features modulate the characteristics of sound is fixed. In our work we want to go one step further and demonstrate that the user role can influence the tuning of the mapping between movement cues and sound parameters. Here, we aim to verify if and how the mapping changes when the user is either the performer or the observer of a series of body movements (tracing a square or an infinite shape with the hand in the air). We asked participants to tune movement sonification while they were directly performing the sonified movement vs. while watching another person performing the movement and listening to its sonification. Results show that the tuning of the sonification chosen by participants is influenced by three variables: role of the user (performer vs observer), movement quality (the amount of Smoothness and Directness in the movement), and physical parameters of the movements (velocity and acceleration). Performers focused more on the quality of their movement, while observers focused more on the sonic rendering, making it more expressive and more connected to low-level physical features.

  • 45.
    Bresin, Roberto
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Medieteknik och interaktionsdesign, MID.
    Manduchi, Roberto
    Una sorgente di melodie con controllo di entropia1989Konferansepaper (Fagfellevurdert)
  • 46.
    Bresin, Roberto
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Människocentrerad teknologi, Medieteknik och interaktionsdesign, MID.
    Pauletto, Sandra
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Människocentrerad teknologi, Medieteknik och interaktionsdesign, MID.
    Laaksolahti, Jarmo
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Människocentrerad teknologi, Medieteknik och interaktionsdesign, MID.
    Gandini, Erik
    SKH Stockholm University of the Arts.
    Looking for the soundscape of the future: preliminary results applying the design fiction method2020Inngår i: Sound and Music Computing Conference 2020, 2020Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The work presented in this paper is a preliminary study in a larger project that aims to design the sound of the future through our understanding of the soundscapes of the present, and through methods of documentary filmmaking, sound computing and HCI. This work is part of a project that will complement and run parallel to Erik Gandini’s research project ”The Future through the Present”, which explores how a documentary narrative can create a projection into the future, and develop a cinematic documentary aesthetics that releases documentary film from the constraints of dealing with the present or the past. The point of departure is our relationship to labour at a time when Robotics, VR/AR and AI applied to Big Data outweigh and augment our physical and cognitive capabilities, with automation expected to replace humans on a large scale within most professional fields. From an existential perspective this poses the question: what will we do when we don’t have to work? And challenges us to formulate a new idea of work beyond its historical role. If the concept of work ethics changes, how would that redefine soundscapes? Will new sounds develop? Will sounds from the past resurface? In the context of this paper we try to tackle these questions by first applying the Design Fiction method. In a workshop with twenty-three participants predicted both positive and negative future scenarios, including both lo-fi and hi-fi soundscapes, and in which people will be able to control and personalize soundscapes. Results are presented, summarized and discussed.

  • 47.
    Bronder, Axel
    et al.
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geodesi och geoinformatik.
    Persson, Erik
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Samhällsplanering och miljö, Geodesi och geoinformatik.
    Design, Implementation and Evaluation of a Mobile GIS Solution for a Land Registration Project in Lesotho2013Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    This thesis describes in detail how a mobile Geographical Information System (GIS) was designed, implemented and evaluated for the prevailing circumstances of a land regularisation project in Lesotho in Southern Africa. The GIS was developed as an application for the Android platform, primarily with the tablet-computer format in mind, to be used for land registration field work.

    The main purpose of the paper is to determine whether an ad hoc mobile GIS solution can improve the efficiency of the field work as well as the integrity of the data collected in the field work of the land regularisation project in Lesotho. The aim is also to evaluate the performance and usefulness of modern tablet computers in this context.

    The application was developed and tested on site in Lesotho on two tablet computers borrowed from Samsung Electronics AB in Sweden. After the development phase, the solution was later implemented on tablet computers of a different model for the remainderof the land regularisation project in Lesotho.

    The design process started with a field visit where the work-flow of the project was analysed. From this a needs analysis were formed together with the management staff on site that served as a base for the development process. The development and implementation was then performed with continuous communication and evaluation with the personnel of the project. As the development progressed, the solution was also tested and evaluated continuously in the field work.

    Not only did the solution perform well both software- and hardware-wise, despite strong sun from high altitudes and lack of internet connection in Lesotho, it also exceeded the expectations of the staff. The solution significantly improved the work environment for the field workers of the project and the efficiency was raised, according to the evaluation. A unified management staff concludes in the evaluation of this paper that they will consider using tablet computers together with an ad hoc application for the field work of their next project.

    Fulltekst (pdf)
    MScThesis_Geoinformatics_AxelBronder_ErikPersson
  • 48.
    Brouwer, A.-M.
    et al.
    TNO Human Factors.
    Hogervorst, M.A.
    TNO Human Factors.
    Herman, Pawel
    Radboud University.
    Kooi, F.
    TNO Human Factors.
    Are you really looking?: Finding the answer through fixation patterns and EEG2009Inngår i: FOUNDATIONS OF AUGMENTED COGNITION, PROCEEDINGS  , Springer, 2009, Vol. 5638 LNAI, s. 329-338Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Eye movement recordings do not tell us whether observers are 'really looking' or whether they are paying attention to something else than the visual environment. We want to determine whether an observer's main current occupation is visual or not by investigating fixation patterns and EEG. Subjects were presented with auditory and visual stimuli. In some conditions, they focused on the auditory information whereas in others they searched or judged the visual stimuli. Observers made more fixations that are less cluttered in the visual compared to the auditory tasks, and they were less variable in their average fixation location. Fixated features revealed which target the observers were looking for. Gaze was not attracted more by salient features when performing the auditory task. 8-12 Hz EEG oscillations recorded over the parieto-occipital regions were stronger during the auditory task than during visual search. Our results are directly relevant for monitoring surveillance workers.

  • 49. Browall, C.
    et al.
    Tollmar, Konrad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS.
    Petterson, F.
    Camelot - Rundabordssamtal och seminarier kring framtidens boende (A workshop serie about domestic technologies)2002Bok (Annet vitenskapelig)
  • 50.
    Brynielsson, Joel
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Yap, M. H.
    Message from the Program Chairs2015Inngår i: Proceedings - 2015 European Intelligence and Security Informatics Conference, EISIC 2015, IEEE conference proceedings, 2015, artikkel-id 7379713Konferansepaper (Fagfellevurdert)
1234567 1 - 50 of 368
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf