检索结果-内蒙古大学图书馆

Ivannikov Memorial Workshop (IVMEM)

作者： Sargsyan, Sevak Hakobyan, Jivan Mehrabyan, Matevos Mishechkin, Maxim Akozin, Vitaliy Kurmangaleev, Shamil RAS Ivannikov Inst Syst Programming Compiler Technol Moscow Russia

ISBN: (纸本)9781728146232

In this paper we introduce ISP-Fuzzer, an extendable fuzzing framework. The framework supports plugins which makes possible to tune it for any fuzzing task. ISP-Fuzzer capable of performing fuzzing for: files, standard input, network, network protocols. As well it can generate BNF structured data for compilers and interpreters fuzzing. The framework supports number of plugins for performing: code static analysis, dynamic symbolic execution, directed fuzzing etc. ISP-Fuzzer designed to run on multiprocessor and distributed systems. During experimental setup the tool has detected number of defects in binary files from different Linux distributions.

关键词： ISP-Fuzzer fuzzing BNF structured data

来源：评论

学校读者我要写书评

暂无评论

Solving of the Inverse Boundary Value Problem for the Heat Conduction Equation in Two Intervals of Time

引用

ALGORITHMS 2023年第1期16卷 33-33页

作者： Al-Nuaimi, Bashar Talib Al-Mahdawi, H. K. Albadran, Zainalabideen Alkattan, Hussein Abotaleb, Mostafa El-kenawy, El-Sayed M. Univ Diyala Comp Sci Dept Diyala 32001 Iraq Univ Diyala Elect Comp Ctr Diyala Iraq Univ Alkafeel Comp Tech Engn Dept Najaf Iraq South Ural State Univ Dept Syst Programming Chelyabinsk 454080 Russia Delta Higher Inst Engn & Technol Dept Commun & Elect Mansoura 35111 Egypt

The boundary value problem, BVP, for the PDE heat equation is studied and explained in this article. The problem declaration comprises two intervals;the (0, T) is the first interval and labels the heating of the inside burning chamber, and the second (T, infinity) interval defines the normal cooling of the chamber wall when the chamber temperature concurs with the ambient temperature. It is necessary to prove the boundary function of this problem has its place in the space H-1[0,infinity] in order to successfully apply the Fourier transform method. The applicability of the Fourier transform for time to this problem is verified. The method of projection regularization is used to solve the inverse boundary value problem for the heat equation and to obtain an evaluation for the error between the approximate and the real solution. These results are new and of practical interest as shown in the numerical case study.

关键词： error estimate inverse boundary value problem Fourier transform ill-posed problem

来源：评论

学校读者我要写书评

暂无评论

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks 19th

Property-Directed Verification and Robustness Certification ...

引用

19th International Symposium on Automated Technology for Verification and Analysis (ATVA)

作者： Khmelnitsky, Igor Neider, Daniel Roy, Rajarshi Xie, Xuan Barbot, Benoit Bollig, Benedikt Finkel, Alain Haddad, Serge Leucker, Martin Ye, Lina Univ Paris Saclay LMF ENS Paris Saclay CNRS Gif Sur Yvette France INRIA Paris France Max Planck Inst Software Syst Kaiserslautern Germany Univ Paris Est Creteil Creteil France Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany Univ Paris Saclay Cent Supelec Gif Sur Yvette France Inst Univ France Paris France

ISBN: (纸本)9783030888855;9783030888848

This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learning. This model may then be analyzed using model checking as a verification technique. The term property-directed reflects the idea that our procedure is guided and controlled by the given property rather than performing the two steps separately. We show that this not only allows us to discover small counterexamples fast, but also to generalize them by pumping towards faulty flows hinting at the underlying error in the RNN. We also show that our method can be efficiently used for adversarial robustness certification of RNNs.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications

引用

programming AND COMPUTER SOFTWARE 2019年第7期45卷 417-423页

作者： Nikeshin, A., V Shnitman, V. Z. Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia Moscow Inst Phys & Technol Dolgoprudnyi 141700 Moscow Oblast Russia

Generation of tests for checking the conformance of implementations of the Extensible Authentication Protocol (EAP) and its methods to Internet specifications is described. The project is based on the UniTESK technology that allows one to automate the verification of network protocols using their formal models and the extension JavaTesK, which implements the UniTESK technology in Java. The additional use of mutation testing techniques makes it possible to test the stability of a protocol implementation to corrupt messages. This approach proved to be effective in finding a number of critical vulnerabilities and other deviations from the EAP in some implementations.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory

Real-time analytics, hybrid transactional/analytical process...

引用

Ivannikov Ispras Open Conference (ISPRAS)

作者： Kuznetsov, Sergey D. Velikhov, Pavel E. Fu, Qiang Plekhanov Russian Univ Econ Ivannikov Inst Syst Programming RAS Lomonosov Moscow State Univ Moscow Inst Phys & TechnolState UnivNatl Res Un Moscow Russia Huawei Russian Res Inst Moscow Russia

ISBN: (纸本)9781665412919

These days, real-time analytics is one of the most often used notions in the world of databases. Broadly, this term means very fast analytics over very fresh data. Usually the term comes together with other popular terms, hybrid transactional/analytical processing (HTAP) and in-memory data processing. The reason is that the simplest way to provide fresh operational data for analysis is to combine in one system both transactional and analytical processing. The most effective way to provide fast transactional and analytical processing is to store an entire database in memory. So on the one hand, these three terms are related but on the other hand, each of them has its own right to life. In this paper, we provide an overview of several in-memory data management systems that are not HTAP systems. Some of them are purely transactional, some are purely analytical, and some support real-time analytics. Then we overview nine in-memory HTAP DBMSs, some of which don't support real-time analytics. Existing real-time in-memory HTAP DBMSs have very diverse and interesting architectures although they use a number of common approaches: multiversion concurrency control, multicore parallelization, advanced query optimization, just in time compilation, etc. Additionally, we are interested whether these systems use nonvolatile memory, and, if yes, in what manner. We conclude that an emergence of new generation of NVM will greatly stimulate its use in in-memory HTAP systems.

关键词： real-time analytics hybrid transactional/analytical processing in-memory data processing non-volatile memory

来源：评论

学校读者我要写书评

暂无评论

NF1 deficiency drives metabolic reprogramming in ER plus breast cancer

引用

MOLECULAR METABOLISM 2024年 80卷 101876-101876页

作者： House, Rachel (Rae) J. Tovar, Elizabeth A. Redlon, Luke N. Essenburg, Curt J. Dischinger, Patrick S. Ellis, Abigail E. Beddows, Ian Sheldon, Ryan D. Lien, Evan C. Graveel, Carrie R. Steensma, Matthew R. Van Andel Res Inst Dept Cell Biol Grand Rapids MI USA Van Andel Res Inst Mass Spectrometry Core Grand Rapids MI USA Van Andel Res Inst Dept Epigenet Grand Rapids MI USA Van Andel Res Inst Dept Metab & Nutr Programming Grand Rapids MI USA Helen DeVos Childrens Hosp Spectrum Hlth Syst Grand Rapids MI USA Michigan State Univ Coll Human Med Grand Rapids MI USA Van Andel Res Inst 333 Bostwick Ave NE Grand Rapids MI 49503 USA

Objective: NF1 is a tumor suppressor gene and its protein product, neurofibromin, is a negative regulator of the RAS pathway. NF1 is one of the top driver mutations in sporadic breast cancer such that 27 % of breast cancers exhibit damaging NF1 alterations. NF1 loss -of -function is a frequent event in the genomic evolution of estrogen receptor (ER)+ breast cancer metastasis and endocrine resistance. Individuals with Neurofibromatosis type 1 (NF) - a disorder caused by germline NF1 mutations - have an increased risk of dying from breast cancer [1-4]. NFrelated breast cancers are associated with decreased overall survival compared to sporadic breast cancer. Despite numerous studies interrogating the role of RAS mutations in tumor metabolism, no study has comprehensively profiled the NF1-deficient breast cancer metabolome to define patterns of energetic and metabolic reprogramming. The goals of this investigation were (1) to define the role of NF1 deficiency in estrogen receptor -positive (ER+) breast cancer metabolic reprogramming and (2) to identify potential targeted pathway and metabolic inhibitor combination therapies for NF1-deficient ER + breast cancer. Methods: We employed two ER+ NF1-deficient breast cancer models: (1) an NF1-deficient MCF7 breast cancer cell line to model sporadic breast cancer, and (2) three distinct, Nf1-deficient rat models to model NF -related breast cancer [1]. IncuCyte proliferation analysis was used to measure the effect of NF1 deficiency on cell proliferation and drug response. Protein quantity was assessed by Western Blot analysis. We then used RNAseq to investigate the transcriptional effect of NF1 deficiency on global and metabolism -related transcription. We measured cellular energetics using Agilent Seahorse XF-96 Glyco Stress Test and Mito Stress Test assays. We performed stable isotope labeling and measured [U13C] -glucose and [U-13C]-glutamine metabolite incorporation and measured total metabolite pools using mass spectrometr

关键词： NF1 Breast cancer Metabolic reprogramming Metabolic inhibition Neurofibromatosis Type 1

来源：评论

学校读者我要写书评

暂无评论

ASCT2 is a major contributor to serine uptake in cancer cells

引用

CELL REPORTS 2024年第8期43卷 114552页

作者： Conger, Kelly O. Chidley, Christopher Ozgurses, Mete Emir Zhao, Huiping Kim, Yumi Semina, Svetlana E. Burns, Philippa Rawat, Vipin Lietuvninkas, Lina Sheldon, Ryan Ben-Sahra, Issam Frasor, Jonna Sorger, Peter K. DeNicola, Gina M. Coloff, Jonathan L. Univ Illinois Coll Med Canc Ctr Dept Physiol & Biophys Chicago IL 60607 USA Harvard Med Sch Harvard Program Therapeut Sci Lab Syst Pharmacol Boston MA USA H Lee Moffitt Canc Ctr & Res Inst Dept Canc Metab & Physiol Tampa FL USA Van Andel Inst Ctr Canc & Cell Biol Metab & Nutr Programming Grand Rapids MI USA Northwestern Univ Robert H Lurie Canc Ctr Dept Biochem & Mol Genet Chicago IL USA Harvard Med Sch Dept Syst Biol Boston MA USA

The non-essential amino acid serine is a critical nutrient for cancer cells due to its diverse biosynthetic functions. While some tumors can synthesize serine de novo , , others are auxotrophic and therefore reliant on serine uptake. Importantly, despite several transporters being known to be capable of transporting serine, the transporters that mediate serine uptake in cancer cells are not known. Here, we characterize the amino acid transporter ASCT2 ( SLC1A5 ) as a major contributor to serine uptake in cancer cells. ASCT2 is well known as a glutamine transporter in cancer, and our work demonstrates that serine and glutamine compete for uptake through ASCT2. We further show that ASCT2-mediated serine uptake is essential for purine nucleotide biosynthesis and that estrogen receptor a (ERa) promotes serine uptake by directly activating SLC1A5 transcription. Collectively, our work defines an additional important role for ASCT2 as a serine transporter in cancer and evaluates ASCT2 as a potential therapeutic target.

关键词： cancer metabolism serine transporter ASCT2 SLC1A5 serine starvation breast cancer amino acid uptake diet purine biosynthesis ERα

来源：评论

学校读者我要写书评

暂无评论

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise 13

Analyzing Robustness of Angluin's L* Algorithm in Presence o...

引用

13th International Symposium on Games, Automata, Logics and Formal Verification (GandALF)

作者： Khmelnitsky, Igor Haddad, Serge Ye, Lina Barbot, Benoit Bollig, Benedikt Leucker, Martin Neider, Daniel Roy, Rajarshi Univ Paris Saclay INRIA LMF CNRSENS Paris Saclay Gif Sur Yvette France Univ Paris Saclay CNRS Cent Supelec LMFENS Paris Saclay Gif Sur Yvette France Univ Paris Est Creteil Creteil France Univ Paris Saclay CNRS ENS Paris Saclay LMF Gif Sur Yvette France Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany Carl Von Ossietzky Univ Oldenburg Oldenburg Germany Max Planck Inst Software Syst Kaiserslautern Germany

Angluin's L* algorithm learns the minimal (complete) deterministic finite automaton (DFA) of a regular language using membership and equivalence queries. Its probabilistic approximatively correct (PAC) version substitutes an equivalence query by a large enough set of random membership queries to get a high level confidence to the answer. Thus it can be applied to any kind of (also non-regular) device and may be viewed as an algorithm for synthesizing an automaton abstracting the behavior of the device based on observations. Here we are interested on how Angluin's PAC learning algorithm behaves for devices which are obtained from a DFA by introducing some noise. More precisely we study whether Angluin's algorithm reduces the noise and produces a DFA closer to the original one than the noisy device. We propose several ways to introduce the noise: (1) the noisy device inverts the classification of words w.r.t. the DFA with a small probability, (2) the noisy device modifies with a small probability the letters of the word before asking its classification w.r.t. the DFA, and (3) the noisy device combines the classification of a word w.r.t. the DFA and its classification w.r.t. a counter automaton. Our experiments were performed on several hundred DFAs. Our main contributions, bluntly stated, consist in showing that: (1) Angluin's algorithm behaves well whenever the noisy device is produced by a random process, (2) but poorly with a structured noise, and, that (3) almost surely randomness yields systems with non-recursively enumerable languages.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Improved patient-reported outcomes with iGlarLixi versus premix BIAsp 30 in people with type 2 diabetes in the SoliMix trial

引用

DIABETES OBESITY & METABOLISM 2022年第12期24卷 2364-2372页

作者： Polonsky, William H. Giorgino, Francesco Rosenstock, Julio Whitmire, Katherine Lew, Elisheva Coudert, Mathieu Alvarez, Agustina Nicholls, Charlie McCrimmon, Rory J. Behav Diabet Inst 5230 Carroll Canyon Rd San Diego CA 92121 USA Univ Bari Aldo Moro Dept Emergency & Organ Transplantat Sect Internal Med Endocrinol Androl & Metab Dis Bari Italy Dallas Diabet Res Ctr Med City Dallas TX USA Southwest Med Associates Las Vegas NV USA Sanofi Chilly Mazarin France Sanofi Biostat & Programming Dept Chilly Mazarin France Sanofi Buenos Aires DF Argentina Sanofi Reading Berks England Univ Dundee Sch Med Div Syst Med Dundee Scotland

Aim To assess patient-reported outcomes (PROs) in the SoliMix trial, which compared the efficacy and safety of iGlarLixi versus BIAsp 30 in people with type 2 diabetes (T2D). Materials and Methods SoliMix (EudraCT: 2017-003370-13), a 26-week, open-label study, randomized (1:1) 887 adults with T2D and HbA1c >= 7.5%-<= 10.0% (>= 58-<= 86 mmol/mol) on basal insulin plus oral antihyperglycaemic drugs (OADs) to once-daily iGlarLixi or twice-daily premix insulin, BIAsp 30. PROs were assessed using the Treatment-Related Impact Measure Diabetes (TRIM-D) and Global Treatment Effectiveness Evaluation (GTEE) questionnaires. Results Over 26 weeks, iGlarLixi showed greater improvement from baseline versus BIAsp 30 in total TRIM-D score (least squares mean difference [95% confidence interval]: 5.08 [3.69, 6.47];effect size: 0.32) and in each TRIM-D domain, with the greatest differences seen in diabetes management (8.47 [6.11, 10.84]) and treatment burden (6.95 [4.83, 9.07]). GTEE scores showed a greater proportion of participants and physicians rated a complete or marked improvement of diabetes control with iGlarLixi (80.5%, 82.8%) versus BIAsp 30 (63.3%, 65.1%) at week 26. Post hoc analyses showed that after adjusting for HbA1c, body weight and hypoglycaemia outcomes, iGlarLixi continued to show greater improvements in TRIM-D total scores versus BIAsp 30. Conclusions In addition to better glycaemic control, weight benefit and less hypoglycaemia, once-daily iGlarLixi provided improved diabetes management, treatment burden and perceived effectiveness versus twice-daily premix BIAsp 30, further supporting iGlarLixi as an advanced treatment option in people with suboptimally controlled T2D on basal insulin plus OADs.

关键词： basal insulin GLP-1 analogue glycaemic control iGlarLixi patient-reported outcomes type 2 diabetes

来源：评论

学校读者我要写书评

暂无评论

Abstract processes and conflicts in place/transition systems

引用

INFORMATION AND COMPUTATION 2021年 281卷 104706-104706页

作者： van Glabbeek, Rob Goltz, Ursula Schicke-Uffmann, Jens-Wolfhard CSIRO Data61 Sydney NSW Australia Univ New South Wales Sch Comp Sc & Engn Sydney NSW Australia TU Braunschweig Inst Programming & React Syst Braunschweig Germany

For one-safe Petri nets or condition/event-systems, a process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. Goltz and Reisig have generalised this concept for nets where places carry multiple tokens, by distinguishing tokens according to their causal history. However, this so-called individual token interpretation is often considered too detailed. Here we identify a subclass of Petri nets, called structural conflict nets, where no interplay between conflict and concurrency due to token multiplicity occurs. For this subclass, we define abstract processes as equivalence classes of Goltz-Reisig processes. We justify this approach by showing that there is a largest abstract process if and only if the underlying net is conflict-free with respect to a canonical notion of conflict. (C) 2021 Elsevier Inc. All rights reserved.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：