Works matching DE "ABSTRACT thought"

Results: 1776

Le spectre de la métathéorie Alexander Wendt serait-il hanté par ses propres engagements?

Published in:

Études Internationales, 2007, v. 38, n. 3, p. 383, doi. 10.7202/016552ar

By:

Thomas, Éric

Publication type:

Article

EARTh: An Environmental Application Reference Thesaurus in the Linked Open Data cloud.

Published in:

Semantic Web (1570-0844), 2014, v. 5, n. 2, p. 165, doi. 10.3233/SW-130122

By:

Albertoni, R.;
De Martino, M.;
Di Franco, S.;
De Santis, V.;
Plini, P.

Publication type:

Article

Block Cartesian Abstraction of a Geometric Model Using Fuzzy Logic.

Published in:

Computer-Aided Design & Applications, 2004, v. 1, n. 1-4, p. 293, doi. 10.1080/16864360.2004.10738270

By:

Su, Y.;
Senthil Kumar, A.

Publication type:

Article

СУЧАСНІ ДЕТЕРМІНАНТИ ТА ВИКЛИКИ У ВИКЛАДАННІ ФІЛОСОФСЬКИХ ДИСЦИПЛІН В УКРАЇНСЬКОМУ УНІВЕРСИТЕТІ.

Published in:

Hileya: Scientific Bulletin / Gileya, 2025, n. 205/206, p. 46, doi. 10.31392/Hileya-PHILOSOPHIC

By:

Л. А., Чекаль

Publication type:

Article

Pensamiento computacional desenchufado en educación primaria: una propuesta en el ámbito STEAM desde el desarrollo de la expresión corporal.

Published in:

Retos: Nuevas Perspectivas de Educación Física, Deporte y Recreación, 2025, n. 67, p. 12, doi. 10.47197/retos.v67.110772

By:

Sepúlveda Durán, Carmen Maria;
Arévalo Galán, Azahara;
García Fernández, Cristina Maria

Publication type:

Article

A Reexamination of Pro to literacy Through an Analysis of Modern Chinese Character Use.

Published in:

Written Communication, 2004, v. 21, n. 2, p. 111, doi. 10.1177/0741088303262843

By:

Li, Alan L.

Publication type:

Article

A Conceptual Foundation for a Theory of Strategy.

Published in:

Washington Quarterly, 1990, v. 13, n. 1, p. 43, doi. 10.1080/01636609009477531

By:

Foster, Gregory D.

Publication type:

Article

A kaleidoscope as a cyberworld and its animation: linear architecture and modeling based on an incrementally modular abstraction hierarchy.

Published in:

Computer Animation & Virtual Worlds, 2006, v. 17, n. 3/4, p. 145, doi. 10.1002/cav.118

By:

Kunii, Tosiyasu L.;
Ohmori, Kenji

Publication type:

Article

Cultural models.

Published in:

Intercultural Pragmatics, 2008, v. 5, n. 1, p. 67, doi. 10.1515/IP.2008.004

By:

Kronenfeld, David

Publication type:

Article

Semiotic symbols and the missing theory of thinking.

Published in:

Interaction Studies, 2007, v. 8, n. 1, p. 105

By:

Clowes, Robert

Publication type:

Article

Grounding symbols in the physics of speech communication.

Published in:

Interaction Studies, 2007, v. 8, n. 1, p. 7

By:

Worgan, S. F.;
Damper, R. I.

Publication type:

Article

Problems, Prescriptions, and Paradoxes in Second Language Teaching.

Published in:

TESOL Quarterly, 1988, v. 22, n. 4, p. 685, doi. 10.2307/3587276

By:

Clarke, Mark A.;
Silberstein, Sandra

Publication type:

Article

Giftedness as a Social Construct.

Published in:

Teachers College Record, 1987, v. 89, n. 1, p. 39, doi. 10.1177/016146818708900105

By:

Sapon-Shevin, Mara

Publication type:

Article

The Need for Counter-Controls.

Published in:

Teachers College Record, 1970, v. 72, n. 2, p. 275, doi. 10.1177/016146817007200206

By:

Eastman, George

Publication type:

Article

Speaking Prose.

Published in:

Style, 2011, v. 45, n. 2, p. 241

By:

Carroll, Joseph

Publication type:

Article

The Problem of Individuality in Karl Mannheim's Sociology.

Published in:

Sociological Inquiry, 1982, v. 52, n. 4, p. 335, doi. 10.1111/j.1475-682X.1982.tb01258.x

By:

Weinstein, Deena;
Weinstein, Michael A.

Publication type:

Article

Eriksson on critical realism: a comment.

Published in:

Review of Political Economy, 2006, v. 18, n. 1, p. 105, doi. 10.1080/09538250500254134

By:

Mearman, Andrew

Publication type:

Article

When general recommendations fail: how to search in single innovation project settings.

Published in:

R&D Management, 2014, v. 44, n. 4, p. 409, doi. 10.1111/radm.12079

By:

Horváth, Annette;
Enkel, Ellen

Publication type:

Article

Token-based sequential consistency.

Published in:

Computer Systems Science & Engineering, 2002, v. 17, n. 6, p. 359

By:

Raynal, Michael

Publication type:

Article

A Model for Mandatory Use of Software Technologies: An Integrative Approach by Applying Multiple Levels of Abstraction of Informing Science.

Published in:

Informing Science, 2010, v. 13, p. 177, doi. 10.28945/1326

By:

Koh, Chang E.;
Prybutok, Victor R.;
Ryan, Sherry D.;
Wu, Yu "Andy"

Publication type:

Article

The Nature and Logic of Capitalism.

Published in:

Political Studies, 1987, v. 35, n. 4, p. 698

By:

Foster, Alan J.

Publication type:

Article

Cartography and Architecture: Interplay between Reality and Fiction.

Published in:

Cartographic Journal, 2009, v. 46, n. 4, p. 323, doi. 10.1179/000870409X12549997389664

By:

Hurni, Lorenz;
Sell, Gerrit

Publication type:

Article

WHAT IS THE PUBLIC VALUE OF GOVERNMENT ACTION? TOWARDS A (NEW) PRAGMATIC APPROACH TO VALUES QUESTIONS IN PUBLIC ENDEAVOURS.

Published in:

Public Administration, 2011, v. 89, n. 2, p. 226, doi. 10.1111/j.1467-9299.2010.01847.x

By:

WEST, KAREN;
DAVIS, PAUL

Publication type:

Article

Parallel predator-prey interaction for evolutionary multi-objective optimization.

Published in:

Natural Computing, 2012, v. 11, n. 3, p. 519, doi. 10.1007/s11047-011-9266-9

By:

Grimme, Christian;
Lepping, Joachim;
Papaspyrou, Alexander

Publication type:

Article

On the hierarchy of conservation laws in a cellular automaton.

Published in:

Natural Computing, 2011, v. 10, n. 4, p. 1275, doi. 10.1007/s11047-010-9222-0

By:

Formenti, Enrico;
Kari, Jarkko;
Taati, Siamak

Publication type:

Article

Abstraction layers for scalable microfluidic biocomputing.

Published in:

Natural Computing, 2008, v. 7, n. 2, p. 255, doi. 10.1007/s11047-006-9032-6

By:

William Thies;
John Urbanski;
Todd Thorsen;
Saman Amarasinghe

Publication type:

Article

Query driven visualization of astronomical catalogs.

Published in:

Experimental Astronomy, 2013, v. 35, n. 1/2, p. 283, doi. 10.1007/s10686-011-9263-0

By:

Buddelmeijer, Hugo;
Valentijn, Edwin

Publication type:

Article

Informing and performing: investigating how mediated sociality becomes visible.

Published in:

Personal & Ubiquitous Computing, 2012, v. 16, n. 8, p. 1095, doi. 10.1007/s00779-011-0443-8

By:

Ding, Xianghua;
Erickson, Thomas;
Kellogg, Wendy;
Patterson, Donald

Publication type:

Article

Ambient contracts: verifying and enforcing ambient object compositions à la carte.

Published in:

Personal & Ubiquitous Computing, 2011, v. 15, n. 4, p. 341, doi. 10.1007/s00779-010-0355-z

By:

Scholliers, Christophe;
Harnie, Dries;
Tanter, Éric;
De Meuter, Wolfgang;
D'Hondt, Theo

Publication type:

Article

Translation of visual poetic spatiality.

Published in:

Babel: International Journal of Translation / Revue Internationale de la Traduction / Revista Internacional de Traducción, 2020, v. 66, n. 4/5, p. 796, doi. 10.1075/babel.00185.liu

By:

Liu, Yongzhi;
Tang, Chunlan

Publication type:

Article

Concepts of teacher knowledge as social strategies.

Published in:

Pedagogy, Culture & Society, 2006, v. 14, n. 1, p. 19, doi. 10.1080/14681360500487520

By:

Ásgeir Jóhannesson, Ingólfur

Publication type:

Article

An abstraction refinement approach combining precise and approximated techniques.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 1, doi. 10.1007/s10009-011-0185-y

By:

Sharygina, Natasha;
Tonetta, Stefano;
Tsitovich, Aliaksei

Publication type:

Article

Statistical abstraction and model-checking of large heterogeneous systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 53, doi. 10.1007/s10009-011-0201-2

By:

Basu, Ananda;
Bensalem, Saddek;
Bozga, Marius;
Delahaye, Benoît;
Legay, Axel

Publication type:

Article

A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 273, doi. 10.1007/s10009-010-0161-y

By:

Bauer, K.;
Gentilini, R.;
Schneider, K.

Publication type:

Article

Symbolic execution with abstraction.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 53, doi. 10.1007/s10009-008-0090-1

By:

Anand, Saswat;
Păsăreanu, Corina;
Visser, Willem

Publication type:

Article

Directed model checking with distance-preserving abstractions.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 27, doi. 10.1007/s10009-008-0092-z

By:

Dräger, Klaus;
Finkbeiner, Bernd;
Podelski, Andreas

Publication type:

Article

Improved verification of hardware designs through antecedent conditioned slicing.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 89, doi. 10.1007/s10009-006-0022-x

By:

Vasudevan, Shobha;
Emerson, E.;
Abraham, Jacob

Publication type:

Article

Some current topics in model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 25, doi. 10.1007/s10009-006-0021-y

By:

Huth, Michael

Publication type:

Article

A formal framework for verifying distributed embedded systems based on abstraction methods.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 471, doi. 10.1007/s10009-006-0011-0

By:

Carcenac, Francois;
Boniol, Frederic

Publication type:

Article

Lower and upper bounds in zone-based abstractions of timed automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 204, doi. 10.1007/s10009-005-0190-0

By:

Behrmann, Gerd;
Bouyer, Patricia;
Larsen, Kim G.;
Pelánek, Radek

Publication type:

Article

Pattern-based abstraction for verifying secrecy in protocols.

Published in:

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

By:

Bozga, L.;
Lakhnech, Y.;
Périn, M.

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

Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.

Published in:

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

By:

Li, Bing;
Wang, Chao;
Somenzi, Fabio

Publication type:

Article

CLPS–B – A constraint solver to animate a B specification.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 143, doi. 10.1007/s10009-003-0123-8

By:

Bouquet, Fabrice;
Legeard, Bruno;
Peureux, Fabien

Publication type:

Article

Behavior-based model construction.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 4, doi. 10.1007/s10009-004-0139-8

By:

Hungar, Hardi;
Steffen, Bernhard

Publication type:

Article

Statistical and perceptual updating: correlated impairments in right brain injury.

Published in:

Experimental Brain Research, 2014, v. 232, n. 6, p. 1971, doi. 10.1007/s00221-014-3887-z

By:

Stöttinger, Elisabeth;
Filipowicz, Alex;
Marandi, Elahe;
Quehl, Nadine;
Danckert, James;
Anderson, Britt

Publication type:

Article

Dissociating affordance and spatial compatibility effects using a pantomimed reaching action.

Published in:

Experimental Brain Research, 2014, v. 232, n. 3, p. 855, doi. 10.1007/s00221-013-3798-4

By:

Couth, Samuel;
Gowen, Emma;
Poliakoff, Ellen

Publication type:

Article

Some models of qualitative dynamic cognitive maps with fuzzy states.

Published in:

Automation & Remote Control, 2007, v. 68, n. 7, p. 1256, doi. 10.1134/S0005117907070120

By:

Markovskii, A.

Publication type:

Article

Using Word-Level Information in Formal Hardware Verification.

Published in:

Automation & Remote Control, 2004, v. 65, n. 6, p. 963, doi. 10.1023/B:AURC.0000030907.28679.82

By:

Drechsler, R.

Publication type:

Article

Paws for Thought.

Published in:

2021

By:

Torrance, Kelly Jane

Publication type:

Book Review