University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Title

DSpace/Manakin Repository

Browsing Faculty of Science and Engineering by Title

Sort by: Order: Results:

  • Linearized transformation of RF data for capsule tracking in wireless telemetry
    Arshak, Khalil; Adepoju, Francis (IEEE Computer Society, 2007)
    In this paper, we discuss system and method of determining the real-time location of an omnidirectional diagnostic radio frequency (RF) system while the object (transmitter) is moving freely inside an inaccessible ...
  • Linking a "state-rich" process algebra to a "state-free" process algebra to verify software / hardware implementations
    Beg, Arshad; Butterfield, Andrew (2010)
    Following the development of formalisms based on data and behavioural aspects of the system, there are number of attempts in which these two formalisms are mixed together to get benefit of both paradigms. 'Circus' being a ...
  • Linking model-driven development and software architecture: a case study
    Mattsson, Anders; Lundell, Bjorn; Lings, Brian; Fitzgerald, Brian (IEEE Computer Society, 2009)
    A basic premise of Model Driven Development (MDD) is to capture all important design information in a set of formal or semi-formal models which are then automatically kept consistent by tools. The concept however is still ...
  • Localised sound optimisation in small enclosures
    Conway, Christina (University of Limerick, 2010)
    In this work an application was developed which uses the Sequential Quadratic Pro- gramming (SQP) optimisation algorithm to optimise boundary absorption in order to reduce the sound pressure level in a localised sampling ...
  • Logic based analysis of security protocols in a unified verification framework
    Muntean, Carla Lucia Mirona (University of Limerick, 2012)
    Security protocols are one of the imperative steps in creating and ensuring the secure communication and information processing. Also known as cryptographic protocols or encryption protocols, they are used for secure ...
  • The Logic of UTP2
    Butterfield, Andrew (2012)
    U (TP)2 is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and \programs as ...
  • A logistic PH regression model for interval censored survival data
    Al-Tawarah, Yasin; MacKenzie, Gilbert (IWSM, 2002)
    The survival function of the logistic proportional hazards (PH) regression model, MacKenzie (1996), is obtained. A general likelihood for interval censored survival data which depends only on various closed forms of ...
  • A logistic regression model for survival data
    MacKenzie, Gilbert (IWSM, 2002)
    The near non-identifiability of one of the parameters in the Generalized Time-Dependent Logistic (GTDL) Survival Model (MacKenzie, 1996, 1997) is discussed. A new canonical 3-parameter logistic model survival model, in ...
  • A longitudinal study of software process improvement
    Fitzgerald, Brian; O'Kane, Tom (IEEE Computer Society, 1999)
    Studying a software process improvement effort over time reveals the factors associated with its success. This case study shows how Motorola's Cellular Infrastructure Group progressed to CMM level 4, and examines what is ...
  • 'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications
    Krishna, Aneesh; Ghose, Aditya K.; Vilkomir, Sergiy A. (2005)
    Agent-oriented conceptual modelling (AOCM) is a relatively new technique that offers significant benefits in the modelling and development of complex computer systems. It is highly effective in answering questions such ...
  • “Lots done, more to do”: the current state of agile systems development research
    Abrahamsson, Peter; Conboy, Kieran; Wang, Xiaofeng (Palgrave Macmillan Ltd.,, 2009)
    Agile systems development methods emerged as a response to the inability of previous plandriven approaches to handle rapidly changing environments (Highsmith 2002). Originating from so-called “light-weight” methods and ...
  • Lower bounds and upper bounds for MaxSAT ⋆
    Heras, Federico; Morgado, Antonio; Marques-Silva, Joao (Springer, 2012)
    This paper presents several ways to compute lower and upper bounds for MaxSAT based on calling a complete SAT solver. Preliminary results indicate that (i) the bounds are of high quality, (ii) the bounds can boost the ...
  • Low power programmable prototype sensor for remotely pressure monitoring
    Arshak, Khalil; Jafer, Essa; Arshak, Arousian; Waldron, David (IEEE Computer Society, 2006)
    In this paper, a miniaturized, low power, bidirectional wireless communication system has been developed to be used for in vivo pressure monitoring. The system prototype consists of miniature FSK transceiver integrated ...
  • 'LUCAS': the library assistant robot, implementation and localisation
    Behan, Julie; O'Keeffe, Derek T. (IEEE Computer Society, 2005)
    In modern ageing society, robots are been designed to play an increasing role in the lives of elderly people This paper describes a mobile robotic assistant, named ‘LUCAS’, Limerick University Computerised Assistive System, ...
  • Lyot filter based multiwavelength fiber ring laser actively 3 mode-locked at 10 GHz using an electroabsorption modulator.
    O'Riordan, Colm; Connelly, Michael J.; Anandarajah, P; Maher, Robert; Barry, Liam P (Elsevier, 2008)
    A multiwavelength fiber ring laser comprising of a Lyot filter and hybrid gain medium is presented. A wavelength channel spacing of 100 GHz is achieved by appropriate tuning of the Lyot filter length. Four wavelength ...
  • Magnetic field effects on the rest potential of ferromagnetic electrodes
    Hinds, Gareth; Rhen, Fernando M.F.; Coey, John Michael David (IEEE Computer Society, 2002)
    The application of a magnetic field unexpectedly alters the rest potential of ferromagnetic electrodes in paramagnetic solutions of their salts. Anodic shifts of up to 60 mV in a field of 1 tesla were observed for 1M iron ...
  • Magnetic properties and underlayer thickness in SmCo/Cr films
    Romero, S.A.; Cornejo, D.R.; Rhen, Fernando M.F.; Neiva, A.C.; Tabacniks, M.H.; Missell, F.P. (American Institute of Physics, 2000)
    SmCo films with a Cr underlayer have been investigated as potentially attractive candidates for high density recording media. Magnetron sputtering was used here to produce Cr/SmCox/Cr films on Si (100) substrates. The ...
  • Magnetic properties of nickel nanowires : effect of deposition temperature
    Razee, Kafil M.; Rhen, Fernando M.F.; Roy, Saibal (American Institute of Physics, 2009)
    We have investigated the magnetic properties of electroplated nickel nanowires with very distinct nanostructures, which are obtained by simply changing the plating temperature of the electrolyte. Low temperature (40°C) ...
  • Magnetization of electrodeposited nickel : role of interstitial carbon
    O'Reilly, Cora; Sanvito, Stefano; Rhen, Fernando M.F.; Stamenov, Plamen; Coey, John Michael David (American Institute of Physics, 2006)
    The magnetization of nickel foils electrodeposited under different conditions was not usually found to differ significantly from that of the bulk (55.4 Am2 kg−1). However, some galvanostatically deposited films from a ...
  • Maintaining architecture consistency
    Rosik, Jacek (2008)

Search DSpace


Advanced Search

Browse

My Account