ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 9 (1997), S. 283-330 
    ISSN: 1433-299X
    Keywords: Duration Calculus ; Interval Logic ; Real-time systems ; Formal methods
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since its introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    ISSN: 1432-0770
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Computer Science , Physics
    Notes: Abstract. This paper describes fast and accurate calibration-free adaptive saccade control of a four-degrees-of-freedom binocular camera-head by means of Dynamic Cell Structures (DCS). The approach has been inspired by biology because primates face a similar problem and there is strong evidence that they have solved it in a similar way, i.e., by error feedback learning of an inverse model. Yet the emphasis of this article is not on detailed biological modeling but on how incremental growth of our artificial neural network model up to a prespecified precision results in very small networks suitable for real-time saccade control. Error-feedback-based training of this network proceeds in two phases. In the first phase we use a crude model of the cameras and the kinematics of the head to learn the topology of the input manifold together with a rough approximation of the control function off-line. In contrast to, for example, Kohonen-type adaptation rules, the distribution of neural units minimizes the control error and does not merely mimic the input probability density. In the second phase, the operating phase, the linear output units of the network continue to adapt on-line. Besides our TRC binocular camera-head we use a Datacube image processing system and a Stäubli R90 robot arm for automated training in the second phase. It will be demonstrated that the controller successfully corrects errors in the model and rapidly adapts to changing parameters.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 6 (1994), S. 826-845 
    ISSN: 1433-299X
    Keywords: Real-time ; Model-checking ; Logic ; Timed automata
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Duration Calculus was introduced in [ZHR91] as a logic to specify and reason about requirements for real-time systems. It is an extension of Interval Temporal Logic [Mos85] where one can reason about integrated constraints over time-dependent and Boolean valued states without explicit mention of absolute time. Several major case studies, e.g. the gas burner system in [RRH93], have shown that Duration Calculus provides a high level of abstraction for both expressing and reasoning about specifications. Using Timed Automata [A1D92] one can express how real-time systems can be constructed at a level of detail which is close to an actual implementation. We consider in the paper the correctness of Timed Automata with respect to Duration Calculus formulae. For a subset of Duration Calculus, we show that one can automatically verify whether a Timed Automaton ℳ is correct with respect to a formulaD, abbreviated ℳ ⊨D, i.e. one can domodel-checking. The subset we consider is expressive enough to formalize the requirements to the gas burner system given in [RRH93]; but only for a discrete time domain. Model-checking is done by reducing the correctness problem ℳ ⊨D to the inclusion problem of regular languages.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    ISSN: 1435-0629
    Keywords: Key words: fishes; fisheries; ecosystem; food web; Lake Superior; Great Lakes; modeling; Ecosim; Ecopath; trophic interactions.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract The restoration and rehabilitation of the native fish communities is a long-term goal for the Laurentian Great Lakes. In Lake Superior, the ongoing restoration of the native lake trout populations is now regarded as one of the major success stories in fisheries management. However, populations of the deepwater morphotype (siscowet lake trout) have increased much more substantially than those of the nearshore morphotype (lean lake trout), and the ecosystem now contains an assemblage of exotic species such as sea lamprey, rainbow smelt, and Pacific salmon (chinook, coho, and steelhead). Those species play an important role in defining the constraints and opportunities for ecosystem management. We combined an equilibrium mass balance model (Ecopath) with a dynamic food web model (Ecosim) to evaluate the ecological consequences of future alternative management strategies and the interaction of two different sets of life history characteristics for fishes at the top of the food web. Relatively rapid turnover rates occur among the exotic forage fish, rainbow smelt, and its primary predators, exotic Pacific salmonids. Slower turnover rates occur among the native lake trout and burbot and their primary prey—lake herring, smelt, deepwater cisco, and sculpins. The abundance of forage fish is a key constraint for all salmonids in Lake Superior. Smelt and Mysis play a prominent role in sustaining the current trophic structure. Competition between the native lake trout and the exotic salmonids is asymmetric. Reductions in the salmon population yield only a modest benefit for the stocks of lake trout, whereas increased fishing of lake trout produces substantial potential increases in the yields of Pacific salmon to recreational fisheries. The deepwater or siscowet morphotype of lake trout has become very abundant. Although it plays a major role in the structure of the food web it offers little potential for the restoration of a valuable commercial or recreational fishery. Even if a combination of strong management actions is implemented, the populations of lean (nearshore) lake trout cannot be restored to pre-fishery and pre-lamprey levels. Thus, management strategy must accept the ecological constraints due in part to the presence of exotics and choose alternatives that sustain public interest in the resources while continuing the gradual progress toward restoration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    The European physical journal 28 (1993), S. 73-80 
    ISSN: 1434-6079
    Keywords: 36.40 ; 71.70.G
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract Hartree-Fock calculations are done for finite number of valence electrons (8, 20, 40, and 58) in a positively charged uniform background (jellium) with the density of bulk sodium. Differences and similarities with the results of Kohn-Sham local-density calculations are discussed. State-dependence and suppression of the wave functions are the two important effects coming from the nonlocality of the Hartree-Fock potential. These two effects, however, cancel in the density profile of electrons. The Kohn-Sham calculations consequently produce similar density profiles as in the Hartree-Fock calculations. The dipole polarizability is also calculated for 8-mers. The calculated value is still smaller than the measured one and is not an improvement of the insufficient Kohn-Sham result.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Multibody system dynamics 2 (1998), S. 115-143 
    ISSN: 1573-272X
    Keywords: cams ; sensitivity analysis ; optimization
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract A point contact joint has been developed and implemented in a joint coordinate based planar multibody dynamics analysis program that also supports revolute and translational joints. Further, a segment library for the definition of the contours of the point contact joints has been integrated in the code and as a result any desired contour shape may be defined. The sensitivities of the basic physical variables of a multibody system, i.e., the positions, velocities, accelerations and reactions of the system with respect to the automatically identified independent design variables may be determined analytically, allowing design problems where the shape of the bodies are of interest to be handled in both a general and efficient way.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2023-10-05
    Description: Over the past decade, the government has expanded funding and services to meet increasing demand for improved veteran access to high-quality mental health services. This report describes findings from a study designed to gather information on mental health–related needs facing veterans in the Detroit metropolitan area to identify gaps in the support landscape and inform future investments for community-level resources to fill the identified gaps.
    Keywords: Health Sciences ; Management & Organizational Behavior ; History ; Psychology ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV2 Personnel & human resources management ; bic Book Industry Communication::J Society & social sciences::JW Warfare & defence::JWX Other warfare & defence issues::JWXV Military veterans ; bic Book Industry Communication::M Medicine::MQ Nursing & ancillary services ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBQ Medicolegal issues ; bic Book Industry Communication::J Society & social sciences::JM Psychology::JMP Abnormal psychology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Amsterdam University Press
    Publication Date: 2024-03-28
    Description: For over a hundred years, writers, artists, anthropologists and tourists have travelled to Bahia, Brazil, in search of the spirit possession cult called Candomblé. Thus, successive generations of cultists have seen a long, steady stream of curious outsiders coming to their temples with notebooks and cameras, questions and inquisitive gazes, or ogling eyes and the hope of inclusion. This study asks what seduced these outsiders to seek access to the Afro-Brazilian religious universe and, conversely, how did cultists respond to the overwhelming interest in their creed and to becoming an object of the outsiders' imaginations. "Thriving in the gap between the sensuous fullness of life and the impossibility of its cultural representation, Ecstatic Encounters opens mind-blowing vistas for 'writing culture' in anthropology today."- Birgit Meyer, Free University of Amsterdam.
    Keywords: Anthropology ; Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology::JHMC Social and cultural anthropology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2023-10-05
    Description: This monograph provides strategies to reemploy civil-service workers in the private sector and to increase private-sector employment in the Kurdistan Region—Iraq. The research is based on a variety of methods, including analyses of survey data, analysis of Kurdistan regional and Iraqi national documents and laws, and a qualitative assessment of numerous conversations with government officials and private-sector employers.
    Keywords: History ; Business ; Law ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCF Labour economics ; bic Book Industry Communication::H Humanities::HB History::HBJ Regional & national history::HBJF Asian history::HBJF1 Middle Eastern history ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNH Employment & labour law
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2019-02-06
    Description: Successful efforts to activate T cells capable of recognizing weak cancer-associated self-antigens have employed altered peptide antigens to activate T cell responses capable of cross-reacting on native tumor-associated self. A limitation of this approach is the requirement for detailed knowledge about the altered self-peptide ligands used in these vaccines. In the current study we considered allorecognition as an approach for activating CTL capable of recognizing weak or self-antigens in the context of self-MHC. Nonself antigen-presenting molecules typically contain polymorphisms that influence interactions with the bound peptide and TCR interface. Recognition of these nonself structures results in peptide-dependent alloimmunity. Alloreactive T cells target their inducing alloantigens as well as third-party alloantigens but generally fail to target self-antigens. Certain residues located on the alpha-1/2 domains of class I antigen-presenting molecules primarily interface with TCR. These residues are more conserved within and across species than are residues that determine peptide antigen binding properties. Class I variants designed with amino acid substitutions at key positions within the conserved helical structures are shown to provide strong activating signals to alloreactive CD8 T cells while avoiding changes in naturally bound peptide ligands. Importantly, CTL activated in this manner can break self-tolerance by reacting to self-peptides presented by native MHC. The ability to activate self-tolerant T cells capable of cross-reacting on self-peptide-MHC in vivo represents an approach for inducing autoimmunity, with possible application in cancer vaccines.
    Print ISSN: 0027-8424
    Electronic ISSN: 1091-6490
    Topics: Biology , Medicine , Natural Sciences in General
    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...