Registrer deg | Logg på | FAQ      [?] 

Nøkkelord: reflectivity [24 articles]

Nye artikler klassifisert med nøkkelordet reflectivity.
  • Thermal-conductivity measurements of GaAs/AlAs superlattices using a picosecond optical pump-and-probe technique
    Physical Review B, Vol. 59, No. 12. (15 March 1999), 8105.
    by WS Capinski, HJ Maris, T Ruf, M Cardona, K Ploog, DS Katzer
    posted to reflectivity by scmpoos on 2008-09-03 12:43:09 as **
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to argumentation-games argumentation-theory cognitive-architectures computability-logic computational-intelligence constructivism formal-computational-intelligence formal-digital-libraries formalization-hypothesis meta-level-architectures metalogical-frameworks parallelization quantum-computational-intelligence reflectivity self-interacting speed-games topos-theory by Scis0000002 on 2007-08-22 23:40:30 as ** along with 1 person scis0000001
  • Reflective languages and metalevel architectures
    ACM Comput. Surv., Vol. 28, No. 4es. (1996)
    by P Cointe
    posted to reflectivity by Scis0000002 on 2007-08-31 00:17:54 as **
  • Metatheory and reflection in theorem proving: A survey and critique
    (1995)
    by J Harrison
    posted to goedel-machine reflectivity self-referentiality by Scis0000002 on 2007-09-25 10:27:54 as **
  • Fibring Labelled Deduction Systems
    Journal of Logic and Computation (2001)
    by João Rasga, Am\ilcar Sernadas, Cristina Sernadas, Luca Viganò
    posted to contextuality fibring general-logics iff labelled-deduction-systems metalogical-frameworks modularity multi-context-systems multi-language-systems reflectivity topos-theory unified-context-theory by Scis0000002 on 2007-08-19 16:10:57 as **
  • Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
    Theor. Comput. Sci., Vol. 373, No. 1-2. (2007), pp. 70-91.
    by Manuel Clavel, José Meseguer, Miguel Palomino
    posted to reflection reflectivity by Scis0000002 on 2007-07-06 14:20:38 as **
  • Towards a modularized semantic web
    (2002)
    by R Volz, A Mdche, D Oberle
    posted to accessability artificial-society composability contextuality cyberinfrastructure distributed distributedness evolvability extendability extendibility grid heterogeneity hyperefficiency hypermedia hyperstructures information-dynamics infrastructures interoperability meta-level-architectures modularity nested-graphs reflectivity reusability semantic-web ubiquity by Scis0000002 on 2007-07-31 13:28:49 as **
  • Meta-languages, reflection principles and self-reference
    (1994), pp. 323-358.
    by Donald Perlis, VS Subrahmanian
    posted to metalanguage metalanguages reflectivity self-reference by Scis0000002 on 2007-09-24 00:19:38 as **
  • Attributing mental attitudes to normative systems
    (2003)
    by G Boella, L van der Torre
    posted to artificial-society beliefs computational-legal-sciences goals laws legal-systems normative-systems reflectivity self-reflectivity simulation by Scis0000002 on 2007-06-10 17:39:21 as **
  • Strategic Trading When Agents Forecast the Forecasts of Others
    The Journal of Finance, Vol. 51, No. 4. (1996), pp. 1437-1478.
    by Douglas D Foster, S Viswanathan
    posted to boundedness category-of-strategies cognitive-hierarchies higher-order lattice-of-strategies quantum-strategies reflectivity by Scis0000002 on 2007-12-15 22:00:51 as ** along with 1 person edge
  • Axiomatizing Reflective Logics and Languages
    (1996)
    by M Clavel, J Meseguer
    posted to reflective-logic reflectivity by Scis0000002 on 2007-08-20 14:48:04 as **
  • Reflection in General Logics, Rewriting Logic, and Maude
    by Manuel Clavel
    posted to general-logics hol maude metaprogramming reflective-logic reflectivity rewriting-logic by Scis0000002 on 2007-07-06 14:09:23 as **
  • Maximal introspection of agents
    by T Bolander
    posted to inconsistency introspection reflectivity self-referentiality by Scis0000002 on 2007-09-24 23:26:21 as **
  • On Explicit Reflection in Theorem Proving and Formal Verification
    (1999), pp. 267-281.
    by Sergei N Artemov
    edited by Harald Ganzinger
    posted to formal-methods proving reflectivity by Scis0000002 on 2007-09-25 10:39:25 as **
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to cognitive-architectures computational-complexity-theory formal-interoperability formal-problem-solving goedel-machine hierarchy-of-machines inference metainference metainferencing metalanguage metalanguages metalogical-frameworks metalogics metamathematics metareasoning reflectivity self-reflectivity by Scis0000002 on 2007-07-10 09:29:14 as ** along with 3 people and 1 group dalev scis0000001 Benja NU-PRL
  • Duality and Self-Duality (Energy Reflection Symmetry) of Quasi-Exactly Solvable Periodic Potentials
    (25 Apr 2002)
    by Gerald V Dunne, M Shifman
    posted to reflection reflectivity by Scis0000002 on 2007-07-15 17:50:35 as ** along with 1 person scis0000001
  • The TACOMA learning architecture for reflective growing of neural networks
    Advances in Neural Networks for Control and Systems, IEE Colloquium on (1994), pp. 2/1-2/2.
    by JM Lange, HM Voigt, D Wolf
    posted to reflectivity strategies by Scis0000002 on 2008-01-29 11:17:05 as ** along with 1 person scis0000001
  • [Sociological Paradigms and Organizational Analysis. (Gibson Burrell; Gareth Morgan)]
    Administrative Science Quarterly, Vol. 28, No. 1. (1983), pp. 153-156.
    by Meryl R Louis
    posted to reflectivity self-reflectivity by Scis0000002 on 2007-08-01 14:12:33 as **
  • A Meta Level Architecture For Workflow Management
    by Clemens Beckstein, Joachim Klausner
    posted to distributedness enterprise hyperefficiency meta-level-architectures reflectivity workflow by Scis0000002 on 2007-09-01 14:46:03 as **
  • Charge dynamics in the half-metallic ferromagnet CrO_2
    Physical Review B, Vol. 60, No. 6. (1999), 4126.
    by EJ Singley, CP Weber, DN Basov, A Barry, JMD Coey
    posted to metallic iron fe charge chromium cro2 dioxide optical reflectivity by rodney on 2007-11-05 18:07:40 as **
  • A femtosecond X-ray//optical cross-correlator
    Nat Photon, Vol. 2, No. 3. (March 2008), pp. 165-169.
    by Cornelius Gahl, Armin Azima, Martin Beye, Martin Deppe, Kristian Dobrich, Urs Hasslinger, Franz Hennies, Alexej Melnikov, Mitsuru Nagasono, Annette Pietzsch, Martin Wolf, Wilfried Wurth, Alexander Fohlisch
    posted to cross-correlator fel femtosecond flash gaas optical pulse reflectivity x-ray by michaelbussmann on 2008-03-06 10:59:54 as ***
  • The Landsat Image Mosaic of Antarctica
    Remote Sensing of Environment, Vol. In Press, Corrected Proof
    by Robert Bindschadler, Patricia Vornberger, Andrew Fleming, Adrian Fox, Jerry Mullins, Douglas Binnie, Sara J Paulsen, Brian Granneman, David Gorodetzky
    posted to antarctica map reflectivity satellite by harish on 2008-08-29 06:13:14 as **
  • Spin dynamics of the antiferromagnetic-to-ferromagnetic phase transition in FeRh on a sub-picosecond time scale
    Applied Physics Letters, Vol. 85, No. 14. (2004), pp. 2857-2859.
    by Jan U Thiele, Matthias Buess, Christian H Back
    posted to magnetization spin_dynamics rhodium_alloys reflectivity metallic_thin_films magnetic_thin_films laser_beam_effects kerr_magneto-optical_effect iron_alloys ferromagnetic_materials ferromagnetic-antiferromagnetic_transitions by aspen on 2008-09-18 14:05:20 as read
  • Ultrafast photoinduced reflectivity transients in doped manganite
    The Journal of Chemical Physics, Vol. 121, No. 1. (2004), pp. 436-440.
    by YH Ren, HB Zhao, G Lüpke, CS Hong, NH Hur, YF Hu, Qi Li
    posted to thin_films spin-lattice_relaxation reflectivity manganese_compounds lanthanum_compounds jahn-teller_effect fermi_level doping_profiles crystal_chemistry calcium_compounds by aspen on 2008-09-18 14:20:30 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/tag/reflectivity

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.