SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:hh ;lar1:(hh)"

Sökning: LAR1:hh > Högskolan i Halmstad

  • Resultat 31-40 av 10821
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
31.
  • Abrahamsson, Cristian, et al. (författare)
  • En Delfistudie om lärares uppfattning av elevengagemang i NO-undervisningen
  • 2019
  • Ingår i: NorDiNa. - Oslo : Naturfagsenteret / Norwegian Centre for Science Education. - 1504-4556 .- 1894-1257. ; 15:2, s. 128-144
  • Tidskriftsartikel (refereegranskat)abstract
    • What happens in a science classroom where students are engaged and how do teachers observe and interpret student engagement? This article highlights teachers’ perspective on students’ engagement in science education and to what extent it is connected to the scientific content. This approach complements earlier research which focuses mostly on students’ attitude towards science education and their interest in various topics in science.The findings are based on a three-stage Delphi survey distributed to 39 expert science teachers. The results shows science education with a range of different perspectives and that most teachers do not perceive any direct connection between specific science topics and the students’ engagement. The survey also shows that teachers to a high level interpret students’ emotional expressions and academic behavior as engagement rather than their cognitive behavior.
  •  
32.
  • Abrahamsson, Kajsa H., 1956, et al. (författare)
  • Patients´views on periodontal disease; attitutes to oral health and expectancy of periodontal treatment: a qualitative interview study
  • 2008
  • Ingår i: Oral Health & Preventive Dentistry. - New Malden, Surry : Quintessence Publishing Co. Ltd.. - 1602-1622 .- 1757-9996. ; 6:3, s. 209-216
  • Tidskriftsartikel (refereegranskat)abstract
    • Purpose: The aim of the study was to explore and gain an understanding of patients' views on their periodontal conditions, their perceived impact of periodontitis on daily life, as well as their attitudes to oral health and expectations of treatment. Materials and Methods: The study subjects were patients with chronic periodontitis, who had been referred to a specialist clinic. The constant comparative method for grounded theory was used to collect and analyse the data. Audiotaped, open-ended interviews were conducted after periodontal examination, but before treatment. The interviews were transcribed verbatim and consecutively analysed in hierarchical coding processes and continued until saturation was reached (n = 17). In the analysis, a conceptual model that outlined the steps involved in the diagnosis of periodontitis was generated. The core concept of the model, keeping up appearance and self-esteem, was related to the following four additional categories and their dimensions; doing what you have to do - trying to live up to the norm, suddenly having a shameful and disabling disease, feeling deserted and in the hands of an authority, and investing all in a treatment with an unpredictable outcome. Results: The results illustrated that subjects diagnosed with chronic periodontitis felt ashamed and were willing to invest all they had in terms of time, effort and financial resources to become healthy and to maintain their self-esteem. However, they perceived a low degree of control over treatment decisions and treatment outcome. Conclusions: The results demonstrate the vulnerability of patients diagnosed with chronic periodontitis and emphasise the importance of communication in dentistry.
  •  
33.
  •  
34.
  •  
35.
  • Abuella, Mohamed, 1980-, et al. (författare)
  • Data-Driven Explainable Artificial Intelligence for Energy Efficiency in Short-Sea Shipping
  • 2023
  • Ingår i: Machine Learning and Knowledge Discovery in Databases. - Cham : Springer. - 9783031434297 - 9783031434303 ; , s. 226-241
  • Konferensbidrag (refereegranskat)abstract
    • The maritime industry is under pressure to increase energy efficiency for climate change mitigation. Navigational data, combining vessel operational and environmental measurements from onboard instruments and external sources, are critical for achieving this goal. Short-sea shipping presents a unique challenge due to the significant influence of surrounding landscape characteristics. With high-resolution onboard data increasingly accessible through IoT devices, appropriate data representations and AI/ML analytical tools are needed for effective decision support. The aim of this study is to investigate the fuel consumption estimation model’s role in developing an energy efficiency decision support tool. ML models that lacking explainability may neglect important factors and essential constraints, such as the need to meet arrival time requirements. Onboard weather measurements are compared to external forecasts, and our findings demonstrate the necessity of eXplainable Artificial Intelligence (XAI) techniques for effective decision support. Real-world data from a short-sea passenger vessel in southern Sweden, consisting of 1754 voyages over 15 months (More of data description and code sources of this study can be found in the GitHub repository at https://github.com/MohamedAbuella/ST4EESSS), are used to support our conclusions.  © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
  •  
36.
  • Aceto, Luca, et al. (författare)
  • A Rule Format for Unit Elements
  • 2009
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.
  •  
37.
  • Aceto, Luca, et al. (författare)
  • A rule format for unit elements
  • 2010
  • Ingår i: SOFSEM 2010. - Berlin : Springer Berlin/Heidelberg. - 9783642112652 - 9783642112669 ; , s. 141-152
  • Konferensbidrag (refereegranskat)abstract
    • This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.
  •  
38.
  • Aceto, Luca, et al. (författare)
  • Algebraic properties for free!
  • 2009
  • Ingår i: Bulletin of the European Association for Theoretical Computer Science. - : European Association for Theoretical Computer Science. - 0252-9742. ; 99, s. 81-103
  • Tidskriftsartikel (refereegranskat)abstract
    • Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.
  •  
39.
  • Aceto, Luca, et al. (författare)
  • Decompositional Reasoning about the History of Parallel Processes
  • 2010
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.
  •  
40.
  • Aceto, L., et al. (författare)
  • Decompositional Reasoning about the History of Parallel Processes
  • 2011
  • Ingår i: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
  • Konferensbidrag (refereegranskat)abstract
    • This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 31-40 av 10821
Typ av publikation
tidskriftsartikel (4749)
konferensbidrag (3340)
bokkapitel (1098)
rapport (442)
annan publikation (273)
doktorsavhandling (243)
visa fler...
bok (152)
forskningsöversikt (116)
recension (110)
samlingsverk (redaktörskap) (108)
licentiatavhandling (107)
proceedings (redaktörskap) (55)
patent (28)
konstnärligt arbete (7)
visa färre...
Typ av innehåll
refereegranskat (8116)
övrigt vetenskapligt/konstnärligt (2161)
populärvet., debatt m.m. (544)
Författare/redaktör
Vinel, Alexey, 1983- (242)
Stambulova, Natalia, ... (202)
Nandakumar, Kutty Se ... (157)
Svensson, Göran, 196 ... (153)
Ivarsson, Andreas, 1 ... (150)
Svedberg, Petra, 197 ... (149)
visa fler...
Jonsson, Magnus, 196 ... (143)
Johnson, Urban, 1961 ... (128)
Fridlund, Bengt (128)
Andersson, Svante, 1 ... (126)
Solberg Søilen, Klau ... (120)
Nowaczyk, Sławomir, ... (117)
Bremander, Ann, 1957 ... (114)
Bergman, Stefan, 195 ... (113)
Larsson, Ingrid, 196 ... (106)
Bigun, Josef, 1961- (105)
Sandberg, Mikael, 19 ... (102)
Iagnemma, Karl (95)
Rosén, Bengt - Göran ... (93)
Nygren, Jens M., 197 ... (92)
Alonso-Fernandez, Fe ... (90)
Bacauskiene, Marija (87)
Nilsson, Pernilla, 1 ... (86)
Verikas, Antanas, 19 ... (84)
Gabrielsson, Jonas, ... (82)
Jormfeldt, Henrika, ... (75)
Karlsson, Staffan, 1 ... (75)
Skärsäter, Ingela, 1 ... (72)
Bååth, L.B. 1948- (71)
Gelzinis, Adas (70)
Tiwari, Prayag, 1991 ... (69)
Pettersson, Håkan, 1 ... (68)
Holmdahl, Rikard (68)
Fors, Vaike, 1969- (68)
Tideman, Magnus, 195 ... (65)
Verikas, Antanas (65)
Mousavi, Mohammad Re ... (64)
Svensson, Göran (64)
Taha, Walid, 1971- (64)
Berg, Martin, 1977- (64)
Sjöberg, Jeanette, 1 ... (63)
Rögnvaldsson, Thorst ... (61)
Samuelson, Lars (60)
Stambulova, Natalia (59)
Werner, Sven, 1952- (58)
Aldrin, Emilia, 1982 ... (57)
Mousavi, Mohammad Re ... (56)
Hoveskog, Maya, 1980 ... (55)
Carlsson, Ing-Marie, ... (55)
Ziegert, Kristina, 1 ... (55)
visa färre...
Lärosäte
Lunds universitet (710)
Göteborgs universitet (390)
Linnéuniversitetet (212)
Malmö universitet (174)
Chalmers tekniska högskola (147)
visa fler...
Jönköping University (146)
Luleå tekniska universitet (123)
Linköpings universitet (115)
Karolinska Institutet (115)
Uppsala universitet (93)
RISE (92)
Örebro universitet (87)
Umeå universitet (73)
Högskolan Dalarna (64)
Mälardalens universitet (63)
Stockholms universitet (61)
Högskolan i Borås (52)
Mittuniversitetet (51)
Högskolan Väst (38)
Kungliga Tekniska Högskolan (37)
Högskolan i Gävle (32)
Högskolan i Skövde (29)
Högskolan Kristianstad (25)
Karlstads universitet (25)
Blekinge Tekniska Högskola (25)
Sveriges Lantbruksuniversitet (23)
Södertörns högskola (18)
VTI - Statens väg- och transportforskningsinstitut (17)
Gymnastik- och idrottshögskolan (10)
Marie Cederschiöld högskola (9)
Naturvårdsverket (3)
Konstfack (2)
IVL Svenska Miljöinstitutet (2)
Institutet för språk och folkminnen (2)
Riksantikvarieämbetet (1)
Sophiahemmet Högskola (1)
Röda Korsets Högskola (1)
visa färre...
Språk
Engelska (9018)
Svenska (1682)
Tyska (43)
Spanska (26)
Danska (11)
Norska (10)
visa fler...
Bulgariska (7)
Ukrainska (6)
Portugisiska (5)
Franska (3)
Ryska (3)
Kinesiska (2)
Finska (1)
Nederländska (1)
Grekiska, klassisk (1)
Turkiska (1)
Koreanska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Samhällsvetenskap (4340)
Teknik (2447)
Medicin och hälsovetenskap (2253)
Naturvetenskap (1948)
Humaniora (789)
Lantbruksvetenskap (43)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy