Works matching DE "COMPUTER science research"

Results: 469

Information Technology Acceptance in the Social Services Sector Context: An Exploration.

Published in:

Social Work, 2007, v. 52, n. 3, p. 221, doi. 10.1093/sw/52.3.221

By:

Zhang, Wei;
Gutierrez, Oscar

Publication type:

Article

CRAFTING A CRITICAL TECHNICAL PRACTICE.

Published in:

Leonardo, 2010, v. 43, n. 2, p. 202, doi. 10.1162/leon.2010.43.2.202

By:

Woolford, Kirk;
Blackwell, Alan F.;
Chevalier, Cecile

Publication type:

Article

Interview: Dr. Michele Mosca: Quantum Computing Today and To Come.

Published in:

2018

By:

Mosca

Publication type:

Interview

Artificial neural networks in policy research: A current assessment.

Published in:

Journal of Communication, 1993, v. 43, n. 1, p. 63, doi. 10.1111/j.1460-2466.1993.tb01249.x

By:

Woelfel, Joseph

Publication type:

Article

Evoluția materialelor.

Published in:

dentalTarget, 2015, v. 10, n. 1, p. 20

By:

Ioan Petri, Cristian

Publication type:

Article

Atomic distributions in crystal structures solved by Boolean satisfiability techniques.

Published in:

Zeitschrift für Kristallographie. Crystalline Materials, 2016, v. 231, n. 2, p. 107, doi. 10.1515/zkri-2015-1887

By:

Soeken, Mathias;
Drechsler, Rolf;
Fischer, Reinhard X.

Publication type:

Article

Feasibility Study of a Distributed and Parallel Environment for Implementing the Standard Version of AAM Model.

Published in:

Journal of Information Processing Systems, 2016, v. 12, n. 1, p. 149, doi. 10.3745/JIPS.02.0039

By:

Naoui, Moulkheir;
Mahmoudi, Saïd;
Belalem, Ghalem

Publication type:

Article

An Experimental Implementation of a Cross-Layer Approach for Improving TCP Performance over Cognitive Radio Networks.

Published in:

Journal of Information Processing Systems, 2016, v. 12, n. 1, p. 73, doi. 10.3745/JIPS.03.0041

By:

Sang-Seon Byun

Publication type:

Article

A Comprehensive Review of Emerging Computational Methods for Gene Identification.

Published in:

Journal of Information Processing Systems, 2016, v. 12, n. 1, p. 1, doi. 10.3745/JIPS.04.0023

By:

Ning Yu;
Zeng Yu;
Bing Li;
Feng Gu;
Yi Pan

Publication type:

Article

ESTIMATING NULL VALUES IN RELATIONAL DATABASE SYSTEMS HAVING NEGATIVE DEPENDENCY RELATIONSHIPS BETWEEN ATTRIBUTES.

Published in:

Cybernetics & Systems, 2009, v. 40, n. 2, p. 146, doi. 10.1080/01969720802634063

By:

Shyi-Ming Chen;
Shu-Ting Chang

Publication type:

Article

REFLEXIVE ONTOLOGIES: ENHANCING ONTOLOGIES WITH SELF-CONTAINED QUERIES.

Published in:

Cybernetics & Systems, 2008, v. 39, n. 2, p. 171, doi. 10.1080/01969720701853467

By:

Toro, Carlos;
Sanín, Cesar;
Szczerbicki, Edward;
Posada, Jorge

Publication type:

Article

BRAIN GENE ONTOLOGY AND SIMULATION SYSTEM (BGOS) FOR A BETTER UNDERSTANDING OF THE BRAIN.

Published in:

Cybernetics & Systems, 2007, v. 38, n. 5/6, p. 495, doi. 10.1080/01969720701344277

By:

Kasabov, Nikola;
Jain, Vishal;
Gottgtroy, Paulo C. M.;
Benuskova, Lubica;
Joseph, Frances

Publication type:

Article

NEURAL NETWORKS AND OPTIMIZATION ALGORITHMS APPLIED FOR CONSTRUCTION OF LOW NOISE TREAD PROFILES.

Published in:

Cybernetics & Systems, 2007, v. 38, n. 5/6, p. 535, doi. 10.1080/01969720701345993

By:

Becker, Matthias;
Szczerbicka, Helena;
Thomas, Michael

Publication type:

Article

Transient Performance Improvement of Thermal System Connected to Grid Using Distributed Generation and Capacitive Energy Storage Unit.

Published in:

International Journal on Electrical Engineering & Informatics, 2010, v. 2, n. 3, p. 159

By:

Chatterjee, A.;
Ghoshal, S. P.;
Mukherjee, V.

Publication type:

Article

The "Starry Skies" of Astronomical Medicine.

Published in:

American Biology Teacher (National Association of Biology Teachers), 2009, v. 71, n. 9, p. 520, doi. 10.2307/20565373

By:

Yang, Andrew

Publication type:

Article

SOME ASPECTS ABOUT TOPOS THEORY AND TREE AUTOMATA.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2013, v. 58, n. 4, p. 12

By:

STEINGARTNER, WILLIAM

Publication type:

Article

COALGEBRAIC APPROACH FOR PROGRAM BEHAVIOR IN COMONADS OVER TOPOSES.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2010, v. 55, n. 2, p. 15

By:

Slodičák, Viliam;
Novitzká, Valerie

Publication type:

Article

A survey of software and hardware use in artificial neural networks.

Published in:

Neural Computing & Applications, 2013, v. 23, n. 3/4, p. 591, doi. 10.1007/s00521-013-1406-y

By:

Baptista, Darío;
Abreu, Sandy;
Freitas, Filipe;
Vasconcelos, Rita;
Morgado-Dias, Fernando

Publication type:

Article

RETRACTED ARTICLE: Research on the distal supervised learning model with tract variables.

Published in:

Neural Computing & Applications, 2013, v. 23, n. 2, p. 573, doi. 10.1007/s00521-012-1159-z

By:

Zhang, Shaobai;
Chen, Ying;
Cheng, Xiefeng

Publication type:

Article

Human-Centered Computing: Defining a Research Agenda.

Published in:

International Journal of Human-Computer Interaction, 2008, v. 24, n. 1, p. 2, doi. 10.1080/10447310701771456

By:

Sears, Andrew;
Lazar, Jonathan;
Ozok, Ant;
Meiselwitz, Gabriele

Publication type:

Article

COMPUTER SCIENCE SECURITY RESEARCH AND HUMAN SUBJECTS: EMERGING CONSIDERATIONS FOR RESEARCH ETHICS BOARDS.

Published in:

Journal of Empirical Research on Human Research Ethics, 2011, v. 6, n. 2, p. 71, doi. 10.1525/jer.2011.6.2.71

By:

BUCHANAN, ELIZABETH;
AYCOCK, JOHN;
DEXTER, SCOTT;
DITTRICH, DAVID;
HVIZDAK, ERIN

Publication type:

Article

Properties of the Multiservice Erlang's Ideal Gradings.

Published in:

Journal of Telecommunications & Information Technology, 2016, n. 1, p. 37, doi. 10.26636/jtit.2016.1.702

By:

Hanczewski, Sławomir;
Kmiecik, Damian

Publication type:

Article

Study of No-Reference Video Quality Metrics for HEVC Compression.

Published in:

Journal of Telecommunications & Information Technology, 2016, n. 1, p. 22

By:

Rouis, Kais;
Leszczuk, Mikołaj;
Janowski, Lucjan;
Papir, Zdzisław;
Tahar, Jamal Bel Hadj

Publication type:

Article

Decision-Making Method Using Interval-Valued Intuitionistic Fuzzy Cross-Entropy Based on the Weighted Reduction Intuitionistic Fuzzy Sets.

Published in:

Journal of Algorithms & Computational Technology, 2014, v. 8, n. 3, p. 301, doi. 10.1260/1748-3018.8.3.301

By:

Ye, Jun

Publication type:

Article

The (Social) Construction of Information Security.

Published in:

Information Society, 2011, v. 27, n. 5, p. 326, doi. 10.1080/01972243.2011.607038

By:

Pieters, Wolter

Publication type:

Article

Adattármustra. Egészségugy, orvostudomány.

Published in:

Tudományos és Műszaki Tájékoztatás, 2007, v. 54, n. 2, p. 66

By:

Drótos, László;
Somogyi, Tamás

Publication type:

Article

A tartalomszolgáltatás egy üj môdja a Pécsi Tudományegyetem Allam-és Jogtudomãnyi Kari és Közgazdaságtudományi Kari Könyvtárában.

Published in:

Tudományos és Műszaki Tájékoztatás, 2007, v. 54, n. 2, p. 62

By:

Kovács, Kármen

Publication type:

Article

Információkeresés.

Published in:

Tudományos és Műszaki Tájékoztatás, 2007, v. 54, n. 2, p. 55

By:

Rédey, Gábor;
Neumann, Attila;
Sutó, Zoltán

Publication type:

Article

E-commerce system quality assessment using a model based on ISO 9126 and Belief Networks.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 107, doi. 10.1007/s11219-007-9032-5

By:

Antonia Stefani;
Michalis Xenos

Publication type:

Article

A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 131, doi. 10.1007/s11219-007-9034-3

By:

Owen Funkhouser;
Letha Etzkorn;
William Hughes

Publication type:

Article

Empirical studies to assess the understandability of data warehouse schemas using structural metrics.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 79, doi. 10.1007/s11219-007-9030-7

By:

Manuel Serrano;
Coral Calero;
Mario Piattini

Publication type:

Article

A scalable method for testing real-time systems.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 3, doi. 10.1007/s11219-007-9021-8

By:

Abdeslam En-Nouaary

Publication type:

Article

Simulation-based analysis of UML statechart diagrams: methods and case studies.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 45, doi. 10.1007/s11219-007-9020-9

By:

Jiexin Lian;
Zhaoxia Hu;
Sol Shatz

Publication type:

Article

An exploratory study of the effect of aspect-oriented programming on maintainability.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 23, doi. 10.1007/s11219-007-9022-7

By:

Marc Bartsch;
Rachel Harrison

Publication type:

Article

Secure Two-Party Computation via Cut-and-Choose Oblivious Transfer.

Published in:

Journal of Cryptology, 2012, v. 25, n. 4, p. 680, doi. 10.1007/s00145-011-9107-0

By:

Lindell, Yehuda;
Pinkas, Benny

Publication type:

Article

Distinguishing extended finite state machine configurations using predicate abstraction.

Published in:

Journal of Software Engineering Research & Development, 2016, v. 4, n. 1, p. 1, doi. 10.1186/s40411-016-0027-4

By:

El-Fakih, Khaled;
Yevtushenko, Nina;
Bozga, Marius;
Bensalem, Saddek

Publication type:

Article

The development of computer science research in the People’s Republic of China 2000–2009: a bibliometric study.

Published in:

Information Development, 2013, v. 29, n. 3, p. 251, doi. 10.1177/0266666912458515

By:

Xie, Zhilong;
Willett, Peter

Publication type:

Article

Stably compact spaces.

Published in:

Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. 125, doi. 10.1017/S0960129510000319

By:

LAWSON, JIMMIE

Publication type:

Article

Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008-2009).

Published in:: Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 705, doi. 10.1017/S0960129510000277
Publication type:: Article

Logical relations for monadic types?

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1169, doi. 10.1017/S0960129508007172

By:

JEAN GOUBAULT-LARRECQ;
S?AWOMIR LASOTA;
DAVID NOWAK

Publication type:

Article

Using groups for investigating rewrite systems.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1133, doi. 10.1017/S0960129508007160

By:

PATRICK DEHORNOY;
VINCENT VAN OOSTROM

Publication type:

Article

Bunched polymorphism.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1091, doi. 10.1017/S0960129508007159

By:

MATTHEW COLLINSON;
DAVID PYM;
EDMUND ROBINSON

Publication type:

Article

A ground-complete axiomatisation of finite-state processes in a generic process algebra.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1057, doi. 10.1017/S0960129508007111

By:

JOS C. M. BAETEN;
MARIO BRAVETTI

Publication type:

Article

On the interpretation of mathematical entities in the formalisation of programming and modelling languages.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1017, doi. 10.1017/S096012950800697X

By:

JOS? M. CA?ETE-VALDE?N

Publication type:

Article

An Alternative Approach in Generation and Possession of Backup Codes in Multi-Factor Authentication Scheme.

Published in:

BVICAM's International Journal of Information Technology, 2015, v. 7, n. 2, p. 883

By:

D'Mello, Darren Pradeep

Publication type:

Article

Switching from computer to microcomputer architecture education.

Published in:

European Journal of Engineering Education, 2010, v. 35, n. 1, p. 91, doi. 10.1080/03043790903312162

By:

Bolanakis, DimosthenisE.;
Kotsis, KonstantinosT.;
Laopoulos, Theodore

Publication type:

Article

A View on a Successful International Educational Project in Software Engineering.

Published in:

e-Informatica, 2012, v. 6, n. 1, p. 47, doi. 10.5277/e-Inf120104

By:

Budimac, Zoran;
Putnik, Zoran;
Ivanović, Mirjana;
Bothe, Klaus

Publication type:

Article

Editorial.

Published in:

GSTF Journal on Computing, 2012, v. 2, n. 2, p. 1

By:

Bhargava, Bharat

Publication type:

Article

On Codd Families of Keys over Incomplete Relations.

Published in:

Computer Journal, 2011, v. 54, n. 7, p. 1166, doi. 10.1093/comjnl/bxq073

By:

Hartmann, Sven;
Leck, Uwe;
Link, Sebastian

Publication type:

Article

Closing a System in the Dynamic Input/Output Automata Model.

Published in:

Computer Journal, 2011, v. 54, n. 7, p. 1038, doi. 10.1093/comjnl/bxq047

By:

Kapus, Tatjana

Publication type:

Article