Eric A.J Mercer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Proving MCAPI executions are correct using SMT

Huang, Yu, Mercer, Eric, McCarthy, Jay

Year:

2013

Language:

english

File:

PDF, 356 KB

english, 2013

52

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Guided test visualization: Making sense of errors in concurrent programs

Wesonga, Saint, Mercer, Eric G, Rungta, Neha

Year:

2011

Language:

english

File:

PDF, 165 KB

english, 2011

53

[Lecture Notes in Computer Science] Advances in Artificial Intelligence Volume 1418 || A hybrid genetic algorithm for the vehicle routing problem with time windows

Mercer, Robert E., Neufeld, Eric

Year:

1998

Language:

english

File:

PDF, 1.07 MB

english, 1998

54

Spatial Mode Control of High-Order Harmonics

Mercer, Ian, Mevel, Eric, Zerne, Raoul, L'Huillier, Anne, Antoine, Philippe, Wahlström, C. -G.

Journal:

Physical Review Letters

Year:

1996

Language:

english

File:

PDF, 138 KB

english, 1996

55

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - Modeling UASs for Role Fusion and Human Machine Interface Optimization

Gledhill, T.J., Mercer, Eric, Goodrich, Michael A.

Year:

2013

Language:

english

File:

PDF, 632 KB

english, 2013

56

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - MCC: A runtime verification tool for MCAPI user applications

Sharma, Subodh, Gopalakrishnan, Ganesh, Mercer, Eric, Holt, Jim

Year:

2009

Language:

english

File:

PDF, 100 KB

english, 2009

57

Results from the single-use autoinjector for self-administration of subcutaneous interferon beta-1a in patients with relapsing multiple sclerosis (MOSAIC) study

Wray, Sibyl, Armstrong, Robert, Herrman, Craig, Calkwood, Jonathan, Cascione, Mark, Watsky, Eric, Hayward, Brooke, Mercer, Brian, Dangond, Fernando

Journal:

Expert Opinion on Drug Delivery

Year:

2011

Language:

english

File:

PDF, 478 KB

english, 2011

58

[IEEE 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY - Palisades, NY, USA (2008.06.2-2008.06.4)] 2008 IEEE Workshop on Policies for Distributed Systems and Networks - Or Best Offer: A Privacy Policy Negotiation Protocol

Walker, Daniel D., Mercer, Eric G., Seamons, Kent E.

Year:

2008

Language:

english

File:

PDF, 492 KB

english, 2008

59

The Decoration of the Royal Palaces from 1553–1625

Journal:

Archaeological Journal

Year:

1953

Language:

english

File:

PDF, 3.86 MB

english, 1953

60

Reviews

Hawkes, Jacquetta, Kenyon, K. M., Lacaille, A. D., Hadcock, R. N., Mercer, Eric, Hay, George, Hohler, Christopher, Holmes, M. R.

Journal:

Archaeological Journal

Year:

1951

Language:

english

File:

PDF, 3.28 MB

english, 1951

61

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Slicing and dicing bugs in concurrent programs

Rungta, Neha, Mercer, Eric

Year:

2010

Language:

english

File:

PDF, 173 KB

english, 2010

62

The Blue Boar Inn, Salisbury

Drinkwater, Norman, Mercer, Eric

Journal:

Archaeological Journal

Year:

1963

Language:

english

File:

PDF, 943 KB

english, 1963

63

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Guided model checking for programs with polymorphism

Rungta, Neha, Mercer, Eric G.

Year:

2008

Language:

english

File:

PDF, 783 KB

english, 2008

64

Computing and visualizing the impact of change with Java PathFinder extensions

Mercer, Eric, Person, Suzette, Rungta, Neha

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 950 KB

english, 2012

65

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - A context-sensitive structural heuristic for guided search model checking

Rungta, Neha, Mercer, Eric G.

Year:

2005

Language:

english

File:

PDF, 115 KB

english, 2005

66

[ACM Press the 16th ACM symposium - San Antonio, TX, USA (2011.02.12-2011.02.16)] Proceedings of the 16th ACM symposium on Principles and practice of parallel programming - PPoPP '11 - Symbolically modeling concurrent MCAPI executions

Fischer, Topher, Mercer, Eric, Rungta, Neha

Year:

2011

Language:

english

File:

PDF, 340 KB

english, 2011

67

[ACM Press Proceedinbgs of the 24th ACM symposium - Pittsburgh, Pennsylvania, USA (2012.06.25-2012.06.27)] Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA '12 - Design, verification and applications of a new read-write lock algorithm

Shirako, Jun, Vrvilo, Nick, Mercer, Eric G., Sarkar, Vivek

Year:

2012

Language:

english

File:

PDF, 978 KB

english, 2012

68

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - Clash of the Titans

Rungta, Neha, Mercer, Eric G.

Year:

2009

Language:

english

File:

PDF, 277 KB

english, 2009

69

The Unfulfilled Wider Implications of Vernacular Architecture Studies

Journal:

Vernacular Architecture

Year:

1997

Language:

english

File:

PDF, 557 KB

english, 1997

70

Cruck Distribution - A Brief Note

Journal:

Vernacular Architecture

Year:

1998

Language:

english

File:

PDF, 196 KB

english, 1998

71

A Pilot Evaluation of Portfolios for Quality Attestation of Clinical Ethics Consultants

Fins, Joseph J., Kodish, Eric, Cohn, Felicia, Danis, Marion, Derse, Arthur R., Dubler, Nancy Neveloff, Goulden, Barbara, Kuczewski, Mark, Mercer, Mary Beth, Pearlman, Robert A., Smith, Martin L., Tarz

Journal:

American Journal of Bioethics

Year:

2016

Language:

english

File:

PDF, 524 KB

english, 2016

72

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Model Checking Task Parallel Programs Using Gradual Permissions (N)

Mercer, Eric G, Anderson, Peter, Vrvilo, Nick, Sarkar, Vivek

Year:

2015

Language:

english

File:

PDF, 611 KB

english, 2015

73

Guest Editorial Special Issue on Systematic Approaches to Human–Machine Interface: Improving Resilience, Robustness, and Stability

Mercer, Eric, Rungta, Neha, Gillan, Douglas J.

Journal:

IEEE Transactions on Human-Machine Systems

Year:

2016

Language:

english

File:

PDF, 225 KB

english, 2016

74

Cruck Distribution: A Social Explanation

Journal:

Vernacular Architecture

Year:

1996

Language:

english

File:

PDF, 444 KB

english, 1996

75

The Corner Shop

Journal:

Vernacular Architecture

Year:

1979

Language:

english

File:

PDF, 212 KB

english, 1979

76

A History of Jesus College, Cambridge. By Arthur Gray and Frederick Brittain. 8½ × 5½ Pp. ix + 221 + 10 pls. London: Heinemann, 1960. 25s.

Journal:

The Antiquaries Journal

Year:

1961

Language:

english

File:

PDF, 96 KB

english, 1961

77

The Houses of Yetminster. By R. Machin. 30 × 21 cm. Pp. viii + 176 + 50 figs. + 7 pis. Bristol: University of Bristol, Dept. of Extra-Mural Studies, 1978. £2·95.

Journal:

The Antiquaries Journal

Year:

1980

Language:

english

File:

PDF, 178 KB

english, 1980

78

Traditional Domestic Architecture of the Banbury Region. By R. B. Wood-Jones. 9½ × 6. Pp. xvii + 309 + 24 pls. Manchester University Press, 1963. 63s.

Journal:

The Antiquaries Journal

Year:

1965

Language:

english

File:

PDF, 173 KB

english, 1965

79

Traditional Farm Buildings in North-East Wales 1550–1900. By Eurwyn Wiliam. 24 × 17 cm. Pp. xx + 334 + 45 figs. + 35 pls. + 61 tables. Cardiff: National Museum of Wales (Welsh Folk Museum), 1982. ISBN 0-85485-049-X. £12.50.

Journal:

The Antiquaries Journal

Year:

1983

Language:

english

File:

PDF, 176 KB

english, 1983

80

The House and Home. By M. W. Barley. A Visual History of Modern Britain. 10 × 7½ Pp. 208 + 239 ills. + 16 figs. Vista Books, 1963. 30s.

Journal:

The Antiquaries Journal

Year:

1963

Language:

english

File:

PDF, 94 KB

english, 1963

81

The English Mediaeval House. By Margaret Wood. 12 × 7½. Pp. xxx+448, with 60 pls. and 150 line illustrations. London, Phoenix, 1965. Price 8 gns.

Journal:

The Antiquaries Journal

Year:

1966

Language:

english

File:

PDF, 92 KB

english, 1966

82

Furniture in England, France and the Netherlands from the Twelfth to the Fifteenth Century. By Penelope Eames. (Vol. XIII of The Journal of the Furniture History Society.) 24·5×18·5 cm. Pp. xxiv+303+37 figs.+72 pls. London: Furniture History Society, 1977. £9·00.

Journal:

The Antiquaries Journal

Year:

1979

Language:

english

File:

PDF, 92 KB

english, 1979

83

Seventeenth-Century Decoration in England, France and Holland. By Peter Thornton. 27×20 cm. Pp. xii+427+337 pls. (17 colour). London and New Haven: Yale University Press, 1978.

Journal:

The Antiquaries Journal

Year:

1979

Language:

english

File:

PDF, 90 KB

english, 1979

84

The New Cambridge Modern History. Vol. 1. The Renaissance, 1493–1520. Ed. by G. R. Potter. 9 × 6. Pp. xxxvi + 532. Cambridge: at the University Press, 1957. 37s. 6d.

Journal:

The Antiquaries Journal

Year:

1958

Language:

english

File:

PDF, 92 KB

english, 1958

85

The Ruthwell and Bewcastle Crosses

Journal:

Year:

1964

Language:

english

File:

PDF, 2.80 MB

english, 1964

86

Patient Evaluation and Management With Selective Use of Magnetic Resonance Cholangiography and Endoscopic Retrograde Cholangiopancreatography Before Laparoscopic Cholecystectomy

Liu, Terrence H., Consorti, Eileen T., Kawashima, Akira, Tamm, Eric P., Kwong, Karen L., Gill, Brijesh S., Sellin, Joseph H., Peden, Eric K., Mercer, David W.

Journal:

Annals of Surgery

Year:

2001

Language:

english

File:

PDF, 69 KB

english, 2001

87

Devonian Shale Gas Production: Mechanisms and Simple Models

Carlson, Eric S., Mercer, James C.

Journal:

Journal of Petroleum Technology

Year:

1991

Language:

english

File:

PDF, 559 KB

english, 1991

88

Acute pancreatitis in intensive care unit patients: Value of clinical and radiologic prognosticators at predicting clinical course and outcome

Liu, Terrence H., Kwong, Karen L., Tamm, Eric P., Gill, Brijesh S., Brown, Steven D., Mercer, David W.

Journal:

Critical Care Medicine

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

89

Photodermatitis with subsequent vitiligo-like leukoderma in HIV infection

Mercer, Jessica J., Yin, Natalie C., Lee, Eric S., Mosam, Anisa, Dlova, Ncoza C.

Journal:

International Journal of Dermatology

Year:

2016

Language:

english

File:

PDF, 152 KB

english, 2016

90

Rolls of Arms: Henry III ( Aspilogia , Vol. 11) by T. D. T remlett , H. S. L ondon , S ir A nthony W agner

Journal:

Archaeological Journal

Year:

1968

Language:

english

File:

PDF, 220 KB

english, 1968

91

A Catalogue of Architectural Drawings of the 18 th and 19 th Centuries in the Library of Worcester College, Oxford. By H. M. C olvin

Journal:

Archaeological Journal

Year:

1964

Language:

english

File:

PDF, 282 KB

english, 1964

92

Cooney's EMS Medicine By Derek R. Cooney. New York: McGraw-Hill Education, 2016; 603 pp + index; $179.00 (hard cover).

Silverman, Eric C., Mercer, Mary P., Sokolove, Peter E.

Journal:

Academic Emergency Medicine

Year:

2016

Language:

english

File:

PDF, 200 KB

english, 2016

93

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs

Rungta, Neha, Carroll, Hyrum, Mercer, Eric G, Roper, Randall J., Clement, Mark, Snell, Quinn

Year:

2007

Language:

english

File:

PDF, 216 KB

english, 2007

94

Symbolically modeling concurrent MCAPI executions

Fischer, Topher, Mercer, Eric, Rungta, Neha

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 340 KB

english, 2011

95

'Domus Longa' and 'Long House'

Journal:

Vernacular Architecture

Year:

1972

Language:

english

File:

PDF, 318 KB

english, 1972

96

Time and Chance: A Timely Rejoinder

Journal:

Vernacular Architecture

Year:

1990

Language:

english

File:

PDF, 579 KB

english, 1990

97

SPIE Proceedings [SPIE SPIE Defense, Security, and Sensing - Baltimore, Maryland, USA (Monday 23 April 2012)] Thermosense: Thermal Infrared Applications XXXIV - Thermographic imaging of the space shuttle during re-entry using a near-infrared sensor

Zalameda, Joseph N., Horvath, Thomas J., Kerns, Robbie V., Burke, Eric R., Taylor, Jeff C., Spisz, Tom, Gibson, David M., Shea, Edward J., Mercer, C. David, Schwartz, Richard J., Tack, Steve, Bush, Br

Year:

2012

Language:

english

File:

PDF, 7.53 MB

english, 2012

98

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference - Washington, D.C. ()] AIAA Modeling and Simulation Technologies Conference - Using Visualization to Understand Simulations of ATM scenarios

Wallace, Andrew, Mercer, Eric, Rungta, Neha

Language:

english

File:

PDF, 851 KB

english

99

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference - Washington, D.C. ()] AIAA Modeling and Simulation Technologies Conference - Modeling Functional Specifications of Ground Systems in the NAS

Hamon, Arnaud, Krantz, Christian, Rungta, Neha, Mercer, Eric

Language:

english

File:

PDF, 1.15 MB

english

100

Synthetic putative transmembrane region of minimal potassium channel protein (minK) adopts an α-helical conformation in phospholipid membranes

MERCER, Eric A. J., ABBOTT, Geoffrey W., BRAZIER, Stephen P., RAMESH, Bala, HARIS, Parvez I., SRAI, Surjit K. S.

Journal:

Biochemical Journal

Year:

1997

Language:

english

File:

PDF, 394 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски