-
1دورية أكاديمية
المؤلفون: Hannes Saffrich, Peter Thiemann
المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
مصطلحات موضوعية: computer science - programming languages, d.1.3, d.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Rodrigo Guzman Iturra, Peter Thiemann
المصدر: Energies, Vol 13, Iss 1, p 141 (2019)
مصطلحات موضوعية: active filter, active damping, converter circuit, efficiency, harmonics, multilevel converters, power quality, silicon carbide (sic), voltage source converter, wide bandgap devices, Technology
وصف الملف: electronic resource
-
3
المصدر: IEEE Transactions on Energy Conversion. 37:2926-2940
مصطلحات موضوعية: Energy Engineering and Power Technology, Electrical and Electronic Engineering
-
4
المؤلفون: Rodrigo Guzman Iturra, Peter Thiemann
المصدر: Electronics; Volume 12; Issue 6; Pages: 1382
مصطلحات موضوعية: Computer Networks and Communications, Hardware and Architecture, Control and Systems Engineering, Signal Processing, synchronous machines, sensorless control, variable speed drives, space vector pulse width, system simulation, Electrical and Electronic Engineering
وصف الملف: application/pdf
-
5
-
6
المؤلفون: Peter Thiemann, Hannes Saffrich
المساهمون: University of Freiburg [Freiburg], Ferruccio Damiani, Ornela Dardha, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.61-79, ⟨10.1007/978-3-030-78142-2_4⟩
Lecture Notes in Computer Science ISBN: 9783030781415
COORDINATIONمصطلحات موضوعية: FOS: Computer and information sciences, Translation, General Computer Science, Computer science, Interface (Java), Program structure, Session types, 02 engineering and technology, Theoretical Computer Science, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Human–computer interaction, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Session (computer science), Functional programming, D.1.3, D.3.1, Computer Science - Programming Languages, Distributed programming, 020207 software engineering, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, F.3.2, State (computer science), Programming Languages (cs.PL)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b587137f884ae35ea738a0ffca64d4c
https://doi.org/10.46298/lmcs-18(3:33)2022 -
7
المؤلفون: Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
المصدر: PLACES@ETAPS
مصطلحات موضوعية: FOS: Computer and information sciences, D.3.1, Computer Science - Programming Languages, Agda, D.3.3, Duality (optimization), 020207 software engineering, F.3.3, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Connection (mathematics), Algebra, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Session (computer science), computer, Programming Languages (cs.PL), Mathematics, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bfede068119c5f69859898ff9bdcce1
https://doi.org/10.4204/eptcs.314.3 -
8
المؤلفون: Peter Thiemann, Martin Sulzmann
المصدر: Journal of Computer and System Sciences. 104:323-341
مصطلحات موضوعية: Discrete mathematics, Interleaving, Shuffling, Computer Networks and Communications, Applied Mathematics, 0102 computer and information sciences, 02 engineering and technology, Extension (predicate logic), ComputerSystemsOrganization_PROCESSORARCHITECTURES, 01 natural sciences, Theoretical Computer Science, Automaton, Brzozowski derivative, Computational Theory and Mathematics, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Partial derivative, 020201 artificial intelligence & image processing, Regular expression, Variety (universal algebra), Computer Science::Formal Languages and Automata Theory, Mathematics
-
9
المؤلفون: Fernando Cristiani, Peter Thiemann
المصدر: MPLR
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer science, Programming language, 68N15, Declaration, JavaScript library, JavaScript, computer.software_genre, Public repository, Upload, Documentation, Code (cryptography), computer, TypeScript, computer.programming_language, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07d312033ad18494dc4ce97823b34740
http://arxiv.org/abs/2108.08027 -
10
المؤلفون: Rodrigo Guzman Iturra, Peter Thiemann
المصدر: 2021 IEEE 15th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG).
مصطلحات موضوعية: Computer science, Control theory, Settling time, Approximation error, Bandwidth (signal processing), Internal model, Feed forward, Transfer function, Pulse-width modulation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ac04c5af6bc38789c504d45bece44c0a
https://doi.org/10.1109/cpe-powereng50821.2021.9501221