... expand to Australia - In March, Discovery Channel made a reportage clip about VinFast in particular and the automobile industry in Vietnam in general - Vingroup announced VinSmart factory and ... electric cars and petrol cars with the brand names VF31, VF33, and VF33 [BA1706.Group 2.GA] 0 - On February 16, 2021, the Southeast Asia New Car Assessment Program (ASEAN NCAP) awarded VinFast the ... public places It is an extremely creative new step that car manufacturers around the world are always aiming for and Vietnam has VinFast which is researching and developing That modern car is called...
Ngày tải lên: 06/02/2023, 07:10
... Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon. Design and implementation of a real time and ... implemented it on a Field Programmable Gate Arrays (FPGA) hardware platform. The results show a fast performance and acceptable accuracy for the proposed train less eye state recognition algorithm. ... projection and the geometry feature of iris and pupil. Authors of [6, 7] use the fact that the iris and pupil are darker than skin and white part of the eye. Authors of [11] proposed an algorithm based...
Ngày tải lên: 21/06/2014, 19:20
Optimal timing of real estate development a real options and game theoretical framework
... using more sophisticated mathematical tools and also numerical method, given the fact that analytical solutions are difficult to obtain 127 Bibliography Baldursson, F and Karatzas, I 1997 Irreversible ... Uncertainty, Irreversibilities and Strategic Interactions, Working Paper, Yale university Smit, H.T.J., and L .A Ankum 1993 A Real Options and Game-Theoretic Approach to Corporate Investment Strategy ... features of real estate development Another strand of real options research on real estate market is on lease valuation Grenadier (1995) uses real options approach to derive...
Ngày tải lên: 27/11/2015, 12:23
Spark for python developers a concise guide to implementing spark big data analytics for python developers and building a real time and insightful trend tracker data intensive app
... has worked in multiple languages, including Scala, Ruby, and Java, and has worked on Apache Spark, Apache Storm, Apache Kafka, Hadoop, and Hive He enjoys writing Scala Functional programming and ... about 24 apps, deploying with 24 Anaconda defining 10, 11 Anaconda installer URL 14 Anaconda stack Anaconda 11 Blaze 11 Bokeh 11 Conda 11 Numba 11 Wakari 11 analytics layer Apache Kafka about 133 ... on Spark, data science, and machine learning and their respective topics, making a beautiful interactive visualization with an actual Google Map [ 178 ] Index A Amazon Web Services (AWS) about...
Ngày tải lên: 04/03/2019, 14:10
Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault docx
... value However, as Rb increases, VA increases and VB decreases, to the point that Rb is so high a b VA V VA(1) NAND1 Rb VIHmin(NAND3) NAND3 VILmax(NAND4) NAND2 VB (0) VB NAND4 RC(NAND3) RC(NAND4) ... NAND4 (RC NAND4/ ) Therefore: When Rb < RC NAND3/ , logic errors are propagated through both NAND3 and NAND4 When RC.NAND3/ < Rb < RC NAND4/ , logic errors are propagated through MergeNAND4 and ... conferences you attended have always been characterized by a constructive approach, always aimed at understanding, helping, and providing hints Thanks to all your efforts and to your capability of...
Ngày tải lên: 27/06/2014, 00:20
Models in Hardware Testing- P1 pptx
... one hand, the trapped charge is an unknown but constant parameter On the other hand, the ratio between the parasitic capacitances tied to VDD and the total parasitic capacitance depends on a number ... research activities he developed and the related results attained, span mainly the area of testing and testability of digital integrated circuits: fault simulation, ATPG, DFT, BIST and fault ... but worldwide as well xi xii To Christian: a Real Test and Taste Expert Dear Christian, last but definitely not least, we have to thank you at the personal and human level The so many hours spent...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P2 pot
... high a b VA V VA(1) NAND1 Rb VIHmin(NAND3) NAND3 VILmax(NAND4) NAND2 VB (0) VB NAND4 RC(NAND3) RC(NAND4) Rb Fig 2.3 Resistive bridge between two NAND gates (a) Gate level and (b) V-Rb characteristics ... several factors (Champac et al 1993, 1994; Ivanov et al 2001), namely topological parameters, trapped charge and unpredictable poly-to-bulk capacitance Cpb The detectability of the fault can be ... and with an interconnect open resistance of and M , (Kruseman and Heiligers 2006) In some cases, high voltages are also used as voltage stress testing for reliability screening (Kawahara et al...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P4 pot
... Trans Comput-Aided Des Integrat Circuits Sys 23:1142–1153 Sato Y, Hamada S, Maeda T, Takatori A, Kajihara S (Jan 2005) Evaluation of the statistical delay quality model Proceedings of Asia and ... above defects that increase circuit delays are modeled by gate delay faults, transition delay faults (TDFs) and path delay faults Application of tests to detect all path delay faults is impractical ... Majhi AK, Jacob J, Patnaik LM, Agrawal VD (Jan 1996) On test coverage of path delay faults Proceedings of international conference on VLSI design conference, pp 418–421 Malaiya YK, Narayanaswamy...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P5 pps
... XOR2 gate and application of that rule to the normalized intervals ([RC , 1] at v and [0, RE ] at w) The rule to construct output ADI A from input ADIs A1 and A2 is N N A D A1 \ A2 [ A1 \ A2 : ... they are created at the fault site and all transformations of an ADI during propagation (complementation, intersection and merging) can only introduce a boundary of an existing ADI as a boundary ... between Ri and Ri The procedure is based on constructing a Boolean satisfiability instance and calling a SAT solver to obtain 122 B Becker and I Polian the pattern (SAT-based ATPG (Larrabee 1989))...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P6 potx
... AND- dominates b a OR-dominates b a and b swap values (4-way bridge) b dominates a & a AND- dominates b b dominates a & a OR-dominates b wired -AND b AND- dominates a & a OR-dominates b wired-OR All common ... gates, and analysis of stuck-at faults was used for validating the method For a representative sample of stuck-at faults, the ranked lists of evidences are generated, and for all the fault candidates ... D a ^ cond and cond1 D a ^ cond Now, a ˚ cond0 models a conditional stuck-at fault and a ˚ Œcond1 models a conditional stuck-at fault The unconditional stuck-at fault at line a explains all...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P7 ppt
... related to high temperature may lead to hot spots, which appear during test data application and may result in premature 194 P Girard and H.-J Wunderlich and permanent damage (referred to as ... functional test and physical defects, thus moving from fault-based test approaches to defect-based test approaches Defect-based testing typically aims at targeting the following questions: What can ... VLSI test symposium, pp 401–406 Al-Ars Z (2005) DRAM fault analysis and test generation PhD Thesis, TU Delft Al-Ars Z, Hamdioui S, Mueller G, van de Goor A (2005) Framework for fault analysis and...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P8 ppt
... sequential loops For instance, given three interconnections A, B, and C, if a short between A and B leads to a loop and shorts between A and C on one hand and B and C on the other hand not lead to a ... upload a given test pattern, are not clocked Power-aware broadcast-scan-based TDC can also be achieved by using the progressive random access scan (PRAS) architecture proposed in Baik and Saluja ... layout, such as programmable logic arrays (PLA), and blocks with a random layout For PLAs, due to the array nature, the gate arrangement is fixed and concurs with all the layout rules that we have defined...
Ngày tải lên: 02/07/2014, 15:20
Models in Hardware Testing- P9 pptx
... the camera is simulated by a data generation task running on the data generation node The task provides the nominal and actual values of the position, speed and acceleration of the ball A fifth ... dependability and in particular on the measures (reliability, availability, etc.) usually considered for assessing the level of dependability actually obtained For a pragmatic and objective assessment ... assembly languages to declarative models Proceedings of Mutation 2006, Raleigh, NC, USA Daran M, Th´ venod-Fosse P (1996) Software error analysis: a real case study involving real faults e and mutations...
Ngày tải lên: 02/07/2014, 15:20
Báo cáo y học: " What work has to be done to implement collaborative care for depression? Process evaluation of a trial utilizing the Normalization Process Model" doc
... manager) and a component that impacts on the professionals and the practice (e.g., feedback of patient information to the GP, changes in practice organisation) In a standard, individually randomised ... practice from more routine and familiar styles of care We are also aware that we may not have asked all of the important questions of the data, and other researchers may have derived a wider range ... trial) However, given that the collaborative care protocol also had a positive impact on both quantitative and qualitative outcomes [18,19], and was perceived by the case managers as improving access...
Ngày tải lên: 11/08/2014, 05:21
báo cáo khoa học: " What work has to be done to implement collaborative care for depression? Process evaluation of a trial utilizing the Normalization Process Model" potx
... manager) and a component that impacts on the professionals and the practice (e.g., feedback of patient information to the GP, changes in practice organisation) In a standard, individually randomised ... practice from more routine and familiar styles of care We are also aware that we may not have asked all of the important questions of the data, and other researchers may have derived a wider range ... trial) However, given that the collaborative care protocol also had a positive impact on both quantitative and qualitative outcomes [18,19], and was perceived by the case managers as improving access...
Ngày tải lên: 11/08/2014, 16:20
Báo cáo y học: " Evaluation of Lumbar Facet Joint Nerve Blocks in Managing Chronic Low Back Pain: A Randomized, Double-Blind, Controlled Trial with a 2-Year Follow-U"
... withdrawn Statistical Methods Chi-squared statistic, Fisher’s exact test, paired t -test, and one-way analysis of variance were used to analyze the data Chi-squared statistic was used to test the ... C-fibres Acta Anaesthesiol Scand 1990; 34: 335-8 69 Pasqualucci A, Varrassi G, Braschi A, et al Epidural local anesthetic plus corticosteroid for the treatment of cervical brachial radicular pain: ... exact test was used wherever the expected value was less than 5; a paired t -test was used to compare the pre- and post-treatment results of average pain scores and the ODI measurements at baseline...
Ngày tải lên: 26/10/2012, 09:07
An evaluation of the material “basic english iii” for the second year non- english major students at bac giang teachers’ training college
... evaluation, purposes for materials evaluation, types of materials evaluation, materials evaluators, models for materials evaluation, criteria for materials evaluation, as well as material adaptation ... of language teaching and learning as appropriate materials can stimulate effective teaching and learning Thus, to have a successful language- teaching program, it is necessary to have good materials, ... major issues in materials evaluation: definitions of materials evaluation, purposes of materials evaluation, types of materials evaluation, materials evaluators, models for materials 16 evaluation...
Ngày tải lên: 07/11/2012, 14:50
Construction engineering students' evaluation of the esp programme at vinh university
... project evaluation Administrative matters Macroevaluation Microevaluation Curricular matters Materials evaluation timetable evaluation, etc Teacher evaluation task evaluation, etc Learners evaluation ... review, available human and material potential procedural barriers and measuring outcome criteria, hearing, interviews, diagnostic tests and resources, solution strategies remaining alert to unanticipated ... the planning of courses, and for the management of learning tasks and students Evaluation is also considered as a ‘natural activity’; something that is very much part of our daily existence and...
Ngày tải lên: 07/11/2012, 14:54
Evaluation of consolidation parame ters in CL tests
... variables Initial time tCL and stress s have the value here and the final ones Calculated ub values are presented as a fraction of maximum stress value and the results of analyses are presented as ... theoretical and practical aspects The ub stabil value depends on t(T = 1) value (compare I, C0.2 and I, C0.1 cases) and load rate (the I, C0.1 and II, C0.1 cases) During CRL tests with a linear increase ... of Dsn calculated as above, excess of the pore water pressure Evaluation of consolidation parameters in CL tests; theoretical and practical aspects 401 THEORETICAL ANALYSIS OF THE CALCULATION RESULTS...
Ngày tải lên: 22/03/2013, 15:01