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

6th international conference on Runtime Verification, RV 2015

ISBN: (纸本)9783319238197

the proceedings contain 34 papers. the special focus in this conference is on Runtime Verification. the topics include: Towards a verified artificial pancreas;qualitative and quantitative monitoring of spatio-temporal properties;runtime adaptation for actor systems;robust online monitoring of signal temporal logic;on verifying Hennessy-Milner logic with recursion at runtime;assuring the guardians;monitoring electronic exams;monitoring real android malware;time-triggered runtime verification of component-based multi-core systems;runtime verification through forward chaining;collision avoidance for mobile robots with limited sensing and limited information about the environment;from first-order temporal logic to parametric trace slicing;monitoring and diagnosis of security threats for unmanned aerial systems;a hybrid approach to causality analysis;statistical model checking of distributed adaptive real-time software;probabilistic model checking at runtime for the provisioning of cloud resources;runtime verification for hybrid analysis tools;suggesting edits to explain failing traces;a tool for combined static and runtime verification of java;a tool chain for timed property enforcement during execution;machine learning methods in statistical model checking and system design;efficient parametric android runtime verification, a brief tutorial;monitoring and measuring hybrid behaviors;second international competition on runtime verification and rigorous examination of reactive systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Computational Collective Intelligence, ICCCI 2014

6th International Conference on Computational Collective Int...

引用

6th international conference on Computational Collective Intelligence, ICCCI 2014

ISBN: (纸本)9783319112886

the proceedings contain 70 papers. the special focus in this conference is on Computational Collective Intelligence. the topics include: Agreements technologies - towards sophisticated software agents;fuzzy splicing systems;a preference weights model for prioritizing software requirements;fuzzy logic-based adaptive communication management on wireless network;application of self-adapting genetic algorithms to generate fuzzy systems for a regression problem;analysis of profile convergence in personalized document retrieval systems;a recommendation system for scientific publication by discovering keyword relationships;grouping like-minded users based on text and sentiment analysis;a preferences based approach for better comprehension of user information needs;sustainable social shopping system;grey social networks - a facebook case study;event detection from social data stream based on time-frequency analysis;intelligent e-learning/tutoring - the flexible learning model in lms blackboard;building educational and marketing models of diffusion in knowledge and opinion transmission;semantic model of syllabus and learning ontology for intelligent learning system;creating collaborative learning groups in intelligent tutoring systems;method of driver state detection for safety vehicle by means of using pattern recognition;motion segmentation using optical flow for pedestrian detection from moving vehicle;enhanced face preprocessing and feature extraction methods robust to illumination variation and a cognitive integrated management support system for enterprises;combining time series and clustering to extract gamer profile evolution;rehandling problem of pickup containers under truck appointment system;emergent concepts on knowledge intensive processes and optimal partial rotation error for vehicle motion estimation based on omnidirectional camera.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Systematic Literature Review of CNN Approaches in Classifying Brain Tumor 6

A Systematic Literature Review of CNN Approaches in Classify...

引用

6th international conference on Computer and Informatics Engineering, IC2IE 2023

作者： Paulindino, Aedentrisa Yasmanda Pardamean, Bens Elwirehardja, Gregorius Natanael Bina Nusantara University Binus Graduate Program - Master of Computer Science Computer Science Department Jakarta Indonesia Bioinformatics and Data Science Research Center Bina Nusantara University Jakarta Indonesia

ISBN: (纸本)9798350345162

the ability of Convolutional Neural Networks (CNNs) to accurately discriminate between normal and tumorous brain tissues has been promising. the review focuses on the different CNN models, pre-processing methods, data augmentation, and Transfer Learning (TL) strategies used in this research. this Systematic Literature Review (SLR) collected the data from Google Scholar. the results of this study indicate that open-source datasets from Kaggle and Brain MRI Images for Brain Tumor Detection are the most used datasets. However, limited data and imbalanced class problems remain common challenges across various datasets. To overcome those challenges, using a larger dataset, oversampling, Generative Adversarial Network (GAN), federated learning, and Self-Supervised Learning (SSL) to handle the imbalance are the potential solution. Additionally, popular CNN architectures for brain tumor classification extensively use pre-trained models such as VGG16, VGG19, DenseNet121, DenseNet201, GoogleNet, ResNet-50, and Inception-v3. TL strategies are preferred, allowing CNNs to leverage knowledge from large datasets, improving generalization even with limited labeled data. © 2023 IEEE.

关键词： brain tumor classification cnn mri pre-trained transfer learning

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015

6th International Conference on Mathematical Aspects of Comp...

引用

6th international conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015

ISBN: (纸本)9783319328584

the proceedings contain 52 papers. the special focus in this conference is on Curves, Surfaces, Applied Algebraic Geometry, Cryptography and Verified Numerical Computation. the topics include: Current challenges in developing open source computer algebra systems;symbolic geometric reasoning with advanced invariant algebras;mesh reduction to exterior surface parts via random convex-edge affine features;numeric and certified isolation of the singularities of the projection of a smooth space curve;workspace multiplicity and fault tolerance of cooperating robots;computing the chow variety of quadratic space curves;numerically testing generically reduced projective schemes for the arithmetic gorenstein property;some results concerning the explicit isomorphism problem over number fields;implementing cryptographic pairings on accumulator based smart card architectures;short group signatures with distributed traceability;on the optimality of differential fault analyses on CLEFIA;explicit error bound for modified numerical iterated integration by means of sinc methods;verified computations for solutions to semilinear parabolic equations using the evolution operator;verified error bounds for the real gamma function using double exponential formula over semi-infinite interval;efficient subformula orders for real quantifier elimination of non-prenex formulas;solving extended ideal membership problems in rings of convergent power series via gröbner bases;reconstructing a sparse solution from a compressed support vector machine;subquadratic-time algorithms for abelian stringology problems;simple differential field extensions and effective bounds and dimension polynomials of intermediate fields of inversive difference field extensions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Anytime algorithms for Adaptive Robust Optimization with OWA and WOWA 5th

Anytime Algorithms for Adaptive Robust Optimization with OWA...

引用

5th international conference on Algorithmic Decision theory, ADT 2017

作者： Bourdache, Nadjet Perny, Patrice Sorbonne Universités UPMC Univ Paris 06 UMR 7606 LIP6 CNRS UMR 7606 LIP6 4 Place Jussieu Paris75005 France

ISBN: (纸本)9783319675039

We consider optimization problems in graphs where the utilities of solutions depend on different scenarios. In this context, we study incremental approaches for the determination of robust solutions, i.e. solutions yielding good outcomes in all scenarios. Our approach consists in interleaving adaptive preference elicitation methods aiming to assess the attitude of the Decision Maker towards robustness or risk with combinatorial optimization algorithms aiming to determine a robust solution. Our work focuses on the use of ordered weighted average (OWA) and weighted ordered weighted average (WOWA) to respectively model preferences under uncertainty and risk while accounting for the idea of robustness. these models are parameterized by weighting coefficients or weighting functions that must be fitted to the value system of the Decision Maker. We introduce and justify anytime algorithms for the adaptive elicitation of these parameters until a robust solution can be determined. We also test these algorithms on the robust assignment problem. © 2017, Springer international Publishing AG.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Abstraction of heterogeneous supplier models in hierarchical resource allocation 6th

引用

6th international conference on Agents and Artificial Intelligence, ICAART 2014

作者： Schiendorfer, Alexander Anders, Gerrit Steghöfer, Jan-Philipp Reif, Wolfgang Institute for Software and Systems Engineering University of Augsburg Augsburg Germany University of Gothenburg Gothenburg Sweden

ISBN: (纸本)9783319275420

Resource allocation problems such as finding a production schedule given a set of suppliers’ capabilities are generally hard to solve due to their combinatorial nature, in particular beyond a certain problem size. Large-scale instances among them, however, are prominent in several applications relevant to smart grids including unit commitment and demand response. Decomposition constitutes a classical tool to deal with this increasing *** present a hierarchical "regio-central" decomposition based on abstraction that is designed to change its structure at runtime. It requires two techniques: (1) synthesizing several models of suppliers into one optimization problem and (2) abstracting the direct composition of several suppliers to reduce the complexity of highlevel optimization problems. the problems we consider involve limited maximal and, in particular, minimal capacities along with on/off constraints. We suggest a formalization termed supply automata to capture suppliers and present algorithms for synthesis and abstraction. Our evaluation reveals that the obtained solutions are comparable to central solutions in terms of cost efficiency (within 1% of the optimum) but scale significantly better (between a third and a half of the runtime) in the case study of scheduling virtual power plants. © Springer-Verlag Berlin Heidelberg 2015.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Formal Engineering methods, ICFEM 2004

引用

6th international conference on Formal Engineering methods, ICFEM 2004

ISBN: (纸本)3540238417

the proceedings contain 39 papers. the special focus in this conference is on Formal methods and Software Engineering. the topics include: Combining engineering approaches and formal techniques;formal engineering for industrial software development;engineering quality software;a CLP approach to modelling systems;multi-prover verification of C programs;memory-model-sensitive data race analysis;formal models for web navigations with session control and browser cache;managing verification activities using SVM;a general model for reachability testing of concurrent programs;a propositional logic-based method for verification of feature models;CSP representation of game semantics for second-order idealized algol;an equational calculus for alloy;software model checking using linear constraints;counterexample guided abstraction refinement via program execution;faster analysis of formal specifications;automatic extraction of object-oriented observer abstractions from unit-test executions;a specification-based approach to testing polymorphic attributes;an approach to preserve protocol consistency and executability across updates;a formal monitoring-based framework for software development and analysis;verifying the on-line help system of SIEMENS magnetic resonance tomographs;implementing dynamic aggregations of abstract machines in the B method;interactive verification of UML state machines;refinement of actions for real-time concurrent systems with causal ambiguity;from durational specifications to TLA designs of timed automata and TCOZ to timed automata.

关键词：

来源：评论

学校读者我要写书评

暂无评论

IFIP WG 13.2/13.5 Joint 6th international conference on Human-Centered Software Engineering, HCSE 2016 and 8th international conference on Human Error, Safety, and System Development, HESSD 2016

IFIP WG 13.2/13.5 Joint 6th International Conference on Huma...

引用

IFIP WG 13.2/13.5 Joint 6th international conference on Human-Centered Software Engineering, HCSE 2016 and 8th international conference on Human Error, Safety, and System Development, HESSD 2016

ISBN: (纸本)9783319449012

the proceedings contain 25 papers. the special focus in this conference is on Agile, Human-Centered Software Engineering, Usability Evaluation, Testing, Socio-Technical, Ethical Considerations, Human Error, Safety-Critical Systems, User, Developer Experience, models, methods, Adopting Tools, Demos and Posters. the topics include: Supporting the HCI aspect of agile software development by tool support for UI-pattern transformations;usability problems experienced by different groups of skilled internet users;user-test results injection into task-based design process for the assessment and improvement of both usability and user experience;framework for relative web usability evaluation on usability features in MDD;testing prototypes and final user interfaces through an ontological perspective for behavior-driven development;complementary tools and techniques for supporting fitness-for-purpose of interactive critical systems;a conceptual ux-aware model of requirements;audio guidance for runner training;enterprise model-driven agile human-centered software engineering;collaborative task modelling on the web and declarative prototyping with data;a first prototype integrated in HAMSTERS.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Functional site prediction selects correct protein models

引用

BMC bioinformatics 2008年第s1期9卷 S13-S13页

作者： Chelliah, Vijayalakshmi Taylor, William R. Natl Inst Med Res Div Math Biol London NW7 1AA England

Background: the prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possible to predict which residues are likely to be part of a functional site and this information can be used to select model structures from a variety of alternatives that would correspond to a functional protein. Results: Using a large collection of protein-like decoy models, a score was devised that selected those with predicted functional site residues that formed a cluster. When tested on a variety of small alpha/beta/gamma type proteins, including enzymes and non-enzymes, those that corresponded to the native fold were ranked highly. this performance held also for a selection of larger alpha/beta/gamma proteins that played no part in the development of the method. Conclusion: the use of predicted site positions provides a useful filter to discriminate native-like protein models from non-native models. the method can be applied to any collection of models and should provide a useful aid to all modelling methods from ab initio to homology based approaches.

关键词： Root Mean Square Deviation Functional Site Percentage Sequence Identity Native Fold Lumazine

来源：评论

学校读者我要写书评

暂无评论

6th international conference and Labs of the Evaluation Forum, CLEF 2015

6th International Conference and Labs of the Evaluation Foru...

引用

6th international conference on Labs of the Evaluation Forum, CLEF 2015

ISBN: (纸本)9783319240268

the proceedings contain 57 papers. the special focus in this conference is on Web, Social Media, Multimodality, and Interaction. the topics include: Experimental study on semi-structured peer-to-peer information retrieval network;evaluating stacked marginalised denoising autoencoders within domain adaptation methods;language variety identification using distributed representations of words and documents;evaluating user image tagging credibility;tweet expansion method for filtering task in twitter;a comparative study of click models for web search;evaluation of pseudo relevance feedback techniques for cross vertical aggregated search;analysing the role of representation choices in Portuguese relation extraction;an investigation of cross-language information retrieval for user-generated internet video;benchmark of rule-based classifiers in the news recommendation task;enhancing medical information retrieval by exploiting a content-based recommender method;a multiple-stage approach to re-ranking medical documents;automatic indexing of journal abstracts with latent semantic analysis;shadow answers as an intermediary in email answer retrieval;instance-based learning for tweet monitoring and categorization;evaluation of manual query expansion rules on a domain specific FAQ collection;evaluating learning language representations;automatic segmentation and deep learning of bird sounds;on the multilingual and genre robustness of emographs for author profiling in social media;using health statistics to improve medical and health search;effect of log-based query term expansion on retrieval effectiveness in patent searching and teaching the IR process using real experiments supported by game mechanics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：