Results 181 to 190 of about 222,389 (210)
Some of the next articles are maybe not open access.
Z3-str: a z3-based string solver for web application analysis
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013Analyzing web applications requires reasoning about strings and non-strings cohesively. Existing string solvers either ignore non-string program behavior or support limited set of string operations. In this paper, we develop a general purpose string solver, called Z3-str, as an extension of the Z3 SMT solver through its plug-in interface. Z3-str treats
Yunhui Zheng +2 more
openaire +1 more source
Supercharging Plant Configurations Using Z3
2021We describe our experiences using Z3 for synthesizing and optimizing next generation plant configurations for a car manufacturing company (The views expressed in this writing are our own. They make no representation on behalf of others). Our approach leverages unique capabilities of Z3: a combination of specialized solvers for finite domain bit-vectors
Nikolaj Bjørner +4 more
openaire +1 more source
Z3 centre thermoluminescence in LiF TLD phosphor
Physica Status Solidi (a), 1978Optical absorption, phototransferred thermoluminescence (PTTL), and thermoluminescence (TL) measurements are performed on LiF TLD phosphor after γ-irradiation and thermal annealing. The TL peak at 400°C and the absorption band at 220 nm are observed to be correlated.
V. Jain, S. Kathuria
openaire +1 more source
Foundations of Science, 2008
In this paper, I will discuss a certain conception of matter that Aristotle introduces in Metaphysics Z3. It is often assumed that Aristotle came to distinguish between matter and form only in his physical writings, and that this lead to a conflict with the doctrine of primary substances in the Categories that he tries to resolve in Z3.
openaire +1 more source
In this paper, I will discuss a certain conception of matter that Aristotle introduces in Metaphysics Z3. It is often assumed that Aristotle came to distinguish between matter and form only in his physical writings, and that this lead to a conflict with the doctrine of primary substances in the Categories that he tries to resolve in Z3.
openaire +1 more source
The Addition Circuit of Zuse´s Z3 ComputerDer Addierer in Zuses Z3 Rechner
it - Information Technology, 2010Abstract This paper provides an overview of the addition circuits of the Z3 computing machine built by Konrad Zuse in 1941. The addition unit of the Z3 is interesting from a historical point of view because it had a binary architecture and used a carry-look-ahead technique similar to that used in modern processors.
Georg Heyne, Frank Darius
openaire +1 more source
EPiC Series in Computing, 2011
Modern Satisfiability Modulo Theories (SMT)solvers are fundamental to many programanalysis, verification, design and testing tools. They are a goodfit for the domain of software and hardware engineering becausethey support many domains that are commonly used by the tools.The meaning of domains are captured by theories that can beaxiomatized or ...
openaire +1 more source
Modern Satisfiability Modulo Theories (SMT)solvers are fundamental to many programanalysis, verification, design and testing tools. They are a goodfit for the domain of software and hardware engineering becausethey support many domains that are commonly used by the tools.The meaning of domains are captured by theories that can beaxiomatized or ...
openaire +1 more source
Crystal Structures of Actinomycin D and Actinomycin Z3
Angewandte Chemie International Edition, 1998Untwinned single crystals of the actinomycins D and Z3 that diffracted to atomic resolution could be obtained for the first time. Low-temperature data collection and a new ab initio method for solving the structures led to precise crystal structures which showed, for example, that the unit cell of actinomycin D contains three molecules, two of which ...
Martina, Schäfer +3 more
openaire +2 more sources
The Reconstruction of Konrad Zuse's Z3
IEEE Annals of the History of Computing, 2005Konrad Zuse's Z3, built in Berlin from 1938 to 1941 was destroyed during World War II. The reconstruction project started in 1994. A functional replica was built and unveiled at a conference commemorating the 60th anniversary of the public presentation of the original machine in 2001.
R. Rojas +3 more
openaire +1 more source
Diophantische Gleichungen x3 + y3 + z3
1985Gegeben sei die Gleichung N = X3+Y3+Z3, wobei X, Y und Z ganze positive Zahlen ungleich Null sind. Iterativ zu suchen sind die Losungen fur: N = 729OOO; N = 3O915O9; N = 134218248; N = 3OOO6OO; N = 369262OO1; N = 1O9517O4 und N = 343OOOOOO.
Arved Fuhrmann +5 more
openaire +1 more source
Quantum codes obtained through (v) - Constacyclic codes over Z3+v Z3
There has been a sea growth in the research of a quantum codes since the discovery that quantum secure quantum data is equivalent to classical code ensure classical data. Quantum codes adequately defeat decoherence. Quantum codes provide an efficient way to overcome decoherence.openaire +2 more sources