Temat: Declarative - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Combining Static and Dynamic Contract Checking for Curry
Autorzy:: Hanus, Michael
Data publikacji:: 2020
Słowa kluczowe:: contracts
declarative programming
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Deklaratywny model mobilnego systemu inspekcyjnego
Declarative model of mobile inspection system
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: roboty mobilne
model deklaratywny
mobile robots
declarative model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Declarative Modeling for Production Order Portfolio Scheduling
Autorzy:: Zbigniew Banaszak
Grzegorz Bocewicz
Data publikacji:: 2014-12-01
Tematy:: project portfolio
scheduling
routing
declarative modeling
customized production; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The Declarative Trans-cultural Identity of European Adolescents – an Analysis of Texts Published in Trait d’Union
Autorzy:: Gajda Kinga
Tematy:: identity
declarative
transculturalism
European identity
on‑line platform; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: “There Is None So Blind as Those Who Won‘t See”: Metal Detecting and Archaeology in France
Autorzy:: Thomas Lecroere
Data publikacji:: 2016-11-03
Tematy:: metal-detecting
declarative scheme
looting
legislation
French
France; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The declarative trans-cultural identity of European adolescents : an analysis of texts published in Trait dUnion
Autorzy:: Gajda, Kinga Anna
Data publikacji:: 2015
Słowa kluczowe:: declarative
on-line platform
European identity
identity
transculturalism; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Autorzy:: Nalepa, Grzegorz
Atzmueller, Martin
Bobek, Szymon
Kutt, Krzysztof
Data publikacji:: 2021
Słowa kluczowe:: data mining
industrial sensors
semantics
declarative methods
explainability; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Deklaratywny model mobilnego systemu inspekcyjnego
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2011
Słowa kluczowe:: roboty mobilne
model deklaratywny
mobile robots
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Umowne uznanie długu
Contractual acknowledgement of a debt
Autorzy:: Wielgus Kamil
Tematy:: acknowledgment
debt
contractual
constitutive
declarative
abstractive
effect
obligation
prescription; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: SAT as a Programming Environment for Linear Algebra
Autorzy:: Srebrny, M.
Stępień, L.
Data publikacji:: 2010
Słowa kluczowe:: satisfiability
linear algebra
orthogonal matrices
orthogonal groups
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: From arithmetic expressions to propositional formulae
Autorzy:: Stępień, L.
Stępień, M. R.
Data publikacji:: 2016
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Zastosowanie środowisk deklaratywnych do wspomagania decyzji dla problemów transportowych
Declarative approach to decision support for transportation problems
Autorzy:: Sitek, P.
Wikarek, J.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: systemy wspomagania decyzji
środowiska deklaratywne
decision support systems
declarative environments; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Was man schreibt, das bleibt – die Rolle schriftlicher Texte in der Fernsehwerbung
THAT LASTS WHICH YOU HAVE WRITTEN DOWN – THE ROLE OF WRITTEN TEXTS IN TV-ADVERTISING SPOTS
Autorzy:: Georg Schuppener
Detelina Metz
Tematy:: advertising spots
television advertising
declarative sentences
Schuppener Georg
Metz Detelina; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: The Securitisation of Kurdish Self-Determination as A Challenge for the Sectarian Balance of Power in the Middle East
Autorzy:: Musioł Marek
Tematy:: Kurds
Middle East
independence
constitutive and declarative
international recognition
securitisation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: From arithmetic expressions to propositional formulae
Autorzy:: Stępień, L.
Stępień, M. R.
Data publikacji:: 2016
Słowa kluczowe:: algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Metody pozyskiwania wiedzy dla diagnostycznych systemów inteligentnych
Autorzy:: Drabarek., J.
Data publikacji:: 2010
Słowa kluczowe:: akwizycja
wiedza deklaratywna
wiedza proceduralna
canvassing
declarative knowledge
procedural knowledge; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The Securitisation of Kurdish Self-Determination as A Challenge for the Sectarian Balance of Power in the Middle East
Autorzy:: Musioł, Marek
Data publikacji:: 2019
Wydawca:: Wydawnictwo Adam Marszałek
Tematy:: Kurds
Middle East
independence
constitutive and declarative
international recognition
securitisation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Zastosowanie środowisk deklaratywnych do wspomagania decyzji dla problemów transportowych
Autorzy:: Sitek, P.
Wikarek, J.
Data publikacji:: 2011
Słowa kluczowe:: systemy wspomagania decyzji
środowiska deklaratywne
decision support systems
declarative environments; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Designing a hybrid declarative-imperative programming language
Budowa hybrydowego deklaratywno-imperatywnego języka programowania
Autorzy:: Poleski, Maciej
Słowa kluczowe:: kompilator, język deklaratywny, język imperatywny, prolog
compiler, declarative language, imperative language, prolog; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Wyrażanie kontekstu w przestrzeniach informacji
Autorzy:: Bartoszek, J.
Brzykcy, G.
Data publikacji:: 2005
Słowa kluczowe:: przestrzeń informacyjna
systemy informatyczne
programowanie deklaratywne
information space
IT systems
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks
Autorzy:: Bocewicz, G.
Banaszak, Z.
Nielsen, I.
Data publikacji:: 2017
Słowa kluczowe:: transport network
fractal structure
declarative modeling
multimodal processes
delivery flow
vehicles flow; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Declarative ship domains in restricted areas
Autorzy:: Wielgosz, M.
Data publikacji:: 2016
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: ship domain
restricted area
questionnaire research
safety
declarative research
safety zone; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Declarative ship domains in restricted areas
Autorzy:: Wielgosz, M.
Data publikacji:: 2016
Słowa kluczowe:: ship domain
restricted area
questionnaire research
safety
declarative research
safety zone; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Declarative questions in Polish student conversations
Autorzy:: Chłopicki, Władysław
Data publikacji:: 2019
Słowa kluczowe:: declarative questions
rhetorical function
particles
Polish communication style
deliberateness
B-event; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks
Autorzy:: Bocewicz, G.
Banaszak, Z.
Nielsen, I.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: transport network
fractal structure
declarative modeling
multimodal processes
delivery flow
vehicles flow; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Wiedza w ujęciu determinizmu memetycznego
Knowledge from the Perspective of Memetic Determinism
Autorzy:: Marcin Urbaniak
Data publikacji:: 2017
Tematy:: memy
memetyka
ewolucja
wiedza proceduralna
wiedza deklaratywna
memes
memetics
evolution
procedural knowledge
declarative knowledge; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Automatically Generating Graphical User Interfaces
Automatycznie Generowane Graficzne Interfejsy Użytkownika
Autorzy:: Malik, Tomasz
Słowa kluczowe:: automatyczne generowanie GUI, podejście deklaratywne, MVVM, C#
automatically generating GUI, declarative approach, MVVM, C#; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Wiedza w ujęciu determinizmu memetycznego
Knowledge from the Perspective of Memetic Determinism
Autorzy:: Urbaniak Marcin
Tematy:: memy
memetyka
ewolucja
wiedza proceduralna
wiedza deklaratywna
memes
memetics
evolution
procedural knowledge
declarative knowledge; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Wiedza w ujęciu determinizmu memetycznego
Knowledge from the Perspective of Memetic Determinism
Autorzy:: Urbaniak, Marcin
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: memy
memetyka
ewolucja
wiedza proceduralna
wiedza deklaratywna
memes
memetics
evolution
procedural knowledge
declarative knowledge; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Autorzy:: Montali, M.
Torroni, P.
Chesani, F.
Mello, P.
Alberti, M.
Lamma, E.
Data publikacji:: 2010
Słowa kluczowe:: static verification
business process management
declarative business process modeling
Abductive Logic Programming (ALP)
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Uwagi o żeby-zdaniach w języku polskim w kontekście pochodzenia i dziejów operatora "żeby"
Remarks on Polish żeby-phrases in the context of the origin and historical development of the operator "żeby" ‘to’
Autorzy:: Sobotka, Piotr
Data publikacji:: 2023
Wydawca:: Uniwersytet Mikołaja Kopernika w Toruniu. Wydawnictwo UMK
Tematy:: non-declarative device
discourse marker
semantic motivation
grammaticalization
etymology
modyfikator deklaratywności
komentarz metatekstowy
motywacja semantyczna
gramatykalizacja
etymologia; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: A Debugger for the reName language.
Debugger dla języka reName
Autorzy:: Kalita, Konrad
Słowa kluczowe:: name binding, debuggery, kompilatory, programowanie deklaratywne, analiza działania programu
name binding, debuggers, compilers, declarative programming, code analysis; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Uwagi o żeby-zdaniach w języku polskim w kontekście pochodzenia i dziejów operatora "żeby"
Remarks on Polish żeby-phrases in the context of the origin and historical development of the operator "żeby" ‘to’
Autorzy:: Piotr Sobotka
Data publikacji:: 2023
Tematy:: non-declarative device
discourse marker
semantic motivation
grammaticalization
etymology
modyfikator deklaratywności
komentarz metatekstowy
motywacja semantyczna
gramatykalizacja
etymologia; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Deklarationsfunktion in ausgewählten Textsorten
Funkcja deklaratywna w wybranych rodzajach tekstu
Declarative function in selected text types
Autorzy:: Wolska, Izabella
Słowa kluczowe:: Declarative function, text function, explicit performative indicators
Deklarationsfunktion, Textfunktion, explizit performative Indikatoren
Funkcja deklaratywna, funkcja tekstu, wskaźniki funkcji tekstu; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: The Topological Structures of Membrane Computing
Autorzy:: Giavitto, J-L.
Michel, O.
Data publikacji:: 2002
Słowa kluczowe:: membrane computing
gamma
CHAM
P systems
L system
cellular automata
group based fields
rewriting
topological collection
declarative programming language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Contractual acknowledgement of a debt
Umowne uznanie długu
Autorzy:: Wielgus, Kamil
Data publikacji:: 2020
Słowa kluczowe:: effect
acknowledgment
dług
obligation
deklaratoryjne
prescription
zobowiązanie
constitutive
abstractive
umowne
uznanie
abstrakcyjne
skutek
konstytutywne
przedawnienie
contractual
debt
declarative; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Związek między wiedzą proceduralną a deklaratywną o myśleniu u dzieci w wieku 6 lat
Links between procedural and declarative knowledge about thinking in the group of 6 years old children.
Autorzy:: Kaźmierczyk-Romańczyk, Daria
Słowa kluczowe:: declarative knowledge, procedural knowledge, thinking, theory of mind, recursive reasoning
wiedza deklaratywna, wiedza proceduralna, myślenie, teoria umysłu, przekonania; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Improvement in the face-name association performance after three months of physical training in elderly women
Autorzy:: Zlomanczuk P.
Milczarek B.
Dmitruk K.
Sikorski W.
Adamczyk W.
Zegarski T.
Tafil-Klawe M.
Chesy G.
Klawe J.J.
Rakowski A.
Tematy:: elderly woman
Stroop test
physical training
declarative memory
muscle
face-name association
cognition
central nervous system
cardiovascular system
respiratory system; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Everyday activities of the virtual public space
Codzienne aktywności w wirtualnej przestrzeni publicznej
Autorzy:: Łuczak, Paweł
Słowa kluczowe:: Przestrzeń publiczna, Internet, aktywności internetowe, dane deklaratywne i behawioralne, kulturalizm
Public space, the Internet, online activities, declarative and behavioral data, culturalism; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: System approach to building functional programs
Autorzy:: Zaiats, Vasyl
Majewski, Jacek
Marciniak, Beata
Zaiats, Marii
Data publikacji:: 2017
Słowa kluczowe:: functional program
declarative language
functional defined
Lisp environment
accumulation parameters
program funkcjonalny
język deklaratywny
oprogramowanie zdefiniowane funkcjonalnie
środowisko Lisp
parametry akumulacji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: System approach to building functional programs
Podejście systematyczne do budowania programów funkcjonalnych
Autorzy:: Zaiats, Vasyl
Majewski, Jacek
Marciniak, Beata
Zaiats, Marii
Data publikacji:: 2017
Wydawca:: Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:: functional program
declarative language
functional defined
Lisp environment
accumulation parameters
program funkcjonalny
język deklaratywny
oprogramowanie zdefiniowane funkcjonalnie
środowisko Lisp
parametry akumulacji; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Pamięć autobiograficzna
Autobiographical memory
Autorzy:: Walczak, Aleksandra
Wiśniewska, Barbara
Data publikacji:: 2011
Wydawca:: Medical Communications
Tematy:: autobiographical memory
declarative memory
episodic memory
long-term memory
semantic memory
pamięć autobiograficzna
pamięć deklaratywna
pamięć długotrwała
pamięć epizodyczna
pamięć semantyczna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Scheduling for Multi-modal Cyclic Transport Systems
Harmonogramowanie multimodalnych cyklicznych systemów transportowych
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Scheduling for Multi-modal Cyclic Transport Systems
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2012
Słowa kluczowe:: harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: The Computational and Pragmatic Approach to the Dynamics of Science
Autorzy:: Marciszewski Witold
Tematy:: algorithm
behavioral (vs declarative) knowledge
computability
corroboration
innate knowledge
intuition
invention
logic gates
oracle
pragmatic (vs classical) rationalism
problem-solving
reasoning
symbolic logic
Turing machine; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Metodyczne aspekty pomiaru deklaratywnych i utajonych postaw
Methodological Aspects of Measuring the Explicit (Declarative) and Implicit (Non-declarative) Attitudes
Методические аспекты измерения декларативного и скрытого отношения
Autorzy:: Beata Marciniak
Tematy:: teoretyczny i empiryczny sens postawy struktura postaw
deklaratywne i pozadeklaratywne metody pomiaru postaw
badania postaw jawnych i utajonych
theoretical and empirical sense of attitudes
attitudes structure
declarative and non-declarative attitudes research methods
explicit and implicit attitudes research
теоретический и эмпирический смысл отношения
структура отношения
декларативные и недекларативные методы измерения отношения
изучение явного и скрытого отношения; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Słowa kluczowe:: język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: The Computational and Pragmatic Approach to the Dynamics of Science
Autorzy:: Marciszewski, Witold
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: algorithm
behavioral (vs declarative) knowledge
computability
corroboration
innate knowledge
intuition
invention
logic gates
oracle
pragmatic (vs classical) rationalism
problem-solving
reasoning
symbolic logic
Turing machine; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: The Computational and Pragmatic Approach to the Dynamics of Science
Autorzy:: Witold Marciszewski
Data publikacji:: 2020
Tematy:: algorithm
behavioral (vs declarative) knowledge
computability
corroboration
innate knowledge
intuition
invention
logic gates
oracle
pragmatic (vs classical) rationalism
problem-solving
reasoning
symbolic logic
Turing machine; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Metodyczne aspekty pomiaru deklaratywnych i utajonych postaw
Methodological Aspects of Measuring the Explicit (Declarative) and Implicit (Non-declarative) Attitudes
Методические аспекты измерения декларативного и скрытого отношения
Autorzy:: Marciniak, Beata
Data publikacji:: 2016
Wydawca:: Polski Instytut Ekonomiczny
Tematy:: teoretyczny i empiryczny sens postawy struktura postaw
deklaratywne i pozadeklaratywne metody pomiaru postaw
badania postaw jawnych i utajonych
theoretical and empirical sense of attitudes
attitudes structure
declarative and non-declarative attitudes research methods
explicit and implicit attitudes research
теоретический и эмпирический смысл отношения
структура отношения
декларативные и недекларативные методы измерения отношения
изучение явного и скрытого отношения; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Declarative-knowledge-based reconfiguration of automation systems
Autorzy:: Haage, M.
Malec, J.
Nilsson, A.
Nilsson, K.
Nowaczyk,S.
Data publikacji:: 2010
Słowa kluczowe:: robotyka
proces produkcyjny
system zautomatyzowany
rekonfiguracja
wiedza deklaratywna
SIARAS
robotics
production process
automated system
reconfiguration
declarative knowledge
Skill-Based lnspection and Assembly for Reconfigurable Automation Systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: The Computational and Pragmatic Approach to the Dynamics of Science
Autorzy:: Marciszewski, Witold
Tematy:: algorithm
behavioral (vs declarative) knowledge
computability
corroboration
innate knowledge
intuition
invention
logic gates
oracle
pragmatic (vs classical) rationalism
problem-solving
reasoning
symbolic logic
Turing machine
Nauki Humanistyczne i Społeczne; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Mluvní akty prosebné modlitby ve Starém zákoně
The Speech Acts of Asking in Prayer in the Old Testament
Autorzy:: Blahoslav Fajmon
Tematy:: Speech‑act theory
Prayer
Asking
Blessing
Patriarchal blessing
Priestly blessing
Old Testament
Declarative
Directive
Perlocution
Sincerity condition
Condition of non‑obviousness
Preparatory conditions
Indirect speech acts
Searle
Austin
Thiselton
Briggs; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Współczesne narzędzia informatyczne wspomagające modelowanie i symulacje procesów dynamicznych
Autorzy:: Molenda, K.
Dąbkowski, J.
Data publikacji:: 2002
Słowa kluczowe:: modelowanie komputerowe
symulacja komputerowa
język specyfikacji modelu
programowanie deklaratywne
środowisko modelowania wizualnego
procesy dynamiczne
dynamika systemów
computer modelling
computer simulation
language of model specification
declarative programming
visual software environment
dynamic processes
system dynamics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Types of sentences in the German language
Satzarten in der deutschen Sprache
Rodzaje zdań w języku niemieckim
Autorzy:: Gajewska, Joanna
Słowa kluczowe:: type of sentence, declarative sentence, interrogative sentence, imperative sentence, exclamatory sentence, optative sentence, speech act
Satzart, Aussagesatz, Fragesatz, Aufforderungssatz, Ausrufesatz, Wunschsatz, Sprechhandlung
rodzaj zdania, zdanie orzekające, zdanie pytające, zdanie rozkazujące, zdanie wykrzyknikowe, zdanie w trybie życzeniowym, akt mowy; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Modeling BPMN diagrams within XTT2 framework. A critical analysis
Autorzy:: Ligęza, A.
Maślanka, T.
Kluza, K.
Nalepa, G. J.
Data publikacji:: 2011
Słowa kluczowe:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
diagramy XTT
XTT2
weryfikacja systemów
analiza formalna
model deklaratywny
Business Process Modeling Notation
business rules
rule-based systems
eXtended Tabular Trees
XTT
System Veriflcation
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Environmental Life-cycle Analysis as a Tool for Sustainability Studies: A Complete Learning Experience
Środowiskowa ocean cyklu życia jako narzędzie w studiowaniu zrównoważoności: kompletne doświadczenie edukacyjne
Autorzy:: Venkatesh, G.
Data publikacji:: 2019
Wydawca:: Polska Akademia Nauk. Komitet Człowiek i Środowisko PAN
Tematy:: Structure of the Observed Learning Outcome (SOLO)
Environmental Life Cycle Analysis (E-LCA)
declarative knowledge
functional knowledge
systems thinking
sustainability
Struktura Obserwowanych Efektów Kształcenia (SOLO)
środowiskowa ocena cyklu życia (E-LCA)
wiedza deklaratywna
wiedza funkcjonalna
myślenie systemowe
zrównoważoność; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Environmental Life-cycle Analysis as a Tool for Sustainability Studies: A Complete Learning Experience
Autorzy:: Venkatesh, G.
Data publikacji:: 2019
Słowa kluczowe:: Structure of the Observed Learning Outcome (SOLO)
Environmental Life Cycle Analysis (E-LCA)
declarative knowledge
functional knowledge
systems thinking
sustainability
Struktura Obserwowanych Efektów Kształcenia (SOLO)
środowiskowa ocena cyklu życia (E-LCA)
wiedza deklaratywna
wiedza funkcjonalna
myślenie systemowe
zrównoważoność; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: „Przekazanie” nieruchomości - wieloznaczeniowa instytucja prawna
„Handover” of a real property - ambiguous legal institution
Die Übertragung der Immobilie- ein mehrdeutiger Rechtsbegriff
Autorzy:: Gurgul Stanisław
Tematy:: zdarzenie faktyczne
zdarzenie prawne
czynność konsensualna
czynność kauzalna
wpis konstytutywny
wpis deklaratoryjny
prawo publiczne
prawo prywatne
likwidacja majątku upadłego
factual event
legal event
consensual actions
causation action
constitutive entry
declarative entry
public law
private law
liquidation of the bankrupt’s assets; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Niemieckie partykuły afektujące i ich polskie odpowiedniki w zdaniach oznajmujących
German modal particles and their Polish counterparts in declarative sentences
Deutsche Abtönungspartikeln und ihre polnischen Entsprechungen in Aussagesätzen
Autorzy:: Hadamik, Paulina
Słowa kluczowe:: partykuła, partykuła sytuująca, stopniująca, replikująca i negująca oraz afektująca, zdanie oznajmujące, polskie odpowiedniki, językoznawstwo, użycie i funkcje partykuł
Patikel, die Gradpartikeln, die Steigerungspartikeln, die Antwort- und Negationpartikel, die Abtönungspartikel, Aussagesatz, polnische Äquivalente, Sprachwissenschaft, Gebrauch und Funktionen der Partiklen
German Pparticle, declarative sentence, Polish counterparts, linguistics; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Declarative" wg kryterium: Temat