Academic Articles & Research Papers

The Verification of a Distributed System

Leslie Lamport, known for his seminal work in distributed systems, famously said, "A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable." Given this bleak outlook ...

About logical clocks for distributed systems

Memory space and processor time are basic resources when executing a program. But beside this implementation aspect (this time resource is necessary but does not belong to the program semantics), the concept of time presents a more fundamen...

Global events and global breakpoints in distributed systems

A solution to the problem of setting breakpoints in distributed systems is described. It is shown what kind of breakpoints are possible, how to detect those breakpoints, and how to halt the system in a consistent state. The communication am...

The Digital Distributed System Security Architecture

The Digital Distributed System Security Architecture is a comprehensive specification for security in a distributed system that employs state-of-the-art concepts to address the needs of both commercial and government environments. The archi...

Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.

A general method is described for implementing a distributed system with any desired degree of faulttolerance.Instead of relying upon explicit timeouts, processes execute a simple clock-driven algorithm.Reliable clock synchronization and a ...

Distributed Systems - Architecture and Implementation: An Advanced Course

1. Motivations, objectives and characterization of distributed systems.- 2. Distributed system architecture model.- 3. Interprocess communication layer: Introduction.- 4. Hardware interconnection technology.- 5. Link level.- 6. Hierarchy.- ...

Authentication in distributed systems

We describe a theory of authentication and a system that implements it. Our theory is based on the notion of principal and a "speaks for" relation between principals. A simple principal either has a name or is a communication channel; a com...

Time, clocks, and the ordering of events in a distributed system

The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used ...

A calculus for access control in distributed systems

We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a logical perspective. We account for how a principal may come to believe that another principal is making a request, either on his own...

Time, clocks, and the ordering of events in a distributed system

The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used ...

Authentication in distributed systems

We describe a theory of authentication and a system that implements it. Our theory is based on the notion of principal and a “speaks for” relation between principals. A simple principal either has a name or is a communication channel; a com...

<i>In-House</i> Innovative “Diamond Shaped” 3D Printed Microfluidic Devices for Lysozyme-Loaded Liposomes

Nanotechnology applications have emerged as one of the most actively researched areas in recent years. As a result, substantial study into nanoparticulate lipidic systems and liposomes (LPs) has been conducted. Regardless of the advantages,...

PRIMUS: Comprehensive proteomics of mouse intervertebral discs that inform novel biology and relevance to human disease modelling

Mice are commonly used to study intervertebral disc (IVD) biology and related diseases such as IVD degeneration. Discs from both the lumbar and tail regions are used. However, little is known about compartmental characteristics in the diffe...

Maternal cardiovascular adaptation to twin pregnancy: a population-based prospective cohort study

Abstract Background In women with singleton pregnancies, maternal adaptation is considered a stress test for later life cardiovascular disease. The aim of this study was to assess maternal adaptation in women with twin pregnancies compared ...

DEVELOPMENT OF STEM-BASED DIGITAL POCKETBOOK ON SPLDV MATERIAL USING THE ADDIE MODEL: APPLICATION IN ONLINE LEARNING ENVIRONMENTS

This study aims to assess the feasibility, teacher and student responses, and effectiveness of the STEM-based digital pocketbook on the topic of Systems of Linear Equations in Two Variables (SPLDV). The subjects of this research were junior...

Vitamin D levels in left spermatic and peripheral veins of varicocele patients: Associations with varicocele grade and semen parameters.

Ensembles machine learning for short duration rainfall intensity forecasting

Abstract This study introduces an ensemble machine learning (EML) framework to enhance short-duration rainfall-intensity prediction under limited-data conditions. By integrating multiple base learners within a stacking architecture, the pro...

FMT combined with atezolizumab-bevacizumab in hepatocellular carcinoma refractory to immunotherapy: an open label, single-arm, phase II pilot study.

Kernel Methods in Computer Vision

Over the last years, kernel methods have established themselves as powerful tools for computer vision researchers as well as for practitioners. In this tutorial, we give an introduction to kernel methods in computer vision from a geometric ...

Generalized Vision-Based Detection, Identification and Pose Estimation of Lamps for BIM Integration

This paper introduces a comprehensive approach based on computer vision for the automatic detection, identification and pose estimation of lamps in a building using the image and location data from low-cost sensors, allowing the incorporati...