標(biāo)題: Titlebook: Computer Aided Systems Theory – EUROCAST 2005; 10th International C Roberto Moreno Díaz,Franz Pichler,Alexis Quesada A Conference proceedin [打印本頁(yè)] 作者: abandon 時(shí)間: 2025-3-21 20:08
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005影響因子(影響力)
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005被引頻次
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005被引頻次學(xué)科排名
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005年度引用
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005年度引用學(xué)科排名
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005讀者反饋
書(shū)目名稱(chēng)Computer Aided Systems Theory – EUROCAST 2005讀者反饋學(xué)科排名
作者: 血友病 時(shí)間: 2025-3-22 00:02 作者: Robust 時(shí)間: 2025-3-22 03:42 作者: 成份 時(shí)間: 2025-3-22 05:57
Degenerate Arrays: A Framework for Uncertain Data Tablesalyzed, which gives rise to the introduction of the array projections and co-array projections..Finally, a relation between array projections, co-array projections and uncertain data tables is examined.作者: 團(tuán)結(jié) 時(shí)間: 2025-3-22 10:27 作者: climax 時(shí)間: 2025-3-22 15:14
The Metasystem Paradigm: Metasystem Designrench alignments. Similar results were obtained regarding Portuguese-English alignments. Both methods are compared and evaluated, over a large parallel corpus made up of Portuguese, English and French parallel texts (approximately 250Mb of text per language).作者: climax 時(shí)間: 2025-3-22 19:44 作者: 梯田 時(shí)間: 2025-3-23 00:35 作者: Admonish 時(shí)間: 2025-3-23 02:45 作者: syring 時(shí)間: 2025-3-23 07:18 作者: Mets552 時(shí)間: 2025-3-23 13:32
Meteorological Image Descriptorsy the local density and orientation of the isobar lines, and the number of centres of high (H) and low (L) pressure. Regarding the . descriptors, two main features are taken into account. The different procedures carried out to extract the previous descriptors for our images of interest are discussed.作者: 夾克怕包裹 時(shí)間: 2025-3-23 15:19
Verification of Language Based Fault-Toleranceperties specified in the .-calculus..The key observation of this paper is that, due to the usage of these higher-level design patterns, the state space generated from a Erlang program, even with failures occurring, is relatively small, and can be generated automatically.作者: 傳授知識(shí) 時(shí)間: 2025-3-23 19:15
Conference proceedings 2005ractical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering. The Unive作者: 偶然 時(shí)間: 2025-3-23 23:17
0302-9743 ical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering.作者: fulcrum 時(shí)間: 2025-3-24 04:44 作者: FLUSH 時(shí)間: 2025-3-24 06:57
https://doi.org/10.1007/978-1-4757-6666-0rking solutions, we explore the viability of using Fuzzy-logic based techniques in order to obtain a good-enough model that allows technicians at mine to get a better understanding of the variables at play and to foresee the coal production.作者: Tortuous 時(shí)間: 2025-3-24 11:30 作者: occult 時(shí)間: 2025-3-24 15:23
https://doi.org/10.1007/978-1-4757-6666-0it is developed an evaluation of computational models which represents categorical structures as a way to help students in dealing with categorical concepts intuitively. In the context of this evaluation, a computational model is presented.作者: 瑣碎 時(shí)間: 2025-3-24 19:07
https://doi.org/10.1007/978-1-4757-6666-0g atomic actions/activities/operations. We discuss proper extensions for UML behavioral diagrams that are able to cope with the concept of transaction. Transactions are formally defined through a special morphism between automata in a semantic domain called Nonsequential Automata.作者: Dictation 時(shí)間: 2025-3-24 23:29
System Design Modeling and Metamodelingt lies in its high standards for model validation, and in a combination of abductive reasoning with induction and deduction. The argument of the paper is underpinned by an application of System Dynamics to the elaboration of a theory in the new field of Cultural Dynamics.作者: 開(kāi)始從未 時(shí)間: 2025-3-25 04:03
System Design Modeling and Metamodelings of researchers in social sciences are considered. Different metadata standards have emerged out of these streams of science. Basic ideas on integration and translation between such different lines of development are given. Hereby principles of ontology engineering play a key role as starting point.作者: hemoglobin 時(shí)間: 2025-3-25 10:58 作者: consolidate 時(shí)間: 2025-3-25 12:16 作者: 憤憤不平 時(shí)間: 2025-3-25 16:08 作者: Collar 時(shí)間: 2025-3-25 22:25 作者: jumble 時(shí)間: 2025-3-26 01:52 作者: 不愿 時(shí)間: 2025-3-26 07:13
Optimization of a Class of Uncertain Systems Based on Uncertain Variablesulated for uncertain static plants. A general approach and the optimization with the given certainty threshold are described in the first part. In the second part the application of the presented approach to an optimal distribution problem is considered. Two examples illustrate the presented concepts.作者: OUTRE 時(shí)間: 2025-3-26 12:00
Computational Simulation of Categorical Constructionsit is developed an evaluation of computational models which represents categorical structures as a way to help students in dealing with categorical concepts intuitively. In the context of this evaluation, a computational model is presented.作者: jovial 時(shí)間: 2025-3-26 15:22 作者: Rejuvenate 時(shí)間: 2025-3-26 20:27 作者: 類(lèi)似思想 時(shí)間: 2025-3-26 22:45
Ontology Integration for Statistical Informations of researchers in social sciences are considered. Different metadata standards have emerged out of these streams of science. Basic ideas on integration and translation between such different lines of development are given. Hereby principles of ontology engineering play a key role as starting point.作者: 擦掉 時(shí)間: 2025-3-27 02:58
On Recursive Functions and Well–Founded Relations in the Calculus of Constructions General Recursion Scheme ([2]) and its relation with Structural Recursion in inductive types are analyzed. As a consequence, a methodology arises which is illustrated with some examples.We use the INRIA’s compiler of the Calculus of Inductive Constructions: . [6].作者: ensemble 時(shí)間: 2025-3-27 08:01
CheapTB: A Low Cost of Operation Distributed Filesystem disks it is now possible to build a cluster to be used as a storage solution. CheapTB is a distributed filesystem for this environment, with an emphasys towards low cost operation rather than performance.作者: anesthesia 時(shí)間: 2025-3-27 11:49
Spelling Correction on Technical Documentsrelevant information for the repair process in order to avoid the phenomenom of errors in cascade. Our approach seems to reach the same quality provided by the most performance classic techniques, but with a significant reduction on both time and space costs.作者: 兇殘 時(shí)間: 2025-3-27 16:22 作者: 釋放 時(shí)間: 2025-3-27 20:18
Information Retrieval and Large Text Structured Corporapora are very large and include hundreds or thousands of documents which in turn include millions or hundreds of millions of words. Therefore, there is the need to build efficient and flexible IRSs which work with large structured corpora.作者: periodontitis 時(shí)間: 2025-3-28 00:53
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowinghree frontiers can be distinguished between these two constitutively different types of knowing: (1) The nature of current physical machines (silicon semiconductor crystal) and its organizational restrictions in relation with the biological tissue, which is autonomous, dynamic, tolerant to failures,作者: 語(yǔ)源學(xué) 時(shí)間: 2025-3-28 05:57
Approximation Problems Categorieso optimization problems. The main aim is to provide a universal language for supporting formalisms to specify the hierarchy approximation system for an abstract NP-hard optimization problem. Categorical shape theory provides the mathematical framework to deal with approximation, enabling comparison 作者: 棲息地 時(shí)間: 2025-3-28 06:59
Computation of Partial Automata Through Span Compositionpartial graphs . is given and partial automata are constructed from .. With a simple categorical operation, computations of partial automata are given and can be seen as a part of the structure of partial automata.作者: abracadabra 時(shí)間: 2025-3-28 12:38 作者: peptic-ulcer 時(shí)間: 2025-3-28 15:52
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrixect the least significant sensor in the multicomponent gas mixtures analysis system. The sensitivity analysis results, collected for various neural network structures were compared with the real significances of the sensors, determined experimentally. The question of the influence of the correlation作者: 爵士樂(lè) 時(shí)間: 2025-3-28 21:09
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mineoal systems and their interactions with coal faces represent extremely complex situations where traditional mathematical models are unable to offer working solutions, we explore the viability of using Fuzzy-logic based techniques in order to obtain a good-enough model that allows technicians at mine作者: 調(diào)整校對(duì) 時(shí)間: 2025-3-29 00:47
Optimization of a Class of Uncertain Systems Based on Uncertain Variablesonal knowledge representations. The purpose of this paper is to show how the uncertain variables may be applied to specific optimization problems formulated for uncertain static plants. A general approach and the optimization with the given certainty threshold are described in the first part. In the作者: CRUDE 時(shí)間: 2025-3-29 05:00 作者: Cumulus 時(shí)間: 2025-3-29 09:46
Composing Transitions into Transactions in UML Diagramsnsitions may be conceptually refined into transactions. Nevertheless, the Unified Modeling Language seems to lack compositional constructs for defining atomic actions/activities/operations. We discuss proper extensions for UML behavioral diagrams that are able to cope with the concept of transaction作者: 披肩 時(shí)間: 2025-3-29 14:24
Theory-Building with System Dynamics: Principles and Practicesynamics-based modeling is argued to be a powerful and rigorous approach to theory-building. The strength of the pertinent process of theory development lies in its high standards for model validation, and in a combination of abductive reasoning with induction and deduction. The argument of the paper作者: sigmoid-colon 時(shí)間: 2025-3-29 17:59
Ontology Integration for Statistical Informationocessing within statistical information systems. Another development stems from documentation development for data archives where metadata requirements of researchers in social sciences are considered. Different metadata standards have emerged out of these streams of science. Basic ideas on integrat作者: 悅耳 時(shí)間: 2025-3-29 21:26 作者: 無(wú)瑕疵 時(shí)間: 2025-3-30 03:00 作者: BOAST 時(shí)間: 2025-3-30 07:20 作者: Vasodilation 時(shí)間: 2025-3-30 12:07 作者: 說(shuō)明 時(shí)間: 2025-3-30 14:05 作者: 植物茂盛 時(shí)間: 2025-3-30 19:52
CheapTB: A Low Cost of Operation Distributed Filesystemstorage. This storage has traditionally been expensive, using propietary technologies. With the recent increase in storage space of cheap IDE and SCSI disks it is now possible to build a cluster to be used as a storage solution. CheapTB is a distributed filesystem for this environment, with an empha作者: 細(xì)微的差異 時(shí)間: 2025-3-30 22:37 作者: 釋放 時(shí)間: 2025-3-31 00:59
Verification of Language Based Fault-Tolerancerammers mostly work with ready-made language components. Our approach to verification of fault tolerance is to verify systems built using a central component of most Erlang software, a generic server component with fault tolerance handling..To verify such Erlang programs we automatically translate t作者: 運(yùn)氣 時(shí)間: 2025-3-31 07:36
Springer Series in Reliability Engineeringhree frontiers can be distinguished between these two constitutively different types of knowing: (1) The nature of current physical machines (silicon semiconductor crystal) and its organizational restrictions in relation with the biological tissue, which is autonomous, dynamic, tolerant to failures,作者: 培養(yǎng) 時(shí)間: 2025-3-31 11:29 作者: 訓(xùn)誡 時(shí)間: 2025-3-31 16:34 作者: Amylase 時(shí)間: 2025-3-31 20:36
SpecC Technology Open Consortium,ed on arrays and co-arrays, that allows a multivalued description of the knowledge contained in a data table..This multivalued algebra has some special elements which are arryas and co-arrays at the same time: the degenerate arrays. These degenerate arrays are singled out and their interpretation an作者: oxidant 時(shí)間: 2025-4-1 00:00
Modeling and Design with SpecC,ect the least significant sensor in the multicomponent gas mixtures analysis system. The sensitivity analysis results, collected for various neural network structures were compared with the real significances of the sensors, determined experimentally. The question of the influence of the correlation作者: jaunty 時(shí)間: 2025-4-1 03:03 作者: Tailor 時(shí)間: 2025-4-1 09:08 作者: Gesture 時(shí)間: 2025-4-1 11:13
https://doi.org/10.1007/978-1-4757-6666-0osed to be natural to humans, the ones who study Category Theory expose difficulties. This paper starts presenting and analyzing this situation. Then it is developed an evaluation of computational models which represents categorical structures as a way to help students in dealing with categorical co
