his.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1 - 48 av 48
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Allen, M. R.
    et al.
    Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada.
    Cruttwell, G. S. H.
    Department of Mathematics and Statistics, Dalhousie University, Halifax, N.S., Canada.
    Hare, Kathryn E.
    Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för vård och natur.
    Dimensions of fractals in the large2007Ingår i: Chaos, Solitons & Fractals, ISSN 0960-0779, E-ISSN 1873-2887, Vol. 31, nr 1, s. 5-13Artikel i tidskrift (Refereegranskat)
  • 2.
    Amouzgar, Kaveh
    et al.
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system. Product Development Department, School of Engineering, Jönköping University, Jönköping, Sweden.
    Strömberg, Niclas
    Department of Mechanical Engineering, School of Science and Technology, University of Örebro, Sweden.
    Radial basis functions as surrogate models with a priori bias in comparison with a posteriori bias2017Ingår i: Structural and multidisciplinary optimization (Print), ISSN 1615-147X, E-ISSN 1615-1488, Vol. 55, nr 4, s. 1453-1469Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In order to obtain a robust performance, the established approach when using radial basis function networks (RBF) as metamodels is to add a posteriori bias which is defined by extra orthogonality constraints. We mean that this is not needed, instead the bias can simply be set a priori by using the normal equation, i.e. the bias becomes the corresponding regression model. In this paper we demonstrate that the performance of our suggested approach with a priori bias is in general as good as, or even for many test examples better than, the performance of RBF with a posteriori bias. Using our approach, it is clear that the global response is modelled with the bias and that the details are captured with radial basis functions. The accuracy of the two approaches are investigated by using multiple test functions with different degrees of dimensionality. Furthermore, several modeling criteria, such as the type of radial basis functions used in the RBFs, dimension of the test functions, sampling techniques and size of samples, are considered to study their affect on the performance of the approaches. The power of RBF with a priori bias for surrogate based design optimization is also demonstrated by solving an established engineering benchmark of a welded beam and another benchmark for different sampling sets generated by successive screening, random, Latin hypercube and Hammersley sampling, respectively. The results obtained by evaluation of the performance metrics, the modeling criteria and the presented optimal solutions, demonstrate promising potentials of our RBF with a priori bias, in addition to the simplicity and straight-forward use of the approach.

  • 3.
    Bennet, Christian
    et al.
    Göteborgs universitet.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för vård och natur.
    Philosophy and mathematics education2013Ingår i: Modus Tolland: En festskrift med anledning av Anders Tollands sextioårsdag / [ed] Filip Radovic & Susanna Radovic, Göteborg: Göteborgs universitet , 2013, s. 9-23Kapitel i bok, del av antologi (Övrig (populärvetenskap, debatt, mm))
  • 4.
    Bennet, Christian
    et al.
    Göteborgs universitet.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för vård och natur. Högskolan i Skövde, Forskningsspecialiseringen Hälsa och Lärande.
    The Viability of Social Constructivism as a Philosophy of Mathematics2013Ingår i: Croatian Journal of Philosophy, ISSN 1333-1108, E-ISSN 1847-6139, Vol. XIII, nr 39, s. 341-355Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Attempts have been made to analyse features in mathematics within a social constructivist context. In this paper we critically examine some of those attempts recently made with focus on problems of the objectivity, ontology, necessity, and atemporality of mathematics. Our conclusion is that these attempts fare no better than traditional alternatives, and that they, furthermore, create new problems of their own.

  • 5.
    Billing, Erik
    et al.
    Umeå universitet, Institutionen för datavetenskap.
    Servin, Martin
    Institutionen för fysik, Umeå universitet.
    Composer: A prototype multilingual model composition tool2013Ingår i: MODPROD2013: 7th MODPROD Workshop on Model-Based Product Development / [ed] Peter Fritzson, Umeå: Umeå universitet , 2013Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Facing the task to design, simulate or optimize a complex system itis common to find models and data for the system expressed in differentformats, implemented in different simulation software tools. When a newmodel is developed, a target platform is chosen and existing componentsimplemented with different tools have to be converted. This results inunnecessary work duplication and lead times. The Modelica languageinitiative [2] partially solves this by allowing developers to move modelsbetween different tools following the Modelica standard. Another possi-bility is to exchange models using the Functional Mockup Interface (FMI)standard that allows computer models to be used as components in othersimulations, possibly implemented using other programming languages[1]. With the Modelica and FMI standards entering development, there isneed for an easy-to-use tool that supports design, editing and simulationof such multilingual systems, as well as for retracting system informationfor formulating and solving optimization problems.A prototype solution for a graphical block diagram tool for design, edit-ing, simulation and optimization of multilingual systems has been createdand evaluated for a specific system. The tool is named Composer [3].The block diagram representation should be generic, independent ofmodel implementations, have a standardized format and yet support effi-cient handling of complex data. It is natural to look for solutions amongmodern web technologies, specifically HTML5. The format for represent-ing two dimensional vector graphics in HTML5 is Scalable Vector Graphics(SVG). We combine the SVG format with the FMI standard. In a firststage, we take the XML-based model description of FMI as a form for de-scribing the interface for each component, in a language independent way.Simulation parameters can also be expressed on this form, and integratedas metadata into the SVG image. 

    The prototype, using SVG in conjunction with FMI, is implementedin JavaScript and allow creation and modification of block diagrams directly in the web browser. Generated SVG images are sent to the serverwhere they are translated to program code, allowing the simulation ofthe dynamical system to be executed using selected implementations. Analternative mode is to generate optimization problem from the systemdefinition and model parameters. The simulation/optimization result is 

    returned to the web browser where it is plotted or processed using otherstandard libraries.The fiber production process at SCA Packaging Obbola [4] is used asan example system and modeled using Composer. The system consists oftwo fiber production lines that produce fiber going to a storage tank [5].The paper machine is taking fiber from the tank as needed for production.A lot of power is required during fiber production and the purpose of themodel was to investigate weather electricity costs could be reduced byrescheduling fiber production over the day, in accordance with the electricity spot price. Components are implemented for dynamical simulationusing OpenModelica and for discrete event using Python. The Python implementation supports constraint propagation between components andoptimization over specified variables. Each component is interfaced as aFunctional Mock-up Unit (FMU), allowing components to be connectedand properties specified in language independent way. From the SVGcontaining the high-level system information, both Modelica and Pythoncode is generated and executed on the web server, potentially hosted ina high performance data center. More implementations could be addedwithout modifying the SVG system description.We have shown that it is possible to separate system descriptions onthe block diagram level from implementations and interface between thetwo levels using FMI. In a continuation of this project, we aim to integratethe FMI standard also for co-simulation, such that components implemented in different languages could be used together. One open questionis to what extent FMUs of the same component, but implemented withdifferent tools, will have the same model description. For the SVG-basedsystem description to be useful, the FMI model description must remainthe same, or at least contain a large overlap, for a single component implemented in different languages. This will be further investigated in futurework.

  • 6.
    Boström, Henrik
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Maximizing the Area under the ROC Curve with Decision Lists and Rule Sets2007Ingår i: Proceedings of the 7th SIAM International Conference on Data Mining / [ed] C. Apte, B. Liu, S. Parthasarathy, D. Skillicorn, Society for Industrial and Applied Mathematics , 2007, s. 27-34Konferensbidrag (Refereegranskat)
    Abstract [en]

    Decision lists (or ordered rule sets) have two attractive properties compared to unordered rule sets: they require a simpler classi¯cation procedure and they allow for a more compact representation. However, it is an open question what effect these properties have on the area under the ROC curve (AUC). Two ways of forming decision lists are considered in this study: by generating a sequence of rules, with a default rule for one of the classes, and by imposing an order upon rules that have been generated for all classes. An empirical investigation shows that the latter method gives a significantly higher AUC than the former, demonstrating that the compactness obtained by using one of the classes as a default is indeed associated with a cost. Furthermore, by using all applicable rules rather than the first in an ordered set, an even further significant improvement in AUC is obtained, demonstrating that the simple classification procedure is also associated with a cost. The observed gains in AUC for unordered rule sets compared to decision lists can be explained by that learning rules for all classes as well as combining multiple rules allow for examples to be ranked according to a more fine-grained scale compared to when applying rules in a fixed order and providing a default rule for one of the classes.

  • 7.
    Brownlee, Alexander E. I.
    et al.
    University of Stirling, United Kingdom.
    Swan, Jerry
    University of York, United Kingdom.
    Senington, Richard
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Kocsis, Zoltan A.
    The University of Manchester, United Kingdom.
    Conflict-free routing of multi-stop warehouse trucks2019Ingår i: Optimization Letters, ISSN 1862-4472, E-ISSN 1862-4480Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The recent interest in greater vehicular autonomy for factory and warehouse automation has stimulated research in conflict-free routing: a challenging network routing problem in which vehicles may not pass each other. Motivated by a real-world case study, we consider one such application: truck movements in a tightly constrained warehouse. We propose an extension of an existing conflict-free routing algorithm to consider multiple stopping points per route. A high level metaheuristic is applied to determine the route construction and assignment of vehicles to routes. 

  • 8.
    Chokhachian, Ata
    et al.
    The Technical University of Munich, Germany.
    Hooshyar Yousefi, Bahram
    The Vienna University of Technology, Austria.
    Toward Object-Oriented Knowledge-Based Parametric Design Thinking2015Konferensbidrag (Refereegranskat)
    Abstract [en]

    The parameter, as a variable of differentiation, defines the limits and boundaries of a system and the conditions for its operation. It is through parameters that we are able to produce certain logical relationships between different parts in design procedure. Fundamental to this, however, is the assumption that the object or phenomenawe are modeling is in fact quantifiable. Advances in computational processing have promoted our capacity, and thus faith in the ability, to systematically classify and itemize the world around us. The Parametricism Manifesto concerns itself solely with appearance and arejection of the term Parametricism in certain levels could be clearly visible within the contemporary discourse of Object-oriented and knowledge-based approach that reflects the cognitive attitude of the designer/architect regarding the object-oriented reasoning and analogy. Moreover, instead of having parametric manifestation alternate terms such as digitally intelligent design , algorithmic design, object oriented design , Context-oriented design , Parametric thinking , and even postparametric design have arisen and could be used to describe this vastly differentiated field. What these design theories do share, however, is a predilection and belief in the tool. Nowadays the project fields are information-rich contexts and the tool sets for design are able to interpret, analyze, synthesize and realize these data into the design procedure. This research mainly aims to uncover potentialities of the existing enablers and assistive technologies in context-oriented design in order to have more content-embedded architectural conceptualization solutions.

  • 9.
    Conder, Marston
    et al.
    University of Auckland, New Zealand.
    Stokes, Klara
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system. National University of Ireland Maynooth, Co. Kildare, Ireland.
    New methods for finding minimum genus embeddings of graphs on orientable and non-orientable surfaces2019Ingår i: Ars Mathematica Contemporanea, ISSN 1855-3966, Vol. 17, nr 1, s. 1-35Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The question of how to find the smallest genus of all embeddings of a given finite connected graph on an orientable (or non-orientable) surface has a long and interesting history. In this paper we introduce four new approaches to help answer this question, in both the orientable and non-orientable cases. One approach involves taking orbits of subgroups of the automorphism group on cycles of particular lengths in the graph as candidates for subsets of the faces of an embedding. Another uses properties of an auxiliary graph defined in terms of compatibility of these cycles. We also present two methods that make use of integer linear programming, to help determine bounds for the minimum genus, and to find minimum genus embeddings. This work was motivated by the problem of finding the minimum genus of the Hoffman-Singleton graph, and succeeded not only in solving that problem but also in answering several other open questions.

  • 10.
    Griggs, Terry
    et al.
    The Open University, UK.
    Stokes, Klara
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    On Pentagonal Geometries with Block Size 3, 4 or 52016Ingår i: Symmetries in Graphs, Maps, and Polytopes: 5th SIGMAP Workshop, West Malvern, UK, July 2014 / [ed] Jozef Širáň, Robert Jajcay, Springer, 2016, s. 147-157Kapitel i bok, del av antologi (Refereegranskat)
  • 11.
    Gundeboina, Saidulu
    Högskolan i Skövde, Institutionen för teknik och samhälle.
    Finite Element Analysis of a Washing Machine Cylinder2010Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    In this thesis a finite element model of a household washing machine cylinder is built and analysed in ABAQUS 6.9-2. The aim is to help Asko appliances in conducting similar analysis for future manufacturing of high capacity cylinders by reducing experimentation. The analysis is mainly concerned with an evenly distributed load at a constant angular velocity. The load is applied with the help of lead plates instead of clothes. The cylinder is loaded with three thin (2 mm) lead plates weighing 2 kg each. The plates with dimensional 370x240x2 mm are mounted with one strip of double sided foam tape inside the cylinder. To estimate the behavior of the cylinder the strains are measured when the cylinder is rotating at 1620 and 2200 revolution per minute (rpm). To validate the model the numerical analyses are compared with experimental results. The results clearly show that the numerical strain values fit with experimental strain values.

  • 12.
    Hare, Kathryn E.
    et al.
    Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för naturvetenskap.
    Applications of generalized Perron trees to maximal functions and density bases1998Ingår i: Journal of Fourier Analysis and Applications, ISSN 1069-5869, E-ISSN 1531-5851, Vol. 4, nr 2, s. 215-227Artikel i tidskrift (Refereegranskat)
  • 13.
    Hare, Kathryn E.
    et al.
    Department of Pure Mathematics, University of Waterloo, Canada.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för naturvetenskap.
    Fractal dimensions of infinite product spaces2004Ingår i: International journal of pure and applied mathematics, ISSN 1311-8080, E-ISSN 1314-3395, Vol. 14, nr 2, s. 139-167Artikel i tidskrift (Refereegranskat)
  • 14.
    Hare, Kathryn E.
    et al.
    Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario Canada.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för naturvetenskap.
    The size of Max(p) sets and density bases2002Ingår i: Journal of Fourier Analysis and Applications, ISSN 1069-5869, E-ISSN 1531-5851, Vol. 8, nr 3, s. 259-268Artikel i tidskrift (Refereegranskat)
  • 15.
    Holst, Anders
    et al.
    RISE SICS, Stockholm, Sweden.
    Pashami, Sepideh
    Center for Applied Intelligent Systems Research (CAISR), Halmstad University, Sweden.
    Bae, Juhee
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Incremental causal discovery and visualization2019Ingår i: Proceedings of the Workshop on Interactive Data Mining, WIDM 2019, Association for Computing Machinery (ACM), 2019, s. 1-6Konferensbidrag (Refereegranskat)
    Abstract [en]

    Discovering causal relations from limited amounts of data can be useful for many applications. However, all causal discovery algorithms need huge amounts of data to estimate the underlying causal graph. To alleviate this gap, this paper proposes a novel visualization tool which incrementally discovers causal relations as more data becomes available. That is, we assume that stronger causal links will be detected quickly and weaker links revealed when enough data is available. In addition to causal links, the correlation between variables and the uncertainty of the strength of causal links are visualized in the same graph. The tool is illustrated on three example causal graphs, and results show that incremental discovery works and that the causal structure converges as more data becomes available. 

  • 16.
    Höglund, Marlen
    Högskolan i Skövde, Institutionen för kommunikation och information.
    När kan jag använda mina kunskaper i matematik?: teoretisk och praktisk betydelse för grundskolans matematik2011Självständigt arbete på avancerad nivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I skolan anses matematiken vara ett viktigt ämne och den upptar en stor del av skolans undervisningstid. Däremot har det märkts en trend bland eleverna i grundskolan att de mer och mer ifrågasätter varför de över huvud taget måste lära sig matematik. Ren matematik som de läser i skolan kan det många gånger vara svårt att se nyttan med. Påföljande matematik blir då sedan svårare och svårare att ge bra motiveringar till varför man bör kunna.  Många elever och vuxna känner även en ren ångest när man pratar om ämnet matematik. Vad är egentligen matematik, var används den och till vad? Var kommer matematiken ifrån? Hur uppstod den? Är det intressant och relevant för elever att få kunskap om detta? Har matematikundervisningen följt den snabba samhällsutvecklingen och vad behöver vi egentligen lära oss för matematik i grundskolan? Behöver alla få undervisning i matematik? Matematiken finns överallt omkring oss och synen på matematiken eleverna erhållit har formats av hela samhället. Hur mycket påverkar läraren elevernas inställning och vad har föräldrarna för del i det hela? Studien tar upp det matematiska lärandet, matematikens användande och den matematiska fostran.

  • 17.
    Izquierdo, Milagros
    et al.
    Department of Mathematics, Linköping University, Linköping, Sweden.
    Stokes, Klara
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Isometric point-circle configurations on surfaces from uniform maps2016Ingår i: Symmetries in Graphs, Maps, and Polytopes: 5th SIGMAP Workshop, West Malvern, UK, July 2014 / [ed] Jozef Širáň, Robert Jajcay, Springer, 2016, s. 201-212Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    We embed neighborhood geometries of graphs on surfaces as point-circle configurations. We give examples coming from regular maps on surfaces with a maximum number of automorphisms for their genus, and survey geometric realization of pentagonal geometries coming from Moore graphs. An infinite family of point-circle v4 configurations on p-gonal surfaces with two p-gonal morphisms is given. The image of these configurations on the sphere under the two p-gonal morphisms is also described.

  • 18.
    Järkehed, Jennie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Mellgren, Hanna
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Från utopi till generell princip: Lärares uppfattningar av individanpassad undervisning i matematik2008Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Enligt läroplanen för det obligatoriska skolväsendet, förskoleklassen och fritidshemmet (Lpo 94) är ett av lärarnas uppdrag att individanpassa undervisningen. I publicerade utredningar, tidningsartiklar och avhandlingar framgår det att elevers kunskaper inom matematiken sviktar. En orsak till detta anses vara att fokus i den individanpassade undervisningen i matematik riktar sig främst mot enskilt arbete. Enligt vår erfarenhet av den individanpassade matematikundervisningen stämmer detta påstående relativt bra. Vi anser att det för lärare i många fall kan vara svårt att tillmötesgå varje elev utifrån deras förutsättningar och behov. En brist som kan förklara varför eleverna inte når målen i matematik i årskurs nio tror vi kan vara att många lärare inte har tillräckligt med kunskap om vad individanpassad undervisning i matematik innebär. Syftet med studien var att undersöka lärares uppfattningar av individanpassad undervisning i grundskolans tidigare år i ämnet matematik. Genom en kvalitativ metod med intervju som teknik, och med utgångspunkt i fenomenografin, var studiens övergripande syfte att bidra med kunskap inom området skolmatematik. Idén i detta var att bidra till debatten om nödvändigheten att stärka elevers kunskaper i matematik. Syftet med studien var även att diskutera implikationer för eleven som kan bli till följd av en individanpassad undervisning i matematik, enligt lärarnas utsagor. Resultatet i studien visar att det finns fyra kvalitativt åtskilda kategorier av lärares uppfattningar av individanpassad undervisning i matematik. Uppfattningarna är individanpassad undervisning i matematik som generell princip för undervisning, individanpassad undervisning i matematik som utopi individanpassad undervisning i matematik som metod och individanpassad undervisning i matematik som kategoralt tänkande. I vår studie har det visat sig att genom en individanpassad undervisning i matematik blir undervisningen mer demokratisk, eleven får en bättre förutsättning för att lära sig grunden i matematik samt att eleven får ett ökat självförtroende inför ämnet.

  • 19.
    Karlsson, Stefan
    Göteborgs universitet.
    Topics on cubic hypersurfaces1998Doktorsavhandling, monografi (Övrigt vetenskapligt)
  • 20.
    Lowe, Robert
    University of Hertfordshire.
    The Evolution of Affective Displays and Related Strategies2007Doktorsavhandling, monografi (Övrigt vetenskapligt)
  • 21.
    Lowe, Robert
    et al.
    Adaptive Systems Research Group, School of Computer Science, University of Hertfordshire.
    Cañamero, Lola
    Adaptive Systems Research Group, School of Computer Science, University of Hertfordshire.
    Nehaniv, Chrystopher L.
    Adaptive Systems Research Group, School of Computer Science, University of Hertfordshire.
    Polani, Daniel
    Adaptive Systems Research Group, School of Computer Science, University of Hertfordshire.
    The Evolution of Affect-Related Displays, Recognition and Related Strategies2004Ingår i: Artificial Life IX: Proceedings of the Ninth International Conference on the Simulation and Synthesis of Living Systems / [ed] Jordan Pollack, Mark Bedau, Phil Husbands, Takashi Ikegami, & Richard A. Watson, MIT Press, 2004, s. 176-181Konferensbidrag (Refereegranskat)
  • 22.
    Lowe, Robert
    et al.
    Adaptive Systems Research Group, Faculty of Engineering and Information Sciences, University of Hertfordshire.
    Cañamero, Lola
    Adaptive Systems Research Group, Faculty of Engineering and Information Sciences, University of Hertfordshire.
    Nehaniv, Chrystopher
    Adaptive Systems Research Group, Faculty of Engineering and Information Sciences, University of Hertfordshire.
    Polani, Daniel
    Adaptive Systems Research Group, Faculty of Engineering and Information Sciences, University of Hertfordshire.
    Strategies in the Evolution of Affect Related Displays and Recognition2004Ingår i: The Logic of Artificial Life: Abstracting And Synthesizing The Principles Of Living Systems: Proceedings of the 6th German Workshop on Artificial Life, April 14-16, 2004, Bamberg, Germany, IOS Press, 2004, s. 89-95Konferensbidrag (Refereegranskat)
  • 23.
    Lowe, Robert
    et al.
    Adaptive Systems Research Group, Faculty of Engineering and Information Sciences, University of Hertfordshire, United Kingdom.
    Polani, Daniel
    Adaptive Systems Research Group, Faculty of Engineering and Information Sciences, University of Hertfordshire, United Kingdom.
    Preventing bluff agent invasions in honest societies2003Ingår i: Advances in Artificial Life: 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003. Proceedings / [ed] Wolfgang Banzhaf, Jens Ziegler, Thomas Christaller, Peter Dittrich, Jan T. Kim, Springer Berlin/Heidelberg, 2003, s. 118-127Konferensbidrag (Refereegranskat)
  • 24.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Andler, Sten F.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    The effect of optimizing engine control on fuel consumption and roll amplitude in ocean-going vessels: An experimental study2015Rapport (Övrigt vetenskapligt)
    Abstract [en]

    We use data-generated models based on data from experiments of an ocean-going vessel to study the effect of optimizing fuel consumption. The optimization is an add-on module to the existing diesel-engine fuel-injection control built by Q-TAGG R&D AB. The work is mainly a validation of knowledge-based models based on a priori knowledge from physics. The results from a simulation-based analysis of the predictive models built on data agree with the results based on knowledge-based models in a companion study. This indicates that the optimization algorithm saves fuel. We also address specific problems of adapting data to existing machine learning methods. It turns out that we can simplify the problem by ignoring the auto-correlative effects in the time series by employing low-pass filters and resampling techniques. Thereby we can use mature and robust classification techniques with less requirements on the data to demonstrate that fuel is saved compared to the full-fledged time series analysis techniques which are harder to use. The trade-off is the accuracy of the result, that is, it is hard to tell exactly how much fuel is saved. In essence, however, this process can be automated due to its simplicity. 

  • 25.
    Pettersson, Kerstin
    Högskolan i Skövde, Institutionen för vård och natur.
    Samspel mellan intuitiva idéer och formella bevis: en fallstudie av universitetsstudenters arbete med en analysuppgift2004Licentiatavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    The aim of this study is to illuminate the interplay between intuitive ideas and formal justification. In a perspective where we focus on the students’ competences we describe the interaction between intuitive ideas and formal structures, as they appear especially in relation to concept definitions and formal proofs. A group of university students have been working on a task in calculus. The task includes the concepts function and derivative and requires of them to use a proof by induction. The discussion between the members of the group has been analyzed in accordance with the principles of intentional analysis, a method by which we regard the students’ activities as intentional. This method of analysis makes the process of interpretation visible. It also makes it possible to make explicit the competences of the students’ and the mathematical content of their actions. In the study examples are given of the interplay between the intuitive ideas and the formal structures and also of the function for this interplay. The students have rich concept images and access to intuitive ideas relevant to the concepts brought to the 4 fore by the task. During the group discussion all components of a complete proof are included in the students’ reasoning. The students create a proof by induction which matches the ordinary pattern for such a proof, but they do not themselves regard it as a proof fitting into the ordinary scheme of argumentation, as they remember it from text-books and teaching. The students put heavy demands upon the formalization of their ideas and these demands are sometimes hampering the problem solving process, but they also encourage the students to expand their search for a solution to the problem at hand.

  • 26.
    Pettersson, Kerstin
    Högskolan i Skövde, Institutionen för vård och natur.
    Växelverkan mellan intuitiva idéer och formella resonemang: En fallstudie av universitetsstudenters arbete med en analysuppgift2008Ingår i: Nordisk matematikkdidaktikk, ISSN 1104-2176, Vol. 13, nr 1, s. 29-50Artikel i tidskrift (Refereegranskat)
    Abstract [sv]

    Studiens syfte är att visa hur en växelverkan mellan intuitiva idéer och formella resonemang kan gestalta sig i en problemlösningsprocess. Studien visar att universitetsstudenter redan under sitt första år av matematikstudier förmår utnyttja en sådan växelverkan. En grupp studenter har arbetat med en analysuppgift som berör begreppen funktion och derivata samt inkluderar ett induktionsbevis. Studenterna utnyttjar i den kreativa processen intuitiva idéer och formella resonemang i ett dynamiskt samspel. Växlingarna har ett flertal funktioner: att kontrollera intuitiva uppfattningar, att skaffa nya utgångspunkter för problemlösningsprocessen, att ekonomisera resonemang och att driva arbetet vidare.

  • 27.
    Pettersson, Kerstin
    et al.
    Högskolan i Skövde, Institutionen för vård och natur.
    Scheja, Max
    Algorithmic contexts and learning potentiality: A case study of students' understanding of calculusManuskript (Övrigt vetenskapligt)
  • 28.
    Runesson, Ulla
    Högskolan i Skövde, Institutionen för kommunikation och information.
    A collective enquiry into critical aspects of teaching the concept of angles2007Ingår i: Nordisk matematikkdidaktikk, ISSN 1104-2176, Vol. 12, nr 4, s. 7-25Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper describes an approach to teaching that enhances pupils’ learning in mathematics. The model described – Learning study – involves teachers and researchers cooperating in an iterative process, gathering data about teaching and pupils’ learning, analysing the data, planning and revising their teaching. A particular theoretical framework was used as a guiding principle when designing and analysing learning. The goal was to identify aspects critical for learning the angle concept. It is demonstrated how the teachers were able to identify the critical aspects and change the teaching in a way that promoted pupils’ learning. What these critical aspects may entail and what teachers and researchers can learn from a Learning study is discussed.

  • 29.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för naturvetenskap.
    A convergence result for square roots of the Poisson kernel in the bidisk1999Ingår i: Mathematica Scandinavica, ISSN 0025-5521, E-ISSN 1903-1807, Vol. 84, nr 1, s. 81-92Artikel i tidskrift (Refereegranskat)
  • 30.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för naturvetenskap.
    Convergence results for the square root of the Poisson kernel1997Ingår i: Mathematica Scandinavica, ISSN 0025-5521, E-ISSN 1903-1807, Vol. 81, nr 2, s. 219-235Artikel i tidskrift (Refereegranskat)
  • 31.
    Rönning, Jan-Olav
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap.
    On convergence for the square root of the Poisson kernel in symmetric spaces of rank 11997Ingår i: Studia Mathematica, ISSN 0039-3223, E-ISSN 1730-6337, Vol. 125, nr 3, s. 219-229Artikel i tidskrift (Refereegranskat)
  • 32.
    Rönning, Jan-Olav
    et al.
    Högskolan i Skövde, Institutionen för naturvetenskap.
    Svensson, Olof
    Linköpings Universitet, Campus Norrköping, Institutionen för teknik och naturvetenskap.
    Convergence for the square root of the Poisson kernel in rank one symmetric spaces against boundary functions with regularity: Preprint Chalmers och Göteborgs Universitet, (79)2001Manuskript (preprint) (Övrigt vetenskapligt)
  • 33.
    Scheja, Max
    et al.
    Stockholm Univ, Dept Educ, S-10691 Stockholm, Sweden.
    Pettersson, Kerstin
    Högskolan i Skövde, Institutionen för vård och natur.
    Transformation and contextualisation: exploring students' conceptual understandings od threshold concept in calculus2010Ingår i: Higher Education, ISSN 0018-1560, E-ISSN 1573-174X, Vol. 59, nr 2, s. 221-241Artikel i tidskrift (Refereegranskat)
  • 34.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för vård och natur. Dept. of Philosophy, Linguistics, and Theory of Science, University of Göteborg.
    A Note on the Relation Between Formal and Informal Proof2010Ingår i: Acta Analytica, ISSN 0353-5150, E-ISSN 1874-6349, Vol. 25, nr 4, s. 447-458Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof (deduction) and informal, mathematical proof.

  • 35.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för vård och natur. Department of Philosophy, Linquistics, Theory of Science, University of Gothenburg, Sweden.
    Holism and Indispensability2012Ingår i: Logique et Analyse, ISSN 0024-5836, E-ISSN 2295-5836, Vol. 55, nr 219, s. 463-476Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    One questioned premiss in the indispensability argument of Quine and Putnam is confirmational holism. In this paper I argue for a weakened form of holism, and thus a strengthened version of the indispensability argument. The argument is based on an idea of concept formation in mathematics. Mathematical concepts are arrived at via a sequence of explications, in Carnap's sense, of non-clear, originally empirical, concepts. I identify a deductive and an empirical component in mathematical concepts. In a test situation the use of the empirical component, but not of the deductive one, is corroborated or falsified together with the scientific theory.

  • 36.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för vård och natur.
    Measuring the Power of Arithmetical Theories2005Licentiatavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    This thesis discusses the possibility to measure the power of extentions of Peano Aritmetic, P A. It consists of three parts, an introduction and two separately written papers. In the introduction we present the problem and briefly give an account of van Lambalgen's and raatikainen's criticism of gnenralization of two versions of Chaitin's incompleteness theorem, and reinforces the above mentioned criticism. The second paper is the main paper of the thesis, and here, using the modal logic GL, we design a measure of the power, in terms of the capacity to prove theorems, of an important set of extentions of P A.

  • 37.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för vård och natur. Department of Philosophy/Logic, University of Göteborg, Gothenburg, Sweden.
    On explicating the concept the power of an arithmetical theory2008Ingår i: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 37, nr 2, s. 183-202Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper I discuss possible ways of measuring the power of arithmetical theories, and the possiblity of making an explication in Carnap’s sense of this concept. Chaitin formulates several suggestions how to construct measures, and these suggestions are reviewed together with some new and old critical arguments. I also briefly review a measure I have designed together with some shortcomings of this measure. The conclusion of the paper is that it is not possible to formulate an explication of the concept.

  • 38.
    Sjögren, Jörgen
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningsspecialiseringen Hälsa och Lärande.
    Philosophy of Mathematics and Mathematics Education: Some Reflections2014Ingår i: IDÉES FIXES: A festschrift dedicated to Christian Bennet on the occasion of his 60th birthday / [ed] Martin Kaså, Göteborg: Department of Philosophy, Linguistics and Theory of Science , 2014, s. 85-100Kapitel i bok, del av antologi (Refereegranskat)
  • 39.
    Sjögren, Jörgen
    et al.
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningsspecialiseringen Hälsa och Lärande.
    Bennet, Christian
    Department of Pedagogical, Curricular and Professional Studies, University of Gothenburg, Sweden.
    Concept Formation and Concept Grounding2014Ingår i: Philosophia (Ramat Gan), ISSN 0048-3893, E-ISSN 1574-9274, Vol. 42, nr 3, s. 827-839Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Recently Carrie S. Jenkins formulated an epistemology of mathematics, or rather arithmetic, respecting apriorism, empiricism, and realism. Central is an idea of concept grounding. The adequacy of this idea has been questioned e.g. concerning the grounding of the mathematically central concept of set (or class), and of composite concepts. In this paper we present a view of concept formation in mathematics, based on ideas from Carnap, leading to modifications of Jenkins’s epistemology that may solve some problematic issues with her ideas. But we also present some further problems with her view, concerning the role of proof for mathematical knowledge.

  • 40.
    Stokes, Klara
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Irreducibility of configurations2016Ingår i: Ars Mathematica Contemporanea, ISSN 1855-3966, Vol. 10, nr 1, s. 169-181Artikel i tidskrift (Refereegranskat)
  • 41.
    Stokes, Klara
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Patterns of ideals of numerical semigroups2016Ingår i: Semigroup Forum, ISSN 0037-1912, E-ISSN 1432-2137, Vol. 93, nr 1, s. 180-200Artikel i tidskrift (Refereegranskat)
  • 42.
    Stokes, Klara
    et al.
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Izquierdo, Milagros
    Department of Mathematics, Linköping University, Linköping Sweden.
    Geometric point-circle pentagonal geometries from Moore graphs2016Ingår i: Ars Mathematica Contemporanea, ISSN 1855-3966, Vol. 11, nr 1, s. 215-229Artikel i tidskrift (Refereegranskat)
  • 43.
    Stokes, Klara
    et al.
    Universitat Rovira i Virgili, Tarragona, Spain.
    Torra, Vicenç
    Universitat Autònoma de Barcelona (UAB), Spain.
    On some clustering approaches for graphs2011Ingår i: Fuzzy Systems (FUZZ), 2011, IEEE conference proceedings, 2011, s. 409-415Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we discuss some tools for graph perturbation with applications to data privacy. We present and analyse two different approaches. One is based on matrix decomposition and the other on graph partitioning. We discuss these methods and show that they belong to two traditions in data protection: noise addition/microaggregation and k-anonymity.

  • 44.
    Stokes, Klara
    et al.
    Universitat Rovira i Virgili, Tarragona, Spain.
    Torra, Vicenç
    Universitat Autònoma de Barcelona (UAB), Spain.
    On the Relationship Between Clustering and Coding Theory2012Ingår i: 2012 IEEE International Conference on Fuzzy Systems: Brisbane, Australia (June 10-15, 2012) / [ed] Hussein Abbass, Daryl Essam & Ruhul Sarker, IEEE conference proceedings, 2012, s. Article number 6250783-Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we discuss the relations between clustering and error correcting codes. We show that clustering can be used for constructing error correcting codes. We review the previous works found in the literature about this issue, and propose a modification of a previous work that can be used for code construction from a set of proposed codewords.

  • 45.
    Stokes, Klara
    et al.
    Universitat Rovira i Virgili, Tarragona, Catalonia, Spain.
    Torra, Vicenç
    IIIA, Institut d’Investigació en Intel ligència Artificial CSIC, Consejo Superior de Investigaciones Científicas, Bellaterra, Catalonia, Spain.
    Reidentification and k-anonymity: a model for disclosure risk in graphs2012Ingår i: Soft Computing - A Fusion of Foundations, Methodologies and Applications, ISSN 1432-7643, E-ISSN 1433-7479, Vol. 16, nr 10, s. 1657-1670Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this article we provide a formal framework for reidentification in general. We define n-confusion as a concept for modeling the anonymity of a database table and we prove that n-confusion is a generalization of k-anonymity. After a short survey on the different available definitions of k-anonymity for graphs we provide a new definition for k-anonymous graph, which we consider to be the correct definition. We provide a description of the k-anonymous graphs, both for the regular and the non-regular case. We also introduce the more flexible concept of (k, l)-anonymous graph. Our definition of (k, l)-anonymous graph is meant to replace a previous definition of (k, l)-anonymous graph, which we here prove to have severe weaknesses. Finally, we provide a set of algorithms for k-anonymization of graphs.

  • 46.
    Tadesse, Yohannes
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Using Edge-induced and Vertex-induced Subhypergraph Polynomials2015Ingår i: Mathematica Scandinavica, ISSN 0025-5521, E-ISSN 1903-1807, Vol. 117, nr 2, s. 161-169Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    For a hypergraph H, we consider the edge-induced and vertex-induced subhypergraph polynomials and study their relation. We use this relation to prove that both polynomials are reconstructible, and to prove a theorem relating the Hilbert series of the Stanley-Reisner ring of the independent complex of H and the edge-induced subhypergraph polynomial. We also consider reconstruction of some algebraic invariants of H.

  • 47.
    Torra, Vicenç
    et al.
    Institut d'Investigacío en Intellig̀encia Artificial, Consejo Superior de Investigaciones Cient́ficas, Universitat Aut̀onoma de Barcelona, Bellaterra, Catalonia, Spain.
    Stokes, Klara
    Departments of Computer Science and Mathematics, Universitat Rovira i Virgili, Tarragona, Spain / UNESCO Chair in Data Privacy, Tarragona, Catalonia, Spain.
    Narukawa, Yasuo
    Toho Gakuen, Tokyo, Japan / Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology, Yokohama, Japan.
    An extension of fuzzy measures to multisets and its relation to distorted probabilities2012Ingår i: IEEE transactions on fuzzy systems, ISSN 1063-6706, E-ISSN 1941-0034, Vol. 20, nr 6, s. 1032-1045Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Fuzzy measures are monotonic set functions on a reference set; they generalize probabilities replacing the additivity condition by monotonicity. The typical application of these measures is with fuzzy integrals. Fuzzy integrals integrate a function with respect to a fuzzy measure, and they can be used to aggregate information from a set of sources (opinions from experts or criteria in a multicriteria decision-making problem). In this context, background knowledge on the sources is represented by means of the fuzzy measures. For example, interactions between criteria are represented by means of nonadditive measures. In this paper, we introduce fuzzy measures on multisets. We propose a general definition, and we then introduce a family of fuzzy measures for multisets which we show to be equivalent to distorted probabilities when the multisets are restricted to proper sets

  • 48.
    Åkerblad, Niklas
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Animationsarbete till spelet Colosseum: Code of Hammurabi: en studie i hur man skapar animationer till ett spel utifrån dess kontext och spelsystem utan att kunna testa dessa i en prototyp.2007Självständigt arbete på grundnivå (kandidatexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [sv]

    Denna rapport behandlar det animationsarbete som jag gått igenom för att försöka skapa så trovärdiga och dynamiska animationer som möjligt till spelet Colosseum: Code of Hammurabi och dess nya omarbetade stridssystem. Jag har utgått från ett relativt sparsmakat designdokument som i princip bara förklarar kortfattat hur spelmekaniken ska fungera på en grundläggande nivå samt en animationslista på animationer som ska finnas i spelet. Spelet ska i slutändan innehålla 3 olika vapenstilar men på grund av tidsbrist har jag valt att fokusera på en av dess, nämligen kampstilen för strid med tvåhandssvärd. Först har jag analyserat det gamla stridssystemet för att ha en grund att stå på, för att bland annat se vilka brister mitt tidigare arbete präglats av. Utifrån diverse referenser som behandlar medeltida stridkonst inom nyss nämnda kampstil har jag hämtat det mesta av inspirationen och följaktligen kryddat dessa jordnära anvisningar med mina egna idéer samt ett antal fightingspel med spektakulära kontexter och även försökt dra nytta av det material som finns i kampsportsfilmer. Mycket av arbetet har cirkulerat kring att lära sig hur animationer implementeras i ett stridssystem och vilka tekniska samt programmerarmässiga relationer man måste ta hänsyn till. Jag har även försökt ha Disneys 12 animationsprinciper i bakhuvudet för att ha en teoretisk källa till hur animation ska se ut och fungera.

1 - 48 av 48
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf