Showing 1 - 20 of 63

1

Un architetto e una città: Ludwig Mies van der Rohe e Berlino
Michele Caja ; Renato Capozzi ; Luca Lanini ; et al.

This volume critically i... Questo volume indaga cri... Mies van der Rohe, Berli...
Book
Save to List
2

Models of Social Activity of Protestant Churches In The Context of Russia's Military Aggression Against Ukraine
Lutsan, Ihor
Occasional Papers on Religion in Eastern Europe. 43

chaplaincy (the institut... volunteering charity (charitable acti... constructive models Soviet and Post-Soviet S... social activity of the C...
Academic journal
Save to List
3

Conceptual Constructive Models and Abstraction-as-Aggregation
Tee, Sim-Hui
Philosophia: Philosophical Quarterly of Israel. 49(2):819-837

Academic journal
Save to List
4

Constructing reality with models
Tee, Sim-Hui
Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 196(11):4605-4622

Academic journal
Save to List
5

Increase of efficiency of support of making decision in automated control systems by troops for account of the use in her work of facilities of constructive simulation of battle actions of troops (force)
Victor Bobylov ; Yaroslav Melnyk ; Anatolii Kravchuk
Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni, Vol 34, Iss 1, Pp 19-22 (2019)

informatively-modeling s... automated control system support of making decisi... constructive models information and calculat... Industrial safety. Indus...
Academic journal
Save to List
6

Processes and Structures on Approximation Spaces
Stukachev, A. I.
Algebra and Logic. :1-12

Academic journal
Save to List
7

Unconventional Algorithms: Complementarity of Axiomatics and Construction
Gordana Dodig Crnkovic ; Mark Burgin
Entropy, Vol 14, Iss 11, Pp 2066-2080 (2012)
Entropy; Volume 14; Issue 11; Pages: 2066-2080

unconventional computing computation beyond the T... axiomatic vs. constructi... unconventional models of... Science Physics
Academic journal
Save to List
8

Generalized Hyperarithmetical Computability Over Structures
Stukachev, A. I.
Algebra and Logic. January 2017 55(6):507-526

Academic journal
Save to List
9

How do instructions, examples, and testing shape task representations?
Szollosi, Aba ; Grigoras, Vladimir ; Quillien, Tadeg ; et al.
Szollosi, A, Grigoras, V, Quillien, T, Lucas, C G & Bramley, N R 2023, How do instructions, examples, and testing shape task representations? in M Goldwater, F Anggoro, B Hayes & D Ong (eds), Proceedings of the 45th Annual Meeting of the Cognitive Science Society . vol. 45, Proceedings of the Cognitive Science Society, pp. 3032-3038, 45th Annual Meeting of the Cognitive Science Society, Sydney, New South Wales, Australia, 26/07/23 . < https://escholarship.org/uc/item/83b7k4sc >

constructive models 4. Education active learning hypothesis generation an...
Save to List
10

Decidable Boolean algebras of low level
Sergei S. Goncharov
Annals of Pure and Applied Logic. 94:75-95

Decidability of theories... constructive models atoms recursive Boolean algebr... Logic decidability
Academic journal
Save to List
11

IN DEFENSE OF A CONSTRUCTIVE, INFORMATION-BASED APPROACH TO DECISION THEORY: In defense of a constructive, information-based approach to decision theory
M. R. Yilmaz
Theory and Decision. 43:21-44

deductive models constructive models subjective probability 0502 economics and busin... 05 social sciences 0101 mathematics
Academic journal
Save to List
12

Computability of the set of computable indexing schemes of the class of constructable models: Computability of the set of computable indexing schemes of the class of constructible models
V. P. Dobritsa
Mathematical Notes. 55:466-470

constructive models Computable structure the... constructive abelian gro... 0102 computer and inform... 0101 mathematics 01 natural sciences
Academic journal
Save to List
13

Effectively infinite classes of weak constructivizations of models
Sergey Goncharov
Algebra and Logic. 32:342-360

constructivizable model Computable structure the... 0102 computer and inform... strongly constructive mo... 0101 mathematics weak constructivization
Academic journal
Save to List
14

Enumerated algebras with uniformly recursive-separable classes
N. Kh. Kasymov
Siberian Mathematical Journal. 34:869-882

constructive models equivalence relations Computable structure the... recursive separation enumerated algebras 0102 computer and inform...
Academic journal
Save to List
15

Criteria of autostability for 1-decidable models
O. V. Kudinov
Algebra and Logic. 31:284-292

Decidability of theories... constructive models with... autostability criterion Computable structure the... 0102 computer and inform... 0101 mathematics
Academic journal
Save to List
16

Algorithmic dimensions of homomorphic images of models
B. M. Khusainov
Algebra and Logic. 31:195-203

constructivizability of... algorithmic dimensions constructive models Computable structure the... algebraic systems 0102 computer and inform...
Academic journal
Save to List
17

Model Konstruktivistik Membangun Konsep Pembelajaran Bahasa Inggris Kelas VIII SMP Negeri 4 Siantan
Sukardi, S. (Sukardi) ; Ibrahim, S. (Sutini) ; Sutapa, Y. G. (Y)
Jurnal Pendidikan dan Pembelajaran Untan

Indonesia Konsep-konsep belajar ba... Pembelajaran Membangun Model Konstruktivistik Instructional and Learni...
Academic journal
Save to List
18

Article Unconventional Algorithms: Complementarity of Axiomatics and Construction
Gordana Dodig Crnkovic ; Mark Burgin ; The Pennsylvania State University CiteSeerX Archives
http://www.mrtc.mdh.se/~gdc/work/Entropy-DodigCrnkovic-Burgin-20120913.pdf.

axiomatic vs. constructi... unconventional models of...
Academic journal
Save to List
19

Conditions of effective infinity for the set of computable indexings of a class of constructive models
V. P. Dobritsa
Siberian Mathematical Journal. 35:62-64

constructive models Computable structure the... computable class constructive abelian gro... 0102 computer and inform... joint constructive embed...
Academic journal
Save to List
20

A theory with two strongly constructivizable models
K. Zh. Kudaibergenov
Algebra and Logic. 18:111-117

complete decidable theor... Decidability of theories... constructive enumeration... strongly constructivizab... autostability Quantifier elimination,...
Academic journal
Save to List

Filter