EE Seminar: The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes

~~(The talk will be given in English)

Speaker: Dr. Alexey Frolov
                        IITP RAS, Moscow, Russia

Monday, April 4th, 2016
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering

The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes

Abstract
Non-binary low-density parity-check (LDPC) codes significantly outperform their binary counterparts. Moreover, non-binary LDPC codes are especially good for the channels with burst errors and high-order modulations. Unfortunately, their decoding complexity is still large, that is why iterative hard and soft-reliability based decoding majority algorithms are of considerable interest for high-throughput practical applications. We investigate the error-correcting capabilities of non-binary LDPC codes decoded with a hard-decision low-complexity majority algorithm, which is a generalization of the bit-flipping algorithm for binary LDPC codes. We perform the worst-case analysis and estimate the decoding radius realized by this algorithm. By the decoding radius, we mean the number of errors that is guaranteed to be corrected.
Our contribution is as follows. We first improve the estimate on the relative decoding radius for the classical majority algorithm (single threshold case). Then we suggest the majority-decoding algorithm with multiple thresholds. A lower estimate on the decoding radius realized by the new algorithm is derived. The estimate is shown to be at least 1.2 times better than the estimate for a single threshold majority decoder. At the same time, the transition to multiple thresholds does not affect the order of complexity.

Bio
Alexey Frolov was born in Moscow, Russia, in 1987. He received his M.Sc. degree in computer science from Bauman Moscow State Technical University (BMSTU) in 2010, and his Ph.D. degree in mathematics from the Institute for Information Transmission Problems of the Russian Academy of Sciences (IITP RAS) in 2012 (supervisor is Victor Zyablov). Currently, he is a Senior Researcher at the IITP RAS, Moscow, Russia. His research interests include coding theory, LDPC codes, iterative multiple-access techniques, coding for distributed storage, locally recoverable codes (LRC).

 

04 באפריל 2016, 15:00 
חדר 011, בניין כיתות חשמל  

מרעיון טכנולוגי חדשני למוצר אמיתי 13.04.16

מרעיון טכנולוגי חדשני למוצר אמיתי - הרצאה על איך להתחיל ולקדם זאת נכון

יום רביעי 13.03.16 בשעה 18:30 בפקולטה להנדסה

בוגר הפקולטה, אהוד שפיגל, יציג בפנינו את המלצותיו וגישה שיטתית מה לעשות (ומה לא לעשות)

המשתתפים יצאו מהפגישה עם אוסף תובנות שיכולות להיות מתורגמות למפת דרכים

איך לקדם את הרעיון החדשני שלהם ביעילות ומעשיות למוצר נדרש והגעה מהירה לשוק.
לפרטים נוספים והרשמה לחץ כאן

13 באפריל 2016, 18:30 
פרטים ימסרו לנרשמים  
מרעיון טכנולוגי חדשני למוצר אמיתי 13.04.16

איך מתקדמים מרעיון טכנולוגי חדשני למוצר עם מיקוד יעיל באבחון בעיות,

הגדרת המוצר ומפת הדרכים של ההגעה לשוק, בלי לבזבז זמן יקר, יחד עם חיסכון דרסטי בעלויות?

בוגר הפקולטה, אהוד שפיגל, יציג בפנינו את המלצותיו וגישה שיטתית מה לעשות (ומה לא לעשות),

איך לעשות, עם מי לעשות ומתי לעשות, על מנת לקדם מיזם חדשני באופן יעיל ביותר,

וזאת בהתבסס על ניסיונו מעשרות של מיזמים בהם השתתף כשותף, כיועץ וכעובד

EE Seminar: Tackling the State Explosion Problem in Model Checking

~~(The talk will be given in English)

Speaker:   Dr. Sharon Shoham Buchbinder
                       School of Computer Sciences, Faculty of Exact Sciences, TAU

Monday, March 28th, 2016
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering

Tackling the State Explosion Problem in Model Checking

Abstract
Model checking is an automated technique for checking whether a given system model satisfies a desired property, typically described as a temporal logic formula. As real models tend to be very big, model checking encounters the state-explosion problem. We present two approaches for tackling the state explosion problem in model checking.
First, we present a SAT-based technique for checking safety properties. Verification of safety properties is reducible to reachability analysis. We develop an algorithm which performs intertwined approximated forward and backward reachability analysis  (DAR). The algorithm uses satisfiability checks and interpolation to overapproximate sets of reachable states.
Next, we consider compositional reasoning as a way for alleviating the state explosion problem. Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. We develop a technique for automating circular assume-guarantee reasoning (ACR) in which the verification of individual components mutually depends on each other.

The talk is based on joint works with Karam Abd Elkader, Orna Grumberg, Corina Pasareanu, and Yakir Vizel.

Short Bio:
Sharon Shoham received a B.A. degree in Computer Science (summa cum laude) in 2001, a M.Sc. degree (cum laude) in 2004, and a Ph.D. degree in 2009, all from the Computer Science department of the Technion-Israel Institute of Technology. She holds a position as a senior lecturer in the school of Computer Science at the Academic college of Tel Aviv-Yaffo. She is currently on leave, visiting the programming languages group in Tel Aviv university.

 

28 במרץ 2016, 15:00 
חדר 011, בניין כיתות-חשמל  

29/3/16

29 במרץ 2016, 10:00 
 
 

 

You are invited to attend a lecture

By

 

Prof. Juin J. Liou

 

Pegasus Distinguished Professor and Lockheed Martin Chair Professor of Engineering University of Central Florida, Orlando, Florida, USA Chang Jiang Scholar Endowed Professor, Ministry of Education, China Fellow of IEEE, Fellow of IET, Fellow of SIMTech

 

Electrostatic Discharge (ESD) Protection of Low-Voltage RF Integrated Circuits

 

Electrostatic discharge (ESD) is one of the most prevalent threats to the reliability of electronic components. It is an event in which a finite amount of charge is transferred from one object (i.e., human body) to the other (i.e., microchip). This process can result in a very high current passing through the microchip within a very short period of time, and hence more than 35% of chip damages can be attributed to the ESD event.  As such, designing on-chip ESD structures to protect integrated circuits against the ESD stress is a high priority in the semiconductor industry. The continuing scaling of CMOS technology makes the ESD-induced failures even more prominent, and one can predict with certainty that the availability of effective and robust ESD protection solutions will become a critical and essential factor to the successful advancement and commercialization of the next-generation CMOS-based electronics.

The development of RF electronics went almost unnoticed until early 1980’s because, unlike Si VLSI, there were no mass consumer markets for such applications. Recently, this has been changed drastically due to the explosive growth in the civil wireless communications and internets. The modern RF integrated circuits are typically operated in a voltage range of 2-4 V. This relatively low-voltage operation imposes certain challenges to the design of RF ESD protection solutions.

An overview on the ESD sources, models, protection schemes, and testing will first be given in this talk. This is followed by presenting the recent advancement on ESD protection solutions for modern low-voltage RF integrated circuits as well as the exploration and evaluation of ESD protection solutions in emerging Si FinFET and nanowire technologies.

Biography of Juin J. Liou

 

Juin J. Liou received the B.S. (honors), M.S., and Ph.D. degrees in electrical engineering from the University of Florida, Gainesville, in 1982, 1983, and 1987, respectively. In 1987, he joined the Department of Electrical and Computer Engineering at the University of Central Florida (UCF), Orlando, Florida where he is now the UCF Pegasus Professor and Lockheed Martin St. Laurent Professor. His current research interests are Micro/nanoelectronics computer-aided design, RF device modeling and simulation, and electrostatic discharge (ESD) protection design and simulation.

        Dr. Liou holds 8 U.S. patents (5 more filed and pending), and has published 12 books (2 more in press), more than 280 journal papers (including 21 invited review articles), and more than 230 papers (including more than 100 keynote and invited papers) in international and national conference proceedings. He has been awarded more than $14.0 million of research contracts and grants from federal agencies (i.e., NSF, DARPA, Navy, Air Force, NASA, NIST), state government, and industry (i.e., Semiconductor Research Corp., Intel Corp., Intersil Corp., Lucent Technologies, Alcatel Space, Conexant Systems, Texas Instruments, Fairchild Semiconductor, National Semiconductor, Analog Devices, Maxim Integrated Systems, Allegro Microsystems, RF Micro Device, Lockheed Martin), and has held consulting positions with research laboratories and companies in the United States, China, Japan, Taiwan, and Singapore.  In addition, Dr. Liou has served as a technical reviewer for various journals and publishers, general chair or technical program chair for a large number of international conferences, regional editor (in USA, Canada and South America) of the Microelectronics Reliability journal, and guest editor of 7 special issues in the IEEE Journal of Emerging and Selected Topics in Circuits and Systems, Microelectronics Reliability, Solid-State Electronics, World Scientific Journal, and International Journal of Antennas and Propagation.

Dr. Liou received ten different awards on excellence in teaching and research from the University of Central Florida (UCF) and six different awards from the IEEE. Among them, he was awarded the UCF Pegasus Distinguished Professor (2009) – the highest honor bestowed to a faculty member at UCF, UCF Distinguished Researcher Award (four times: 1992, 1998, 2002, 2009) – the most of any faculty in the history of UCF, UCF Research Incentive Award (three times: 2000, 2005, 2010), UCF Trustee Chair Professor (2002), IEEE Joseph M. Biedenbach Outstanding Engineering Educator Award in 2004 for exemplary engineering teaching, research, and international collaboration, and IEEE Electron Devices Society Education Award in 2014 for promoting and inspiring global education and learning in the field of electron devices. His other honors are Fellow of IEEE, Fellow of IET, Fellow of Singapore Institute of Manufacturing Technology, Fellow of UCF-Analog Devices, Distinguished Lecturer of IEEE Electron Device Society (EDS), and Distinguished Lecturer of National Science Council. He holds several honorary professorships, including the Chang Jiang Scholar Endowed Professor of Ministry of Education, China – the highest honorary professorship in China, NSVL Distinguished Professor of National Semiconductor Corp., USA, International Honorary Chair Professor of National Taipei University of Technology, Taiwan, Honorary Endowed Professor of National Taiwan University of Science and Technology, Taiwan, Chang Gung Endowed Professor of Chang Gung University, Taiwan, Feng Chia Chair Professor of Feng Chia University, Taiwan, Chunhui Eminent Scholar of Peking University, China, Cao Guang-Biao Endowed Professor of Zhejiang University, China, Honorary Professor of Xidian University, China, Consultant Professor of Huazhong University of Science and Technology, China, and Courtesy Professor of Shanghai Jiao Tong University, China. Dr. Liou was a recipient of U.S. Air Force Fellowship Award and National University Singapore Fellowship Award.

        Dr. Liou has served as the IEEE EDS Vice-President of Regions/Chapters, IEEE EDS Treasurer, IEEE EDS Finance Committee Chair, Member of IEEE EDS Board of Governors, and Member of IEEE EDS Educational Activities Committee.

 

Tuesday, March 29, 2016, at 10:00

Room 011, Kitot Building

 

28.3.16

You are invited to attend a lecture

By

 

 Prof. Rakesh Kumar Singh

 

 

Indian Institute of Space and Technology (IIST) Thiruvananthapuram, Kerala, India

 

 

Non-invasive single-shot imaging through a scattering

 

layer using speckle interferometry

 

 

Optical imaging through complex scattering media is one of the major technical challenges with important applications in many research fields, ranging from biomedical imaging, astronomical imaging, to spatially multiplexed optical communications. Various techniques for imaging though scattering mediums have been proposed and discussed in the past. In this talk, we will discuss a new approach for non-invasive imaging through random scattering medium by speckle interferometry.  Principle of this technique lies on exploiting the complex nature of the two point correlation function of the random fields and combining digital holography with correlation optics.

Application of this technique in single shot and lens less correlation holography will be discussed. Possible extension of speckle interferometry to the vectorial random fields will also be covered in this talk.

 

Monday, March 28, 2016, at 11:00

 

Room 011, Kitot Building

28 במרץ 2016, 11:00 
011 Kitot  
28.3.16

 

זכיה בפרס קדר על הצטיינות יוצאת דופן במחקר מדעי.

20 מרץ 2016

 פרופ' עדי אריה מביה"ס להנדסת חשמל זכה בפרס קדר על הצטיינות יוצאת דופן במחקר מדעי.  הפרס, בסך 30,000 $, ניתן החל משנה שעברה אחת לשנה ל-4 חוקרים בכל התחומים באוניברסיטה, יוענק בטקס מיוחד במושב חבר הנאמנים הקרוב ב-20 למאי בשעה 9 בבוקר.

 

 

עמודים

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש שנעשה בתכנים אלה לדעתך מפר זכויות
שנעשה בתכנים אלה לדעתך מפר זכויות נא לפנות בהקדם לכתובת שכאן >>