Works matching Schickard, Wilhelm

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

Highly parallel dispensing of chemical and biological reagents.

Published in:

Analytical & Bioanalytical Chemistry, 2004, v. 378, n. 1, p. 119, doi. 10.1007/s00216-003-2294-2

By:

de Heij, Bas;
Daub, Martina;
Gutmann, Oliver;
Niekrawietz, Remigius;
Sandmaier, Hermann;
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

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

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

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

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

The Algebraic Theory of Parikh Automata.

Published in:

Theory of Computing Systems, 2018, v. 62, n. 5, p. 1241, doi. 10.1007/s00224-017-9817-2

By:

Cadilhac, Michaël;
Krebs, Andreas;
McKenzie, Pierre

Publication type:

Article

Characterizing TC<sup>0</sup> in Terms of Infinite Groups.

Published in:

Theory of Computing Systems, 2007, v. 41, n. 1, p. 303, doi. 10.1007/s00224-006-1310-2

By:

Krebs, Andreas;
Lange, Klaus-Jörn;
Reifferscheid, Stephanie

Publication type:

Article

Parameterized Intractability of Distinguishing Substring Selection.

Published in:

Theory of Computing Systems, 2006, v. 39, n. 4, p. 545, doi. 10.1007/s00224-004-1185-z

By:

Gramm, Jens;
Guo, Jiong;
Niedermeier, Rolf

Publication type:

Article

Graph-Modeled Data Clustering: Exact Algorithms for Clique Generation.

Published in:

Theory of Computing Systems, 2005, v. 38, n. 4, p. 373, doi. 10.1007/s00224-004-1178-y

By:

Gramm, Jens;
Guo, Jiong;
Hüffner, Falk;
Niedermeier, Rolf

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

ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:6)2019

By:

PISTONE, PAOLO

Publication type:

Article

Mycorrhizal symbiosis and application of vitamin B3-treated Trichoderma Harzianum HE24 additively trigger immunity responses in faba bean plants against Rhizoctonia root rot and promote the plant growth and yield.

Published in:

BMC Plant Biology, 2025, v. 25, n. 1, p. 1, doi. 10.1186/s12870-025-06950-8

By:

El-Sharkawy, Hany H.A.;
Rashad, Younes M.;
El-Blasy, Salama S. A.;
Amin, Basma H.;
Youssef, Mahmoud A.A.;
Hafez, Mohamed;
Abd-ElGawad, Ahmed;
Bourouah, Mohamed;
Elsherbiny, Elsherbiny A.;
Yousef, Safaa A.

Publication type:

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

Small Universal Point Sets for k-Outerplanar Graphs.

Published in:

Discrete & Computational Geometry, 2018, v. 60, n. 2, p. 430, doi. 10.1007/s00454-018-0009-x

By:

Angelini, Patrizio;
Bruckdorfer, Till;
Di Battista, Giuseppe;
Kaufmann, Michael;
Mchedlidze, Tamara;
Roselli, Vincenzo;
Squarcella, Claudio

Publication type:

Article

Straight-Line Rectangular Drawings of Clustered Graphs.

Published in:

Discrete & Computational Geometry, 2011, v. 45, n. 1, p. 88, doi. 10.1007/s00454-010-9302-z

By:

Angelini, Patrizio;
Frati, Fabrizio;
Kaufmann, Michael

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

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

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

A Smart Interface for Reliable Intradermal Injection and Infusion of High and Low Viscosity Solutions.

Published in:

Pharmaceutical Research, 2011, v. 28, n. 3, p. 647, doi. 10.1007/s11095-010-0319-z

By:

Vosseler, Michael;
Jugl, Michael;
Zengerle, Roland

Publication type:

Article

Proof-theoretic harmony: towards an intensional account.

Published in:

Synthese, 2021, v. 198, p. 1145, doi. 10.1007/s11229-016-1200-3

By:

Tranchini, Luca

Publication type:

Article

On Dummett's verificationist justification procedure.

Published in:

Synthese, 2016, v. 193, n. 8, p. 2539, doi. 10.1007/s11229-015-0865-3

By:

Campos Sanz, Wagner;
Oliveira, Hermógenes

Publication type:

Article

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.

Published in:

Synthese, 2012, v. 187, n. 3, p. 925, doi. 10.1007/s11229-011-9910-z

By:

Schroeder-Heister, Peter

Publication type:

Article

DIALIGN-TX: greedy and progressive approaches for segment-based multiple sequence alignment.

Published in:

Algorithms for Molecular Biology, 2008, v. 3, p. 1, doi. 10.1186/1748-7188-3-6

By:

Subramanian, Amarendran R.;
Kaufmann, Michael;
Morgenstern, Burkhard

Publication type:

Article

On the maximal cliques in c-max-tolerance graphs and their application in clustering molecular sequences.

Published in:

Algorithms for Molecular Biology, 2006, v. 1, p. 1, doi. 10.1186/1748-7188-1-9

By:

Lehmann, Katharina A.;
Kaufmann, Michael;
Steigele, Stephan;
Nieselt, Kay

Publication type:

Article

Implantable Impedance Plethysmography.

Published in:

Sensors (14248220), 2014, v. 14, n. 8, p. 14858, doi. 10.3390/s140814858

By:

Theodor, Michael;
Ruh, Dominic;
Ocker, Martin;
Spether, Dominik;
Förster, Katharina;
Heilmann, Claudia;
Beyersdorf, Friedhelm;
Manoli, Yiannos;
Zappe, Hans;
Seifert, Andreas

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

FASIMU: flexible software for flux-balance computation series in large metabolic networks.

Published in:

BMC Bioinformatics, 2011, v. 12, n. 1, p. 28, doi. 10.1186/1471-2105-12-28

By:

Hoppe, Andreas;
Hoffmann, Sabrina;
Gerasch, Andreas;
Gille, Christoph;
Holzhütter, Hermann-Georg

Publication type:

Article

KIRMES: kernel-based identification of regulatory modules in euchromatic sequences.

Published in:

BMC Bioinformatics, 2009, v. 10, p. 1, doi. 10.1186/1471-2105-10-S13-O1

By:

Schultheiss, Sebastian J.;
Busch, Wolfgang;
Lohmann, Jan;
Kohlbacher, Oliver;
Rätsch, Gunnar

Publication type:

Article

Userscripts for the Life Sciences.

Published in:

BMC Bioinformatics, 2007, v. 8, p. 487, doi. 10.1186/1471-2105-8-487

By:

Willighagen, Egon L.;
O'Boyle, Noel M.;
Gopalakrishnan, Harini;
Jiao, Dazhi;
Guha, Rajarshi;
Steinbeck, Christoph;
Wild, David J.

Publication type:

Article

BNDB -- The Biochemical Network Database.

Published in:

BMC Bioinformatics, 2007, v. 8, p. 367, doi. 10.1186/1471-2105-8-367

By:

Küntzer, Jan;
Backes, Christina;
Blum, Torsten;
Gerasch, Andreas;
Kaufmann, Michael;
Kohlbacher, Oliver;
Lenhof, Hans-Peter

Publication type:

Article

DIALIGN-T: An improved algorithm for segment-based multiple sequence alignment.

Published in:

BMC Bioinformatics, 2005, v. 6, p. 66, doi. 10.1186/1471-2105-6-66

By:

Subramanian, Amarendran R.;
Weyer-Menkhoff, Jan;
l Kaufmann, Michae;
Morgenstern, Burkhard

Publication type:

Article

DIALIGN P: Fast pair-wise and multiple sequence alignment using parallel processors.

Published in:

BMC Bioinformatics, 2004, v. 5, p. 128, doi. 10.1186/1471-2105-5-128

By:

Schmollinger, Martin;
Nieselt, Kay;
Kaufmann, Michael;
Morgenstern, Burkhard

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

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