No description available.

No description available.

No description available.

No description available.

The objectives and goals of this study is to analyze different styles of viewing information on mobile platforms and to find out what each different view brings to the table by creating and testing them with varied users. The study takes into account List View, Scroll View, and Grid View and compares them while viewing three different data formats. For this study, plain text, tabulated text, and interactive text will be analyzed. Smart mobile devices are the most used platform to view data in today's information rich world according to a survey conducted by Forrester Research. When designing for them, a lot must be considered but not knowing what is best suited for each application can be daunting for developers and designers, especially in the user experience context. This study aims to explore each mobile interface and give a better understanding about the different user interface designs features. Information visualization on cross-media information spaces and platforms is an important part of how information is disseminated today. Considering nowadays people get their information through multiple different media platforms like tablets, mobile phones, and web browsers, how to visualize data across all these platforms is a study to focus on in itself. The study showed that users performed better with certain views paired with different data types over others. Certain features of each view helped users understand the data types better over others while others improved users speed in reading data. Users showed certain preferences when interacting with each view on mobile devices when viewing cross media information which is mentioned in the study. / Målet för den här studien är att analysera olika sätt att visa information på mobila enheter och jämföra dessa genom att testa med olika användare. Studien undersöker de olika vyerna List View, Scroll View och Grid View och jämför dem med tre olika dataformat: vanlig text, tabellerad text och interaktiv text. Smarta mobila enheter är den mest använda plattformen för att synliggöra i dagens informationsrika samhälle enligt en undersökning av Forrester Research. När man utformar designlösningar för smarta mobila enheter är det mycket man behöver ta hänsyn till. Att inte veta vad som är bäst för varje applikation kan vara en svår uppgift för utvecklare och designers, särskilt ur användarperspektiv. Den här studiens syfte är att utforska varje mobilt gränssnitt och ge en bättre förståelse för de olika designlösningarna. Att visualisera information på olika mediers informationsytor och plattformar är en viktig del av hur information sprids idag.Om man tar i beaktan att människor numera får information via flertalet medieplattformar som tex läsplattor, mobiltelefoner, och webbläsare så inser man att visualisering av data på alla dessa medieplattformar är en studie i sig. Studien visade att användare lyckades bättre med vissa vyer och datatyper i kombination jämfört med andra. Specifika funktioner i varje vy hjälpte användare att förstå vissa datatyper bättre än andra, medan andra förbättrade användarnas snabbhet att läsa data. Användare tycktes föredra att interagera med vyer på mobila enheter när de tittade på information på olika medieplattformar, vilket nämns i studien.

Förståelsen för användarnas behov är i centrum för att kunna utveckla produkter som är välanpassade för användarna. Skidutrustning är generellt definierad av sina funktioner, användbarhet och sin prestanda och därför är dess utveckling till stor grad styrd av teknik. Hur företag går tillväga för att uppfylla användarnas behov ser olika ut från företag till företag. Forskning kring olika metoder för användarinvolvering görs för att kunna ta fram produkter som på bästa sätt uppfyller användarens behov. Syftet med denna studie är att studera hur användarna involveras i produktutvecklingsprocessen för skidutrustning. Undersöka vilka metoder företagen använder för att involvera användarna och under vilka faser de involveras, samt att erhålla information om hur denna data bearbetas och hur den används i produktutvecklingsprocessen. Studien analyserar hur olika skidföretag i Norden integrerar användarna i sina utvecklingsprocesser och diskuterar sedan dess fördelar, nackdelar och konsekvenser. En litteraturstudie gjordes för att ta fram en teoretisk referensram. Fyra olika skidföretag i Norden som producerar alpinskidor intervjuades utifrån en intervjuguide som tagits fram för att svara på studiens frågeställningar. Därefter transkriberades intervjuerna, nyckelord hittades och sex stycken teman togs fram. Dessa teman är; under vilken fas användaren involveras, fördelar, utmaningar, val av användare, val av metod för användarinvolvering och grad av användarinvolvering. Alla företagens likheter och olikheter analyserades och jämfördes mot varandra och mot litteraturen under dessa sex teman, därefter kunde slutsatser dras under alla dessa teman. Studien kom fram till att prototyptestning är viktig för produktutvecklingen enligt samtliga intervjuade företag. Användarna kan utöver prototyptestning involveras på flera sätt och till högre samt lägre grad, det är också möjligt att användarna inte involveras utöver prototyptestning. Samtliga företag ansåg att de involverar användarna så mycket som de tycker är passande och möjligt för produkten som utvecklas. När företagen jämfördes mot varandra visade det sig att graden och metoden av användarinvolvering varierade mycket. Trots att de delar samma syn gällande att användarinvolvering är gynnsamt för utvecklingen av produkter. Det spekulerades kring paralleller mellan företagens framgång samt grad av användarinvolvering men inga tydliga slutsatser kunde dras. / In today's society, it is inevitable that the need for users' inputs are increasingly utilized by companies. Understanding the users' needs and wishes is at the center of being able to develop products that are well adapted to the users. Research on different methods is available in many different business areas as there are several examples of its profitability. Ski equipment is generally defined by its features, usability, durability and performance, therefore is its development largely governed by technology. The origin and purpose of this study is to investigate how the users are involved in the ski manufacturing business area. This study explores different methods for user involvement and seeks to understand how different degrees of user involvement are used in practice relative to the literature. This study further analyzes how different ski companies in the Nordic countries integrate users into their product development process and investigates its advantages, disadvantages and consequences. A literature study was conducted to develop a theoretical reference framework composed by various theories that had previously been researched. Thereafter, four different ski companies who produce alpine skis in the Nordic countries were interviewed based on an interview guide that had been developed to answer the research questions. Subsequently, the interviews were transcribed, keywords were traced, six themes were developed and studied in more detail. These themes are; the product developments phases, benefits, challenges, choice of user for the development process, choice of method for user involvement and degree of user involvement. All the companies' similarities and differences were analyzed within the six themes and conclusions were drawn under all of the themes. This study displayed that prototype testing is important for the product development process and is used by all interviewed companies. In addition to prototype testing, users could be involved in more ways and to greater extents. The interviewed companies showed similarities when users were involved in prototype testings but in retrospect, differences in choice of methods and degree of user involvement was immensely varied between the companies. All the companies felt that they involved the users as much as they thought fit and was possible for the product to develop. However, when the companies were compared to each other, it turned out that the degree of user involvement varied greatly. Parallels between the companies' success and degree of user involvement are speculated but no clear conclusions could be drawn.

<p> Algebraic simplification is the task of reducing an algebraic expression to a simpler form without changing the meaning of the expression. Simplification is generally a difficult task and may have different meanings according to what the subject considers as "simple" . This thesis starts off by reverse-engineering the concept of algebraic processors in the IMPS interactive mathematical proof system - which is responsible for handling all the algebraic simplification tasks - and discusses its algorithm and usage in detail. Then it explores the idea of algebraic processors as generic programs that can be configured for any type of algebraic structure to simplify expressions of that type by first formalizing the theory of algebraic processors of IMPS and then extending it to provide solutions for related topics. Algebraic processors can be defined for any user-defined algebra, as long as it conforms to the structure defined in this paper. The processors are defined as external units that can communicate with other mechanized mathematics systems in a trustable fashion and provide a program and a proof of correctness for any requests of simplification. Finally, some related processors such as one for simplification in partial orders and equivalence classes are outlined with some discussion of possible future expansions.</p> / Thesis / Master of Science (MSc)

<p>Shared programming systems typically fall into one of two categories: systems to distribute code between users, and systems to allow shared access to editing or debugging facilities. Version-control systems allow distribution of code and are often more than adequate for large-scale software development occurring over a long period of time, but they can become unwieldy for fast iterative or exploratory development in which multiple users wish to participate. In these situations, shared editors or pair programming tools may suffice,with the caveat that any user of the system can typically modify any of the code at will. Rather than connecting several users to the same editor session, it would be more effective to allow users to maintain separate sessions while quickly sharing selected chunks of code at will.</p> <p>To enable this paradigm, we have designed a new interpreter to allow distributed users to selectively share code and data at run-time. Our solution consists of a bytecode virtual machine <em>back-end </em>with access to a shared environment and a management mechanism to control creation and usage of these resources. By providing access to interpreter sessions overa network connection, we do not tie our interpreter to executing code from any one particular programming language, allowing any conforming <em>front-end</em> compiler and user interface to be used. This solution allows the development burden of shared programs to be distributed dynamically between users at run-time through the shared environment while still affording control over what and when to share, thereby facilitating more effective incremental or experimental multi-user programming.</p>

Spreadsheets are routinely used in business and scientific contexts, and one of the most vexing challenges data analysts face is performing data cleaning prior to analysis and evaluation. The ad-hoc and arbitrary nature of data cleaning problems, such as typos, inconsistent formatting, missing values, and a lack of standardization, often creates the need for highly specialized pipelines. We ask whether an LLM can find its way around a spreadsheet and how to support end-users in taking their free-form data processing requests to fruition. Just like RAG retrieves context to answer users' queries, we demonstrate how we can retrieve elements from a code library to compose data processing pipelines. Through comprehensive experiments, we demonstrate the quality of our system and how it is able to continuously augment its vocabulary by saving new codes and pipelines back to the code library for future retrieval. / Master of Science / Spreadsheets are frequently utilized in both business and scientific settings, and one of the most challenging tasks that must be accomplished before analysis and evaluation can take place is the cleansing of the data. The ad-hoc and arbitrary nature of issues in data quality, such as typos, inconsistent formatting, missing values, and lack of standardization, often creates the need for highly specialized data cleaning pipelines. Within the scope of this thesis, we investigate whether a large language model (LLM) can navigate its way around a spreadsheet, as well as how to assist end-users in bringing their free-form data processing requests to fruition. Just like Retrieval-Augmented Generation (RAG) retrieves context to answer user queries, we demonstrate how we can retrieve elements from a Python code reference to compose data processing pipelines. Through comprehensive experiments, we showcase the quality of our system and how it is capable of continuously improving its code-writing ability by saving new codes and pipelines back to the code library for future retrieval.

An antenna array is overloaded when the number of cochannel signals in its operating environment exceeds the number of elements. Conventional space-time array processing for narrow-band signals fails in overloaded environments. Overloaded array processing (OLAP) is most difficult when signals impinging on the array are near equal power, have tight excess bandwidth, and are of identical signal type. Despite the failure of conventional beamforming in such environments, OLAP becomes possible when a receiver exploits additional signal properties such as the finite-alphabet property and signal excess-bandwidth. This thesis proposes three approaches to signal extraction in overloaded environments, each providing a different tradeoff in performance and complexity. The first receiver architecture extracts signals from an overloaded environment through the use of MMSE interference rejection filtering embedded in a successive interference cancellation (SIC) architecture. The second receiver architecture enhances signal extraction performance by embedding a stronger interference rejection receiver, the reduced-state maximum aposteriori probability (RS-MAP) algorithm in a similar SIC architecture. The third receiver fine-tunes the performance of spatially reduced search joint detection (SRSJD) with the application of an energy focusing transform (EFT), a complexity reducing front-end linear pre-processor. A new type of EFT, the Energy Focusing Unitary Relaxed Transform (EFURT) is developed. This transform facilitates a continuous tradeoff between noise-enhancement and error-propagation in an SRSJD framework. EFURT is used to study the role of this tradeoff for SRSJD receivers in a variety of signal environments. It is found that for the environments studied in this thesis, SRSJD enjoys an aggressive reduction in interference at the expense of possible noise-enhancement. / Ph. D.