Works about ABSTRACT data types (Computer science)

Results: 113

Efficient verification of timed automata with BDD-like data structures.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 77, doi. 10.1007/s10009-003-0135-4

By:

Wang, Farn

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

Automating Data Abstraction in a Quality Improvement Platform for Surgical and Interventional Procedures.

Published in:

eGEMS (Generating Evidence & Methods to Improve Patient Outcomes), 2014, v. 2, n. 1, p. 1, doi. 10.13063/2327-9214.1114

By:

Yetisgen, Meliha;
Klassen, Prescott;
Tarczy-Hornoch, Peter

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

INDUCTIVE COMPUTATIONS ON GRAPHS DEFINED BY CLIQUE-WIDTH EXPRESSIONS.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 3, p. 625, doi. 10.1051/ita/2009010

By:

CARRÈRE, FRÉDÉRIQUE

Publication type:

Article

Data Abstraction for Visualizing Large Time Series.

Published in:

Computer Graphics Forum, 2018, v. 37, n. 1, p. 125, doi. 10.1111/cgf.13237

By:

Shurkhovetskyy, G.;
Andrienko, N.;
Andrienko, G.;
Fuchs, G.

Publication type:

Article

Detangler: Visual Analytics for Multiplex Networks.

Published in:

Computer Graphics Forum, 2015, v. 34, n. 3, p. 321, doi. 10.1111/cgf.12644

By:

Renoust, B.;
Melançon, G.;
Munzner, T.

Publication type:

Article

A Shot at Visual Vulnerability Analysis.

Published in:

Computer Graphics Forum, 2015, v. 34, n. 3, p. 391, doi. 10.1111/cgf.12651

By:

Kerzner, Ethan;
Butler, Lee A.;
Hansen, Charles;
Meyer, Miriah

Publication type:

Article

Modelling of Non-Periodic Aggregates Having a Pile Structure.

Published in:

Computer Graphics Forum, 2014, v. 33, n. 1, p. 190, doi. 10.1111/cgf.12266

By:

Sakurai, K.;
Miyata, K.

Publication type:

Article

Spherical Visibility Sampling.

Published in:

Computer Graphics Forum, 2013, v. 32, n. 4, p. 49, doi. 10.1111/cgf.12150

By:

Eikel, Benjamin;
Jähn, Claudius;
Fischer, Matthias;
auf der Heide, Friedhelm Meyer

Publication type:

Article

An Interactive Analysis and Exploration Tool for Epigenomic Data.

Published in:

Computer Graphics Forum, 2013, v. 32, n. 3pt1, p. 91, doi. 10.1111/cgf.12096

By:

Younesy, H.;
Nielsen, C.B.;
Möller, T.;
Alder, O.;
Cullum, R.;
Lorincz, M.C.;
Karimi, M.M.;
Jones, S.J.M.

Publication type:

Article

State of the Art Report on Video-Based Graphics and Video Visualization.

Published in:

Computer Graphics Forum, 2012, v. 31, n. 8, p. 2450, doi. 10.1111/j.1467-8659.2012.03158.x

By:

Borgo, R.;
Chen, M.;
Daubney, B.;
Grundy, E.;
Heidemann, G.;
Höferlin, B.;
Höferlin, M.;
Leitte, H.;
Weiskopf, D.;
Xie, X.

Publication type:

Article

Comparative Evaluation of an Interactive Time-Series Visualization that Combines Quantitative Data with Qualitative Abstractions.

Published in:

Computer Graphics Forum, 2012, v. 31, n. 3pt2, p. 995, doi. 10.1111/j.1467-8659.2012.03092.x

By:

Aigner, W.;
Rind, A.;
Hoffmann, S.

Publication type:

Article

Rasterized Bounding Volume Hierarchies.

Published in:

Computer Graphics Forum, 2012, v. 31, n. 2pt2, p. 403, doi. 10.1111/j.1467-8659.2012.03019.x

By:

Novák, Jan;
Dachsbacher, Carsten

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

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

Conducting mixed analyses: A general typology.

Published in:

International Journal of Multiple Research Approaches, 2007, v. 1, n. 1, p. 4, doi. 10.5172/mra.455.1.1.4

By:

Onwuegbuzie, Anthony J.;
Slate, John R.;
Leech, Nancy L.;
Collins, Kathleen M. T.

Publication type:

Article

Precision and Recall: An Ontological Perspective.

Published in:

Canadian Journal of Information & Library Sciences, 2017, v. 41, n. 1/2, p. 42

By:

Buck, William

Publication type:

Article

On Conceptual Micro-Object Modeling.

Published in:

Journal of Database Management, 2002, v. 13, n. 3, p. 1, doi. 10.4018/jdm.2002070101

By:

Eng Huang Chua, Cecil;
Chiang, Roger H.L.;
Ee-Peng Lim

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

Extending a hierarchical tiling arrays library to support sparse data partitioning.

Published in:

Journal of Supercomputing, 2013, v. 64, n. 1, p. 59, doi. 10.1007/s11227-012-0757-y

By:

Fresno, Javier;
Gonzalez-Escribano, Arturo;
Llanos, Diego

Publication type:

Article

A single complete refinement rule for Z.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 5, doi. 10.1093/logcom/10.5.663

By:

Derrick, J;
Derrick, John

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

Validation of Case-Finding Algorithms Derived from Administrative Data for Identifying Adults Living with Human Immunodeficiency Virus Infection.

Published in:

PLoS ONE, 2011, v. 6, n. 6, p. 1, doi. 10.1371/journal.pone.0021748

By:

Antoniou, Tony;
Zagorski, Brandon;
Loutfy, Mona R.;
Strike, Carol;
Glazier, Richard 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

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 névterek és az adatok tulajdonságai.

Published in:

2012

By:

Rudolf, Ungváry

Publication type:

Essay

A systematic review to evaluate the accuracy of electronic adverse drug event detection.

Published in:

Journal of the American Medical Informatics Association, 2012, v. 19, n. 1, p. 31, doi. 10.1136/amiajnl-2011-000454

By:

Forster, Alan J.;
Jennings, Alison;
Chow, Claire;
Leeder, Ciera;
Walraven, Carl van

Publication type:

Article

Drug side effect extraction from clinical narratives of psychiatry and psychology patients.

Published in:

Journal of the American Medical Informatics Association, 2011, v. 18, p. i144, doi. 10.1136/amiajnl-2011-000351

By:

Sohn, Sunghwan;
Kocher, Jean-Pierre A.;
Chute, Christopher G.;
Savova, Guergana K.

Publication type:

Article

Prevalence of chloroquine resistance alleles among Plasmodium falciparum parasites in countries affected by malaria disease since change of treatment policy: a systematic review protocol.

Published in:

Systematic Reviews, 2018, v. 7, n. 1, p. N.PAG, doi. 10.1186/s13643-018-0780-z

By:

Ocan, Moses;
Akena, Dickens;
Nsobya, Sam;
Kamya, Moses R.;
Senono, Richard;
Kinengyere, Alison Annet;
Obuku, Ekwaro A.

Publication type:

Article

Evaluating Data Abstraction Assistant, a novel software application for data abstraction during systematic reviews: protocol for a randomized controlled trial.

Published in:

Systematic Reviews, 2016, v. 5, p. 1, doi. 10.1186/s13643-016-0373-7

By:

Saldanha, Ian J.;
Schmid, Christopher H.;
Lau, Joseph;
Dickersin, Kay;
Berlin, Jesse A.;
Jap, Jens;
Smith, Bryant T.;
Carini, Simona;
Wiley Chan;
De Bruijn, Berry;
Wallace, Byron C.;
Hutfless, Susan M.;
Ida Sim;
Murad, M. Hassan;
Walsh, Sandra A.;
Whamond, Elizabeth J.;
Tianjing Li

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

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

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

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

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

Traceable Recursion with Graphical Illustration for Novice Programmers.

Published in:

InSight: A Journal of Scholarly Teaching, 2010, v. 5, p. 54

By:

Sa, Leonardo;
Wen-Jung Hsin

Publication type:

Article

The effect of health facility delivery on neonatal mortality: systematic review and meta-analysis.

Published in:

BMC Pregnancy & Childbirth, 2013, v. 13, n. 1, p. 1, doi. 10.1186/1471-2393-13-18

By:

Tura, Gurmesa;
Fantahun, Mesganaw;
Worku, Alemayehu

Publication type:

Article

Barriers and facilitators to evidence-use in program management: a systematic review of the literature.

Published in:

BMC Health Services Research, 2014, v. 14, n. 1, p. 1, doi. 10.1186/1472-6963-14-171

By:

Humphries1, Serena;
Stafinski2, Tania;
Mumtaz3, Zubia;
Menon4, Devidas

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

Atlas versus range maps: robustness of chorological relationships to distribution data types in European mammals.

Published in:

Journal of Biogeography, 2012, v. 39, n. 8, p. 1391, doi. 10.1111/j.1365-2699.2012.02762.x

By:

Márcia Barbosa, A.;
Estrada, Alba;
Márquez, Ana L.;
Purvis, Andy;
Orme, C. David L.

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

Implementation of Abstract Data Types in Dynamic Sketches for Learning Geometry.

Published in:

Informatics in Education, 2014, v. 13, n. 2, p. 209, doi. 10.15388/infedu.2014.12

By:

JASUTĖ, Eglė;
DAGIENĖ, Valentina

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

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

A Smooth Concurrency Revolution with Free Objects.

Published in:

IEEE Internet Computing, 2007, v. 11, n. 4, p. 82, doi. 10.1109/MIC.2007.76

By:

Guerraoui, Rachid

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