Works matching DE "SYNTAX in programming languages"

Results: 222

A curated and evolving linguistic linked dataset.

Published in:

Semantic Web (1570-0844), 2013, v. 4, n. 3, p. 265, doi. 10.3233/SW-2012-0083

By:

Di Buccio, Emanuele;
Di Nunzio, Giorgio Maria;
Silvello, Gianmaria

Publication type:

Article

The understandability of OWL statements in controlled English.

Published in:

Semantic Web (1570-0844), 2013, v. 4, n. 1, p. 101, doi. 10.3233/sw-2012-0063

By:

Kuhn, Tobias

Publication type:

Article

Probabilistic (logic) programming concepts.

Published in:

Machine Learning, 2015, v. 100, n. 1, p. 5, doi. 10.1007/s10994-015-5494-z

By:

De Raedt, Luc;
Kimmig, Angelika

Publication type:

Article

Distributional learning of parallel multiple context-free grammars.

Published in:

Machine Learning, 2014, v. 96, n. 1-2, p. 5, doi. 10.1007/s10994-013-5403-2

By:

Clark, Alexander;
Yoshinaka, Ryo

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

BioQueue: a novel pipeline framework to accelerate bioinformatics analysis.

Published in:

Bioinformatics, 2017, v. 33, n. 20, p. 3286, doi. 10.1093/bioinformatics/btx403

By:

Li Yao;
Heming Wang;
Yuanyuan Song;
Guangchao Sui

Publication type:

Article

Drug drug interaction extraction from biomedical literature using syntax convolutional neural network.

Published in:

Bioinformatics, 2016, v. 32, n. 22, p. 3444, doi. 10.1093/bioinformatics/btw486

By:

Zhehuan Zhao;
Zhihao Yang;
Ling Luo;
Hongfei Lin;
Jian Wang

Publication type:

Article

Coala: an R framework for coalescent simulation.

Published in:

Bioinformatics, 2016, v. 32, n. 12, p. 1903, doi. 10.1093/bioinformatics/btw098

By:

Staab, Paul R.;
Metzler, Dirk

Publication type:

Article

Syntax Phonology Interface: Argumentation from Tone Sandhi in Chinese Dialects.

Published in:

2021

By:

Jia Guo;
Chaolan Zhou;
Xiaoxue Tang

Publication type:

Book Review

HAZARD ANALYSIS OF AN AUTONOMOUS CONTAINER HANDLING SYSTEM - A COMPARISON OF STPA AND HAZOP METHODS.

Published in:

Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 25, doi. 10.26408/125.02

By:

Heikkilä, Eetu;
Malm, Timo;
Sarsama, Janne;
Tiusanen, Risto;
Ahonen, Toni

Publication type:

Article

基于 Qt 的 Veribg 故障注入工具设计与实现.

Published in:

Experimental Technology & Management, 2019, v. 36, n. 1, p. 153, doi. 10.16791/j.cnki.sjg.2019.01.036

By:

王洁;
康俊杰;
HOU Gang;
于健海

Publication type:

Article

Incorporating Visualization Tools and Active Learning Approach for Programming Courses.

Published in:

Journal of Engineering Education Transformations, 2022, v. 35, p. 92, doi. 10.16920/jeet/2022/v35is1/22014

By:

Patil, Ashwini;
Mane, Dadaso;
Shinde, Nitish

Publication type:

Article

The Acquisition of Syntax: A Nativist Perspective vs. A Cognitivist Perspective.

Published in:

Journal of Arts & Social Sciences (JASS), 2017, v. 8, n. 1, p. 5, doi. 10.24200/jass.vol8iss1pp5-20

By:

Al-Balush, Rashid

Publication type:

Article

A Parallel Algorithm for HEVC Entropy Coding Based on Syntax-level Grouping and Multi-thread Processing.

Published in:

Telecommunication Engineering, 2014, v. 54, n. 10, p. 1435, doi. 10.3969/j.issn.1001-893x.2014.10.022

By:

DI Jin-hong;
ZHANG Ke-xin;
QI Ji;
ZHANG Xin-ming

Publication type:

Article

Exploring college students' conceptions of learning computer science: a draw-a-picture technique study.

Published in:

Computer Science Education, 2021, v. 31, n. 1, p. 60, doi. 10.1080/08993408.2020.1783155

By:

Xu, Zhen;
Ritzhaupt, Albert D.;
Umapathy, Karthikeyan;
Ning, Yang;
Tsai, Chin-Chung

Publication type:

Article

Fitting item response unfolding models to Likert-scale data using mirt in R.

Published in:

PLoS ONE, 2018, v. 13, n. 5, p. 1, doi. 10.1371/journal.pone.0196292

By:

Liu, Chen-Wei;
Chalmers, R. Philip

Publication type:

Article

My Own Test Module.

Published in:

Perl Review, 2008, v. 4, n. 3, p. 20

By:

Nielsen, Jonas B.

Publication type:

Article

Ten simple rules for getting started with command-line bioinformatics.

Published in:

2021

By:

Brandies, Parice A.;
Hogg, Carolyn J.

Publication type:

Editorial

Designing and Developing Software for Educative Virtual Laboratories with Language Processing Techniques: Lessons Learned in Practical Experiments.

Published in:

Journal of Research & Practice in Information Technology, 2012, v. 44, n. 3, p. 289

By:

Castro-Schez, José Jesús;
Redondo, Miguel A.;
Gallardo, Jesús;
Jurado, Francisco

Publication type:

Article

k-Optimal: a novel approximate inference algorithm for ProbLog.

Published in:

Machine Learning, 2012, v. 89, n. 3, p. 215, doi. 10.1007/s10994-012-5304-9

By:

Renkens, Joris;
Broeck, Guy;
Nijssen, Siegfried

Publication type:

Article

Scalarization Using Loop Alignment and Loop Skewing.

Published in:

Journal of Supercomputing, 2005, v. 31, n. 1, p. 5, doi. 10.1023/B:SUPE.0000049323.47732.02

By:

Zhao, Yuan;
Kennedy, Ken

Publication type:

Article

Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms.

Published in:

Cybernetics & Systems Analysis, 2008, v. 44, n. 6, p. 941, doi. 10.1007/s10559-008-9068-y

By:

Akulovsky, V. G.

Publication type:

Article

Naming Practices in Object-oriented Programming: An Empirical Study.

Published in:

Journal of Software Engineering Research & Development, 2023, v. 11, n. 1, p. 1, doi. 10.5753/jserd.2023.2582

By:

Gresta, Remo;
Durelli, Vinicius;
Cirilo, Elder

Publication type:

Article

Simplifying the construction of source code transformations via automatic syntactic restructurings.

Published in:

Journal of Software: Evolution & Process, 2017, v. 29, n. 4, p. n/a, doi. 10.1002/smr.1831

By:

Newman, Christian D.;
Bartman, Brian;
Collard, Michael L.;
Maletic, Jonathan I.

Publication type:

Article

Embedded software development based on timing characteristics.

Published in:

Journal of Mines, Metals & Fuels, 2017, n. 13, p. 130

By:

WUMIN PAN

Publication type:

Article

9 Good Test Habits for New and Legacy Systems.

Published in:: Frontiers in Pharmacology, 2015, p. 323
Publication type:: Article

8 Smoke/Load Testing-- Testing Major Parts.

Published in:: Frontiers in Pharmacology, 2015, p. 275
Publication type:: Article

7 Measuring your Success with Test Coverage.

Published in:: Frontiers in Pharmacology, 2015, p. 241
Publication type:: Article

6 Integrating Automated Tests with Continuous Integration.

Published in:: Frontiers in Pharmacology, 2015, p. 217
Publication type:: Article

4 Testing Customer Stories with Behavior Driven Development.

Published in:: Frontiers in Pharmacology, 2015, p. 117
Publication type:: Article

3 Creating Testable Documentation with doctest.

Published in:: Frontiers in Pharmacology, 2015, p. 77
Publication type:: Article

A simple sequent calculus for nominal logic.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 2, p. 699, doi. 10.1093/logcom/exu024

By:

CHENEY, JAMES

Publication type:

Article

Towards a uniform presentation of logical systems by indexed categories and adjoint situations.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 1, p. 57, doi. 10.1093/logcom/exs038

By:

Wolter, U.;
Martini, A.;
Häusler, E. H.

Publication type:

Article

Uniqueness typing for resource management in message-passing concurrency.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 3, p. 531, doi. 10.1093/logcom/exs022

By:

DeVries, Edsko;
Francalanza, Adrian;
Hennessy, Matthew

Publication type:

Article

Hybrid approach for Detecting Code Clone by Metric and Token based comparison.

Published in:

International Journal of Advanced Research in Computer Science, 2016, v. 7, n. 6, p. 297

By:

Deepali;
Gupta, Ankur;
Batra, Chirag

Publication type:

Article

Semantics Based Image Retrieval from Cyberspace-A Review Study.

Published in:

International Journal of Advanced Research in Computer Science, 2016, v. 7, n. 4, p. 16

By:

Singh, Virender;
Gupta, Rajeev

Publication type:

Article

Prosodic Models of Indonesian Language: State of the Art.

Published in:

International Journal of Advanced Research in Computer Science, 2014, v. 5, n. 6, p. 251

By:

Arif, B.;
Putra, N.;
Kuspriyanto;
Waluyo Purboyo, Tito

Publication type:

Article

Word Sense Disambiguation using Phases of Compiler.

Published in:

International Journal of Advanced Research in Computer Science, 2014, v. 5, n. 6, p. 159

By:

Romika Yadav, Garima;
Seharawat, Amit

Publication type:

Article

Removing the Redundancies in XML Document Design using GN-DTD.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 1, p. 322

By:

Wankhade, Jagruti S.;
Gulhane, Vijay S.

Publication type:

Article

ModelCC - A Pragmatic Parser Generator.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2014, v. 24, n. 8, p. 1177, doi. 10.1142/S0218194014500375

By:

Quesada, Luis;
Berzal, Fernando;
Cubero, Juan-Carlos

Publication type:

Article

CONNECTING CLOSED WORLD RESEARCH INFORMATION SYSTEMS THROUGH THE LINKED OPEN DATA WEB.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 3, p. 345, doi. 10.1142/S0218194012400074

By:

JOERG, BRIGITTE;
RUIZ-RUBE, IVAN;
SICILIA, MIGUEL-ANGEL;
DVOŘÁK, JAN;
JEFFERY, KEITH;
HOELLRIGL, THORSTEN;
RASMUSSEN, HENRIK S.;
ENGFER, ANDREAS;
VESTDAM, THOMAS;
BARRIOCANAL, ELENA GARCIA

Publication type:

Article

EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 233, doi. 10.1142/S0218194010004700

By:

SHIMOMURA, TAKAO;
CHEN, QUAN LIANG;
TAKAHASHI, MUNEO

Publication type:

Article

Joint Action Syntax in Japanese Martial Arts.

Published in:

PLoS ONE, 2013, v. 8, n. 9, p. 1, doi. 10.1371/journal.pone.0072436

By:

Yamamoto, Yuji;
Yokoyama, Keiko;
Okumura, Motoki;
Kijima, Akifumi;
Kadota, Koji;
Gohara, Kazutoshi

Publication type:

Article

Using Cross-Entropy Value of Code for Better Defect Prediction.

Published in:

International Journal of Performability Engineering, 2018, v. 14, n. 9, p. 2105, doi. 10.23940/ijpe.18.09.p19.21052115

By:

Xian Zhang;
Kerong Ben;
Jie Zeng

Publication type:

Article

Le strutture con tipo: uno studio di alcune configurazioni dell'italiano parlato.

Published in:

Italianist, 2013, v. 33, n. 3, p. 464, doi. 10.1179/0261434013Z.00000000056

By:

Marano, Luca

Publication type:

Article

SEMANTIC SEARCH TECHNIQUES FOR LEARNING SMALLER BOOLEAN EXPRESSION TREES IN GENETIC PROGRAMMING.

Published in:

International Journal of Computational Intelligence & Applications, 2014, v. 13, n. 3, p. -1, doi. 10.1142/S1469026814500187

By:

MILLER, NICHOLAS C.;
CHAN, PHILIP K.

Publication type:

Article

Clinical element models in the SHARPn consortium.

Published in:

2016

By:

Oniki, Thomas A.;
Ning Zhuo;
Beebe, Calvin E.;
Hongfang Liu;
Coyle, Joseph F.;
Parker, Craig G.;
Solbrig, Harold R.;
Marchant, Kyle;
Kaggal, Vinod C.;
Chute, Christopher G.;
Huff, Stanley M.;
Zhuo, Ning;
Liu, Hongfang

Publication type:

journal article

Executing medical logic modules expressed in ArdenML using Drools.

Published in:

Journal of the American Medical Informatics Association, 2012, v. 19, n. 4, p. 533, doi. 10.1136/amiajnl-2011-000512

By:

Jung, Chai Young;
Sward, Katherine A.;
Haug, Peter J.

Publication type:

Article

Protocol Monitors: a Control-System Structuring Concept.

Published in:

Ada User Journal, 2017, v. 38, n. 2, p. 99

By:

Sandén, Bo I.

Publication type:

Article

Ada Container Iterators for Parallelism and Map/Reduce.

Published in:

Ada User Journal, 2016, v. 37, n. 2, p. 95

By:

Taft, S. Tucker

Publication type:

Article