Works matching Wilhelm Schickard

Results: 155

Tercentenary of Wilhelm Schickard (1592-1635).

Published in:: Nature, 1935, v. 136, n. 3442, p. 636, doi. 10.1038/136636a0
Publication type:: Article

400 Jahre Rechenmaschinen im Arithmeum in Bonn.

Published in:

Mitteilungen der DMV, 2024, v. 32, n. 1, p. 48, doi. 10.1515/dmvm-2024-0017

By:

Prinz, Ina

Publication type:

Article

Astronom, Geograph, Orientalist, Erfinder der Rechenmaschine (Book Review).

Published in:

1979

By:

Knobloch, Eberhard

Publication type:

Book Review

The Philamath's Alphabet--S.

Published in:

Mathematical Intelligencer, 2008, v. 30, n. 4, p. 88, doi. 10.1007/BF03038105

By:

Wilson, Robins

Publication type:

Article

ACERCA DE LA PORTADA:.

Published in:

Gaceta de la Real Sociedad Matemática Española, 2023, v. 26, n. 3, p. 414

By:

Gaceta, La

Publication type:

Article

Mutually permutable subgroups and Fitting classes.

Published in:

Archiv der Mathematik, 2007, v. 88, n. 5, p. 385, doi. 10.1007/s00013-006-1119-x

By:

Jonas Bochtler;
Peter Hauck

Publication type:

Article

Cardiorespiratory fitness is associated with cognitive performance in 80 + -year-olds: Detangling processing levels.

Published in:

GeroScience, 2024, v. 46, n. 3, p. 3297, doi. 10.1007/s11357-024-01065-8

By:

Fröhlich, Stephanie;
Kutz, Dieter F.;
Müller, Katrin;
Voelcker-Rehage, Claudia

Publication type:

Article

Sex-dependent performance differences in curvilinear aiming arm movements in octogenarians.

Published in:

Scientific Reports, 2023, v. 13, n. 1, p. 1, doi. 10.1038/s41598-023-36889-5

By:

Kutz, Dieter F.;
Fröhlich, Stephanie;
Rudisch, Julian;
Müller, Katrin;
Voelcker-Rehage, Claudia

Publication type:

Article

DIALIGN-TX and multiple protein alignment using secondary structure information at GOBICS.

Published in:

Nucleic Acids Research, 2010, v. 38, n. suppl_2, p. W19, doi. 10.1093/nar/gkq442

By:

Subramanian, Amarendran R.;
Hiran, Suvrat;
Steinkamp, Rasmus;
Meinicke, Peter;
Corel, Eduardo;
Morgenstern, Burkhard

Publication type:

Article

OptiTope—a web server for the selection of an optimal set of peptides for epitope-based vaccines.

Published in:

Nucleic Acids Research, 2009, v. 37, n. suppl_2, p. W617, doi. 10.1093/nar/gkp293

By:

Toussaint, Nora C.;
Kohlbacher, Oliver

Publication type:

Article

Interaction of cationic surfactants with DNA: a single-molecule study.

Published in:

Nucleic Acids Research, 2008, v. 36, n. 5, p. 1443, doi. 10.1093/nar/gkm1146

By:

Husale, Sudhir;
Grange, Wilfried;
Karle, Marc;
Bürgi, Stephan;
Hegner, Martin

Publication type:

Article

Experiments on data reduction for optimal domination in networks.

Published in:

Annals of Operations Research, 2006, v. 146, n. 1, p. 105, doi. 10.1007/s10479-006-0045-4

By:

Alber, Jochen;
Betzler, Nadja;
Niedermeier, Rolf

Publication type:

Article

On cautious probabilistic inference and default detachment.

Published in:

Annals of Operations Research, 1995, v. 55, n. 1-4, p. 195, doi. 10.1007/BF02031721

By:

Thöne, Helmut;
Kießling, Werner;
Güntzer, Ulrich

Publication type:

Article

Problems on Finite Automata and the Exponential Time Hypothesis.

Published in:

Algorithms, 2017, v. 10, n. 1, p. 24, doi. 10.3390/a10010024

By:

Fernau, Henning;
Krebs, Andreas

Publication type:

Article

k-Planar Placement and Packing of Δ-Regular Caterpillars.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 7, p. 875, doi. 10.1142/S0129054123420042

By:

Binucci, Carla;
Di Giacomo, Emilio;
Kaufmann, Michael;
Liotta, Giuseppe;
Tappini, Alessandra

Publication type:

Article

Algorithms and Bounds for L-Drawings of Directed Graphs.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 4, p. 461, doi. 10.1142/S0129054118410010

By:

Angelini, Patrizio;
Lozzo, Giordano Da;
Bartolomeo, Marco Di;
Donato, Valentino Di;
Patrignani, Maurizio;
Roselli, Vincenzo;
Tollis, Ioannis G.

Publication type:

Article

Construction of a Microstructured Collagen Membrane Mimicking the Papillary Dermis Architecture and Guiding Keratinocyte Morphology and Gene Expression.

Published in:

Macromolecular Bioscience, 2012, v. 12, n. 5, p. 675, doi. 10.1002/mabi.201100443

By:

Lammers, Gerwen;
Roth, Günter;
Heck, Mathias;
Zengerle, Roland;
Tjabringa, G. Sandra;
Versteeg, Elly M.;
Hafmans, Theo;
Wismans, Ronnie;
Reinhardt, Dieter P.;
Verwiel, Eugene T. P.;
Zeeuwen, Patrick L. J. M.;
Schalkwijk, Joost;
Brock, Roland;
Daamen, Willeke F.;
van Kuppevelt, Toin H.

Publication type:

Article

Structural Evaluation of Systematically Enumerated Hypothetical Uninodal Zeolites ( We are grateful to the EPSRC (UK) for support and to the Portuguese Foundation for Science and Technology (FCT) for the Ph.D. scholarship No. SFRH/BD/3024/2000 to F.A.A.P. )

Published in:

Angewandte Chemie, 2003, v. 115, n. 39, p. 4867, doi. 10.1002/ange.200390623

By:

Martin D. Foster;
Olaf Delgado Friedrichs;
Robert G. Bell;
Filipe A. Almeida Paz;
Jacek Klinowski

Publication type:

Article

Structural Evaluation of Systematically Enumerated Hypothetical Uninodal Zeolites ( We are grateful to the EPSRC (UK) for support and to the Portuguese Foundation for Science and Technology (FCT) for the Ph.D. scholarship No. SFRH/BD/3024/2000 to F.A.A.P. )

Published in:

Angewandte Chemie, 2003, v. 115, n. 33, p. 4026, doi. 10.1002/ange.200351556

By:

Martin D. Foster;
Olaf Delgado Friedrichs;
Robert G. Bell;
Filipe A. Almeida Paz;
Jacek Klinowski

Publication type:

Article

Chronological aging leads to apoptosis in yeast.

Published in:

Journal of Cell Biology, 2004, v. 164, n. 4, p. 501, doi. 10.1083/jcb.200310014

By:

Herker, Eva;
Jungwirth, Helmut;
Lehmann, Katharina A.;
Maldener, Corinna;
Fröhlich, Kai-Uwe;
Wissing, Silke;
Büuner, Sabrina;
Fehr, Markus;
Sigrist, Stephan;
Madeo, Frank

Publication type:

Article

SEFE = C-Planarity?

Published in:

Computer Journal, 2016, v. 59, n. 12, p. 1831, doi. 10.1093/comjnl/bxw035

By:

ANGELINI, P.;
DA LOZZO, G.

Publication type:

Article

Applying Linear Quantifier Elimination.

Published in:

Computer Journal, 1993, v. 36, n. 5, p. 450

By:

Loos, R.;
Weispfenning, V.

Publication type:

Article

Modeling metabolic networks in C. glutamicum: a comparison of rate laws in combination with various parameter optimization strategies.

Published in:

BMC Systems Biology, 2009, v. 3, p. 1, doi. 10.1186/1752-0509-3-5

By:

Dräger, Andreas;
Kronfeld, Marcel;
Ziller, Michael J.;
Supper, Jochen;
Planatscher, Hannes;
Magnus, Jørgen B.;
Oldiges, Marco;
Kohlbacher, Oliver;
Zell, Andreas

Publication type:

Article

Abstract analysis of pathways using the BN++ software framework.

Published in:

2007

By:

Küntzer, Jan;
Kneissl, Benny;
Kohlbacher, Oliver;
Lenhof, Hans-Peter

Publication type:

Abstract

Application of artificial neural networks for the prediction of lymph node metastases to the ipsilateral axilla – initial experience in 194 patients using magnetic resonance mammography.

Published in:

Acta Radiologica, 2010, v. 51, n. 8, p. 851, doi. 10.3109/02841851.2010.498444

By:

Dietzel, Matthias;
Baltzer, Pascal A. T.;
Dietzel, Andreas;
Vag, Tibor;
Gröschel, Tobias;
Gajda, Mieczyslaw;
Camara, Oumar;
Kaiser, Werner A.

Publication type:

Article

Specific Gait Changes in Prodromal Hereditary Spastic Paraplegia Type 4: preSPG4 Study.

Published in:

Movement Disorders, 2022, v. 37, n. 12, p. 2417, doi. 10.1002/mds.29199

By:

Laßmann, Christian;
Ilg, Winfried;
Schneider, Marc;
Völker, Maximilian;
Haeufle, Daniel F.B.;
Schüle, Rebecca;
Giese, Martin;
Synofzik, Matthis;
Schöls, Ludger;
Rattay, Tim W.

Publication type:

Article

Proof, Meaning and Paradox: Some Remarks.

Published in:

Topoi: An International Review of Philosophy, 2019, v. 38, n. 3, p. 591, doi. 10.1007/s11245-018-9552-6

By:

Tranchini, Luca

Publication type:

Article

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.

Published in:

Topoi: An International Review of Philosophy, 2012, v. 31, n. 1, p. 77, doi. 10.1007/s11245-012-9119-x

By:

Schroeder-Heister, Peter

Publication type:

Article

Anti-realistic Notions of Truth.

Published in:

Topoi: An International Review of Philosophy, 2012, v. 31, n. 1, p. 5, doi. 10.1007/s11245-012-9123-1

By:

Tranchini, Luca

Publication type:

Article

Truth from a Proof-Theoretic Perspective.

Published in:

Topoi: An International Review of Philosophy, 2012, v. 31, n. 1, p. 47, doi. 10.1007/s11245-012-9121-3

By:

Tranchini, Luca

Publication type:

Article

Query Strategies for Evading Convex-Inducing Classifiers.

Published in:

Journal of Machine Learning Research, 2012, v. 13, n. 5, p. 1293

By:

Nelson, Blaine;
Rubinstein, Benjamin I. P.;
Ling Huang;
Joseph, Anthony D.;
Lee, Steven J.;
Rao, Satish;
Tygar, J. D.

Publication type:

Article

Joining with Reactive Nano-Multilayers: Influence of Thermal Properties of Components on Joint Microstructure and Mechanical Performance.

Published in:

Applied Sciences (2076-3417), 2019, v. 9, n. 2, p. 262, doi. 10.3390/app9020262

By:

Rheingans, Bastian;
Spies, Irina;
Schumacher, Axel;
Knappmann, Stephan;
Furrer, Roman;
Jeurgens, Lars P. H.;
Janczak-Rusch, Jolanta

Publication type:

Article

Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 2, p. 495, doi. 10.1093/logcom/exu028

By:

TRANCHINI, LUCA

Publication type:

Article

AN ALGORITHM FOR STEINER TREES IN GRID GRAPHS AND ITS APPLICATION TO HOMOTOPIC ROUTING.

Published in:

Journal of Circuits, Systems & Computers, 1996, v. 6, n. 1, p. 1, doi. 10.1142/S0218126696000029

By:

KAUFMANN, MICHAEL;
GAO, SHAODI;
THULASIRAMAN, K.

Publication type:

Article

Lateral Information Processing by Spiking Neurons: A Theoretical Model of the Neural Correlate of Consciousness.

Published in:

Computational Intelligence & Neuroscience, 2011, p. 1, doi. 10.1155/2011/247879

By:

Ebner, Marc;
Hameroff, Stuart

Publication type:

Article

Online Artifact Removal for Brain-Computer Interfaces Using Support Vector Machines and Blind Source Separation.

Published in:

Computational Intelligence & Neuroscience, 2007, p. 1, doi. 10.1155/2007/82069

By:

Halder, Sebastian;
Bensch, Michael;
Mellinger, Jürgen;
Bogdan, Martin;
Kübler, Andrea;
Birbaumer, Niels;
Rosenstiel, Wolfgang

Publication type:

Article

Dysfunctional neuro-muscular mechanisms explain gradual gait changes in prodromal spastic paraplegia.

Published in:

Journal of NeuroEngineering & Rehabilitation (JNER), 2023, v. 20, n. 1, p. 1, doi. 10.1186/s12984-023-01206-8

By:

Lassmann, Christian;
Ilg, Winfried;
Rattay, Tim W.;
Schöls, Ludger;
Giese, Martin;
Haeufle, Daniel F. B.

Publication type:

Article

SNEP: SNP-derived Epitope Prediction program for minor H antigens.

Published in:

Immunogenetics, 2005, v. 57, n. 11, p. 816, doi. 10.1007/s00251-005-0054-5

By:

Schuler, Mathias M.;
Dönnes, Pierre;
Nastke, Maria-Dorothea;
Kohlbacher, Oliver;
Rammensee, Hans-Georg;
Stevanovic, Stefan

Publication type:

Article

The model checking fingerprints of CTL operators.

Published in:

Acta Informatica, 2019, v. 56, n. 6, p. 487, doi. 10.1007/s00236-018-0326-9

By:

Krebs, Andreas;
Meier, Arne;
Mundhenk, Martin

Publication type:

Article

Verve.

Published in:

Computer Graphics Forum, 1993, v. 12, n. 3, p. 37, doi. 10.1111/1467-8659.1230037

By:

Knittel, Günter

Publication type:

Article

Report on the Fourth Eurographics Workshop on Graphics Hardware.

Published in:

Computer Graphics Forum, 1989, v. 8, n. 5, p. 367, doi. 10.1111/j.1467-8659.1989.tb00520.x

By:

Claussen, Ute

Publication type:

Article

A Processor for an Object-Oriented Rendering System.

Published in:

Computer Graphics Forum, 1988, v. 7, n. 4, p. 301, doi. 10.1111/j.1467-8659.1988.tb00631.x

By:

Schneider, Bengt-Olaf

Publication type:

Article

A step toward modeling reflexive reasoning.

Published in:

Behavioral & Brain Sciences, 1993, v. 16, n. 3, p. 477, doi. 10.1017/S0140525X00031228

By:

Shastri, Lokendra;
Ajjanagadde, Venkat

Publication type:

Article

From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony.

Published in:

Behavioral & Brain Sciences, 1993, v. 16, n. 3, p. 417, doi. 10.1017/S0140525X00030910

By:

Shastri, Lokendra;
Ajjanagadde, Venkat

Publication type:

Article

INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 3, p. 550, doi. 10.1017/S1755020309990165

By:

de Campos Sanz, Wagner;
Piecha, Thomas

Publication type:

Article

ROUTING AND SORTING ON RECONFIGURABLE MESHES.

Published in:

Parallel Processing Letters, 1995, v. 5, n. 1, p. 81, doi. 10.1142/S0129626495000084

By:

KAUFMANN, MICHAEL;
SCHRÖDER, HEIKO;
SIBEYN, JOP F.

Publication type:

Article

Modelling the brain response to arbitrary visual stimulation patterns for a flexible high-speed Brain-Computer Interface.

Published in:

PLoS ONE, 2018, v. 13, n. 10, p. 1, doi. 10.1371/journal.pone.0206107

By:

Nagel, Sebastian;
Spüler, Martin

Publication type:

Article

Brain communication in the locked-in state.

Published in:

Brain: A Journal of Neurology, 2013, v. 136, n. 6, p. 1989, doi. 10.1093/brain/awt102

By:

De Massari, Daniele;
Ruf, Carolin A.;
Furdea, Adrian;
Matuz, Tamara;
van der Heiden, Linda;
Halder, Sebastian;
Silvoni, Stefano;
Birbaumer, Niels

Publication type:

Article

On the design of EEG-based movement decoders for completely paralyzed stroke patients.

Published in:

2018

By:

Spüler, Martin;
López-Larraz, Eduardo;
Ramos-Murguialday, Ander

Publication type:

journal article

Visualizing dimensionality reduction of systems biology data.

Published in:

Data Mining & Knowledge Discovery, 2013, v. 27, n. 1, p. 146, doi. 10.1007/s10618-012-0268-8

By:

Lehrmann, Andreas;
Huber, Michael;
Polatkan, Aydin;
Pritzkau, Albert;
Nieselt, Kay

Publication type:

Article