Skip to search formSkip to main contentSkip to account menu

Z3 (computer)

Known as: Zuse Z3 
The Z3 was an electromechanical computer designed by Konrad Zuse. It was the world's first working programmable, fully automatic digital computer… 
Wikipedia (opens in a new tab)

Related topics

Related topics

38 relations
A Symbolic Analysis of Relay and Switching CircuitsAnalytical EngineAtanasoff–Berry computerCellular automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
High-Accuracy Tracking Control of Hydraulic Rotary Actuators With Modeling Uncertainties
Structured and unstructured uncertainties are the main obstacles in the development of advanced controllers for high-accuracy… 
Highly Cited
2014
Highly Cited
2014
DC-Link Voltage Stabilization for Reduced DC-Link Capacitor Inverter
In conventional motor drive systems using pulsewidth modulation (PWM) inverters, large electrolytic capacitors are used for… 
2012
2012
UV completions of flavour models and large θ13
A bstractThe ultraviolet completion of flavour models can strongly improve the predictivity of the respective effective models… 
2011
2011
Scala to the Power of Z3: Integrating SMT and Programming
We describe a system that integrates the SMT solver Z3 with the Scala programming language. The system supports the use of the… 
Highly Cited
2010
Highly Cited
2010
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient… 
Review
2009
Review
2009
Genetic diversity of Ralstonia solanacearum strains from China
A survey of bacterial wilt in China collected 286 strains of Ralstonia solanacearum from 17 plant species in 13 Chinese provinces… 
Highly Cited
2007
Highly Cited
2007
A Novel Inverter-Output Passive Filter for Reducing Both Differential- and Common-Mode $dv/dt$ at the Motor Terminals in PWM Drive Systems
A novel inverter-output filter, which cannot only filter the differential-mode voltage dv/dt but also suppress the common-mode… 
Highly Cited
2006
Highly Cited
2006
Implementing Cryptographic Pairings on Smartcards
Pairings on elliptic curves are fast coming of age as cryptographic primitives for deployment in new security applications… 
Highly Cited
2003
Highly Cited
2003
Impact of liposome-encapsulated enzyme cocktails on cheddar cheese ripening
Highly Cited
1998
Highly Cited
1998
Asymptotic Solution of Stiff PDEs with the CSP Method: The Reaction Diffusion Equation
The computational singular perturbation (CSP) method is employed for the solution of stiff PDEs and for the acquisition of the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)