The hydroxylation of proline residues in collagen enhances the stability of the collagen triple helix. Previous X-ray diffraction analyses had demonstrated that the presence of an electron-withdrawing substituent on the pyrrolidine ring of proline residues has significant structural consequences [Panasik, N., Jr.; Eberhardt, E. S.; Edison, A. S.; Powell, D. R.; Raines, R. T. Int. J. Pept. Prote...

This paper reports a study to identify static software reuse potential metrics that can be used to classify C source code into reusable and non-reusable classes. The techniques used exploit a decision tree inductive machine learning and rough sets theory. The results we obtained show that the former technique, as implemented by C4.5, produces a much more accurate set of classification rules tha...

Abstract The quality of robot-assisted surgery can be improved and the use hospital resources optimized by enhancing autonomy reliability in robot’s operation. Logic programming is a good choice for task planning because it supports reliable reasoning with domain knowledge increases transparency decision making. However, prior typically incomplete, often needs to refined from executions surgica...

GORMEL is a tool for automatic verification of distributed algorithms based on a method proposed in [SG89]. The algorithm is viewed as an infinite family of finite state programs and is described by means of a network grammar. Given a grammar and a specification, we first check that the grammar is inductive and then check the specification on one of the small programs. If a grammar is not induc...

Abstract Subject and purpose of work: The the study was to identify areas activity local authorities in context implementation public tasks that could be financed with funds from issue so-called green bonds. Materials methods: T he m ain r esearch method w as c ritical a nalysis documents (using document normative nature various ranks) literature on broadly defined finance financial market issu...

In this paper two R‑L network simulator configurations employing a single VDDIBA, one resistance and one grounded capacitance are presented. The first configuration is a grounded series resistor-inductor (R‑L) network simulator and the second configuration is intended for grounded parallel resister-inductor (R‑L) circuit simulation. Both the proposed circuits enjoy several beneficial features s...

Multiple task learning (MTL) neural networks are one of the better documented methods of inductive transfer of task knowledge (Caruana 1997). An MTL network is a feedforward multi-layer network with an output node for each task being learned. The standard back-propagation of error learning algorithm is used to train all tasks in parallel. The sharing of internal representation in the hidden nod...

OBJECTIVES The aim of this study was to investigate the inductive and deductive reasoning abilities of people with obsessive-compulsive disorder (OCD). Following previous research, it was predicted that people with OCD would show different abilities on inductive reasoning tasks but similar abilities to controls on deductive reasoning tasks. DESIGN A two-group comparison was used with both gro...