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:
- Publication type:
- Article
The Philamath's Alphabet--S.
- Published in:
- Mathematical Intelligencer, 2008, v. 30, n. 4, p. 88, doi. 10.1007/BF03038105
- By:
- Publication type:
- Article
Astronom, Geograph, Orientalist, Erfinder der Rechenmaschine (Book Review).
- Published in:
- 1979
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
On Local Embedding Properties of Injectors of Finite Soluble Groups.
- Published in:
- Journal of the Australian Mathematical Society, 2004, v. 76, n. 1, p. 23, doi. 10.1017/S1446788700008673
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Abstract analysis of pathways using the BN++ software framework.
- Published in:
- 2007
- By:
- Publication type:
- Abstract
On the design of EEG-based movement decoders for completely paralyzed stroke patients.
- Published in:
- 2018
- By:
- Publication type:
- journal 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Asynchronous non-invasive high-speed BCI speller with robust non-control state detection.
- Published in:
- Scientific Reports, 2019, v. 9, n. 1, p. N.PAG, doi. 10.1038/s41598-019-44645-x
- By:
- Publication type:
- Article
SEFE = C-Planarity?
- Published in:
- Computer Journal, 2016, v. 59, n. 12, p. 1831, doi. 10.1093/comjnl/bxw035
- By:
- Publication type:
- Article
Applying Linear Quantifier Elimination.
- Published in:
- Computer Journal, 1993, v. 36, n. 5, p. 450
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
Das George Huntington Institut Studienambulanz und Anlaufstelle für Menschen, die von der Huntington’schen Krankheit betroffen sind.
- Published in:
- Psychotherapie im Alter, 2021, v. 18, n. 4, p. 473, doi. 10.30820/1613-2637-2021-4-473
- By:
- Publication type:
- Article
Affective Cortical Asymmetry at the Early Developmental Emergence of Emotional Expression.
- Published in:
- eNeuro, 2020, v. 7, n. 4, p. 1, doi. 10.1523/ENEURO.0042-20.2020
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article