標題: Titlebook: Singularity Theory and its Applications; Warwick 1989, Part I Mark Roberts,Ian Stewart Conference proceedings 1991 Springer-Verlag Berlin H [打印本頁] 作者: Harding 時間: 2025-3-21 16:09
書目名稱Singularity Theory and its Applications影響因子(影響力)
書目名稱Singularity Theory and its Applications影響因子(影響力)學科排名
書目名稱Singularity Theory and its Applications網(wǎng)絡公開度
書目名稱Singularity Theory and its Applications網(wǎng)絡公開度學科排名
書目名稱Singularity Theory and its Applications被引頻次
書目名稱Singularity Theory and its Applications被引頻次學科排名
書目名稱Singularity Theory and its Applications年度引用
書目名稱Singularity Theory and its Applications年度引用學科排名
書目名稱Singularity Theory and its Applications讀者反饋
書目名稱Singularity Theory and its Applications讀者反饋學科排名
作者: strain 時間: 2025-3-21 21:29
Conference proceedings 1991 applications. The proceedings fall into two halves: Volume I mainly on connections with algebraic geometry and volume II on connections with dynamical systems theory, bifurcation theory and applications in the sciences. The papers are original research, stimulated by the symposium and workshop: All作者: 小畫像 時間: 2025-3-22 01:53
Equivariant bifurcations and morsifications for finite groups,order elements of G). These formulas are in terms of the representations of G on certain finite dimensional algebras associated to F. We deduce sufficient conditions for the existence of submaximal orbits by comparing the permutation representations for maximal orbits with certain representations of G.作者: 卷發(fā) 時間: 2025-3-22 06:29 作者: 獨白 時間: 2025-3-22 09:14
0075-8434 kshop: All have been refereed and none will appear elsewhere. The main topic of volume II is new methods for the study of bifurcations in nonlinear dynamical systems, and applications of these.978-3-540-53736-6978-3-540-47047-2Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: Lime石灰 時間: 2025-3-22 15:36
Boundary conditions as symmetry constraints,ure imposes upon bifurcations. We discuss a number of examples of these phenomena that arise in applications, including the Taylor-Couette experiment, Rayleigh-Bénard convection, and the Faraday experiment.作者: 神圣將軍 時間: 2025-3-22 20:46
Scaling Laws and Bifurcation,h scaling laws based on the symmetry of the problem and show how bifurcation points can also be related by a scaling. This leads in some cases, to a proof of existence of bifurcating branches at a mode interaction. The results are illustrated for the Kuramoto-Sivashinsky equation.作者: 顛簸下上 時間: 2025-3-22 22:23
On the bifurcations of subharmonics in reversible systems,cantly. We investigate some unusual properties of those equations. In particular we classify up to topological codimension 1 the degenerate bifurcations when the dimension of the space is odd and the signature of the involution is +1.作者: CARK 時間: 2025-3-23 03:47
Some complex differential equations arising in telecommunications,techniques. We find that Hopf bifurcations are possible, but the limit cycles exist only at bifurcation. Actual data is used in numerical integrations. When parameters are chosen which are appropriate to the telecommunications context, all fixed points are stable and no Hopf bifurcations occur.作者: palliative-care 時間: 2025-3-23 06:42
Conference proceedings 1991l systems theory, bifurcation theory and applications in the sciences. The papers are original research, stimulated by the symposium and workshop: All have been refereed and none will appear elsewhere. The main topic of volume II is new methods for the study of bifurcations in nonlinear dynamical systems, and applications of these.作者: GROSS 時間: 2025-3-23 12:46
Scaling Laws and Bifurcation,similar to the equivariance condition except that it also involves the parameters of the problem. We derive a natural context for the existence of such scaling laws based on the symmetry of the problem and show how bifurcation points can also be related by a scaling. This leads in some cases, to a p作者: 謙卑 時間: 2025-3-23 17:40 作者: 鳥籠 時間: 2025-3-23 20:37
Boundary conditions as symmetry constraints,mann boundary conditions can be viewed as restrictions of similar problems with periodic boundary conditions; and that this extension reveals the presence of additonal symmetry constraints which affect the generic bifurcation phenomena. We show that, more generally, similar observations hold for mul作者: 懸崖 時間: 2025-3-24 00:46 作者: Insulin 時間: 2025-3-24 04:09
On a codimension-four bifurcation occurring in optical bistability,ity has codimension four and appears in the mean field equations underlying optically bistable systems. We discuss the singularities of codimension smaller than four that occur as subsidiary bifurcations of the unfolding and present a two-dimensional section through the stability diagram.作者: Misnomer 時間: 2025-3-24 08:59 作者: 膽小鬼 時間: 2025-3-24 13:11 作者: Kinetic 時間: 2025-3-24 18:14 作者: Nutrient 時間: 2025-3-24 19:11 作者: Deadpan 時間: 2025-3-25 01:33 作者: Factual 時間: 2025-3-25 05:38
f the Consumer Ethic which Daniel Bell explained led to the diminishing importance of the Protestant Ethic, but it concerns resource leveraging and bargaining leveraging across societal spheres. The dramatic force of this Leverage Ethic is seen in the family as clearly as anywhere.作者: certain 時間: 2025-3-25 09:37 作者: Insulin 時間: 2025-3-25 15:02
David Chillingworthich grows out of a Brookings Institution paper “The Age of Leverage,” will analyze bargaining leverage, resource leverage and economic investment leverage and should draw the attention of students and teachers in political and economic philosophy.978-3-319-37935-7978-3-319-06094-1作者: narcotic 時間: 2025-3-25 18:47 作者: 領(lǐng)帶 時間: 2025-3-25 21:57
J. D. Crawford,M. Golubitsky,M. G. M. Gomes,E. Knobloch,I. N. Stewartterpretation of expressions into propositional logic. .’s translation allows the program verification tools to better reason about finite machine-level variables, bit operations, structures, unions, references, pointers and pointer arithmetic..This paper also provides experimental evidence that the 作者: Nausea 時間: 2025-3-26 03:11 作者: 浪蕩子 時間: 2025-3-26 05:34 作者: 排他 時間: 2025-3-26 11:11
Odo Diekmann,Stephan A. van Gilsed by a rule engine without additional input by domain experts. The framework is designed in a modular way that enables domain engineering, i.e., the development of new languages for individual application domains, with minimal effort. Only domain-specific entities and predicates (e.g., .) need to b作者: Silent-Ischemia 時間: 2025-3-26 15:15
Mike Fieldithout accumulation of technical debt. Our recommendations focus on ensuring low-code platforms enable scaling, understandability, documentability, testability, vendor-independence, and the overall user experience for developers those end-users who do some development.作者: 他很靈活 時間: 2025-3-26 19:33
J. E. Furterues and approach for engineering information systems that deal with many of these problem areas. However, there are currently few software systems that are capable of supporting OODA. In this talk, we provide a tour of the research issues and state of the art solutions for supporting OODA. In additi作者: 拉開這車床 時間: 2025-3-27 00:28
Staszek Janeczko,Mark Robertss a (meta-) optimization problem. If automated rigorously, it can be used to realize self-adaptive autonomous systems. Finally, our SD process model features a description of time that allows to reason about the progress within ML development processes. This might lead to further applications of for作者: HAWK 時間: 2025-3-27 01:38 作者: 最小 時間: 2025-3-27 06:14
Reiner Lauterbachrds patient data must never be com-promised or altered unobserved. The primary example under discussion consists of a clinic portal with numerous collaboration possibilities for surgeons..The first question in traditional system development is for the components to be used. This means both hardware 作者: 透明 時間: 2025-3-27 10:20
James Montalditiple sensors and devices. In this article, we investigate the design and implementation of such services and define a new approach that combines coordination model and reinforcement learning, in order to ensure reliable services and expected quality of services (QoS), namely convergence of composit作者: Inflated 時間: 2025-3-27 16:17
Irene M. Moroz test influencing the result of subsequently executed test cases. Formalizing the evolving sequential decision problem of test case executions by dependency graphs, in which we try to find optimal sets of paths for the mutation-based goal, we investigate the suitability of various kinds of evolution作者: 強有力 時間: 2025-3-27 19:21
Martin Petersl systems engineering. .Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.?.作者: Encumber 時間: 2025-3-27 23:54
Yieh-Hei Wanl systems engineering. .Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.?.作者: GREEN 時間: 2025-3-28 04:38
l systems engineering. .Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.?.作者: Infantry 時間: 2025-3-28 09:17 作者: 定點 時間: 2025-3-28 10:50
P. J. Astonned working mothers and their families. Paid parental leave is needed because a major force within our society, leveraging, is completely out of balance in our family system. This force needs to be recognized, harnessed, and redirected toward humane ends. Like the Protestant Ethic which was a drivin作者: 經(jīng)典 時間: 2025-3-28 14:34
David Chillingworthe in the economic crisis of 2008-09 and in the broader conteThis?book considers the current domestic and global political and economic landscape and ?will show that there are three different but related kinds of leverage that together have emerged as the dominant strategy in economics, politics and 作者: 惡臭 時間: 2025-3-28 18:56
P. Chossat,D. Armbrusterers that are used, such as ., usually combine decision procedures for the theories of uninterpreted functions, linear arithmetic, and sometimes bit vectors using techniques proposed by Nelson-Oppen or Shostak. Programming language constructs such as pointers, structures and unions are not directly s作者: 觀點 時間: 2025-3-29 00:57 作者: set598 時間: 2025-3-29 04:12 作者: ADORN 時間: 2025-3-29 08:49 作者: candle 時間: 2025-3-29 14:18
Odo Diekmann,Stephan A. van Gils is beneficial to society, automation needs to become programmable by domain experts—the vision being a Software-assisted increase in productivity instead of replacing workers with Software. While domain experts, e.g., workers in production, typically have extensive experience with processes and wor作者: 邊緣 時間: 2025-3-29 17:13 作者: 親愛 時間: 2025-3-29 23:42
J. E. Furterta collection, analysis, and solution design. This traditional approach of solving problems and building corresponding software systems and business processes, falls short in providing the necessary solutions needed to deal with many problems that require agility as the main ingredient of their solu作者: 引水渠 時間: 2025-3-30 01:04 作者: fiscal 時間: 2025-3-30 04:14 作者: notion 時間: 2025-3-30 10:55
Reiner Lauterbach systems goes on. One of the major challenges for today’s companies is to detect and manage this change and business development. This are not only IT provided internal considerations, but must also be considered for business processes. Software as a service and platform as a service seems at first 作者: Interim 時間: 2025-3-30 12:22
James Montalditions rely on centralized services provided by servers gathering all requests and performing pre-defined computations involving pre-defined devices. Large-scale IoT scenarios, involving adaptation and unanticipated devices, call for alternative solutions. We propose here a new type of services, buil作者: ADORN 時間: 2025-3-30 17:15 作者: Aprope 時間: 2025-3-31 00:36
Martin Peterstions of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.?.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volu作者: Obituary 時間: 2025-3-31 03:23
Yieh-Hei Wantions of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.?.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volu作者: Nostalgia 時間: 2025-3-31 06:04
tions of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.?.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volu作者: osculate 時間: 2025-3-31 12:23 作者: Host142 時間: 2025-3-31 15:58
