Works matching Abstraction (computer science)

Results: 124

Abstraction in Computer Science Education: An Overview.

Published in:

Informatics in Education, 2021, v. 20, n. 4, p. 615, doi. 10.15388/infedu.2021.27

By:

MIROLO, Claudio;
IZU, Cruz;
LONATI, Violetta;
SCAPIN, Emanuele

Publication type:

Article

Abstracción en psicología y ciencias de la computación: en concreto, distintas.

Published in:

Acta Psiquiátrica y Psicológica de América Latina, 2023, v. 69, n. 4, p. 243

By:

BRASSESCO, MARÍA VIRGINIA;
SCHAPACHNIK, FERNANDO

Publication type:

Article

Analyzing abstraction in critical agri-food studies and computer science: toward interdisciplinary analysis of digital agriculture innovation.

Published in:

Agriculture & Human Values, 2025, v. 42, n. 2, p. 1009, doi. 10.1007/s10460-024-10655-3

By:

Roeven, Lara;
Wolf, Steven A.;
Sengers, Phoebe;
Liu, Jen;
Rubambiza, Gloire;
Persaud, Donny;
Weatherspoon, Hakim

Publication type:

Article

Abstraction in Computer Science.

Published in:

Minds & Machines, 2007, v. 17, n. 2, p. 169, doi. 10.1007/s11023-007-9061-7

By:

Colburn, Timothy;
Shute, Gary

Publication type:

Article

Debugging in Computational Thinking: A Meta-analysis on the Effects of Interventions on Debugging Skills.

Published in:

Journal of Educational Computing Research, 2024, v. 62, n. 4, p. 1087, doi. 10.1177/07356331241227793

By:

Sun, Chen;
Yang, Stephanie;
Becker, Betsy

Publication type:

Article

Distributed abstraction and verification of an installed optical fibre network.

Published in:

Scientific Reports, 2021, v. 11, n. 1, p. 1, doi. 10.1038/s41598-021-89976-w

By:

Ives, D. J.;
Yan, S.;
Galdino, L.;
Wang, R.;
Elson, D. J.;
Wakayama, Y.;
Vaquero-Caballero, F. J.;
Saavedra, G.;
Lavery, D.;
Nejabati, R.;
Bayvel, P.;
Simeonidou, D.;
Savory, S. J.

Publication type:

Article

Infrastructures of abstraction: how computer science education produces anti-political subjects.

Published in:

Digital Creativity, 2019, v. 30, n. 4, p. 300, doi. 10.1080/14626268.2019.1682616

By:

Malazita, James W.;
Resetar, Korryn

Publication type:

Article

EXPERIENŢE DIDACTICE ÎN FORMAREA COMPETENŢEI DE COMUNICARE A ELEVILOR CU DIZABILITĂŢI INTELECTUALE.

Published in:

Journal of Pedagogy, 2020, v. 68, n. 2, p. 181, doi. 10.26755/RevPed/2020.2/181

By:

Vasiliu, Mădălina-Maria

Publication type:

Article

Andy Warhol: Computational Thinking, Computational Process.

Published in:

Leonardo, 2020, v. 53, n. 2, p. 179, doi. 10.1162/leon_a_01574

By:

Mazzone, Marian

Publication type:

Article

Fostering collateral creativity through teaching school mathematics with technology: what do teachers need to know?

Published in:

International Journal of Mathematical Education in Science & Technology, 2023, v. 54, n. 10, p. 2217, doi. 10.1080/0020739X.2022.2113465

By:

Abramovich, S.;
Freiman, Viktor

Publication type:

Article

Dynamics of Gender Bias within Computer Science.

Published in:

Information & Culture, 2024, v. 59, n. 2, p. 161, doi. 10.7560/ic59203

By:

Misa, Thomas J.

Publication type:

Article

Special Issue on management of SDN/NFV-based systems.

Published in:

2017

By:

Badonnel, Rémi;
Kinoshita, Kazuhiko;
Tuncer, Daphné;
Song, Sejun

Publication type:

Editorial

AirNet: An Edge-Fabric abstraction model to manage software-defined networks.

Published in:

International Journal of Network Management, 2017, v. 27, n. 6, p. n/a, doi. 10.1002/nem.1983

By:

Aouadj, Messaoud;
Lavinal, Emmanuel;
Desprats, Thierry;
Sibilla, Michelle

Publication type:

Article

WHAT IS COMPUTATIONAL THINKING?

Published in:

Vinculum, 2023, v. 60, n. 1, p. 21

By:

Leigh-Lancaster, David

Publication type:

Article

Concreteness and abstraction in everyday explanation.

Published in:

Psychonomic Bulletin & Review, 2017, v. 24, n. 5, p. 1451, doi. 10.3758/s13423-017-1299-3

By:

Bechlivanidis, Christos;
Lagnado, David;
Zemla, Jeffrey;
Sloman, Steven

Publication type:

Article

Spatial simulation using abstraction of virtual geographic environments.

Published in:

International Journal of Digital Earth, 2018, v. 11, n. 4, p. 334, doi. 10.1080/17538947.2017.1381190

By:

Mekni, Mehdi

Publication type:

Article

GAMES FOR BISIMULATIONS AND ABSTRACTION.

Published in:

Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:15)2017

By:

DE FRUTOS ESCRIG, DAVID;
KEIREN, JEROEN J. A.;
WILLEMSE, TIM A. C.

Publication type:

Article

USING HIGHER-ORDER CONTRACTS TO MODEL SESSION TYPES.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:10)2016

By:

BERNARDI, GIOVANNI;
HENNESSY, MATTHEW

Publication type:

Article

Representation of abstract semantic knowledge in populations of human single neurons in the medial temporal lobe.

Published in:

PLoS Biology, 2019, v. 17, n. 6, p. 1, doi. 10.1371/journal.pbio.3000290

By:

Reber, Thomas P.;
Bausch, Marcel;
Mackay, Sina;
Boström, Jan;
Elger, Christian E.;
Mormann, Florian

Publication type:

Article

Refinement-based Validation of Event-B Specifications.

Published in:

Software & Systems Modeling, 2017, v. 16, n. 3, p. 789, doi. 10.1007/s10270-016-0514-4

By:

Mashkoor, Atif;
Yang, Faqing;
Jacquot, Jean-Pierre

Publication type:

Article

Automatic segmentation and summarization for videos taken with smart glasses.

Published in:

Multimedia Tools & Applications, 2018, v. 77, n. 10, p. 12679, doi. 10.1007/s11042-017-4910-8

By:

Chiu, Yen-Chia;
Liu, Li-Yi;
Wang, Tsaipei

Publication type:

Article

User-centred personalised video abstraction approach adopting SIFT features.

Published in:

Multimedia Tools & Applications, 2017, v. 76, n. 2, p. 2353, doi. 10.1007/s11042-015-3210-4

By:

Darabi, Kaveh;
Ghinea, Gheorghita

Publication type:

Article

El Valor de los Objetos: Los objetos del hoy serán los hallazgos arqueológicos del mañana.

Published in:

Actas de Diseño, 2022, n. 41, p. 194

By:

Amalia Lopez, Cristina;
Bergomi, Paolo

Publication type:

Article

La incertidumbre como llave a la innovación.

Published in:

Actas de Diseño, 2021, v. 16, n. 34, p. 149

By:

María Aguirre, José

Publication type:

Article

Mathematik Münster: Dynamik, Geometrie, Struktur: Beispiele einer geometrischen Sichtweise.

Published in:

Mitteilungen der DMV, 2018, v. 26, n. 4, p. 197, doi. 10.1515/dmvm-2018-0060

By:

Böhm, Christoph;
Wirth, Benedikt

Publication type:

Article

Deep Learning.

Published in:

International Journal of Semantic Computing, 2016, v. 10, n. 3, p. 417, doi. 10.1142/S1793351X16500045

By:

Hao, Xing;
Zhang, Guigang;
Ma, Shang

Publication type:

Article

A MULTIVARIATE TIME SERIES CLASSIFICATION METHOD FOR STREAMING DATA USING TEMPORAL METAFEATURE ABSTRACTIONS.

Published in:

International Journal of Semantic Computing, 2013, v. 7, n. 2, p. 173, doi. 10.1142/S1793351X13400084

By:

SIPES, TAMARA;
BALAC, NATASHA;
KARIMABADI, HOMA;
WOLTER, NICOLE;
NUNES, KENNETH;
ROBERTS, AARON

Publication type:

Article

Constructing Temporally Extended Actions through Incremental Community Detection.

Published in:

Computational Intelligence & Neuroscience, 2018, p. 1, doi. 10.1155/2018/2085721

By:

Xu, Xiao;
Yang, Mei;
Li, Ge

Publication type:

Article

A Survey on Opponent Modeling in Adversarial Domains.

Published in:

Journal of Artificial Intelligence Research, 2022, v. 73, p. 277, doi. 10.1613/jair.1.12889

By:

Nashed, Samer B.;
Zilberstein, Shlomo

Publication type:

Article

Classifying Inconsistency Measures Using Graphs.

Published in:

Journal of Artificial Intelligence Research, 2019, v. 66, p. 937, doi. 10.1613/jair.1.11852

By:

De Bona, Glauber;
Grant, John;
Hunter, Anthony;
Konieczny, Sebastien

Publication type:

Article

Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations.

Published in:

Journal of Artificial Intelligence Research, 2019, v. 66, p. 861, doi. 10.1613/jair.1.11594

By:

Ribeiro, Eugénio;
Ribeiro, Ricardo;
de Matos, David Martins

Publication type:

Article

INFLUENCE OF DISPLAY MODE ON DISTANCES IN SOFTWARE TECNOMATIX PLANT SIMULATION.

Published in:

Acta Simulatio, 2021, v. 7, n. 4, p. 25, doi. 10.22306/asim.v7i4.63

By:

Mozolová, Lucia;
Mozol, Štefan;
Gregor, Milan;
Grznár, Patrik

Publication type:

Article

MATRIXMAP: PROGRAMMING ABSTRACTION AND IMPLEMENTATION OF MATRIX COMPUTATION FOR BIG DATA ANALYTICS.

Published in:

Big Data & Information Analytics, 2016, v. 1, n. 4, p. 349, doi. 10.3934/bdia.2016015

By:

YAGUANG HUANGFU;
GUANQING LIANG;
JIANNONG CAO

Publication type:

Article

A systems approach to flood vulnerability.

Published in:

Civil Engineering & Environmental Systems, 2016, v. 33, n. 3, p. 199, doi. 10.1080/10286608.2016.1202931

By:

Beevers, Lindsay;
Walker, Guy;
Strathie, Ailsa

Publication type:

Article

Efficient probabilistic grammar induction for design.

Published in:

AI EDAM, 2018, v. 32, n. 2, p. 177, doi. 10.1017/S0890060417000464

By:

Eloy, Sara;
Pauwels, Pieter;
Economou, Athanassios;
Whiting, Mark E.;
Cagan, Jonathan;
LeDuc, Philip

Publication type:

Article

A bridge to systems thinking in engineering design: An examination of students’ ability to identify functions at varying levels of abstraction.

Published in:

AI EDAM, 2017, v. 31, n. 4, p. 535, doi. 10.1017/S0890060417000439

By:

Bohm, Matthew;
Eckert, Claudia;
Sen, Chiradeep;
Srinivasan, Venkatamaran;
Summers, Joshua D.;
Vermaas, Pieter;
Tomko, Megan;
Nelson, Jacob;
Nagel, Robert L.;
Linsey, Julie

Publication type:

Article

In-Between Mobile Maps and Media: Movement.

Published in:

Television & New Media, 2017, v. 18, n. 4, p. 320, doi. 10.1177/1527476416663637

By:

Wilmott, Clancy

Publication type:

Article

The usage of the Miniature Dwarfs method in the improvement of passenger ship construction.

Published in:

Scientific Journals of The Maritime University of Szczecin / Zeszyty Naukowe Akademii Morskiej w Szczecinie, 2017, v. 123, n. 51, p. 28, doi. 10.17402/227

By:

Chybowski, Leszek

Publication type:

Article

Trace Abstraction Refinement for Solving Horn Clauses.

Published in:

Computer Journal, 2016, v. 59, n. 8, p. 1236, doi. 10.1093/comjnl/bxw017

By:

WEIFENG WANG;
LI JIAO

Publication type:

Article

An Abstraction-Refinement Methodologyfor Reasoning about Network Games†.

Published in:

Games (20734336), 2018, v. 9, n. 3, p. 39, doi. 10.3390/g9030039

By:

Avni, Guy;
Guha, Shibashis;
Kupferman, Orna

Publication type:

Article

Verb similarity: Comparing corpus and psycholinguistic data.

Published in:

Corpus Linguistics & Linguistic Theory, 2018, v. 14, n. 2, p. 275, doi. 10.1515/cllt-2016-0045

By:

Gil-Vallejo, Lara;
Coll-Florit, Marta;
Castellón, Irene;
Turmo, Jordi

Publication type:

Article

PERFORMANCE IMPACT OF USING ABSTRACTIONS IN OBJECT-ORIENTED PROGRAMMING.

Published in:

Annals of DAAAM & Proceedings, 2018, v. 29, p. 0901, doi. 10.2507/29th.daaam.proceedings.130

By:

Juricic, Vedran;
Radosevic, Matea

Publication type:

Article

Constructing Computational Thinking using CS Unplugged.

Published in:

Constructivist Foundations, 2019, v. 14, n. 3, p. 353

By:

Hromkovič, Juraj;
Staub, Jacqueline

Publication type:

Article

Computer Science Unplugged and the Benefits of Computational Thinking.

Published in:

Constructivist Foundations, 2019, v. 14, n. 3, p. 352

By:

Weigend, Michael

Publication type:

Article

Novel and Robust Implementation of Register Abstraction on UVM Testbench.

Published in:

International Journal of Simulation: Systems, Science & Technology, 2018, v. 19, n. 2, p. 1, doi. 10.5013/IJSSST.a.19.02.01

By:

Sharma, Gaurav;
Bhargava, Lava

Publication type:

Article

Pardis: a process calculus for parallel and distributed programming in Haskell.

Published in:

Journal of Supercomputing, 2018, v. 74, n. 4, p. 1473, doi. 10.1007/s11227-018-2289-6

By:

Blöcker, Christopher;
Hoffmann, Ulrich

Publication type:

Article

Strategy for data-flow synchronizations in stencil parallel computations on multi-/manycore systems.

Published in:

Journal of Supercomputing, 2018, v. 74, n. 4, p. 1534, doi. 10.1007/s11227-018-2239-3

By:

Szustak, Lukasz

Publication type:

Article

A dynamic predictive race detector for C/C++ programs.

Published in:

Journal of Supercomputing, 2017, v. 73, n. 9, p. 3999, doi. 10.1007/s11227-017-1996-8

By:

Luo, Peng;
Zou, Deqing;
Jin, Hai;
Du, Yajuan;
Shen, Jinan

Publication type:

Article

An AI That's Not Artificial at All.

Published in:

Issues in Science & Technology, 2021, v. 38, n. 1, p. 56

By:

PASCHKEWITZ, JOHN;
RUSSELL, BART;
MAIN, JOHN

Publication type:

Article

Examining Cybersecurity of Cyberphysical Systems for Critical Infrastructures Through Work Domain Analysis.

Published in:

2018

By:

Hao Wang;
Nathan Lau;
Gerdes, Ryan M.;
Wang, Hao;
Lau, Nathan

Publication type:

journal article