Library

feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Fresenius' journal of analytical chemistry 360 (1998), S. 275-276 
    ISSN: 1432-1130
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Fresenius' journal of analytical chemistry 360 (1998), S. 282-286 
    ISSN: 1432-1130
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology
    Notes: Abstract Proceedings of previous BERM meetings have been used to assess emerging trends in the development of RMs to meet AQC requirements of clinical, food, nutrition, and environmental health areas. BRM-1 reflected a strong need to initiate and expand RM activities for certifying organic nutrients in foods. BRM-2 highlighted the distinction between primary (certified) and secondary (e.g. check samples for proficiency testing) RMs1. BRM-3 identified the need for producing different levels of an analyte in a given matrix (spiked standards) to address matrix related measurement problems in foods. BERM-4 highlighted the need for a global vision in dealing with standards, illustrated by the activities of GESREM. Also, the logistics required for setting up intercomparison programs related to food safety monitoring programs were outlined. BERM-5 presented the changing outlook of the AOAC International in recognizing the usefulness of incorporating RMs for use in conjunction with their methods validation protocol. BERM-6 brought to the forefront the concern for traceability of chemical measurements to internationally recognized standards. BERM-7 recognized the need for multidisciplinary approaches for preparing certain types of CRMs, partly in response to the measurement needs arising from governmental regulations dealing with food safety and environmental health criteria. Finally, BERM symposia have promoted a meaningful dialogue on the RM needs of African, Asian and South American countries and provided the developing countries opportunities to discuss their problems with the international analytical community. The issue of health safety is involved in movement of foodstuffs between countries, and therefore, international efforts as voiced by the World Health Organization to provide guidance and assistance in AQC matters to the needy countries deserve consideration.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Design automation for embedded systems 4 (1999), S. 215-242 
    ISSN: 1572-8080
    Keywords: Hard real-time ; System level synthesis ; Force-directed heuristic ; A* search ; EDF scheduling
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents a system level approach for the synthesis of hard real-time multitask application specific systems. The algorithm takes into account task precedence constraints among multiple hard real-time tasks and targets a multiprocessor system consisting of a set of heterogeneous off-the-shelf processors. The optimization goal is to select a minimal cost multi-subset of processors while satisfying all the required timing and precedence constraints. There are three design phases: resource allocation, assignment, and scheduling. Since the resource allocation is a search for a minimal cost multi-subset of processors, we adopted an A* search based technique for the first synthesis phase. A variation of the force-directed optimization technique is used to assign a task to an allocated processor. The final scheduling of a hard-real time task is done by the task level scheduler which is based on Earliest Deadline First (EDF) scheduling policy. Our task level scheduler incorporates force-directed scheduling methodology to address the situations where EDF is not optimal. The experimental results on a variety of examples show that the approach is highly effective and efficient.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Transition metal chemistry 20 (1995), S. 225-227 
    ISSN: 1572-901X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology
    Notes: Summary The stepwise stability constants of 1:1 and 2:1 complexes of selenomethionine (SeMet) with CuII and ZnII ions have been determined in NaNO3 (0.1m) supporting electrolyte by potentiometric titration at 25 °C. The overall log stability constant (logβML2 = [ML2]/[M2+][L−1]2) for CuII and ZnII complexes are 14.50 and 8.75, respectively. Two new solids were prepared and identified by elemental microanalysis as (SeMet)2Cu and (SeMet)2Zn. I.r. and Raman spectral studies indicated metal coordination with the nitrogen and oxygen atoms of the amino acidato group of SeMet. The corresponding stretching bands were assigned at 341.1cm− for Cu-O, 352.9 cm− for Zn-O, 497.3 cm− for Cu-N and 475.2 cm− for Zn-N bonds.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 11 (1997), S. 211-225 
    ISSN: 1573-0727
    Keywords: high-level synthesis ; redundancy ; scheduling don‘t-care
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Previous work in automata theory has shown how to eliminate sequential redundancy from networks of FSMs by finding sequences of inputs and outputs which are never communicated between components of the network. This paper shows that behavior automata—finite-state machines whose inputs and outputs are incompletely scheduled—exhibit similar properties. Using the behavior FSM (BFSM) as a model for scheduling, we show how to identify and eliminate both input and output scheduling don‘t-cares. When a scheduling don‘t-care is eliminated from a network of BFSMs, the register-transfer implementation is guaranteed not to suffer from the corresponding don‘t-care sequence. A definition of scheduling don‘t-cares improves our understanding of the foundations of high-level synthesis and the relationship between high-level and sequential optimization. In practice, scheduling don‘t-care elimination is a powerful tool for eliminating redundancy early in the design process.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Multimedia systems 7 (1999), S. 349-349 
    ISSN: 1432-1882
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Telecommunication systems 9 (1998), S. 393-402 
    ISSN: 1572-9451
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract This paper describes a new algorithm for detecting cuts, thereby segmenting a video into shots. Our Web‐based video library contains a large volume of news and documentary material; most of the transitions between shots in that type of programming are cuts, rather than dissolves or other complex transitions. We have developed an accurate multi‐attribute algorithm for detecting cuts in video programs. The algorithm uses a motion metric to identify a set of cuts, then uses luminance histograms to eliminate false cuts. Our experimental results show that this algorithm is more accurate than previous motion‐based transition detection algorithms.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Design automation for embedded systems 1 (1996), S. 297-313 
    ISSN: 1572-8080
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We designed TigerSwitch, a digital private branch exchange (PBX) implemented on an IBM PC-compatible platform, as an experiment in embedded system design. A telephone switching system is an interesting example of embedded system co-design because it combines a rich functionality with deadlines ranging from seconds to tenths of a millisecond. This paper uses design decisions from TigerSwitch to illustrate the difficulties faced in the partitioning and allocation of a system specification into an architecture: the critical performance paths may not be obvious from the initial specification, and it is often difficult to obtain the performance data required to allocate functions in the architecture.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Formal methods in system design 12 (1998), S. 241-265 
    ISSN: 1572-8102
    Keywords: timing verification ; microprocessor bus ; linear and max constraints
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents algorithms for computing separations between events that are constrained to obey prespecified relationships in their relative time of occurrence. The algorithms are useful for interface timing verification, where event separations are checked against timing requirements. The first algorithm computes separations when only linear and max constraints exist. The algorithm must converge to correct maximum separation values in a finite number of steps, or report an inconsistence of the constraints, irrespective of the existence of infinite constraint bounds or infinite event separations. It is conjectured to run in $$O(VE + V^2 {\text{ log }}V)$$ time, where V is the number of events, and E is the number of relationships between them. The other algorithms extend the first, and compute event separations in the NP-complete version of the problem where min constraints exist. Experiments demonstrate the algorithms are efficient in practice.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 18 (1998), S. 9-9 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...