Search results for "FP"
showing 10 items of 297 documents
Augstas veiktspējas līdzprocesora izveide darbību ar matricām realizācijai iegultajās sistēmas
2018
Attīstoties tehnoloģijām, sensori kļūst aizvien mazāki un precīzāki, aprēķini, kas saistīti ar to sniegtajiem mērijumiem kļūst aizvien sarežģītāki. Iegultajām sistēmām ir īpašas energoefektivitātes un vietas patēriņa prasības, kas uz CPU un GPU balstītus risinājumus padara nepiemērotus. Pētījuma mērķis ir izstrādāt augstas veiktspējas līdzprocesoru matricu operācijām iegultajās sistēmas. Darba ietvaros tika veikta literatūras analīze, izstrādāts līdzprocesora prototips un veikts salīdzinājums ar alternatīviem risinājumiem. Pētījuma rezultātā uz FPGA, izmantojot VHDL valodu, tika izstrādāts 4x4 matricu operāciju līdzprocesora prototips ar 12MHz taktsātrumu, novērtēts resursu apjoms, lai impl…
Zvaigžņotā Debess: 2011, Vasara (212)
2011
Contents: “ZVAIGŽŅOTĀ DEBESS” FORTY YEARS AGO: A.Balklavs. Extremely Distant New Objects of Metagalaxy (abridged) ; Newspaper „Literaturnaja Rossija” 9 April 1971. Astronautics: Yesterday, Today, Tomorrow (abridged) ; CONFERENCE “The VIEW from SPACE. FIRST MANNED SPACE FLIGHT – 50”: M.Gills. Conference on the Eve of Human Space Flight Anniversary ; J.Ekmanis, S.Negrejeva. Mstislav Keldysh and Golden Age of Soviet Science ; T.Millers. Contribution of Scientists of the Institute of Inorganic Chemistry to the Development of Space Technologies and Materials ; G.Vilka. Remembrance of Friedrich Zander in Rīga ; O.Plepis. My Contribution to the Development of Space Medicine ; J.Stradiņš. Latvia’s …
Minimal forbidden words and symbolic dynamics
1996
We introduce a new complexity measure of a factorial formal language L: the growth rate of the set of minimal forbidden words. We prove some combinatorial properties of minimal forbidden words. As main result we prove that the growth rate of the set of minimal forbidden words for L is a topological invariant of the dynamical system defined by L.
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
Counting in the Two Variable Guarded Logic with Transitivity
2005
We show that the extension of the two-variable guarded fragment with transitive guards (GF+TG) by functionality statements is undecidable. This gives immediately undecidability of the extension of GF+TG by counting quantifiers. The result is optimal, since both the three-variable fragment of the guarded fragment with counting quantifiers and the two-variable guarded fragment with transitivity are undecidable. We also show that the extension of GF+TG with functionality, where functional predicate letters appear in guards only, is decidable and of the same complexity as GF+TG. This fragment captures many expressive modal and description logics.
A real-time non-intrusive FPGA-based drowsiness detection system
2011
Automotive has gained several benefits from the Ambient Intelligent researches involving the deployment of sensors and hardware devices into an intelligent environment surrounding people, meeting users’ requirements and anticipating their needs. One of the main topics in automotive is to anticipate driver needs and safety, in terms of preventing critical and dangerous events. Considering the high number of caused accidents, one of the most relevant dangerous events affecting driver and passengers safety is driver’s drowsiness and hypovigilance. This paper presents a low-intrusive, real-time driver’s drowsiness detection system for common vehicles. The proposed system exploits the ‘‘bright p…
Toward a Rationale for the PTC124 (Ataluren) Promoted Readthrough of Premature Stop Codons: A Computational Approach and GFP-Reporter Cell-Based Assay
2014
The presence in the mRNA of premature stop codons (PTCs) results in protein truncation responsible for several inherited (genetic) diseases. A well-known example of these diseases is cystic fibrosis (CF), where approximately 10% (worldwide) of patients have nonsense mutations in the CF transmembrane regulator (CFTR) gene. PTC124 (3-(5-(2-fluorophenyl)-1,2,4-oxadiazol-3-yl)-benzoic acid), also known as Ataluren, is a small molecule that has been suggested to allow PTC readthrough even though its target has yet to be identified. In the lack of a general consensus about its mechanism of action, we experimentally tested the ability of PTC124 to promote the readthrough of premature termination c…
A novel methodology for accelerating bitstream relocation in partially reconfigurable systems
2012
International audience; Xilinx Virtex FPGAs offer the possibility of Partial Reconfiguration (PR). Arbitrary tasks can be allocated and de-allocated onto FPGA without system interruption. However, mapping a task to any available PR region requires a unique partial bitstream for each partition, hence reducing memory storage requirements. In recent years, an interest on overcoming this problem has lead to the concept of Partial Bitstream Relocation (PBR). The principle is to perform bitstream modification to map it to different regions. However, PBR consumes scarce resources in hardware implementations, and introduces a prohibitive time overhead when done in software. In order to find the bes…
Determination of a conformational change in filamin A with Förster resonance energy transfer
2011
Filamins are large rod-like proteins that cross-link actin filaments into three-dimensional networks. They also bind to a plethora of proteins with distinct functions showing that they have a versatile role in cells. Functional filamins are dimers consisting of an N-terminal actin binding domain followed by 24 immunoglobulin-like domains. The most C-terminal domains mediate the dimerization. Two hinge regions are located between the domains 15 and 16 and 23 and 24, respectively, and produce structural flexibility that is essential for the protein function. The domains 18-19 and 20-21 are folded in a pairwise manner in which the first β strands of the even numbered domains are folded along w…
Unbundling technology adoption and tfp at the firm level. Do intangibles matter?
2012
We use a panel of European firms to investigate the relationship between intangible assets and productivity. We distinguish between total factor productivity (tfp) and technology adoption, whereas standard estimations consider only a notion of productivity that conflates the two effects. Although we are unable to address simultaneity, we allow for the existence of multiple technologies within sectors through a mixture model approach. We find that intangible assets have nonnegligible effects that both push firms toward better technologies (technology adoption effects) and allow for more efficient exploitation of a given technology (tfp effects).