Letteratura scientifica selezionata sul tema "Domain theories"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Domain theories".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Domain theories"

1

Sternberg, Robert. "Applying Psychological Theories to Educational Practice". American Educational Research Journal 45, n. 1 (marzo 2008): 150–65. http://dx.doi.org/10.3102/0002831207312910.

Testo completo
Abstract (sommario):
Two approaches to the application of psychological theories to education might be referred to as domain-general and domain-specific. The domain-general approach seeks a general theory of cognitive and other skills that apply across subject-matter areas. The domain-specific approach seeks to apply specific theories within given domains, such as reading or mathematics. The latter approach is more widely used. But it fails to provide a unified model of learning and instruction. One of the greatest challenges facing modern research in learning and instruction is devising and then empirically testing domain-general theories. This article describes efforts to devise and test one such model, the theory of successful intelligence.
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Dubovsky, S. L., e S. M. Sibiryakov. "Domain walls between gauge theories". Nuclear Physics B 664, n. 3 (agosto 2003): 407–38. http://dx.doi.org/10.1016/s0550-3213(03)00407-3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Hillier, B. "The Need for Domain Theories". Environment and Planning B: Planning and Design 26, n. 2 (aprile 1999): 163–67. http://dx.doi.org/10.1068/b2602ed.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

van den Heever, Gerhard. "Travelling Theories". Religion and Theology 29, n. 3-4 (22 dicembre 2022): 175–94. http://dx.doi.org/10.1163/15743012-02903001.

Testo completo
Abstract (sommario):
Abstract This introductory essay takes recourse to the work of Edward Said on travelling theories and Michel Foucault on discursive formations, to highlight the historicity of all theorising, and the manufacturedness of all theoretical work. Particular attention is paid to experience as embeddedness, the construction of knowledge formations and disciplines, and the effects on knowledge formation of reappropriations and recontextualisations of theories and concepts. The metaphor of travel and of being in transit has been appropriated across diverse discourses and disciplinary domains to signal adaptions and re-applications of theories and concepts from one context to another, from one conceptual domain or discipline to another, and the embedment of theories and concepts in the concrete historical vicissitudes affecting the life of the theorist. This serves to frame the essays collected in this issue by the constellation of issues highlighted with appeal to discursive formations, retooling disciplines, and hosting travelling theories.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Firsova, Svitlana, Tetiana Bilorus e Herman Aksom. "Closed Theories, Falsificationism and Non-Cumulative Progress". Problemos 98 (23 ottobre 2020): 125–35. http://dx.doi.org/10.15388/problemos.98.11.

Testo completo
Abstract (sommario):
It is argued that scientific progress occurs not with the cumulative growth of knowledge or when theories get closer to the truth but with discovering new domains and new theories that fit these domains. This horizontal view on the direction of scientific progress (in contrast to vertical, when we aim to get from here to the abstract and ephemeral truth) allows avoiding traditional objections posed by the incommensurability thesis and pessimistic induction, namely, that radical theory changes leave no room for progress. According to this perspective, the discovery of quantum mechanics as a new field of inquiry is a progress in itself, since this discovery had opened up a new distinctive domain of physics and a new theory that fits this domain. While some perspectives on scientific progress maintain that there is a need for correspondence between competing theories, we shift the emphasis from correspondence towards the discovery of new domains and new theories that apply to those domains. This approach allows overcoming the problem of theoretical discontinuity after scientific revolutions. Correspondence between theories is an important but not necessary condition for progress, while the falsifiability of theories as a means of demonstrating the boundaries of old theories and domains and beginnings of the new domains and theories (instead of being merely a means of refutation) is a necessary condition.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Kim, Yoonbai, O.-Kab Kwon e Chong Oh Lee. "Domain Walls in Noncommutative Field Theories". Journal of High Energy Physics 2005, n. 01 (19 gennaio 2005): 032. http://dx.doi.org/10.1088/1126-6708/2005/01/032.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Dvali, G., e M. Shifman. "Domain walls in strongly coupled theories". Physics Letters B 396, n. 1-4 (marzo 1997): 64–69. http://dx.doi.org/10.1016/s0370-2693(97)00131-7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

BOWCOCK, P., E. CORRIGAN e C. ZAMBON. "CLASSICALLY INTEGRABLE FIELD THEORIES WITH DEFECTS". International Journal of Modern Physics A 19, supp02 (maggio 2004): 82–91. http://dx.doi.org/10.1142/s0217751x04020324.

Testo completo
Abstract (sommario):
Some ideas and remarks are presented concerning a possible Lagrangian approach to the study of internal boundary conditions relating integrable fields at the junction of two domains. The main example given in the article concerns single real scalar fields in each domain and it is found that these may be free, of Liouville type, or of sinh-Gordon type.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

GREGORY, LORNA. "DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS". Journal of Symbolic Logic 80, n. 2 (22 aprile 2015): 684–711. http://dx.doi.org/10.1017/jsl.2014.1.

Testo completo
Abstract (sommario):
AbstractExtending work of Puninski, Puninskaya and Toffalori in [5], we show that if V is an effectively given valuation domain then the theory of all V-modules is decidable if and only if there exists an algorithm which, given a, b ε V, answers whether a ε rad(bV). This was conjectured in [5] for valuation domains with dense value group, where it was proved for valuation domains with dense archimedean value group. The only ingredient missing from [5] to extend the result to valuation domains with dense value group or infinite residue field is an algorithm which decides inclusion for finite unions of Ziegler open sets. We go on to give an example of a valuation domain with infinite Krull dimension, which has decidable theory of modules with respect to one effective presentation and undecidable theory of modules with respect to another. We show that for this to occur infinite Krull dimension is necessary.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Jawoosh, Hayder Nazar, Abeer Dakhil Hatim e MOHDRADZANI ABDUL RAZAK. "Leadership theories in management and psychologist educational filed". Modren Sport Journal 20, n. 2 (30 giugno 2021): 0109. http://dx.doi.org/10.54702/msj.2021.20.2.0109.

Testo completo
Abstract (sommario):
All domains in this world built based on set of theories. Those theories have been responsible for interpretation of some phenomena and interlocking relationships around us. Commonly, theories are categorized by which aspect is believed. Also,can find a group of theories produced regardingto the leadership domain. This paper will be presented some of these theories like (Great Man Theory, Trait Theory, Behavioral Theories, Contingency Theories, Situational Theory, Transactional Theories, and Transformational Theories). where these theories considered the most popular and common in the field of leader and will be discussed by this work
Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "Domain theories"

1

Liakata, Maria. "Inducing domain theories". Thesis, University of Oxford, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.413107.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Weibell, Christian J. "Principles of Learning: A Conceptual Framework for Domain-Specific Theories of Learning". BYU ScholarsArchive, 2011. https://scholarsarchive.byu.edu/etd/2759.

Testo completo
Abstract (sommario):
This study is predicated on the belief that there does not now exist, nor will there ever exist, any single theory of learning that is broad enough to account for all types of learning yet specific enough to be maximally useful in practical application. Perhaps this dichotomy is the reason for the apparent gap between existing theories of learning and the practice of instructional design. As an alternative to any supposed grand theory of learning—and following the lead of prominent thinkers in the fields of clinical psychology and language teaching—this study proposes a shift toward principles. It presents a principle-based conceptual framework of learning, and recommends use of the framework as a guide for creating domain-specific theories of learning. The purpose of this study was to review theories of learning in the behavioral, cognitive, constructive, human, and social traditions to identify principles of learning local to those theories that might represent specific instances of more universal principles, fundamentally requisite to the facilitation of learning in general. Many of the ideas reviewed have resulted from, or been supported by, direct empirical evidence. Others have been suggested based on observational or practical experience of the theorist. The ideas come from different points in time, are described from a variety of perspectives, and emphasize different aspects and types of learning; yet there are a number of common themes shared among them regarding the means by which learning occurs. It is hypothesized that such themes represent universal and fundamental principles of learning. These principles were the objective of the present study. They have been sought through careful review and analysis of both theoretical and empirical literature by methods of textual research (Clingan, 2008) and constant comparative analysis (Glaser & Strauss, 1967). By way of textual research a methodological lens was defined to identify general themes, and by way of constant comparative analysis these themes were developed further through the analysis and classification of specific instances of those themes in the texts reviewed. Ten such principles were identified: repetition, time, step size, sequence, contrast, significance, feedback, context, engagement, and agency. These ten facilitative principles were then organized in the context of a comprehensive principles-of-learning framework, which includes the four additional principles of potential, target, change, and practice.
Gli stili APA, Harvard, Vancouver, ISO e altri
3

LO, MONACO GABRIELE. "Duality walls and three-dimensional superconformal field theories". Doctoral thesis, Università degli Studi di Milano-Bicocca, 2020. http://hdl.handle.net/10281/257786.

Testo completo
Abstract (sommario):
Un’importante classe di teorie 3d superconformi ammette una realizzazione in teoria delle stringhe e può essere ingegnerizzata usando configurazioni di D3, D5 ed NS5 brane, chiamate configurazioni di Hanany-Witten (HW). La dinamica a basse energie di queste teorie sono state ampiamente studiate in passato: un ruolo prominente è giocato dalla mirror symmetry, una dualità tra teorie che possiedono uguale punto fisso nell’infrarosso. Mirror symmetry può essere pensata come un’eredità dell’S-dualità in teoria di stringa. Come osservato da Gaiotto e Witten, le configurazioni di HW possono essere generalizzate aggiungendo nuovi oggetti, chiamati SL(2,Z) duality walls o S-fold. Passando attraverso questa interfaccia, il sistema subisce localmente una trasformazione SL(2,Z). Setup di HW con l’inserzione di un S-fold ammettono anche una descrizione olografica in supergravità di tipo IIB, come mostrato recentemente da Assel e Tomasiello. Da un punto di vista di teoria di campo, l’inserzione di un S-fold si manifesta come una teoria T[U(N)] in cui ogni fattore U(N) nel gruppo di simmetria U(N)x U(N) è gaugiato allo stesso tempo, generando un accoppiamento non banale tra due multipletti vettoriali. In questo senso, T[U(N)] gioca il ruolo di materia non convenzionale. Chiameremo S-fold SCFT una teoria con un accoppiamento T[U(N)] (T-link): queste teorie possono essere pensate come una generalizzazione degli usuali quiver circolari N=4. È importante sottolineare che solo un fattore U(N) del gruppo di simmetria è manifesto nella descrizione Lagrangiana di T[U(N)], mentre l’altro è emergete nell’infrarosso. Per tale motivo, un T-link aggiunge un elemento non-lagrangiano e lo studio delle teorie con S-fold risulta essere un’intrigante sfida da un punto di vista di QFT. Lo scopo di questa tesi è studiare in più dettaglio le S-fold SCFT. Ci concentreremo prevalentemente sullo spazio dei moduli, dualità e la supersimmetria preservata nell’infrarosso. Lo strumento principale per studiare lo spazio dei moduli è la mirror symmetry. Quando tutti i livelli di Chern-Simons (CS) sono spenti, proponiamo che l’Higgs branch di queste teorie può essere calcolato effettuando un hyperKahler quotient. Inoltre, congetturiamo che il Coulomb branch coincide con il Coulomb branch di un quiver effettivo dove i nodi accoppiati dal T-link sono congelati. Chiamiamo questo fenomeno freezing rule e possiamo interpretarlo come l’impossibilità di una D3 brana di muoversi in certe direzioni nel caso in cui intersechi un S-fold. Generalizziamo anche le S-fold SCFT a casi più generali dove appare una teoria T[G], con G gruppo ortogonale, simplettico o eccezionale. Nel caso di G gruppo classico, proponiamo queste teorie essere duali a configurazioni di HW in cui un S-fold convive con O-piani. In tutti i casi descritti, verifichiamo la consistenza delle nostre proposte con mirror symmetry, calcolando la serie di Hilbert dei moduli space. Nel caso di G non-abeliano e livelli di CS accesi, non siamo in grado di fornire un’unica prescrizione per calcolare il moduli space. Tuttavia, studiamo dettagliatamente i modelli abeliani. Poiché in questo caso T[U(1)] è una teoria quasi vuota contente solo un termine di CS misto, siamo in grado di calcolare il moduli space, provando così a dedurre il modo di contribuire alla dinamica di T[U(N)]. Infine, studiamo l’indice superconforme delle teorie con S-fold. Tale quantità è utile per due scopi. Il primo è studiare dualità tra teorie con S-fold descritte da quiver differenti. In tale contesto, l’indice rivela come gli operatori sono mappati tra loro sotto la dualità. Il secondo scopo è studiare la quantità di supersimmetria preservata da una teoria con S-fold nel IR. Il gauging delle simmetrie globali di T[U(N)] rompe la supersimmetria a N=3. Tuttavia, in molti esempi con N finito, l’indice mostra che la supersimmetria aumenta nell’infrarosso.
A notable class of 3d N=4 superconformal field theories admits a string theoretic realization and can be engineered using brane configurations of D3, D5 and NS5 branes, usually called Hanany-Witten (HW) configurations. The low energy dynamics of such theories have been extensively studied in the past year: a prominent role is played by mirror symmetry, a duality between theories having the same conformal fixed point in the infrared. Mirror symmetry can be thought as inherited from string theory S-duality. As observed by Gaiotto and Witten, HW setups can be generalized by adding new objects, SL(2,Z) duality walls, also called S-folds. When passing through this interface, the system undergoes a local SL(2,Z) transformation. HW setups where an S-fold inserted also admit a holographic description in Type-IIB supergravity as recently shown by Assel and Tomasiello. From a QFT side, the insertion of an S-fold manifests itself as a T[U(N)] theory where each U(N) factor in the global symmetry U(N)xU(N) is commonly gauged, thus generating a non-trivial coupling between two vector multiplets. In this sense, T[U(N)] plays the role of unconventional matter. We refer to theories where a T[U(N)]-link (or simply T-link) has been inserted as S-fold theories: they can be thought of as a generalization of usual N=4 circular quivers. It is worth to stress that only one U(N) factor of the global symmetry is manifest in the Lagrangian description of T[U(N)], whereas the other is emergent at the infrared fixed point. In this sense, a T-link adds a non-Lagrangian ingredient and studying S-fold theories turns out to be an intriguing challenge from a quantum field theory point of view. The aim of this thesis is to gain insight about S-fold SCFTs. We mainly focus on their vacuum moduli spaces, dualities and infrared supersymmetry. We study the moduli space of S-fold SCFTs using mirror symmetry as main tool. When all Chern-Simons (CS) levels are turned off, we propose that the Higgs branch of such theories can be computed performing an hyper-Kahler quotient. Moreover, we conjecture that the Coulomb branch is the same of the Coulomb branch of an effective quiver where the T-linked gauge nodes get frozen. We name this phenomenon freezing rule and we interpret as the fact impossibility of D3 branes to move in some directions when intersecting an S-duality wall. We also generalize S-fold SCFTs to more general cases where a T[G] theory appears, with G being orthogonal, symplectic as well as exceptional groups. For G a classical group, we propose that such theories are dual to HW configurations where an S-fold coexists with orientifold planes. In all these cases, we check our proposals computing the Hilbert series associated to each moduli space and checking it against mirror symmetry.  When G is non-Abelian and the CS levels are turned on, we are not able to provide a unique prescription in order to compute the moduli space in presence of a T-link. Nevertheless, we study in full details a sub-class consisting of Abelian models. Since in this case T[U(1)] is an almost empty theory with only a mixed CS term, we are able to compute the moduli space, trying to infer how a T[U(N)] theory should enter the dynamics. Finally, we study the superconformal indices of S-fold theories. Such a quantity is useful for two purposes.  The first one is to study the duality between S-fold theories with different quiver descriptions. In this context the index reveals how operators get mapped to each other under the duality.  The second purpose is to study the amount of supersymmetry possessed by the S-fold theory at low energies. In principle, the gauging of the global symmetries of a T[U(N)] theory generically breaks supersymmetry down to N=3. However, in many examples with finite N, the index showed that supersymmetry gets enhanced in the infrared.  This is also consistent with the supergravity duals, which suggest the enhancement of supersymmetry in the large N limit.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Malik, Zeeshan. "Towards on-line domain-independent big data learning : novel theories and applications". Thesis, University of Stirling, 2015. http://hdl.handle.net/1893/22591.

Testo completo
Abstract (sommario):
Feature extraction is an extremely important pre-processing step to pattern recognition, and machine learning problems. This thesis highlights how one can best extract features from the data in an exhaustively online and purely adaptive manner. The solution to this problem is given for both labeled and unlabeled datasets, by presenting a number of novel on-line learning approaches. Specifically, the differential equation method for solving the generalized eigenvalue problem is used to derive a number of novel machine learning and feature extraction algorithms. The incremental eigen-solution method is used to derive a novel incremental extension of linear discriminant analysis (LDA). Further the proposed incremental version is combined with extreme learning machine (ELM) in which the ELM is used as a preprocessor before learning. In this first key contribution, the dynamic random expansion characteristic of ELM is combined with the proposed incremental LDA technique, and shown to offer a significant improvement in maximizing the discrimination between points in two different classes, while minimizing the distance within each class, in comparison with other standard state-of-the-art incremental and batch techniques. In the second contribution, the differential equation method for solving the generalized eigenvalue problem is used to derive a novel state-of-the-art purely incremental version of slow feature analysis (SLA) algorithm, termed the generalized eigenvalue based slow feature analysis (GENEIGSFA) technique. Further the time series expansion of echo state network (ESN) and radial basis functions (EBF) are used as a pre-processor before learning. In addition, the higher order derivatives are used as a smoothing constraint in the output signal. Finally, an online extension of the generalized eigenvalue problem, derived from James Stone’s criterion, is tested, evaluated and compared with the standard batch version of the slow feature analysis technique, to demonstrate its comparative effectiveness. In the third contribution, light-weight extensions of the statistical technique known as canonical correlation analysis (CCA) for both twinned and multiple data streams, are derived by using the same existing method of solving the generalized eigenvalue problem. Further the proposed method is enhanced by maximizing the covariance between data streams while simultaneously maximizing the rate of change of variances within each data stream. A recurrent set of connections used by ESN are used as a pre-processor between the inputs and the canonical projections in order to capture shared temporal information in two or more data streams. A solution to the problem of identifying a low dimensional manifold on a high dimensional dataspace is then presented in an incremental and adaptive manner. Finally, an online locally optimized extension of Laplacian Eigenmaps is derived termed the generalized incremental laplacian eigenmaps technique (GENILE). Apart from exploiting the benefit of the incremental nature of the proposed manifold based dimensionality reduction technique, most of the time the projections produced by this method are shown to produce a better classification accuracy in comparison with standard batch versions of these techniques - on both artificial and real datasets.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Selander, Keith N. "A function space approach to the generalized nonlinear model with applications to frequency domain spectral estimation". Diss., This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-06062008-172034/.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Gilbert, Gregory Wallace. "The recursive value of non-utilitarian writing as applied to cognitive domain theories". CSUSB ScholarWorks, 1989. https://scholarworks.lib.csusb.edu/etd-project/551.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Kyselov, Mykola. "Phenomenological theories of magnetic multilayers and related systems". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-63594.

Testo completo
Abstract (sommario):
In this thesis multidomain states in magnetically ordered systems with competing long-range and short range interactions are under consideration. In particular, in antiferromagnetically coupled multilayers with perpendicular anisotropy unusual multidomain textures can be stabilized due to a close competition between long-range demagnetization fields and short-range interlayer exchange coupling. These spatially inhomogeneous magnetic textures of regular multidomain configurations and irregular networks of topological defects as well as complex magnetization reversal processes are described in the frame of the phenomenological theory of magnetic domains. Using a modified model of stripe domains it is theoretically shown that the competition between dipolar coupling and antiferromagnetic interlayer exchange coupling causes an instability of ferromagnetically ordered multidomain states and results in three possible ground states: ferromagnetic multidomain state, antiferromagnetic homogeneous and antiferromagnetic multidomain states. The presented theory allows qualitatively to define the area of existence for each of these states depending on geometrical and material parameters of multilayers. In antiferromagnetically coupled superlattices with perpendicular anisotropy an applied magnetic bias field stabilizes specific multidomain states, so-called metamagnetic domains. A phenomenological theory developed in this thesis allows to derive the equilibrium sizes of metamagnetic stripe and bubble domains as functions of the antiferromagnetic exchange, the magnetic bias field, and the geometrical parameters of the multilayer. The magnetic phase diagram includes three different types of metamagnetic domain states, namely multidomains in the surface layer and in internal layers, and also mixed multidomain states may arise. Qualitative and quantitative analysis of step-like magnetization reversal shows a good agreement between the theory and experiment. Analytical equations have been derived for the stray field components of these multidomain states in perpendicular multilayer systems. In particular, closed expressions for stray fields in the case of ferromagnetic and antiferromagnetic stripes are presented. The theoretical approach provides a basis for the analysis of magnetic force microscopy (MFM) images from this class of nanomagnetic systems. Peculiarities of the MFM contrast have been calculated for realistic tip models. These characteristic features in the MFM signals can be employed for the investigations of the different multidomain modes. The methods developed for stripe-like magnetic domains are employed to calculate magnetization processes in twinned microstructures of ferromagnetic shape-memory materials. The remarkable phenomenon of giant magnetic field induced strain transformations in such ferromagnetic shape memory alloys as Ni-Mn-Ga, Ni-Mn-Al, or Fe-Pd arises as an interplay of two physical effects: (i) A martensitic transition creating competing phases, i.e. crystallographic domains or variants, which are crystallographically equivalent but have different orientation. (ii) High uniaxial magnetocrystalline anisotropy that pins the magnetization vectors along certain directions of these martensite variants. Then, an applied magnetic field can drive a microstructural transformation by which the martensitic twins, i.e. the different crystallographic domains, are redistributed in the martensitic state. Within the phenomenological (micromagnetic) theory the equilibrium parameters of multivariant stripe patterns have been derived as functions of the applied field for an extended single-crystalline plate. The calculated magnetic phase diagram allows to give a detailed description of the magnetic field-driven martensitic twin rearrangement in single crystals of magnetic shape-memory alloys. The analysis reveals the crucial role of preformed twins and of the dipolar stray-field energy for the magnetic-field driven transformation process in magnetic shape-memory materials. This work has been done in close collaboration with a group of experimentalists from Institute of Metallic Materials of IFW Dresden, Germany and San Jose Research Center of Hitachi Global Storage Technologies, United States. Comparisons between theoretical and experimental data from this cooperation are presented throughout this thesis as vital part of my work on these different subjects.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Varzinczak, Ivan. "What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic". Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00319220.

Testo completo
Abstract (sommario):
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain description should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates
concerning this sore spot. When all postulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy's sense, modular theories
have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Sessa, Mirko. "An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks". Doctoral thesis, Università degli studi di Trento, 2019. http://hdl.handle.net/11572/243432.

Testo completo
Abstract (sommario):
Many critical systems are based on the combination of components from different physical domains (e.g. mechanical, electrical, hydraulic), and are mathematically modeled as Switched Multi-Domain Kirchhoff Networks (SMDKN). In this thesis, we tackle a major obstacle to formal verification of SMDKN, namely devising a global model amenable to verification in the form of a Hybrid Automaton. This requires the combination of the local dynamics of the components, expressed as Differential Algebraic Equations, according to Kirchhoff's laws, depending on the (exponentially many) operation modes of the network. We propose an automated SMT-based method to analyze networks from multiple physical domains, detecting which modes induce invalid (i.e. inconsistent) constraints, and to produce a Hybrid Automaton model that accurately describes, in terms of Ordinary Differential Equations, the system evolution in the valid modes, catching also the possible non-deterministic behaviors. The experimental evaluation demonstrates that the proposed approach allows several complex multi-domain systems to be formally analyzed and model checked against various system requirements.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Sessa, Mirko. "An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks". Doctoral thesis, Università degli studi di Trento, 2019. http://hdl.handle.net/11572/243432.

Testo completo
Abstract (sommario):
Many critical systems are based on the combination of components from different physical domains (e.g. mechanical, electrical, hydraulic), and are mathematically modeled as Switched Multi-Domain Kirchhoff Networks (SMDKN). In this thesis, we tackle a major obstacle to formal verification of SMDKN, namely devising a global model amenable to verification in the form of a Hybrid Automaton. This requires the combination of the local dynamics of the components, expressed as Differential Algebraic Equations, according to Kirchhoff's laws, depending on the (exponentially many) operation modes of the network. We propose an automated SMT-based method to analyze networks from multiple physical domains, detecting which modes induce invalid (i.e. inconsistent) constraints, and to produce a Hybrid Automaton model that accurately describes, in terms of Ordinary Differential Equations, the system evolution in the valid modes, catching also the possible non-deterministic behaviors. The experimental evaluation demonstrates that the proposed approach allows several complex multi-domain systems to be formally analyzed and model checked against various system requirements.
Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Domain theories"

1

Pompeu, Casanovas, Biasiotti Maria Angela, Fernández-Barrera Meritxell e SpringerLink (Online service), a cura di. Approaches to Legal Ontologies: Theories, Domains, Methodologies. Dordrecht: Springer Science+Business Media B.V., 2011.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Mike, Gane, e Johnson Terry, a cura di. Foucault's new domains. London: Routledge, 1993.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Mozdzierz, Gerald J. Principles of counseling and psychotherapy: Learning the essential domains and nonlinear approaches of master practitioners. New York: Brunner-Routledge, 2009.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Landriani, G. Sacchi. A multidomain spectral collocation method for the Stokes problem. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1989.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Landriani, G. Sacchi. A multidomain spectral collocation method for the Stokes problem. Hampton, Va: Institute for Computer Applications in Science and Engineering, 1989.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Landriani, G. Sacchi. A multidomain spectral collocation method for the Stokes problem. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1989.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Gane, Mike. Foucault's New Domain. Routledge, 1993.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Theories of performance: Organizational and service improvement in the public domain. Oxford: Oxford University Press, 2010.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Terdik, György. Bilinear Stochastic Models and Related Problems of Nonlinear Time Series Analysis: A Frequency Domain Approach. Springer, 1999.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Terdik, György. Bilinear Stochastic Models and Related Problems of Nonlinear Time Series Analysis: A Frequency Domain Approach. Springer London, Limited, 2012.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "Domain theories"

1

Pulman, Stephen G., e Maria Liakata. "Learning domain theories". In Recent Advances in Natural Language Processing III, 29. Amsterdam: John Benjamins Publishing Company, 2004. http://dx.doi.org/10.1075/cilt.260.05pul.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Armengol, Eva, e Vicenç Torra. "Partial Domain Theories for Privacy". In Modeling Decisions for Artificial Intelligence, 217–26. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45656-0_18.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Vranas, Pavlos M. "Domain-Wall Fermions in Vector Theories". In Lattice Fermions and Structure of the Vacuum, 11–26. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-011-4124-6_2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Hoang, Thai Son, Laurent Voisin e Michael Butler. "Domain-Specific Developments Using Rodin Theories". In Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, 19–37. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5054-6_2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Kuipers, Theo A. F. "Theories Looking for Domains. Nomic Truth Approximation by Domain Revision". In Nomic Truth Approximation Revisited, 129–46. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-319-98388-2_8.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Zhang, Zhongwen, Peng Chen, Jun Zhang e Bing Wang. "Inferring Disease-Related Domain Using Network-Based Method". In Intelligent Computing Theories and Application, 775–83. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-42291-6_77.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Clark, Peter, e Stan Matwin. "Learning domain theories using abstract background knowledge". In Machine Learning: ECML-93, 360–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56602-3_151.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Svatoš, Martin, Gustav Šourek, Filip Železný, Steven Schockaert e Ondřej Kuželka. "Pruning Hypothesis Spaces Using Learned Domain Theories". In Inductive Logic Programming, 152–68. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-78090-0_11.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Bjørner, Dines. "Domain Modelling: A Foundation for Software Development". In Theories of Programming and Formal Methods, 165–210. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-40436-8_7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Shang, Li, Yuze Zhang e Zhan-li Sun. "Palmprint Feature Extraction Utilizing WTA-ICA in Contourlet Domain". In Intelligent Computing Theories and Application, 464–71. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13870-6_39.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Domain theories"

1

Leofante, Francesco, Enrico Giunchiglia, Erika Ábráham e Armando Tacchella. "Optimal Planning Modulo Theories". In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/571.

Testo completo
Abstract (sommario):
We consider the problem of planning with arithmetic theories, and focus on generating optimal plans for numeric domains with constant and state-dependent action costs. Solving these problems efficiently requires a seamless integration between propositional and numeric reasoning. We propose a novel approach that leverages Optimization Modulo Theories (OMT) solvers to implement a domain-independent optimal theory-planner. We present a new encoding for optimal planning in this setting and we evaluate our approach using well-known, as well as new, numeric benchmarks.
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Macháček, Jaroslav. "Foreign immigration: Permeation of migration theories into regional domain". In XX. mezinárodní kolokvium o regionálních vědách. Sborník příspěvků. Kurdějov: Masaryk university, 2017. http://dx.doi.org/10.5817/cz.muni.p210-8587-2017-125.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Arodź, Henryk. "Curved domain wall/vortex solutions in relativistic field theories". In Particles, fields and gravitation. AIP, 1998. http://dx.doi.org/10.1063/1.57102.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Johnston, Benjamin, e Guido Governatori. "Induction of defeasible logic theories in the legal domain". In the 9th international conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/1047788.1047834.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Ahmad, Mifrah, Lukman Ab Rahim e Noreen Izza Arshad. "An interpretive approach to model educational games: Learning theories domain using multi-domain framework". In 2015 International Symposium on Technology Management and Emerging Technologies (ISTMET). IEEE, 2015. http://dx.doi.org/10.1109/istmet.2015.7359065.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Fort, Matthew, Zuoyu Tian, Elizabeth Gabel, Nina Georgiades, Noah Sauer, Daniel Dakota e Sandra Kübler. "Bigfoot in Big Tech: Detecting Out of Domain Conspiracy Theories". In International Conference Recent Advances in Natural Language Processing. INCOMA Ltd., Shoumen, BULGARIA, 2023. http://dx.doi.org/10.26615/978-954-452-092-2_040.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Malmi, Lauri, Judy Sheard, Jane Sinclair, Päivi Kinnunen e Simon. "Domain-Specific Theories of Teaching Computing: Do they Inform Practice?" In Koli Calling '23: 23rd Koli Calling International Conference on Computing Education Research. New York, NY, USA: ACM, 2023. http://dx.doi.org/10.1145/3631802.3631810.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

J'Nini, Kawtar, Faouzia Benabbou e Naoual Sael. "Toward multilingual system in e-orientation domain". In 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA). IEEE, 2016. http://dx.doi.org/10.1109/sita.2016.7772307.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Fatima-zahra, Guerss, e Douzi Khadija. "Modernization of a domain E-orientation metamodel". In 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA). IEEE, 2016. http://dx.doi.org/10.1109/sita.2016.7772308.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Stymne, Sara. "Cross-Lingual Domain Adaptation for Dependency Parsing". In Proceedings of the 19th International Workshop on Treebanks and Linguistic Theories. Stroudsburg, PA, USA: Association for Computational Linguistics, 2020. http://dx.doi.org/10.18653/v1/2020.tlt-1.6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Domain theories"

1

Klenk, Matthew, e Ken Forbus. Cross Domain Analogies for Learning Domain Theories. Fort Belvoir, VA: Defense Technical Information Center, gennaio 2007. http://dx.doi.org/10.21236/ada471251.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Klenk, Matthew, e Kenneth D. Forbus. Learning Domain Theories via Analogical Transfer. Fort Belvoir, VA: Defense Technical Information Center, gennaio 2007. http://dx.doi.org/10.21236/ada470404.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Schmaltz, Martin. Supersymmetric Yang-Mills Theories from Domain Wall Fermions. Office of Scientific and Technical Information (OSTI), marzo 2000. http://dx.doi.org/10.2172/763750.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Matheus, Christopher J., Mitch M. Kokar, Kenneth Baclawski e Jerzy Letkowski. Constructing RuleML-Based Domain Theories on top of OWL Ontologies. Fort Belvoir, VA: Defense Technical Information Center, gennaio 2006. http://dx.doi.org/10.21236/ada444582.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Powell, R. R. Integrative curriculum reform, domain dependent knowing, and teachers` epistemological theories: Implications for middle-level teaching. Office of Scientific and Technical Information (OSTI), dicembre 1998. http://dx.doi.org/10.2172/290891.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Loehle, C. S. Constraints on the formulation of ecological models and theories: Conservation laws and domain-specific rule bases. Office of Scientific and Technical Information (OSTI), gennaio 1988. http://dx.doi.org/10.2172/6103296.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Colburn, Ben, Fiona Macpherson, Derek Brown, Laura Fearnley, Calum Hodgson e Neil McDonnell. Policy and Practice Recommendations for Augmented and Mixed Reality. University of Glasgow, marzo 2024. http://dx.doi.org/10.36399/gla.pubs.326686.

Testo completo
Abstract (sommario):
This policy report arises from the research project Augmented Reality: Ethics, Perception, Metaphysics, conducted at the University of Glasgow’s Centre for the Study of Perceptual Experience between November 2021 and November 2023. It was funded by a grant from the Royal Society of Edinburgh. The project brought together experts in various academic fields, with partners from industry and regulatory bodies, to explore the nature of augmented and mixed reality technology, the theories underpinning them, and the ethical and legal questions prompted by new technology in this domain.
Gli stili APA, Harvard, Vancouver, ISO e altri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia