Zobrazeno 1 - 10
of 43 939
pro vyhledávání: '"Ide, P."'
Autor:
Garcia, Rémi, Modesti, Paolo
Publikováno v:
Electronics, Volume 13, Number 23, 2024
To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or implementation of security protocols. Lightweight formal methods offer
Externí odkaz:
http://arxiv.org/abs/2411.17926
Nowadays, integration of AI-driven tools within Integrated Development Environments (IDEs) is reshaping the software development lifecycle. Existing research highlights that users expect these tools to be efficient, context-aware, accurate, user-frie
Externí odkaz:
http://arxiv.org/abs/2410.08676
Autor:
Steenhoek, Benjamin, Sivaraman, Kalpathy, Gonzalez, Renata Saldivar, Mohylevskyy, Yevhen, Moghaddam, Roshanak Zilouchian, Le, Wei
This paper presents the first empirical study of a vulnerability detection and fix tool with professional software developers on real projects that they own. We implemented DeepVulGuard, an IDE-integrated tool based on state-of-the-art detection and
Externí odkaz:
http://arxiv.org/abs/2412.14306
With the large diversity of platforms and devices used by students, web applications increasingly suggest themselves as the solution of choice. Developing adequate educational programming environments in the browser, however, remains a challenge and
Externí odkaz:
http://arxiv.org/abs/2410.07001
Autor:
Kumiega, Andrew
Publikováno v:
Proceedings of the EuSpRIG 2024 Conference 'Spreadsheet Productivity & Risks' ISBN : 978-1-905404-59-9
Since the inception of VisiCalc over four decades ago, spreadsheets have undergone a gradual transformation, evolving from simple ledger automation tools to the current state of Excel, which can be described as an Integrated Development Environment (
Externí odkaz:
http://arxiv.org/abs/2409.12976
Autor:
Taiki Okumura, Takefumi Kimura, Yuki Ichikawa, Takanobu Iwadare, Shun-ichi Wakabayashi, Hiroyuki Kobayashi, Yuki Yamashita, Takuro Uchida, Sai P. Pydi, Naoki Tanaka, Takeji Umemura
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-9 (2024)
Abstract Thrombospondin 2 (TSP2) plays a vital role in collagen/fibrin formation, bone growth, vascular density regulation, hemostasis, and cell adhesion. Close associations of serum TSP2 with histological severity in non-alcoholic fatty liver diseas
Externí odkaz:
https://doaj.org/article/efbf9c3f37394982aa014cb4798abd89
We introduce AI2Apps, a Visual Integrated Development Environment (Visual IDE) with full-cycle capabilities that accelerates developers to build deployable LLM-based AI agent Applications. This Visual IDE prioritizes both the Integrity of its develop
Externí odkaz:
http://arxiv.org/abs/2404.04902
Autor:
Tang, Ningzhi, Chen, Meng, Ning, Zheng, Bansal, Aakash, Huang, Yu, McMillan, Collin, Li, Toby Jia-Jun
The increasing use of large language model (LLM)-powered code generation tools, such as GitHub Copilot, is transforming software engineering practices. This paper investigates how developers validate and repair code generated by Copilot and examines
Externí odkaz:
http://arxiv.org/abs/2405.16081
Autor:
Annika Katharina Breitfelder, Wieland Schrödl, Christoph Georg Baums, Gottfried Alber, Uwe Müller
Publikováno v:
Veterinary Research, Vol 55, Iss 1, Pp 1-16 (2024)
Abstract Streptococcus suis (S. suis) is one of the most important porcine pathogens, causing severe pathologies such as meningitis or polyarthritis. It is also a very successful colonizer of mucosal surfaces. The IgM-degrading enzyme of S. suis (Ide
Externí odkaz:
https://doaj.org/article/ea11274c33f84373b130286f19cb6b60
Publikováno v:
Journal of Inflammation Research, Vol Volume 17, Pp 6229-6238 (2024)
Guojun Shen,1,* Xueying Li,2,3,* Anqi Zheng,2 Mingxing Gong,4 Zhanhui Wang,2 Baolin Liao5 1Hepatology Unit, the Third People′s Hospital of Jiujiang City, Jiujiang, People’s Republic of China; 2Department of Infectious Diseases, Nanfang Ho
Externí odkaz:
https://doaj.org/article/4289a31a81444334b943b6a5c81a6f6d