Hae käsitteitä
|
Valitut suodattimet
|
- 200 - 250 osumaa 26 853 tuloksesta
Hakutulokset
-
Tutkimusraportti
FormAgi – A Concept for More Flexible Formal Developments
Olszewska, M. & Walden, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1124)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto139 Lataukset (Pure) -
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow
Boström, P. & Morel, L., 2007, Turku Centre for Computer Science (TUCS). 18 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Derivation of a Distributed Load Balancing Algorithm
Walden, M., 1995, Turku: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A95-172)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto3 Lataukset (Pure) -
Formal Derivation of Distributed MapReduce
Laibinis, L., Butler, M., Salehi Fathabadi, A., Vistbakka, I. & Troubitsyna, E., 2014, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
3 Sitaatiot (Scopus) -
Formal Development of NoC Systems in B
Tsiopoulos, L. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 751)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto7 Lataukset (Pure) -
Formalising UML Use Cases in the Refinement Calculus
Back, R-J., Petre, L. & Porres Paltor, I., 1999, Turku Centre for Computer Science.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Library of Visual Components
Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1147)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formally Analyzing Proactive, Distributed Routing
Kamali, M., Kamali, M. & Petre, L., 2014, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Model-Driven Development of Communicating Systems
Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J. & Malik, Q., 2005, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems
Laibinis, L., Pereverzeva, I. & Troubitsyna, E., 2015, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Service-Oriented Development of Fault Tolerant Communicating Systems
Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J. & Malik, Q., 2006, Turku Centre for Computer Science.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Transformation of Platform Independent Models into Platform Specific Models in MDA
Boström, P., Neovius, M., Oliver, I. & Walden, M., 2006, (TUCS Technical Report; Vuosikerta 759)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto16 Lataukset (Pure) -
Forskarens guide till medborgarforskning
Svahn, E., Rabb, V. & Rosti, T., 15 jouluk. 2022, Helsingfors: Tieteellisten seurain valtuuskunta. 31 Sivumäärä (Publikationsserien för ansvarsfull forskning ; Vuosikerta 2022, nro 20)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Forskning om svensk integration: En kartläggning och röster från fältet
Kosova, M. & Sundbäck, L., 2021, Migrationsinstitutet.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Forsknings- & kompetenssatsning inom utbildningsvetenskap vid Umeå universitet 2009-2016. Extern evaluering
Ahrnqvist, A., Hansen, S-E. & Tibell, L., 2015, University of Umeå.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Franet National contribution to the Fundamental Rights Report 2020 - Finland
Pirjatanniemi, E., Lavapuro, J., Vainio, K., Frostell, K., Vanto, J., Melart, S. & Lundell, S., 2020, EU Fundamental Rights Agency.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Franet National contribution to the Fundamental Rights Report 2021 - Finland
Pirjatanniemi, E., Vainio, K., Grans, L., Frostell, K., Vanto, J., Melart, S. & Lundell, S., 10 kesäk. 2021, European Union Agency for Fundamental Rights. 95 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Franet National contribution to the Fundamental Rights Report 2022 - Finland
Pirjatanniemi, E., Frostell, K., Grans, L., Vainio, K., Vanto, J., Melart, S. & Lundell, S., 2022, European Union Agency for Fundamental Rights. 82 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto19 Lataukset (Pure) -
Franet National contribution to the Fundamental Rights Report 2023 - Finland
Pirjatanniemi, E., Frostell, K., Lundell, S., Vanto, J., Melart, S. & Vainio, K., 2023, European Union Agency for Fundamental Rights.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
From Act to Action Implementing Language Legislation in Finland, Ireland and Wales.
Ó Flathartar, P., Sandberg, S. & [Unknown], C. H. W., 2014, An chéad chló 2014 @Fiontar, Ollscoil Chathair Bhaile Átha Cliath.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Från opinion till deliberation
Lindell, M., 2008, Tankesmedjan Lokus/Svenska Folkskolans Vänner.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto21 Lataukset (Pure) -
Full Structural Model Refinement as Type Refinement of Colored Petri Nets
Gratie, D-E. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
1 Sitaatiot (Scopus) -
Fundamental rights in the institutions and instruments of the Area of Freedom, Security and Justice
Engström, V. & Heikkilä, M., 2014, EU, Large-Scale FP7 Collaborative Project, Fostering Human Rights among European Policies (FRAME).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Fundamental rights of children displaced in the EU following the Russian war of aggression: Country study on Finland
Frostell, K., Hanski, R. & Vainio, K., 29 syysk. 2023, European Union Agency for Fundamental Rights. 20 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Future youth information and counselling: Building on information needs and trends
Karim, M. & Widén, G., 2018, Creativitas.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Future youth information and counselling: Building on information needs and trends
Karim, M., Widén, G., Reina, E. (toim.), Jotkaité, I. (toim.), Rupkus, E. (toim.) & Walker, J. (toim.), 2018, European Youth Information and Counselling Agency.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto14 Lataukset (Pure) -
Följderna av en folkomröstning: Lärdomar från Korsholm
Karv, T. & Backström, K., 4 toukok. 2021, Vasa: Institutet för samhällsforskning vid Åbo Akademi. 79 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto42 Lataukset (Pure) -
Fördrivna barns grundläggande rättigheter i EU efter det ryska anfallskriget: Finland
Frostell, K., Hanski, R. & Vainio, K., 29 syysk. 2023, European Union Agency for Fundamental Rights. 18 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Förekomsten av toxiska blågrönalger i Åländska insjöar
Toivola, D., Eriksson, J. & Meriluoto, J., 1988, Åbo Akademi, Husö biologiska station.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Förändringar gällande finlandssvenskarnas inställning till NATO 2019-2022
Lindell, M. & Backström, J., 2022, Institutet för samhällsforskning vid Åbo Akademi.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Generalizing Action Systems to Hybrid Systems
Back, R-J., Petre, L. & Porres Paltor, I., 1999, Turku Centre for Computer Science.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Generating Test Cases from Scenario-Based Formal Development
Malik, Q. A., Lilius, J. & Laibinis, L., 2008, Turku Centre for Computer Science (TUCS). 40 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Generating the Logicome from Microarray Data
Panchal, C. & Rogojin, V., 2017, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Generating the Logicome of a Biological Network
Shah, C., Azimi Rashti, S. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Generation of Structural VHDL Code with Library Components from Formal Event-B Models
Ostroumov, S., Tsiopoulos, L., Plosila, J. & Sere, K., 2013, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Globalization and the human rights of women
Frostell, K., 2002, Åbo Akademi University.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Grundkartering och bedömning av vattentäktspotential i fem åländska sjöar
Huhtala, H-P., 2017, Åbo Akademi, Husö biologiska station.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Haitalliset aineet pintavesissä: Muutosehdotuksia vesiympäristölle vaarallisten aineiden asetukseen
Mehtonen, J., Siimes, K., Leppänen, M., Junttila, V., Äystö, L., Vähä, E., Karjalainen, J., Hu, X., Österholm, P. & Nystrand, M., 31 lokak. 2023, Suomen ympäristökeskus. 227 Sivumäärä (Suomen ympäristökeskuksen raportteja; nro 28)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Tieteellinen
Open access -
Handbok om medborgarpaneler i kommunerna
Grönlund, K., Herne, K., Jäske, M. & Värttö, M., 2022, Finlands kommunförbund. 12 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto19 Lataukset (Pure) -
Havet som kommunal angelägenhet - Planeringsförutsättningar i kommunerna kring Kvarken.
Pettersson, Ö. & Andersson, K., 2014, Umeå Universitet, GERUM Kulturgeografisk arbetsrapport, 2014-08-18.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Heritability of lifetime income
Hyytinen, A., Ilmakunnas, P., Johansson, E. & Toivanen, O., 2013, HECER – Helsinki Center of Economic Research.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Hjärnflykt eller inte? Del II. Svenskspråkig ungdomsflyttning till Sverige: trender och drivkrafter
Kepsu, K. & Henriksson, B., 2019, Tankesmedjan Magma.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto72 Lataukset (Pure) -
Holding Non-State Actors Directly Responsible for Acts of International Terror Violence: The Role of International Criminal Law and International Criminal Tribunals in the Fight against Terrorism
Heikkilä, M., 2002Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Tieteellinen
Open accessTiedosto7 Lataukset (Pure) -
Human Rights and Diversity in Compulsory Education: A Brief Legal Commentary
Riekkinen, M., 7 marrask. 2022, Åbo Akademi University.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Human rights of women
Frostell, K., 2006, The Finnish NGO Foundation for Human Rights.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Hur hanteras två- och flerspråkigheten i de svenskspråkiga skolorna? Resultat av en utvärdering i åk 1–6 läsåret 2017–2018
Hellgren, J., Silverström, C., Lepola, L., Forsman, L. & Slotte, A., 2019, Nationella centret för utbildningsutvärdering.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto83 Lataukset (Pure) -
Hållbar utveckling och ekonomiskt värdeskapande: Syskonskap eller fiendskap?
Lindfelt, L-L., 2006, 40 Sivumäärä (Research Papers in Business Studies from Åbo Akademi University; nro 1)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto14 Lataukset (Pure) -
Identification of bottlenecks and inefficiencies in transport flows in Baltic Loop east-west corridors with emphasis on maritime logistics
Wahlström, I. & Chen, Y., syysk. 2020, 138 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto54 Lataukset (Pure) -
Ihmisoikeuskaupunkina toimiminen tarjoaa kokonaisvaltaisen mallin hyvinvoinnin edistämiseen ihmisoikeuksien toteutumisen näkökulmasta
Vainio, K., Grans, L., Varho, M., Strömberg, S. & Pirjatanniemi, E., 2023, Turun kaupungin konsernihallinto. (Turun kaupungin Kaupunkitutkimusohjelman Tutkimuskatsauksia 2-2023)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access -
Implementing a democratic innovation: Online deliberation on a future transport system
Grönlund, K., Herne, K., Jäske, M., Liimatainen, H., Rapeli, L., Värttö, M., Schauman, J., Siren, R. & Weckman, A., 2020, Turku: Turun kaupunki. (Tutkimusraportteja; nro 4/2020)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open access