Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Operational semantics with semicommutations (pealkiri)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
2
Vaata veel..
(3/126)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 40-43
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
artikkel kogumikus
2
artikkel ajakirjas
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
artikkel ajakirjas
Kirjeid leitud 2, kuvan
1 - 2
pealkiri
78
1.
Operational semantics with semicommutations
2.
A Hoare logic for the coinductive trace-based big-step semantics of While
3.
A legal-relationship establishment in smart contracts : ontological semantics for programming-language development
4.
Abstract categorical semantics for resourceful functional reactive programming
5.
Addressing scalability issues in semantics-driven recommender systems
6.
An operational specification model for process control software
7.
Analysis of a flywheel storage system for ultra-fast charging station of electric vehicles with regard to electric machine design and operational speed range
8.
Analysis of operational perfomance and problem of optimum centralization of small waste treatmant plants
9.
Baltic Sea Operational Oceanographic System (BOOS) - a stimulator to Baltic earth system research [Online resource]
10.
Bialgebraic foundations for the operational semantics of string diagrams
11.
Bing-CF-IDF+ : a semantics-driven news recommender system
12.
Bing-CSF-IDF+: a semantics-driven recommender system for news
13.
Calibration of a model of an operational water distribution system containing pipes of different age
14.
Calibration of the model of an operational water distribution system
15.
Categorical semantics for bounded Petri Nets
16.
categorical semantics for hierarchical Petri Nets
17.
Computing data lineage and business semantics for data warehouse
18.
Decreasing leakage and operational cost for BBLAWN
19.
Deep semantics of visual languages
20.
Design of a generalized fractional-order PID controller using operational amplifiers
21.
Developing European operational oceanography for Blue Growth, climate change adaptation and mitigation, and ecosystem-based management
22.
Development of the theory and methods of complex optimisation of the control and operational reliability of the interconnections of power systems (IPS) on the interstate level in free market conditions
23.
Development of theory and methods of complex optimisation of control and operational reliability of interconnected power systems
24.
Development the maintenance plan: maintenance activities on operational level
25.
Different approaches for calibration of an operational water distribution system containing old pipes
26.
Efficient semantics of parallel and serial models of attack trees = Ründepuude paralleel- ja jadamudelite efektiivsed semantikad
27.
Enhancing semantics-driven recommender systems with visual features
28.
EstORS - Estonian Operational Research Society
29.
European internal security interests and Brexit. Legal and operational aspects of the post–Brexit cooperation model
30.
Evaluation of the effectiveness of entrepreneurship and innovation support in the Operational Programme for Cohesion Policy Funds 2014-2020 [Võrguteavik] : Ministry of Finance : final report
31.
Fifth International Conference on Optimal ie Operational Research Simulation and Optimization in Business and Industry May 1720 2006 Tallinn Estonia programme and abstracts
32.
Framework for the environmental impact assessment of operational shipping
33.
Functorial semantics for partial theories
34.
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
35.
Higher-order attribute semantics of flat declarative languages
36.
Higher-order attribute semantics of flat languages
37.
Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantika
38.
Human factor as the main operational risk in dangerous goods transport chain
39.
Implementation of a National Marine Oil Spill Contingency Plan for Estonia : use of GIS as a tool for operational decision making
40.
International Conference on Operational Research : Simulation and Optimisation in Business and Industry : May 17-20, 2006, Tallinn, Estonia
41.
Investigation into group composition of shale oil fractions produced at UTT-3000 in relation to the plant operational parameters
42.
Käitustegevuste haldus ja kontroll väliskanalisatsioonivõrgus. Osa 1, Puhastus [Võrguteavik] = Management and control of operational activities in drain and sewer systems outside buildings. Part 1, Cleaning
43.
Methodology of system integrated analysis and assessment of operational efficiency of a technological system (E-Profiil AS case study)
44.
Methodology of system integrated analysis and assessment of operational efficiency of a tehnological system (E-Profiil AS Case Study)
45.
Modeling an alternate operational ground source heat pump for combined space heating and domestic hot water power sizing
46.
Next-generation smart response web (NG-SRW) : an operational spatial decision support system for maritime oil spill emergency response in the Gulf of Finland (Baltic Sea)
47.
Operational efficiency of Polish and Estonian banks in 1994-1997
48.
Operational forecasting in Estonian marine waters = Operatiivne prognoos Eesti merealadel = Operatiivne prognoos Eesti merealadel
49.
Operational in situ oil spill detection in the Baltic Sea, using FerryBox system equipped with oil sensor [Online resource]
50.
Operational in situoil spill detection in the Baltic sea using ferrybox system equipped with oil sensor
51.
Operational monitoring of the surface waters of the Baltic Sea with SOOGuard system
52.
Operational research methodology in multicriteria decision making
53.
Operational risks in dangerous goods transportation chain on roads
54.
Operational sea level forecasting in Estonia
55.
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
56.
Operational wave height monitoring using navigation buoys and marine radars in the Baltic Sea [Online resource]
57.
Partitioning of metals between operational fractions in the sediment record from Lake Peipsi
58.
PCSP's diagonal tie connectors thermal bridges impact on energy Pperformance and operational cost : case study of a high-Rrise Rresidential building in Estonia
59.
Personalized context-aware recommendations in SMARTMUSEUM : combining semantics with statistics
60.
Personality predispositions moderate soldiers’ well-being before and after operational deployment
61.
Portable coastal operational oceanographic system to monitor the harbor-related environmental impacts in Estonia [Electronic resource]
62.
Preserving semantics of the whole-part relationships in the object-relational databases
63.
Prospects for New Zealand in the Baltic States : theoretical, structural and operational dimensions of cooperation
64.
Prospects for operational efficiency of European regional airports in passenger air transport = Reisijate lennutranspordi tõhususe väljavaated Euroopa piirkondlikes lennujaamades
65.
Reasoning about correctness of transactional memory with operational semantics
66.
Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics
67.
Semantics on mobile robot algorithms development
68.
Sensation seeking and perceived need for structure moderate soldiers’ well-being before and after operational deployment
69.
Sensitivity of calibration results to uncertainties in input data: case of operational water distribution system
70.
The effect of hydrodynamic and operational parameters on the deactivation kinetics of microbes in paper machine circulation water by ozonation
71.
5th International Conference on Optimal [i.e. Operational] Research "Simulation and Optimization in Business and Industry" : May 17-20, 2006, Tallinn, Estonia : programme and abstracts
72.
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
73.
Time semantics of executable activity diagrams for relativized conformance testing
74.
Towards unification of statistical reasoning, OLAP and association rule mining : semantics and pragmatics
75.
Use of pressure differentials for calibration of the operational water distribution system
76.
Use of relative roughness and changed diameters for old pipes when calibrating an operational water distribution system
77.
Using a rule language for capturing semantics in web-based systems
78.
5th International Conference on Optimal [i.e. Operational] Research "Simulation and Optimization in Business and Industry" : May 17-20, 2006, Tallinn, Estonia : programme and abstracts
võtmesõna
35
1.
bialgebraic semantics
2.
big-step semantics
3.
business semantics
4.
categorical semantics
5.
common operational picture
6.
compositional semantics
7.
content semantics
8.
denotational semantics
9.
emergent semantics
10.
engineering reliability operational probabilities
11.
EU-LISA (European Agency for the Operational Management of large-scale IT Systems in the Area of Freedom, Security and Justice)
12.
formal semantics
13.
game-theoretic semantics
14.
neighborhood semantics
15.
operational amplifier
16.
operational amplifiers
17.
operational capacity
18.
operational efficiency
19.
operational forecasting
20.
operational oceanography
21.
operational parameters
22.
operational planning
23.
operational realism
24.
operational risks
25.
Operational semantics
26.
operational speed
27.
operational transconductance amplifiers
28.
operational WDS
29.
question-answer semantics
30.
semantics
31.
semantics of programming languages
32.
semantics-driven recommendation
33.
structural operational semantics
34.
time semantics
35.
trace semantics
allikas
13
1.
European journal of operational research
2.
International Conference on Operational Research : Simulation and Optimisation in Business and Industry : May 17-20, 2006, Tallinn, Estonia
3.
International Conference Operational Oceanography Serving Sustainable Marine Development : 3-5 October 2017, Bergen, Norway : book of abstracts
4.
Journal of operational oceanography
5.
Operational Oceanography for Sustainable Blue Growth : proceedings of the Seventh EuroGOOS International Conference : 28-30 October 2014, Lisbon, Portugal
6.
Operational oceanography serving sustainable marine development : Proceedings of the Eigth EuroGOOS International Conference, 3-5 October 2017, Bergen, Norway
7.
Organisational Structures, Management, Simulation of Business Sectors and Systems : the International Federation of Operational Research Societies Special Conference (SPC8), Kaunas, Lithuania, September 10-12, 1998
8.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics : Craiova, Romania, June 13-15, 2012
9.
Proceedings of the 3rd International Conference on Applied Operational Research, 24-26 August 2011, Istanbul, Turkey
10.
Psihologia Militara : INFO-PSIHO 2014 : Psychology as a Multiplier for the Military Operational Capacity, 24th April 2014, Bucharest
11.
WIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings
12.
10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings
13.
23rd European Conference on Operational Research : July 5-8, 2009, Bonn, Universität Siegen : book of abstracts