Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,291,725 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
A Symbolic Analysis of Relay and Switching Circuits
Analytical Engine
Atanasoff–Berry computer
Cellular automaton
Expand
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
Jianyong Yao
,
Zongxia Jiao
,
D. Ma
,
Liang Yan
IEEE/ASME transactions on mechatronics
2014
Corpus ID: 32348317
Structured and unstructured uncertainties are the main obstacles in the development of advanced controllers for high-accuracy…
Expand
Highly Cited
2014
Highly Cited
2014
DC-Link Voltage Stabilization for Reduced DC-Link Capacitor Inverter
Wook-Jin Lee
,
S. Sul
IEEE transactions on industry applications
2014
Corpus ID: 10829533
In conventional motor drive systems using pulsewidth modulation (PWM) inverters, large electrolytic capacitors are used for…
Expand
2011
2011
Scala to the Power of Z3: Integrating SMT and Programming
A. Köksal
,
Viktor Kunčak
,
Philippe Suter
CADE
2011
Corpus ID: 1575600
We describe a system that integrates the SMT solver Z3 with the Scala programming language. The system supports the use of the…
Expand
Highly Cited
2010
Highly Cited
2010
A simple inductive synthesis methodology and its applications
Shachar Itzhaky
,
Sumit Gulwani
,
N. Immerman
,
Shmuel Sagiv
Conference on Object-Oriented Programming Systems…
2010
Corpus ID: 448406
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient…
Expand
Highly Cited
2010
Highly Cited
2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes
,
J. D. Halleux
,
N. Tillmann
Third International Conference on Software…
2010
Corpus ID: 2482336
Constraints in form regular expressions over strings are ubiquitous. They occur often in programming languages like Perl and C…
Expand
Review
2009
Review
2009
Genetic diversity of Ralstonia solanacearum strains from China
J. Xu
,
Z. Pan
,
+6 authors
J. Feng
European journal of plant pathology
2009
Corpus ID: 30095873
A survey of bacterial wilt in China collected 286 strains of Ralstonia solanacearum from 17 plant species in 13 Chinese provinces…
Expand
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
Xiyou Chen
,
Dianguo Xu
,
Fengchun Liu
,
Jianqiu Zhang
IEEE transactions on industrial electronics…
2007
Corpus ID: 206697765
A novel inverter-output filter, which cannot only filter the differential-mode voltage dv/dt but also suppress the common-mode…
Expand
Highly Cited
2006
Highly Cited
2006
Implementing Cryptographic Pairings on Smartcards
M. Scott
,
Neil Costigan
,
W. Abdulwahab
Workshop on Cryptographic Hardware and Embedded…
2006
Corpus ID: 8838664
Pairings on elliptic curves are fast coming of age as cryptographic primitives for deployment in new security applications…
Expand
Highly Cited
2003
Highly Cited
2003
Impact of liposome-encapsulated enzyme cocktails on cheddar cheese ripening
E. Kheadr
,
J. Vuillemard
,
S. El‐Deeb
2003
Corpus ID: 73546375
Highly Cited
1998
Highly Cited
1998
Asymptotic Solution of Stiff PDEs with the CSP Method: The Reaction Diffusion Equation
M. Hadjinicolaou
,
D. Goussis
SIAM Journal on Scientific Computing
1998
Corpus ID: 33799561
The computational singular perturbation (CSP) method is employed for the solution of stiff PDEs and for the acquisition of the…
Expand
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)
ACCEPT & CONTINUE