33,744 Hits in 4.8 sec

An experiment in scientific program understanding

M.E.M. Stewart
2000 Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering  
This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code.  ...  These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes.  ...  Further, its use of fundamental representation and expert parsers provides an example for automating other scientific and engineering tasks.  ... 
doi:10.1109/ase.2000.873678 dblp:conf/kbse/Stewart00 fatcat:vem7fq34mzdt7pioa6hl7uj2pq

Collaborative Semantic Management and Automated Analysis of Scientific Literature [chapter]

Bahar Sateli, René Witte
2014 Lecture Notes in Computer Science  
in curating and organizing scientific literature.  ...  In this demo paper, we go beyond these approaches by demonstrating how an innovative combination of semantic web technologies with natural language processing can mitigate the information overload by helping  ...  automated text analysis workflows.  ... 
doi:10.1007/978-3-319-11955-7_73 fatcat:knzbeyh6ung2toe7x36p3poaoa


Iuliia Bruttan, Igor Antonov, Dmitry Andreev, Victor Nikolaev, Tatyana Klets
2021 Environment Technology Resources Proceedings of the International Scientific and Practical Conference  
Training of this neural network will automate the processes of pattern recognition and classification of scientific publications according to specified criteria.  ...  The article discusses methods for the formation and recognition of semantic images of scientific publications belonging to specific subject areas.  ...  Modern approaches to the organization of automated analysis of scientific texts are mainly associated with the use of neural network technologies.  ... 
doi:10.17770/etr2021vol2.6628 fatcat:4tntxcliqzecrlayudkuvpvd3y

TIB's Portal for audiovisual media

Janna Neumann, Margret Plank
2014 IFLA Journal  
TIB's AV-Portal offers new methods for searching within videos enabled by automated video analysis with scene, speech, text and image recognition.  ...  The German National Library of Science and Technology (TIB) is developing a web-based platform for audiovisual media.  ...  The future AV-Portal will optimise access to and the use of scientific videos from the fields of engineering and science.  ... 
doi:10.1177/0340035214526531 fatcat:vlpushynxngtxhk6ou62zmnt6m

Automated Land Resource Classification of Electronic Photograph Based on Satellite CMOS Detector [chapter]

Yifu Huang, Haoyan Chen, Haibin Cai, Chao Peng, Linhua Jiang
2013 Lecture Notes in Electrical Engineering  
Color based image segmentation • Did semantic analysis research Made relevant statistics 2012/6/24 EECS2012 4 Comparison Comparison Outline • Introduction • Methods • Experiments and  ...  On the contrary, K-means is suitable for simple topography. • East China Normal University-Software Engineering Institute • Shanghai Key Laboratory of Trustworthy Computing • Research Interests -Machine  ...  has great scientific significance and practical value for both city planning and automated resource monitoring Thank You!  ... 
doi:10.1007/978-3-642-31528-2_82 fatcat:u7i7yoobt5gnxjghwv2jns4tm4

Perspectives on automated composition of workflows in the life sciences

Anna-Lena Lamprecht, Magnus Palmblad, Jon Ison, Veit Schwämmle, Mohammad Sadnan Al Manir, Ilkay Altintas, Christopher J. O. Baker, Ammar Ben Hadj Amor, Salvador Capella-Gutierrez, Paulos Charonyktakis, Michael R. Crusoe, Yolanda Gil (+20 others)
2021 F1000Research  
We start by drawing the "big picture" of the scientific workflow development life cycle, before surveying and discussing current methods, technologies and practices for semantic domain modelling, automation  ...  Formal semantic domain modelling is hard and often a bottleneck for the application of semantic technologies.  ...  This underscores the relevance of systematic dynamic analysis of scientific tools and workflows, discussed further below.  ... 
doi:10.12688/f1000research.54159.1 pmid:34804501 pmcid:PMC8573700 fatcat:ht57fgnzwbbmdmkazs7wi7r5s4

Page 1573 of Linguistics and Language Behavior Abstracts: LLBA Vol. 25, Issue 3 [page]

1991 Linguistics and Language Behavior Abstracts: LLBA  
; electrical engineering terminology; 9106920 text interpretation, real/hypothetical relation recognition, English instructional scientific discourse; contrast explicitness; experi- ments; science F aaaaetd  ...  , analogical to creative metaphor continuum, mathematical jargon; 9106306 SNOMED (Systemized Nomenclature of Medicine), artificial- intelligence-based automation proposal; 9106732 co ere eee specialized  ... 

A semantic Web services enabled Web portal architecture

Xiaorong Xiang, G. Madey
2004 Proceedings. IEEE International Conference on Web Services, 2004.  
Web services technologies are emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of distributed scientific  ...  The portal design demonstrates that flexibility, reusability and interoperability can be provided for both end users and portal developers by using semantic web services technologies.  ...  They are also emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of distributed scientific and engineering  ... 
doi:10.1109/icws.2004.1314964 dblp:conf/icws/XiangM04 fatcat:atzc544ewbfhxlxjiyvgpuqo34

Establish a scientific concept of network security and build a strong defense line of network security

Shen Changxiang, Lei Zhang, David M. Perry, Guangyi Liu
2020 2020 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)  
He is currently a member of the Standing Committee of the Information and Electronic Engineering Department of the Chinese Academy of Engineering, a member of the State Council Information Technology Expert  ...  He was once awarded the honorary title of "Navy Model Scientific and Technological Worker" and was named a national young and middle-aged expert with outstanding contributions.  ...  Specifically, he has performed research involving program analysis, automated program verification/testing, semantic-based program clustering, and symbolic execution optimization.  ... 
doi:10.1109/cyberc49757.2020.00010 fatcat:pw43pcowrvhq5pjlwgowaqzp3q

Message of thanks

Tony Hoare
2012 SIGPLAN notices  
An established design automation toolset provides a rapid means of world-wide transfer of new scientific results into everyday engineering practice.  ...  Analogous tools for scientific analysis of programs are used by the software industry to help in the engineering of critical parts of widely used software.  ... 
doi:10.1145/2103621.2103659 fatcat:q4ckaqtwevayveuhumrk4bmi5i

Biomedical Semantics: the Hub for Biomedical Research 2.0

Dietrich Rebholz-Schuhmann, Goran Nenadic
2010 Journal of Biomedical Semantics  
The main focus of JBMS is the development and integration of semantics resources into the biomedical research practice.  ...  We would like to welcome you to Journal of Biomedical Semantics (JBMS), a new openaccess, peer-reviewed inter-disciplinary journal that addresses novel theoretical and practical advances in biomedical  ...  JBMS: towards the next generation of biomedical investigations JBMS is primarily focused on the engineering, population and scientific exploitation of semantic resources in biomedicine.  ... 
doi:10.1186/2041-1480-1-1 pmid:20618983 pmcid:PMC2895735 fatcat:iidmzu5jljdanavpzaxchluppy


Shakhnoza Kakhramonovna Gulyamova Gulyamova, Tashkent State University of Uzbek language and literature named after Alisher Navoi
2021 Scientific Reports of Bukhara State University  
In the information-search engine, semantic analysis and synthesis occupy a leading place.  ...  Highlighting the importance of the semantic analyzer in the information search engine, it is first of all associated with the study of the process of semantic analysis and synthesis in the automatic analysis  ...  language SemA, the semantic analyzer and its position in the information search engine directly depend on the importance of semantic analysis and synthesis in the automatic analysis of the text.  ... 
doi:10.52297/2181-1466/2021/5/1/9 fatcat:36oei63nnvhj3oxy672mpsiyai

Towards a Semantic Web Platform for Finite Element Simulations [chapter]

André Freitas, Kartik Asooja, Swapnil Soni, Marggie Jones, Panagiotis Hasapis, Ratnesh Sahay
2014 Lecture Notes in Computer Science  
This work demonstrates how Semantic Web technologies can be used to represent FE simulation data, improving the reproducibility and automation of FE simulations.  ...  The growth in the complexity of FE models and their associated costs bring the demand to facilitate the construction, reuse and reproducibility of FE models.  ...  , including Biology, Physics and Engineering.  ... 
doi:10.1007/978-3-319-11955-7_45 fatcat:oqo4upxzr5cqdfjaebxfj77ize

The Grid

Carole Goble, David De Roure
2002 SIGMOD record  
The application thrust is large-scale scientific endeavour, and the scale and complexity of scientific data presents challenges for databases.  ...  The Grid is beginning to exploit technologies developed for Web Services and to realise its potential it also stands to benefit from Semantic Web technologies; conversely, the Grid and its scientific users  ...  Special thanks to Nigel Shadbolt, Nick Jennings and Sean Bechhofer.  ... 
doi:10.1145/637411.637422 fatcat:fgpjwtqyknadzf2gcgougnc3le

Semantic Provenance for eScience: Managing the Deluge of Scientific Data

Satya S. Sahoo, Amit Sheth, Cory Henson
2008 IEEE Internet Computing  
We also thank Will York and James Atwood III for their valuable input during the development of the ProPreO ontology.  ...  Complex Relationships in the Semantic Web."  ...  Many prior efforts have automated scientific protocols, and workflowbased automation in itself isn't novel; what's new is the support for semantic provenance.  ... 
doi:10.1109/mic.2008.86 fatcat:4qtokzdkmva57djepa5dismvqi
« Previous Showing results 1 — 15 out of 33,744 results