Chemical Composition of Faint (I~21 mag) Microlensed Bulge Dwarf OGLE-2007-BLG-514S (2009)
Epstein, Courtney R., Johnson, Jennifer A., Dong, Subo, Udalski, Andrzej, Gould, Andrew, Becker, George
We present a high-resolution spectrum of a microlensed G dwarf in the Galactic bulge with spectroscopic temperature T_eff = 5600 +/- 180 K. This I~21 mag star was magnified by a factor ranging from...
Metamodeling Architectures and Interoperability 1 Chapter I Metamodeling Architectures (2008)
Marie-noëlle Terrasse, George Becker, Marinette Savonnet
Metamodeling, which is extensively used in information system analysis & design, provides modelers with two complementary mechanisms for abstraction: abstraction by projection and abstraction by...
Agenda ofCampus Investigations (2008)
Karyn Loscocco, Robert Crutchfield, William Roy, George Becker, Kevin Christiano, Laurie Russell Hatch
4
Marie-noelle Terrasse, Marinette Savonnet, Eric Leclercq, George Becker, Eric Fourmentin, Damien Lariviere, ...
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has to deal with...
Rauch, Michael, Haehnelt, Martin, Bunker, Andrew, Becker, George, Marleau, Francine, Graham, James, ...
We have conducted a long-slit search for low surface brightness Lyα emitters at redshift 2.67 < z < 3.75. A 92 hr long exposure with the ESO VLT FORS2 instrument down to a 1σ surface brightness...
UML-Metamodeling: Towards Formal Approach to Interoperability (2008)
Marie-noëlle Terrasse, George Becker, Marinette Savonnet, Eric Leclercq
Abstract: We believe that information systems, in order to avoid obsolescence, need to become web-enabled. We have proposed an integrated framework for both Analysis & Design and interoperability...
Marie-noëlle Terrasse, Marinette Savonnet, George Becker, Eric Leclercq
We propose a four-layer architecture in the context of UML metamodeling. This allows modelers to use a three-step modeling process: 1) giving an informal description of the universe of the discourse...
Metamodels and Information System Engineering: a UML-based Approach (2008)
Marie-noëlle Terrasse, George Becker, Marinette Savonnet, Eric Leclercq
Abstract. Metamodels play a major role in most modeling environments. Motivated by a survey of modelers ’ practice, we show that metamodels are not a suitable description media for modelers. We...
–using a UML-based metamodeling approach– (2008)
Marie-noëlle Terrasse, Marinette Savonnet, Eric Leclercq, George Becker
for information system interoperability
Enterprises and Network of developers aiming at Transnational Technology Transfer”. (2008)
Marie-noëlle Terrasse, Marinette Savonnet, Eric Leclercq, George Becker, Thierry Grison, Laurence Favier, ...
Grants to the OpenTTT European project (INN7-030595): “Open source Partnership for
Formal Verification of a Merge-Sort Program with Static Semantics (2007)
Paul Black National, Paul E. Black, George Becker, Neil V. Murray
Proving correctness of programs is a desirable, but not yet practically solved, problem. Conventional verification techniques do not scale to larger "real-life" programs. In order to...
Boleslaw K. Szymanski, Balaram Sinharoy (Eds.), Balaram Sinharoy, George Becker, Neil V. Murray, Richard E. Stearns
There has been an increasing trend towards using a network of non-dedicated workstations for parallel programming. In such an environment, the number of processors available for parallel programming...
Metamodels and Information System Engineering: (2007)
Marie-noëlle Terrasse, George Becker, Marinette Savonnet, Eric Leclercq
Metamodels play a major role in most modeling environments. Motivated by a survey of modelers' practice, we show that metamodels are not a suitable description media for modelers. We propose to...
Rauch, Michael, Haehnelt, Martin, Bunker, Andrew, Becker, George, Marleau, Francine, Graham, James, ...
We have conducted a long slit search for low surface brightness Lyman-alpha emitters at redshift 2.67 < z < 3.75. A 92 hour long exposure with VLT/FORS2 down to a 1-sigma surface brightness detection...
Do We Need Metamodels AND Ontologies for Engineering Platforms (2006)
Marie-noëlle Terrasse, Marinette Savonnet, Eric Leclercq, George Becker, Thierry Grison
In this paper we show how the joint use of metamodeling and ontologies allows to describe domain knowledge for a complex domain. Ontologies are used as stabilized descriptions of the business domain...
Metamodeling Architectures and Interoperability of Web-enabled Information Systems (2004)
Marie-noëlle Terrasse, George Becker, Marinette Savonnet
Web-enabled information systems are particular challenges in interoperability in the sense that they are strongly heterogeneous in terms of their application domain, as well as of their modeling...
E.Leclercq. A UML-Based Meta-modeling Architecture with Example Frameworks (2002)
Marie-noëlle Terrasse, Marinette Savonnet, George Becker, Eric Leclercq
Based on a survey of modelers ’ practice, we propose a UML-based metamodeling architecture in which the two uppermost layers (meta-metamodeling and metamodeling) are organized into a mirroring...
E.Leclercq. A UML-Based Meta-modeling Architecture with Example Frameworks (2002)
Marie-noëlle Terrasse, Marinette Savonnet, George Becker, Eric Leclercq
Motivated by a survey of modelers ’ practice, we propose a UML-based metamodeling architecture in which the two uppermost layers (meta-metamodeling and metamodeling) are organized into a mirroring...
CNF and DNF considered harmful for computing prime implicants/implicates (1997)
Anavai Ramesh, Anavai Ramesh, George Becker, George Becker, Neil V. Murray, Neil V. Murray, ...
Several methods to compute the prime implicants and the prime implicates of a negation normal form (NNF) formula are developed and implemented. An algorithm PI is introduced that is an extension to...
Symmetric Indexing of Arrays (1996)
Fortran 90 offered an alternative to conventional arrays and their one element at a time processing. New built-in functions acting upon whole arrays, array sections, and array expressions streamline...
Thesis (M.S.)--University of Wisconsin--Stout, 1977.
The mad genius controversy : a study in the sociology of deviance / (1976)
Thesis--State University of New York at Stony Brook.
The mad genius controversy : a study in the sociology of deviance / (1976)
Thesis (Ph. D.)--State University of New York at Stony Brook, 1976.
Development Platforms as a Niche for Software Companies in Open Source Software (1970)
Marinette Savonnet, Eric Leclercq, Marie-Nolle Terrasse, Thierry Grison, George Becker, Ludovic Denoyelle
As long as information systems do not become overly large and while they address a well-known domain, they can be controlled by engineering staff. Nevertheless, when dealing with large-scale,...