|
| |
| | Domain |
 | | Domain theory Domain theory is a branch of metric spaces. |  | | Domain knowledge In computing, domain knowledge is the knowledge and skills that software programs encode. |  | | Domain (mathematics) In function is the set of all input values to the function. |
|
http://www.brainyencyclopedia.com/topics/domain.html
(910 words)
|
|
| |
| | Atlas: Domain Theory, Computational Geometry and Differential Calculus (A short course) by Abbas Edalat |
 | | Domain theory is a mathematical theory of computation, which was originally developed in the late 1960's to model the semantics of programming languages, but later found applications in mainstream mathematical computation. |  | | A domain is a structure for modeling a computational process or a data type with incompletely specified elements. |  | | Then a domain for continuously differentiable functions is constructed as a subset of the product of two copies of the function space of the real line with the interval domain. |
|
http://atlas-conferences.com/cgi-bin/abstract/capi-10
(1010 words)
|
|
| |
| | Function (mathematics) - Open Encyclopedia |
 | | Rather, a function links a "domain" (set of inputs) to a "codomain" (set of possible outputs) in such a way that every element of the domain is associated to precisely one element of the codomain. |  | | X, the set of input values, is called the domain of f, and Y, the set of possible output values, is called the codomain. |  | | The notion of function as a rule for computing, rather than a special kind of relation, has been formalized in mathematical logic and theoretical computer science by means several systems, including the lambda calculus, the theory of recursive functions and the Turing machine. |
|
http://open-encyclopedia.com/Function_(mathematics)
(2819 words)
|
|
| |
| | ASE98 Tutorial - Transformation Systems: Theory, Implementation, and Survey |
 | | An understanding of transformation system theory and technology can provide a deep understanding of how code generation, modification, and reuse of code and other software engineering artifacts can work. |  | | He has worked on or with a number of transformation systems, including REFINE (a commercial offering currently popular for reengineering), Draco (multiple domain notations and source of the term "domain analysis"), Sinapse (generation of PDE solvers for supercomputers), and IP (Microsoft Research's transformation tool). |  | | Dr. Baxter is presently the principal architect of Semantic Design's transformational Design Maintenance System (DMS), a NIST Advanced Technology Program funded project to use software componentry to enhance software maintenance. |
|
http://www-dse.doc.ic.ac.uk/Events/ase/abstracts/Baxter.html
(2819 words)
|
|
| |
| | RFC 1136 (rfc1136) - Administrative Domains and Routing Domains: A model f |
 | | In theory, an Autonomous System is quite similar to a Routing Domain, in which a high level of trust is made between systems, a consistent IGP is run, and full routing information is distributed. |  | | Common Domain (CD) "An Administrative Domain which is not a member of a higher level domain. |  | | A congruent Administrative Domain and Routing Domain is analogous to an Internet Autonomous System. |
|
http://www.faqs.org/rfcs/rfc1136.html
(2819 words)
|
|
| |
| | Review: Knowledge Acquisition Principles and Guidelines |
 | | Its primary purpose is to increase the efficiency of the way in which domain expert contribute their time and knowledge, it is accomplished by applying a qualitative model of casual relations and a theory of how casual knowledge can be used to achieve more better conclusions and guide the interview process. |  | | The idea on which expert systems were based was that it would be useful to capture a domain expert's problem-solving expertise in a computer. |  | | Domain expert is an individual who has considerable expertise in the domain in which the expert system is being developed and has the communication skills nessary to relay the information. |
|
http://www.scism.sbu.ac.uk/inmandw/review/knowacq/review/rev5204.html
(2819 words)
|
|
| |
| | What is knowledge management? |
 | | By the mid-1980s, the importance of knowledge (and its expression in professional competence) as a competitive asset was apparent, even though classical economic theory ignores (the value of) knowledge as an asset and most organizations still lack strategies and methods for managing it. |  | | The knowledge worker is almost completely immersed in a computing environment. |  | | Systematic approaches to knowledge management retain the traditional faith in rational analysis of the knowledge problem: the problem can be solved, but new thinking of many kinds is required. |
|
http://www.media-access.com/whatis.html
(2819 words)
|
|
| |
| | Computing with Reals - some history |
 | | Domain theory was invented in order to give "mathematical" accounts of the semantics of programming languages, and therefore there is some connection with effectiveness. |  | | Recursion theory provides a basis for an understanding of computability separated from too great an exposure to philosophy. |  | | To those of us who were born after the invention of the digital computer, who learned about recursion theory in our youths, (perhaps even those who escaped the recursion theory, but couldn't escape computers), the writings of intuitionist may appear unnecessarily obscure. |
|
http://www.rbjones.com/rbjpub/cs/cs006.htm
(1640 words)
|
|
| |
| | MathWorks: QFT Toolbox |
 | | Quantitative feedback theory is a natural extension of classical frequency-domain design approaches. |  | | QFT is an engineering method that uses frequency-domain concepts to satisfy performance specifications and handle plant uncertainty. |  | | The QFT Control Design Toolbox facilitates computing QFT bounds, nominal loop-shaping and pre-filter shaping, and performance validation in continuous and direct z-domain systems. |
|
http://www.ccr.jussieu.fr/ccr/Documentation/Calcul/matlab5v11/docs/00002/00243.htm
(1640 words)
|
|
| |
| | bresnan.html |
 | | This theory of markedness and simplification in the domain of pronouns is not meant to be the full story of how pidgins develop, stabilize, and expand. |  | | The emergence of the unmarked pronoun: Chichewa pronominals in Optimality Theory. |  | | Note that the theory does not assume that developers of pidgins have knowledge of the relative frequencies of occurrence of structures across languages. |
|
http://csli-publications.stanford.edu/LFG/3/bresnan/bresnan.html
(4707 words)
|
|
| |
| | Researchers in Programming Languages and Compilers |
 | | Semantics, intensional aspects of computation, domain theory, concurrency, functional programming, reasoning about programs. |  | | Theory of programming languages: polymorphism, subtyping, objects, recursion, modularization, typechecking, distribution. |  | | Theory of programming languages: operational and denotational semantics, logics of programs, formal methods, type systems and inference, abstraction. |
|
http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-people.html
(4707 words)
|
|
| |
| | Comments on 16299 MetaFilter |
 | | My theory is that they are watching the WHOIS queries on expired/expiring domains. |  | | The rules say that a domain can't be transferred if it's in the last 4 days before registration but ideally have 3-4 weeks just in case any queries arise. |  | | If there are query hits on a certain domain, it might prove there is possible interest in someone purchasing the domain. |
|
http://www.metafilter.com/comments.mefi/16299
(6621 words)
|
|
| |
| | Structural information theory - Wikipedia, the free encyclopedia |
 | | In 1998 Mehdi Dastani ([2]) introduced a more formally defined algebra for SIT, using more general operators (besides the ISA codes), and allowing for domain dependent operators (DDOs). |  | | Structural information theory (SIT) is a general theory of pattern perception, set about by Emanuel Leeuwenberg in the 1960s. |  | | In [1] it is argued that SIT is the only approach to Gestalt psychology that spawned a formal calculus that can generate a plausible Gestalt representation of a perceptual phenomenon. |
|
http://en.wikipedia.org/wiki/Structural_information_theory
(245 words)
|
|
| |
| | Review: Knowledge Acquisition Principles and Guidelines |
 | | Its primary purpose is to increase the efficiency of the way in which domain expert contribute their time and knowledge, it is accomplished by applying a qualitative model of casual relations and a theory of how casual knowledge can be used to achieve more better conclusions and guide the interview process. |  | | The idea on which expert systems were based was that it would be useful to capture a domain expert's problem-solving expertise in a computer. |  | | Domain expert is an individual who has considerable expertise in the domain in which the expert system is being developed and has the communication skills nessary to relay the information. |
|
http://www.scism.sbu.ac.uk/inmandw/review/knowacq/review/rev5204.html
(3737 words)
|
|
| |
| | QFT - Quantitative Feedback Theory |
 | | Quantitative Feedback Theory (QFT) developed by Horowitz (Horowitz, 1963; Horowitz and Sidi, 1972), is a frequency domain technique utilising the Nichols Chart (NC) in order to achieve a desired robust design over a specified region of plant uncertainty. |  | | QFT stands for Quantitative Feedback Theory, which emphasises the use of feedback in order to achieve adequate robust system performance tolerances despite the presence of plant and disturbances uncertainties. |  | | HOROWITZ, I.M. and SIDI, M., 1972, Synthesis of feedback systems with large plant ignorance for prescribed time-domain tolerances. |
|
http://cnx.rice.edu/content/m11109/latest
(3737 words)
|
|
| |
| | Peter van der Helm: Structural Information Theory |
 | | SIT's simplicity principle also concurs with the minimum description length principle in the mathematical domain of algorithmic information theory (AIT) that, also in the 1960s, was initiated by Kolmogorov and Solomonoff. |  | | Finally, in Marr's (1982) terms, SIT is primarily a theory at the computational level of description (demo). |  | | SIT adds to this a concrete coding language that specifies the so-called transparent holographic regularities to be captured in descriptive codes. |
|
http://www.nici.kun.nl/~peterh/doc/sit.html
(1043 words)
|
|
| |
| | Osita.html |
 | | Thompson, D.F., Nwokah, O.D.I., Optimal loop synthesis in quantitative feedback theory, Proc. |  | | Jayasuriya, S., Yaniv, O., Nwokah, O.D.I., The benchmark problem solution by quantitative feedback theory, AIAA J. Guidance, Control and Dynamics, Vol. |  | | Jayasuriya, S., Yaniv, O., Nwokah, O.D.I., The benchmark problem solution by quantitative feedback theory, Proc. |
|
http://cyborg.seas.smu.edu/~anton/ME/Osita.html
(1043 words)
|
|
| |
| | V3.4 |
 | | -dt-] ----------------------------------------------------------- Announcing the Quantitative Feedback Theory Toolbox The New QFT toolbox solves robust control design problems using classical frequency domain concepts The new Quantitative Feedback Theory (QFT) Toolbox is the latest release in The MathWorks Partner Series. |  | | Written by Yossi Chait, Craig Borghesani, and Yaniv Oded, this toolbox offers a frequency domain-based design technique that extends well-known, classical design approaches to allow for an explicit consideration of plant uncertainty and/or external disturbances and simultaneous performance specifications. |  | | The QFT Toolbox supports single-loop design problems for wide classes of uncertainty: parametric, non-parametric, or both, as well as frequency response sets such as those obtained from physical measurements. |
|
http://www.utoronto.ca/cat/services/mathlab_files/matlab/digest/V3.4
(1043 words)
|
|
| |
| | New Books in DeLaMare Library, February - March 2004 |
 | | Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. |  | | Computational Electrodynamics: The Finite-Difference Time-Domain Method is the essential reference for professional engineers, university professors and students using, teaching, or learning FDTD solutions to Maxwell's equations. |  | | System reliability theory: models, statistical methods, and applications/ 2nd ed. |
|
http://www.delamare.unr.edu/newbooks/books_204.html
(1043 words)
|
|
| |
| | Optimizing Structure in Context: Scrambling and Information Structure |
 | | Using Optimality Theory, this book demonstrates how these principles from different modules of grammar interact and thus resolve conflicts among themselves to yield the most optimal output, that is, a sentence with a particular word order, in a given semantic and discoursal context. |  | | By expanding the core idea of constraint interaction in Optimality Theory to interactions 'between' modules of grammar as well as 'within', this book provides a model of interface theory. |  | | Also, while developing constraints in the discourse domain, it proposes a new model of information structure based on basic discourse features. |
|
http://csli-publications.stanford.edu/site/1575861569.html
(155 words)
|
|
| |
| | INFORMATION, RANDOMNESS AND INCOMPLETENESS |
 | | Chaitin's ideas are a fundamental extension of those of Gödel and Turning and have exploded some basic assumptions of mathematics and thrown new light on the scientific method, epistemology, probability theory, and of course computer science and information theory. |  | | This book contains in easily accessible form all the main ideas of the creator and principal architect of algorithmic information theory. |  | | Very complete, it is recommended to anyone who is interested in algorithmic information theory." (translated) |
|
http://www.worldscibooks.com/compsci/1048.htm
(155 words)
|
|
| |
| | Generic top-level domain - Wikipedia, the free encyclopedia |
 | | A generic top-level domain (gTLD) is a top-level domain used (at least in theory) by a particular class of organization. |  | | While.net was not listed in the original RFC document describing the domain name system, it was added by the time the first group of names were implemented. |  | | However, in May 2000, the Internet Architecture Board proposed to close the.int domain to new infrastructure databases. |
|
http://en.wikipedia.org/wiki/Generic_top-level_domain
(670 words)
|
|
| |
| | Symposium on Quantitative Feedback Theory and Other Frequency Domain Methods and Applications - Storming Media |
 | | The Final Proceedings for International Symposium on Quantitative Feedback Theory, 20 August 1997 - 22 August 1997 The Topics covered include: QFT, frequency domain design techniques, methods for dealing with parametric uncertainty, parameter space methods, industrial applications. |  | | Abstract: The Final Proceedings for International Symposium on Quantitative Feedback Theory, 20 August 1997 - 22 August 1997 The Topics covered include: QFT, frequency domain design techniques, methods for dealing with parametric uncertainty, parameter space methods, industrial applications. |  | | Symposium on Quantitative Feedback Theory and Other Frequency Domain Methods and Applications |
|
http://www.stormingmedia.us/91/9129/A912923.html
(670 words)
|
|
| |
| | 17 |
 | | It emphasizes quantitative formulation of plant uncertainty & disturbances, quantitative formulation of performance tolerances in the time domain, and systematic, transparent (mainly in frequency domain) design techniques for this purpose. |  | | Announcing a new text: "Quantitative Feedback Design Theory (QFT)", by Isaac Horowitz. |  | | It has over 500 pages in 8.5 by 11 inch, 12 font format; 14 chapters, 740 figures; over 30 detailed design examples with highly uncertain plants--including the only known solution to the ill- conditioned high-purity 2 by 2 (MIMO) distillation design challenge problem in the 1991 CDC Challenge problem. |
|
http://www.che.wisc.edu/cast10/mailing-list/1993/17
(670 words)
|
|
| |
| | Tatet - domain name registration |
 | | Tamilnadu Infotech provides web solutions at an very economical rate with the best quality at 99.9% network uptime.Services include domain registration, web hosting with windows 2003 servers or linux servers, dedicated hosting, co-located servers, web designing, search engine optimisation and other web related services. |  | | the domain of computer science * public domain, a body of works and knowledge without proprietary interest * domain of discourse... |  | | Names may identify a class (set theory)class or category of things, or a single thing, either uniquely, or within a given... |
|
http://tatet.com/gsearch-domain_name_registration.html
(670 words)
|
|
| |
| | Google becomes domain name registrar - vnunet.com |
 | | One theory is that the move could allow Google to offer cheaper domains to the cost-conscious blogger community. |  | | "We are not registering domains today and have no immediate plans to do so. |  | | The web search giant was awarded a registrar number last week and can now act as a registrar for top level domains such as.biz,.com,.info,.name,.net,.org, and.pro. |
|
http://www.vnunet.com/vnunet/news/2126638/google-becomes-domain-name-registrar
(384 words)
|
|
| |
| | Top-level domain - Wikipedia, the free encyclopedia |
 | | generic top-level domain (gTLD): Used (at least in theory) by a particular class of organizations (for example, |  | | A full list of currently existing TLDs can be found at the list of Internet top-level domains. |  | | Most of these networks have long since ceased to exist, and although UUCP still gets significant use in parts of the world where Internet infrastructure has not yet become well-established, it subsequently transitioned to using Internet domain names, so pseudo-domains now largely survive as historical relics. |
|
http://en.wikipedia.org/wiki/Top-level_domain
(498 words)
|
|
| |
| | Generalizability Theory |
 | | In G theory, a universe, its facets, and the conditions for admissible observations are defined through careful construct explication, the traditional domain of validity theory. |  | | G theory can also be applied to the analysis of score profiles, composites, and difference scores, and extensions have been developed to estimate variance components via maximum likelihood, Bayesian, and covariance structure methods and for studying the dependability of any facet of observation. |  | | Marcoulides, G. Estimating variance components in generalizability theory: The covariance structure analysis approach. |
|
http://www.psychology.sdsu.edu/faculty/matt/Pubs/GThtml/GTheory_GEMatt.html
(498 words)
|
|
| |
| | zophars domain |
 | | It's taken us quite a while to sift through all the file we found about zophars domain and capture the coolest web sites from all those available for you to theory. |  | | Of course, being a start up we dont yet have a big amount of information on the precise search term you were looking for zophars domain, but were getting there. |  | | Superb web resources for zophars domain are displayed below recommending a great web site about zophars domain submitting a free site listing for a The Largest MS DOS and Windows Emulation Archive on the web Link Details for Zophars Domain. |
|
http://domain-names.techabled.com/zophars-domain
(629 words)
|
|
|