Works matching DE "SCIENTIFIC computing"

Results: 786

HíbriDoC: Método para a Classificação de Atividades de Computação Desplugada para uso no Ensino Híbrido.

Published in:

Revista Brasileira de Informática na Educação, 2024, v. 32, p. 590, doi. 10.5753/rbie.2024.3482

By:

Araújo, Quesia;
de Castro Junior, Amaury Antônio;
Corrêa de Lima, Anderson;
Oliveira, Wilk

Publication type:

Article

Programa de Monitoria da Disciplina de Programação Introdutória na Universidade de Brasília.

Published in:

Revista Brasileira de Informática na Educação, 2024, v. 32, p. 157, doi. 10.5753/rbie.2024.3329

By:

Holanda, Maristela;
Nery Bandeira, Ian;
Castanho, Carla D.;
Barros de Sousa, Aline;
da Silva, Dilma

Publication type:

Article

Pygrossone: a python-powered library for operating with the infinity computer arithmetic.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2025, v. 29, n. 8, p. 4175, doi. 10.1007/s00500-025-10661-5

By:

Falcone, Alberto;
Garro, Alfredo;
Sergeyev, Yaroslav D.

Publication type:

Article

Towards Efficient HPC: Exploring Overlap Strategies Using MPI Non-Blocking Communication.

Published in:

Mathematics (2227-7390), 2025, v. 13, n. 11, p. 1848, doi. 10.3390/math13111848

By:

Zheng, Yuntian;
Wu, Jianping

Publication type:

Article

Enabling data‐driven collaborative and reproducible environmental synthesis science.

Published in:

Methods in Ecology & Evolution, 2025, v. 16, n. 6, p. 1061, doi. 10.1111/2041-210X.70036

By:

Brun, Julien;
Lyon, Nicholas J.;
Chen, Angel;
Slette, Ingrid;
De La Rosa, Gabriel;
Caselle, Jennifer E.;
Davis, Frank W.;
Downs, Martha R.

Publication type:

Article

How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 3, p. 601, doi. 10.1007/s10270-024-01252-3

By:

Jongeling, Robbert;
Cicchetti, Antonio;
Ciccozzi, Federico

Publication type:

Article

Taming uncertainty with MDE: an historical perspective.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 3, p. 615, doi. 10.1007/s10270-024-01227-4

By:

Jézéquel, Jean-Marc

Publication type:

Article

A method for training while drilling to predict electromagnetic wave logging curves based on long short-term memory neural networks.

Published in:

Earth Science Informatics, 2025, v. 18, n. 3, p. 1, doi. 10.1007/s12145-025-01936-4

By:

Liu, Qiwei;
Kong, Fanmin;
Li, Kang

Publication type:

Article

An Enhanced Method with Memory Derived from Newton's Scheme in Solving Nonlinear Equations: Higher R-Order Convergence and Numerical Performance.

Published in:

Axioms (2075-1680), 2025, v. 14, n. 5, p. 387, doi. 10.3390/axioms14050387

By:

Xue, Runqi;
Li, Yalin;
Song, Enbin;
Liu, Tao

Publication type:

Article

ADVCSO: Adaptive Dynamically Enhanced Variant of Chicken Swarm Optimization for Combinatorial Optimization Problems.

Published in:

Biomimetics (2313-7673), 2025, v. 10, n. 5, p. 303, doi. 10.3390/biomimetics10050303

By:

Wu, Kunwei;
Wang, Liangshun;
Liu, Mingming

Publication type:

Article

Real Coding and Real Games: Design and Development of a Middle School Curriculum Using Unity 3D.

Published in:

TechTrends: Linking Research & Practice to Improve Learning, 2022, v. 66, n. 6, p. 931, doi. 10.1007/s11528-022-00782-1

By:

Akcaoglu, Mete;
Dogan, Selcuk;
Hodges, Charles B.

Publication type:

Article

Computational Thinking and Metacognition.

Published in:

TechTrends: Linking Research & Practice to Improve Learning, 2022, v. 66, n. 3, p. 405, doi. 10.1007/s11528-022-00695-z

By:

Yadav, Aman;
Ocak, Ceren;
Oliver, Amber

Publication type:

Article

The Study of DC- and AC-Driven GaAs-Coupled Gas Discharge Micro Plasma Systems: Modeling and Simulation.

Published in:

Journal of Electronic Materials, 2024, v. 53, n. 7, p. 3792, doi. 10.1007/s11664-024-11098-6

By:

Yücel, Hatice Hilal;
Utaş, Selçuk;
Ongun, Erhan

Publication type:

Article

Anderson acceleration with approximate calculations: Applications to scientific computing.

Published in:

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

By:

Lupo Pasini, Massimiliano;
Laiu, M. Paul

Publication type:

Article

Editorial: Tensor numerical methods and their application in scientific computing and data science.

Published in:

2023

By:

Khoromskij, Boris N.;
Khoromskaia, Venera

Publication type:

Editorial

ParaStieltjes: Parallel computation of Gauss quadrature rules using a Parareal‐like approach for the Stieltjes procedure.

Published in:

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

By:

Gander, Martin J.;
Lunet, Thibaut

Publication type:

Article

Tuned preconditioners for the eigensolution of large SPD matrices arising in engineering problems.

Published in:

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

By:

Martínez, Ángeles

Publication type:

Article

Assertions in software testing: survey, landscape, and trends.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 117, doi. 10.1007/s10009-025-00794-1

By:

Taromirad, Masoumeh;
Runeson, Per

Publication type:

Article

IntraJ: an on-demand framework for intraprocedural Java code analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 687, doi. 10.1007/s10009-024-00771-0

By:

Riouak, Idriss;
Fors, Niklas;
Hedin, Görel;
Reichenbach, Christoph

Publication type:

Article

A class of RBFs-based DQ methods for the space-fractional diffusion equations on 3D irregular domains.

Published in:

Computational Mechanics, 2020, v. 66, n. 1, p. 221, doi. 10.1007/s00466-020-01848-8

By:

Zhu, X. G.;
Nie, Y. F.;
Ge, Z. H.;
Yuan, Z. B.;
Wang, J. G.

Publication type:

Article

Correction to: ReSOTS: RFID/IoT-Enabled Secure Object Tracking Key Exchange for Trustworthy Smart Logistics.

Published in:

2024

By:

Alashjaee, Abdullah Mujawib;
Irshad, Azeem;
Daud, Ali;
Alhomoud, Ahmed;
Altowaijri, Saleh M.;
Alshdadi, Abdulrahman A.

Publication type:

Correction Notice

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students.

Published in:

Vietnam Journal of Computer Science (World Scientific), 2024, v. 11, n. 4, p. 621, doi. 10.1142/S2196888824500064

By:

Lund, Simon Tobias;
Villadsen, Jørgen

Publication type:

Article

O ZNACZENIU POJĘĆ INFORMATYCZNYCH DLA FILOZOFII NA PRZYKŁADZIE ROZRÓŻNIENIA MIĘDZY CYFROWOŚCIĄ I ANALOGOWOŚCIĄ.

Published in:

Filozofia i Nauka, 2020, v. 8, n. 1, p. 213, doi. 10.37240/FiN.2020.8.1.10

By:

Stacewicz, Paweł

Publication type:

Article

EXPERIMENTS IN TRANSFERRING, VALIDATING, AND RELEASING MARS 2020 MISSION ARCHIVAL MULTI-MEDIA & IMAGERY DATA DELIVERIES IN THE CLOUD.

Published in:

LPI Contribution, 2021, p. 1

By:

Verma, Rishi;
Grimes, Kevin M.;
Taylor, Zachary M.;
McAuley, Michael;
Minh Le;
Alanis, Rafael

Publication type:

Article

SCIENCE DATA PROCESSING, QUICK-LOOK ANALYSIS AND ARCHIVING APPROACH FOR ESA'S PLANETARY MISSIONS.

Published in:

LPI Contribution, 2021, p. 1

By:

Martínez, S.;
Bentley, M. S.;
Cornet, T.;
A., M.;
Cuevas;
Fajersztejn, N.;
Freschi, M.;
Galan, D.;
Gallegos, J.;
Macfarlane, A. J.;
Moss, R.;
Vallejo, F.

Publication type:

Article

BEPICOLOMBO SCIENCE DATA PROCESSING INFRASTRUCTURE.

Published in:

LPI Contribution, 2019, p. 1

By:

Martínez, S.;
Bentley, M.;
Cornet, T.;
Cuevas, M. A.;
Fajersztejn, N.;
Freschi, M.;
Galan, D.;
Gallegos, J.;
Macfarlane, A. J.;
Landaluce, I. Ortizde;
Vallejo, F.;
Villacorta, A.

Publication type:

Article

Moving MAVEN IUVS Science Data Processing into the Cloud.

Published in:

LPI Contribution, 2019, p. 1

By:

Elliott, J. P.;
Heins, R.;
Carson, S.

Publication type:

Article

A fully convolutional model of empirical saliency based on deep CNN features.

Published in:

Journal of Eye Movement Research, 2019, v. 12, n. 7, p. 346

By:

Dubray, David;
Laubrock, Jochen

Publication type:

Article

Editor's Note.

Published in:

Journal of Cognitive Neuroscience, 2020, v. 32, n. 12, p. 2203, doi. 10.1162/jocn_e_01644

By:

D'Esposito, Mark

Publication type:

Article

A one-shot optimization framework with additional equality constraints applied to multi-objective aerodynamic shape optimization.

Published in:

Optimization Methods & Software, 2018, v. 33, n. 4-6, p. 694, doi. 10.1080/10556788.2018.1437158

By:

Kusch, L.;
Albring, T.;
Walther, A.;
Gauger, N.R.

Publication type:

Article

Some generalizations of the new SOR-like method for solving symmetric saddle-point problems.

Published in:

Journal of Inequalities & Applications, 2018, v. 2018, n. 1, p. 1, doi. 10.1186/s13660-018-1738-3

By:

Wen, Ruiping;
Wu, Ruihuan;
Guan, Jinrui

Publication type:

Article

Convergence analysis of modulus-based matrix splitting iterative methods for implicit complementarity problems.

Published in:

Journal of Inequalities & Applications, 2018, v. 2018, n. 1, p. 1, doi. 10.1186/s13660-017-1593-7

By:

Wang, An;
Cao, Yang;
Shi, Quan

Publication type:

Article

DYNAMICS OF A NEW CLASS OF OSCILLATORS: MELNIKOV’S APPROACH, POSSIBLE APPLICATION TO ANTENNA ARRAY THEORY.

Published in:

Mathematics & Informatics, 2024, v. 67, n. 4, p. 367, doi. 10.53656/math2024-4-1-dyn

By:

Kyurkchiev, Nikolay;
Zaevski, Tsvetelin;
Iliev, Anton;
Kyurkchiev, Vesselin;
Rahnev, Asen

Publication type:

Article

VOCABULARY ENRICHMENT IN COMPUTER SCIENCE FOR INTERNATIONAL STUDENTS AT THE PREPARATORY DEPARTMENT OF THE UNIVERSITY.

Published in:

Mathematics & Informatics, 2022, v. 65, n. 2, p. 139, doi. 10.53656/math2022-2-2-voc.

By:

Mikhaelis, Svetlana;
Mikhaelis, Vladimir;
Mikhaelis, Dmitrii

Publication type:

Article

ПРЕДИЗВИКАТЕЛСТВОТО - НАЦИОНАЛНА ПРОГРАМА „ОБУЧЕНИЕ ЗА ИТ КАРИЕРА“

Published in:

Mathematics & Informatics, 2020, v. 63, n. 2, p. 167

By:

Моллов, Мухарем;
Стоицов, Генчо

Publication type:

Article

Accelerating Tomato Breeding by Exploiting Genomic Selection Approaches.

Published in:

Plants (2223-7747), 2020, v. 9, n. 9, p. 1236, doi. 10.3390/plants9091236

By:

Cappetta, Elisa;
Andolfo, Giuseppe;
Di Matteo, Antonio;
Barone, Amalia;
Frusciante, Luigi;
Ercolano, Maria Raffaella

Publication type:

Article

Toplum Çevirmenliğinde Fikir Madenciliği ve Duygu Analizi.

Published in:

Celal Bayar University Journal of Social Sciences / Celal Bayar Üniversitesi Sosyal Bilimler Dergisi, 2021, v. 19, n. 3, p. 168, doi. 10.18026/cbayarsos.890384

By:

Erkırtay, Olcay Şener;
Ünal, Ceyda

Publication type:

Article

A CONSTRUCTION OF A LATTICE BY SUBSTITUTION SUM OF A LATTICE AND BOOLEAN ALGEBRA.

Published in:

Palestine Journal of Mathematics, 2024, v. 13, p. 148

By:

H. S., Ramananda;
Shabnam, Salma

Publication type:

Article

Real-World Sarilumab Use and Rule Testing to Predict Treatment Response in Patients with Rheumatoid Arthritis: Findings from the RISE Registry.

Published in:

Rheumatology & Therapy, 2023, v. 10, n. 4, p. 1055, doi. 10.1007/s40744-023-00568-8

By:

Curtis, Jeffrey R.;
Yun, Huifeng;
Chen, Lang;
Ford, Stephanie S.;
van Hoogstraten, Hubert;
Fiore, Stefano;
Ford, Kerri;
Praestgaard, Amy;
Rehberg, Markus;
Choy, Ernest

Publication type:

Article

Creativity, Artificial Intelligence, and a World of Surprises.

Published in:

Academy of Management Discoveries, 2020, v. 6, n. 3, p. 351, doi. 10.5465/amd.2019.0075

By:

Amabile, Teresa M.

Publication type:

Article

Employing technology-enhanced feedback and scaffolding to support the development of deep science understanding using computer simulations.

Published in:

2024

By:

Kaldaras, Leonora;
Wang, Karen D.;
Nardo, Jocelyn E.;
Price, Argenta;
Perkins, Katherine;
Wieman, Carl;
Salehi, Shima

Publication type:

Letter

Exploiting Game Theory for Analysing Justifications.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 6, p. 880, doi. 10.1017/S1471068420000186

By:

MARYNISSEN, SIMON;
BOGAERTS, BART;
DENECKER, MARC

Publication type:

Article

A variance-reduced stochastic gradient tracking algorithm for decentralized optimization with orthogonality constraints.

Published in:

Journal of Industrial & Management Optimization, 2023, v. 19, n. 10, p. 1, doi. 10.3934/jimo.2023018

By:

Wang, Lei;
Liu, Xin

Publication type:

Article

Take space, make space: how students use computer science to disrupt and resist marginalization in schools.

Published in:

Computer Science Education, 2020, v. 30, n. 3, p. 337, doi. 10.1080/08993408.2020.1805284

By:

Ryoo, Jean J.;
Tanksley, Tiera;
Estrada, Cynthia;
Margolis, Jane

Publication type:

Article

Leveraging local resources and contexts for inclusive computer science classrooms: Reflections from experienced high school teachers implementing electronic textiles.

Published in:

Computer Science Education, 2020, v. 30, n. 3, p. 313, doi. 10.1080/08993408.2020.1805283

By:

Shaw, Mia S.;
Fields, Deborah A.;
Kafai, Yasmin B.

Publication type:

Article

Editorial.

Published in:

2021

By:

Dorn, Brian;
Vahrenhold, Jan

Publication type:

Editorial

Editorial.

Published in:

2020

By:

Dorn, Brian;
Vahrenhold, Jan

Publication type:

Editorial

A descriptive analysis of academic engagement and collaboration of students with autism during elementary computer science.

Published in:

Computer Science Education, 2020, v. 30, n. 4, p. 444, doi. 10.1080/08993408.2020.1779521

By:

Israel, Maya;
Chung, Moon Y.;
Wherfel, Quentin M.;
Shehab, Saddeddine

Publication type:

Article

Languages, literacies and literate programming: can we use the latest theories on how bilingual people learn to help us teach computational literacies?

Published in:

Computer Science Education, 2020, v. 30, n. 4, p. 420, doi. 10.1080/08993408.2020.1751525

By:

Vogel, Sara;
Hoadley, Christopher;
Castillo, Ana Rebeca;
Ascenzi-Moreno, Laura

Publication type:

Article

Challenges in Forecasting Antimicrobial Resistance.

Published in:

2023

By:

Aldeyab, Mamoon A.;
Lattyak, William J.

Publication type:

Letter to the Editor