ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Artikel  (207)
  • 1985-1989  (207)
  • Informatik  (207)
Sammlung
  • Artikel  (207)
Datenquelle
Schlagwörter
Verlag/Herausgeber
Erscheinungszeitraum
Jahr
Zeitschrift
Thema
  • 1
    Digitale Medien
    Digitale Medien
    Hierarchical planning involving deadlines, travel time, and resources (1988)
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 4 (1988), S. 0 
    Details
    ISSN: 1467-8640
    Quelle: Blackwell Publishing Journal Backfiles 1879-2005
    Thema: Informatik
    Notizen: This paper describes a planning architecture that supports a form of hierarchical planning well suited to applications involving deadlines, travel time, and resource considerations. The architecture is based upon a temporal database, a heuristic evaluator, and a decision procedure for refining partial plans. A partial plan consists of a set of tasks and constraints on their order, duration, and potential resource requirements. The temporal database records the partial plan that the planner is currently working on and computes certain consequences of that information to be used in proposing methods to further refine the plan. The heuristic evaluator examines the space of linearized extensions of a given partial plan in order to reject plans that fail to satisfy basic requirements (e.g., hard deadlines and resource limitations) and to estimate the utility of plans that meet these requirements. The information provided by the temporal database and the heuristic evaluator is combined using a decision procedure that determines how best to refine the current partial plan. Neither the temporal database nor the heuristic evaluator is complete and, without reasonably accurate information concerning the possible resource requirements of the tasks in a partial plan, there is a significant risk of missing solutions. A specification language that serves to encode expectations concerning the duration and resource requirements of tasks greatly reduces this risk, enabling useful evaluations of partial plans. Details of the specification language and examples illustrating how such expectations are exploited in decision making are provided.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1111/j.1467-8640.1988.tb00287.x
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 2
    Digitale Medien
    Digitale Medien
    A method of description of single muscle fibre action potential by an analytical function V(t, r) (1987)
    Springer
    Biological cybernetics 56 (1987), S. 237-245 
    Details
    ISSN: 1432-0770
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Informatik , Physik
    Notizen: Abstract The paper describes a new method of analytical description of single muscle fibre action potential suitable for computer simulation. The description introduced is a product of quadratic and gaussian functions. The coefficients of the function are determined on the basis of dependences of SFAP parameters on electrode-to-fibre distance combined from the transformed results of electrophysiological experiments and modelling. The description is being used for computer simulation of motor unit action potential which results will be described in forthcoming papers.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00365218
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 3
    Digitale Medien
    Digitale Medien
    Modeling the electrical behavior of anatomically complex neurons using a network analysis program: Passive membrane (1985)
    Springer
    Biological cybernetics 53 (1985), S. 27-40 
    Details
    ISSN: 1432-0770
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Informatik , Physik
    Notizen: Abstract We describe the application of a popular and widely available electrical circuit simulation program called SPICE to modeling the electrical behavior of neurons with passive membrane properties and arbitrarily complex dendritic trees. Transient responses may be calculated at any location in the cell model following current, voltage or conductance perturbations at any point. A numbering method is described for binary trees which is helpful in transforming complex dendritic structures into a coded list of short cylindrical dendritic segments suitable for input to SPICE. Individual segments are modeled as isopotential compartments comprised of a parallel resistor and capacitor, representing the transmembrane impedance, in series with one or two core resistors. Synaptic current is modeled by a current source controlled by the local membrane potential and an “alpha-shaped” voltage, thus simulating a conductance change in series with a driving potential. Extensively branched test cell circuits were constructed which satisfied the equivalent cylinder constraints (Rall 1959). These model neurons were perturbed by independent current sources and by synaptic currents. Responses calculated by SPICE are compared with analytical results. With appropriately chosen model parameters, extremely accurate transient calculations may be obtained. Details of the SPICE circuit elements are presented, along with illustrative examples sufficient to allow implementation of passive nerve cell models on a number of common computers. Methods for modeling excitable membrane are presented in the companion paper (Bunow et al. 1985).
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00355688
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 4
    Digitale Medien
    Digitale Medien
    Improving the performance of the Hopfield-Tank neural network through normalization and annealing (1989)
    Springer
    Biological cybernetics 62 (1989), S. 129-139 
    Details
    ISSN: 1432-0770
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Informatik , Physik
    Notizen: Abstract A simple formulation of the TSP energy function is described which, in combination with a normalized Hopfield-Tank neural network, eliminates the difficulty in finding valid tours. This technique is applicable to many other optimization problems involving n-way decisions (such as VLSI layout and resource allocation) and is easily implemented in a VLSI neural network. The solution quality is shown to be dependent on the formation of seed-points which are influenced by the constraint penalties and the temperature (i.e. the neural gain). Near-optimal tours are found by annealing the network down to a critical temperature at which a single seed-point is dominant. The seed-points and critical temperature (which also affect standard Hopfield network solutions to the TSP) can be predicted with reasonable accuracy. It is also shown that the annealing process is not necessary and good tours result if the network is allowed to converge solely at the critical temperature. The seed-points can be eliminated entirely by assigning different temperatures to groups of neurons such that the tour evolves uniformly throughout the cities. The resulting network finds the optimum tour in a 30-city example in 30% of the trials.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00203001
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 5
    Digitale Medien
    Digitale Medien
    An analysis of extracellular single muscle fibre action potential field —Modelling results (1985)
    Springer
    Biological cybernetics 51 (1985), S. 271-284 
    Details
    ISSN: 1432-0770
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Informatik , Physik
    Notizen: Abstract The radial variability of extracellular single muscle fibre action potential (SFAP) field was studied on the basis of an SFAP theoretical model originally constructed by Rosenfalck (1969). Amplitude and time parameters of the SFAP as a function of the radial distance r≤10 mm from the fibre were described by simple mathematical expressions. The results obtained were compared with existing experimental data from different authors and discussed in detail.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00337152
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 6
    Digitale Medien
    Digitale Medien
    Motor unit action potential field — Modelling results (1986)
    Springer
    Biological cybernetics 53 (1986), S. 307-321 
    Details
    ISSN: 1432-0770
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Informatik , Physik
    Notizen: Abstract The theoretical field of a motor unit (MU) action potential (MUP) was considered. It has been proved that in normal muscles the shape of a smooth threephasic MUP curve is determined mostly by the spatial distribution of MU muscle fibres. Phenomena called “time dispersion” are of prime importance in pathology, where they complicate normal threephasic MUP. Amplitudes and time parameters of model three-phasic MUP were analyzed as a function of the radial distance R from the geometrical centre of the motor unit territory (MUT) and approximated by mathematical expressions. It appeared that analysis of radial variability of MUP curve allows conclusions to be made about the MUT size and the spatial distribution of MU muscle fibres. These anatomical features of a MU are often changed in pathological muscles, thus the proposed methods of their evaluation could be helpful in diagnosis of neuromuscular diseases.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00336563
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 7
    Digitale Medien
    Digitale Medien
    The construction of self-synchronizing finite state protocols (1987)
    Springer
    Distributed computing 2 (1987), S. 104-112 
    Details
    ISSN: 1432-0452
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract A technique is presented for constructing a finite state protocol from an originally given finite state specification of one process. We present three constructions, showing that they each provide send-receive symmetric solutions which are “selfsynchronizing”. Two lemmas are proved that provide insight into the types of interactions that arise in these types of finite state protocols. In essence we show that interactions occur between the processes only through “isomorphic transitions” and that during any interaction between the processes at most one of the two FIFO queues of messages is nonempty.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01667082
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 8
    Digitale Medien
    Digitale Medien
    Proving self-utterances (1987)
    Springer
    Journal of automated reasoning 3 (1987), S. 329-338 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Indexicals ; knowledge representation ; first-order logic ; situated logic ; utterances
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We study the Knights and Knaves problem, and find that for a proper treatment via theorem-proving, an interaction with natural language processing research is helpful. In particular, we discuss Ohlbach's claim that first-order logic is not well suited to handling this problem. Then we provide an interpretation of the problem using indexicals, axiomatize it, and prove the desired result. We conclude by suggesting a broader context for dealing with ‘self-utterances’ in automatic theorem-proving.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00243796
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 9
    Digitale Medien
    Digitale Medien
    Dynamic computational geometry on meshes and hypercubes (1989)
    Springer
    The journal of supercomputing 3 (1989), S. 161-191 
    Details
    ISSN: 1573-0484
    Schlagwort(e): mesh ; hypercube ; dynamic computational geometry ; parallel algorithms ; nearest neighbor ; closest pair ; convex hull ; smallest enclosing rectangle
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Parallel algorithms are given for determining geometric properties of systems of moving point-objects. The objects are assumed to be moving in a Euclidean space such that each coordinate of a point's motion is a polynomial of bounded degree in the time variable. The properties investigated include nearest (farthest) neighbor, closest (farthest) pair, collision, convex hull, diameter, and containment. Several of these properties are investigated from both the dynamic and steady-state points of view. Efficient, and often optimal, implementations of these algorithms are given for the mesh and hypercube.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00127827
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 10
    Digitale Medien
    Digitale Medien
    Artificial intelligence research in anesthesia and intensive care (1988)
    Springer
    Journal of clinical monitoring and computing 4 (1988), S. 274-289 
    Details
    ISSN: 1573-2614
    Schlagwort(e): Artificial intelligence ; Anesthesia ; Intensive care ; Computers
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract This article describes several research directions exploring the application of artificial intelligence techniques in anesthesia and intensive care. Artificial intelligence can be loosely defined as the discipline of designing computer systems that exhibit “intelligent” behavior. This article first introduces artificial intelligence and computer science research and discusses why medicine has proved to be a challenging domain for applying artificial intelligence techniques. A discussion of the central research themes that arise in medical artificial intelligence, many of which are common to different projects and to different medical settings, is followed by a description of specific research projects that apply artificial intelligence techniques in anesthesiology, ventilatory management, and cardiovascular management. Finally, further comments are made on the current state of the field.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01617327
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...