Results 61 to 70 of about 3,527,338 (311)
Computer‐based engineering of thermostabilized antibody fragments
AIChE Journal, 2019 AbstractWe used the molecular modeling program Rosetta to identify clusters of amino acid substitutions in antibody fragments (scFvs and scAbs) that improve global protein stability and resistance to thermal deactivation. Using this methodology, we increased the melting temperature (Tm) and resistance to heat treatment of an antibody fragment that ...
Wenzong Li +19 more
openaire +4 more sources
Industry 4.0 and healthcare: Context, applications, benefits and challenges
IET Software, 2023 Industry 4.0 refers to the digital transformation in the manufacturing domain through new technology. Currently, it expands well beyond manufacturing, affecting many areas of life and posing implications for all types of business.
Konstantinos Kotzias +4 more
doaj +1 more source
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution [PDF]
arXiv, 2020 We consider the following query answering problem: Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is entailed by the theory. In this paper, we present a resolution decision procedure for the loosely guarded fragment, and use such a procedure to answer Boolean conjunctive ...
arxiv
AONT-LT: a Data Protection Scheme for Cloud and Cooperative Storage Systems
, 2014 We propose a variant of the well-known AONT-RS scheme for dispersed storage systems. The novelty consists in replacing the Reed-Solomon code with rateless Luby transform codes.
Baldi, Marco +3 more
core +1 more source
Prefix-based Labeling Annotation for Effective XML Fragmentation [PDF]
, 2015 XML is gradually employed as a standard of data exchange in web environment since its inception in the 90s until present. It serves as a data exchange between systems and other applications. Meanwhile the data volume has grown substantially in the web and thus effective methods of storing and retrieving these data is essential.
arxiv +1 more source
Neutronless $^{10}$be-Accompanied Ternary Fission of $^{252}$Cf} [PDF]
Journal of Physics G, vol.24, 181 (1998), 1998 A new type of decay corresponding to the neutronless $^{10}$Be-accompanied fragmentation of $^{252}$Cf is studied. We employ a cluster model similar to the model used for the description of cluster radioactivity. No preformation factors were considered.
arxiv +1 more source
Join Execution Using Fragmented Columnar Indices on GPU and MIC [PDF]
, 2015 The paper describes an approach to the parallel natural join execution on computing clusters with GPU and MIC Coprocessors. This approach is based on a decomposition of natural join relational operator using the column indices and domain-interval ...
Ivanova, E. V. +2 more
core
The intuitionistic fragment of computability logic at the propositional level
Annals of Pure and Applied Logic, 2007 This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games between a machine and its environment.
openaire +3 more sources
Tripod of Requirements in Horizontal Heterogeneous Mobile Cloud Computing [PDF]
, 2012 Recent trend of mobile computing is emerging toward executing resource-intensive applications in mobile devices regardless of underlying resource restrictions (e.g. limited processor and energy) that necessitate imminent technologies. Prosperity of cloud
Abolfazli, Saeid +3 more
core
Quantum Divide and Compute: Hardware Demonstrations and Noisy Simulations
, 2020 Noisy, intermediate-scale quantum computers come with intrinsic limitations in terms of the number of qubits (circuit "width") and decoherence time (circuit "depth") they can have.
Alexeev, Yuri +4 more
core +1 more source