Ponse : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (57)
Les plus populaires
Liste
- Liste
- Tableau

1

"Strange and free"—On Some Aspects of the Nature of Elves and Men

Thomas Fornet-Ponse,

Journal:

Tolkien Studies

Année:

2010

Langue:

english

Fichier:

PDF, 340 KB

english, 2010

2

Simple and rapid determination of carrier concentration and mobility profiles in GaAs

J. Esteve, F. Ponse, K.-H. Bachem

Journal:

Thin Solid Films

Année:

1981

Langue:

english

Fichier:

PDF, 311 KB

english, 1981

3

[IEEE 9th European Microwave Conference, 1979 - Brighton, UK (1979.10.4-1979.10.6)] 9th European Microwave Conference, 1979 - A Self-Oscillating Dual Gate MESFET X-Band Mixer with 12 DB Conversion Gain

Tsironis, Christos, Stahlmann, Rainer, Ponse, Frederik

Année:

1979

Langue:

english

Fichier:

PDF, 4.46 MB

english, 1979

4

Proposition algebra

Bergstra, Jan A., Ponse, Alban

Journal:

ACM Transactions on Computational Logic

Année:

2011

Langue:

english

Fichier:

PDF, 301 KB

english, 2011

5

Evidence for superior neurobiological and behavioral inhibitory control abilities in non-offending as compared to offending pedophiles

Kärgel, Christian, Massau, Claudia, Weiß, Simone, Walter, Martin, Borchardt, Viola, Krueger, Tillmann H.C., Tenbergen, Gilian, Kneer, Jonas, Wittfoth, Matthias, Pohl, Alexander, Gerwinn, Hannah, Ponse

Journal:

Human Brain Mapping

Année:

2016

Langue:

english

Fichier:

PDF, 383 KB

english, 2016

6

Kleene's three-valued logic and process algebra

Jan A. Bergstra, Alban Ponse

Journal:

Information Processing Letters

Année:

1998

Langue:

english

Fichier:

PDF, 654 KB

english, 1998

7

Process algebra with guards: Combining Hoare logic with process algebra

Jan Friso Groote, Alban Ponse

Journal:

Formal Aspects of Computing

Année:

1994

Langue:

english

Fichier:

PDF, 2.39 MB

english, 1994

8

The influence of donor neutralization on the transfer characteristics of MODFET's at 77 K: Theory and experiment

Masselink, W.T., Drummond, T.J., Klem, J., Kopp, W., Chang, Y.C., Ponse, F., Morkoc, H.

Journal:

IEEE Transactions on Electron Devices

Année:

1985

Langue:

english

Fichier:

PDF, 800 KB

english, 1985

9

Quasi-Fermi level bending in MODFET's and its effect on FET transfer characteristics

Ponse, F., Masselink, W.T., Morkoc, H.

Journal:

IEEE Transactions on Electron Devices

Année:

1985

Langue:

english

Fichier:

PDF, 804 KB

english, 1985

10

Characterization of extremely low contact resistances on modulation-doped FET's

Ketterson, A.A., Ponse, F., Henderson, T., Klem, J., Chin-Kun Peng, Morkoc, H.

Journal:

IEEE Transactions on Electron Devices

Année:

1985

Langue:

english

Fichier:

PDF, 703 KB

english, 1985

11

Anomaly in the photoproduction cross section off the proton at the threshold

R. Ewald, B. Bantes, O. Bartholomy, D. Bayadilov, R. Beck, Y.A. Beloglazov, K.-T. Brinkmann, V. Crede, H. Dutz, D. Elsner, K. Fornet-Ponse, F. Frommberger, Ch. Funke, A.B. Gridnev, E. Gutz, W. Hillert

Journal:

Physics Letters B

Année:

2012

Langue:

english

Fichier:

PDF, 593 KB

english, 2012

12

Process algebra with four-valued logic

Bergstra, Jan A., Ponse, Alban

Journal:

Journal of Applied Non-Classical Logics

Année:

2000

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2000

13

An independent axiomatisation for free short-circuit logic

Ponse, Alban, Staudt, Daan J. C.

Journal:

Journal of Applied Non-Classical Logics

Année:

2018

Fichier:

PDF, 3.14 MB

2018

14

Synchrotron lithography for sub-half-micron T-Gates in GAAS-FET

K.H. Mueller, Th. Stelter, F. Ponse, H. Weidlich

Journal:

Microelectronic Engineering

Année:

1986

Langue:

english

Fichier:

PDF, 457 KB

english, 1986

15

Execution architectures for program algebra

Jan A. Bergstra, Alban Ponse

Journal:

Journal of Applied Logic

Année:

2007

Langue:

english

Fichier:

PDF, 287 KB

english, 2007

16

Belnap’s logic and conditional composition

Alban Ponse, Mark B. van der Zwaag

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 351 KB

english, 2007

17

Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday

Inge Bethke, Alban Ponse, Piet H. Rodenburg

Journal:

Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 150 KB

english, 2011

18

Equivalence of recursive specifications in process algebra

Alban Ponse, Yaroslav S. Usenko

Journal:

Information Processing Letters

Année:

2001

Langue:

english

Fichier:

PDF, 96 KB

english, 2001

19

Process algebra and conditional composition

Jan A. Bergstra, Alban Ponse

Journal:

Information Processing Letters

Année:

2001

Langue:

english

Fichier:

PDF, 118 KB

english, 2001

20

Medium-power GaAs bipolar transistors

H. Beneking, L.M. Su, F. Ponse

Journal:

Microelectronics Journal

Année:

1982

Langue:

english

Fichier:

PDF, 4.35 MB

english, 1982

21

Grid protocols based on synchronous communication

Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse

Journal:

Science of Computer Programming

Année:

1997

Langue:

english

Fichier:

PDF, 1.93 MB

english, 1997

22

Non-regular iterators in process algebra

Jan A. Bergstra, Alban Ponse

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 243 KB

english, 2001

23

Branching time and orthogonal bisimulation equivalence

Jan A. Bergstra, Alban Ponse, Mark B. van der Zwaag

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 609 KB

english, 2003

24

Two finite specifications of a queue

Marc Bezem, Alban Ponse

Journal:

Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 1.22 MB

english, 1997

25

Preface

Alban Ponse, Chris Verhoef, Bas van Vlijmen

Journal:

Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 110 KB

english, 1997

26

Computable processes and bisimulation equivalence

Journal:

Formal Aspects of Computing

Année:

1996

Langue:

english

Fichier:

PDF, 1.61 MB

english, 1996

27

Editorial

F. S. de Boer, E. -R. Olderog, A. Ponse, F. -J. de Vries

Journal:

Formal Aspects of Computing

Année:

1994

Langue:

english

Fichier:

PDF, 101 KB

english, 1994

28

Risk Assessment for One-Counter Threads

Alban Ponse, Mark B. van der Zwaag

Journal:

Theory of Computing Systems

Année:

2008

Langue:

english

Fichier:

PDF, 467 KB

english, 2008

29

Decision problems for pushdown threads

Jan A. Bergstra, Inge Bethke, Alban Ponse

Journal:

Acta Informatica

Année:

2007

Langue:

english

Fichier:

PDF, 318 KB

english, 2007

30

A Generalization of ACP Using Belnap's Logic

Alban Ponse, Mark B. van der Zwaag

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 214 KB

english, 2006

31

La notion de territoire et les excroissances digitales du Crapaud

Journal:

Development Genes and Evolution

Année:

1930

Fichier:

PDF, 1.81 MB

1930

32

Nouveaux livres

Kitty Ponse, F. Conforto

Journal:

Cellular and Molecular Life Sciences

Année:

1948

Langue:

german

Fichier:

PDF, 450 KB

german, 1948

33

Process expressions and Hoare's logic: Showing an irreconcilability of context-free recursion with Scott's induction rule

Journal:

Information and Computation

Année:

1991

Langue:

english

Fichier:

PDF, 1.34 MB

english, 1991

34

A generalization of ACP using Belnap’s logic

Alban Ponse, Mark B. van der Zwaag

Journal:

The Journal of Logic and Algebraic Programming

Année:

2007

Langue:

english

Fichier:

PDF, 207 KB

english, 2007

35

Combining programs and state machines

Jan A. Bergstra, Alban Ponse

Journal:

The Journal of Logic and Algebraic Programming

Année:

2002

Langue:

english

Fichier:

PDF, 148 KB

english, 2002

36

Linearization in parallel pCRL

J.F. Groote, A. Ponse, Y.S. Usenko

Journal:

The Journal of Logic and Algebraic Programming

Année:

2001

Langue:

english

Fichier:

PDF, 294 KB

english, 2001

37

Program algebra with unit instruction operators

Journal:

The Journal of Logic and Algebraic Programming

Année:

2002

Langue:

english

Fichier:

PDF, 180 KB

english, 2002

38

Buried channel GaAs MESFET's—Scattering parameter and linearity dependence on the channel doping profile

Dekkers, J.J.M., Ponse, F., Beneking, H.

Journal:

IEEE Transactions on Electron Devices

Année:

1981

Langue:

english

Fichier:

PDF, 805 KB

english, 1981

39

Gate capacitance—Voltage characteristic of MODFET's: Its effect on transconductance

Moloney, M.J., Ponse, F., Morkoc, H.

Journal:

IEEE Transactions on Electron Devices

Année:

1985

Langue:

english

Fichier:

PDF, 1.04 MB

english, 1985

40

Binding of 2′(3′)-O-(2,4,6-trinitrophenyl)-adenosine 5′-diphosphate opens the pathway for protons through the chloroplast ATPase complex

Richard WAGNER, Gudrun PONSE, Heinrich STROTMANN

Journal:

Année:

1986

Langue:

english

Fichier:

PDF, 510 KB

english, 1986

41

Inhibition study of ADP,ATP transport in mitochondria with trinitrophenyl-modified substrates

E. Schlimme, K.-S. Boos, G. Onur, G. Ponse

Journal:

Année:

1983

Langue:

english

Fichier:

PDF, 416 KB

english, 1983

42

Bosentan in mild pulmonary hypertension

Mart N van der Plas, Mariëlle GJ Duffels, Dikyi Ponse, Barbara JM Mulder, Paul Bresser

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 68 KB

english, 2008

43

Ouderenzorg in praktijk gebracht

Anouk Ramackers, dr. Y.D. van Leeuwen, K Ponse, L Lammerts

Journal:

Huisarts en wetenschap

Année:

2012

Langue:

dutch

Fichier:

PDF, 183 KB

dutch, 2012

44

Applications of single and dual gate GaAs MESFETs for Gbit/s optical data transfer systems

Filensky, W., Ponse, F., Beneking, H.

Journal:

IEEE Journal of Solid-State Circuits

Année:

1981

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1981

45

Saturation in the transfer characteristics of (Al,Ga)As/GaAs modulation-doped field-effect transistors at 77 K

W. T. Masselink, T. J. Drummond, J. Klem, W. Kopp, Y. C. Chang, F. Ponse, H. Morkoç

Année:

1984

Langue:

english

Fichier:

PDF, 509 KB

english, 1984

46

Extremely low contact resistances for AlGaAs/GaAs modulation-doped field-effect transistor structures

Ketterson, A., Ponse, F., Henderson, T., Klem, J., Morkoç, H.

Journal:

Journal of Applied Physics

Année:

1985

Langue:

english

Fichier:

PDF, 499 KB

english, 1985

47

Equations for formally real meadows

Bergstra, Jan A., Bethke, Inge, Ponse, Alban

Journal:

Journal of Applied Logic

Année:

2015

Langue:

english

Fichier:

PDF, 435 KB

english, 2015

48

Secrecy in the Lesbian World

Journal:

Journal of Contemporary Ethnography

Année:

1976

Langue:

english

Fichier:

PDF, 1.24 MB

english, 1976

49

Register-machine based processes

Bergstra, Jan A., Ponse, Alban

Journal:

Journal of the ACM

Année:

2001

Langue:

english

Fichier:

PDF, 358 KB

english, 2001

50

Measurement of polarisation observables in K

Ewald, R., Anisovich, A.V., Bantes, B., Bartholomy, O., Bayadilov, D., Beck, R., Beloglazov, Y.A., Brinkmann, K.-T., Crede, V., Dutz, H., Elsner, D., Fornet-Ponse, K., Frommberger, F., Funke, Ch., Gri

Journal:

Physics Letters B

Année:

2014

Langue:

english

Fichier:

PDF, 405 KB

english, 2014