Viser treff 100-119 av 251
-
Finding Clusters in Petri Nets An approach based on GPenSIM
(Peer reviewed; Journal article, 2019)Graph theory provides some methods for finding clusters in networks. Clusters reflect the invisible grouping of the elements in a network. This paper presents a new method for finding clusters in networks. In this method, ... -
Fog Computing for Realizing Smart Neighborhoods in Smart Grids
(Peer reviewed; Journal article, 2020-09)Cloud Computing provides on-demand computing services like software, networking, storage, analytics, and intelligence over the Internet (“the cloud”). But it is facing challenges because of the explosion of the Internet ... -
Formal Verification of HotStuff
(Chapter, 2021)HotStuff is a recent algorithm for repeated distributed consensus used in permissioned blockchains. We present a simplified version of the HotStuff algorithm and verify its safety using both Ivy and the TLA Proof Systems ... -
Frå transistor til datamaskin
(Notater fra Universitetet i Stavanger;39, Report, 2018-04)Dette skrivet prøver å gi ei forståing av korleis datamaskinar er oppbygde og virkar. Ein ser også på korleis ein kan programmera mindre datamaskinar brukte til styring og overvaking av prosessar. Skrivet er laga for bruk ... -
From Baseline to Top Performer: A Reproducibility Study of Approaches at the TREC 2021 Conversational Assistance Track
(Chapter, 2023)This paper reports on an effort of reproducing the organizers’ baseline as well as the top performing participant submission at the 2021 edition of the TREC Conversational Assistance track. TREC systems are commonly regarded ... -
FRP pipeline performance in tensional and torsional S-lay installation loads
(Peer reviewed; Journal article, 2021)The loading conditions of a composite pipeline is the main factor for its dimensioning. During S-lay offshore installation of multilayered FRP pipelines, severe tensional and torsional loads take place in the above sea ... -
Gain-scheduled observer-based consensus for linear parameter varying multi-agent systems
(Peer reviewed; Journal article, 2022)This paper investigates the gain-scheduled observer-based consensus of linear parameter varying (LPV) multi-agent systems (MASs). The main contribution of the paper is that, differently from LPV observer-based consensus ... -
Generating Usage-related Questions for Preference Elicitation in Conversational Recommender Systems
(Journal article, 2023)A key distinguishing feature of conversational recommender systems over traditional recommender systems is theirability to elicit user preferences using natural language. Currently, the predominant approach to preference ... -
Geometrical modeling for material flow management
(Journal article; Peer reviewed, 2010)Theory of Connection is based on geometry, and has been used to solve many problems in engineering, economics, and in management. In this paper, firstly, the theory of connection is introduced. Secondly, a toolbox of ... -
GPensim: a new petri net simulator
(Chapter; Peer reviewed, 2010) -
Green communication approach for the smart city using renewable energy systems
(Peer reviewed; Journal article, 2022)A smart city is an evolving Internet of Things (IoT) technique that links different digital gadgets via a network, offering several new services to the manufacturing and medical field to commerce. A smart city is an ... -
Guaranteed cost estimation and control for a class of nonlinear systems subject to actuator saturation
(Peer reviewed; Journal article, 2021-07)The problems of guaranteed cost estimation (GCE) and guaranteed cost control (GCC) concern designing a state observer or a controller, respectively, such that some performance is maintained below an upper bound. This paper ... -
High-Sensitivity Cardiac Troponin I and T Response Following Strenuous Activity is Attenuated by Smokeless Tobacco: NEEDED (North Sea Race Endurance Exercise Study) 2014
(Peer reviewed; Journal article, 2020)Background Use of snus, a smokeless tobacco product, is increasing in Scandinavia. Strenuous physical activity is associated with an acute increase in high‐sensitivity cardiac troponin (swhs‐cTn) concentrations. Current ... -
Household Power Demand Prediction Using Evolutionary Ensemble Neural Network Pool with Multiple Network Structures
(Peer reviewed; Journal article, 2019-02)The progress of technology on energy and IoT fields has led to an increasingly complicated electric environment in low-voltage local microgrid, along with the extensions of electric vehicle, micro-generation, and local ... -
Impact of extent of resection on outcome from glioblastoma using the RANO resect group classification system: a retrospective, population-based cohort study
(Peer reviewed; Journal article, 2023)Background Extent of resection (EOR) is associated with survival in glioblastoma. A standardized classification for EOR was lacking until a system was recently proposed by the response assessment in neuro-oncology (RANO) ... -
An improved delay and state observer for SISO LTI systems withknown delay lower bound
(Peer reviewed; Journal article, 2022)It is known that the presence of delays hinders the performance achievable by a feedback control system, and it can even lead to closed-loop instability if not considered during the design. For this reason, predictors are ... -
Improved Machine Learning-Based Predictive Models for Breast Cancer Diagnosis
(Peer reviewed; Journal article, 2022-03)Breast cancer death rates are higher than any other cancer in American women. Machine learning-based predictive models promise earlier detection techniques for breast cancer diagnosis. However, making an evaluation for ... -
Improving predictive models for rate of penetration in real drilling operations through transfer learning
(Peer reviewed; Journal article, 2023-09)The rate of penetration (ROP) is a key performance indicator in the oil and gas drilling industry as it directly translates to cost savings and emission reductions. A prerequisite for a drilling optimization algorithm is ... -
In Vivo Magnetic Resonance Spectroscopy Methods for Investigating Cardiac Metabolism
(Peer reviewed; Journal article, 2022)Magnetic resonance spectroscopy (MRS) is a non-invasive and non-ionizing technique, enabling in vivo investigation of cardiac metabolism in normal and diseased hearts. In vivo measurement tools are critical for studying ... -
Integrating big data and blockchain to manage energy smart grid - TOTEM framework
(Peer reviewed; Journal article, 2022)The demand for electricity is increasing exponentially day by day, especially with the arrival of electric vehicles. In the smart community neighborhood project, electricity should be produced at the household or community ...