Works matching Wilhelm Schickard

Results: 156

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

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

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

Published in:

1979

By:

Knobloch, Eberhard

Publication type:

Book Review

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

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

Locally Condensed Water as a Solution for In Situ Wet Corrosion Electron Microscopy.

Published in:

Microscopy & Microanalysis, 2020, v. 26, n. 2, p. 211, doi. 10.1017/S1431927620000100

By:

Ahmadi, Majid;
Tichelaar, Frans D.;
Ihring, Andreas;
Kunze, Michael;
Billat, Sophie;
Esfahani, Zahra Kolahdouz;
Zandbergen, Henny W.

Publication type:

Article

Die Grundlagen mathematischer Beweise. Philosophisch-logische Uberlegungen.

Published in:

Mitteilungen der Mathematischen Gesellschaft in Hamburg, 2018, n. 38, p. 117

By:

SCHROEDER-HEISTER, PETER

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

Cerium Oxide Decorated Polymer Nanofibers as Effective Membrane Reinforcement for Durable, High-Performance Fuel Cells.

Published in:

Advanced Energy Materials, 2017, v. 7, n. 6, p. n/a, doi. 10.1002/aenm.201602100

By:

Breitwieser, Matthias;
Klose, Carolin;
Hartmann, Armin;
Büchler, Andreas;
Klingele, Matthias;
Vierrath, Severin;
Zengerle, Roland;
Thiele, Simon

Publication type:

Article

Fuel Cells: Cerium Oxide Decorated Polymer Nanofibers as Effective Membrane Reinforcement for Durable, High-Performance Fuel Cells (Adv. Energy Mater. 6/2017).

Published in:

Advanced Energy Materials, 2017, v. 7, n. 6, p. n/a, doi. 10.1002/aenm.201770031

By:

Breitwieser, Matthias;
Klose, Carolin;
Hartmann, Armin;
Büchler, Andreas;
Klingele, Matthias;
Vierrath, Severin;
Zengerle, Roland;
Thiele, Simon

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

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

A TREE-HEIGHT HIERARCHY OF CONTEXT-FREE LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1383, doi. 10.1142/S012905410700542X

By:

REINHARDT, KLAUS;
Bordihn, H.

Publication type:

Article

THE COMPUTATIONAL COMPLEXITY OF AVOIDING FORBIDDEN SUBMATRICES BY ROW DELETIONS.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 6, p. 1467, doi. 10.1142/S0129054106004522

By:

WERNICKE, SEBASTIAN;
ALBER, JOCHEN;
GRAMM, JENS;
GUO, JIONG;
NIEDERMEIER, ROLF

Publication type:

Article

Epidural electrocorticography of phantom hand movement following long-term upper-limb amputation.

Published in:

Frontiers in Human Neuroscience, 2014, v. 8, p. 1, doi. 10.3389/fnhum.2014.00285

By:

Gharabaghi, Alireza;
Naros, Georgios;
Walter, Armin;
Roth, Alexander;
Bogdan, Martin;
Rosenstiel, Wolfgang;
Mehring, Carsten;
Birbaumer, Niels

Publication type:

Article

Coupling brain-machine interfaces with cortical stimulation for brain-state dependent stimulation: enhancing motor cortex excitability for neurorehabilitation.

Published in:

Frontiers in Human Neuroscience, 2014, v. 8, p. 1, doi. 10.3389/fnhum.2014.00122

By:

Gharabaghi, Alireza;
Kraus, Dominic;
Leão, Maria T.;
Spüler, Martin;
Walter, Armin;
Bogdan, Martin;
Rosenstiel, Wolfgang;
Naros, Georgios;
Ziemann, Ulf

Publication type:

Article

Prediction of brain-computer interface aptitude from individual brain structure.

Published in:

Frontiers in Human Neuroscience, 2013, p. 1, doi. 10.3389/fnhum.2013.00105

By:

Halder, S.;
Varkuti, B.;
Bogdan, M.;
Kübler, A.;
Rosenstiel, W.;
Sitaram, R.;
Birbaumer, N.;
Brunner, Clemens;
Lavidor, Michal

Publication type:

Article

Approaches for drug delivery with intracortical probes.

Published in:

Biomedical Engineering / Biomedizinische Technik, 2014, v. 59, n. 4, p. 291, doi. 10.1515/bmt-2012-0096

By:

Spieth, Sven;
Schumacher, Axel;
Trenkle, Fabian;
Brett, Olivia;
Seidl, Karsten;
Herwik, Stanislav;
Kisban, Sebastian;
Ruther, Patrick;
Paul, Oliver;
Aarts, Arno A. A.;
Neves, Hercules P.;
Rich, P. Dylan;
Theobald, David E.;
Holtzman, Tahl;
Dalley, Jeffrey W.;
Verhoef, Bram-Ernst;
Janssen, Peter;
Zengerle, Roland

Publication type:

Article

OBERFLÄCHEN-LASERSCANNER VERSUS MARKER-REGISTIERUNG FÜR DIE BILDDATENGESTÜTZTE CHIRURGISCHE NAVIGATION.

Published in:

Biomedical Engineering / Biomedizinische Technik, 2003, v. 48, p. 112

By:

Troitzsch, D.;
Hoffmann, J.;
Bartz, D.;
Dammann, F.;
Reinert, S.

Publication type:

Article

IMAGE-GUIDED NAVIGATION FOR MINIMAL INVASIVE APPROACHES IN CRANIOMAXILLOFACIAL SURGERY.

Published in:

Biomedical Engineering / Biomedizinische Technik, 2002, v. 47, p. 728, doi. 10.1515/bmte.2002.47.s1b.728

By:

Hoffmann, J.;
Dammann, F.;
Troitzsch, D.;
Müller, S.;
Zerfowski, M.;
Bartz, D.;
Reinert, S.

Publication type:

Article

Subcutaneous blood pressure monitoring with an implantable optical sensor.

Published in:

Biomedical Microdevices, 2013, v. 15, n. 5, p. 811, doi. 10.1007/s10544-013-9768-6

By:

Theodor, Michael;
Ruh, Dominic;
Fiala, Jens;
Förster, Katharina;
Heilmann, Claudia;
Manoli, Yiannos;
Beyersdorf, Friedhelm;
Zappe, Hans;
Seifert, Andreas

Publication type:

Article

An intra-cerebral drug delivery system for freely moving animals.

Published in:

Biomedical Microdevices, 2012, v. 14, n. 5, p. 799, doi. 10.1007/s10544-012-9659-2

By:

Spieth, Sven;
Schumacher, Axel;
Holtzman, Tahl;
Rich, P.;
Theobald, David;
Dalley, Jeffrey;
Nouna, Rachid;
Messner, Stephan;
Zengerle, Roland

Publication type:

Article

Integrated siphon-based metering and sedimentation of whole blood on a hydrophilic lab-on-a-disk.

Published in:

Biomedical Microdevices, 2007, v. 9, n. 5, p. 675, doi. 10.1007/s10544-007-9076-0

By:

J. Steigert;
T. Brenner;
M. Grumann;
L. Riegger;
S. Lutz;
J. DucrÃ©e

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

Subgroups of a Direct Product of Groups that Satisfy the Strong Frattini Argument.

Published in:

Communications in Algebra, 2010, v. 38, n. 11, p. 3993, doi. 10.1080/00927872.2010.507231

By:

Brewster, Ben;
Evan, Joseph;
Hauck, Peter;
Reifferscheid, Stephanie

Publication type:

Article

Predicting object properties based on movement kinematics.

Published in:

Brain Informatics, 2023, v. 10, n. 1, p. 1, doi. 10.1186/s40708-023-00209-4

By:

Kopnarski, Lena;
Lippert, Laura;
Rudisch, Julian;
Voelcker-Rehage, Claudia

Publication type:

Article

Classification of age groups and task conditions provides additional evidence for differences in electrophysiological correlates of inhibitory control across the lifespan.

Published in:

Brain Informatics, 2023, v. 10, n. 1, p. 1, doi. 10.1186/s40708-023-00190-y

By:

Goelz, Christian;
Reuter, Eva-Maria;
Fröhlich, Stephanie;
Rudisch, Julian;
Godde, Ben;
Vieluf, Solveig;
Voelcker-Rehage, Claudia

Publication type:

Article

An integer linear programming approach for finding deregulated subgraphs in regulatory networks.

Published in:

Nucleic Acids Research, 2012, v. 40, n. 6, p. e43, doi. 10.1093/nar/gkr1227

By:

Backes, Christina;
Rurainski, Alexander;
Klau, Gunnar W.;
Müller, Oliver;
Stöckel, Daniel;
Gerasch, Andreas;
Küntzer, Jan;
Maisel, Daniela;
Ludwig, Nicole;
Hein, Matthias;
Keller, Andreas;
Burtscher, Helmut;
Kaufmann, Michael;
Meese, Eckart;
Lenhof, Hans-Peter

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

Using Deficit Irrigation Strategies and Adding Sugarcane Waste Biochar as a Sustainable Material to Sandy Soils for Improving Yield and Water Productivity of Cucumber.

Published in:

Sustainability (2071-1050), 2024, v. 16, n. 11, p. 4856, doi. 10.3390/su16114856

By:

Abdou, Mamdouh A. A.;
Alashram, Mohamed G.;
Hamza, Ahmed E.;
Rashad, Younes M.;
Abd-ElGawad, Ahmed M.;
Bourouah, Mohamed;
Hafez, Mohamed;
Abdelraouf, Ramadan Eid

Publication type:

Article

Effect of Pre-Treatments on the Qualities of Banana Dried by Two Different Drying Methods.

Published in:

Sustainability (2071-1050), 2023, v. 15, n. 20, p. 15112, doi. 10.3390/su152015112

By:

Abd El-Wahhab, Gomaa G.;
Sayed, Hassan A. A.;
Abdelhamid, Mahmoud A.;
Zaghlool, Ayman;
Nasr, Ali;
Nagib, Ashraf;
Bourouah, Mohamed;
Abd-ElGawad, Ahmed M.;
Rashad, Younes M.;
Hafez, Mohamed;
Taha, Ibrahim M.

Publication type:

Article

World’s fastest brain-computer interface: Combining EEG2Code with deep learning.

Published in:

PLoS ONE, 2019, v. 14, n. 9, p. 1, doi. 10.1371/journal.pone.0221909

By:

Nagel, Sebastian;
Spüler, Martin

Publication type:

Article

Constructive semantics, admissibility of rules and the validity of Peirce's law.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 297, doi. 10.1093/jigpal/jzt029

By:

De Campos Sanz, Wagner;
Piecha, Thomas;
Schroeder-Heister, Peter

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

Learning Groundwater Contaminant Diffusion‐Sorption Processes With a Finite Volume Neural Network.

Published in:

Water Resources Research, 2022, v. 58, n. 12, p. 1, doi. 10.1029/2022WR033149

By:

Praditia, Timothy;
Karlbauer, Matthias;
Otte, Sebastian;
Oladyshkin, Sergey;
Butz, Martin V.;
Nowak, Wolfgang

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. 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

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

Multiple sequence alignment with user-defined constraints at GOBICS.

Published in:

Bioinformatics, 2005, v. 21, n. 7, p. 1271, doi. 10.1093/bioinformatics/bti142

By:

Burkhard Morgenstern;
Nadine Werner;
Sonja J. Prohaska;
Rasmus Steinkamp;
Isabelle Schneider;
Amarendran R. Subramanian;
Peter F. Stadler;
Jan Weyer-Menkhoff

Publication type:

Article

The association of executive functions and physical fitness with cognitive-motor multitasking in a street crossing scenario.

Published in:

Scientific Reports, 2023, v. 13, n. 1, p. 1, doi. 10.1038/s41598-022-26438-x

By:

Mack, Melanie;
Stojan, Robert;
Bock, Otmar;
Voelcker-Rehage, Claudia

Publication type:

Article

The bifunctional role of aconitase in Streptomyces viridochromogenes Tü494.

Published in:

Environmental Microbiology, 2012, v. 14, n. 12, p. 3203, doi. 10.1111/1462-2920.12006

By:

Michta, Ewelina;
Schad, Klaus;
Blin, Kai;
Ort-Winklbauer, Regina;
Röttig, Marc;
Kohlbacher, Oliver;
Wohlleben, Wolfgang;
Schinko, Eva;
Mast, Yvonne

Publication type:

Article