Works matching DE "ABSTRACT data types (Computer science)"

Results: 113

Abstraction and Idealization in the Formal Verification of Software Systems.

Published in:

Minds & Machines, 2013, v. 23, n. 2, p. 211, doi. 10.1007/s11023-012-9289-8

By:

Angius, Nicola

Publication type:

Article

MAT learners for tree series: an abstract data type and two realizations.

Published in:

Acta Informatica, 2011, v. 48, n. 3, p. 165, doi. 10.1007/s00236-011-0135-x

By:

Drewes, Frank;
Högberg, Johanna;
Maletti, Andreas

Publication type:

Article

Abstractions of data types.

Published in:

Acta Informatica, 2006, v. 42, n. 8/9, p. 639, doi. 10.1007/s00236-006-0010-3

By:

TŢplea, Ferucio Laurenţiu;
Enea, Constantin

Publication type:

Article

A complete algebraic characterization of behavioral subtyping.

Published in:

Acta Informatica, 2000, v. 36, n. 8, p. 617, doi. 10.1007/s002360050168

By:

Leavens, Gary T.;
Pigozzi, Don

Publication type:

Article

Evaluation of Potential Drug-Drug Interactions in Adults in the Intensive Care Unit: A Systematic Review and Meta-Analysis.

Published in:

2019

By:

Fitzmaurice, Mary Grace;
Wong, Adrian;
Akerberg, Hannah;
Avramovska, Simona;
Smithburger, Pamela L.;
Buckley, Mitchell S.;
Kane-Gill, Sandra L.

Publication type:

journal article

Creating a Framework for Care Needs Hub for Persons with Disabilities and Senior Citizens.

Published in:

International Journal of Advanced Computer Science & Applications, 2023, v. 14, n. 11, p. 1073, doi. 10.14569/ijacsa.2023.01411109

By:

Red Jr, Guillermo V.;
Palaoag, Thelma D.;
Naz, Vince Angelo E.

Publication type:

Article

PROBLEMS IN PROGRAMMING EDUCATION AND MEANS OF THEIR IMPROVEMENT.

Published in:

DAAAM International Scientific Book, 2014, p. 459, doi. 10.2507/daaam.scibook.2014.37

By:

KONECKI, M.

Publication type:

Article

A UNIVERSE OF STRICTLY POSITIVE FAMILIES.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 83, doi. 10.1142/S0129054109006462

By:

Morris, Peter;
Altenkirch, Thorsten;
Ghani, Neil

Publication type:

Article

Modeling Fuzzy Data with Fuzzy Data Types in Fuzzy Database and XML Models.

Published in:

International Arab Journal of Information Technology (IAJIT), 2013, v. 10, n. 6, p. 610

By:

Li Yan

Publication type:

Article

Automatic Mapping of MPEG-7 Descriptions to Relational Database.

Published in:

International Arab Journal of Information Technology (IAJIT), 2012, v. 9, n. 6, p. 578

By:

AL-zoubi, Ala'a;
Al-zoubi, Mohammad

Publication type:

Article

ACTIONABLE PERSISTENT IDENTIFIER COLLECTIONS.

Published in:

Data Science Journal, 2014, v. 12, p. 191, doi. 10.2481/dsj.12-058

By:

Weigel, Tobias;
Kindermann, Stephan;
Lautenschlager, Michael

Publication type:

Article

Benutzerforschung anhand von Log-Dateien: Chancen, Grenzen und aktuelle Trends.

Published in:

Information -- Wissenschaft und Praxis, 2011, v. 62, n. 1, p. 29

By:

Mandl, Thomas;
Schulz, Julia Maria;
Mahrholz, Nadine;
Werner, Katrin

Publication type:

Article

The quest for runware: on compositional, executable and intuitive models.

Published in:

Software & Systems Modeling, 2012, v. 11, n. 4, p. 599, doi. 10.1007/s10270-012-0258-8

By:

Harel, David;
Marron, Assaf

Publication type:

Article

High precision modeling towards the 10<sup>-20</sup> level.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2013, v. 93, n. 6/7, p. 492, doi. 10.1002/zamm.201200074

By:

Stephan, E.P.;
Andres, M.;
Banz, L.;
Costea, A.;
Nesemann, L.;
Lämmerzahl, C.;
Hackmann, E.;
Herrmann, S.;
Rievers, B.

Publication type:

Article

Concept Analysis for Module Restructuring.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 4, p. 351, doi. 10.1109/32.917524

By:

Tonella, Paolo

Publication type:

Article

Automatically Checking an Implementation against Its Formal Specification.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 1, p. 55, doi. 10.1109/32.825766

By:

Antoy, Sergio;
Hamlet, Dick

Publication type:

Article

Hierarchical dynamic time warping method for evaluating time series similarity.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 5, p. 1370, doi. 10.3969/j.issn.1001-3695.2014.05.020

By:

WU Xue-yan;
MO Zan

Publication type:

Article

Neighborhood socioeconomic conditions and depression: a systematic review and meta-analysis.

Published in:

2015

By:

Richardson, Robin;
Westley, Tracy;
Gariépy, Geneviève;
Austin, Nichole;
Nandi, Arijit;
Gariépy, Geneviève

Publication type:

journal article

Towards Collaborative Group Activity Recognition Using Mobile Devices.

Published in:

Mobile Networks & Applications, 2013, v. 18, n. 3, p. 326, doi. 10.1007/s11036-012-0415-x

By:

Gordon, Dawud;
Hanne, Jan-Hendrik;
Berchtold, Martin;
Shirehjini, Ali;
Beigl, Michael

Publication type:

Article

Partograph Utilization and Associated Factors among Obstetric Care Providers at Public Health Facilities in Hadiya Zone, Southern Ethiopia.

Published in:

Journal of Pregnancy, 2020, p. 1, doi. 10.1155/2020/3943498

By:

Haile, Yosef;
Tafese, Fikru;
Weldemarium, Tesfaye Dagne;
Rad, Mulugeta Hailu

Publication type:

Article

Correlation of Venous Lactate and Time of Death in Emergency Department Patients with Noncritical Lactate Levels and Mortality from Trauma.

Published in:

Journal of Emergencies, Trauma & Shock, 2017, v. 10, n. 3, p. 93, doi. 10.4103/JETS.JETS_68_16

By:

Jain, Ashika;
Aluisio, Adam;
Baron, Bonny J.;
Sinert, Richard;
Sarraf, Saman;
Legome, Eric;
Roudnitsky, Valery;
Boudourakis, Leon;
Zehtabchi, Shahriar

Publication type:

Article

A retrospective chart review validates indicator results and provides insight into reasons for non-concordance with evidence-based guidelines.

Published in:

Current Oncology, 2012, v. 19, n. 6, p. 329

By:

Klein-Geltink, J.;
Forte, T.;
Rahal, R.;
Niu, J.;
He, D.;
Lockwood, G.;
Cheung, W.;
Darling, G.;
Bryant, H.

Publication type:

Article

Some classes containing a fork algebra equivalent variety involving projections.

Published in:

Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 203, doi. 10.1093/jigpal/6.2.203

By:

Durán, JE

Publication type:

Article

The Differential Contributions of Conceptual Representation Format and Language Structure to Levels of Semantic Abstraction Capacity.

Published in:

Neuropsychology Review, 2017, v. 27, n. 2, p. 134, doi. 10.1007/s11065-016-9339-8

By:

Gainotti, Guido

Publication type:

Article

Interactive Modeling of 3D Tree with Ball B-Spline Curves.

Published in:

International Journal of Virtual Reality, 2009, v. 8, n. 2, p. 101, doi. 10.20870/ijvr.2009.8.2.2731

By:

Zhongke Wu;
Mingquan Zhou;
Xingce Wang

Publication type:

Article

World Health Organization Estimates of the Global and Regional Disease Burden of 11 Foodborne Parasitic Diseases, 2010: A Data Synthesis.

Published in:

2015

By:

Torgerson, Paul R.;
Devleesschauwer, Brecht;
Praet, Nicolas;
Speybroeck, Niko;
Willingham, Arve Lee;
Kasuga, Fumiko;
Rokni, Mohammad B.;
Zhou, Xiao-Nong;
Fèvre, Eric M.;
Sripa, Banchob;
Gargouri, Neyla;
Fürst, Thomas;
Budke, Christine M.;
Carabin, Hélène;
Kirk, Martyn D.;
Angulo, Frederick J.;
Havelaar, Arie;
de Silva, Nilanthi

Publication type:

journal article

A local search algorithm for ray-convex polyhedron intersection.

Published in:

Computational Optimization & Applications, 2012, v. 51, n. 2, p. 533, doi. 10.1007/s10589-010-9354-2

By:

Llanas, Bernardo;
Sáinz, Francisco

Publication type:

Article

Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions.

Published in:

International Journal of Parallel Programming, 2010, v. 38, n. 5/6, p. 361, doi. 10.1007/s10766-010-0139-0

By:

Liao, Chunhua;
Quinlan, Daniel;
Willcock, Jeremiah;
Panas, Thomas

Publication type:

Article

A generic grid interface for parallel and adaptive scientific computing. Part II: implementation and tests in DUNE.

Published in:

Computing, 2008, v. 82, n. 2/3, p. 121, doi. 10.1007/s00607-008-0004-9

By:

Bastian, P.;
Blatt, M.;
Dedner, A.;
Engwer, C.;
Klöfkorn, R.;
Kornhuber, R.;
Ohlberger, M.;
Sander, O.

Publication type:

Article

Practical ultra-reliability for abstract data types.

Published in:

Software Testing: Verification & Reliability, 2007, v. 17, n. 3, p. 183, doi. 10.1002/stvr.367

By:

Nikolik, Borislav;
Hamlet, Dick

Publication type:

Article

Strategies to Prevent or Reduce Gender Bias in Peer Review of Research Grants: A Rapid Scoping Review.

Published in:

PLoS ONE, 2017, v. 12, n. 1, p. 1, doi. 10.1371/journal.pone.0169718

By:

Tricco, Andrea C.;
Thomas, Sonia M.;
Antony, Jesmin;
Rios, Patricia;
Robson, Reid;
Pattani, Reena;
Ghassemi, Marco;
Sullivan, Shannon;
Selvaratnam, Inthuja;
Tannenbaum, Cara;
Straus, Sharon E.

Publication type:

Article

Implanting Loop Recorders in a Hospital Unit versus the Electrophysiology Laboratory: A Retrospective Chart Review.

Published in:

Nursing & Health Sciences Research Journal, 2019, v. 2, n. 1, p. 30, doi. 10.55481/2578-3750.1032

By:

Lafontant, Marie-Paule M.;
Smith, Valerie E.;
Sadule-Rios, Nohemi;
Lambert, Marsha Camille

Publication type:

Article

Early childhood caries.

Published in:

Evidence-Based Dentistry, 2013, v. 14, n. 2, p. 40, doi. 10.1038/sj.ebd.6400928

By:

O'Keefe, Emma

Publication type:

Article

Towards performance portability through runtime adaptation for high-performance computing applications.

Published in:

Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 16, p. 2230

By:

Gabriel, Edgar;
Feki, Saber;
Benkert, Katharina;
Resch, Michael M.

Publication type:

Article

Abstraction of levels of abstraction.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2015, v. 27, n. 1, p. 23, doi. 10.1080/0952813X.2014.940685

By:

Ganascia, Jean-Gabriel

Publication type:

Article

Computational models and information theory.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2012, v. 24, n. 3, p. 401, doi. 10.1080/0952813X.2012.693667

By:

Camardi, Giovanni

Publication type:

Article

ATTA converter: software for converting data between ArcGIS and TerrSet.

Published in:

Earth Science Informatics, 2019, v. 12, n. 1, p. 117, doi. 10.1007/s12145-018-0359-1

By:

Pinos, Jan;
Dobesova, Zdena

Publication type:

Article

PRODUCT DESIGN PRINCIPLES.

Published in:

Fiability & Durability / Fiabilitate si Durabilitate, 2014, n. 1, p. 222

By:

GHIMIŞI, Ştefan;
NICULA, Dana

Publication type:

Article

Quality of death notification forms in North West Bank/Palestine: a descriptive study.

Published in:

BMC Research Notes, 2017, v. 10, p. 1, doi. 10.1186/s13104-017-2469-0

By:

Qaddumi, Jamal A. S.;
Nazzal, Zaher;
Yacoup, R. S. Allam;
Mansour, Mahmoud

Publication type:

Article

Informatics for QBD.

Published in:: Chemistry & Industry, 2017, v. 81, n. 10, p. 34, doi. 10.1002/cind.8110_9.x
Publication type:: Article

An ontology-based procedure for generating object model from text description.

Published in:

Knowledge & Information Systems, 2006, v. 10, n. 1, p. 93, doi. 10.1007/s10115-005-0218-5

By:

Vongdoiwang, Waralak;
Batanov, Dencho N.

Publication type:

Article

CWig: compressed representation of Wiggle/BedGraph format.

Published in:

Bioinformatics, 2014, v. 30, n. 18, p. 2543, doi. 10.1093/bioinformatics/btu330

By:

Huy Hoang, Do;
Sung, Wing-Kin

Publication type:

Article

Bendix: intuitive helix geometry analysis and abstraction.

Published in:

Bioinformatics, 2012, v. 28, n. 16, p. 2193, doi. 10.1093/bioinformatics/bts357

By:

Dahl, Anna Caroline E.;
Chavent, Matthieu;
Sansom, Mark S. P.

Publication type:

Article

Formal modelling of IEC 61499 function blocks with integer-valued data types.

Published in:

Control & Cybernetics, 2010, v. 39, n. 1, p. 197

By:

Gerber, Christian;
Ivanova-Vasileva, Ioanna;
Hanisch, Hans-Michael

Publication type:

Article

Survivable Network Design and Optimization with Network Families.

Published in:

Journal of Computer Networks & Communications, 2014, p. 1, doi. 10.1155/2014/940130

By:

Todd, Brody;
Ibigbami, Abiose;
Doucette, John

Publication type:

Article

Trends in the surgical management of stage 1 renal cell carcinoma: findings from a population-based study.

Published in:

BJU International, 2017, v. 120, p. 6, doi. 10.1111/bju.13889

By:

White, Victoria;
Marco, David J.T.;
Bolton, Damien;
Davis, Ian Douglas;
Jefford, Michael;
Hill, David;
Prince, Henry Miles;
Millar, Jeremy L.;
Winship, Ingrid M.;
Coory, Michael;
Giles, Graham G.

Publication type:

Article

Efficient abstracting of dive profiles using a broken-stick model.

Published in:

Methods in Ecology & Evolution, 2015, v. 6, n. 3, p. 278, doi. 10.1111/2041-210X.12328

By:

Photopoulou, Theoni;
Lovell, Philip;
Fedak, Michael A.;
Thomas, Len;
Matthiopoulos, Jason;
Börger, Luca

Publication type:

Article

Practical Foundations for Programming Languages.

Published in:

2014

By:

WATT, DAVID

Publication type:

Book Review

Generic top-down discrimination for sorting and partitioning in linear time.

Published in:

Journal of Functional Programming, 2012, v. 22, n. 3, p. 300, doi. 10.1017/S0956796812000160

By:

HENGLEIN, FRITZ

Publication type:

Article

Data types ? la carte.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 4, p. 423, doi. 10.1017/s0956796808006758

By:

WOUTER SWIERSTRA

Publication type:

Article