Power optimization and synthesis at behavioral and system levels using formal methods



Stochastic dominance

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004899321 / 1998-12-07
Date of Publication:
November 13, 1998
Date of Creation:
1998
Title:
Stochastic dominance : investment decision making under uncertainty / by Haim Levy.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
379 p.
Number of similar titles:
2
Copyright Claimant:
Kluwer Academic Publishers
Names:
Haim Levy (25 documents)
example document: Capital investment and financial decisions

Copyrights records by Levy, Haim

Kluwer Academic Publishers (2873 documents)
example document: Design models for hierarchical organizations

Copyrights records by Kluwer Academic Publishers

High-temperature superconductors

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004900332 / 1998-12-07
Date of Publication:
November 5, 1998
Date of Creation:
1998
Title:
High-temperature superconductors : materials, properties, and applications / by Rainer Wesche.
Series:
Electronic materials. science and technology
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
435 p.
Other Title:
Electronic materials : science and technology
Copyright Claimant:
Kluwer Academic Publishers
Names:
Rainer Wesche 1956-
Kluwer Academic Publishers (2873 documents)
example document: Economics and thermodynamics

Uncertain decisions

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004902333 / 1998-12-07
Date of Publication:
November 5, 1998
Date of Creation:
1998
Title:
Uncertain decisions : bridging theory and experiments / edited by Luigi Luini.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
341 p.
Variant title:
Uncertain decisions : bridging theory and experiments
Copyright Claimant:
Kluwer Academic Publishers
Names:
Luigi Luini
Kluwer Academic Publishers (2873 documents)
example document: Synthesis of lanthanide and actinide compounds

Wireless phones and health

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004922160 / 1999-01-29
Date of Publication:
October 28, 1998
Date of Creation:
1998
Title:
Wireless phones and health : scientific progress / edited by George L. Carlo, associate editors, Mary Supley, Susan E. Hersemann, Polly Thibodeau ; foreword by George L. Carlo.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
413 p.
Number of similar titles:
1
Variant title:
Wireless phones and health : scientific progress
Copyright Claimant:
Kluwer Academic Publishers
Names:
George L. Carlo
Mary Supley
Susan E. Hersemann
Polly Thibodeau
Kluwer Academic Publishers (2873 documents)
example document: Money, method, and the market process

Learning from the world's best central bankers

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004922184 / 1999-01-29
Date of Publication:
October 27, 1998
Date of Creation:
1998
Title:
Learning from the world's best central bankers : principles and policies for subduing inflation / George M. VonFurstenberg and Michael K. Ulan.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
242 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
George M. VonFurstenberg (6 documents)
example document: The Government and capital formation

Copyrights records by VonFurstenberg, George M.

Michael K. Ulan
Kluwer Academic Publishers (2873 documents)
example document: Perspectives in life cycle impact assessment

Direct engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004922428 / 1999-01-29
Date of Publication:
November 4, 1998
Date of Creation:
1998
Title:
Direct engineering : toward intelligent manufacturing / edited by Ali K. Kamrani, Peter R. Sferro.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
374 p.
Variant title:
Direct engineering : toward intelligent manufacturing
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ali K. Kamrani (4 documents)
example document: Product design for modularity

Copyrights records by Kamrani, Ali K.

Peter R. Sferro
Kluwer Academic Publishers (2873 documents)
example document: System design with SystemC

Algorithms for VLSI physical design automation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004922781 / 1999-01-29
Date of Publication:
November 2, 1998
Date of Creation:
1998
Title:
Algorithms for VLSI physical design automation / Naveed A. Sherwani.
Edition:
3rd ed.
Basis of Claim:
New Matter: new & additional rev. text.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
572 p.
Number of similar titles:
2
Copyright Claimant:
Kluwer Academic Publishers
Names:
Naveed A. Sherwani

Copyrights records by Sherwani, Naveed A.

Kluwer Academic Publishers (2873 documents)
example document: Prospects of a US-Chile free trade agreement

Protein glycosylation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004922808 / 1999-01-29
Date of Publication:
November 2, 1998
Date of Creation:
1998
Title:
Protein glycosylation / by Roslyn M. Bill, Leigh Revers, Iain B. H. Wilson ; foreword by Harry Schachter.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
508 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Roslyn M. Bill
Leigh Revers
Iain B. H. Wilson
Harry Schachter
Kluwer Academic Publishers (2873 documents)
example document: Transmission-efficient design and management of wavelength-routed optical networks

Meta-heuristics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004922809 / 1999-01-29
Date of Publication:
October 28, 1998
Date of Creation:
1998
Title:
Meta-heuristics : advances and trends in local search paradigms for optimization / edited by Stefan Voss, Silvano Martello, Ibrahim H. Osman, Catherine Roucairol.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
511 p.
Number of similar titles:
1
Similar Title:
Meta-heuristics
Variant title:
Meta-heuristics : advances and trends in local search paradigms for optimization
Copyright Claimant:
Kluwer Academic Publishers
Names:
Stefan Voss
Silvano Martello
Ibrahim H. Osman (1 documents)
example document: Meta-heuristics
Catherine Roucairol
Kluwer Academic Publishers (2873 documents)
example document: Data management for mobile computing

Fuzzy algorithms for control

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004926967 / 1999-02-18
Date of Publication:
February 3, 1999
Date of Creation:
1998
Title:
Fuzzy algorithms for control / edited by H. B. Verbruggen, H.-J. Zimmermann, R. Babuska.
Series:
International series in intelligent technologies
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
352 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
H. B. Verbruggen (1 documents)
example document: Artificial intelligence in real-time control, 1992
H.-J. Zimmermann (4 documents)
example document: Uncertainty analysis in engineering and sciences

Copyrights records by Zimmermann, H.-J.

R. Babuska
Kluwer Academic Publishers (2873 documents)
example document: Innovations in competitive manufacturing

CDMA techniques for third generation mobile systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004927026 / 1998-12-07
Date of Publication:
November 6, 1998
Date of Creation:
1998
Title:
CDMA techniques for third generation mobile systems / edited by Francis Swarts, Pieter VanRooyen, Ian Oppermann, Michiel P. Lotter.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
306 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Francis Swarts (1 documents)
example document: Proceedings of the 1999 IEEE information theory and communications workshop
Pieter VanRooyen
Ian Oppermann
Michiel P. Lotter
Kluwer Academic Publishers (2873 documents)
example document: Neural mechanisms of color vision

Cooperative knowledge processing for engineering design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004927312 / 1999-02-18
Date of Publication:
December 18, 1998
Date of Creation:
1998
Title:
Cooperative knowledge processing for engineering design / edited by Arthur B. Baskin, George Kovacs, Gianni Jacucci.
Imprint:
Norwell, MA : Kluwer Academic Publishers, c1999.
Description:
406 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Arthur B. Baskin
George Kovacs (3 documents)
example document: The Question of God in Heidegger's phenomenology
Gianni Jacucci (2 documents)
example document: Computer simulation in physical metallurgy
Kluwer Academic Publishers (2873 documents)
example document: Wireless personal communications

Intracellular cholesterol trafficking

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004930214 / 1999-02-16
Date of Publication:
December 8, 1998
Date of Creation:
1998
Title:
Intracellular cholesterol trafficking / edited by T. Y. Chuang and Dale A. Freeman.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
294 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
T. Y. Chuang
Dale A. Freeman
Kluwer Academic Publishers (2873 documents)
example document: Controlled clinical trials in neurological disease

Plant secondary metabolism

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004930215 / 1999-02-16
Date of Publication:
November 25, 1998
Date of Creation:
1998
Title:
Plant secondary metabolism / David S. Siegler.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
759 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
David S. Siegler
Kluwer Academic Publishers (2873 documents)
example document: Systems and management science by extremal methods

Direct digital control for building HVAC systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004930216 / 1999-02-16
Date of Publication:
December 2, 1998
Date of Creation:
1998
Title:
Direct digital control for building HVAC systems / Michael J. Coffin.
Edition:
2nd ed.
Basis of Claim:
New Matter: additional & revised text.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
230 p.
Number of similar titles:
1
Copyright Claimant:
Kluwer Academic Publishers
Names:
Michael J. Coffin
Kluwer Academic Publishers (2873 documents)
example document: The heart in diabetes

An essay on urban economic theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004930389 / 1999-02-16
Date of Publication:
November 30, 1998
Date of Creation:
1998
Title:
An essay on urban economic theory / by Yorgos Y. Papageorgiou and David Pines.
Series:
Advances in urban and regional economics ; vol. 1
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
316 p.
Other Title:
Advances in urban and regional economics ; vol. 1
Copyright Claimant:
Kluwer Academic Publishers
Names:
Yorgos Y. Papageorgiou
David Pines (18 documents)
example document: Applications of perturbative QCD

Copyrights records by Pines, David

Kluwer Academic Publishers (2873 documents)
example document: Head and neck cancer

Comparative vertebrate reproduction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004930392 / 1999-02-16
Date of Publication:
November 16, 1998
Date of Creation:
1998
Title:
Comparative vertebrate reproduction / by Julian Lombardi.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
469 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Julian Lombardi
Kluwer Academic Publishers (2873 documents)
example document: Apoptosis genes

Quantitative models for supply chain management

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004934343 / 1999-02-16
Date of Publication:
December 1, 1998
Date of Creation:
1998
Title:
Quantitative models for supply chain management / edited by Sridhar Tayur, Ram Ganeshan, and Michael Magazine.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
885 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Sridhar Tayur
Ram Ganeshan (1 documents)
example document: New directions in supply-chain management
Michael Magazine
Kluwer Academic Publishers (2873 documents)
example document: Visual communication

Bringing scanning probe microscopy up to speed

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004934749 / 1999-02-18
Date of Publication:
January 11, 1999
Date of Creation:
1998
Title:
Bringing scanning probe microscopy up to speed / by S. C. Minne, S. R. Manalis, C. F. Quate.
Imprint:
Boston : Kluwer Academic, c1999.
Description:
173 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Stephen C. Minne
Scott R. Manalis
Calvin F. Quate (2 documents)
example document: Selected papers on scanning acoustic microscopy

Copyrights records by Quate, Calvin F.

Kluwer Academic Publishers (2873 documents)
example document: Visualization and optimization

Electromagnetic shielding handbook for wired and wireless EMC applications

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004934769 / 1999-02-18
Date of Publication:
January 10, 1999
Date of Creation:
1998
Title:
Electromagnetic shielding handbook for wired and wireless EMC applications.
Series:
The Kluwer international sereis in engineering and computer science ; SECS462
Imprint:
Boston : Kluwer Academic, c1999.
Description:
682 p.
Other Title:
The Kluwer international sereis in engineering and computer science ; SECS462
Copyright Claimant:
Kluwer Academic Publishers
Authorship on Application:
Anatoly Tsaliovich.
Names:
Anatoly Tsaliovich
Kluwer Academic Publishers (2873 documents)
example document: Macroeconomic policy as implicit industrial policy

Robust model-based fault diagnosis for dynamic systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004936328 / 1999-02-18
Date of Publication:
December 21, 1998
Date of Creation:
1998
Title:
Robust model-based fault diagnosis for dynamic systems / by Jie Chen, Ron J. Patton.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
356 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Jie Chen

Copyrights records by Chen, Jie

Ron J. Patton
Kluwer Academic Publishers (2873 documents)
example document: Law in the People's Republic of China

Thyroid cancer

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004936329 / 1999-02-18
Date of Publication:
December 8, 1998
Date of Creation:
1998
Title:
Thyroid cancer / edited by James A. Fagin.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
360 p.
Number of similar titles:
6
Copyright Claimant:
Kluwer Academic Publishers
Names:
James A. Fagin (3 documents)
example document: Criminal justice

Copyrights records by Fagin, James A.

Kluwer Academic Publishers (2873 documents)
example document: Subband and wavelet transforms

Chromosome biology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004937707 / 1999-02-18
Date of Publication:
December 10, 1998
Date of Creation:
1998
Title:
Chromosome biology / Rudi Appels, Rosalind Morris, Bikram S. Gill, Cedric E. May ; ill. Rudi Appels and Jon Raupp.
Imprint:
Boston : Kluwer Academic Publishers, 1998.
Description:
399 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Rudi Appels
Rosalind Morris (3 documents)
example document: Mission to Siam
Bikram S. Gill
Cedric E. May
Jon Raupp
Kluwer Academic Publishers (2873 documents)
example document: Rapid prototyping of digital systems

Dry scrubbing technologies for flue gas desulfurization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004938170 / 1998-12-07
Date of Publication:
November 6, 1998
Date of Creation:
1998
Title:
Dry scrubbing technologies for flue gas desulfurization / Barbara Toole-O'Neil, editor.
Copyright Note:
C.O. correspondence.
Imprint:
Boston : Kluwer Academic Publishers, c1998.
Description:
859.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Barbara Toole-O'Neil
Barbara Toole O'Neil
Kluwer Academic Publishers (2873 documents)
example document: Parking structures

Microscopic simulation of financial markets

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005136784 / 2000-07-13
Date of Publication:
June 20, 2000
Date of Creation:
2000
Title:
Microscopic simulation of financial markets : from investor behavior to market phenomena / Moshe Levy, Haim Levy, Sorin Solomon.
Basis of Claim:
New Matter: additions.
Imprint:
San Diego : Academic Press, c2000.
Description:
300 p.
Copyright Claimant:
Academic Press
Names:
Moshe Levy
Haim Levy (25 documents)
example document: Principles of financial management [by] Haim Levy, Marshall Sarnat
Sorin Solomon
Academic Press (9732 documents)
example document: Career renewal

Copyrights records by Academic Press

Stochastic dominance pricing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005761132 / 2003-07-17
Date of Publication:
July 12, 2003
Date of Creation:
2002
Title:
Stochastic dominance pricing.
Rights and Permissions:
Rights and permissions info. on CORDS appl. in CO.
Description:
Computer text data.
Copyright Claimant:
Jaeyung Huh
Notes:
Electronic registration.
Authorship on Application:
entire text: Jaeyung Huh.
Names:
Jaeyung Huh

Stochastic dominance

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006485413 / 2006-11-07
Date of Publication:
February 23, 2006
Date of Creation:
2006
Title:
Stochastic dominance / editor, Haim Levy.
Edition:
2nd ed.
Copyright Note:
Cataloged from appl. only.
Number of similar titles:
2
Copyright Claimant:
Springer Science+Business Media, LLC (employer for hire)
Names:
Haim Levy (25 documents)
example document: Capital investment and financial decisions
Springer Science+Business Media, LLC (805 documents)
example document: Sports dermatology

Copyrights records by Springer Science+Business Media, LLC

Research in finance

Title:
Research in finance : a research annual / editor, Haim Levy.
Title Qualifier:
incl. suppl.
Copyright Note:
No issues recorded for year
Serial Publication Year:
2000
Serial Key Title:
Research in finance
Imprint:
Greenwich, Conn. : The Press, 1979-.
ISSN:
0196-3821

Description:
print material.
Publication History:
Vol. 1-
Number of similar titles:
5
Notes:
Incl. suppl.
Names:
Haim Levy (25 documents)
example document: Capital investment and financial decisions
JAI Press, Inc. (1367 documents)
example document: Research in community and mental health: vol 10

Copyrights records by JAI Press, Inc.

Research in finance

Title:
Research in finance : a research annual / editor, Haim Levy.
Serial Publication Year:
1984
Imprint:
Greenwich, Conn. : The Press, 1979-.
Description:
print material.
Publication History:
Vol. 1-
Number of similar titles:
5
Other Title:
Management under government intervention
Copyright Claimant:
J A I Press, Inc.
Notes:
Incl. suppl.
Names:
Robert F. Lanzillotti
Yoram C. Peles
Haim Levy (25 documents)
example document: Capital investment and financial decisions
JAI Press, Inc. (1367 documents)
example document: Policy analysis concepts and methods

Research in finance

Title:
Research in finance : a research annual / editor, Haim Levy.
Copyright Note:
No issues recorded for year
Serial Publication Year:
1989
Imprint:
Greenwich, Conn. : The Press, 1979-.
Description:
print material.
Publication History:
Vol. 1-
Number of similar titles:
5
Notes:
Incl. suppl.
Names:
Haim Levy (25 documents)
example document: Capital investment and financial decisions
Andrew H. Chien
JAI Press, Inc. (1367 documents)
example document: Reform of the unemployment insurance system
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.