ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books
  • Articles  (821)
  • Data
  • Articles: DFG German National Licenses  (821)
  • Chemistry  (756)
  • automated theorem proving
  • data mining
  • stability
  • 1995-1999  (623)
  • 1975-1979  (198)
  • 1935-1939
  • 1999  (23)
  • 1997  (600)
  • 1983
  • 1978  (115)
  • 1977  (83)
  • 1925
  • Medicine  (515)
  • Computer Science  (230)
  • Architecture, Civil Engineering, Surveying  (76)
Collection
  • Books
  • Articles  (821)
  • Data
Source
Publisher
Years
  • 1995-1999  (623)
  • 1975-1979  (198)
  • 1935-1939
  • 1980-1984  (178)
Year
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 32 (1999), S. 131-168 
    ISSN: 1572-9443
    Keywords: stability ; positive recurrence ; fluid limit ; polling system ; exhaustive service policy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We introduce a generalized criterion for the stability of Markovian queueing systems in terms of stochastic fluid limits. We consider an example in which this criterion may be applied: a polling system with two stations and two heterogeneous servers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Information systems frontiers 1 (1999), S. 259-266 
    ISSN: 1572-9419
    Keywords: data mining ; statistics ; patterns in data ; fitting distributions ; lambda ; beta
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Data mining has, in the past, tended to use simplistic statistical methods (or even none at all). In this paper we show by example how cutting edge (but easy to use and comprehend) statistical methods can yield substantial gains in data mining. The role of statistics in IS/IT (information systems and information technology) in general can be substantial, yielding more nearly optimal performance of problems at the emerging frontiers in all their aspects.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 27 (1997), S. 205-226 
    ISSN: 1572-9443
    Keywords: multiclass queueing networks ; ergodicity ; stability ; performance analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We develop the use of piecewise linear test functions for the analysis of stability of multiclass queueing networks and their associated fluid limit models. It is found that if an associated LP admits a positive solution, then a Lyapunov function exists. This implies that the fluid limit model is stable and hence that the network model is positive Harris recurrent with a finite polynomial moment. Also, it is found that if a particular LP admits a solution, then the network model is transient.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 33 (1999), S. 293-325 
    ISSN: 1572-9443
    Keywords: stability ; fluid models ; multiclass queueing networks ; piecewise linear Lyapunov functions ; linear Lyapunov functions ; monotone global stability ; static buffer priority disciplines
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper studies the stability of a three‐station fluid network. We show that, unlike the two‐station networks in Dai and Vande Vate [18], the global stability region of our three‐station network is not the intersection of its stability regions under static buffer priority disciplines. Thus, the “worst” or extremal disciplines are not static buffer priority disciplines. We also prove that the global stability region of our three‐station network is not monotone in the service times and so, we may move a service time vector out of the global stability region by reducing the service time for a class. We introduce the monotone global stability region and show that a linear program (LP) related to a piecewise linear Lyapunov function characterizes this largest monotone subset of the global stability region for our three‐station network. We also show that the LP proposed by Bertsimas et al. [1] does not characterize either the global stability region or even the monotone global stability region of our three‐station network. Further, we demonstrate that the LP related to the linear Lyapunov function proposed by Chen and Zhang [11] does not characterize the stability region of our three‐station network under a static buffer priority discipline.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 31 (1999), S. 171-206 
    ISSN: 1572-9443
    Keywords: scheduling ; open multiclass queueing networks ; discrete-review policies ; fluid models ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper describes a family of discrete-review policies for scheduling open multiclass queueing networks. Each of the policies in the family is derived from what we call a dynamic reward function: such a function associates with each queue length vector q and each job class k a positive value r k (q), which is treated as a reward rate for time devoted to processing class k jobs. Assuming that each station has a traffic intensity parameter less than one, all policies in the family considered are shown to be stable. In such a policy, system status is reviewed at discrete points in time, and at each such point the controller formulates a processing plan for the next review period, based on the queue length vector observed. Stability is proved by combining elementary large deviations theory with an analysis of an associated fluid control problem. These results are extended to systems with class dependent setup times as well as systems with alternate routing and admission control capabilities.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 26 (1997), S. 343-363 
    ISSN: 1572-9443
    Keywords: retrial queues ; stability ; ergodicity ; renovation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We consider the following Type of problems. Calls arrive at a queue of capacity K (which is called the primary queue), and attempt to get served by a single server. If upon arrival, the queue is full and the server is busy, the new arriving call moves into an infinite capacity orbit, from which it makes new attempts to reach the primary queue, until it finds it non-full (or it finds the server idle). If the queue is not full upon arrival, then the call (customer) waits in line, and will be served according to the FIFO order. If λ is the arrival rate (average number per time unit) of calls and μ is one over the expected service time in the facility, it is well known that μ 〉 λ is not always sufficient for stability. The aim of this paper is to provide general conditions under which it is a sufficient condition. In particular, (i) we derive conditions for Harris ergodicity and obtain bounds for the rate of convergence to the steady state and large deviations results, in the case that the inter-arrival times, retrial times and service times are independent i.i.d. sequences and the retrial times are exponentially distributed; (ii) we establish conditions for strong coupling convergence to a stationary regime when either service times are general stationary ergodic (no independence assumption), and inter-arrival and retrial times are i.i.d. exponentially distributed; or when inter-arrival times are general stationary ergodic, and service and retrial times are i.i.d. exponentially distributed; (iii) we obtain conditions for the existence of uniform exponential bounds of the queue length process under some rather broad conditions on the retrial process. We finally present conditions for boundedness in distribution for the case of nonpatient (or non persistent) customers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 32 (1999), S. 99-130 
    ISSN: 1572-9443
    Keywords: neural network ; inhibition ; stability ; Markov process ; fluid limit ; Harris-recurrence ; transience
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The subject of the paper is the stability analysis of some neural networks consisting of a finite number of interacting neurons. Following the approach of Dai [5] we use the fluid limit model of the network to derive a sufficient condition for positive Harris-recurrence of the associated Markov process. This improves the main result in Karpelevich et al. [11] and, at the same time, sheds some new light on it. We further derive two different conditions that are sufficient for transience of the state process and illustrate our results by classifying some examples according to positive recurrence or transience.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 32 (1999), S. 195-231 
    ISSN: 1572-9443
    Keywords: window flow control ; TCP ; stability ; multiclass networks ; stationary ergodic point processes ; (max,+)-linear system
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We focus on window flow control as used in packet-switched communication networks. The approach consists in studying the stability of a system where each node on the path followed by the packets of the controlled connection is modeled by a FIFO (First-In-First-Out) queue of infinite capacity which receives in addition some cross traffic represented by an exogenous flow. Under general stochastic assumptions, namely for stationary and ergodic input processes, we show the existence of a maximum throughput allowed by the flow control. Then we establish bounds on the value of this maximum throughput. These bounds, which do not coincide in general, are reached by time-space scalings of the exogenous flows. Therefore, the performance of the window flow control depends not only on the traffic intensity of the cross flows, but also on fine statistical characteristics such as the burstiness of these flows. These results are illustrated by several examples, including the case of a nonmonotone, nonconvex and fractal stability region.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Machine learning 26 (1997), S. 177-211 
    ISSN: 0885-6125
    Keywords: inductive logic programming ; qualitative modelling ; system identification ; PAC learning ; physiological modelling ; cardiovascular system ; data mining ; patient monitoring
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The automated construction of dynamic system models is an important application area for ILP. We describe a method that learns qualitative models from time-varying physiological signals. The goal is to understand the complexity of the learning task when faced with numerical data, what signal processing techniques are required, and how this affects learning. The qualitative representation is based on Kuipers' QSIM. The learning algorithm for model construction is based on Coiera's GENMODEL. We show that QSIM models are efficiently PAC learnable from positive examples only, and that GENMODEL is an ILP algorithm for efficiently constructing a QSIM model. We describe both GENMOEL which performs RLGG on qualitative states to learn a QSIM model, and the front-end processing and segmenting stages that transform a signal into a set of qualitative states. Next we describe results of experiments on data from six cardiac bypass patients. Useful models were obtained, representing both normal and abnormal physiological states. Model variation across time and across different levels of temporal abstraction and fault tolerance is explored. The assumption made by many previous workers that the abstraction of examples from data can be separated from the learning task is not supported by this study. Firstly, the effects of noise in the numerical data manifest themselves in the qualitative examples. Secondly, the models learned are directly dependent on the initial qualitative abstraction chosen.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Calcified tissue international 23 (1977), S. 13-17 
    ISSN: 1432-0827
    Keywords: Dental calculus ; Glycopeptide ; Chemistry
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Physics
    Notes: Summary A method is described for the isolation and purification of a sulphated glycopeptide from human supragingival calculus. The compound was isolated after using EDTA treatment, 2 M CaCl2 extraction, proteolytic digestion, ethanol precipitation, and finally purified by DEAE cellulose chromatography. It migrated as a single component on cellulose acetate electrophoresis, and chemical and infrared spectral analysis showed the presence of covalently attached sulphate groups. The sulphated glycopeptide was distinguished from being a sulphated glycosaminoglycan.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent and robotic systems 20 (1997), S. 131-155 
    ISSN: 1573-0409
    Keywords: robot adaptive control ; basis function-like networks ; stability ; discrete variable structure
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract Stable neural network-based sampled-data indirect and direct adaptivecontrol approaches, which are the integration of a neural network (NN)approach and the adaptive implementation of the discrete variable structurecontrol, are developed in this paper for the trajectory tracking control ofa robot arm with unknown nonlinear dynamics. The robot arm is assumed tohave an upper and lower bound of its inertia matrix norm and its states areavailable for measurement. The discrete variable structure control servestwo purposes, i.e., one is to force the system states to be within the stateregion in which neural networks are used when the system goes out of neuralcontrol; and the other is to improve the tracking performance within the NNapproximation region. Main theory results for designing stable neuralnetwork-based sampled data indirect and direct adaptive controllers aregiven, and the extension of the proposed control approaches to the compositeadaptive control of a flexible-link robot is discussed. Finally, theeffectiveness of the proposed control approaches is illustrated throughsimulation studies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent and robotic systems 19 (1997), S. 411-436 
    ISSN: 1573-0409
    Keywords: assembly planning ; stability ; robot ; forward ; operations
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract The paper presents an approach to sequence planning consisting in determining assembly sequences defined in terms of mating and non-mating operations and based on a dynamic expansion of the assembly tree obtained using a knowledge base management system. The planner considers the case of a single-robot assembly workcell. The use of stability and the detailed definition of sequences also by means of several non-mating operations are shown to be powerful instruments in the control of the tree expansion. Forward assembly planning has been chosen, in order to minimize the number of stability checks. Backtracking is avoided by combining precedence relations and stability analysis. Hard and soft constrains are introduced to drive the tree expansion. Hard constraints are precedence relations and stability analysis. All operations are associated to costs, which are used as soft constraints. The operation based approach enables one to manage even non-mating operations and to easily overcome the linearity constraint. Costs enable the planner to manage the association among tools and components. The first section of the paper concerns Stability Analysis that is subdivided into Static and Dynamic Stability Analysis. The former is mainly involved in analyzing gravity effects; the latter is mainly involved in evaluate inertia effects due to manipulation. Stability Analysis is implemented in a simplified form. Fundamental assumptions are: no rotational equilibrium condition is considered; for each reaction force only direction and versus, but not magnitude, are considered; friction is neglected. The second section discusses the structure of the planner and its implementation. The planner is a rule based system. Forward chaining and hypothetical reasoning are the inference strategies used. The knowledge base and the data base of the system are presented and the advantages obtained using a rule based system are discussed. The third section shows two planning examples, showing the performance of the system in a simple case and in an industrial test case, the assembly of a microwave branching filter composed of 26 components.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent and robotic systems 26 (1999), S. 91-100 
    ISSN: 1573-0409
    Keywords: robots ; neural networks ; adaptiveness ; stability ; approximation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract An indirect adaptive control approach is developed in this paper for robots with unknown nonlinear dynamics using neural networks (NNs). A key property of the proposed approach is that the actual joint angle values in the control law are replaced by the desired joint angles, angle velocities and accelerators, and the bound on the NN reconstruction errors is assumed to be unknown. Main theoretical results for designing such a neuro-controller are given, and the control performance of the proposed controller is verified with simulation studies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Calcified tissue international 23 (1977), S. 39-44 
    ISSN: 1432-0827
    Keywords: Dental cementum ; Collagen ; Protein ; Chemistry
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Physics
    Notes: Summary Cyanogen bromide (CNBr) peptides were prepared of the insoluble collagen of bovine dental cementum. Following chromatographic separation, the peptides were identified by their amino-acid composition. Type I collagen ([α1(I)]2α2) accounted for more than 90% of the organic matrix, while Type III collagen ([α1(III)]3) was present at a level of approximately 5%. Amino-acid analyses revealed that the CNBr peptides from α1(I) and α2 chains of cementum closely resembled the corresponding peptides from calf skin. The only systematic difference was a higher level of hydroxylation of prolyl and lysyl residues of the cementum peptides.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Calcified tissue international 23 (1977), S. 87-94 
    ISSN: 1432-0827
    Keywords: Calcium ; Osteoporosis ; Lactation ; Chemistry
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Physics
    Notes: Summary The calcium homeostatic mechanism was challenged in adult female rats by feeding them a calcium-deficient diet containing oxalate, and by subjecting them to pregnancy and lactation. The regimen caused a substantial weight loss, especially in those animals which reared their young well. Severe hypocalcaemia was observed in the lactating rats. Serum-P was slightly elevated. The content of hydroxyproline in serum was considerably elevated, reflecting the degree of calcium deprivation. Serum proteins were least influenced. The calcium depriving regimen reduced the growth of long bones, but did not stop it. The ash content of the bones was considerably reduced, the degree of reduction depended on the degree of calcium deprivation. Ash as percentage of total bone organ was reduced, but not to the same extent as total ash. Analyses of different parts of femur showed that the proximal and distal parts had lost more bone mineral than the diaphyseal shaft. The ash content of cortical bone tissue from the femur was estimated by a volumetric method. No differences were observed between test groups and controls, indicating that no measurable amounts of bone mineral had been removed from the walls of the vascular canals or by osteocytic osteolysis. Planimetric determinations on cross sections from femora disclosed that a great amount of bone had been removed from the endosteal surface of the diaphysis, while the periosteal surface demonstrated reduced bone apposition.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    ISSN: 1432-0770
    Keywords: Key words: Hebbian learning rule ; attractor dynamics ; symmetric connections ; multiplicative normalization ; self-organization ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Computer Science , Physics
    Notes: Abstract. While learning and development are well characterized in feedforward networks, these features are more difficult to analyze in recurrent networks due to the increased complexity of dual dynamics – the rapid dynamics arising from activation states and the slow dynamics arising from learning or developmental plasticity. We present analytical and numerical results that consider dual dynamics in a recurrent network undergoing Hebbian learning with either constant weight decay or weight normalization. Starting from initially random connections, the recurrent network develops symmetric or near-symmetric connections through Hebbian learning. Reciprocity and modularity arise naturally through correlations in the activation states. Additionally, weight normalization may be better than constant weight decay for the development of multiple attractor states that allow a diverse representation of the inputs. These results suggest a natural mechanism by which synaptic plasticity in recurrent networks such as cortical and brainstem premotor circuits could enhance neural computation and the generation of motor programs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    ISSN: 1573-4919
    Keywords: heart mitochondria ; lability ; muscle mitochondria ; oxidative phosphorylation ; stability ; taurine
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract We modified the isolation procedure of muscle and heart mitochondria. In human muscle, this resulted in a 3.4 fold higher yield of better coupled mitochondria in half the isolation time. In a preparation from rat muscle we studied factors that affected the stability of oxidative phosphorylation (oxphos) and found that it decreased by shaking the preparation on a Vortex machine, by exposure to light and by an increase in storage temperature. The decay was found to be different for each substrate tested. The oxidation of ascorbate was most stable and less sensitive to the treatments. When mitochondria were stored in the dark and the cold, the decrease in oxidative phosphorylation followed first order kinetics. In individual preparations of muscle and heart mitochondria, protection of oxidative phosphorylation was found by adding candidate stabilizers, such as desferrioxamine, lazaroids, taurine, carnitine, phosphocreatine, N-acetylcysteine, Trolox-C and ruthenium red, implying a role for reactive oxygen species and calcium-ions in the in vitro damage at low temperature to oxidative phosphorylation. In heart mitochondria oxphos with pyruvate and palmitoylcarnitine was most labile followed by glutamate, succinate and ascorbate.We studied the effect of taurine, hypotaurine, carnitine, and desferrioxamine on the decay of oxphos with these substrates. 1 mM taurine (n = 6) caused a significant protection of oxphos with pyruvate, glutamate and palmitoylcarnitine, but not with the other substrates. 5 mM L-carnitine (n = 6), 1 mM hypotaurine (n = 3) and 0.1 mM desferrioxamine (n = 3) did not protect oxphos with any of the substrates at a significant level. These experiments were undertaken in the hope that the in vitro stabilizers can be used in future treatment of patients with defects in oxidative phosphorylation. (Mol Cell Biochem 174: 61–66, 1997)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Numerical algorithms 14 (1997), S. 343-359 
    ISSN: 1572-9265
    Keywords: progressive interpolation ; stability ; spline ; shape parameters ; geometric continuity ; 41A05 ; 41A15 ; 65D05 ; 65D07
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract In this paper, we study several interpolating and smoothing methods for data which are known “progressively”. The algorithms proposed are governed by recurrence relations and our principal goal is to study their stability. A recurrence relation will be said stable if the spectral radius of the associated matrix is less than one. The iteration matrices depend on shape parameters which come either from the connection at the knots, or from the nature of the interpolant between two knots. We obtain various stability domains. Moving the parameters inside these domains leads to interesting shape effects.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Computational economics 10 (1997), S. 267-277 
    ISSN: 1572-9974
    Keywords: data mining ; forecasting ; genetic algorithms.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Economics
    Notes: Abstract This paper presents an algorithm that permits the search for dependencies among sets of data (univariate or multivariate time-series, or cross-sectional observations). The procedure is modeled after genetic theories and Darwinian concepts, such as natural selection and survival of the fittest. It permits the discovery of equations of the data-generating process in symbolic form. The genetic algorithm that is described here uses parts of equations as building blocks to breed ever better formulas. Apart from furnishing a deeper understanding of the dynamics of a process, the method also permits global predictions and forecasts. The algorithm is successfully tested with artificial and with economic time-series and also with cross-sectional data on the performance and salaries of NBA players during the 94–95 season.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Artificial intelligence review 13 (1999), S. 345-364 
    ISSN: 1573-7462
    Keywords: data mining ; document filtering ; exploratory data analysis ; information retrieval ; self-organizing map ; SOM ; text document collection ; WEBSOM
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract New methods that are user-friendly and efficient are needed for guidanceamong the masses of textual information available in the Internet and theWorld Wide Web. We have developed a method and a tool called the WEBSOMwhich utilizes the self-organizing map algorithm (SOM) for organizing largecollections of text documents onto visual document maps. The approach toprocessing text is statistically oriented, computationally feasible, andscalable – over a million text documents have been ordered on a single map.In the article we consider different kinds of information needs and tasksregarding organizing, visualizing, searching, categorizing and filteringtextual data. Furthermore, we discuss and illustrate with examples howdocument maps can aid in these situations. An example is presented wherea document map is utilized as a tool for visualizing and filtering a stream ofincoming electronic mail messages.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Applied intelligence 11 (1999), S. 277-284 
    ISSN: 1573-7497
    Keywords: genetic algorithms ; classification ; data mining
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A common approach to evaluating competing models in a classification context is via accuracy on a test set or on cross-validation sets. However, this can be computationally costly when using genetic algorithms with large datasets and the benefits of performing a wide search are compromised by the fact that estimates of the generalization abilities of competing models are subject to noise. This paper shows that clear advantages can be gained by using samples of the test set when evaluating competing models. Further, that applying statistical tests in combination with Occam's razor produces parsimonious models, matches the level of evaluation to the state of the search and retains the speed advantages of test set sampling.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    ISSN: 1573-7497
    Keywords: discretisation ; data mining ; simulated annealing
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract An introduction to the approaches used to discretise continuous database features is given, together with a discussion of the potential benefits of such techniques. These benefits are investigated by applying discretisation algorithms to two large commercial databases; the discretisations yielded are then evaluated using a simulated annealing based data mining algorithm. The results produced suggest that dramatic reductions in problem size may be achieved, yielding improvements in the speed of the data mining algorithm. However, it is also demonstrated under certain circumstances that the discretisation produced may give an increase in problem size or allow overfitting by the data mining algorithm. Such cases, within which often only a small proportion of the database belongs to the class of interest, highlight the need both for caution when producing discretisations and for the development of more robust discretisation algorithms.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Applied intelligence 11 (1999), S. 297-304 
    ISSN: 1573-7497
    Keywords: data mining ; rule discovery ; interest measure ; distinctive features ; characteristic rules
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract One strategy for increasing the efficiency of rule discovery in data mining is to target a restricted class of rules, such as exact or almost exact rules, rules with a limited number of conditions, or rules in which each condition, on its own, eliminates a competing outcome class. An algorithm is presented for the discovery of rules in which each condition is a distinctive feature of the outcome class on its right-hand side in the subset of the data set defined by the conditions, if any, which precede it. Such a rule is said to be characteristic for the outcome class. A feature is defined as distinctive for an outcome class if it maximises a well-known measure of rule interest or is unique to the outcome class in the data set. In the special case of data mining which arises when each outcome class is represented by a single instance in the data set, a feature of an object is shown to be distinctive if and only if no other feature is shared by fewer objects in the data set.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Journal of scientific computing 12 (1997), S. 361-369 
    ISSN: 1573-7691
    Keywords: Alternating-direction implicit ; difference scheme ; stability ; convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A new alternating-direction implicit (ADI) scheme for solving three-dimensional parabolic differential equations has been developed based on the idea of regularized difference scheme. It is unconditionally stable and second-order accurate. Further, it overcomes the drawback of the Douglas scheme and is to be very well to simulate fast transient phenomena and to efficiently capture steady state solutions of parabolic differential equations. Numerical example is illustrated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Neural processing letters 10 (1999), S. 267-271 
    ISSN: 1573-773X
    Keywords: recurrent neural networks ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper, we point out that the conditions given in [1] are sufficient but unnecessary for the global asymptotically stable equilibrium of a class of delay differential equations. Instead, we prove that under weaker conditions, it is still global asymptotically stable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    ISSN: 1573-7462
    Keywords: CancerLit ; concept spaces ; data mining ; Hopfield net ; information retrieval ; Kohonen net ; medical knowledge ; neural networks
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper discusses several data mining algorithms and techniques thatwe have developed at the University of Arizona Artificial Intelligence Lab.We have implemented these algorithms and techniques into severalprototypes, one of which focuses on medical information developed incooperation with the National Cancer Institute (NCI) and the University ofIllinois at Urbana-Champaign. We propose an architecture for medicalknowledge information systems that will permit data mining across severalmedical information sources and discuss a suite of data mining tools that weare developing to assist NCI in improving public access to and use of theirexisting vast cancer information collections.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent information systems 9 (1997), S. 57-81 
    ISSN: 1573-7675
    Keywords: Feature subset selection ; data mining ; simulated annealing
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract An overview of the principle feature subset selection methods isgiven. We investigate a number of measures of feature subset quality, usinglarge commercial databases. We develop an entropic measure, based upon theinformation gain approach used within ID3 and C4.5 to build trees, which isshown to give the best performance over our databases. This measure is usedwithin a simple feature subset selection algorithm and the technique is usedto generate subsets of high quality features from the databases. A simulatedannealing based data mining technique is presented and applied to thedatabases. The performance using all features is compared to that achievedusing the subset selected by our algorithm. We show that a substantialreduction in the number of features may be achieved together with animprovement in the performance of our data mining system. We also present amodification of the data mining algorithm, which allows it to simultaneouslysearch for promising feature subsets and high quality rules. The effect ofvarying the generality level of the desired pattern is alsoinvestigated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent information systems 9 (1997), S. 33-56 
    ISSN: 1573-7675
    Keywords: combinatorial pattern matching ; data mining ; sequential pattern ; suffix tree ; update
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Most daily and scientific data are sequential in nature. Discoveringimportant patterns from such data can benefit the user and scientist bypredicting coming activities, interpreting recurring phenomena, extractingoutstanding similarities and differences for close attention, compressingdata, and detecting intrusion. We consider the following incrementaldiscovery problem for large and dynamic sequential data. Suppose thatpatterns were previously discovered and materialized. An update is made tothe sequential database. An incremental discovery will take advantage ofdiscovered patterns and compute only the change by accessing the affectedpart of the database and data structures. In addition to patterns, thestatistics and position information of patterns need to be updated to allowfurther analysis and processing on patterns. We present an efficientalgorithm for the incremental discovery problem. The algorithm is applied tosequential data that honors several sequential patterns modeling weatherchanges in Singapore. The algorithm finds what it is supposed to find.Experiments show that for small updates and large databases, the incrementaldiscovery algorithm runs in time independent of the data size.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Journal of scientific computing 12 (1997), S. 215-231 
    ISSN: 1573-7691
    Keywords: Transport models ; shallow water ; splitting methods ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We investigate the use of splitting methods for the numerical integration of three-dimensional transport-chemistry models. In particular, we investigate various possibilities for the time discretization that can take advantage of the parallelization and vectorization facilities offered by multi-processor vector computers. To suppress wiggles in the numerical solution, we use third-order, upwind-biased discretization of the advection terms, resulting in a five-point coupling in each direction. As an alternative to the usual splitting functions, such as co-ordinate splitting or operator splitting, we consider a splitting function that is based on a three-coloured hopscotch-type splitting in the horizontal direction, whereas full coupling is retained in the vertical direction. Advantages of this splitting function are the easy application of domain decomposition techniques and unconditional stability in the vertical, which is an important property for transport in shallow water. The splitting method is obtained by combining the hopscotch-type splitting function with various second-order splitting formulae from the literature. Although some of the resulting methods are highly accurate, their stability behaviour (due to horizontal advection) is quite poor. Therefore we also discuss several new splitting formulae with the aim to improve the stability characteristics. It turns out that this is possible indeed, but the price to pay is a reduction of the accuracy. Therefore, such methods are to be preferred if accuracy is less crucial than stability; such a situation is frequently encountered in solving transport problems. As part of the project TRUST (Transport and Reactions Unified by Splitting Techniques), preliminary versions of the schemes are implemented on the Cray C98 4256 computer and are available for benchmarking.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Journal of scientific computing 12 (1997), S. 353-360 
    ISSN: 1573-7691
    Keywords: Alternating-direction implicit ; difference scheme ; stability ; convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A generalized Peaceman–Rachford alternating-direction implicit (ADI) scheme for solving two-dimensional parabolic differential equations has been developed based on the idea of regularized difference scheme. It is to be very well to simulate fast transient phenomena and to efficiently capture steady state solutions of parabolic differential equations. Numerical example is illustrated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Neural processing letters 5 (1997), S. 69-81 
    ISSN: 1573-773X
    Keywords: data mining ; feature extraction ; information retrieval ; Self-Organizing Map (SOM) ; text analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract WEBSOM is a recently developed neural method for exploring full-text document collections, for information retrieval, and for information filtering. In WEBSOM the full-text documents are encoded as vectors in a document space somewhat like in earlier information retrieval methods, but in WEBSOM the document space is formed in an unsupervised manner using the Self-Organizing Map algorithm. In this article the document representations the WEBSOM creates are shown to be computationally efficient approximations of the results of a certain probabilistic model. The probabilistic model incorporates information about the similarity of use of different words to take into account their semantic relations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent information systems 12 (1999), S. 61-73 
    ISSN: 1573-7675
    Keywords: association rules ; knowledge discovery ; data mining
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We consider the problem of finding association rules in a database with binary attributes. Most algorithms for finding such rules assume that all the data is available at the start of the data mining session. In practice, the data in the database may change over time, with records being added and deleted. At any given time, the rules for the current set of data are of interest. The naive, and highly inefficient, solution would be to rerun the association generation algorithm from scratch following the arrival of each new batch of data. This paper describes the Borders algorithm, which provides an efficient method for generating associations incrementally, from dynamically changing databases. Experimental results show an improved performance of the new algorithm when compared with previous solutions to the problem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent information systems 13 (1999), S. 195-234 
    ISSN: 1573-7675
    Keywords: data mining ; knowledge discovery ; machine learning ; knowledge representation ; attribute-oriented generalization ; domain generalization graphs
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Attribute-oriented generalization summarizes the information in a relational database by repeatedly replacing specific attribute values with more general concepts according to user-defined concept hierarchies. We introduce domain generalization graphs for controlling the generalization of a set of attributes and show how they are constructed. We then present serial and parallel versions of the Multi-Attribute Generalization algorithm for traversing the generalization state space described by joining the domain generalization graphs for multiple attributes. Based upon a generate-and-test approach, the algorithm generates all possible summaries consistent with the domain generalization graphs. Our experimental results show that significant speedups are possible by partitioning path combinations from the DGGs across multiple processors. We also rank the interestingness of the resulting summaries using measures based upon variance and relative entropy. Our experimental results also show that these measures provide an effective basis for analyzing summary data generated from relational databases. Variance appears more useful because it tends to rank the less complex summaries (i.e., those with few attributes and/or tuples) as more interesting.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent information systems 8 (1997), S. 5-28 
    ISSN: 1573-7675
    Keywords: machine learning ; meta-learning ; scalability ; data mining ; classifiers
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper, wedescribe a general approach to scaling data mining applications thatwe have come to call meta-learning. Meta-Learningrefers to a general strategy that seeks to learn how to combine anumber of separate learning processes in an intelligent fashion. Wedesire a meta-learning architecture that exhibits two key behaviors.First, the meta-learning strategy must produce an accurate final classification system. This means that a meta-learning architecturemust produce a final outcome that is at least as accurate as aconventional learning algorithm applied to all available data.Second, it must be fast, relative to an individual sequential learningalgorithm when applied to massive databases of examples, and operatein a reasonable amount of time. This paper focussed primarily onissues related to the accuracy and efficacy of meta-learning as ageneral strategy. A number of empirical results are presenteddemonstrating that meta-learning is technically feasible in wide-area,network computing environments.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 22 (1999), S. 379-396 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; resolution decision procedures ; propositional modal logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The paper shows that satisfiability in a range of popular propositional modal systems can be decided by ordinary resolution procedures. This follows from a general result that resolution combined with condensing, and possibly some additional form of normalization, is a decision procedure for the satisfiability problem in certain so-called path logics. Path logics arise from normal propositional modal logics by the optimized functional translation method. The decision result provides an alternative method of proving decidability for modal logics, as well as closely related systems of artificial intelligence. This alone is not interesting. A more far-reaching consequence of the result has practical value, namely, many standard first-order theorem provers that are based on resolution are suitable for facilitating modal reasoning.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 139-162 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; design
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Running a competition for automated theorem proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP System Competition were to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to researchers both within and outside the ATP community. This article identifies and discusses the issues that determine the nature of such a competition. Choices and motivated decisions for the CADE-13 competition, with respect to the issues, are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 205-210 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; LINUS ; first-order logic ; hyperlinking ; mate saturation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract LINUS is a theorem prover for clause logic based on hyperlinking. The main new feature of the system is the emphasis on the preference for unit clauses, which are generated as a by-product of the hyperlinking method. The mechanism of unit support also motivates a slightly different interpretation of hyperlinking, namely, as mate saturation. Mate saturation can be viewed as a generalization of unit-resulting resolution that is compatible with any set-of-support strategy. We give a survey on the theoretical background and the architecture of the system, and decribe its performance.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 227-236 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Satchmo ; compilation ; incremental evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Compiling Satchmo and Functional Satchmo are two variants of the model generator Satchmo, incorporating enhancements in different directions. Compiling Satchmo is based on the observation that Satchmo (like any model generator or theorem prover) can be seen as an interpreter for a program given as a logical theory, and that this interpretation layer can be avoided by compilation of the theory into a directly executable program. Functional Satchmo is an implementation of Satchmo's calculus in a purely functional language supporting lazy evaluation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 271-286 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; results
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The CADE-13 ATP System Competition tested 18 ATP systems on 50 theorems, in five competition categories, with a time limit of 300 seconds imposed on each system run. This article records the results of the competition. Some analysis of these results is given, and interesting points are highlighted.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 171-176 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Barcelona ; data structures and algorithms ; implementation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Here we describe the equational theorem prover Barcelona, in its version that participated in the CADE-13 ATP System Competition. The system was built on top of our toolkit of data structures and algorithms for automated deduction in first-order logic with equality and was devised mainly to test the performance of this toolkit.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 189-198 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; DISCOUNT ; distributed theorem proving ; reactive planning ; learning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The DISCOUNT system is a distributed equational theorem prover based on the teamwork method for knowledge-based distribution. It uses an extended version of unfailing Knuth–Bendix completion that is able to deal with arbitrarily quantified goals. DISCOUNT features many different control strategies that cooperate using the teamwork approach. Competition between multiple strategies, combined with reactive planning, results in an adaptation of the whole system to given problems, and thus in a very high degree of independence from user interaction. Teamwork also provides a suitable framework for the use of control strategies based on learning from previous proof experiences. One of these strategies forms the core of the expert global_learn, which is capable of learning from successful proofs of several problems. This expert, running sequentially, was one of the entrants in the competition (DISCOUNT/GL), while a distributed DISCOUNT system running on two workstations was another en trant.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 247-252 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; SPASS ; sorts ; superposition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article describes SPASS, Version 0.49, as it was entered in the system competition at CADE-13. SPASS is an automated theorem prover for full first-order logic with equality. It is based on the superposition calculus originally developed by Bachmair and Ganzinger, extended by the sort techniques due to Weidenbach and an inference rule for case analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 259-264 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Violet ; resolution ; locking ; term rewriting ; Knuth–Bendix completion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Violet is an easy-to-use theorem prover based on locking resolution, with integrated equality extensions that use term rewriting and Knuth–Bendix completion. Violet participated in the CADE-13 ATP System Competition.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 23 (1999), S. 1-23 
    ISSN: 1573-0670
    Keywords: competition ; automated theorem proving
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The results of the CADE-15 ATP System Competition (CASC-15) are presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 237-246 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; SETHEO ; E-SETHEO ; first-order logic ; model elimination ; equality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The model elimination theorem prover SETHEO (version V3.3) and its equational extension E-SETHEO are presented. SETHEO employs sophisticated mechanisms of subgoal selection, elaborate iterative deepening techniques, and local failure caching methods. Its equational counterpart E-SETHEO transforms formulae containing equality (using a variant of Brand's modification method) and processes the output with the standard SETHEO system. This article gives an overview of the theoretical background, the system architecture, and the performance of both systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 265-270 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Waldmeister ; unfailing Knuth–Bendix completion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Waldmeister is a high-performance theorem prover for unit equational first-order logic. In the making of Waldmeister, we have applied an engineering approach, identifying the critical points with respect to efficiency in time and space. Our logical three-level system model consists of the basic operations on the lowest level, where we put great stress on efficient data structures and algorithms. For the middle level, where the inference steps are aggregated into an inference machine, flexible adjustment has proven essential during experimental evaluation. The top level holds control strategy and reduction ordering. Although at this level only standard strategies are employed, really large proof tasks have been managed in reasonable time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 105-134 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; Gentzen system ; natural deduction ; unification algorithm
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A natural deduction system was adapted from Gentzen system. It enables valid wffs to be deduced in a very ‘natural’ way. One need not transform a formula into other normal forms. Robinson’s unification algorithm is used to handle clausal formulas. Algorithms for eliminating and introducing quantifiers without Skolemization are presented, and unification theorems for them are proved. A natural deduction automated theorem prover based on the algorithms was implemented. The rules for quantifiers are controlled by the algorithms. The Andrews challenge and the halting problem were proved by the system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 163-169 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; procedures
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 199-204 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Gandalf ; resolution ; subsumption
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We give a brief overview of the first-order classical logic component in the Gandalf family of resolution-based automated theorem provers for classical and intuitionistic logics. The main strength of the described version is a sophisticated algorithm for nonunit subsumption.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 221-226 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; RRTP ; replacement ; instance based theorem prover ; propositional calculus decision procedure
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The Replacement Rule Theorem Prover (RRTP) is an instance-based, refutational, first-order clausal theorem prover. The prover is motivated by the idea of selectively replacing predicates by their definitions, and operates by selecting relevant instances of the input clauses. The relevant instances are grounded, if necessary, and tested for unsatisfiability by using a fast propositional calculus decision procedure.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 253-258 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; SPTHEO ; parallel search ; static partitioning with slackness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract SPTHEO v3.3 is a parallelization of the sequential first-order theorem prover SETHEO v3.3. The parallelization is based on the SPS-model (Static Partitioning with Slackness) for parallel search, an approach that minimizes the processor-to-processor communication. This model allows efficient computations on hardware with weak communication performance, such as workstation networks. SPTHEO offers the utilization of both OR- and independent-AND parallelism. In this article, a detailed description and evaluation of the OR-parallel part used in the CADE-13 ATP System Competition are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 287-296 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; conclusions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 183-188 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; CLIN-S ; semantics ; hyper-linking ; resolution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract CLIN-S is an instance-based, clause-form first-order theorem prover. CLIN-S employs three inference procedures: semantic hyper-linking, which uses semantics to guide the proof search and performs well on non-Horn parts of the proofs involving small literals, rough resolution, which removes large literals in the proofs, and UR resolution, which proves the Horn parts of the proofs. A semantic structure for the input clauses is given as input. During the search for the proof, ground instances of the input clauses are generated and new semantic structures are built based on the input semantics and a model of the ground clause set. A proof is found if the ground clause set is unsatisfiable. In this article, we describe the system architecture and major inference rules used in CLIN-S.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 177-182 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; CLIN-E ; hyper-linking ; smallest instance first hyper-linking
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Hyper-linking is an instance-based automated theorem proving strategy that uses unification to generate instances of the input clauses. Lee implemented hyper-linking in the automated theorem prover CLIN, which uses a breadth-first strategy for generating instances of clauses via the hyper-link operation. In attempting to add equality support to CLIN, a number of inefficiencies with Lee's breadth-first strategy for generating instances were encountered. An alternative depth-first strategy, referred to as smallest-instance-first hyper-linking, for generating instances via the hyper-link operation was developed to address these inefficiencies. Smallest-instance-first hyper-linking is implemented in the automated theorem prover CLIN-E.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 211-220 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Otter ; automated reasoning ; equational deduction ; paramodulation ; resolution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article discusses the two incarnations of Otter entered in the CADE-13 Automated Theorem Proving System Competition. Also presented are some historical background, a summary of applications that have led to new results in mathematics and logic, and a general discussion of Otter.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    ISSN: 1573-0778
    Keywords: CHO cells ; DHFR ; IGFBP-1 ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Process Engineering, Biotechnology, Nutrition Technology
    Notes: Abstract Stable expression of human insulin-like growth factor of binding protein-1 (hIGFBP-1)at high levels has been achieved in Chinese hamster ovary (CHO) cells by co-transfection and subsequent co-amplification of expression vectors containing the hIGFBP-1 cDNA and a dihydrofolate reductase (DHFR) cDNA gene into DHFR-deficient cells. Stepwise selection of the DHFR+ transformants in increasing concentrations of methotrexate (MTX) generated cells which had high copy numbers of the hIGFBP-1 gene (around 100 copies in cells amplified in medium containing 100 nM MTX). Expression of hIGFBP-1 in mixed clones was found to increase with increasing copy number and an apparent correlation between intra- and extracellular levels of hIGFBP-1 produced by these cells was observed. It was further observed that continuous cultivation over eight months in medium supplemented with 100 nM MTX increased the production of hIGFBP-1 25 times. The productivity did not increase further after five more months cultivation in MTX containing medium. A subcloning of this cell line gave clones with an even higher productivity. Further amplification in 500 nM or 1 uM MTX did not increase the hIGFBP-1 production.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Computational optimization and applications 12 (1999), S. 53-79 
    ISSN: 1573-2894
    Keywords: support vector machines ; linear programming ; classification ; data mining ; machine learning.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We examine the problem of how to discriminate between objects of three or more classes. Specifically, we investigate how two-class discrimination methods can be extended to the multiclass case. We show how the linear programming (LP) approaches based on the work of Mangasarian and quadratic programming (QP) approaches based on Vapnik's Support Vector Machine (SVM) can be combined to yield two new approaches to the multiclass problem. In LP multiclass discrimination, a single linear program is used to construct a piecewise-linear classification function. In our proposed multiclass SVM method, a single quadratic program is used to construct a piecewise-nonlinear classification function. Each piece of this function can take the form of a polynomial, a radial basis function, or even a neural network. For the k 〉 2-class problems, the SVM method as originally proposed required the construction of a two-class SVM to separate each class from the remaining classes. Similarily, k two-class linear programs can be used for the multiclass problem. We performed an empirical study of the original LP method, the proposed k LP method, the proposed single QP method and the original k QP methods. We discuss the advantages and disadvantages of each approach.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    ISSN: 1573-756X
    Keywords: data cube ; data mining ; aggregation ; summarization ; database ; analysis ; query
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Data analysis applications typically aggregate data across manydimensions looking for anomalies or unusual patterns. The SQL aggregatefunctions and the GROUP BY operator produce zero-dimensional orone-dimensional aggregates. Applications need the N-dimensionalgeneralization of these operators. This paper defines that operator, calledthe data cube or simply cube. The cube operator generalizes the histogram,cross-tabulation, roll-up,drill-down, and sub-total constructs found in most report writers.The novelty is that cubes are relations. Consequently, the cubeoperator can be imbedded in more complex non-procedural dataanalysis programs. The cube operator treats each of the Naggregation attributes as a dimension of N-space. The aggregate ofa particular set of attribute values is a point in this space. Theset of points forms an N-dimensional cube. Super-aggregates arecomputed by aggregating the N-cube to lower dimensional spaces.This paper (1) explains the cube and roll-up operators, (2) showshow they fit in SQL, (3) explains how users can define new aggregatefunctions for cubes, and (4) discusses efficient techniques tocompute the cube. Many of these features are being added to the SQLStandard.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    ISSN: 1573-756X
    Keywords: data mining ; knowledge discovery ; attribute focusing ; basketball ; NBA
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Advanced Scout is a PC-based data mining application used by National Basketball Association (NBA)coaching staffs to discover interesting patterns in basketball game data. We describe Advanced Scout software from the perspective of data mining and knowledge discovery. This paper highlights the pre-processing of raw data that the program performs, describes the data mining aspects of the software and how the interpretation of patterns supports the processof knowledge discovery. The underlying technique of attribute focusing asthe basis of the algorithm is also described. The process of pattern interpretation is facilitated by allowing the user to relate patterns to video tape.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Data mining and knowledge discovery 1 (1997), S. 203-224 
    ISSN: 1573-756X
    Keywords: causal discovery ; data mining ; observational data
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents a simple, efficient computer-based method for discovering causal relationships from databases that contain observational data. Observational data is passively observed, as contrasted with experimental data. Most of the databases available for data mining are observational. There is great potential for mining such databases to discover causal relationships. We illustrate how observational data can constrain the causal relationships among measured variables, sometimes to the point that we can conclude that one variable is causing another variable. The presentation here is based on a constraint-based approach to causal discovery. A primary purpose of this paper is to present the constraint-based causal discovery method in the simplest possible fashion in order to (1) readily convey the basic ideas that underlie more complex constraint-based causal discovery techniques, and (2) permit interested readers to rapidly program and apply the method to their own databases, as a start toward using more elaborate causal discovery algorithms.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Data mining and knowledge discovery 3 (1999), S. 197-217 
    ISSN: 1573-756X
    Keywords: binary decision tree ; classification ; data mining ; entropy ; Gini index ; impurity ; optimal splitting
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract To find the optimal branching of a nominal attribute at a node in an L-ary decision tree, one is often forced to search over all possible L-ary partitions for the one that yields the minimum impurity measure. For binary trees (L = 2) when there are just two classes a short-cut search is possible that is linear in n, the number of distinct values of the attribute. For the general case in which the number of classes, k, may be greater than two, Burshtein et al. have shown that the optimal partition satisfies a condition that involves the existence of 2 L hyperplanes in the class probability space. We derive a property of the optimal partition for concave impurity measures (including in particular the Gini and entropy impurity measures) in terms of the existence ofL vectors in the dual of the class probability space, which implies the earlier condition. Unfortunately, these insights still do not offer a practical search method when n and k are large, even for binary trees. We therefore present a new heuristic search algorithm to find a good partition. It is based on ordering the attribute's values according to their principal component scores in the class probability space, and is linear in n. We demonstrate the effectiveness of the new method through Monte Carlo simulation experiments and compare its performance against other heuristic methods.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Data mining and knowledge discovery 3 (1999), S. 219-225 
    ISSN: 1573-756X
    Keywords: data mining ; knowledge discovery ; churn prediction application ; predictive modeling
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We describe CHAMP (CHurn Analysis, Modeling, and Prediction), an automated system for modeling cellular customer behavior on a large scale. Using historical data from GTE's data warehouse for cellular phone customers, every month CHAMP identifies churn factors for several geographic regions and updates models to generate churn scores predicting who is likely to churn within the near future. CHAMP is capable of developing customized monthly models and churn scores for over one hundred GTE cellular phone markets totaling over 5 million customers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Data mining and knowledge discovery 3 (1999), S. 237-261 
    ISSN: 1573-756X
    Keywords: data mining ; parallel processing ; classification ; scalability ; decision trees
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Classification decision tree algorithms are used extensively for data mining in many domains such as retail target marketing, fraud detection, etc. Highly parallel algorithms for constructing classification decision trees are desirable for dealing with large data sets in reasonable amount of time. Algorithms for building classification decision trees have a natural concurrency, but are difficult to parallelize due to the inherent dynamic nature of the computation. In this paper, we present parallel formulations of classification decision tree learning algorithm based on induction. We describe two basic parallel formulations. One is based on Synchronous Tree Construction Approach and the other is based on Partitioned Tree Construction Approach. We discuss the advantages and disadvantages of using these methods and propose a hybrid method that employs the good features of these methods. We also provide the analysis of the cost of computation and communication of the proposed hybrid method. Moreover, experimental results on an IBM SP-2 demonstrate excellent speedups and scalability.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Data mining and knowledge discovery 3 (1999), S. 291-314 
    ISSN: 1573-756X
    Keywords: association rules ; data mining ; data skewness ; workload balance ; parallel mining ; parallel computing
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Association rule mining is an important new problem in data mining. It has crucial applications in decision support and marketing strategy. We proposed an efficient parallel algorithm for mining association rules on a distributed share-nothing parallel system. Its efficiency is attributed to the incorporation of two powerful candidate set pruning techniques. The two techniques, distributed and global prunings, are sensitive to two data distribution characteristics: data skewness and workload balance. The prunings are very effective when both the skewness and balance are high. We have implemented FPM on an IBM SP2 parallel system. The performance studies show that FPM outperforms CD consistently, which is a parallel version of the representative Apriori algorithm (Agrawal and Srikant, 1994). Also, the results have validated our observation on the effectiveness of the two pruning techniques with respect to the data distribution characteristics. Furthermore, it shows that FPM has nice scalability and parallelism, which can be tuned for different business applications.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    ISSN: 1573-7578
    Keywords: enterprise integration ; workflow management ; agents interoperation ; heterogeneous databases ; scientific decision support ; data mining
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The Carnot project was an ambitious research project inheterogeneous databases. It integrated a variety of techniques toaddress a wide range of problems in achieving interoperation inheterogeneous environments. Here we describe some of the majorimplemented applications of this project. These applications concern(a) accessing a legacy scientific database, (b) automating a workflowinvolving legacy systems, (c) cleaning data, and (d) retrievingsemantically appropriate information from structured databases inresponse to text queries. These applications support scientificdecision support, business process management, data integrityenhancement, and analytical decision support, respectively. Theydemonstrate Carnot‘s capabilities for (a) heterogeneous queryprocessing, (b) relaxed transaction and workflow management, (c)knowledge discovery, and (d) heterogeneous resource modelintegration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Efforts to explain blood compatibility with synthetic and natural surfaces based on a single parameter or a single biological test procedure have either been unsuccessful or led to misleading generalizations. The problem reflects the complex interdependence between material's properties, the composition and properties of blood, and in vivo biorheological conditions. Among the initial events that occur when materials contact blood is the very rapid adsorption of plasma proteins; this process effectively influences the subsequent interactions with the formed blood elements, especially the platelets with the proteinated surfaces.In the case of natural surfaces, when the endothelium is damaged, collagen may become exposed that may cause the activation, adhesion, and aggregation of platelets leading to thrombosis. Current evidence indicates that the platelet-aggregating ability of collagen depends on its “multimeric” or fibrillar structure, rather than on the activation of the platelet-bound enzyme system. Under normal conditions, the flowing blood is probably not in direct contact with endothelial cells that line the blood vessel walls, but with an adsorbed layer of plasma proteins. Should a formation of a multilayer of plasma proteins occur following the initial adsorption of a monolayer, this process could be influenced by changes in the solubility of the proteins, especially fibrinogen, the solubility of which is quite low in plasma. The hypothesis is proposed that such changes may be intimately related to the electrical properties of proteins present in the vascular wall and in blood. It is possible that these properties play a much greater role in thrombogenesis and in the problem of blood compatibility than is currently appreciated.Considering synthetic polymers, a number of these have been prepared that exhibit little adverse effects on blood components and, at the same time, retain their physical properties for various periods of time in the physiological environment. These combined biological and physical properties make them useful for various prosthetic and other biomedical applications in surgery and therapy.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 111-123 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The enzymatic activity of α-chymotrypsin (CT), immobilized on hydrogelcoated polymer film supports, has been investigated. The support was prepared by radiation-graft copolymerization of 2-hydroxyethyl methacrylate (HEMA) and methacrylic acid (MAAc) on silicone rubber films. The enzyme was covalently coupled to the carboxylic group of MAAc via the N-hydroxysuccinimide (NHS) ester active intermediate.Increasing MAAc contents of the hydrogel resulted in increased attachment of CT. The integrity of the CT active site after attachment was assessed by an active site titration with diisopropyl fluorophosphate (DFP). As the MAAc content of the hydrogel was increased, an increasing fraction of the attached CT retained its activity to DFP. A greater fraction of CT was active towards DFP when adsorbed than when coupled.The rates of hydrolysis of some synthetic model substrates by the immobilized CT were also measured. The negative charge on the hydrogel had a large effect on the rates of these hydrolyses. The pH optimum for the hydrolysis of N-acetyl-L-tyrosine ethyl ester (ATEE) by immobilized CT was higher than that of free CT. Increasing MAAc content of the hydrogel resulted in larger shifts in the pH optimum. The maximum rates of ATEE hydroylsis per mg CT declined sharply with increasing MAAc content of the hydrogel. This is probably related to the increasing repulsive force between the ATEE (negatively charged above ⋍ pH 9.5) and the hydrogel with increasing MAAc content. The activity of immobilized CT to ATEE is small compared to that of free CT, partly due to this charge effect. Conversely, the rate of hydrolysis of BAEE, a positively charged substrate, by immobilized CT at pH 11, is almost fourfold greater than that by free CT at its pH optimum.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 187-193 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A single application of fluoride to the epiphysis of the femur induced accelerated bone formation. The additional bone gave rise to a stability effect on the implant inserted in the femur as expressed by an increased dislodgement force required.
    Additional Material: 3 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A percutaneous implant for the attachment of an artificial limb has been designed and tested in 14 pigs. Firm fixation to beone was achieved with the porous-surface layered metal intramedullary stem design in some cases. Dacron velour was used at the soft tissue interface. Evidence of soft tissue ingrowth was seen. However, the velour was unable to maintain adequate epithelial adhesion to form an anatomical seal and a barrier to bacteria.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 83-87 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The purpose of this report is to present our 5-year experience in reconstructing large bony defects in the cranial vault of 16 patients. The method employs an alloplastic implant device made of elastomer-coated cloth mesh, used in conjunction with bone grafting [D. L. Leake and M. Habal, J. Biomed. Mater. Res., 10, 555 (1976)]. The cranial defects ranged in size from 6 × 6 cm to 15 × 17 cm. The defects were in the frontal, temporoparietal, and occipital regions. Particularly challenging was the frontal-orbital region involving the superciliary ridges. The alloplastic implant provides controlled contour of the bone graft material while providing strength and stability during healing. The implant has adequate but not complete rigidity, allowing adaptability in the operating room. The elastomer used is a polyetherurethane. Any biocompatible cloth mesh can be used, but Dacron [poly(ethylene terephthalate)] was chosen because of its extensive implant history.Contrasted with reconstruction using only bone, where as many as half of the cases had uneveness and were found to be aesthetically unsatisfactory, the technique described here has resulted in aesthetically excellent results and an intact neurocranium in the 16 patients studied thus far.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 149-165 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A new adhesive fissure sealant, which consists of a solution of 3% 2-hydroxy-3-β-naphthoxypropyl methacrylate in methyl methacrylate (MMA), poly-MMA powder and an oxidized tri-n-butyl borane, a polymerization initiator, was developed. Tensile bond strength between an acid-etched bovine enamel and a poly-MMA bar joined by this sealant was 60 kg/cm2, and the value did not decrease much after 30 days immersion in water at 37°C. Penetration of fuchsin into the sealant-enamel interface during a percolation test was not observed. SEM observation showed no voids between the enamel and the cured sealant.
    Additional Material: 10 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 203-217 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The adsorption of fibrinogen from single solution and from mixed solution with albumin and γ-globulin has been followed at the air-buffer, isooctane-buffer, and methylene iodide-buffer interfaces by the pendant drop technique. Fibrinogen is shown to form substantial coherent films on isooctane and methylene iodide, suggesting considerable unfolding and lateral association. From this, a novel hypothesis has been proposed to account for the dominance of fibrinogen adsorption from mixed solutions on certain hydrophobic surfaces, in which the spreading pressure of rapidly unfolding fibrinogen molecules is sufficient to desorb other plasma proteins.
    Additional Material: 7 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 233-240 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Five composite filling materials were finished using six finishing procedures currently in clinical use. The average roughness produced by each procedure was measured by means of a Surfanalyzer with four replications for each procedure on each of the five materials. Statistical analysis indicated that finishing with silicon carbide disks produced the smoothest surfaces. Acceptable surfaces were obtained with stones or with burs. Use of an alumina paste after a green stone-white Arkansas sequence did not produce a significant improvement.Two processes of filler particle abrasion were distinguished by means of electron microscopy: wear and shear. Fracture striations indicated particle shear.The roughest surfaces were produced by the use of a diamond instrument which is contraindicated. Acceptable finishing procedures for the composite materials tested include silicon carbide disks for accessible areas or 12 fluted finishing burs for more inaccessible areas.
    Additional Material: 7 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 249-254 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The daily in vitro release of hydrocortisone from composite polymer capsules is reported here for over 120 days. Increase in vinyl acetate comonomer content of the ethylene-vinyl acetate copolymer matrix brought about an increase in the diffusion rate. Variation in the initial drug content of the capsules from 40 mg to 20 mg affects the daily drug release less significantly than the variation in copolymer ratio. The correlation between vinyl acetate comonomer content and the percent crystallinity of the copolymer matrix is suggested as one of the possible major factors in controlling diffusion rate from this drug-polymer system. The diffusion constant (D) calculated was 0.212 × 10-10 cm2/sec when the copolymer carrier has 30% vinyl acetate content and 0.430 × 10-11 cm2/sec when the copolymer carrier has 20% vinyl acetate content for capsules with 20 mg initial drug content, and 0.118 × 10-11 cm2/sec and 0.226 × 10-11 cm2/sec, respectively, for capsules with 40 mg initial drug content.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Four self-curing acrylic bone cements were surveyed by infrared, solubility, viscometry, quantitative metallography, microscopy, and physical testing techniques: CMW, Palacos R, Sulfix-6, and Surgical Simplex P. Results show that these bone cements were primarily composed of poly(methyl methacrylate) and that no cross-linking was evident. Solubility analysis confirmed this latter observation, as the bone cements dissolved completely except for a small insoluble fraction, which was identified as the radiopaque filler. For each bone cement, the viscosity-average molecular weights of both the powdered phase and the cured two-phase product remained unchanged, varying overall from 1 to 5 × 105. Using standard quantitative metallography, porosity ranged from 1 to 8% and the dispersed powder phase decreased 11-46%. Microscopy revealed the nature of the porosity, radiopaque fillers, the powder size and shape, and the fracture morphology. From tensile and fracture toughness tests, five physical properties were determined at ambient conditions and at 37°C after conditioning in distilled water at 37°C for 10 months: the modulus of elasticity, the ultimate tensile strength, the elongation at break, the fracture energy, and the mean inherent flaw size. At ambient conditions, the ultimate tensile strength decreased 33-55% when compared with commercial unmodified poly(methyl methacrylate), Plexiglas G. While the fracture energy remained rather invariant, the mean inherent flaw size increased fivefold over the commercial acrylic tested. This marked increase in the mean inherent flaw size could lower the fatigue resistance of a material, since more and/or larger fracture initiation sites are available. When tested at 37°C after protracted conditioning, the deleterious trends observed at ambient temperature continued. To some degree, porosity, particle-matrix interfaces, residual stresses, low molecular weight products, inorganic and/or other organic additions, and water contributed to the inherent flaw size at the expense of the working stress. Several modifications are suggested by which the importance of these factors might be minimized.
    Additional Material: 7 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 347-359 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The evaluation of the efficiency of polymer additives with special emphasis on uv absorbers and antioxidants in polyurethane elastomers has been completed. Aliphatic polyurethanes were chosen for this study because their properties closely relate to the requirements of maxillofacial prosthesis. The polyurethane elastomers were either synthesized by ourselves or formulated according to the manufacturer's recommendation. Eleven different types of uv absorbers, coupled with one antioxidant, were incorporated into the polyurethane systems. The Atlas twin-lamp carbon arc Weatherometer was used as the source of uv. The samples were periodically withdrawn for examination of yellowing and tackiness. It was found that, although the incorporation of uv stabilizers enhanced the uv resistance of polyurethanes, the problem of tackiness resulting from uv aging was not solved satiafactorily. The phenomenon of yellowing, however, was significantly improved, mainly due to the aliphatic structure of polyurethanes. The most promising uv absorbers are Tinuvin 770 and the combination of Tinuvin 328, ZnO, and an antioxidant. Their effectiveness in other polyurethane systems is not known and further research is underway to explore this field. Hopefully, these findings will greatly assist the successful application of polyurethane elastomers in maxillofacial prosthesis.
    Additional Material: 5 Tab.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 381-399 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Heparinized dog blood was exposed to shear and foreign surfaces in conicylindrical test cells. The cells were injection molded from polycarbonate and were filled using a technique that avoided contact of the blood with air. Particulate-matter formation was measured and was found to be dominated by the surface-to-blood-volume ratio and to be independent of shear rate. Hemolysis was also measured and was found to vary linearly with shear rate and to increase with increasing surface-to-blood volume ratio. Thus, at low shear rates and high specific surface conditions, the degree of hemolysis was found to be minimal while particulate-matter formation was high. The results suggest that the safety of extracorporeal perfusion procedures cannot be inferred from hemolysis measurements alone. In one series of tests, a gas-blood interface was generated at a rate equivalent to the rate of surface renewal in conventional disc oxygenators. The gas-blood interface failed to contribute significantly to the damage indices, which suggests that the apparent superiority of membrane oxygenators may be a result of factors other than the absence of a blood-gas interface.
    Additional Material: 9 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 433-433 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 435-472 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A microporous filler giving greatly improved finishability, systemic nontoxic X-ray opacification, low thermal expansion (27.2 × 10-6/°C), and satisfactory translucencies has been developed for dental composite resin restorations. These fillers are prepared from frits obtained by the low-temperature calcination of gelled inorganic sols followed by a pulsed high-temperature treatment. Composites prepared from these fillers are within the range of commercial products with regard to strength and setting contraction.
    Additional Material: 17 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 491-503 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Reconstituted bovine collagen has been used extensively in our laboratory as a carrier for immobilized E. coli L-asparaginase. The activity and catalytic stability of these collagen-asparaginase membranes can be altered substantially by conditions used in membrane crosslinking with glutaraldehyde. As the concentration of glutaraldehyde used in tanning is increased, the initial specific activity of collagen-asparaginase membranes decreased asymptotically to a limiting value. Similar results occurred when membranes were subjected to increasing time periods of tanning at a constant glutaraldehyde concentration. These observations point to a time-concentration relationship for glutaraldehyde tanning and its effect on the specific activity of collagen-asparaginase membranes. Specific activities of membranes tanned at glutaraldehyde concentrations of 5% or higher appear to be very stable over long periods of alternate storage and assay. This result, however, is not observed with membranes tanned at glutaraldehyde concentrations lower than 5% for short periods of time (approximately 30 sec to 1 min). It is not clear whether the instability of membranes tanned at lower concentrations of glutaraldehyde or shorter intervals of tanning is due to enzyme elution from the membrane or denaturation of the bound enzyme.
    Additional Material: 7 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 541-555 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The corrosion of carved, burnished, polished, and burnished-polished samples of a conventional spherical amalgam was studied by anodic polarization in Ringer's solution. The effect of the variation of the mercury content from 40 to 60 wt% on the corrosion of burnished or polished samples was also investigated. It was found that burnished and burnished-polished samples corrode the least and carved samples the most. The current-density peak associated with γ2 was of greater magnitude in polished specimens than in burnished specimens throughout the range of mercury concentrations investigated. It is hypothesized that lower porosity and more ready passivation of the surface due to a high amount of γ2 are the reasons that burnished samples corroded less than polished samples in this anodic polarization test.
    Additional Material: 8 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 571-578 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A method is shown by which to identify wear particles of implanted plastic materials in tissue. A Mettler FP2 hot stage was used to determine the melting point of different elastomer particles in normal histological sections between the crossed nicols. By using a microcolorimeter Type MPE (Leitz, Wetzlar, Germany), additional information about the molecular degradation of wear particles was obtained.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 585-590 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: We describe the preparation and some of the properties of heparin-bound α-chymotrypsin that were obtained via activation of heparin with water-soluble carbodiimide. Immobilized enzyme has unchanged kinetic characteristics toward low-molecular-weight and macromolecular substrates. The heparin-bound enzymes could have a wide range of medical applications.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 599-625 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Surface configurations are vessels fabricated from tubing and plate, films deposited on the surface of vessels, and beads confined in vessels. The average association constant between thrombin and sites on commercial poly(methyl methacrylate) surface (Lucite) is near 4 × 108 liters/mole at 22°C, pH 7.0, and ionic strength 0.15. Depending on Lucite composition, average adsorption U, in molecules/cm2 of apparent solution-surface interface, ranges from 0.7 to 8.8 × 1011. Analysis based on the assumptions that solution dimensions are preserved, adsorption is random, and surface rearrangement is negligible indicates a paucity of surface sites. Plasma albumin competes with thrombin for surface sites. Attempts to detect, by thrombin adsorption, the presence of free sites at 4.5 × 10-9 M albumin or the displacement of bound albumin indicate an albumin-site association contrast greater than 1.6 × 109. Cross-linked poly(methyl acrylate) bead surface has U less than 5 × 1010. In contrast to acrylic resins are silicone gum, polypropylene, and polyisobutylene, for which U ranges from 15 to 20 × 1011. Analysis as above indicates that sites are of frequent occurrence. Material composition suggests that thrombin can interact with nonpolar groups. Further characteristics of low-energy surfaces are that progressive surface denaturation is small and there is a large variance between nominally equivalent configurations.
    Additional Material: 3 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A high-modulus polymer, polysulfone, was evaluated as a porous bone implant material. The bone ingrowth into canine cortical pellets of sintered polysulfone particles was assessed by microradiography and histology. The shear strength of the porous polysulfone-bone interface was determined by push-out and pull-out tests of cortical and trochanteric implants, respectively. Results indicated that the bone in-growth into porous polysulfone specimens proceeded in such a fashion as to mimic the normal repair at the site. Mechanical testing of cortical and cancellous implants revealed that the interfacial shear strength of the porous polysulfone-bone composite was similar to that achieved using porous metals.
    Additional Material: 8 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 653-663 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A method is shown for deducing the surface area of a pendant drop from the same profile photograph as is normally used to determine interfacial tension. Manipulation of such drops by a micrometer syringe then enables the pendant drop to be used as a surface balance for studying adsorption from bulk solutions. Results are given for the compression of films from solutions of albumin, γ-globulin, fibrinogen, albumin-γ-globulin mixture and albumin-γ-globulin-fibrinogen mixture, and from serum, plasma, and blood at the isooctane-buffer interface. It is suggested that γ-globulin and fibrinogen films are unfolded at the interface but that albumin films are different in that they consist of an inner, unfolded layer and an outer, globular layer. A film from serum resembles that from γ-globulin alone, and not that from albumin-γ-globulin mixture, whereas a film from plasma resembles that of fibrinogen at low compression and that of albumin-γ-globulin-fibrinogen mixture at high compression. A film from blood is shown to resemble that from plasma.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 701-706 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The rates of adhesion of melanoma cells (carcinogenic) onto nonionic polymer surfaces were studied by using radioactively labeled cells and measuring the fraction of cells which adhered to the surface in a given time. Glow discharge (plasma) polymerization of 1,1,3,3-tetramethyldisiloxane and of nitrogen-acetylene-water (mole ratio 0.4:1.0:0.2) was used to modify the surface energy of the substrate. The cell adhesion rate was found to be given by Y = 1 - exp [-k0(γs - γ0)t], where Y is the fraction of cells adhered, - k0 is a characteristic rate constant, γs is the total surface energy of the substrate, γ0 is the threshold surface energy of cell adhesion, and t is time.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: An ideal combination of mechanical and corrosion properties of long-term implants such as joint endoprostheses has yet to be found. Besides being resistant to pitting and crevice attack, which can lead to corrosion fatigue and stress corrosion cracking failures, the implant material must be highly resistant to wear and abrasion. Two cobalt-based alloys, wrought CoNiMoTi and air-cast CoCrMo, were subjected to a number of selected in vitro electrochemically and chemically accelerated corrosion tests in chloride-containing solutions with wrought AISI-316L used as a reference alloy. A limited number of immersion tests in FeCl3 and acidified FeCl3 solutions were also conducted. It is found that the mechanical properties of wrought CoNiCrMoTi alloy qualify it as a substitute for cast CoCrMo alloy and wrought AISI-316L in anchorage shaft production for all types of joint endoprostheses. Wrought CoNiCrMoTi has a higher resistance to fatigue cracking compared with cast CoCrMo and is as resistant to selective corrosion phenomena such as stress corrosion cracking.
    Additional Material: 9 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 591-597 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Measurements of the permeability coefficients of various compounds up to a molecular weight of about 70,000 have shown clearly that membranes prepared from hydrolyzed polyacrylonitrile are about 10 times more permeable than those made of poly(2-hydroxyethyl) methacrylate. The higher permeability is probably due more to the higher water content (about 75%) than to the type of network. The high mechanical strength of the membranes and their good permeability to compounds possessing a comparatively high molecular weight seem to designate the material for some new applications in medicine.
    Additional Material: 1 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 635-651 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A study has been made of the fractures and associated material from 34 prostheses broken in service. All the fractures appear to be of the fatigue type. Search by me-tallographic analysis for cracklike generating defects in material near the fracture reveals such conditions as abnormally coarse crystals, large nonmetallic inclusions, large inclusion population, undissolved master alloy particles, abnormal carbide segregation, interdendritic segregation, shrinkage, and gas porosity. Recommendations are made for the choice of metallic alloys for femoral stem application.
    Additional Material: 8 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 12 (1978), S. 679-700 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The effect of combining gentamicin and cephalothin with Surgical Simplex bone cement was tested in vitro. Experiments were designed to determine (1) quantitative elution rates and period of time the antibiotics were eluted and (2) effective bactericidal qualities. Both antibiotics were eluted from polymerized acrylic cement in large quantities within 24-48 hr after coming in contact with fluid and continued to be released in smaller amounts for 21 days to more than 175 days. This varied with the antibiotic, concentration of antibiotic in the cement, surface area of cement, and volume of elution fluid. Quantitative determinations of numbers of bacteria in broth cultures demonstrated that sufficient quantities of antibiotics were released to be bactericidal to microorganisms within 45 min to 20 hr. This was dependent on the type of antibiotic, type of bacteria, concentration of antibiotic in the cement, and time of contact.
    Additional Material: 8 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. III 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977) 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 39-50 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: We have studied the contact interaction of platelets with hydrogels. In the form of microspheres, 0.6-1.0 μ, poly (glycol methacrylate) (poly HEMA) and poly (methyl methacrylate) beads cause platelets to aggregate at concentrations of about 108 beads/ml. Polyacrylamide and (20/80) poly (acrylamide-HEMA) copolymer were ineffective in aggregating platelets. The admixture of 20% methacrylate to polyHEMA rendered the beads inactive. Blood plasma components other than fibrinogen were found essential to the interaction of the beads with platelets. Near-infrared spectra of the hydrogels polyacrylamide and polyHEMA showed the water hydrogen bonds to be the same for both and different from those in pure water. The monomer HEMA is an inhibitor of platelet aggregation and the release reaction at levels of 0.1%. It is concluded that the two hydrogels have different blood compatibilities, which depend more on the network structures than the water structures in the respective gels.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 69-84 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The Avcothane 51 elastomer, a member of a series of proprietary materials best characterized as polyurethane/poly(dialkylsiloxane) block copolymers, displays considerable hemocompatibility without any incorporated anticoagulants. In the form of intra-aortic balloons, the elastomer was implanted in several thousands of cardiac patients without intolerable hematologic effects. Hemocompatibility has been assumed to result from a predominantly dispersion-type surface force field whose intensity fluctuates within small domains, maintaining adsorbed blood proteins in an unstable state. The relative hemocompatibility of films, which were obtained from a prepolymer solution cast on substrates impenetrable to the solvent, is a function of the effective surface molecular structure. This can vary as a function of preparative conditions (temperature and rate of evaporation), and has been correlated with an anisotropic distribution of the silicone component in cured films. The concentration of this component in surface layers was quantified independently by IRATR spectroscopy and electronmicroprobe analysis, giving consistent results. An IRATR index, which is computed from the ratio of absorptivities measured at 13.00 and 12.62 μ and is inversely proportional to the relative silicone content of surface layers, was found to correlate with the apparent hemocompatibility determined by different in vitro methods. Optimized reproducible hemocompatibility is attained by strict process controls.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977) 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 157-164 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: Examination of a great number of tissue samples taken from the newly formed capsules surrounding artificial joints reveals small particles of prosthetic material. Abraded from the joint by wear and tear, these particles of plastic, metal, and acrylic cement initiate a foreign-body reaction and result in the formation of granulation tissue, including macrophages and foreign-body giant cells. Typical features of tissue reactions exist for each of the materials from which prostheses are made. The consequent formation of scar tissue produces a thickening of the capsule, which, in turn, may cause a reduction in the mobility of the joint.In small amounts, the foreign-body particles are eliminated via the perivascular lymph spaces. Where this transport system is insufficient to handle the volume, however, the foreign-body response may extend to the whole environment surrounding the joint. In such cases, there may be loosening of the cemented prosthetic parts because of deterioration of contiguous bone anchors by the tissue membrane lining the bone cement.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 179-186 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: An evaluation of a porous biodegradable ceramic, tricalcium phosphate, has been carried out. When implanted in cancellous bone, it is rapidly infiltrated with bone and slowly resorbed. When held rigidly against raw, bleeding, cortical bone, again rapid bone ingrowth occurs.The material does not give rise to any untoward tissue reaction, nor does it cause any systemic reaction. It can therefore be concluded that the material is safe for use in clinical practice, and can be used in specific instances either to replace or to supplement bone grafting.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 223-235 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: The preparation and some properties of microspheres composed of oxidized polysaccharides and some vinyl polymers are described. The microspheres contain immobilized enzyme and can be slowly solubilized in water solutions, thereby releasing active a enzyme into the surrounding medium. The kinetic characteristics of the immobilized enzyme bound with a fragment of matrix after complete solubilization are unchanged, but the enzyme exhibits high thermostability. These preparations could have a wide range of medical applications, e.g., to form a drug “depot” directly in an affected organ.
    Additional Material: 3 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    Journal of Biomedical Materials Research 11 (1977), S. 251-265 
    ISSN: 0021-9304
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Medicine , Technology
    Notes: A new antithrombogenic polymer was synthesized by photoinduced graft copolymerization of both a hydrophilic polymer and a cationic polymer to hydrophobic poly (vinyl chloride) copolymer, and by quarternizing and heparinizing the obtained graft copolymer.For polymers of various compositions obtained by the method described above, chemical composition, water absorption, membrane potential, and quantity of adsorbed heparin were determined and antithrombogenicity evaluated in vivo. Thus, it has been found that the polymer of excellent antithrombogenicity has a negative membrane potential, a moderate elution rate of heparin, adsorbs heparin in a quantity of approximately 15 wt-%, and has a degree of water adsorption of about 30 wt-%. Also, measurement of membrane potential was very useful for the estimation of the quantity of the adsorbed heparin and its change with time.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...