Filters








703,989 Hits in 5.0 sec

Projectively well-ordered inner models

J.R. Steel
1995 Annals of Pure and Applied Logic  
It follows that this model satisfies "There is a A.'+2 well-order of the reals".  ...  We also describe some other connections between the descriptive set theory of projective sets and inner models with finitely many Woodin cardinals.  ...  n+1- We now turn to the inner model theory. Definition 1.1.  ... 
doi:10.1016/0168-0072(94)00021-t fatcat:os5qhzrn5ncfvh3cvv2tozs2jm

Page 7159 of Mathematical Reviews Vol. , Issue 95m [page]

1995 Mathematical Reviews  
These local approximations are called (following Jensen) mice, and all subsequent inner models based on fine structural considerations, all “core models”, are increasing well-ordered unions of their corresponding  ...  well-ordering of the reals (in fact, every set of reals in L(R) is Lebesgue measurable).  ... 

Modeling of transitional channel flow using balanced proper orthogonal decomposition

Miloš Ilak, Clarence W. Rowley
2008 Physics of Fluids  
We show that the BPOD procedure yields models that capture the transient growth well at a low order, whereas standard POD does not capture the growth unless a considerably larger number of modes is included  ...  We also demonstrate that for single-wavenumber perturbations, low-order BPOD models reproduce the dominant eigenvalues of the full system better than POD models of the same order.  ...  The very low-order BPOD models do not capture very well the initial transient, as shown in the inset. The BPOD models are from the ten-mode output projection. . 16 . ͑  ... 
doi:10.1063/1.2840197 fatcat:qr3bptwrurc3hi5evmryv662ai

Reduced-order models of linearized channel flow using balanced truncation

Clarence W. Rowley, Milos Ilak
2006 2006 14th Mediterranean Conference on Control and Automation  
POD models, for the same order of truncation.  ...  This paper compares two different model-reduction procedures for the linearized flow in a plane channel: the method of Proper Orthogonal Decomposition and Galerkin projection, popular in the fluid mechanics  ...  10-mode (•) output projections; and lower bound for any reduced-order model (-).  ... 
doi:10.1109/med.2006.328776 fatcat:kft7yizstbeilhsq6hdpou2gka

Reduced-order models of linearized channel flow using balanced truncation

Clarence W. Rowley
2006 2006 14th Mediterranean Conference on Control and Automation  
POD models, for the same order of truncation.  ...  This paper compares two different model-reduction procedures for the linearized flow in a plane channel: the method of Proper Orthogonal Decomposition and Galerkin projection, popular in the fluid mechanics  ...  10-mode (•) output projections; and lower bound for any reduced-order model (-).  ... 
doi:10.1109/med.2006.235986 fatcat:uzcde6k2sngvpptqchrdspnxra

Construction of energy-stable projection-based reduced order models

Irina Kalashnikova, Matthew F. Barone, Srinivasan Arunajatesan, Bart G. van Bloemen Waanders
2014 Applied Mathematics and Computation  
An approach for building energy-stable Galerkin reduced order models (ROMs) for linear hyperbolic or incompletely parabolic systems of partial differential equations (PDEs) using continuous projection  ...  Connections are established between the proposed approach and other stability-preserving model reduction methods, giving the paper a review flavor.  ...  Projection-based model reduction In this section, several approaches to building projection-based reduced order models are reviewed. Attention is restricted to LTI systems.  ... 
doi:10.1016/j.amc.2014.10.073 fatcat:hcivo43d2bdhhmmxtetdhinfja

Inner Source Project Management [chapter]

Martin Höst, Klaas-Jan Stol, Alma Oručević-Alagić
2014 Software Project Management in a Changing World  
With an Inner Source approach, individuals, teams, and departments within an organization can start software projects, very similar to the Open Source model.  ...  Secondly, at the tactical level, organizations should choose an appropriate Inner Source adoption model that suits the goals and scope of the organization.  ...  This work was conducted within the ITEA2-SCALARE project, supported by Vinnova and Enterprise Ireland, and further by Science Foundation Ireland grant 10/CE/ I1855 to Lero -the Irish Software Engineering  ... 
doi:10.1007/978-3-642-55035-5_14 fatcat:v4h257k5a5f7jlevqh7wsfbaju

Reliable reduced-order models for time-dependent linearized Euler equations

Gilles Serre, Philippe Lafon, Xavier Gloerfelt, Christophe Bailly
2012 Journal of Computational Physics  
A stabilizing projection is introduced to induce a stable reduced-order model at finite time even if the energy of the physical model is growing.  ...  A particular attention is then paid to the link between the choice of the projection and the stability property of the reduced-order model.  ...  The unsteady models are more complex since the choice Q ¼ A T does not provide a well-posed weighted inner product (A is not positive definite symmetric).  ... 
doi:10.1016/j.jcp.2012.04.019 fatcat:xtafkgtc5zb5ldma3apb4kzb3i

SIFEM project: Semantic infostructure interlinking an open source finite element tool and libraries with a model repository for the multi-scale modelling of the inner-ear

Christos Bellos, Athanasios Bibas, Dimitrios Kikidis, Steve Elliott, Stefan Stenfelt, Ratnesh Sahay, Konstantina Nikita, Dimitrios Koutsouris, Dimitrios I. Fotiadis
2013 13th IEEE International Conference on BioInformatics and BioEngineering  
The project mainly delivers: (i) tools for finite elements modelling, (ii) cochlea reconstruction tool and (iii) 3D inner ear models visualization tool.  ...  The SIFEM project targets the development of an infrastructure in order to semantically link open source tools and libraries with existing data as well as new knowledge towards the multi-scale finite element  ...  The SIFEM project will utilize PAK software [19] , which is a well-known open source FEM set of software tools, utilized in previous research and modelling activities [20] .  ... 
doi:10.1109/bibe.2013.6701703 dblp:conf/bibe/BellosBKESSNKF13 fatcat:66q2jwezsracdnkutvefbyx62a

Projective Well-orderings of the Reals

Andrés Eduardo Caicedo, Ralf Schindler
2006 Archive for Mathematical Logic  
If there is no inner model with ω many strong cardinals, then there is a set forcing extension of the universe with a projective well-ordering of the reals.  ...  Acknowledgements Research partially supported by the FWF, project # P16334-N05  ...  Since homogeneous forcing destroys any projective well-ordering, projective absoluteness ensures that no set forcing extension of V 1 can have a projective well-ordering of R.  ... 
doi:10.1007/s00153-006-0002-6 fatcat:ewboarnwcfewhpqle6uzoyyj6y

Model reduction for compressible flows using POD and Galerkin projection

Clarence W. Rowley, Tim Colonius, Richard M. Murray
2004 Physica D : Non-linear phenomena  
For incompressible flows, only the kinematic variables are important, and the techniques are well known.  ...  We introduce an energy-based inner product which may be used to obtain POD modes for this configuration space.  ...  Model reduction The tools of Proper Orthogonal Decomposition (POD) and Galerkin projection provide a systematic way for producing reduced-order models from data.  ... 
doi:10.1016/j.physd.2003.03.001 fatcat:5n4bsbbv2nd2tidk7hrow6fngm

Missing Point Estimation in Models Described by Proper Orthogonal Decomposition

Patricia Astrid, Siep Weiland, Karen Willcox, Ton Backx
2008 IEEE Transactions on Automatic Control  
to 1981) and within Philips (1981 to 1988), he started his own company (IPCOS) in model based control. He initiated an R&D network in model based control technology developments.  ...  Both reduced-order models perform quite well under different excitation signals.  ...  From Fig. 5 , it can be seen that the reduced-order model captures the dynamics of the original model well. D.  ... 
doi:10.1109/tac.2008.2006102 fatcat:d2jaidptyzax3of53jvut5re4a

Inner model operators and the continuum hypothesis

Howard Becker
1986 Proceedings of the American Mathematical Society  
Assuming AD, every inner model operator satisfies the continuum hypothesis.  ...  These models all have canonical well-orderings and all relativize. Hence each of these models corresponds to an IMO.9.  ...  All these examples have canonical well-orderings.  ... 
doi:10.1090/s0002-9939-1986-0813824-6 fatcat:ijbyi26y2jaijpimddj5xubir4

Inner Model Operators and the Continuum Hypothesis

Howard Becker
1986 Proceedings of the American Mathematical Society  
Assuming AD, every inner model operator satisfies the continuum hypothesis.  ...  These models all have canonical well-orderings and all relativize. Hence each of these models corresponds to an IMO.9.  ...  All these examples have canonical well-orderings.  ... 
doi:10.2307/2045666 fatcat:cxp3ldcubnhvnnz6rcfthaq76i

MODEL REDUCTION FOR FLUIDS, USING BALANCED PROPER ORTHOGONAL DECOMPOSITION

C. W. ROWLEY
2005 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering  
This paper reviews two well-known approaches to model reduction, and presents a new method which compares favorably with both of these.  ...  Balanced truncation produces better reduced-order models than POD, but is not computationally tractable for very large systems.  ...  Galerkin projection. One can then form reduced order models using Galerkin projection onto this subspace.  ... 
doi:10.1142/s0218127405012429 fatcat:w6n65gekczfxtoyp2djaremlvy
« Previous Showing results 1 — 15 out of 703,989 results