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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,167 篇 会议
62 册 图书
54 篇 期刊文献
1 篇 学位论文

馆藏范围

1,283 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

884 篇 工学
- 793 篇 计算机科学与技术...
- 454 篇 软件工程
- 154 篇 信息与通信工程
- 99 篇 电气工程
- 88 篇 控制科学与工程
- 49 篇 生物工程
- 42 篇 电子科学与技术（可...
- 37 篇 生物医学工程（可授...
- 35 篇 网络空间安全
- 34 篇 动力工程及工程热...
- 32 篇 机械工程
- 27 篇 化学工程与技术
- 25 篇 土木工程
- 24 篇 光学工程
- 20 篇 建筑学
- 18 篇 材料科学与工程（可...
399 篇 理学
- 309 篇 数学
- 64 篇 生物学
- 59 篇 物理学
- 52 篇 统计学（可授理学、...
- 28 篇 系统科学
- 20 篇 化学
178 篇 管理学
- 95 篇 管理科学与工程(可...
- 88 篇 图书情报与档案管...
- 64 篇 工商管理
31 篇 医学
- 29 篇 临床医学
- 26 篇 基础医学(可授医学...
29 篇 教育学
- 26 篇 教育学
28 篇 经济学
- 28 篇 应用经济学
28 篇 法学
- 21 篇 社会学
7 篇 农学
1 篇 军事学
1 篇 艺术学

主题

51 篇 computer science
48 篇 computer archite...
45 篇 cloud computing
32 篇 computational mo...
31 篇 distributed comp...
30 篇 software enginee...
28 篇 artificial intel...
27 篇 algebra
25 篇 grid computing
21 篇 information syst...
21 篇 mobile computing
21 篇 web services
20 篇 application soft...
20 篇 resource managem...
19 篇 computer communi...
18 篇 computer algebra
17 篇 user interfaces ...
17 篇 algorithm analys...
16 篇 graphics process...
16 篇 data mining

机构

5 篇 liverpool john m...
5 篇 edinburgh napier...
4 篇 institute of the...
4 篇 shandong univers...
4 篇 moscow mv lomono...
3 篇 college of compu...
3 篇 college of compu...
3 篇 college of elect...
3 篇 univ western ont...
3 篇 university of th...
3 篇 russian academy ...
3 篇 l-i.s.u.t. - d.a...
3 篇 department of co...
3 篇 school of busine...
3 篇 univ manchester ...
3 篇 univ tsukuba tsu...
3 篇 rhein westfal th...
3 篇 university of ex...
3 篇 institute of hea...
3 篇 department of co...

作者

8 篇 maza marc moreno
8 篇 vorozhtsov e.v.
8 篇 evgenii v. voroz...
7 篇 mayr e.w.
5 篇 gerdt v.p.
5 篇 vladimir p. gerd...
4 篇 wolfram koepf
4 篇 julie a. jacko
4 篇 bernady o. apduh...
4 篇 koepf w.
4 篇 edneral victor f...
4 篇 seiler werner m.
4 篇 liu lei
4 篇 osvaldo gervasi
4 篇 ernst w. mayr
4 篇 beniamino murgan...
4 篇 sanjay misra
4 篇 vorozhtsov evgen...
4 篇 sakellariou rizo...
4 篇 david taniar

语言

1,257 篇 英文
17 篇 其他
14 篇 中文
1 篇 俄文

检索条件"任意字段=13th International Workshop on Computer Algebra in Scientific Computing"

共 1284 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

26th international workshop on computer algebra in scientific computing, CASC 2024

26th International Workshop on Computer Algebra in Scientifi...

引用

26th international workshop on computer algebra in scientific computing, CASC 2024

ISBN: (纸本)9783031690693

the proceedings contain 21 papers. the special focus in this conference is on computer algebra in scientific computing. the topics include: A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over algebraic Number Fields Presented with Multiple Extensions;the Liouville Generator for Producing Integrable Expressions;symbolic-Numeric Solving Boundary Value Problems: Collective Models of Atomic Nuclei;on Formal Power Series Solutions of Regular Differential Chains;a Dataset for Suggesting Variable Orderings for Cylindrical algebraic Decompositions;stability Analysis of a Differential Model for Quasi-Periodic Plasma Perturbations;counting the Integer Points of Parametric Polytopes: A Maple Implementation;algebraic Representations for Faster Predictions in Convolutional Neural Networks;computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves;on the Radical of a Polynomial Ideal with Parameters;contribution to Integral Elimination;sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations;merging Adjacent Cells During Single Cell Construction;computing Clipped Products;fast Integral Bases Computation;on Rational Recursion for Holonomic Sequences;GPU Accelerated Newton for Taylor Series Solutions of Polynomial Homotopies in Multiple Double Precision;new three- and Five-Stage Symplectic Schemes in the Forest–Ruth Family;merging Multiple Algorithms for computing Comprehensive Gröbner Systems Using Parallel Processing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international workshop on Clinical Image-based Procedures: Towards Holistic Patient Models for Personalized Healthcare, CLIP 2024 held in conjunction with the international Conference on Medical Image computing and computer Assisted Intervention, MICCAI 2024

13th International Workshop on Clinical Image-based Procedur...

引用

13th international workshop on Clinical Image-based Procedures: Towards Holistic Patient Models for Personalized Healthcare, CLIP 2024 held in conjunction with the international Conference on Medical Image computing and computer Assisted Intervention, MICCAI 2024

ISBN: (纸本)9783031730825

the proceedings contain 9 papers. the special focus in this conference is on Clinical Image-based Procedures: Towards Holistic Patient Models for Personalized Healthcare. the topics include: Automated Multi-View Planning for Endovascular Aneurysm Repair Procedures;HTSeg: Hybrid Two-Stage Segmentation Framework for Intestine Segmentation from CT Volumes;enPrO: Enhancing Precision through Optimization in Image-Guided Spine Surgical Procedures;patient-Specific 3D Burn Size Estimation;Novel CBCT-MRI Registration Approach for Enhanced Analysis of Temporomandibular Degenerative Joint Disease;abdominal Ultrasound Similarity Analysis for Quantitative Longitudinal Liver Fibrosis Staging;real-Time Device Detection with Rotated Bounding Boxes and Its Clinical Application.

关键词：

来源：评论

学校读者我要写书评

暂无评论

25th international workshop on computer algebra in scientific computing, CASC 2023

25th International Workshop on Computer Algebra in Scientifi...

引用

25th international workshop on computer algebra in scientific computing, CASC 2023

ISBN: (纸本)9783031417238

the proceedings contain 21 papers. the special focus in this conference is on . the topics include: Non-principal Branches of Lambert W. A Tale of 2 Circles;on the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System;solving Parametric Linear Systems Using Sparse Rational Function Interpolation;on the Distance to the Nearest Defective Matrix;effective Algorithm for computing Noetherian Operators of Positive Dimensional Ideals;on the Structure and Generators of Differential Invariant algebras;an Algorithm for the Intersection Problem of Planar Parametric Curves;a Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates;two Variants of Bézout Subresultants for Several Univariate Polynomials;generating Elementary Integrable Expressions;efficient Quotients of Non-commutative Polynomials;inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems;how to Automatise Proofs of Operator Statements: Moore–Penrose Inverse;A Case Study;a Modular Algorithm for computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface;certified Study of Internal Solitary Waves;root-Squaring for Root-Finding;symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential;on the Complexity of Linear algebra Operations over algebraic Extension Fields;range Functions of Any Convergence Order and their Amortized Complexity Analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

24th international workshop on computer algebra in scientific computing, CASC 2022

24th International Workshop on Computer Algebra in Scientifi...

引用

24th international workshop on computer algebra in scientific computing, CASC 2022

ISBN: (纸本)9783031147876

the proceedings contain 21 papers. the special focus in this conference is on computer algebra in scientific computing. the topics include: A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics;a Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions;subresultant Chains Using Bézout Matrices;application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria;computer Science for Continuous Data: Survey, Vision, theory, and Practice of a computer Analysis System;computational Aspects of Equivariant Hilbert Series of Canonical Rings for algebraic Curves;symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei;analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition;accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles;preface;survey on Generalizations of the Intermediate Value theorem and Applications;on Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field;an Interpolation Algorithm for computing Dixon Resultants;distance Evaluation to the Set of Matrices with Multiple Eigenvalues;on Boundary Conditions Parametrized by Analytic Functions;computing the Integer Hull of Convex Polyhedral Sets;a Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences;stability Analysis of Periodic Motion of the Swinging Atwood Machine;new Heuristic to Choose a Cylindrical algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international workshop on Machine Learning in Medical Imaging, MLMI 2022, held in conjunction with 25th international Conference on Medical Image computing and computer_Assisted Intervention, MICCAI 2022

13th International Workshop on Machine Learning in Medical I...

引用

13th international workshop on Machine Learning in Medical Imaging, MLMI 2022, held in conjunction with 25th international Conference on Medical Image computing and computer_Assisted Intervention, MICCAI 2022

ISBN: (纸本)9783031210136

the proceedings contain 48 papers. the special focus in this conference is on Machine Learning in Medical Imaging. the topics include: Patch-Level Instance-Group Discrimination with Pretext-Invariant Learning for Colitis Scoring;AutoMO-Mixer: An Automated Multi-objective Mixer Model for Balanced, Safe and Robust Prediction in Medicine;memory Transformers for Full Context and High-Resolution 3D Medical Segmentation;whole Mammography Diagnosis via Multi-instance Supervised Discriminative Localization and Classification;cross Task Temporal Consistency for Semi-supervised Medical Image Segmentation;u-Net vs Transformer: Is U-Net Outdated in Medical Image Registration?;UNet-eVAE: Iterative Refinement Using VAE Embodied Learning for Endoscopic Image Segmentation;dynamic Linear Transformer for 3D Biomedical Image Segmentation;automatic Grading of Emphysema by Combining 3D Lung Tissue Appearance and Deformation Map Using a Two-Stream Fully Convolutional Neural Network;predicting Age-related Macular Degeneration Progression with Longitudinal Fundus Images Using Deep Learning;a Novel Two-Stage Multi-view Low-Rank Sparse Subspace Clustering Approach to Explore the Relationship Between Brain Function and Structure;Fast Image-Level MRI Harmonization via Spectrum Analysis;CT2CXR: CT-based CXR Synthesis for Covid-19 Pneumonia Classification;harmonization of Multi-site Cortical Data Across the Human Lifespan;head and Neck Vessel Segmentation with Connective Topology Using Affinity Graph;coarse Retinal Lesion Annotations Refinement via Prototypical Learning;nuclear Segmentation and Classification: On Color and Compression Generalization;Understanding Clinical Progression of Late-Life Depression to Alzheimer’s Disease Over 5 Years with Structural MRI;ClinicalRadioBERT: Knowledge-Infused Few Shot Learning for Clinical Notes Named Entity Recognition;graph Representation Neural Architecture Search for Optimal Spatial/Temporal Functional Brain Network Decomposition;Region-Guided Channel-

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2022, held in conjunction with the 25th international Conference on Medical Image computing and computer-Assisted Intervention, MICCAI 2022

13th International Workshop on Statistical Atlases and Compu...

引用

13th international workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2022, held in conjunction with the 25th international Conference on Medical Image computing and computer-Assisted Intervention, MICCAI 2022

ISBN: (纸本)9783031234422

the proceedings contain 48 papers. the special focus in this conference is on Statistical Atlases and Computational Models of the Heart. the topics include: An Atlas-Based Analysis of Biventricular Mechanics in Tetralogy of Fallot;Review of Data Types and Model Dimensionality for Cardiac DTI SMS-Related Artefact Removal;improving Echocardiography Segmentation by Polar Transformation;spatiotemporal Cardiac Statistical Shape Modeling: A Data-Driven Approach;interpretable Prediction of Post-Infarct Ventricular Arrhythmia Using Graph Convolutional Network;Unsupervised Echocardiography Registration through Patch-Based MLPs and Transformers;sensitivity Analysis of Left Atrial Wall Modeling Approaches and Inlet/Outlet Boundary Conditions in Fluid Simulations to Predict thrombus Formation;APHYN-EP: Physics-Based Deep Learning Framework to Learn and Forecast Cardiac Electrophysiology Dynamics;unsupervised Machine Learning Exploration of Morphological and Haemodynamic Indices to Predict thrombus Formation in the Left Atrial Appendage;learning Correspondences of Cardiac Motion from Images Using Biomechanics-Informed Modeling;geometrical Deep Learning for the Estimation of Residence Time in the Left Atria;explainable Electrocardiogram Analysis with Wave Decomposition: Application to Myocardial Infarction Detection;A Systematic Study of Race and Sex Bias in CNN-Based Cardiac MR Segmentation;mesh U-Nets for 3D Cardiac Deformation Modeling;skeletal Model-Based Analysis of the Tricuspid Valve in Hypoplastic Left Heart Syndrome;simplifying Disease Staging Models into a Single Anatomical Axis - A Case Study of Aortic Coarctation In-utero;point2Mesh-Net: Combining Point Cloud and Mesh-Based Deep Learning for Cardiac Shape Reconstruction;post-Infarction Risk Prediction with Mesh Classification Networks;statistical Shape Modeling of Biventricular Anatomy with Shared Boundaries;computerized Analysis of the Human Heart to Guide Targeted Treatment of Atrial Fibrillation;Multi-modal Latent-

关键词：

来源：评论

学校读者我要写书评

暂无评论

Merging Multiple Algorithms for computing Comprehensive Grobner Systems Using Parallel Processing 26th

Merging Multiple Algorithms for Computing Comprehensive Grob...

引用

26th international workshop on computer algebra in scientific computing (CASC)

作者： Wada, Natsu Nabeshima, Katsusuke Tokyo Univ Sci Grad Sch Sci 1-3 KagurazakaShinjuku Tokyo Japan Tokyo Univ Sci Dept Appl Math 1-3 KagurazakaShinjuku Tokyo Japan

ISBN: (纸本)9783031690693;9783031690709

We propose a new computational method for comprehensive Grobner systems by merging algorithms developed by Kapur-Sun-Wang and Nabeshima, and leveraging parallel processing. Furthermore, we have implemented this computational method in the computer algebra system Risa/Asir, we evaluate its effectiveness based on the results of computational experiments.

关键词： Comprehensive Grobner system Grobner basis Parallel computation

来源：评论

学校读者我要写书评

暂无评论

the Liouville Generator for Producing Integrable Expressions 26th

The Liouville Generator for Producing Integrable Expressions

引用

26th international workshop on computer algebra in scientific computing (CASC)

作者： Barket, Rashid England, Matthew Gerhard, Jurgen Coventry Univ Coventry W Midlands England Maplesoft Waterloo ON Canada

ISBN: (纸本)9783031690693;9783031690709

there has been a growing need to devise processes that can create comprehensive datasets in the world of computer algebra, both for accurate benchmarking and for new intersections with machine learning technology. We present here a method to generate integrands that are guaranteed to be integrable, dubbed the LIOUVILLE method. It is based on Liouville's theorem and the Parallel Risch Algorithm for symbolic integration. We show that this data generation method retains the best qualities of previous data generation methods, while overcoming some of the issues built into that prior work. the LIOUVILLE generator is able to generate sufficiently complex and realistic integrands, and could be used for benchmarking or machine learning training tasks related to symbolic integration.

关键词： computer algebra Symbolic computation Symbolic integration Data generation Machine learning

来源：评论

学校读者我要写书评

暂无评论

Merging Adjacent Cells During Single Cell Construction 26th

Merging Adjacent Cells During Single Cell Construction

引用

26th international workshop on computer algebra in scientific computing (CASC)

作者： Nalbach, Jasper Abraham, Erika Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9783031690693;9783031690709

the cylindrical algebraic decomposition (CAD) is currently the only complete method used in practise for answering questions about real algebra, despite its doubly exponential complexity. Recently, some novel algorithms like NLSAT, CAlC and NuCAD for satisfiability checking respectively quantifier elimination have been proposed, which build on the CAD idea to generalize a sample point to a connected set (cell) of points that share certain properties with the sample. this process is called single cell construction. In this paper, we adapt this method to potentially generate bigger cells by detecting that certain adjacent cells maintain those relevant invariance properties. For formalizing the resulting algorithm in this paper, we generalize the notion of delineability to local delineability. An experimental evaluation of a first implementation in NLSAT is provided.

关键词： Real algebra Cylindrical algebraic decomposition One-cell construction Satisfiability checking

来源：评论

学校读者我要写书评

暂无评论

computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves 26th

Computing a Basis of the Set of Isogenies Between Two Supers...

引用

26th international workshop on computer algebra in scientific computing (CASC)

作者： Katayama, Akira Yasuda, Masaya Rikkyo Univ Dept Math Toshima City Japan

ISBN: (纸本)9783031690693;9783031690709

Let E, E;be two supersingular elliptic curves defined over a finite field. the set Hom(E, E') of isogenies from E to E' forms a free Z-module of rank 4. We give a way to compute an explicit Z-basis of Hom(E, E'). A key ingredient is finding two isogenies.,. : E. E' of coprime degrees, which we can find using the meet-in-the-middle algorithm over two different supersingular isogeny graphs. We then left-compose the isogenies. and. with endomorphisms of E to obtain generators of Hom(E, E'). Finally, we remove the Z-linear dependency of the generators by linear algebra to get a Z-basis of Hom(E, E').

关键词： Supersingular elliptic curves Supersingular isogeny graphs Endomorphism rings

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共129页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：