Michael Hanus: search on Z-Library

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

Don't use scam websites

51

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || On composable properties of term rewriting systems

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 949 KB

english, 1997

52

A residualizing semantics for the partial evaluation of functional logic programs

Elvira Albert, Michael Hanus, Germán Vidal

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 103 KB

english, 2003

53

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Model generation with existentially quantified variables and constraints

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

54

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Verifying Fail-Free Declarative Programs

Year:

2018

Language:

english

File:

PDF, 711 KB

english, 2018

55

Cannabinomimetic behavioral effects of and adenylate cyclase inhibition by two new endogenous anandamides

Jacob Barg, Ester Fride, Lumir Hanus, Rivka Levy, Noa Matus-Leibovitch, Eliahu Heldman, Michael Bayewitch, Raphael Mechoulam, Zvi Vogel

Journal:

European Journal of Pharmacology

Year:

1995

Language:

english

File:

PDF, 729 KB

english, 1995

56

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 4354 || The Joins Concurrency Library

Year:

2006

Language:

english

File:

PDF, 612 KB

english, 2006

57

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Declaratively Querying and Visualizing Knowledge Bases in Xml

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

58

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || SQL Based Frequent Pattern Mining with FP-Growth

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 191 KB

english, 2005

59

Local Zones of Endoplasmic Reticulum Complexity Confine Cargo in Neuronal Dendrites

Tingting Cui-Wang, Cyril Hanus, Tao Cui, Thomas Helton, Jennifer Bourne, Deborah Watson, Kristen M. Harris, Michael D. Ehlers

Journal:

Year:

2012

Language:

english

File:

PDF, 2.38 MB

english, 2012

60

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

61

An ER-based framework for declarative web programming

HANUS, MICHAEL, KOSCHNICKE, SVEN

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 463 KB

english, 2014

62

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1139 || λ-calculi with explicit substitutions and composition which preserve β-strong normalization

Hanus, Michael, Rodríguez-Artalejo, Mario

Year:

1996

Language:

english

File:

PDF, 813 KB

english, 1996

63

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || An Evaluation of a Rule-Based Language for Classification Queries

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 388 KB

english, 2005

64

Source Customization Reduces Psychological Reactance to a Persuasive Message via User Control and Identity Perceptions

Hanus, Michael D., Fox, Jesse

Journal:

Journal of Interactive Advertising

Year:

2017

Language:

english

File:

PDF, 646 KB

english, 2017

65

Reporting Failures in Functional Logic Programs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 290 KB

english, 2007

66

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Deductive and Inductive Reasoning on Spatio-Temporal Data

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 198 KB

english, 2005

67

Correction to ‘The role of the glucose-sensing transcription factor carbohydrate-responsive element-binding protein pathway in termite queen fertility’

Sillam-Dussès, David, Hanus, Robert, Poulsen, Michael, Roy, Virginie, Favier, Maryline, Vasseur-Cognet, Mireille

Journal:

Year:

2016

Language:

english

File:

PDF, 208 KB

english, 2016

68

Estimation of Spruce Needle-Leaf Chlorophyll Content Based on DART and PARAS Canopy Reflectance Models

Yanez-Rausell, Lucia, Malenovsky, Zbynek, Rautiainen, Miina, Clevers, Jan G. P. W., Lukes, Petr, Hanus, Jan, Schaepman, Michael E.

Journal:

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing

Year:

2015

Language:

english

File:

PDF, 1.25 MB

english, 2015

69

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Mining Semantic Structures in Movies

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 233 KB

english, 2005

70

Familial prostate cancer: Outcome following radiation therapy with or without adjuvant androgen ablation

Michael C. Hanus, Gunar K. Zagars, Alan Pollack

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

1998

Language:

english

File:

PDF, 97 KB

english, 1998

71

Compile-time analysis of nonlinear constraints in CLPR

Journal:

New Generation Computing

Year:

1995

Language:

english

File:

PDF, 1.58 MB

english, 1995

72

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Solving Alternating Boolean Equation Systems in Answer Set Programming

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 203 KB

english, 2005

73

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 142 KB

english, 2005

74

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Web Services Based on Prolog and Xml

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

75

[American Society of Agricultural and Biological Engineers Sixth International Dairy Housing Conference Proceeding, 16-18 June 2007, (Minneapolis, Minnesota) (Electronic Only) - ()] Sixth International Dairy Housing Conference Proceeding, 16-18 June 2007, (Minneapolis, Minnesota) (Electronic Only) - Effect of the Season at the Birth on the Performance and Health of Calves

Jan J. J Broucek,, Stefan Mihina,, Peter Kisac,, Michael Uhrincat,, Anton Hanus,, Miloslav Soch,, Jan Travnicek,

Year:

2007

File:

PDF, 54 KB

2007

76

Operational Semantics for Functional Logic Languages

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 209 KB

english, 2002

77

Effect of PEGDE addition on rheological and mechanical properties of bisphenol E cyanate ester

Sheng, Xia, Hanus, Riley, Bauer, Amy, Kessler, Michael R.

Journal:

Journal of Applied Polymer Science

Year:

2013

Language:

english

File:

PDF, 616 KB

english, 2013

78

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Putting declarative programming into the web

Year:

2007

Language:

english

File:

PDF, 313 KB

english, 2007

79

Lazy narrowing with simplification

Journal:

Computer Languages

Year:

1997

Language:

english

File:

PDF, 2.49 MB

english, 1997

80

Evidence for significant influence of host immunity on changes in differential blood count during malaria

Berens-Riha, Nicole, Kroidl, Inge, Schunk, Mirjam, Alberer, Martin, Beissner, Marcus, Pritsch, Michael, Kroidl, Arne, Fröschl, Günter, Hanus, Ingrid, Bretzel, Gisela, von Sonnenburg, Frank, Nothdurft,

Journal:

Malaria Journal

Year:

2014

Language:

english

File:

PDF, 488 KB

english, 2014

81

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - A modular and generic analysis server system for functional logic programs

Hanus, Michael, Skrlac, Fabian

Year:

2014

Language:

english

File:

PDF, 591 KB

english, 2014

82

Higher-order narrowing with definitional trees

HANUS, MICHAEL, PREHOFER, CHRISTIAN

Journal:

Journal of Functional Programming

Year:

1999

Language:

english

File:

PDF, 470 KB

english, 1999

83

Uncollided flux techniques for arbitrary finite element meshes

Hanuš, Milan, Harbour, Logan H., Ragusa, Jean C., Adams, Michael P., Adams, Marvin L.

Journal:

Journal of Computational Physics

Year:

2019

Language:

english

File:

PDF, 1.34 MB

english, 2019

84

Cannabinol Derivatives: Binding to Cannabinoid Receptors and Inhibition of Adenylylcyclase

Rhee, Man-Hee, Vogel, Zvi, Barg, Jacob, Bayewitch, Michael, Levy, Rivka, Hanuš, Lumir, Breuer, Aviva, Mechoulam, Raphael

Journal:

Journal of Medicinal Chemistry

Year:

1997

Language:

english

File:

PDF, 266 KB

english, 1997

85

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Optimal non-deterministic functional logic computations

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

86

Chimpanzees use observed temporal directionality to learn novel causal relations

Tennie, Claudio, Völter, Christoph J., Vonau, Victoria, Hanus, Daniel, Call, Josep, Tomasello, Michael

Journal:

Year:

2019

Language:

english

File:

PDF, 930 KB

english, 2019

87

Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey, MIT Press, 1998.

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 161 KB

english, 2001

88

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.29-2005.09.29)] Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05 - A generic analysis environment for declarative programs

Year:

2005

Language:

english

File:

PDF, 290 KB

english, 2005

89

Addition of a Medial Locking Plate to an In Situ Lateral Locking Plate Results in Healing of Distal Femoral Nonunions

Holzman, Michael A., Hanus, Bryan D., Munz, John W., O’Connor, Daniel P., Brinker, Mark R.

Journal:

Clinical Orthopaedics and Related Research®

Year:

2016

Language:

english

File:

PDF, 548 KB

english, 2016

90

The main cannabinoids content in hashish samples seized in Israel and Czech Republic

Hanuš, Lumír O., Levy, Rina, De La Vega, Dafna, Katz, Limor, Roman, Michael, Tomíček, Pavel

Journal:

Israel Journal of Plant Sciences

Year:

2016

Language:

english

File:

PDF, 716 KB

english, 2016

91

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Distributed Constraint-Based Railway Simulation

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 146 KB

english, 2005

92

Horn clause programs with polymorphic types: semantics and resolution

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 3.11 MB

english, 1991

93

Vivre Son Deuil ( Live Your Grief )

Journal:

Bereavement Care

Year:

2004

Language:

english

File:

PDF, 168 KB

english, 2004

94

Determination of elastic coefficients of bone and composite materials by acoustic immersion technique

Goldmann, Tomáš, Seiner, Hanuš, Landa, Michal, Hammer, Joachim, Nerlich, Michael

Journal:

Technology and Health Care

Year:

2006

File:

PDF, 489 KB

2006

95

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 5437 || Constraint-Based Timetabling System for the German University in Cairo

Seipel, Dietmar, Hanus, Michael, Wolf, Armin

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

96

[ACM Press the 8th ACM SIGPLAN symposium - Venice, Italy (2006.07.10-2006.07.12)] Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 - Type-oriented construction of web user interfaces

Year:

2006

Language:

english

File:

PDF, 244 KB

english, 2006

97

Specialization of biosynthetic membrane trafficking for neuronal form and function

Hanus, Cyril, Ehlers, Michael D

Journal:

Current Opinion in Neurobiology

Year:

2016

Language:

english

File:

PDF, 701 KB

english, 2016

98

Familial prostate cancer: outcome following radiation therapy with or without adjuvant androgen ablation

Michael C Hanus, Gunar K Zagars, Alan Pollack

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

1999

Language:

english

File:

PDF, 63 KB

english, 1999

99

Programming Autonomous Robots in Curry

Michael Hanus, Klaus Höppner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 231 KB

english, 2002

100

Reduction Strategies for Declarative Programming

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 215 KB

english, 2001

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Български