Works matching DE "ARITHMETIC"

Results: 5000

Multi-Level Dynamic Weight Optimization Scheduling Strategy for Flexible Interconnected Distribution Substations Based on Three-Port SNOPs.

Published in:

Energies (19961073), 2025, v. 18, n. 10, p. 2421, doi. 10.3390/en18102421

By:

Pang, Dan;
Wang, Zhipeng;
Shi, Xiaomeng;
Ge, Jinming;
Wang, Zhenhao;
Yi, Hongyin;
Zhuang, Yan;
Yin, Yu;
Wang, Wei

Publication type:

Article

Karatsuba Algorithm Revisited for 2D Convolution Computation Optimization.

Published in:

Entropy, 2025, v. 27, n. 5, p. 506, doi. 10.3390/e27050506

By:

Wang, Qi;
Zhu, Jianghan;
He, Can;
Wang, Shihang;
Wang, Xingbo;
Ren, Yuan;
Ye, Terry Tao

Publication type:

Article

Students' Understanding of the Equal Sign when Solving Arithmetic Tasks.

Published in:

African Journal of Educational Studies in Mathematics & Sciences, 2024, v. 20, n. 2, p. 293, doi. 10.4314/ajesms.v20i2.5

By:

Ntow, Forster D.;
Adom, George;
Essel, Solomon;
Kenney, Samuel

Publication type:

Article

VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES.

Published in:

Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 455, doi. 10.1017/bsl.2024.8

By:

JEON, HANUL;
MATTHEWS, RICHARD

Publication type:

Article

On the Kawaguchi–Silverman conjecture for birational automorphisms of irregular varieties.

Published in:

Forum Mathematicum, 2025, v. 37, n. 6, p. 1727, doi. 10.1515/forum-2023-0350

By:

Chen, Jungkai Alfred;
Lin, Hsueh-Yung;
Oguiso, Keiji

Publication type:

Article

Polyhedra with Hexagonal and Triangular Faces and Three Faces Around Each Vertex.

Published in:

Annals of Combinatorics, 2025, v. 29, n. 2, p. 461, doi. 10.1007/s00026-024-00722-1

By:

Green, Linda;
Li, Stellen

Publication type:

Article

FURTHER MATHS.

Published in:

Carve Magazine, 2021, p. 18

By:

Lloyd, Toby

Publication type:

Article

Frege's extrinsicism about the normativity of logic.

Published in:

South African Journal of Philosophy, 2024, v. 43, n. 3, p. 257, doi. 10.1080/02580136.2024.2364317

By:

Willert, Kristoffer Balslev

Publication type:

Article

Fictional Doubles in Henry Green’s Back.

Published in:

2010

By:

Hentea, Marius

Publication type:

Literary Criticism

Misperception of Exponential Growth: Are People Aware of Their Errors?

Published in:

Decision Analysis, 2019, v. 16, n. 4, p. 261, doi. 10.1287/deca.2019.0395

By:

Cordes, Henning;
Foltice, Bryan;
Langer, Thomas

Publication type:

Article

Median Aggregation of Distribution Functions.

Published in:

Decision Analysis, 2013, v. 10, n. 4, p. 279, doi. 10.1287/deca.2013.0282

By:

Hora, Stephen C.;
Fransen, Benjamin R.;
Hawkins, Natasha;
Susel, Irving

Publication type:

Article

Stereoselective Synthesis of Highly Functionalized Indanes and Dibenzocycloheptadienes through Complex Radical Cascade Reactions.

Published in:

Angewandte Chemie, 2015, v. 127, n. 8, p. 2517, doi. 10.1002/ange.201409659

By:

Kong, Wangqing;
Fuentes, Noelia;
García-Domínguez, Andres;
Merino, Estíbaliz;
Nevado, Cristina

Publication type:

Article

Maps between positive cones of operator algebras preserving a measure of the difference between arithmetic and geometric means.

Published in:

Positivity, 2019, v. 23, n. 2, p. 461, doi. 10.1007/s11117-018-0617-y

By:

Gaál, Marcell

Publication type:

Article

Porosity and products of Orlicz spaces.

Published in:

Positivity, 2013, v. 17, n. 4, p. 1009, doi. 10.1007/s11117-012-0218-0

By:

Akbarbaglu, I.;
Maghsoudi, S.

Publication type:

Article

Automatic design of arithmetic operation spiking neural P systems.

Published in:

Natural Computing, 2023, v. 22, n. 1, p. 55, doi. 10.1007/s11047-022-09902-5

By:

Dong, Jianping;
Luo, Biao;
Zhang, Gexiang

Publication type:

Article

Improved DNA-sticker arithmetic: tube-encoded-carry, Logarithmic Number System and Monte-Carlo methods.

Published in:

Natural Computing, 2013, v. 12, n. 2, p. 235, doi. 10.1007/s11047-012-9356-3

By:

Arnold, Mark

Publication type:

Article

Abstract geometrical computation 7: geometrical accumulations and computably enumerable real numbers.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 609, doi. 10.1007/s11047-012-9335-8

By:

Durand-Lose, Jérôme

Publication type:

Article

An extended EDAS method with circular intuitionistic fuzzy value features and its application to multi-criteria decision-making process.

Published in:

Artificial Intelligence Review, 2023, v. 56, p. 3173, doi. 10.1007/s10462-023-10601-5

By:

Garg, Harish;
Ünver, Mehmet;
Olgun, Murat;
Türkarslan, Ezgi

Publication type:

Article

Improved arithmetic optimization algorithm for design optimization of fuzzy controllers in steel building structures with nonlinear behavior considering near fault ground motion effects.

Published in:

Artificial Intelligence Review, 2022, v. 55, n. 5, p. 4041, doi. 10.1007/s10462-021-10101-4

By:

Azizi, Mahdi;
Talatahari, Siamak

Publication type:

Article

Stage‐parallel preconditioners for implicit Runge–Kutta methods of arbitrarily high order, linear problems.

Published in:

Numerical Linear Algebra with Applications, 2024, v. 31, n. 1, p. 1, doi. 10.1002/nla.2532

By:

Axelsson, Owe;
Dravins, Ivo;
Neytcheva, Maya

Publication type:

Article

Matrix‐free preconditioning for high‐order H(curl) discretizations.

Published in:

Numerical Linear Algebra with Applications, 2021, v. 28, n. 2, p. 1, doi. 10.1002/nla.2348

By:

Barker, Andrew T.;
Kolev, Tzanio

Publication type:

Article

On the fast Lanczos method for computation of eigenvalues of Hankel matrices using multiprecision arithmetics.

Published in:

Numerical Linear Algebra with Applications, 2016, v. 23, n. 3, p. 485, doi. 10.1002/nla.2035

By:

Bangay, Shaun;
Beliakov, Gleb

Publication type:

Article

Improving the arithmetic intensity of multigrid with the help of polynomial smoothers.

Published in:

Numerical Linear Algebra with Applications, 2012, v. 19, n. 2, p. 253, doi. 10.1002/nla.1808

By:

Ghysels, P.;
Kłosiewicz, P.;
Vanroose, W.

Publication type:

Article

Low rank solution of data-sparse Sylvester equations.

Published in:

Numerical Linear Algebra with Applications, 2008, v. 15, n. 9, p. 837, doi. 10.1002/nla.605

By:

Baur, U.

Publication type:

Article

An Approach to Feed-Forward Controller Design for Underactuated Multibody Systems in the Presence of Uncertainty.

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 59, doi. 10.1002/pamm.201610018

By:

Hofmann, Andreas;
Walz, Nico-Philipp;
Hanss, Michael

Publication type:

Article

SIMPLIFIED ARITHMETIC FOR OPTICAL SYMBOLIC SUBSTITUTION.

Published in:

Microwave & Optical Technology Letters, 1988, v. 1, n. 8, p. 310, doi. 10.1002/mop.4650010811

By:

Cherri, A. K.;
Karim, M. A.

Publication type:

Article

A fuzzy control model based on BP neural network arithmetic for optimal control of smart city facilities.

Published in:

Personal & Ubiquitous Computing, 2019, v. 23, n. 3/4, p. 453, doi. 10.1007/s00779-019-01209-0

By:

Xia, Xiaotang;
Li, Tingyang

Publication type:

Article

Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 133, doi. 10.1007/s10009-022-00688-6

By:

Kaufmann, Daniela;
Biere, Armin

Publication type:

Article

Leveraging polyhedral reductions for solving Petri net reachability problems.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 95, doi. 10.1007/s10009-022-00694-8

By:

Amat, Nicolas;
Dal Zilio, Silvano;
Le Botlan, Didier

Publication type:

Article

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 359, doi. 10.1007/s10009-015-0366-1

By:

Lopes, Nuno;
Monteiro, José

Publication type:

Article

Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 23, doi. 10.1007/s10009-009-0133-2

By:

Bauer, Andreas;
Leucker, Martin;
Schallhart, Christian;
Tautschnig, Michael

Publication type:

Article

Efficient BDDs for bounded arithmetic constraints.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 26, doi. 10.1007/s10009-004-0171-8

By:

Bartzis, Constantinos;
Bultan, Tevfik

Publication type:

Article

Why you should definitely read this special section.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 1, doi. 10.1007/s10009-005-0199-4

By:

Garavel, Hubert;
Hatcliff, John

Publication type:

Article

How numerical surface forms affect strategy execution in subtraction? Evidence from behavioral and ERP measures.

Published in:

Experimental Brain Research, 2022, v. 240, n. 2, p. 439, doi. 10.1007/s00221-021-06259-6

By:

Gao, Yaru;
Wang, Xiangyan;
Huang, Bijuan;
Li, Hongxia;
Wang, Yangyang;
Si, Jiwei

Publication type:

Article

Emotional valence modulates arithmetic strategy execution in priming paradigm: an event-related potential study.

Published in:

Experimental Brain Research, 2021, v. 239, n. 4, p. 1151, doi. 10.1007/s00221-021-06048-1

By:

Liu, Dianzhi;
Wang, Yun;
Lu, Feng;
Shu, Deming;
Zhang, Jianxin;
Zhu, Chuanlin;
Luo, Wenbo

Publication type:

Article

Is it better to sit down, stand up or walk when performing memory and arithmetic activities?

Published in:

Experimental Brain Research, 2020, v. 238, n. 11, p. 2487, doi. 10.1007/s00221-020-05858-z

By:

Abou Khalil, G.;
Doré-Mazars, K.;
Senot, P.;
Wang, D. P.;
Legrand, A.

Publication type:

Article

Simple arithmetic: electrophysiological evidence of coactivation and selection of arithmetic facts.

Published in:

Experimental Brain Research, 2016, v. 234, n. 11, p. 3305, doi. 10.1007/s00221-016-4728-z

By:

Megías, Patricia;
Macizo, Pedro

Publication type:

Article

The N3 is sensitive to odd-even congruency information in arithmetic fact retrieval.

Published in:

Experimental Brain Research, 2013, v. 225, n. 4, p. 603, doi. 10.1007/s00221-013-3404-9

By:

Chen, Yalin;
Campbell, Jamie;
Liu, Chang

Publication type:

Article

Processing false solutions in additions: differences between high- and lower-skilled arithmetic problem-solvers.

Published in:

Experimental Brain Research, 2012, v. 218, n. 4, p. 655, doi. 10.1007/s00221-012-3058-z

By:

Núñez-Peña, Maria;
Suárez-Pellicioni, Macarena

Publication type:

Article

Oscillatory EEG correlates of arithmetic strategy use in addition and subtraction.

Published in:

Experimental Brain Research, 2009, v. 195, n. 4, p. 635, doi. 10.1007/s00221-009-1839-9

By:

De Smedt, Bert;
Grabner, Roland H.;
Studer, Bettina

Publication type:

Article

Effects of training on the arithmetic problem-size effect: an event-related potential study.

Published in:

Experimental Brain Research, 2008, v. 190, n. 1, p. 105, doi. 10.1007/s00221-008-1501-y

By:

Núñez-Peña, María Isabel

Publication type:

Article

Masked priming effect with canonical finger numeral configurations.

Published in:

Experimental Brain Research, 2008, v. 185, n. 1, p. 27, doi. 10.1007/s00221-007-1132-8

By:

Di Luca, Samuel;
Pesenti, Mauro

Publication type:

Article

Maximum principles for a fully nonlinear fractional order equation and symmetry of solutions.

Published in:

Calculus of Variations & Partial Differential Equations, 2017, v. 56, n. 2, p. 1, doi. 10.1007/s00526-017-1110-3

By:

Chen, Wenxiong;
Li, Congming;
Li, Guanfeng

Publication type:

Article

Infinitely many non-radial solutions for fractional Nirenberg problem.

Published in:

Calculus of Variations & Partial Differential Equations, 2017, v. 56, n. 2, p. 1, doi. 10.1007/s00526-017-1141-9

By:

Liu, Chungen;
Ren, Qiang

Publication type:

Article

Three-spheres theorem for $$p$$ -harmonic mappings.

Published in:

Calculus of Variations & Partial Differential Equations, 2015, v. 53, n. 3/4, p. 1015, doi. 10.1007/s00526-014-0775-0

By:

Adamowicz, Tomasz

Publication type:

Article

Large deviations for quasi-arithmetically self-normalized random variables.

Published in:

ESAIM: Probability & Statistics, 2013, v. 17, p. 1, doi. 10.1051/ps/2011112

By:

Aubry, Jean-Marie;
Zani, Marguerite

Publication type:

Article

Processor control in computerized data-acquisition systems.

Published in:

Measurement Techniques, 2011, v. 54, n. 2, p. 123, doi. 10.1007/s11018-011-9694-z

By:

Pavlov, Al.;
Pavlov, A.;
Pavlov, P.;
Tsarkov, A.;
Khoruzhenko, O.

Publication type:

Article

A method of monitoring execution of arithmetic operations on computers in computerized monitoring and measuring systems.

Published in:

Measurement Techniques, 2008, v. 51, n. 3, p. 237, doi. 10.1007/s11018-008-9042-0

By:

E. Krekhov;
Al-r Pavlov;
A. Pavlov;
P. Pavlov;
D. Smirnov;
A. Tsar’kov;
P. Chistopol’skii;
A. Shandrikov;
B. Sharikov;
D. Yakimov

Publication type:

Article

Thermal Vibrational Convection in a Cavity under Nontranslational Oscillations.

Published in:

Fluid Dynamics, 2003, v. 38, n. 3, p. 372, doi. 10.1023/A:1025189804914

By:

Ivanova, A. A.;
Kozlov, V. G.

Publication type:

Article

Method of optimization in flight dynamics.

Published in:

Automation & Remote Control, 2014, v. 75, n. 2, p. 294, doi. 10.1134/S000511791402009X

By:

Ostov, Yu.;
Ivanov, A.

Publication type:

Article