Works matching DE "ALGOL (Computer program language)"

Results: 42

Algorithmic program synthesis: introduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 397, doi. 10.1007/s10009-013-0287-9

By:

Bodik, Rastislav;
Jobstmann, Barbara

Publication type:

Article

Distributed state space minimization.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 280, doi. 10.1007/s10009-004-0185-2

By:

Blom, Stefan;
Orzan, Simona

Publication type:

Article

Phenomenological modeling of the light curves of algol-type eclipsing binary stars.

Published in:

Astrophysics, 2012, v. 55, n. 4, p. 536, doi. 10.1007/s10511-012-9259-0

By:

Andronov, I.

Publication type:

Article

Unusual Photometric Activity of the Weak-line T Tauti Star V715 Per.

Published in:

Astronomy Reports, 2018, v. 62, n. 10, p. 677, doi. 10.1134/S1063772918100049

By:

Grinin, V. P.;
Barsunova, O. Yu.;
Sergeev, S. G.;
Arkharov, A. A.;
Shugarov, S. Yu.;
Semenov, A. O.;
Efimova, N. V.

Publication type:

Article

Dynamic State Estimation of Power System Harmonics with Bad Data.

Published in:

Electric Power Components & Systems, 2005, v. 33, n. 12, p. 1281, doi. 10.1080/15325000590963994

By:

Kumar, Ashwani;
Das, Biswarup;
Sharma, Jaydev

Publication type:

Article

Numerical Modelling of Time-Dependent Behaviour of Reinforced Concrete Structure with Use of B3 Model.

Published in:

Transactions of the VSB - Technical University of Ostrava, Civil Engineering Series, 2014, v. 14, n. 2, p. 38, doi. 10.2478/tvsb-2014-0019

By:

Koktan, Jiří;
Brožovský, Jiří

Publication type:

Article

Implementing cheminformatics.

Published in:

2019

By:

Guha, Rajarshi

Publication type:

Video Game Review

LIE GROUP MODELING AND FORWARD DYNAMICS SIMULATION OF MULTIBODY SYSTEMS PART 1: TOPOLOGY AND KINEMATICS.

Published in:

Transactions of FAMENA, 2009, v. 33, n. 2, p. 1

By:

Müller, Andreas;
Terze, Zdravko

Publication type:

Article

Terminating Renewal Processes: Analytical-Statistical Estimates and Their Efficiency.

Published in:

Cybernetics & Systems Analysis, 2005, v. 41, n. 1, p. 112

By:

V. D. Shpak

Publication type:

Article

Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.

Published in:

AI Communications, 2008, v. 21, n. 1, p. 91

By:

Silva, Josep

Publication type:

Article

Incentive-compatible interdomain routing.

Published in:

Distributed Computing, 2011, v. 23, n. 5/6, p. 301, doi. 10.1007/s00446-011-0126-8

By:

Feigenbaum, Joan;
Ramachandran, Vijay;
Schapira, Michael

Publication type:

Article

Features from functional programming for a C++ skeleton library.

Published in:

Concurrency & Computation: Practice & Experience, 2005, v. 17, n. 7/8, p. 739, doi. 10.1002/cpe.844

By:

Kuchen, H.;
Striegnitz, J.

Publication type:

Article

Do It Yourself Software.

Published in:

Applied Clinical Trials, 2005, v. 14, n. 2, p. 34

By:

Bleicher, Paul

Publication type:

Article

Real-Time 3D Face Acquisition Using Reconfigurable Hybrid Architecture.

Published in:

EURASIP Journal on Image & Video Processing, 2007, v. 2007, p. 1, doi. 10.1155/2007/81387

By:

Mitéran, Johel;
Zimmer, Jean-Philippe;
Paindavoine, Michel;
Dubois, Julien

Publication type:

Article

E. V. Krishnamurthy (1934-2012).

Published in:

2012

By:

SHYAMASUNDAR, R. K.

Publication type:

Biography

Experience Machines.

Published in:

Sociologia del Lavoro, 2014, n. 133, p. 111, doi. 10.3280/SL2014-133008

By:

Rossiter, Ned;
Zehle, Soenke

Publication type:

Article

Autostable atomic-ideal enrichments of computable Boolean algebras.

Published in:

Doklady Mathematics, 2010, v. 82, n. 1, p. 528, doi. 10.1134/S1064562410040071

By:

Alaev, P. E.

Publication type:

Article

The Use of Algol in a Bronchitis Survey.

Published in:

Journal of the Royal Statistical Society: Series C (Applied Statistics), 1972, v. 21, n. 1, p. 37, doi. 10.2307/2346602

By:

Hill, I.D.

Publication type:

Article

Operating Characteristic and Average Sample Size for Binomial Sequential Sampling.

Published in:

Journal of the Royal Statistical Society: Series C (Applied Statistics), 1970, v. 19, n. 2, p. 197, doi. 10.2307/2346560

By:

Hill, I.D.

Publication type:

Article

The Runs Up and Down Test.

Published in:

Journal of the Royal Statistical Society: Series C (Applied Statistics), 1970, v. 19, n. 2, p. 190, doi. 10.2307/2346558

By:

Downham, D.Y.

Publication type:

Article

A Remark on Algorithm AS 2 'The Normal Integral'

Published in:

Journal of the Royal Statistical Society: Series C (Applied Statistics), 1969, v. 18, n. 3, p. 299, doi. 10.2307/2346595

By:

Hill, I.D.

Publication type:

Article

Calculation of Effects.

Published in:: Journal of the Royal Statistical Society: Series C (Applied Statistics), 1969, v. 18, n. 3, p. 287
Publication type:: Article

Maximum Likelihood Estimation from Grouped and Censored Normal Data.

Published in:

Journal of the Royal Statistical Society: Series C (Applied Statistics), 1969, v. 18, n. 1, p. 110, doi. 10.2307/2346453

By:

Swan, A.V.

Publication type:

Article

A Note on Generating Random Permutations.

Published in:

Journal of the Royal Statistical Society: Series C (Applied Statistics), 1967, v. 16, n. 3, p. 273, doi. 10.2307/2985923

By:

Page, E.S.

Publication type:

Article

Computing with the Cytoskeleton : A Problem of Scale.

Published in:

International Journal of Unconventional Computing, 2008, v. 4, n. 1, p. 33

By:

Glade, Nicolas

Publication type:

Article

Indirect Imaging of the Accretion Disk Rim in W Crucis.

Published in:

Astrophysics & Space Science, 2005, v. 296, n. 1-4, p. 417, doi. 10.1007/s10509-005-4860-x

By:

Pavlovski, K.;
Burki, G.;
Mimica, P.

Publication type:

Article

Multi-Facility Study of the Algol-Type Binary d Librae.

Published in:

Astrophysics & Space Science, 2005, v. 296, n. 1-4, p. 371, doi. 10.1007/s10509-005-4855-7

By:

Budding, E.;
Bakis, V.;
Erdem, A.;
Demircan, O.;
Iliev, L.;
Iliev, I.;
Slee, O. B.

Publication type:

Article

Binary Evolution Compared to Observed Algols.

Published in:

Astrophysics & Space Science, 2005, v. 296, n. 1-4, p. 353, doi. 10.1007/s10509-005-4847-7

By:

DeLoore, C.;
Rensbergen, W.

Publication type:

Article

HIGH PRECISION INTEGER MULTIPLICATION WITH A GPU USING STRASSEN'S ALGORITHM WITH MULTIPLE FFT SIZES.

Published in:

Parallel Processing Letters, 2011, v. 21, n. 3, p. 359, doi. 10.1142/S0129626411000266

By:

EMMART, NIALL;
WEEMS, CHARLES C.;
Guest Editors

Publication type:

Article

HIGH LEVEL PARALLEL SKELETONS FOR DYNAMIC PROGRAMMING.

Published in:

Parallel Processing Letters, 2008, v. 18, n. 1, p. 133

By:

Peláez, Ignacio;
Almeida, Francisco;
González, Daniel

Publication type:

Article

Notes.

Published in:: Operations Research, 1967, v. 15, n. 4, p. 777, doi. 10.1287/opre.15.4.777
Publication type:: Article

Motives for Creating a Private Website and Personality of Personal Homepage Owners in Terms of Extraversion and Heuristic Orientation.

Published in:

Cyberpsychology, 2010, v. 4, n. 1, p. 1

By:

Weibel, David;
Wissmath, Bartholomäus;
Groner, Rudolf

Publication type:

Article

Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.

Published in:

Mathematical Logic Quarterly, 1985, v. 31, n. 19-20, p. 289, doi. 10.1002/malq.19850311902

By:

Wasilewska, Anita

Publication type:

Article

Language design and analyzability: a retrospective.

Published in:

Software: Practice & Experience, 2012, v. 42, n. 1, p. 3, doi. 10.1002/spe.1133

By:

Ryder, Barbara G.;
Wiedermann, Ben

Publication type:

Article

Evaluation of on-line analytic and numeric inverse kinematics approaches driven by partial vision input.

Published in:

Virtual Reality, 2006, v. 10, n. 1, p. 48, doi. 10.1007/s10055-006-0024-8

By:

Boulic, Ronan;
Varona, Javier;
Unzueta, Luis;
Peinado, Manuel;
Suescun, Angel;
Perales, Francisco

Publication type:

Article

Equitable Bandwidth Allocation in Content Distribution Networks.

Published in:

Naval Research Logistics, 2010, v. 57, n. 3, p. 266, doi. 10.1002/nav.20400

By:

Luss, Hanan

Publication type:

Article

A Computer Built with Relays and a Mechanical Memory, and ALGOL.

Published in:

Computer Journal, 2012, v. 55, n. 11, p. 1309, doi. 10.1093/comjnl/bxr132

By:

Grassmann, Winfried K.

Publication type:

Article

A run-time representation of scheme record types.

Published in:

Journal of Functional Programming, 2014, v. 24, n. 6, p. 675, doi. 10.1017/S0956796814000203

By:

KEEP, ANDREW W.;
DYBVIG, R. KENT

Publication type:

Article

Revised<sup>6</sup> Report on the Algorithmic Language Scheme.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 1, doi. 10.1017/S0956796809990074

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

PART THREE: Non-Normative Appendices.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 283

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

PART TWO: Standard Libraries.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 159

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

PREFACE.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 9

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article