Established in 1918, Tallinn University of Technology is the only technical university in Estonia. TUT, in the capital city of Tallinn, is the nation’s leading academic institution in engineering, business, and public administration. TUT has colleges in Tallinn, Tartu, Kuressaare and Kohtla-Järve. Despite the similar names, Tallinn University and Tallinn University of Technology are separate institutions. Wikipedia.
Tallinn University of Technology and University of Tartu | Date: 2016-08-27
A tropomyosin receptor kinase (Trk) antagonist having a compound of formula (I) or a pharmaceutically acceptable salt thereof, wherein R1 is CH_(3), R2 is OCH_(3), R3 is SO_(2)N(CH_(3))_(2), and R4 is H; or R1 is CH_(3), R2 is OH, R3 is SO_(2)N(CH_(3))_(2), and R4 is H.
Agency: GTR | Branch: EPSRC | Program: | Phase: Research Grant | Award Amount: 280.59K | Year: 2013
The main goal of typing is to prevent the occurrence of execution errors during the running of a program. Milner formalised the idea, showing that ``well-typed programs cannot go wrong. In practice, type structures provide a fundamental technique of reducing programmer errors. At their strongest, they cover most of the properties of interest to the verification community. A major trend in the development of functional languages is improvement in expressiveness of the underlying type system, e.g., in terms of Dependent Types, Type Classes, Generalised Algebraic Types (GADTs), Dependent Type Classes and Canonical Structures. Milner-style decidable type inference does not always suffice for such extensions (e.g. the principal type may no longer exist), and deciding well-typedness sometimes requires computation additional to compile-time type inference. Implementations of new type inference algorithms include a variety of first-order decision procedures, notably Unification and Logic Programming (LP), Constraint LP, LP embedded into interactive tactics (Coqs eauto), and LP supplemented by rewriting. Recently, a strong claim has been made by Gonthier et al that, for richer type systems, LP-style type inference is more efficient and natural than traditional tactic-driven proof development. A second major trend is parallelism: the absence of side-effects makes it easy to evaluate sub-expressions in parallel. Powerful abstraction mechanisms of function composition and higher-order functions play important roles in parallelisation. Three major parallel languages are Eden (explicit parallelism) Parallel ML (implicit parallelism) and Glasgow parallel Haskell (semi-explicit parallelism). Control parallelism in particular distinguishes functional languages. Type inference and parallelism are rarely considered together in the literature. As type inference becomes more sophisticated and takes a bigger role in the overall program development, sequential type inference is bound to become a bottle-neck for language parallelisation. Our new Coalgebraic Logic Programming (CoALP) offers both extra expressiveness (corecursion) and parallelism in one algorithm. We propose to use CoALP in place of LP tools currently used in type inference. With the mentioned major developments in Corecursion, Parallelism, and Typeful (functional) programming it has become vital for these disjoint communities to combine their efforts: enriched type theories rely more and more on the new generation of LP languages; coalgebraic semantics has become influential in language design; and parallel dialects of languages have huge potential in applying common techniques across the FP/LP programming paradigm. This project is unique in bringing together local and international collaborators working in the three communities. The number of supporters the project has speaks better than words about the timeliness of our agenda. The project will impact on two streams of EPSRCs strategic plan: Programming Languages and Compilers and Verification and Correctness. The project is novel in aspects of Theory (coalgebraic study of (co)recursive computations arising in automated proof-search); Practice (implementation of the new language CoALP and its embedding in type-inference tools); and Methodology (Mixed corecursion and parallelism).
Jordan A.,Dublin City University |
Gathergood N.,Tallinn University of Technology
Chemical Society Reviews | Year: 2015
The importance of biodegradation data as part of the design of safer chemicals is presented using ionic liquids (ILs) as a model study. Structural features that promote/impede IL biodegradation, IL design strategies, methods of biodegradation analysis, properties of IL/surfactant derivatives and computational methods of predicting biodegradation are discussed. The importance of metabolite studies as part of biodegradation assays is highlighted. The relevance of applying the lessons learned developing biodegradable ILs to other chemical classes is proposed. A comprehensive appendix of IL biodegradation data published since 2010 (∼300 ILs) has been compiled. © The Royal Society of Chemistry.
Palumaa P.,Tallinn University of Technology
FEBS Letters | Year: 2013
Copper chaperones compose a specific class of proteins assuring safe handling and specific delivery of potentially harmful copper ions to a variety of essential copper proteins. Copper chaperones are structurally heterogeneous and can exist in multiple metal-loaded as well as oligomeric forms. Moreover, many copper chaperones can exist in various oxidative states and participate in redox catalysis, connected with their functioning. This review is focused on the analysis of the structural and functional properties of copper chaperones and their partners, which allowed us to define specific regulatory principles in copper metabolism connected with copper-induced conformational control of copper proteins. © 2013 Federation of European Biochemical Societies. Published by Elsevier B.V. All rights reserved.
Tallinn University of Technology | Date: 2016-09-14
The present invention relates to nickel oxide/ nickel aluminate nanofibers based on NiO/NiAl_(2)O_(4) composition of a high structural thermal stability, high aspect ratio (10^(4)), and a diameter of the fiber less than 100 nanometer. The NiO/NiAl_(2)O_(4) structure comprises the following compositions in percentage by weight: up to 40 % of NiO and over 60 % of NiAl_(2)O_(4), wherein NiO is dispersed along the NiAl_(2)O_(4) nanofibers homogeneously.
Tallinn University of Technology | Date: 2013-03-06
A method and device for high speed broadband testing of systems and substances using a binary, spectrally sparse sequence (SSS) as a periodic excitation waveform. The sequences with controllable frequency and magnitude spectra content are designed by component manipulation method or by edge manipulation method. The excitation waveform is typically pre-calculated, and kept in waveform memory, from where it is shifted out into digital to physical quantity converter (DQC). The sparse spectrum of the SSS makes it easy to create plenty of uncorrelated frequency sets with adjacent, but sufficiently different frequencies to form multi-path test systems, where all the paths can be measured simultaneously. The response of the sample under test (SUT) is sampled and the complex transfer function is calculated directly or indirectly via Impulse Response by Discrete Fourier Transform technique and its derivatives. The sequence bit interval and sampling interval have a predetermined ratio.
Tallinn University of Technology | Date: 2016-04-19
Method and device for impedance analyzer with binary excitation with improved accuracy, where the non-idealities of the sampling and preprocessing of the response signal (including aliasing effects) are taken into account by using of the overall system model with equivalent circuit diagrams of the analyzed object and the model of the preliminary analysis of the response signal. The analysis result is the equivalent circuit diagram with component values with the best match of the overall model analysis and of the preliminary analyze of the response signal. Further, the analysis result can be the impedance frequency characteristic or the classifier of the analyzed object. It could be reasonable to use the pre-calculated function (e.g. in the form of the look-up-table) for matching the results of the over-all model against the preliminary analyzed results of the response signal.
Tallinn University of Technology | Date: 2014-03-07
The invention relates to an anatonnical kidney phantom with calyxes for drainage training in interventional radiology. The anatonnical kidney phantom simulator comprises a housing filled with the surrounding material and an anatomical kidney phantom placed into surrounding material. The kidney phantom has a number of cavities simulating parts of the kidney for drainage training in interventional radiology for example the cavities are simulating kidney calyxes. The cavities are connected by channels and connecting pipe with outer reservoirs filled with the different colours or the x-ray opaque contrast liquids.
Tallinn University of Technology | Date: 2015-12-17
Method and device for acquiring stream of the precisely time-stamped images, including the modulated light source, controlled by the absolute global real-time-base (e.g. provided by global navigation satellite system (GNSS) controller) and the image acquisition and processing unit, decoding the light modulation waveform and determining the time-stamp for every image frame. The GNSS time and position messages can be used to provide the full time- and location stamps for each frame. Multi-element light sources can be used to have more informative light modulation in the time domain. For time-stamping of several image streams (e.g. from several cameras) multiple light sources with the same modulation can be used.
Tallinn University of Technology | Date: 2014-10-29
The invention relates to an anatomical kidney phantom with calyxes for drainage training in interventional radiology. The anatomical kidney phantom simulator comprises a housing filled with the surrounding material and an anatomical kidney phantom placed into surrounding material. The kidney phantom has a number of cavities simulating parts of the kidney for drainage training in interventional radiology for example the cavities are simulating kidney calyxes. The cavities are connected by channels and connecting pipe with outer reservoirs filled with the different colours or the x-ray opaque contrast liquids.