Results 1 to 10 of about 12,096 (166)
Enhancing image quality: The role of low-radiopacity bioceramic materials in CBCT scans [PDF]
Imaging Sci DentPurpose This study aimed to evaluate artefact expression and volumetric distortion of endodontic obturation materials with varying radiopacity in root canal-treated teeth using cone-beam computed tomography (CBCT).
Silva-Sousa A +7 more
europepmc +2 more sources
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2005 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +12 more sources
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION [PDF]
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +1 more source
Replacing ANSI C with other modern programming languages [PDF]
International Symposium on Fundamentals of Electrical Engineering, 2014 Replacing ANSI C language with other modern programming languages such as Python or Java may be an actual debate topic in technical universities. Researchers whose primary interests are not in programming area seem to prefer modern and higher level ...
L. Dobrescu
semanticscholar +1 more source
SMT-Based Bounded Model Checking for Embedded ANSI-C Software [PDF]
2009 IEEE/ACM International Conference on Automated Software Engineering, 2009 Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
L. Cordeiro +2 more
semanticscholar +1 more source
Conversion of ST Control Programs to ANSI C for Verification Purposes
e-Informatica Software Engineering Journal, 2012 The paper presents a Behavioral Interface Specification Language for control programs written in ST language of IEC 61131-3 standard. The specification annotations are stored as special comments in ST code.
Jan Sadolewski
semanticscholar +1 more source
Predicate Abstraction of ANSI-C Programs Using SAT
Formal Methods Syst. Des., 2004 Predicate abstraction is a major method for verification of software. However, the generation of the abstract Boolean program from the set of predicates and the original program suffers from an exponential number of theorem prover calls as well as from ...
E. Clarke +3 more
semanticscholar +1 more source
Preliminary characterization of rectification for transradial prosthetic sockets
Scientific ReportsAchieving proper socket fit is crucial for the effective use of a prosthesis. However, digital socket design lacks standardization and presents a steep learning curve for prosthetists.
Calvin C Ngan +5 more
semanticscholar +1 more source
From UML to ANSI-C - An Eclipse-Based Code Generation Framework
International Conference on Software and Data Technologies, 2008 Model-driven engineering has recently gained broad acceptance in the field of embedded and real-time software systems. While larger embedded and real-time systems, developed e.g.
M. Funk, A. Nyßen, H. Lichter
semanticscholar +1 more source
A Roadmap Towards Standards for Neurally Controlled End Effectors. [PDF]
IEEE Open J Eng Med Biol, 2021 Paek AY +13 more
europepmc +1 more source