Results 41 to 50 of about 308,840 (315)
Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk) [PDF]
, 2022 Distributed computing is increasingly spreading, in advanced technological applications as well as in our daily life. Failures in distributed algorithms can have important human and financial consequences, so that is is crucial to develop rigorous ...
Bertrand, Nathalie
core +1 more source
Detecting Inconsistencies in Distributed Data [PDF]
, 2010 One of the central problems for data quality is inconsistency detection. Given a database D and a set Sigma of dependencies as data quality rules, we want to identify tuples in D that violate some rules in Sigma.
Ma, Shuai +7 more
core +1 more source
Spectral Quantum Chemistry and Infrared Resonance Library for Data-Driven Molecular Spectroscopy
Scientific DataInfrared (IR) spectroscopy is a fundamental tool for molecular identification and characterization, yet comprehensive IR spectral databases remain limited, particularly for small organic molecules with well-defined theoretical baselines.
Anirudh Krishnadas +3 more
doaj +1 more source
Distributed Solution of Road Lighting Problem Over Multi-Agent Networks
Sakarya University Journal of Computer and Information Sciences, 2020 In this study, we consider the solution of the road lighting problem by distributed algorithms over multi-agent networks where the objective is to determine the powers of the lamps that provide the desired road lighting level for a given road profile ...
Onur Cihan
doaj +1 more source
An algorithm for distributive unification [PDF]
, 1996 The purpose of this paper is to describe a decision algorithm for unifiability of equations w.r.t. the equational theory of two distributive axioms: x*(y+z)=x*y+x*z and (x+y)*z=x*z + y*z. The algorithm is described as a set of non-deterministic transformation rules.
openaire +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
An evaluation of load balancing algorithms for distributed systems [PDF]
, 1991 Distributed systems are gradually being accepted as the dominant computing paradigm of the future. However, due to the diversity and multiplicity of resources, and the need for transparency to users, global resource management raises many questions.
Benmohammed-Mahieddine, Kouider
core
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
Benchmarking hybrid algorithms for distributed constraint optimisation games [PDF]
, 2011 In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose eight DCOP algorithms, taken from the game theory and computer science literatures, into their ...
Jennings, Nick +2 more
core
Locating object efficiently in a distributed computing system using ant colony optimisation [PDF]
, 2008 Digital Ecosystems reply on efficient computing and communication infrastructures. One way to improve computation efficiency is to utilise distributed computing systems. In an object-based distributed system, the use of location-independent naming scheme
Li, J.B. +3 more
core +2 more sources