Where results make sense

About us   |   Why use us?   |   Reviews   |   PR   |   Contact us

Topic: Computational reflection

    Note: these results are not from the primary (high quality) database.

Ads by Google

In the News (Tue 29 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

Jenkins Chair People His doctoral dissertation introduced the notion of computational reflection in programming languages, still an area of active research in computer science. His doctoral dissertation introduced the notion of computational reflection in programming languages -- an area of active ongoing research in computer science. Smith's research focuses on the foundations and philosophy of computing, both in the practice and theory of computer science, and in the use of computational metaphors in other fields -- such as philosophy, cognitive science, physics, and art. www.jhfc.duke.edu /jenkins/people.html   (443 words)

COMPUTER SCIENCE Computational models, average case and worst case analysis, lower bounds for algorithms, provably optimal algorithms, computational complexity, NP-complete problems, provably intractable problems, probabilistic algorithms. Analysis of space and time requirements of standard computational and combinatorial algorithms. Fundamental ideas and concepts of computer science, algorithms and algorithmic languages, computer programming, procedural abstraction, control structures, elementary data structures, programming language syntax and semantics, top-down design, programming style. www.rose-hulman.edu /Class/Relations/bulletin/cs.htm   (946 words)

An Actor-Based Metalevel Architecture for Group-Wide Reflection - Watanabe, Yonezawa (ResearchIndex) Group-wide reflection, a dimension of computational reflection in concurrent systems, allows each computational agent (actor/object/process) to reason about and act upon not only the agent itself, but also a group of agents which may contain the agent itself. Global properties of the group can be dynamically controlled through group-wide reflection. In general, changes to the meta group are then effective for all members of the group. citeseer.ist.psu.edu /294665.html   (946 words)

HIGH-PERFORMANCE COMPUTING IN SEISMOLOGY Seismology would benefit from increased interdisciplinary collaboration that includes computational scientists and engineers, but the mechanisms currently available to sponsor such collaborations appear to be limited. Seismology has entered a new era that is characterized by (1) significant increases in the volumes of recorded seismic data, (2) explosive growth in the number and size of centralized data archives, and (3) "real-time" recording from global seismic networks. Strong motion seismology focuses on modeling and measuring the intense ground motions close to an earthquake source that are sufficiently large to cause damage to structures. www.nap.edu /html/hiperfsei/summary.html   (1170 words)

Computational Reflection Finally, Section 2.4 shows the use of computational reflection in the structuring and implementation of system-oriented mechanisms. Meta-level architectures are discussed in Section 2.2 and reflective languages in Section 2.3. Aspects of the base level are represented as objects in the meta level, in a process called reification (Section 2.1). www.dcc.unicamp.br /~oliva/guarana/docs/design-html/node2.html   (1170 words)

Computational Reflection and Meta-level Architectures Our interests on computational reflection are its theoretical aspects, reflective programming systems, and use of reflection for practical use. We believe that reflection is beneficial to programming languages, especially for parallel and distributed systems, and design several reflective programming languages. Also, we study theoretical aspects of reflection as a formal background of the Open Implementations. web.yl.is.s.u-tokyo.ac.jp /pl/meta.html   (1170 words)

Does the brain know the physics of specular reflection? Until recently, computational models of visual processes have tended to regard highlights as obscuring the structure of the underlying scene. We thus conclude that human visual analysis seems to employ a physical model of the interaction of light with curved surfaces, a model firmly based on ray optics and differential geometry. We also show that the 3-D appearance of a highlight affects the perception of surface curvature—that is, it can force an ambiguous convex−concave figure to change state. www.nature.com /nature/journal/v343/n6254/abs/343165a0.html   (275 words)

COMPUTER SCIENCE The primary areas of interest are: biomedical information processing, computer networks and communication, computational intelligence, decision support systems, geometric reasoning, modeling and computation, graphics, multi-media and visualization, image processing and computer vision, intelligent information systems, knowledge discovery and data mining, parallel and distributed computing, robotic systems, and software engineering. These skills are necessary for dealing with the problems encountered in business, industry, and governmental computer applications; for holding administrative or engineering positions requiring the planning and implementation of computer systems; for teaching computer science; and/or further study in computer science, in particular, for doctoral study. A bachelor's degree in a high quality computer science program or satisfactory completion of the Advanced GRE in computer Science may be substituted for some or all of the subject area admission requirements. www.uncc.edu /gradmiss/catalog/ComputerScience.htm   (2719 words)

Reflection-Oriented Programming Intuitively, reflective computational systems allow computations to observe and modify properties of their own behavior, especially properties that are typically observed only from some external, meta-level viewpoint. When a computation is provided with meta-information---in the form of an instance of some reflective---the exact transformative effect on the meta-information is determined by methods specialized to that reflective or its ancestors. Since any new reflective inherits the fields of its parent, and since the definitions of the methods specialized to the new reflective are intended to supersede those of the parent, it is sufficient to use only the leaves of the inheritance hierarchy. www.cs.indiana.edu /~jsobel/rop.html   (7703 words)

Computational Reflection and Meta-level Architectures Our interests on computational reflection are its theoretical aspects, reflective programming systems, and use of reflection for practical use. We believe that reflection is beneficial to programming languages, especially for parallel and distributed systems, and design several reflective programming languages. A general model for group-wide reflection is described based on Actor model, and several properties are proved. web.yl.is.s.u-tokyo.ac.jp /pl/meta.html   (7703 words)

Computer Science Suitable as an introduction to biological perception for computer science and engineering students, as well as an introduction to computational vision for mathematics, psychology, and physiology students. Basic topics in theoretical computer science: machine models; fundamental algorithms and their design, implementation, and analysis; data structures; the complexity of computation, communication, and data storage. This facility is used for courses and unsponsored research by computer science majors and first-year graduate students. www.yale.edu /bulletin/html/grad/cpsc.html   (1371 words)

Computer science and engineering On computational complexity and the nature of computer science. The Universal History of Computing: From the Abacus to the Quantum Computer. Computing the Future: A Broader Agenda for Computer Science and Engineering. www.creatingtechnology.org /cse.htm   (691 words)

Implicit Persistence System on a Reflection is the capability of a computational system to "reason about and act upon itself" [16] and adjust itself to changing conditions. The use of an abstract machine with structural reflection upon which languages with computational reflection are built is the fundamental piece to achieve flexibility in the database engine and the persistence mechanism. The computational domain of a reflective system is the structure and the computations of the system itself. www.di.uniovi.es /~belen/SBBD99.htm   (691 words)

Climate Computational results have been obtained for the separate terms in the Fourier expansion of the reflection function of an optically thick, conservatively scattering, atmosphere composed of cloud particles. Results are presented which illustrate the magnitude of the separate terms in the Fourier expansion of the phase function and the Fourier expansion of the reflection function of a semi-infinite atmosphere as a function of the zenith angles of incidence and reflection. King, M. D., 1983: Number of terms required in the Fourier expansion of the reflection function for optically thick atmospheres. climate.gsfc.nasa.gov /viewPaperAbstract.php?id=334   (208 words)

19980929.html Prior approaches to acoustic simulation have used the image source method, whose computational complexity grows with O(n^r) (for n surfaces and r reflections), or ray tracing methods, which are prone to sampling error and require lots of computation to trace many rays. The beam tree is generated by: 1) partitioning 3D space into convex polyhedral regions, 2) computing the convex polygonal boundaries between regions, and 3) recursively splitting and tracing convex polyhedral beams from a source point through region boundaries (e.g., reflecting beams at opaque boundaries). The data structure is a ``beam tree'' that maps the convex pyramidal beam-shaped paths of significant transmission and specular reflection from a source point through 3D space. psl.ucsc.edu /psl/ccrmas/199809/19980929.html   (208 words)

Chalmers Publications: 1119 A New Model for Room Acoustic Prediction and Auralization To further decrease the computational power required, reflection growth extrapolation is applied to enable to the use of a low number of secondary cones. The new model applies approximate cone-tracing where diffuse reflection is handled by split-up of cones striking diffusing surfaces. The second model consists of an entirely new algorithm based on a unified treatment of diffuse and specular reflection, and addresses many of the drawbacks of previously reported models. publications.lib.chalmers.se /records/full_record/1119.html   (208 words)

Morhogrammatik In chapter 10 an implementation of the `proemial-relation' is designed, which is suggested as an extension of functional programming and as an implementation-technique for computational reflection and process communication. Keywords: artificial intelligence, antinomies, autopoieses, circular systems, combinatory logics computational reflection, cybernetics, formal languages, foundations of mathematics, functional programming, kenogrammatics, logic, morphogrammatics, number theory, parallel processing, polycontextural logic, proemiality, process communication, selfreferential systems, semiotics, simultaneity. Until now it does not include an implementation of the Proemial Relationship, which you will find in the next section. www.thinkartlab.com /pkl/tm/mg-buch.htm   (208 words)

SAC 2006 Track on Programming for Separation of Concerns Separation of concerns (SoC) techniques such as computational reflection, aspect-oriented programming and subject-oriented programming have been successfully employed to produce systems whose concerns are well separated, thereby facilitating reuse and evolution of system components or systems as a whole. However, a criticism of techniques such as computational reflection is that they may bring about degraded performance compared with conventional software engineering techniques. Once the development phase is over, these systems are often hard to reuse and evolve because their concerns are intertwined and making apparently small changes force programmers to modify many parts. www.dmi.unict.it /~tramonta/PSC06   (448 words)

Some OPTICAL papers Halstead, Mark A.; Barsky, Brian A.; Klein, Stanley A.; and Mandell, Robert B. "A Spline Surface Algorithm for Reconstruction of Corneal Topography from a Videokeratographic Reflection Pattern", Optometry and Vision Science, Vol. Halstead, Mark A.; Barsky, Brian A.; Klein, Stanley A.; and Mandell, Robert B. "Reconstructing Curved Surfaces From Specular Reflection Patterns Using Spline Surface Fitting of Normals", ACM/SIGGRAPH '96, New Orleans, 4-9 August 1996, pp. Barsky, Brian A. "Geometry for Analysis of Corneal Shape," in Lectures on Computational Geometry, Morningside Center of Mathematics Lectures on Computational Geometry, joint publication Series in Advanced Mathematics, International Press (Providence, Rhode Island) / American Mathematical Society (Somerville, Mass.), 2003, pp. www.cs.berkeley.edu /~barsky/vis.sci.pubs.html   (448 words)

51F: Metric Geometry (Triangulation in the sense of subdividing into triangles is discussed with polyhedra, and computational geometry, as well as PL-topology). 51F15 : Reflection groups, reflection geometries, See also 20H10, 20H15; for Coxeter groups, See 20F55 We use this as the repository for remarks on triangulation, that is, determining locations from sightings. www.math.niu.edu /~rusin/known-math/index/51FXX.html   (448 words)

All Publications of Robert F. Sekerka Victor Sofonea and Robert F. Sekerka, "Diffuse reflection boundary conditions for a thermal lattice Boltzmann model in two dimensions: evidence of temperature jump and slip velocity in micro-channels," to appear in Phys. Victor Sofonea and Robert F. Sekerka, "Boundary conditions for the upwind finite difference Lattice Boltzmann model: evidence of slip velocity in micro-channel flow," J. Computational Physics 207 (2005) 639-659 Victor Sofonea and Robert F. Sekerka, "Viscosity of finite difference lattice Boltzmann models," J. Computational Physics 184 (2003) 422-434 sekerka.phys.cmu.edu /sekerka_allpub.html   (448 words)

MSc Advance Computer Science programme - Advanced Distributed Systems Module Reflective Middleware: Introduction to computational reflection; reflection and object-oriented systems; reflective languages and systems reflective middleware; case study: Open ORB. Mobility and Middleware: Introduction to mobile computing; mobility and adaptation; mobile middleware; from mobile computing to ubiquitous computing; a brief look at Jini; case studies from research at Lancaster. The overall aim of the course is to provide students with an in-depth appreciation of the range of modern middleware technologies, with emphasis on recent developments in areas such as mobile and multimedia computing. www.comp.lancs.ac.uk /postgraduates/mod_advdistsys.html   (501 words)

Reflection-Oriented Programming Reflection about the meanings of expressed values can be carried out by a special subset of simple reflectives called value reflectives. Reflective concepts such as environments, stores, and computational expense can be modeled by simple reflectives. More precisely, we define reflection-oriented programming to be a programming style that uses any means available to extend the meta-level semantics of computation in order to avoid situations in which the local requirements of some program fragment lead to non-local rewriting of the program. www.cs.indiana.edu /hyplan/jsobel/rop.html   (501 words)

Theory of Computation Its reflection mechanism provides a basis for the theory of computational complexity which we are striving to integrate usefully as an aspect of any theorem with computational meaning. Complexity theory tells us that Presburger Arithmetic is at least doubly exponential in asymptotic running time in the length of formulas in the worst case. In this case, the applied mathematics is linked to computers by a law of information science, the law is that certain abstract models of computing faithfully model what is feasible to compute in the real world with devices of a certain structure. www.cs.cornell.edu /Info/Projects/NuPrl/Intro/Theory/theory.html   (996 words)

Geek.com Geek News - ATI soon to unveil multi-GPU technology the computational load will again limit the polygon-loading of the scene. Likewise, as the rendering algorithms themselves become more sophisticated -- allowing transparency, specular and Fong reflection (in turn requiring a 'plane-normal compute step'), as the abstraction of light sources leads to hardware-evaluated shadows and eventually diffuse volume effects... "OF COURSE!" - for as the number of polygons soars, so too does the computational load of computing vertex transforms. www.geek.com /news/geeknews/2005May/bch20050512030443.htm   (2356 words)

Behavioral Reflection in a Prototype-Based Language - Malenfant, Dony, Cointe (ResearchIndex) 3: Computational Reflection in Class Based Object Oriented Languages (context) - Ferber - 1989 73 Computational Reflection in Class Based Object-Oriented Lang.. Abstract In, we have contributed a reflective model for a prototype based language based on the lookup ffi apply reflective introspection protocol. citeseer.ist.psu.edu /247619.html   (624 words)

Introduction Such computational topologies are found in Polycontextural Logics (where they are formalized as "Proemial Relations", meta-level architectures, computational reflection with causal connection and in simulations of self-referential, paradoxical and autopoietic systems. In addition to this basic implemenation a special Combinator P is introduced which performs an asyncronous parallelism of two given applications. The evaluation of (Y Y) is then stopped, because it is not longer required. www.vordenker.de /weblisp/main.htm   (1288 words)

hello, may I help you? I am starting a PhD at Politecnico di Milano and I would like to push my research towards something concerning reflection, but I need to better understand what computational reflection is and implies before trying to do that. Also some on (un)com- putability (Rice and theorem and Kleene fixpoint) but fundamentally nothing else, notably nothing on lambda calculus, and nothing even resembling re- flection, apart from Godel theorem. first order mathematic logic, Godel theorem, and I am studying modal and fuzzy logic and some cathegory theory. lists.tunes.org /archives/tunes/2001-March/003079.html   (165 words)

Formal self-reference in artificial intelligence If the formal reflection which is manifested by reflexive theories of Gödel's kind is not sufficient as a model of the reflection of consciousness, a better approximation would be a reflexive progression of reflexive theories. In computer science in general, these structures appear in connection with the specifically computational problem of regulating the flow of control information (Smith 82, Yonezawa and Smith 92), and in artificial intelligence in the design of introspective systems, which can reason about themselves and their behavior (Maes 88). The formal hypothesis of the research is that, besides reflexive theories, it is possible to define and implement, as a reflexive meta-circular interpreter, reflexive progressions of such theories, in which the operator which produces the progression takes into account its own effects. nl.ijs.si /~damjan/fs-ai.html   (165 words)

COMP9018: Advanced Graphics Topics include: advanced features of OpenGL; real-time shadows and reflection techniques; real-time lighting techniques; advanced modelling and animation techniques; modelling rotations; detailed surface models; performance optimisation; radiosity; ray tracing and optimisations; Monte Carlo and metropolis rendering; graphics hardware; and computational geometry. Modelling techniques, non-realtime rendering techniques, and computational geometry Advanced hardware for polygonal rendering: vertex and fragment shaders. www.cse.unsw.edu.au /~cs9018/handout   (165 words)

Try your search on: Qwika (all wikis)

About us   |   Why use us?   |   Reviews   |   Press   |   Contact us   Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.