Søg koncepter
|
Valgte filtre
|
- 1.200 - 1.250 ud af 185.638 resultater
Søgeresultater
-
Abstract Dependency Graphs and Their Application to Model Checking
Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)161 Downloads (Pure) -
Abstract Dependency Graphs for Model Verification
Enevoldsen, S., 2022, Aalborg Universitetsforlag. 191 s.Publikation: Ph.d.-afhandling
Åben adgangFil173 Downloads (Pure) -
Abstraction-Based Parameter Synthesis for Multiaffine Systems
Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H. & Grosu, R., 2015, HVC. Springer, s. 19-35 17 s. (Lecture Notes in Computer Science, Bind 9434).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang21 Citationer (Scopus) -
Abstraction-based verification of distributed systems
Jensen, H. E., 1999, Aalborg: Aalborg Universitetsforlag.Publikation: Ph.d.-afhandling
-
Abstraction heuristics for symbolic bidirectional search
Torralba, A., Lopez, C. L. & Borrajo, D., 2016, I: IJCAI International Joint Conference on Artificial Intelligence. 2016-January, s. 3272-3278 7 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
19 Citationer (Scopus) -
Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions
Sloth, C. & Wisniewski, R., 2010, I: I E E E Conference on Decision and Control. Proceedings. s. 3760-3765Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
7 Citationer (Scopus) -
Abstraction of Dynamical Systems by Timed Automata
Wisniewski, R. & Sloth, C., 2011, I: Modeling, Identification and Control (Online Edition). 32, 2, s. 79-90 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil6 Citationer (Scopus)378 Downloads (Pure) -
Abstractions for Mechanical Systems
Sloth, C. & Wisniewski, R., 2012, Lagrangian and Hamiltonian Methods for Non Linear Control. 1 udg. Elsevier, Bind 4. s. 96-101 6 s. (I F A C Workshop Series).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)495 Downloads (Pure) -
Abstract P6-07-08: Associations between lifestyle parameters and prognostic factors used for stratifying for adjuvant treatment in breast cancer
Guldberg, TL., Christensen, S., Ravnsbaek, A., Zachariae, B. & Jensen, AB., dec. 2012, I: Cancer Research. 72, Suppl. 24, P6-07-08.Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review
-
Abstract Probabilistic Automata
Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, I: Lecture Notes in Computer Science. 6538, s. 324-339Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
34 Citationer (Scopus) -
Abstract probabilistic automata
Delahaye, B., Katoen, J. P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 4 nov. 2013, I: Information and Computation. 232, s. 66-116 51 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
19 Citationer (Scopus) -
Abstract Radio Resource Management Framework for System Level Simulations in LTE-A Systems
Fotiadis, P., Viering, I., Zanier, P. & Pedersen, K. I., 2014, Vehicular Technology Conference (VTC Spring), 2014 IEEE 79th. IEEE Press, s. 1-5 5 s. (I E E E V T S Vehicular Technology Conference. Proceedings).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil1 Citationer (Scopus)477 Downloads (Pure) -
Abstracts: Energy performance gap of a nearly Zero Energy Building (nZEB) in Denmark: The influence of occupancy modelling. Building Research & Information 48, 8: 899-921.
Carpino, C., Loukou, E., Heiselberg, P. & Arcuri, N., feb. 2022, I: Journal of Planning Literature. 37, 1, s. 200-201Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review
-
Abstracts 9th Joint Meeting of AFERP, ASP, GA, JSP, PSE & SIF Copenhagen, Denmark, 24–27.07.2016
Christensen, L. P. (red.) & Fretté, X. (red.), 2016, I: Planta Medica. 82, Suppl. 1, s. S1-S381Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
ABSTRACTS MCPC2014
Nielsen, K. (red.), Brunø, T. D. (red.), Taps, S. B. (red.) & Jørgensen, K. A. (red.), feb. 2014, Department of Mechanical and Manufacturing Engineering, Aalborg University. 78 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review
-
Abstracts of papers presented at the XXXIV Nordic Meeting of Gastroenterology
Drewes, A. M. & Funch-Jensen, P., 2002, I: Scandinavian Journal of Gastroenterology. Supplement. 37, s. 1-38Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning
-
Abstracts of the 12 th European Congress on Biotechnology: Bringing Genomes to Life
Pedersen, L. H. (red.), Nielsen, J. (red.) & Gammeltoft, S. (red.), 2005, I: Journal of Biotechnology. 118, supplement 1, s. 1-189 189 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
-
Abstracts of the XVIII Congress of the International Society of Electrophysiology and Kinesiology, ISEK 2010, 16-19 June 2010, Aalborg, Denmark [CD-ROM]
Falla, D. L. (red.) & Farina, D. (red.), 2010, Aalborg: Department of Health Science and Technology. Aalborg University.Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review
-
Abstraktion i humaniora: Radikal oplysning som case
Stjernfelt, F., 29 jul. 2015, Kampen om disciplinerne. Budtz Pedersen, D., Køppe, S. & Stjernfelt, F. (red.). Hans Reitzels Forlag, s. 111-144 34 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
-
Abstrakt kunst
Kraglund, R. A., 2004, Temaer i billedkunsten. Flensborg, I. & Sørensen, B. Ø. (red.). Odense, 2 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Undervisning
-
Absurd Man +/- Absurd World: Sociology of the Absurd
Jacobsen, M. H. & Tester, K., 2013, I: The Essayist. July, s. InternetudgivelsePublikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
A Buck-Chopper Based Energy Storage System for the Cascaded H-Bridge Inverters in PV Applications
Vavilapalli, S., Umashankar, S., Sanjeevikumar, P., Fedák, V., Mihet-Popa, L. & Ramachandaramurthy, V. K., 1 jan. 2018, I: Energy Procedia. 145, s. 534-541 8 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
5 Citationer (Scopus) -
A Buck Converter with Cost-Effective GaN/Si Hybrid Switches and CRM Operation for High-Efficiency and High-Power-Density Applications
Liu, D., Wang, Y., Chen, Z. & Li, B., dec. 2018, Proceedings of the 4th IEEE Southern Power Electronics Conference (SPEC 2018). IEEE, s. 1-6 6 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
5 Citationer (Scopus)7 Downloads (Pure) -
A budget management approach for societal infrastructure projects
Nishijima, K. & Faber, M., 2009, I: Structure and Infrastructure Engineering. 5, 1, s. 41-47 7 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
7 Citationer (Scopus) -
A budget management approach for societal infrastructure projects
Nishijima, K. & Faber, M. H., 1 dec. 2006, Proceedings of the 3rd International Conference on Bridge Maintenance, Safety and Management - Bridge Maintenance, Safety, Management, Life-Cycle Performane and Cost. s. 395-396 2 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
2 Citationer (Scopus) -
A Building-Block Approach to Teaching of Switch-Mode Power Electronics
Mohan, N., Robbins, W. P., Undeland, T. & Blaabjerg, F., 2001, Proceedings of E=TeM2, Liege, Belgium, March 2001.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
-
A Building Block for Component-based Open Hypermedia Systems
Mohamed, O. I. E., 2005, Aalborg: Aalborg Universitet.Publikation: Ph.d.-afhandling
-
A built-in current sensor using thin-film transistors
Hatzopoulos, A. A., Papadopoulos, N., Siskos, S., Pappas, I., Nalpantidis, L. & Dimitriadis, C. A., 1 jan. 2005, I: Journal of Physics: Conference Series (Online). 10, 1, s. 289-292 4 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Abundance and distribution of microplastics in surface waters of the Kattegat/ Skagerrak (Denmark)
Gunaalan, K., Almeda, R., Lorenz, C., Vianello, A., Iordachescu, L., Papacharalampos, K., Rohde Kiær, C. M., Vollertsen, J. & Nielsen, T. G., 1 feb. 2023, I: Environmental Pollution. 318, 120853.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil19 Citationer (Scopus)107 Downloads (Pure) -
Abundance and ecophysiology of Defluviicoccus spp., glycogen-accumulating organisms in full-scale wastewater treatment processes
Burow, L. C., Kong, Y., Nielsen, J. L., Blackall, L. L. & Nielsen, P. H., 2007, I: Microbiology. 153, s. 178-185Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
110 Citationer (Scopus) -
Abundance and phylogenetic affiliation of iron reducers in activated sludge as assessed by fluorescence in situ hybridization and microautoradiography
Nielsen, J. L., Juretschko, S., Wagner, M. & Nielsen, P. H., 2002, I: Applied and Environmental Microbiology. 68, 9, s. 4629-4636Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
92 Citationer (Scopus) -
Abundance of actinobacteria and production of geosmin and 2-methylisoborneol in Danish streams and fish ponds
Klausen, C., Nicolaisen, M., Strobel, B., Warnecke, F., Nielsen, J. L. & Jørgensen, N. O. G., 2005, I: FEMS Microbiology Ecology. 52, 2, s. 265-278Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
88 Citationer (Scopus) -
Abundant publications but minuscule impact: The irrelevance of academic accounting research on practice and the profession
Fraser, K. & Sheehy, B., dec. 2020, I: Publications. 8, 4, 36 s., 46.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)21 Downloads (Pure) -
A Bundle of National Patents v a European Patent with Unitary Effect: Jurisdictional Comparison
Larsen, T. B., 2015, Intellectual Property and General Legal Principles - Is IP a Lex Specialis. Edward Elgar Publishing, s. 206-215 9 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
1 Citationer (Scopus) -
Ab urbe condita: et traditionshistorisk essay
Kvium, C., 2002, Fra tid til anden : historiske og historiografiske afhandlinger. Gamrath, Helge (red.) (red.). Aalborg: Aalborg UniversitetsforlagPublikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning
-
A Burstiness-aware Approach for Document Dating
Kotsakos, D., Lappas, T., Kotzias, D., Gunopulos, D., Kanhabua, N. & Nørvåg, K., 2014, Proceedings of the 37th International ACM SIGIR Conference on Research 38; Development in Information Retrieval. New York, NY, USA: Association for Computing Machinery, s. 1003-1006 4 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
17 Citationer (Scopus) -
A burst of language following a collision with a large piece of furniture... Review of online chapbook Beyond Time by Robert Gibbons
Sørensen, B., 2008, I: Studio. 1, 2, 3 s.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel)
Fil188 Downloads (Pure) -
A Busbar Integrated SiC-based Converter with Embedded Heat-pipes
Chang, Y., Bahman, A. S., Luo, H., Li, W., He, X., Iannuzzo, F. & Blaabjerg, F., maj 2019, Proceedings of 2019 10th International Conference on Power Electronics and ECCE Asia (ICPE 2019 - ECCE Asia). IEEE Press, s. 2166-2172 7 s. 8796953. (International Conference on Power Electronics).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Abuse Potential of Pregabalin: a Systematic Review
Schjerning, O., Rosenzweig, M., Pottegård, A., Damkier, P. & Nielsen, J., 2016, I: C N S Drugs. 30, 1, s. 9-25 17 s.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
106 Citationer (Scopus) -
A Business Case Method for IT Investments in Danish Municipalities
Persson, J. S. & Nielsen, P. A., 2012, IT Management in Local Government : The DISIMIT Project. Rose, J., Persson, J. S., Kræmmergaard, P. & Nielsen, P. A. (red.). Aalborg: Software Innovation, Aalborg University, s. 115-129 15 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil574 Downloads (Pure) -
A business intelligence approach using web search tools and online data reduction techniques to examine the value of product-enabled services
Tanev, S., Liotta, G. & Kleismantas, A., 2015, I: Expert Systems with Applications. 42, 21, s. 7582-7600Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
18 Citationer (Scopus) -
A Business Model for Resource Sharing in Cell-Free UAVs-Assisted Wireless Networks
Tun, Y. K., Park, Y. M., Le, T. H. T., Han, Z. & Hong, C. S., 1 aug. 2022, I: IEEE Transactions on Vehicular Technology. 71, 8, s. 8839-8852 14 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
4 Citationer (Scopus) -
A business model innovation typology
Taran, Y., Boer, H. & Lindgren, P., 2015, I: Decision Sciences. 46, 2, s. 301-331 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
146 Citationer (Scopus) -
A Cacophony of Crises: Systemic Failure and Reasserting People's Rights
Schmidt, J. D., 1 maj 2010, I: Human Geography. s. 18-33 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil4 Citationer (Scopus)1882 Downloads (Pure) -
A CACSD Package for H-infinity and LTR Design
Niemann, H. H. & Stoustrup, J., 1993, Proceedings of the American Control Conference. s. 2327-2331Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
A Cadastral Tale
Enemark, S., 2006, Análisis geográficos. Instituto Geográfico Agustin Codazzi, s. 147-159 (Análisis geográficos; Nr. 30).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil622 Downloads (Pure) -
Academia 5
Silva, V., 2009, 1 udg. Rio de Janeiro: Universidade Federal do Rio de Janeiro (UFRJ).Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
-
Academic activism in tourism studies: Critical Narratives from Four Researchers
Hales, R., Dredge, D., Jamal, T. & Higgins-Desbiolles, F., 1 jun. 2018, I: Tourism Analysis. 23, 2, s. 189-199 11 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil26 Citationer (Scopus)487 Downloads (Pure) -
Academic and Social Responsibility of Scientists
Børsen, T., 2006, I: I S Y P Journal on Science and World Affairs. 2, 2, s. 71-92 2 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Academic domains as political battlegrounds: A global enquiry by 99 academics in the fields of education and technology
Al Lily, A., Foland, J., David, S., Gogus, A., Erguvan, I., Awsar, M., Tondeur, J., Hammond, M., Venter, I., Jerry, P., Vlachopoulos, D., Oni, A., Liu, Y., Badosek, R., López de la Madrid, M., Mazzoni, E., Lee, H., Kinley, K., Kalz, M., Sambuu, U., & 79 flere , maj 2016, I: Information Development. s. 1-19Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
6 Citationer (Scopus)