Works matching Schickard, Wilhelm

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

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

BioContainers: an open-source and community-driven framework for software standardization.

Published in:

Bioinformatics, 2017, v. 33, n. 16, p. 2580, doi. 10.1093/bioinformatics/btx192

By:

Leprevost, Felipe da Veiga;
Grüning, Björn A.;
Aflitos, Saulo Alves;
Röst, Hannes L.;
Uszkoreit, Julian;
Barsnes, Harald;
Vaudel, Marc;
Moreno, Pablo;
Gatto, Laurent;
Weber, Jonas;
Mingze Bai;
Jimenez, Rafael C.;
Sachsenberg, Timo;
Pfeuffer, Julianus;
Alvarez, Roberto Vera;
Griss, Johannes;
Nesvizhskii, Alexey I.;
Perez-Riverol, Yasset

Publication type:

Article

NetworkTrail—a web service for identifying and visualizing deregulated subnetworks.

Published in:

Bioinformatics, 2013, v. 29, n. 13, p. 1702, doi. 10.1093/bioinformatics/btt204

By:

Stöckel, Daniel;
Müller, Oliver;
Kehl, Tim;
Gerasch, Andreas;
Backes, Christina;
Rurainski, Alexander;
Keller, Andreas;
Kaufmann, Michael;
Lenhof, Hans-Peter

Publication type:

Article

A novel algorithm for detecting differentially regulated paths based on gene set enrichment analysis.

Published in:

Bioinformatics, 2009, v. 25, n. 21, p. 2787, doi. 10.1093/bioinformatics/btp510

By:

Keller, Andreas;
Backes, Christina;
Gerasch, Andreas;
Kaufmann, Michael;
Kohlbacher, Oliver;
Meese, Eckart;
Lenhof, Hans-Peter

Publication type:

Article

Stabilizing Quantum Disjunction.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 6, p. 1029, doi. 10.1007/s10992-018-9460-7

By:

Tranchini, Luca

Publication type:

Article

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 95, doi. 10.1007/s10992-010-9149-z

By:

Schroeder-Heister, Peter

Publication type:

Article

Decoding upper limb residual muscle activity in severe chronic stroke.

Published in:

Annals of Clinical & Translational Neurology, 2015, v. 2, n. 1, p. 1, doi. 10.1002/acn3.122

By:

Ramos‐Murguialday, Ander;
García‐Cossio, Eliana;
Walter, Armin;
Cho, Woosang;
Broetz, Doris;
Bogdan, Martin;
Cohen, Leonardo G.;
Birbaumer, Niels

Publication type:

Article

Design and effectiveness evaluation of mirror myoelectric interfaces: a novel method to restore movement in hemiplegic patients.

Published in:

Scientific Reports, 2018, v. 8, n. 1, p. 1, doi. 10.1038/s41598-018-34785-x

By:

Sarasola-Sanz, Andrea;
Irastorza-Landa, Nerea;
López-Larraz, Eduardo;
Shiman, Farid;
Spüler, Martin;
Birbaumer, Niels;
Ramos-Murguialday, Ander

Publication type:

Article

Anaplerotic Therapy Using Triheptanoin in Two Brothers Suffering from Aconitase 2 Deficiency.

Published in:

Metabolites (2218-1989), 2024, v. 14, n. 4, p. 238, doi. 10.3390/metabo14040238

By:

Penkl, Maximilian;
Mayr, Johannes A.;
Feichtinger, René G.;
Reilmann, Ralf;
Debus, Otfried;
Fobker, Manfred;
Penkl, Anja;
Reunert, Janine;
Rust, Stephan;
Marquardt, Thorsten

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

At‐Most‐Hexa Meshes.

Published in:

Computer Graphics Forum, 2022, v. 41, n. 1, p. 7, doi. 10.1111/cgf.14393

By:

Bukenberger, Dennis R.;
Tarini, Marco;
Lensch, Hendrik P. A.

Publication type:

Article

On Near Optimal Lattice Quantization of Multi-Dimensional Data Points.

Published in:

Computer Graphics Forum, 2014, v. 33, n. 1, p. 271, doi. 10.1111/cgf.12273

By:

Finckh, M.;
Dammertz, H.;
Lensch, H. P. A.

Publication type:

Article

Fast and Scalable CPU/GPU Collision Detection for Rigid and Deformable Surfaces.

Published in:

Computer Graphics Forum, 2010, v. 29, n. 5, p. 1605, doi. 10.1111/j.1467-8659.2010.01769.x

By:

Pabst, Simon;
Koch, Artur;
Straßer, Wolfgang

Publication type:

Article

A Low-Cost, Normally Closed, Solenoid Valve for Non-Contact Dispensing in the Sub-µL Range.

Published in:

Micromachines, 2013, v. 4, n. 1, p. 9, doi. 10.3390/mi4010009

By:

Bammesberger, Stefan Borja;
Kartmann, Sabrina;
Tanguy, Laurent;
Dong Liang;
Mutschler, Klaus;
Ernst, Andreas;
Zengerle, Roland;
Koltay, Peter

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

Learned self-regulation of the lesioned brain with epidural electrocorticography.

Published in:

Frontiers in Behavioral Neuroscience, 2014, v. 8, p. 1, doi. 10.3389/fnbeh.2014.00429

By:

Gharabaghi, Alireza;
Naros, Georgios;
Khademi, Fatemeh;
Jesser, Jessica;
Spüler, Martin;
Walter, Armin;
Bogdan, Martin;
Rosenstiel, Wolfgang;
Birbaumer, Niels

Publication type:

Article

Electroencephalography Based Analysis of Working Memory Load and Affective Valence in an N-back Task with Emotional Stimuli.

Published in:

Frontiers in Human Neuroscience, 2017, p. 1, doi. 10.3389/fnhum.2017.00616

By:

Grissmann, Sebastian;
Faller, Josef;
Scharinger, Christian;
Spüler, Martin;
Gerjets, Peter

Publication type:

Article

Machine learning in adversarial environments.

Published in:

2010

By:

Laskov, Pavel;
Lippmann, Richard

Publication type:

Editorial

Activation of the mitogen-activated protein kinase (MAPK) signalling pathway in the liver of mice is related to plasma glucose levels after acute exercise.

Published in:

Diabetologia, 2010, v. 53, n. 6, p. 1131, doi. 10.1007/s00125-010-1666-3

By:

Hoene, M.;
Franken, H.;
Fritsche, L.;
Lehmann, R.;
Pohl, A.;
Häring, H.;
Zell, A.;
Schleicher, E.;
Weigert, C.

Publication type:

Article

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.

Published in:

Studia Logica, 2022, v. 110, n. 2, p. 545, doi. 10.1007/s11225-021-09964-z

By:

Pistone, Paolo;
Tranchini, Luca;
Petrolo, Mattia

Publication type:

Article

The Explosion Calculus.

Published in:

Studia Logica, 2020, v. 108, n. 3, p. 509, doi. 10.1007/s11225-019-09861-6

By:

Arndt, Michael

Publication type:

Article

Proof Compression and NP Versus PSPACE.

Published in:

Studia Logica, 2019, v. 107, n. 1, p. 53, doi. 10.1007/s11225-017-9773-5

By:

Gordeev, L.;
Haeusler, E. H.

Publication type:

Article

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.

Published in:

Studia Logica, 2014, v. 102, n. 6, p. 1185, doi. 10.1007/s11225-014-9562-3

By:

Schroeder-Heister, Peter

Publication type:

Article

Natural Deduction for Dual-intuitionistic Logic.

Published in:

Studia Logica, 2012, v. 100, n. 3, p. 631, doi. 10.1007/s11225-012-9417-8

By:

Tranchini, Luca

Publication type:

Article

Associative Substitutional Semantics and Quantified Modal Logic.

Published in:

Studia Logica, 2010, v. 94, n. 1, p. 105, doi. 10.1007/s11225-010-9222-1

By:

Więckowski, Bartosz

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

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

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

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

Lifestyle Matters: Effects of Habitual Physical Activity on Driving Skills in Older Age.

Published in:

Brain Sciences (2076-3425), 2022, v. 12, n. 5, p. 608, doi. 10.3390/brainsci12050608

By:

Gökçe, Evrim;
Stojan, Robert;
Mack, Melanie;
Bock, Otmar;
Voelcker-Rehage, Claudia

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

Driving with Binocular Visual Field Loss? A Study on a Supervised On-Road Parcours with Simultaneous Eye and Head Tracking.

Published in:

PLoS ONE, 2014, v. 9, n. 2, p. 1, doi. 10.1371/journal.pone.0087470

By:

Kasneci, Enkelejda;
Sippel, Katrin;
Aehling, Kathrin;
Heister, Martin;
Rosenstiel, Wolfgang;
Schiefer, Ulrich;
Papageorgiou, Elena

Publication type:

Article

Prediction of Auditory and Visual P300 Brain-Computer Interface Aptitude.

Published in:

PLoS ONE, 2013, v. 8, n. 2, p. 1, doi. 10.1371/journal.pone.0053513

By:

Halder, Sebastian;
Hammer, Eva Maria;
Kleih, Sonja Claudia;
Bogdan, Martin;
Rosenstiel, Wolfgang;
Birbaumer, Niels;
Kübler, Andrea

Publication type:

Article

Online Adaptation of a c-VEP Brain-Computer Interface(BCI) Based on Error-Related Potentials and Unsupervised Learning.

Published in:

PLoS ONE, 2012, v. 7, n. 12, p. 1, doi. 10.1371/journal.pone.0051077

By:

Spüler, Martin;
Rosenstiel, Wolfgang;
Bogdan, Martin

Publication type:

Article

Persistence and Availability of Web Services in Computational Biology.

Published in:

PLoS ONE, 2011, v. 6, n. 9, p. 1, doi. 10.1371/journal.pone.0024914

By:

Schultheiss, Sebastian J.;
Münch, Marc-Christian;
Andreeva, Gergana D.;
Rätsch, Gunnar

Publication type:

Article

Quantifying the Link between Anatomical Connectivity, Gray Matter Volume and Regional Cerebral Blood Flow: An Integrative MRI Study.

Published in:

PLoS ONE, 2011, v. 6, n. 4, p. 1, doi. 10.1371/journal.pone.0014801

By:

Várkuti, Bálint;
Cavusoglu, Mustafa;
Kullik, Alexander;
Schiffler, Björn;
Veit, Ralf;
Yilmaz, Özge;
Rosenstiel, Wolfgang;
Braun, Christoph;
Uludag, Kamil;
Birbaumer, Niels;
Sitaram, Ranganatha

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

Semantic classical conditioning and brain-computer interface control: encoding of affirmative and negative thinking.

Published in:

Frontiers in Systems Neuroscience, 2013, v. 7, p. 1, doi. 10.3389/fnins.2013.00023

By:

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

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

Hybrid Neuroprosthesis for the Upper Limb: Combining Brain-Controlled Neuromuscular Stimulation with a Multi-Joint Arm Exoskeleton.

Published in:

Frontiers in Neuroscience, 2016, p. 1, doi. 10.3389/fnins.2016.00367

By:

Grimm, Florian;
Walter, Armin;
Spüler, Martin;
Naros, Georgios;
Rosenstiel, Wolfgang;
Gharabaghi, Alireza;
Fourkas, Alissa;
Slutzky, Marc

Publication type:

Article

Hybrid Neuroprosthesis for the Upper Limb: Combining Brain-Controlled Neuromuscular Stimulation with a Multi-Joint Arm Exoskeleton.

Published in:

Frontiers in Neuroscience, 2016, p. 1, doi. 10.3389/fnins.2016.00367

By:

Grimm, Florian;
Walter, Armin;
Spüler, Martin;
Naros, Georgios;
Rosenstiel, Wolfgang;
Gharabaghi, Alireza;
Fourkas, Alissa;
Slutzky, Marc

Publication type:

Article

EEG Responses to Auditory Stimuli for Automatic Affect Recognition.

Published in:

Frontiers in Neuroscience, 2016, p. 1, doi. 10.3389/fnins.2016.00244

By:

Hettich, Dirk T.;
Bolinger, Elaina;
Matuz, Tamara;
Birbaumer, Niels;
Rosenstiel, Wolfgang;
Spüler, Martin

Publication type:

Article