Now showing items 1-20 of 36

    • An Approach for Investigation of Geochemical Rock-Fluid Interactions 

      Bringedal, Carina; Berre, Inga; Radu, Florin A. (Stanford University, 2014)
      Geochemistry has a substantial impact in exploiting of geothermal systems. When water is injected in a geothermal reservoir, the injected water and in-situ brine have different temperatures and chemical compositions and ...
      Conference object
    • Co2 trapping in sloping aquafiers: High resolution numerical simulations 

      Elenius, Maria; Tchelep, Hamdi A.; Johannsen, Klaus (CIMNE, 2010)
      Conference object
    • Colluding Tags Attack on the ECC-based Grouping Proofs for Rfids 

      Abyaneh, Mohammad Reza Sohizadeh (The author, 2012)
      Recently, a new privacy-preserving elliptic curve based grouping proof protocol with colluding tag prevention( CTP) has been proposed. The CTP protocol is claimed to be resistant against colluding tags attacks in which ...
      Conference object
    • Connecting Vertices by Independent Trees 

      Basavaraju, Manu; Fomin, Fedor; Golovach, Petr; Saurabh, Saket (Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, 2014)
      We study the paramereteized complexity of the following connectivity problem. For a vertex subset U of a graph G, trees T1, . . . , Ts of G are completely independent spanning trees of U if each of them contains U , and ...
      Conference object
    • Counting Instances of Software Components 

      Bezem, Marcus A.; Truong, Anh Hoang (University of Bergen, Department of Informatics, 2004-07-13)
      Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several ...
      Conference object
    • Direct data transfer between SOAP web services in Orchestration 

      Subramanian, Sattanathan; Sztromwasser, Paweł; Puntervoll, Pål; Petersen, Kjell (ACM, 2012)
      In scientific data analysis, workflows are used to integrate and coordinate resources such as databases and tools. Workflows are normally executed by an orchestrator that invokes component services and mediates data ...
      Conference object
    • Domain decomposition preconditioning for non-linear elasticity problems 

      Keilegavlen, Eirik; Skogestad, Jan Ole; Nordbotten, Jan Martin (International Centre for Numerical Methods in Engineering, 2014)
      We consider domain decomposition techniques for a non-linear elasticity problem. Our main focus is on non-linear preconditioning, realized in the framework of additive Schwarz preconditioned inexact Newton (ASPIN) methods. ...
      Conference object
    • Editing to Eulerian Graphs 

      Dabrowski, Konrad K.; Golovach, Petr; van' t Hof, Pim; Paulusma, Daniël (Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, 2014)
      We investigate the problem of modifying a graph into a connected graph in which the degree of each vertex satisfies a prescribed parity constraint. Let ea, ed and vd denote the operations edge addition, edge deletion and ...
      Conference object
    • Electrical conductivity of fractured media: A computational study of the self-consistent method 

      Sævik, Pål Næverlid; Berre, Inga; Jakobsen, Morten; Lien, Martha (Society of Exploration Geophysicists, 2012)
      Effective medium theory can be used to link conductivity estimation methods with prior knowledge about the distribution of fractures in the investigated geological structure. In the literature, little work has been ...
      Conference object
    • Flame Propagation in Dust Clouds: Challenges for Model Validation 

      Skjold, Trygve (2010)
      Modelling of industrial dust explosions poses a formidable challenge to researchers and safety engineers. Whereas current best practice with respect to modelling the consequences of vapour cloud explosions in the petroleum ...
      Conference object
    • Interactive Visualization of Streaming Data with Kernel Density Estimation 

      Lampe, Ove Daae; Hauser, Helwig (IEEE, 2011)
      In this paper, we discuss the extension and integration of the statistical concept of Kernel Density Estimation (KDE) in a scatterplotlike visualization for dynamic data at interactive rates. We present a line kernel ...
      Conference object
    • Investigating the Limitations of Java Annotations for Input Validation 

      Mancini, Federico; Hovland, Dag; Mughal, Khalid A. (2010)
      Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security. In this paper we discuss our experiences ...
      Conference object
    • Massively parallel sequencing identifies a previously unrecognized X-linked disorder resulting in lethality in male infants owing to amino-terminal acetyltransferase deficiency 

      Rope, Alan F.; Wang, Kai; Evjenth, Rune; Xing, Jinchuan; Johnston, Jennifer J.; Swensen, Jeffrey J.; Johnson, W. E.; Moore, Barry; Huff, Chad D.; Bird, Lynne M.; Carey, John C.; Opitz, John M.; Stevens, Cathy A.; Schank, Christa; Fain, Heidi D.; Robison, Reid; Dalley, Brian; Chin, Steven; South, Sarah T.; Pysher, Theodore J.; Jorde, Lynn B.; Hakonarson, Hakon; Lillehaug, Johan; Biesecker, Leslie G.; Yandell, Mark; Arnesen, Thomas; Lyon, Gholson J. (BioMed Central, 2011-09-19)
      Conference object
    • Modelling of vented dust explosions – empirical foundation and prospects for future validation of CFD codes 

      Skjold, Trygve; Wingerden, Kees van; Hansen, Olav R.; Eckhoff, Rolf Kristian (Institution of Chemical Engineers (IChemE), 2008)
      Explosion venting is the most frequently used method for mitigating the effects from accidental dust explosions in the process industry. Optimal design of vent systems and credible execution of risk assessments in powder ...
      Conference object
    • A New Generating Set Search Algorithm for Partially Separable Functions 

      Frimannslund, Lennart; Steihaug, Trond (IARIA, 2010)
      A new derivative-free optimization method for unconstrained optimization of partially separable functions is presented. Using average curvature information computed from sampled function values the method generates an ...
      Peer reviewedConference object
    • Obscurance-based Volume Rendering Framework 

      Ruiz, Marc; Boada, Imma; Viola, Ivan; Bruckner, Stefan; Feixas, Miquel; Sbert, Mateu (The Eurographics Association, 2008)
      lighting effects in a faster way than global illumination. Its application in volume visualization is of special interest since it permits us to generate a high quality rendering at a low cost. In this paper, we propose ...
      Peer reviewedConference object
    • On the Privacy of Two Tag Ownership Transfer Protocols for RFIDs 

      Abyaneh, Mohammad Reza Sohizadeh (The author, 2012)
      In this paper, the privacy of two recent RFID tag ownership transfer protocols are investigated against the tag owners as adversaries. The first protocol called ROTIV is a scheme which provides a privacy-preserving ...
      Conference object
    • On the Security of Non-Linear HB (NLHB) Protocol Against Passive Attack 

      Abyaneh, Mohammad Reza Sohizadeh (The author, 2012)
      As a variant of the HB authentication protocol for RFID systems, which relies on the complexity of decoding linear codes against passive attacks, Madhavan et al. presented Non-Linear HB(NLHB) protocol. In contrast to ...
      Conference object
    • Passive Cryptanalysis of the UnConditionally Secure Authentication Protocol for RFID Systems 

      Abyaneh, Mohammad Reza Sohizadeh (The author, 2012)
      Recently, Alomair et al. proposed the first Un- Conditionally Secure mutual authentication protocol for lowcost RFID systems(UCS-RFID). The security of the UCSRFID relies on five dynamic secret keys which are updated at ...
      Conference object
    • Periodicity of otolith check formation in the juvenile plaice Pleuronectes platessa 

      Geffen, Audrey J. (University of South Carolina Press, 1995)
      Juvenile (Pleuronectes platessa L.) were sampled in the intertidal zone of Port Erin Bay (Isle of Man, Irish Sea) by push-net in the summers of 1990 and 1992. Check formation on the sagittal otoliths was examined to test ...
      Peer reviewedChapterConference object