At full strength, and in their original form, some of today’s newest technologies are mind-blowing examples of how fast the future is coming.
Concepts like virtual reality, artificial intelligence and robotics all point to an exciting view forward, where technologies that only recently seemed like science fiction can start having a meaningful and (hopefully) positive impact on our individual lives, and society as a whole.
The problem is, achieving the “full” version of these technologies is proving to be more challenging than we were first led to believe. In retrospect, this development shouldn’t be terribly surprising, as many of these technological concepts are extremely complex. As a result, the process necessary to create them is bound to be arduous. And yet, for those of us who have gotten caught up in the excitement of these future tech visions, the disappointment is real.
Arguably, the latest and most extreme example of the dilution of these technologies has to do with augmented reality (AR). In its “purest” form, AR was going to (and eventually will) deliver an intelligent overlay on the physical world. The technology enables you to see computer-generated digital imagery superimposed on a real-world view. Best of all, it does so in a futuristic manner that greatly enhances, or augments, our view of the world.
Microsoft’s impressive HoloLens smart glasses and the AR experience it provides, for example, offers one of the most convincing way of feeling like you’ve been transported 10 years into the future.
The problem is that the acceptable bar for what can, or should, be considered augmented reality is dropping quickly. Lately, it seems almost anything that puts silly images over pictures or video is now being (unrightfully) elevated to the status of augmented reality. Because of that, I’m concerned that the real value or impact of the technology is going to fade, leading to a level of disappointment that could set the market back for some time.
At last week’s Facebook F8 developer conference, for example, the company talked a great deal about augmented and virtual reality, describing a number of futuristic concepts that it's working on. When it came down to the demos of what you can actually do now, however, it was essentially Facebook’s version of the popular Snapchat filters that let you put silly masks and other visual effects on photos and videos of people’s faces.
Now, don’t get me wrong, this is fun stuff. Plus, it really does require what is arguably an extremely basic form of augmented reality: it has to recognize the location, size and shape of a real-world object (your face), and then overlay digital graphics that correspond with particular spots on that object, even as you move. But honestly, for most people other than selfie-obsessed teenagers and 20-somethings, it doesn’t offer much lasting value.


Electricity is closely related to our life. Electricity brings us all kinds of convenience in our life. So Wire and cable Is essential to people's life, because it is not only related to people's electricity, but also related to the safety of electricity. So what kind of wire and cable manufacturers produce more secure wires Will you be favored by many people?
1、 High quality wires and cables are safer and can withstand high temperatures 。 At the same time, it can resist cold, so it can be used well in summer and winter. This will not affect people's normal use of electricity, to ensure that people can better use electricity in any situation.
2、 It has a longer service life. Generally speaking, the wires produced by good wire and cable manufacturers can last as long as ten years or even longer. Therefore, it is very convenient and reliable, and does not need to be replaced frequently. This will save a lot of trouble, of course, also save a lot of human and material resources. Wire and cable manufacturers with higher safety will be more popular.
3、 There are many wire and cable manufacturers, but the good and the bad are mixed. In order to save production costs, some small manufacturers often use poor materials 。 However, the quality of products of large manufacturers with a long history and well-known brands will be relatively guaranteed. Each manufacturer will produce many models of wires and cables, some for commercial use, some for home use, and there are corresponding models for each price. Buyers need to choose according to their own requirements. Before purchasing the product, we must carefully look at the production certificate and inspection certificate of the wire and cable manufacturer and the product, which is the simplest and most intuitive way to inspect whether the product is qualified.
last Guangdong South cable Cable Remind everyone to do wire and cable safety, from the choice Wire and cable Manufacturers, installation, daily living habits, daily maintenance, etc., should be done in place.


D?rr compact camera
D?rr Wild Snap IR X12 - the top class surveillance camera
The D?rr Wild Snap IR X12 digital camera is responsible for perfect and almost invisible illumination thanks to its twelve IR high-performance LEDs. The innovative camera system offers brilliant action and outdoor shots, for example for wildlife photography. Equipped with a 45? motion sensor and a flash light range of approx. 15 meters, this compact camera combines the desired compactness with the highest quality standards. In addition to a high resolution for photos of up to 6 megapixels and a VGA 640 x 480 video resolution, the model from D?rr offers three preset programs that allow the surveillance camera to be used quickly at any time for high-quality area recordings. Thanks to its numerous features and a fast response and triggering time of just 1.5 seconds, the Wild Snap IR X12 is a top-class model that will delight amateurs and professionals alike.


Nikon Instruments B.V. is pleased to announce the release of NIS-Elements Clarify.ai, a new addition to Nikon’s growing suite of artificial intelligence (AI) tools for microscopy. Clarify.ai uses artificial intelligence to automatically remove blur from widefield fluorescence microscope images.
Clarify.ai utilizes new Nikon technologies executed on graphic processing units (GPUs) to leverage fast and efficient clarity in images normally corrupted by blur due to out-of-focus light.
Clarify.ai leverages deep learning, a type of artificial intelligence. Clarify.ai is pre-trained to recognize fluorescence signal emitted from out-of-focus planes and can computationally remove this haze component from the image, resulting in significantly improved signal-to-noise (S/N) ratio.


Vivo Z3 is powered by a Qualcomm Snapdragon 670 SoC and Adreno 615 GPU. It comes with 4GB RAM and 64GB/ Internal Storage. It has the option to extend the memory by 128 GB by external SD card slow.
For taking pictures, Vivo Z3 will be equipped with a 12 MP dual rear camera and 12 MP front camera. It is powered by a 4000 mAh battery and runs on Android 8.1.0 out of the box.
Talking about other features, Vivo Z3 supports fingerprint unlock, facial recognition, USB type-C interface, dual-band WIFI, and VoLTE.
Vivo Z3 is expected to be priced at around $400. It will be released in launched in China next month. We don’t have official information about its global release.
*Disclaimer: We can’t assure that the information provided here (including price, specifications & features) is 100% correct. Therefore, we won’t be held responsible for the damages and losses occurred thereof.
|Display Type Display Technology => A number of display technologies and types used in mobile phones => TFT (Thin Film Transistor), IPS (In-Place Switching), OLED (Organic Light Emitting Diode), AMOLED (Active-Matrix Organic Light-Emitting Diode), Super AMOLED (an even advanced version of AMOLED), Resistive Touchscreen (Resistive touchscreens contain two layer of conductive material with a very small gap between them which acts as a resistance), Capacitive Touchsceen (Capacitive touchscreen technology consists of a layer of glass coated with a transparent conductor)||IPS LCD capacitive touchscreen|
|Display Colors Display Colors is refers to the number of different shades of colors that the screen is capable of displaying => 64K colors, 256K colors and 16 million colors, Obviously 16M is highest available range of colors and better than others.||16M|
|CPU CPU (Central Processing Unit) mostly known as processors, CPU processes instructions in order to carry out certain functions that make your device operate properly. Processors are often described as the brain of computers, smartphones and tablets, Smartphones and tablets rely on processors to carry out their every task, Processors are an incredibly important factor in selecting any type of computing device, including your smartphone.||Snapdragon 670|
|GPU GPU (Graphics Processing Unit) is a single-chip processor designed to rapidly manipulate and alter memory to accelerate the creation of images in a frame buffer intended for output to a display, This includes things such as lighting effects, object transformations, and 3D motion.||Adreno 615|
|Card Slot Memory Card Slot is a special slot for inserting a memory card. Memory cards allow you to expand the phone's built-in memory, A memory card (sometimes called a flash memory card or a storage card) is a small storage medium used to store data such as text, pictures, audio, and video, for use on small, portable or remote computing devices such as mobile phones, mp3 players, digital cameras.||Yes|
|Sensors Sensors are electronic components that detects and responds to some type of input from the physical environment. The specific input could be light, heat, motion, moisture, pressure and location, The output is generally a signal that is converted to use in computing systems, a location sensor, such as a GPS receiver is able to detect current location of your electronic device.||gravity sensor, light sensor, fingerprint, face recognition, GPS|
|Operating System OS => Every computer system run on a base software called Operating System (OS). Operating System controls all basic operations of the computer (such as smartphone, PDAs, tablet computers and other handheld devices). The Operating System allows the user to install and run third party applications (apps), apps are used to add new functionality to the device.||Android 8.1.0|
|Video||1080p@ 30 fps|
|Battery Type Battery Type => Cell phones run on various kinds of batteries depending on the manufacturer, phone size or shape and features. There are basically four types of cell phone batteries => Lithium Polymer, Lithium Ion, Nickel Metal Hydride and Nickel Cadmium.||Li-Ion (Lithium Ion)|
|Type Design Type called form factor refers to a mobile phone's size, shape, and style as well as the layout and position of major components of phone. There are three major form factors seen in mobile phones => bar phones, folding phones and sliding phones.||Bar|
|SIM SIM (Subscriber Identity Module) is a small card that contains mobile network subscriber's account information. This allows the phone using the card to attach to a mobile network. The SIM card is most commonly associated with GSM and UMTS mobile networks. Moving a SIM card from one phone to another allows a subscriber to switch mobile phones without having to contact their mobile network carrier. SIM cards can also be used by a phone to store limited amounts of data, such as phone numbers and text messages.||Nano SIM|
|Other Features||WLAN, Bluetooth, GPS, Radio, USB Type-C interface|


BlackBerry Cylance develops artificial intelligence to deliver prevention-first, predictive security products and smart, simple, secure solutions that change how organizations approach endpoint security. BlackBerry Cylance provides full-spectrum predictive threat prevention and visibility across the enterprise to combat the most notorious and advanced cybersecurity attacks, fortifying endpoints to promote security hygiene in the security operations center, throughout global networks, and even on employees’ home networks. With AI-based malware prevention, threat hunting, automated detection and response, and expert security services, BlackBerry Cylance protects the endpoint without increasing staff workload or costs. We call it the Science of Safe. Learn more at www.cylance.com.
Interested in learning more about Blackberry|Cylance?
37 E. Huntington Drive, Suite A,
Arcadia, CA 91006
Phone: (626) 405-0999 | FAX: (626) 405-9415


New Designed Universal Magnetic Holder stick on flat universal smartphone magnetic car mount holder will not block
the air vent and the windshield of the car. It's 10 times easier to use than any other mounts just stick it on your car.
Adopts the super strong neodymium magnets. powerful circulating magnetic field which can hold mobile phones securely. don't need to worry about the falling of your mobile phone when you drive on the bumpy roads. it allows you to one-handed operate your phone without dangerous and illegal driving. compared with other magnetic mobile phone car mount, this one is much lighter and handier. the small and new fashioned appearance makes the best magnetic car phone mount not so noticeable in your car although you don't place your phone on it
On the base of the car phone holder and the back of metal plates, genuine 3M adhesive is adopted to make it stick firm on surface you choose. it is not easy to fall off if you make sure the surface is clean without dust, dry, flat and no much rough texture when you install the mount. Regarding the disassembly of the phone holder for car, separate the upper part from the bottom part first, then peel and tear the 3M adhesive from the surface and magnet.
With the universal desigen idea, this car phone mount is compatible with multiple devices like iphone 5, 5s, 6, 6s, 7,7plus, Samsung Galaxy S7, Google Pixel XL, GPS. such a smart magnetic phone car mount not only can be used for car, but also use for home use such as attaching on wall, mirror, bedside. for use convenience, the cell phone holder for car comes with different sizes of metal plates that allows it to hold the larger sizes of mobile devices like iphone plus models. the holder allows you to rotate your device on the parallel plane with the surface you stick it. for comfortable operation and better field of view.


PhD Thesis Defenses
PhD thesis defenses are a public affair and open to anyone who is interested. Attending them is a great way to get to know the work going on by your peers in the various research groups. On this page you will find a list of upcoming and past defense talks.
Please go here for electronic access to most of the doctoral dissertations from Saarbrücken Computer Science going back to about 1990.
Correctness of Multi-Core Processors with Operating System Support
(Advisor: Prof. Wolfgang Paul)
Thursday, 27.09.2018, 10:00 h, in building E1 7, room 0.01
In the course of adding hardware support for operating systems and hypervisors (like Microsoft Hyper-V), we verify a realistic multi-core processor with integrated mechanisms for two levels of virtual address translation. The second level of address translation (SLAT) is required to allow guests of a hypervisor (typically operating systems) to execute their programs in translated mode. In hardware, the scheme of SLAT is implemented in a dedicated processor component, called the two-level memory management unit (MMU). Both the specification and the implementation of the two-level MMU are presented in full detail. The main contribution is the complete paper and pencil correctness proof for the pipelined multi-core implementation of the MIPS-86 ISA with SLAT. MIPS-86 combines the instruction set of MIPS with the memory model of x86. First, we consider the sequential implementation, which serves to demonstrate integration of the two-level MMU into the MIPS processor. In the proof of our main result — correctness of the pipelined implementation — we refer to the sequential case to show correctness of the MMU operation. This allows us to shift the focus towards the problems of pipelining a machine with speculative execution and interrupts, which are necessary to consider in combination with address translation.
Gaze Estimation and Interaction in Real-World Environments
(Advisor: Dr. Andreas Bulling)
Wednesday, 26.09.2018, 11:00 h, in building E1 4, room 0.19
Human eye gaze has been widely used in human-computer interaction, as it is a promising modality for natural, fast, pervasive, and non-verbal interaction between humans and computers. Appearance-based gaze estimation methods directly regress from eye images to gaze targets without eye feature detection, and therefore have great potential to work with ordinary devices. However, these methods require a large amount of domain-specific training data to cover the significant variability in eye appearance. In this thesis, we focus on developing appearance-based gaze estimation methods and corresponding attentive user interfaces with a single webcam for challenging real-world environments. We collected a large-scale gaze estimation dataset from real-world setting, proposed a full-face gaze estimation method, and studied data normalization. We applied our gaze estimation methods to real-world interactive application including eye contact detection and gaze estimation with multiple personal devices.
Dynamic Adaptive Video Streaming with Minimal Buffer Sizes
(Advisor: Prof. Thorsten Herfet)
Wednesday, 19.09.2018, 16:00 h, in building E1 1, room 407
Recently, adaptive streaming has been widely adopted in video streaming services to improve the quality-of-experience (QoE) of video delivery over the Internet. However, state-of-the-art bitrate adaptation achieves satisfactory performance only with extensive buffering of several tens of seconds. This leads to high playback latency in video delivery, which is undesirable especially in the context of live content and interactive features with a low upper bound on the latency. Therefore, this thesis aims at pushing the application of adaptive streaming to its limit with respect to the buffering size, which is the dominant factor of the streaming latency.
In the current work, we first address the minimum buffering size required in adaptive streaming, which provides us with guidelines to determine a reasonable low latency for streaming systems. Then, we tackle the fundamental challenge of achieving such a low latency streaming by developing a novel adaptation algorithm that stabilizes buffer dynamics despite a small buffering size. We also present advanced improvements by designing a novel adaptation architecture with low-delay feedback for the bitrate selection and optimizing the underlying transport layer to offer efficient real-time streaming. Experimental evaluations demonstrate that our approach achieves superior QoE in adaptive video streaming, especially in the particularly challenging case of low latency streaming.
Understanding and Assessing Security on Android via Static Code Analysis
(Advisor: Prof. Michael Backes)
Tuesday, 28.08.2018, 14:00 h, in building E9 1, room 0.05
Smart devices have become a rich source of sensitive information including personal data (contacts and account data) and context information like GPS data that is continuously aggregated by onboard sensors. As a consequence, mobile platforms have become a prime target for malicious and over-curious applications. The growing complexity and the quickly rising number of mobile apps have further reinforced the demand for comprehensive application security vetting. This dissertation presents a line of work that advances security testing on Android via static code analysis. In the first part of this dissertation, we build an analysis framework that statically models the complex runtime behavior of apps and Android’s application framework (on which apps are built upon) to extract privacy and security-relevant data-flows. We provide the first classification of Android’s protected resources within the framework and generate precise API-to-permission mappings that excel over prior work. We then propose a third-party library detector for apps that is resilient against common code obfuscations to measure the outdatedness of libraries in apps and to attribute vulnerabilities to the correct software component. Based on these results, we identify root causes of app developers not updating their dependencies and propose actionable items to remedy the current status quo. Finally, we measure to which extent libraries can be updated automatically without modifying the application code.
Seong Joon OH
Image Manipulation against Learned Models: Privacy and Security Implications
(Advisor: Prof. Bernt Schiele)
Monday, 06.08.2018, 16:00 h, in building E1 4, room 0.24
Machine learning is transforming the world. Its application areas span privacy sensitive and security critical tasks such as human identification and self-driving cars. These applications raise privacy and security related questions that are not fully understood or answered yet: Can automatic person recognisers identify people in photos even when their faces are blurred? How easy is it to find an adversarial input for a self-driving car that makes it drive off the road?
This thesis contributes one of the first steps towards a better understanding of such concerns in the presence of data manipulation. From the point of view of user’s privacy, we show the inefficacy of common obfuscation methods like face blurring, and propose more advanced techniques based on head inpainting and adversarial examples. We discuss the duality of model security and user privacy problems and describe the implications of research in one area for the other. Finally, we study the knowledge aspect of the data manipulation problem: the more one knows about the target model, the more effective manipulations one can craft. We propose a game theoretic framework to systematically represent the partial knowledge on the target model and derive privacy and security guarantees. We also demonstrate that one can reveal architectural details and training hyperparameters of a model only by querying it, leading to even more effective data manipulations against it.
Quantifying and Mitigating Privacy Risks in Biomedical Data
(Advisor: Prof. Michael Backes)
Wednesday, 25.07.2018, 14:00 h, in building E9 1 (CISPA), room 001
The decreasing costs of molecular profiling have fueled the biomedical research community with a plethora of new types of biomedical data, allowing for a breakthrough towards a more precise and personalized medicine. However, the release of these intrinsically highly sensitive, interdependent data poses a new severe privacy threat.
In this thesis, we provide means to quantify and protect the privacy of individuals’ biomedical data. Besides the genome, we specifically focus on two of the most important epigenetic elements influencing human health: microRNAs and DNA methylation. We quantify the privacy for multiple realistic attack scenarios. Our results underline that the privacy risks inherent to biomedical data have to be taken seriously. Moreover, we present and evaluate solutions to preserve the privacy of individuals. Our mitigation techniques stretch from the differentially private release of epigenetic data, considering its utility, up to cryptographic constructions to securely, and privately evaluate a random forest on a patient’s data.
On Flows, Paths, Roots, and Zeros
(Advisor: Prof. Kurt Mehlhorn)
Monday, 23.07.2018, 14:00 h, in building E1 7, room 001
This thesis has two parts; in the first of which we give new results for various network flow problems. (1) We present a novel dual ascent algorithm for min-cost flow and show that an implementation of it is very efficient on certain instance classes. (2) We approach the problem of numerical stability of interior point network flow algorithms by giving a path following method that works with integer arithmetic solely and is thus guaranteed to be free of any nu-merical instabilities. (3) We present a gradient descent approach for the undirected transship-ment problem and its special case, the single source shortest path problem (SSSP). For distrib-uted computation models this yields the first SSSP-algorithm with near-optimal number of communication rounds.
The second part deals with fundamental topics from algebraic computation. (1) We give an algorithm for computing the complex roots of a complex polynomial. While achieving a com-parable bit complexity as previous best results, our algorithm is simple and promising to be of practical impact. It uses a test for counting the roots of a polynomial in a region that is based on Pellet’s theorem. (2) We extend this test to polynomial systems, i.e., we develop an algorithm that can certify the existence of a k-fold zero of a zero-dimensional polynomial system within a given region. For bivariate systems, we show experimentally that this approach yields signifi-cant improvements when used as inclusion predicate in an elimination method.
Incentives in Dynamic Markets
(Advisor: Prof. Martin Hoefer, now Uni Frankfurt)
Monday, 23.07.2018, 11:00 h, in building E1 7, room 001
In this thesis, we consider a variety of combinatorial optimization problems within a common theme of uncertainty and selfish behavior.
In our first scenario, the input is collected from selfish players. Here, we study extensions of the so-called smoothness framework for mechanisms, a very useful technique for bounding the inefficiency of equilibria, to the cases of varying mechanism availability and participation of risk-averse players. In both of these cases, our main results are general theorems for the class of (λ,μ)-smooth mechanisms. We show that these mechanisms guarantee at most a (small) constant factor performance loss in the extended settings.
In our second scenario, we do not have access to the exact numerical input. Within this context, we explore combinatorial extensions of the well-known secretary problem under the assumption that the incoming elements only reveal their ordinal position within the set of previously arrived elements. We first observe that many existing algorithms for special matroid structures maintain their competitive ratio in the ordinal model. In contrast, we provide a lower bound for algorithms that are oblivious to the matroid structure. Finally, we design new algorithms that obtain constant competitive ratios for a variety of combinatorial problems.
Cryptographic Techniques for Privacy and Access Control in Cloud-Based Applications
(Advisor: Prof. Matteo Maffei, now Uni Wien)
Friday, 29.06.2018, 15:30 h, in building E9 1 (CISPA), room 001
Digitization is one of the key challenges for today’s industries and society. It affects more and more business areas and also user data and, in particular, sensitive information. Due to its sensitivity, it is important to treat personal information as secure and private as possible yet enabling cloud-based software to use that information when requested by the user.
In this thesis, we focus on the privacy-preserving outsourcing and sharing of data, the querying of outsourced protected data, and the usage of personal information as an access control mechanism for rating platforms, which should be protected from coercion attacks. In those three categories, we present cryptographic techniques and protocols that push the state of the art. In particular, we first present multi-client oblivious RAM (ORAM), which augments standard ORAM with selective data sharing through access control, confidentiality, and integrity. Second, we investigate on recent work in frequency-hiding order-preserving encryption and show that the state of the art misses rigorous treatment, allowing for simple attacks against the security of the existing scheme. As a remedy, we show how to fix the security definition and that the existing scheme, slightly adapted, fulfills it. Finally, we design and develop a coercion-resistant rating platform. Coercion-resistance has been dealt with mainly in the context of electronic voting yet also affects other areas of digital life such as rating platforms.
Understanding Regulatory Mechanisms Underlying Stem Cells Helps to Identify Cancer Biomarks
(Advisor: Prof. Volkhard Helms)
Thursday, 28.06.2018, 16:30 h, in building E2 1, room 001
In this thesis, we present novel algorithms to unravel regulatory mechanisms underlying stem cell differentiation and cancerogenesis. Inspired by the tightly interwoven topology of the regulators controlling the pluripotency network in mouse embryonic stem cells, we formulated the problem where a set of master regulatory genes in a regulatory network is identified by solving either of two combinatorial optimization problems namely a minimum dominating set or a minimum connected dominating set in weakly and strongly connected components. Then we applied the developed methods to regulatory cancer networks to identify disease-associated genes and anti-cancer drug targets in breast cancer and hepatocellular carcinoma. As not all the nodes in the solutions are critical, we developed a prioritization method to rank a set of candidate genes which are related to a certain disease based on systematic analysis of the genes that are differentially expressed in tumor and normal conditions. Moreover, we demonstrated that the topological features in regulatory networks surrounding differentially expressed genes are highly consistent in terms of using the output of several analysis tools for identifying differentially expressed genes. We compared two randomization strategies for TF-miRNA co-regulatory networks to infer significant network motifs underlying cellular identity. We showed that the edge-type conserving method surpasses the non-conserving method in terms of biological relevance and centrality overlap. We presented several web servers and software packages that were made publicly available at no cost. The Cytoscape plugin of minimum connected dominating set identifies a set of key regulatory genes in a user-provided regulatory network based on a heuristic approach. The ILP formulations of minimum dominating set and minimum connected dominating set return the optimal solutions for the aforementioned problems. The web servers TFmiR and TFmiR2 construct disease-, tissue-, process-specific networks for the sets of deregulated genes and miRNAs provided by a user. They highlight topological hotspots and offer detection of three- and four-node FFL motifs as a separate web service for mouse and human.
Model Reconstruction for Moment-based Stochastic Chemical Kinetics
(Advisor: Prof. Verena Wolf)
Monday, 25.06.2018, 12:00 h, in building E1 7, room 0.01
Based on the theory of stochastic chemical kinetics, the inherent randomness and stochasticity of biochemical reaction networks can be accurately described by discrete-state continuous-time Markov chains, where each chemical reaction corresponds to a state transition of the process. However, the analysis of such processes is computationally expensive and sophisticated numerical methods are required. The main complication comes due to the largeness problem of the state space, so that analysis techniques based on an exploration of the state space are often not feasible and the integration of the moments of the underlying probability distribution has become a very popular alternative. In this thesis we propose an analysis framework in which we integrate a number of moments of the process instead of the state probabilities. This results in a more time-efficient simulation of the time evolution of the process. In order to regain the state probabilities from the moment representation, we combine the moment-based simulation (MM) with a maximum entropy approach: the maximum entropy principle is applied to derive a distribution that fits best to a given sequence of moments. We further extend this approach by incorporating the conditional moments (MCM) which allows not only to reconstruct the distribution of the species present in high amount in the system, but also to approximate the probabilities of species with low molecular counts. For the given distribution reconstruction framework, we investigate the numerical accuracy and stability using case studies from systems biology, compare two different moment approximation methods (MM and MCM), examine if it can be used for the reaction rates estimation problem and describe the possible future applications.
Practical Dynamic Information Flow Control
(Advisor: Prof. Christian Hammer, now Uni Potsdam)
Friday, 22.06.2018, 16:30 h, in building E2 1, room 007
Computational Haplotyping: theory and practice
(Advisor: Prof. Tobias Marschall)
Thursday, 21.06.2018, 16:30 h, in building E2 1, room 007
Genomics has paved a new way to comprehend life and its evolution, and also to investigate causes of diseases and their treatment. One of the important problems in genomic analyses is haplotype assembly. Constructing complete and accurate haplotypes plays an essential role in understanding population genetics and how species evolve.In this thesis, we focus on computational approaches to haplotype assembly from third generation sequencing technologies. This involves huge amounts of sequencing data, and such data contain errors due to the single molecule sequencing protocols employed. Taking advantage of combinatorial formulations helps to correct for these errors to solve the haplotyping problem. Various computational techniques such as dynamic programming, parameterized algorithms, and graph algorithms are used to solve this problem.
This thesis presents several contributions concerning the area of haplotyping. First, a novel algorithm based on dynamic programming is proposed to provide approximation guarantees for phasing a single individual. Second, an integrative approach is introduced to combining multiple sequencing datasets to generating complete and accurate haplotypes. The effectiveness of this integrative approach is demonstrated on a real human genome. Third, we provide a novel efficient approach to phasing pedigrees and demonstrate its advantages in comparison to phasing a single individual.Fourth, we present a generalized graph-based framework for performing haplotype-aware de novo assembly. Specifically, this generalized framework consists of a hybrid pipeline for generating accurate and complete haplotypes from data stemming from multiple sequencing technologies, one that provides accurate reads and other that provides long reads.
A tale of two packing problems: Improved algorithms and tighter bounds for online bin packing and the geometric knapsack problem
(Advisor: Prof. Rob van Stee, now Uni Siegen)
Tuesday, 12.06.2018, 16:15 h, in building E1 4, room 024
In this thesis, we deal with two packing problems: the online bin packing and the geometric knapsack problem. In online bin packing, the aim is to pack a given number of items of different size into a minimal number of containers. The items need to be packed one by one without knowing future items. For online bin packing in one dimension, we present a new family of algorithms that constitutes the first improvement over the previously best algorithm in almost 15 years. While the algorithmic ideas are intuitive, an elaborate analysis is required to prove its competitive ratio. We also give a lower bound for the competitive ratio of this family of algorithms. For online bin packing in higher dimensions, we discuss lower bounds for the competitive ratio and show that the ideas from the one-dimensional case cannot be easily transferred to obtain better two-dimensional algorithms. In the geometric knapsack problem, one aims to pack a maximum weight subset of given rectangles into one square container. For this problem, we consider offline approximation algorithms. For geometric knapsack with square items, we improve the running time of the best known PTAS and obtain an EPTAS. This shows that large running times caused by some standard techniques for geometric packing problems are not always necessary and can be improved. Finally, we show how to use resource augmentation to compute optimal solutions in EPTAS-time, thereby improving upon the known PTAS for this case.
Compositional Compiler Correctness Via Parametric Simulations
(Advisor: Prof. Derek Dreyer)
Thursday, 07.06.2018, 14:00 h, in building E1 5, room 0.29
Compiler verification is essential for the construction of fully verified software, but most prior work (such as CompCert) has focused on verifying whole-program compilers. To support separate compilation and to enable linking of results from different verified compilers, it is important to develop a compositional notion of compiler correctness that is modular (preserved under linking), transitive (supports multi-pass compilation), and flexible (applicable to compilers that use different intermediate languages or employ non-standard program transformations). In this thesis, we formalize such a notion of correctness based on parametric simulations, thus developing a novel approach to compositional compiler verification.
An Approximation and Refinement Approach to First-Order Automated Reasoning
(Advisor: Prof. Christoph Weidenbach)
Wednesday, 16.05.2018, 14:00 h, in building E1 5, room 0.02
With the goal of lifting model-based guidance from the propositional setting to first-order logic, I have developed an approximation theorem proving approach based on counterexample-guided abstraction refinement. A given clause set is transformed into a simplified form where satisfiability is decidable.This approximation extends the signature and preserves unsatisfiability:if the simplified clause set is satisfiable, so is the original clause set. A resolution refutation generated by a decision procedure on the simplified clause set can then either be lifted to a refutation in the original clause set, or it guides a refinement excluding the previously found unliftable refutation. This way the approach is refutationally complete. I have implemented my approach based on the SPASS theorem prover. On certain satisfiable problems, the implementation shows the ability to beat established provers such as SPASS, iProver, and Vampire.
Architectures for Ubiquitous 3D on Heterogeneous Computing Platforms
(Advisor: Prof. Philipp Slusallek)
Wednesday, 09.05.2018, 14:00 h, in building D3 4, VisCenter DFKI
Today, a wide scope for 3D graphics applications exists, including domains such as scientific visualization, 3D-enabled web pages, and entertainment. At the same time, the devices and platforms that run and display the applications are more heterogeneous than ever. Display environments range from mobile devices to desktop systems and ultimately to distributed displays. While the capability of the client devices may vary considerably, the visualization experiences running on them should be consistent. The field of application should dictate how and on what devices users access the application, not the technical requirements to realize the 3D output.
The goal of this thesis is to examine the diverse challenges involved in providing consistent and scalable visualization experiences to heterogeneous computing platforms and display setups. We developed a comprehensive set of rendering architectures in the major domains of scientific and medical visualization, web-based 3D applications, and movie virtual production. To provide the required service quality, performance, and scalability for different client devices and displays, our architectures focus on the efficient utilization and combination of the available client, server, and network resources. We present innovative solutions that incorporate methods for hybrid and distributed rendering as well as means to stream rendering results. We establish the browser as a promising platform for accessible and portable visualization services. We collaborated with experts from the medical field and the movie industry to evaluate the usability of our technology in real-world scenarios.
Integrated Timing Verification for Distributed Embedded Real-Time Systems
(Advisor: Prof. Reinhard Wilhelm)
Tuesday, 08.05.2018, 14:00 h, in building E1 1, room 407
The verification of timing properties with commercial tools based on static analysis has been available for safety-critical automotive systems for more than a decade. Although they offer many other advantagesin addition to safety guarantees, these tools are rarely applied in the automotive industry. This thesis analyses different possible reasons for this lack of application and suggests solutions where possible. Amongst the results of this thesis are technical findings, like the further increase of automation (e.g. for loop-bound detection) or the automatic reduction of WCET overestimation for highly variant systems. With regard to the development process, technical as well as non-technical solutions are presented that target the actual users of the timing verification, which range from software developers to system architects. The central result of this thesis is the integration of existing and newly developed timing verification methods and tools into a holistic development process approach called Timing Oriented Application Development (TOAD).
From Perception over Anticipation to Manipulation
(Advisor: Dr. Mario Fritz)
Wednesday, 25.04.2018, 16:00 h, in building E1 4, room 019
From autonomous driving cars to surgical robots, robotic system has enjoyed significant growth over the past decade. With the rapid development in robotics alongside the evolution in the related fields, such as computer vision and machine learning, integrating perception, anticipation and manipulation is key to the success of future robotic system. In this talk, we summarize our efforts of exploring different ways of such integration to extend the capabilities of a robotic system to take on more challenging real world tasks. On anticipation and perception, we address the recognition of ongoing activity from videos. In particular we focus on long-duration and complex activities and hence propose a new challenging dataset to facilitate the work. On manipulation with perception, we propose an efficient framework for programming a robot to use human tools and evaluate it on a Baxter research robot. Finally, combining perception, anticipation and manipulation, we focus on a block stacking task. We first explore how to guide robot to place a single block into the scene without collapsing the existing structure and later introduce the target stacking task where the agent stacks blocks to reproduce a tower shown in an image. We validate our model on both synthetic and real-world settings.
Towards the understanding of transcriptional and translational regulatory complexity
(Advisor: Prof. Dr. Volkhard Helms)
Wednesday, 11.04.2018, 10:00 h, in building E2 1, room 001
Considering the same genome within every cell, the observed phenotypic diversity can only arise from highly regulated mechanisms beyond the encoded DNA sequence. We investigated several mechanisms of protein biosynthesis and analyzed DNA methylation patterns, alternative translation sites, and genomic mutations. As chromatin states are determined by epigenetic modifications and nucleosome occupancy,we conducted a structural superimposition approach between DNA methyltransferase 1 (DNMT1) and the nucleosome, which suggests that DNA methylation is dependent on accessibility of DNMT1 to nucleosome–bound DNA. Considering translation, alternative non–AUG translation initiation was observed. We developed reliable prediction models to detect these alternative start sites in a given mRNA sequence. Our tool PreTIS provides initiation confidences for all frame–independent non–cognate and AUG starts. Despite these innate factors, specific sequence variations can additionally affect a phenotype. We conduced a genome–wide analysis with millions of mutations and found an accumulation of SNPs next to transcription starts that could relate to a gene–specific regulatory signal. We also report similar conservation of canonical and alternative translation sites, highlighting the relevance of alternative mechanisms. Finally, our tool MutaNET automates variation analysis by scoring the impact of individual mutations on cell function while also integrating a gene regulatory network.
Biomedical Knowledge Base Construction form Text and its Application in Knowledge-based Systems
(Advisor: Prof. Dr. Klaus Berberich, now HTW Saar)
Monday, 12.03.2018, 10:00 h, in building E1 4, room 024
Today in this Big Data era, overwhelming amounts of textual information across different sources with a high degree of redundancy has made it hard for a consumer to retrospect on past events. A plausible solution is to link semantically similar information contained across the different sources to enforce a structure thereby providing multiple access paths to relevant information. Keeping this larger goal in view, this work uses Wikipedia and online news articles as two prominent yet disparate information sources to address the following three problems:
• We address a linking problem to connect Wikipedia excerpts to news articles by casting it into an IR task. Our novel approach integrates time, geolocations, and entities with text to identify relevant documents thatcan be linked to a given excerpt.
• We address an unsupervised extractive multi-document summarization task to generate a fixed-length event digest that facilitates efficient consumption of information contained within a large set of documents. Our novel approach proposes an ILP for global inference across text, time, geolocations, and entities associated with the event.
• To estimate temporal focus of short event descriptions, we present a semi-supervised approach that leverages redundancy within a longitudinal news collection to estimate accurate probabilistic time models.
Extensive experimental evaluations demonstrate the effectiveness and viability of our proposed approaches towards achieving the larger goal.
Biomedical Knowledge Base Construction form Text and its Application in Knowledge-based Systems
(Advisor: Prof. Dr. Gerhard Weikum)
Tuesday, 06.03.2018, 10:00 h, in building E1 4, room 024
While general-purpose Knowledge Bases (KBs) have gone a long way in compiling comprehensive knowledge about people, events, places, etc., domain-specific KBs, such as on health, are equally important, but are less explored. Consequently, a comprehensive and expressive health KB that spans all aspects of biomedical knowledge is still missing. The main goal of this thesis is to develop principled methods for building such a KB and enabling knowledge-centric applications. We address several challenges and make the following contributions:
– To construct a health KB, we devise a largely automated and scalable pattern-based knowledge extraction method covering a spectrum of different text genres and distilling a wide variety of facts from different biomedical areas.
– To consider higher-arity relations, crucial for proper knowledge representation in advanced domain such as health, we generalize the fact-pattern duality paradigm of previous methods. A key novelty is the integration of facts with missing arguments by extending our framework to partial patterns and facts by reasoning overthe composability of partial facts.
– To demonstrate the benefits of a health KB, we devise systems for entity-aware search and analytics andfor entity-relationship-oriented exploration.
Extensive experiments and use-case studies demonstrate the viability of the proposed approaches.
Language Support for Programming High-Performance Code
(Advisor: Prof. Dr. Sebastian Hack)
Thursday, 22.02.2018, 14:00 h, in building E1 7, room 001
Nowadays, the computing landscape is becoming increasingly heterogeneous and this trend is currently showingno signs of turning around. In particular, hardware becomes more and more specialized and exhibits different formsof parallelism. For performance-critical codes it is indispensable to address hardware-specific peculiarities. Because of the halting problem, however, it is unrealistic to assume that a program implemented in a general-purpose programming language can be fully automatically compiled to such specialized hardware while still delivering peak performance. One form of parallelism is single instruction, multiple data (SIMD).
In this talk, we first introduce Sierra: an extension for C++ that facilitates portable and effective SIMD programming. Second, we present AnyDSL. This framework allows to embed a so-called domain-specific language (DSL) into a host language. On the one hand, a DSL offers the application developer a convenient interface; on the other hand, a DSL can perform domain-specific optimizations and effectively map DSL constructs to various architectures. In order to implement a DSL, one usually has to write or modify a compiler. With AnyDSL though, the DSL constructs are directly implemented in the host language while a partial evaluator removes any abstractions that are required in the implementation of the DSL.
Mohammad MEHDI MONIRI
Gaze and Peripheral Vision Analysis for Human-Environment Interaction: Applications in Automotive and Mixed-Reality Scenarios
(Advisor: Prof. Dr. Wolfgang Wahlster)
Wednesday, 14.02.2018, 16:00 h, in building D3 2, Reuse seminar room -2.17
This thesis studies eye-based user interfaces which integrate information about the user’s perceptual focus-of-attention into multimodal systems to enrich the interaction with the surrounding environment. We examine two new modalities:gaze input and output in the peripheral field of view. All modalities are considered in the whole spectrum of the mixed-reality continuum. We show the added value of these new forms of multimodal interaction in two important application domains: Automotive User Interfaces and Human-Robot Collaboration. We present experiments that analyze gaze under various conditions and help to design a 3D model for peripheral vision. Furthermore, this work presents several new algorithms for eye-based interaction, like deictic reference in mobile scenarios, for non-intrusive user identification, or exploiting the peripheral field view for advanced multimodal presentations. These algorithms have been integrated into a number of software tools for eye-based interaction, which are used to implement 15 use cases for intelligent environment applications. These use cases cover a wide spectrum of applications, from spatial interactions with a rapidly changing environment from within a moving vehicle, to mixed-reality interaction between teams of human and robots.
Justifying The Strong Memory Semantics of Concurrent High-Level Programming Languages for System Programming
(Advisor: Prof. Dr. Wolfgang Paul)
Wednesday, 07.02.2018, 15:00 h, in E1 7, room 001
We justify the strong memory semantics of high-level concurrent languages, such as C11 or Java, when compiled to x86-like machines. Languages such as C11 guarantee that programs that obey a specific software discipline behave as if they were executed on a simple coherent shared memory multi-processor. Real x86 machines, on the other hand, do not provide a coherent shared memory, and compilers add slow synchronizing instructions to provide the illusion of coherency. We show that one software discipline that closely matches software disciplines of languages such as C11 and Java – in a nutshell, that racing memory accesses are annotated as such by the programmer – and one particular way to add relatively few synchronization instructions – in a nutshell, between an annotated store and an annotated load in the same thread – suffice to create this illusion.
The software discipline has to be obeyed by the program in the semantics of the high-level language, therefore allowing the verification effort to take place completely in the strong memory semantics of the high-level language. We treat a machine model with operating system support, and accordingly our theorems can be used to verify interruptible multi-core operating systems, including those where users can run unverified programs that do not obey the software discipline.
Variational Image Fusion
(Advisor: Prof. Dr. Joachim Weickert)
Monday, 05.02.2018, 10:15 h, in E1 1, room 407
The main goal of this work is the fusion of multiple images to a single composite that offers more information than the individual input images. We approach those fusion tasks within a variational framework.
First, we present iterative schemes that are well-suited for such variational problems and related tasks. They lead to efficient algorithms that are simple to implement and well-parallelisable. Next, we design a general fusion technique that aims for an image with optimal local contrast. This is the key for a versatile method that performs well in many application areas such as multispectral imaging, decolourisation, and exposure fusion. To handle motion within an exposure set, we present the following two-step approach: First, we introduce the complete rank transform to design an optic flow approach that is robust against severe illumination changes.
Second, we eliminate remaining misalignments by means of brightness transfer functions that relate the brightness values between frames. Additional knowledge about the exposure set enables us to propose the first fully coupled method that jointly computes an aligned high dynamic range image and dense displacement fields.
Finally, we present a technique that infers depth information from differently focused images. In this context, we additionally introduce a novel second order regulariser that adapts to the image structure in an anisotropic way.
Numerical Analysis of Stochastic Biochemical Reaction Networks
(Advisor: Prof. Dr. Verena Wolf)
Wednesday, 31.01.2018, 14:00 h, in E1 7, room 001
Numerical solution of the chemical master equation for stochastic reaction networks typically suffers from the state space explosion problem due to the curse of dimensionality and from stiffness due to multiple time scales.The dimension of the state space equals the number of molecular species involved in the reaction network and the size of the system of differential equations equals the number of states in the corresponding continuous-time Markov chain, which is usually enormously huge and often even infinite. Thus, efficient numerical solution approaches must be able to handle huge, possibly infinite and stiff systems of differential equations efficiently.
In this thesis, we present efficient techniques for the numerical analysis of the biochemical reaction networks. We present an approximate numerical integration approach that combines a dynamical state space truncation procedure with efficient numerical integration schemes for systems of ordinary differential equations including adaptive step size selection based on local error estimates. We combine our dynamical state space truncation with the method of conditional moments, and present the implementation details and numerical results. We also incorporate ideas from importance sampling simulations into a non-simulative numerical method that approximates transient rare event probabilities based on a dynamical truncation of the state space.
Finally, we present a maximum likelihood method for the estimation of the model parameters given noisy time series measurements of molecular counts. All approaches presented in this thesis are implemented as part of the tool STAR, which allows to model and simulate the biochemical reaction networks. The efficiency and accuracy is demonstrated by numerical examples.
Relational Cost Analysis
(Advisor: Dr. Deepak Garg)
Monday, 22.01.2018, 16:00 h, in E1 5, room 029
Programming languages research has made great progress towards statically estimating the execution cost of a program. However, when one is interested in how the execution costs of two programs compare to each other (i.e., relational cost analysis), the use of unary techniques does not work well in many cases. In order to support a relational cost analysis, we must ultimately support reasoning about not only the executions of a single program, but also the executions of two programs, taking into account their similarities. This dissertation makes several contributions to the understanding and development of such a relational cost analysis. It shows how:
• Refinement types and effect systems can express functional and relational quantitative properties of pairs of programs, including the difference in execution costs.
• Relational cost analysis can be adapted to reason about dynamic stability, a measure of the update times of incremental programs as their inputs change.
• A sound and complete bidirectional type system can be developed (and implemented) for relational cost analysis.


Return to d'Auriol's Seminar Page
CSE 600 Research Seminar Talk, Friday, June 3, 2016, Academic Building B, Room 204, SUNY Korea.
Computing technologies and capabilities vary depending on computing eras, as exemplified from the 19th century mechanical computers to the 20th century electromechanical and electronic computers to the present day commercially ubiquitous microelectronic computers. Beyond microelectronics, optoelectronic technologies are already deployed in communications. Optical communications provide higher bandwidth, longer distance, decreased energy consumption, unregulated usage hence increased convenience and increased security over electrical-based systems. And, when combined with traditional computer interconnection networks, enable powerful communication intensive computing. Yet, optoelectronic computing suffers limitations due to signal conversion.
All optical computing that combines optical communications with optical processing elements eliminates such limitations, but introduces a unique set of computing issues. This talk describes the two recently proposed models by the author: the Parameterized (LARPBS(p)) (2005) and The All-optical (OLARPBS) (2016) Linear Array with a Reconfigurable Pipelined Bus System Optical Bus Parallel Computing Model. This talk covers historical background, architectural and algorithmic details as well as current on-going research supplemented by recent results from SUNY Korea researchers together with future work with emphasis on the impact of computing in future optoelectronic and optical computing eras.
CSE 600 Research Seminar Talk, Friday, June 10, 2016, Academic Building B, Room 204, SUNY Korea.
The quest for knowledge and understanding underlies human curiosity. Knowledge and understanding acquisition is provided through perception of human sensory information; of which, human vision is singularly significant. A rich research and development history in visualization and related fields have provided models, techniques and systems aimed at harnessing the potential of human visual capability to facilitate increased learning and insight.
The Engineering Insightful Serviceable Visualizations (EISV) model, proposed by the author in 2015 (currently under review) is based on investigating question-answer pairs and emphasizes understanding and knowledge acquisition achieved via insight and learning but which is impeded by confusion brought on by in-appropriateness, incoherence, anacolutha and non-sequiturs. The EISV model is widely applicable in any endeavor that couples human knowledge and understanding with information display.
The EISV model consists of an integrated insightful model and a serviceable model and includes a visualization metric that relates insight, learning and confusion with characteristics of how much and how fast understanding and knowledge are acquired. The model entails two connected processes: a visualization process based on visualization media componentization followed by a human process consisting of perception, interpretation, understanding and knowledge acquisition.
This talk firstly introduces a modern perspective of visualization in the context of knowledge and understanding, insight and learning. Next, details of the EISV model are discussed with examples.
Lastly, as the EISV model forms the umbrella project under which many additional specific projects are currently under investigation, brief comments about the following projects are included: 1. Visualization Advanced Relation Model with applications in Korean-English translations, 2. Geometric Representation of Programs with applications in software design and coding, 3. Complex Dynamic System Visualization with applications in power grid failure modeling, 4. Art Fusion Visualization with applications in studying impression and emotional aspects, and 5. Visualization Experience with applications in studying human sensations arising during visualizations.


This is an introductory course in the operation of the computer system using voice commands. Designed for students with hand injuries or physical limitations that prohibit them from using a computer in the usual manner. The student will learn to use a voice-activated application to assist in overcoming physical impairments or work restrictions. The course requires the student to spend time training the software to recognize their voice patterns. Their voice patterns will be utilized to operate the computer system and its functions. This course is available to qualified clients only.
Already a participant? Log in


Mr. Reji Pillai is the president of India Smart Grid. He talked about the Smart Grid initiatives planned by the Ministry of Power, Govt. of India. The objective of this project is to have access to quality power which is reliable in future at an affordable cost. A National Smart Grid Mission (NSGM) will be launched in order to effectively implement the goals conceived. Moreover, the Smart Grid will help faster restoration of the grid in case of faults or disturbances leading to less investment in voltage stabilizers, inverters and other standby arrangements.


Death Star 3D Night Light
The Death Star 3D night Light is a flat acrylic plate that creates a hologram-like illusion image. This impressive night light is crafted from a flat (3 mm) acrylic glass plate with a 2D laser engraved image on its surface. Once the flat plate is inserted into the round lamp base, the 9 LED diodes at the bottom of the lamp base distribute the light in a way that creates a spectacular 3D effect. It has the functionality to change between 7 colors; Red, Green, Blue, Yellow, Cyan, Purple or White. One can also change the mode from steady color to alternate color. This night light is super easy to use. It can be switched on or off easily with just one touch. It can be plugged into your laptop, power bank or any USB charger.
About the product
- 7 Colors change: Red, Green, Blue, Yellow, Cyan, Pink, White
- Smart button: Press one time, one color light up, press it again, it turns off. Press it thirdly, another color light up.
- Automatically color changing mode. Press the button to last color, then press it again, auto color changing mode works.
- Coming with USB power cable, you can use your home adapter connecting it to your home power socket or computer USB port.
- Energy saving. Power spend: 0.012kw.h/24 hours; LED life span: 10,000 hours
- 3D vision effect, especially in the dark or take a photograph, the vision thrill will be strong!
- PMMA acrylic is not glass, the whole board is solid acrylic material. Strong, hard, high toughness, not fragile, will not hurt the child;
- Very low heat-conductive, will not be hot after long time working,Soft warm light, will not hurt eyes.
- Product Size: Acrylic panel: 22.2*9.8*4cm Base: 8.5*8.5*4.2cm) USB cable: 39.37 inch (100cm)
- 1 x optical illusion 3D lamp (Acrylic panel + ABS Base)
- 1 x USB cable (Does not come with a Wall Plug, you can use ANY plug that you have) (31 inches long).
- 1 x LED 3D illusion lamp user manual.


Message claims that it is possible to charge a mobile phone battery by touching the stems of peepal tree leaves to the terminals.
The message is a hoax. Not surprisingly, there is no scientific evidence whatsoever to support claims that such an outlandish technique would ever actually work. It is possible to construct rudimentary batteries out of everyday objects such as potatoes, wire and nails. However, it is absurd to suggest that enough energy to charge a mobile phone battery could somehow magically flow from ordinary tree leaves just by touching them to a battery terminal, especially in only a minute or so. Even purpose-built, mains connected phone chargers take much longer than a minute to recharge a phone.
Charge mobile with peepal leave
Its very Strange But True Very True.
Now, you do not require any mobile charger to charge your mobiles. Only there is need to use green leaf of peepal tree and after some time your mobile will get charged.
No soon the people came to learn this development, they tested it and found encouraging results. If your mobile has been discharged and you are inside a jungle then you need not to use any charger. You Should pluck two peepal leaves and your work would be done.
It is very good idea and easy to charge your mobile. You would have to open your mobile battery and connect it with peepal leaf. After that without shaking mobile set you should set the battery in your mobile set. After some time your mobile would be charged.
Though it is unbelievable but as soon as the residents of Chitrakoot came to know about the discovery they could not believe the news. But when they saw it practically then the incident proved true.
Now hundreds of mobile holders are using this technique and charging their mobiles.
Several persons including Sushil Kumar Shukla, Santosh Verma, principal of Mahatma Gandhi School, Raj Karan Patel, Shyam Patel, Shekhar Dwivedi, Pramod Gupta, Manager of Gayatri temple, RN Tripathi proved the incident true.
Whereas according to the botanists, it is just changing mutual energy into electrical energy power can be saved in battery. Similarly, it is also possible. They said that it is the subject of research.
Step by Step guide to charge your mobile battery using peepal leaf
1- Open your mobile cover
2- Take out your battery
3- Take two to three fresh leaves of peepal/pipal/ashwattha tree
4- Touch the stub of these leaves on your mobile battery terminal for a minute
5- Clean the mobile battery terminal with the soft cloth
6- Put your battery again in your mobile and switch it on
7- Now you can see the result
8- If required repeat the process with fresh leaves
According to a wildly improbable “tip” that is currently circulating, it is possible to charge your mobile phone battery by simply holding the stems of two freshly picked peepal tree leaves to the terminals for a minute or so. The message circulates via email, blogs and forums, especially in India, Nepal and other parts of Asia. Even some Asian news outlets have picked up the story, thereby giving it completely underserved credibility.
Not surprisingly, there is no scientific evidence whatsoever to support claims that such an outlandish technique would ever actually work. It is possible to construct rudimentary batteries out of everyday objects such as potatoes, wire and nails. However, it is absurd to suggest that enough energy to charge a mobile phone battery could somehow magically flow from ordinary tree leaves just by touching them to a battery terminal, especially in only a minute or so. Even purpose-built, mains connected phone chargers take much longer than a minute to recharge a phone.
The message claims that hundreds of people are using the technique to charge their phones. In spite of this apparently widespread popularity, however, there are no credible news or scientific reports confirming its validity. If it were possible, the technique would certainly have gained widespread media attention around the world and become the subject of serious scientific studies. It is absurd to suggest that the media, green groups, and the scientific community would simply ignore such a potentially important source of alternative energy.
Several videos, apparently showing the technique in action are also circulating. However, the “results” shown in these videos are vague and inconclusive and they certainly do not offer any real proof that the technique works.
Nepalese blogger, Navin Lama has dismissed the technique as a hoax and has published a response from Nokia in which the mobile phone giant declares the peepal leaf charging technique described as untrue.
In alternative versions of the technique, the battery is actually replaced in the phone with the leaf stems wedged between the battery terminals and the battery case. In some brands of phone, this might give the illusion that the phone had been charged because the stems interfered with the phone’s charge sensors. Thus, the experimenter might think that the technique had actually worked when, in fact, the higher charge reading display on the phone was due only to false sensor input.
And, for the record, I have also tried the trick myself with a number of different types of tree leaves and three brands of mobile phone. None of the experiments had any impact whatsoever on the charge level of the battery. Granted, my geographic location means that I do not have immediate access to a peepal tree, but I strongly suspect that the results would be the same even if I had used peepal leaves in my experiments.
Last updated: September 11, 2013
First published: Jan 11, 2008
By Brett M. Christensen
Since you’ve read this far……can I ask you for a big favour?
To enhance your privacy and security and offer you a better user experience, Hoax-Slayer is now ad-free. To keep the site online, I now rely on voluntary contributions from site visitors along with commissions from a few trusted products and services that I promote via reviews on the site.
If you found the above report useful, please consider supporting Hoax-Slayer by making a donation. Any amount you can give will be greatly appreciated.
You can donate using your credit card via the form below. Donations are collected securely via the online payment service Stripe. Stripe uses state of the art security to keep your data safe.


Ion channels as drug targetsDate Added: 6/3/2011 2:00:00 PM
Last Updated: 6/10/2011 11:29:00 AM
Description of projects available to graduate students:
Pentameric ligand gated ion channels (pLGICs) are important drug targets. Tang’s group works on both structural and functional characterizations of these ion channels. Students will learn how to determine high-resolution structures of pLGICs and how to characterize low-affinity drugs, particularly general anesthetics and alcohols, affect protein functions. The functional study will be correlated with the structural determination. The student can also have first hand experience on molecular dynamics simulations of pLGICs. The goal is to elucidate structural and dynamics effects of certain drugs on the ion channels through simulations. The combined structural and functional efforts will provide us mechanistic understanding action of general anesthetics on these channel proteins that have significant implication to signal transduction in the central nervous system.
Techniques graduate student will learn:
NMR, and X-ray will be used for structural studies. Electrophysiology measurements will be used to characterize channel functions. Ligand docking, molecular dynamics simulations, normal mode analysis will be used in computations.
Return to list


On December 12, 2016, Synopsys, a US company specializing in integrated circuit design and verification software, officially started construction of its industrial park in Wuhan, capital of Hubei Province.
This decision showed the company’s confidence in Chinese market and talents as well as the future of the integrated circuit industry in Wuhan, according to Ge Qun, president of Synopsys China.
As the world’s 15th largest software company, Synopsys has a long history of being a global leader in electronic design automation (EDA) and semiconductor IP and is also growing its leadership in software quality and security solutions. It established a research center in Wuhan in 2012, which is its second largest research center in China with the first in Shanghai.
The new industrial park, with a total investment of 50 million dollars, will be put into service at the end of 2019.


Software creation is a basic term used to describe a number of procedures used to develop software. Program development is additionally known as software program engineering, software program architecture, software program development, application configuration operations, or perhaps software implementation. Software development features the entire variety of disciplines interested in developing and using software applications. These exercises include program design, user interface design, software engineering, computer software documentation, diagnostic tests, security, and maintenance.
Program development consists of many routines. One of these is a software advancement methodology. This kind of methodology targets on building solid software devices by first major requirements and addressing usability. Secondly, coders build a system by applying the required solutions. A core part of this methodology may be the systematic paperwork of software devices, which incorporates both the design and coding of the program software.
In the current information technology environment, software advancement teams have grown to be an integral part of i . t departments. In past times, software production clubs were mainly independent companies with bit of contact between them. Today, yet , many THAT departments hire software production teams to provide them with a variety of tools, such as integrated program, desktop, internet, and unit software, along with desktop, net, and cell application solutions. The designers are also in charge of the creation of organization processes and business rules. This includes determining the appropriate integration of technology throughout an organization.
One of the main differences between web design and software creation is that website creation is concerned with the aesthetic overall look of a website, while software program development much more concerned with features of the website. Web design approaches are more interested in creating an overall appearance and feel of a web page. On the other hand, software development much more concerned with the functionality and top features of the program, such as the ability to search large documents. This is at times combined with the ability to make reusable modules or sub-applications.
Software designers will be primarily concerned with solving a customer’s challenges, whereas web-site designers are mostly concerned with creating an interface towards the software. Both have a lot of flexibility and both involve a good amount of ingenuity. Both strategies also demand a high level of problem-solving skills.
It has been declared that no single thing separates software development right from computer research. Both are instructed to create quality https://businessintergation.com/2020/04/27/digitalization-and-business-integration-for-board-room/ computer system applications. Whilst software production process generally starts with a basic idea with respect to the end item, computer technology builds the software in a higher level of aspect. Software builders usually do the job under a exact deadline, whilst computer experts work on their very own ideas on the much longer period of time.
The alliance between software program development and computer technology isn’t a new concept. However , it is getting more popularity in recent years. There are plenty of computer science degree owners who wish to go after careers in software development. Computer research specialists who have the in this field can obtain associate, bachelor and master’s levels in this area, nevertheless most specialists choose to remain at a bachelor’s level to begin their particular careers.


The brand new product by the smartphone manufacturer, OnePlus Nord, is the Oxygen Plus Black. This phone from Oppo comes with a sleek body and a beautiful screen. If you wish to have a high quality smartphone at an affordable price, then this is the right choice for you. The device has been introduced only recently but already it is becoming one of the hottest products from Oppo. The Oppo Plus comes with a nice combination of features and uses. oneplus nord 2
The Oppo Plus Black is a mid-sized smartphone that has got a long battery life. It offers a remarkable value for money and a sleek and stylish design. The smartphone has come with a 16 Megapixels touch screen that looks stunning. With a 2.5 Megapixels camera, you can take excellent images even if you do not have the best camera skills.
The main camera of the Oppo Nordic 2 comes with an eight mega pixel camera. The secondary camera comes with an 8 mega pixel camera as well. There are many other sensors available with the handset including but not limited to: Ocular Sensor, proximity sensor, capacitive light sensor, magnetometer, gyroscope, thermometer etc. The Nokia E71 sensor is integrated into the rear camera of the Nokia Eoons which can be a nice addition if you use the rear cameras often.
Apart from all these, the smartphone has got a fast charging power bank which can charge up your battery very quickly. This means that you can enjoy more than two hours of talk time on one battery of the Nokia E71 before it gets completely empty. This kind of fast charging is something that most people who own the handset will be happy to know about.
With the Nokia E71 you get a nice compact phone that packs a lot of power in a small body. You get a five mega pixel camera with a f/2.0 lens along with the Nokia E71’s dual flash system for both the camera and the main sensor. The main sensor is used to take the images while the other camera can be used for video recording. The handset is powered by a quad core 1 Ghz processor. Other than this, the handset also features a generous amount of memory that comes with it so that you do not face any problem when trying to upload some great content onto your social networking sites or other websites.
As with any other OxygenOS smartphone, the OnePlus Nordic 2 comes with all the standard features. You have access to the inbuilt browser, the MMS and OTT apps, the control center, the dialer, the email client and the text service. There are also a couple of unique additions like the sport and music apps, a weather widget and a couple of features which we will discuss later on in this article. In the camera department, you get an eight megapixel digital camera with optical zoom, an intuitive interface, a self-timer and a manual mode. Apart from this, there are also a pair of front facing cameras that are just as impressive as the rear cameras. These rear cameras have been praised by reviewers as excellent as they help you capture higher quality shots.


A 8x8x8 RGB LED Cube to build, the homepage of Kevin Derrah inspired me to start the project.
x512 Common Anode 10 mm RGB LEDs, x1 ATMEGA328P with Arduino Bootloader, x1 SMD PCB 2Layer (TMC01v00), x1 FT232RL on Board with USB,
x25 74HC595 8-bit Shift Registers, x200 MMBT3904 NPN Transistors, x8 IRF9Z34SPBF P-Channel MOSFETs, x328 100 Ohm 1206 Resistors,
x400 1k Ohm 1206 Resistors, and an incredible amount of time...
SECTION 1: Schematic & layout
Many thanks to Sven Franz aka (Bastelfix) for solder this pcb (incredible number of parts).
SECTION 3: Construction of the other 8x8 led matrix (1..7)
SECTION 5: Construction of the first 8x8 led matrix with anode wire
SECTION 6: Solder the 8x8x8 led matrix elements on the pcb
SECTION 9: Arduino Code
Many thanks to Kevin Darrah for this nice project!
SECTION 10: End
About feedback or new animations i would be delighted.
And solution proposals for the streaming function to the microcontroller.
I hope you enjoy this project TMC01v00


Introducing The Futurist Reports
In this series of research reports, the AT&T Foundry, Ericsson, and RocketSpace take an inside look into the technologies of tomorrow. We dig deeper into technologies and trends, while highlighting key insights that are reshaping entire industries and our world at-large. Each report takes an industry-wide view from a diverse array of leading experts and features select startups at the forefront of technology. We delve into broader business implications of these technologies and explore indicators such as collaborations, investments, market demands, and technology advancements.
Report #3: The Future of Artificial Intelligence in Consumer Experience
Though artificial intelligence (AI) has been a research focus for over fifty years, only in the last decade has it become popular for enterprise and consumer use. Falling costs for back-end technologies and capital investments from major brands have allowed for AI to prove itself successful in a variety of use cases — and the efficiency and accuracy of the technology continues to garner attention from researchers and business leaders alike.
To better understand developments in the AI space, we interviewed over 50 successful entrepreneurs, executives and academics leading the charge on new technologies and applications. We developed 5 bold projections that showcase how AI will impact the consumer experience in coming years.
Report #2: The Future of Entertainment
The entertainment industry is undergoing a radical transformation. We see vast shifts in the way media is created, distributed, and experienced. The rise of Over-The-Top (OTT) streaming is changing how shows and channels are packaged and distributed. Technology players are collapsing the barriers for content distribution and content creation. Advances in machine learning, artificial intelligence (AI), and the greater influence of our social sphere are impacting how we discover content. The assistant of the future for whom you beckon with your voice is emerging as a key interface for exploring your world and entertaining you. Millennials and Generation Z are not simply Digital Natives but increasingly Mobile Natives, refining the entertainment landscape with them.
This got us thinking. Are we entering into a new era of video consumption? Is entertainment as we know it going through a generational shift? Who are the players of the future and what will shape the future of entertainment?
To find out, we interviewed 100+ leading innovators, executives, and researchers pushing this industry forward. From these perspectives, we developed 10 Bold Projections to showcase how entertainment will fundamentally reshape our lives in the coming decade. Of course, not all of these predictions may become a reality, but AT&T Foundry certainly intends to do its part in fostering innovation in the entertainment ecosystem.
Report #1: The Future of Drones According to AT&T Foundry
The AT&T Foundry began evaluating the far-reaching impact of drones or Unmanned Aerial Vehicles (UAV) in 2015. What was most surprising was how important connectivity is to the entire ecosystem. Without connectivity, the drone industry cannot evolve. This got us thinking. The drone market is exciting, full of promise, and growing fast. In 2015 alone, investors poured close to half a billion dollars of venture capital into drone-related startups. How might the world change when drones fill the sky?
To better understand the drone revolution, we interviewed dozens of successful entrepreneurs, executives at global corporations, academics at top research institutions, and government officials who are all playing a part in leading the drone charge and shaping this future.
We developed 10 Bold Projections, to showcase how drones might fundamentally reshape our lives from how we learn to how we work and connect. Of course, not all of these predictions may become reality and, for the ones that do, AT&T may not ultimately play a role in bringing them to market. But AT&T certainly intends to do its part in fostering innovation in the drone ecosystem.


ClearStream™ 2V Complete Long Range Indoor/Outdoor HDTV Antenna
Did you know?
There are many advantages to an HDTV outdoor antenna over an indoor antenna. An outdoor antenna will have fewer obstructions and less interference (noise) from other electronic devices in your home. A single outdoor antenna can service more than one television at a time. If your home had satellite or cable service, the coaxial cable needed to send the antenna's signal to all your TVs is already installed.
Set Up Is Easy
Locate the broadcast towers serving your area at antennapoint.com. Place indoors on a window or wall for the best results. Connect one end of a coaxial cable to the antenna and the other end to your TV. Scan for the available channels using your TV remote control. Try several locations to find the best reception and remember to scan for channels at each location. Enjoy all your favorite local and network shows in Full HD 1080 where available.
Reduce Your Monthly TV Bill To $0
You can now experience HDTV in the highest quality picture and sound available. Over-the-air broadcasts are transmitted in crystal clear Full HD 1080; far less compressed than what cable and satellite offer. Many local broadcasts are digitally aired in 5.1 Surround Sound giving you the ultimate sound stage for watching live television. With a digital TV antenna you can receive free local news, weather, kids shows, sports, cooking, shopping, and sitcoms from networks like ABC, NBC, CBS, FOX, PBS, CW, ION, and much more, with no cost or contracts. Broadcast TV won't be interrupted from service drop outs. Quick fact: local sports are broadcast free over-the-air. You just need an antenna.
A Leader in Cutting-Edge Technology
Why do our antennas outperform the competition? The proof is in the patented loop design. The ClearStream series is engineered to respond to a greater range of frequencies along with a wide beam angle eliminating the need for rotation. In addition to the loop technology, the reflector focuses the antennas power for added range and also provides protection against multipath interference.
The ClearStream HDTV antenna series come with a lifetime warranty on parts to assure you of their superior build quality and durability.
|BEAM ANGLE:||470 to 700MHz: 70 Degrees (Horizontal Plane) Reception Pattern|
|ASSEMBLED DIMENSIONS:||18"L x 35.5"W x 5"D|
|ANTENNA COLOR:||DARK GRAY|
|WARRANTY:||Lifetime Warranty on parts|


Providing installation, setup, and assistance with smart technology
Welcome to Kicksmart Lifestyles
We are based in Salt Lake City, Utah where we come up with creative and innovative ways to update homes with the smart technology that once seemed futuristic, but is now more possible than ever imaginable.
We are committed to bringing the innovative smart technology to homes of every shape and size. Regardless of how old or new your home is, we are excited to help you in creating an easier lifestyle through the conveniences of smart technology in addition to easy-to-understand instruction for the future of your home.


The Applied Research Institute for Prospective Technologies (ProTech) specialises in providing research and technological development services to industry agents. Their main areas of competence that are relevant to the SmartFlex project are photovoltaic technologies, in particular solar cells and modules manufacturing technologies, material science, electronics, microelectronics, measurements and testing.
Manufacturer of photovoltaic modules Via Solis boasts cutting-edge PV manufacturing facilities with a flexible production line for innovative glass/glass type c-Si modules with an annual capacity of 60 megawatt (MW), mainly targeted to BIPV and modern architectural applications.
Mondragon Assembly designs and manufactures tailor-made systems and equipment in the area of process automation for the automotive, photovoltaic, medical and cosmetic sectors, including a wide range of technologies to be implemented.
The mission of Glassbel is to develop and propose glass solutions that will provide a long-term return on investment due to the high performance properties of the product as well as create expressive architectural style on a building.
Creative Amadeo is the owner and developer of CygniCon technology, the basis of all products related to CAD, home design and specialised software versions. The product range targets professional planners and architects in the building industry as well as end users designing their own homes.
Specialising in renewable energy and energy efficiency, Sunbeam offers technically-oriented communication services tailored to the dynamic renewable energy market in Europe. Sunbeam also boasts in-depth market knowledge and excellent contacts with industry associations and the media.
The Swiss BIPV Competence Centre tests and characterises photovoltaic modules, focussing on the development and adaption of test methods for BIPV and flexible modules.
The Photovoltaik-Institut Berlin (PIB) tests the reliability, safety, performance and yield of PV modules for certification by IEC and UL and beyond. PI Berlin provides consultancy, field testing and technical assessment for the BIPV installation including yield analysis and execution planning.


GPT-3, which stands for Generative Pre-trained Transformer of the third generation, is a neural network machine learning model capable of creating any type of text.
This model was trained to utilize data from the internet. It is a product of OpenAI and takes only a tiny quantity of text as an input in order to generate vast quantities of complex and relevant machine-generated material.
The deep learning neural network that is used by GPT-3 is a model that contains more than 175 billion different machine learning parameters. In order to put things into perspective, the Turing NLG model developed by Microsoft was the largest trained language model that existed prior to GPT-3.
This model included 10 billion parameters.
As of the beginning of the year 2021, the GPT-3 neural network is the largest one that has ever been created. As a consequence of this, GPT-3 is superior to any earlier model in terms of its ability to generate text that is compelling enough to give the impression that it could have been authored by a person.
Let’s dig into the commonly asked questions about GPT-3.
– Is GPT-3 open to everyone?
Is GPT-3 freely accessible to download and use? The answer to this inquiry is affirmative, and it is now available to everyone. Just recently, OpenAI issued a statement on the growth of its cloud-based OpenAI API service.
This service enables users to create applications that are based on the formidable GPT-3 artificial intelligence model developed by OpenAI’s research group.
– Is GPT-3 still available?
Although GPT-3 will continue to be accessible, OpenAI does not advise making use of it. According to Jan Leike, who helps head the alignment team at OpenAI, “it’s the first time these alignment techniques are being applied to a real product.” One of the strategies that were utilized in earlier attempts to address the issue was to remove offensive words from the training set.
– What is GPT-3 being used for?
GPT-3 is trained to generate authentic human text by exploiting internet-sourced content. The GPT-3 program has been used to generate articles, poems, stories, news items, and dialogue from a small amount of input text. This application has the capacity to generate a large quantity of high-quality content.
– Is GPT-3 the most powerful AI?
It is currently the most effective and cutting-edge text autocomplete tool available. It intelligently recognizes patterns and potential hidden within massive data sets. By utilizing that, it is able to achieve incredibly extraordinary things that were previously impossible for an AI tool to accomplish. The dataset that the GPT-3 was trained on reportedly had a colossal size, as stated by The Verge.
– Will GPT-3 replace programmers?
The GPT-3 Is Definitely Going to Replace Programmers with Low Skills. In every sector of the economy, machine learning and artificial intelligence applications will eventually displace low-skilled labourers. These individuals are referred to as professionals since they are the ones that carry out the monotonous, repetitive operations that are intended to be handled by technology.
– How expensive is GPT-3?
When taken into consideration as a whole, these aspects indicate that the training of GPT-3 might have easily cost between 10 and 20 million dollars (exact numbers are not available). Previous large language models such as GPT-2, T5, Megatron-LM, and Turing-NLG were similarly difficult to train and came with a hefty price tag. However, GPT-3 is the largest of these models to date.
– Why is GPT-3 not public?
However, there are a few catches: the wide release comes with stipulations that prohibit GPT-3 from being used in a way that could do harm to people, and constraints that restrict its application to a certain number of countries throughout the world. Because of this, software engineers in certain countries, such as Cuba, Iran, and Russia, do not currently have access to it.
– What language is GPT-3?
I’d like to introduce myself; my name is GPT-3, and I am an artificial intelligence developed by Open AI. I will demonstrate why the programming language F# is so superior to others. F# is a mature programming language that is open source, cross-platform, and focuses on functionality first.
– Why is GPT-3 a big deal?
An artificial neural network with 175 billion different model parameters is what allows GPT-3 to generate this writing that appears to have been written by a human. Because of its enormous capacity, GPT-3 is able to become very skilled at recognizing, comprehending, and generating information that is remarkably human.
– Is GPT-3 better than BERT?
When compared to BERT, the GPT-3 model is enormous due to the fact that it is trained on billions of parameters, making it 470 times larger than the BERT model. In order to train the algorithm to do particular downstream tasks, BERT requires a process of fine-tuning that is quite detailed and involves a huge dataset.
– How long did it take to train GPT-3?
How could smaller businesses ever compete with something like that? On the other hand, the most recent version of M6 spent ten days being trained on 512 GPUs simultaneously. (The GPT-3 model was trained on a V100, but researchers calculated that in order to train the model using A100s, 1,024 GPUs would have been required, which would have taken 34 days.)
– Who owns GPT-3?
OpenAI is an Artificial Intelligence (AI) research centre that consists of two companies: the for-profit corporation OpenAI LP and its non-profit parent organization, OpenAI Inc.
– How good is GPT-3?
The one domain in which GPT-3 does exceptionally well is text generation, namely sentence completion (which is exactly what it was trained to do). GPT-3 is capable of producing humorous content, solving simple programming tasks, mimicking famous authors, generating dialogue, and even writing advertisement text. all of the responsibilities that earlier models were unable to handle effectively.
– How much RAM do I need for GPT-3?
Because each parameter requires 4 bytes of memory, the total memory requirement for 175 billion parameters is 700GB, which is over 10 times as much as the maximum memory that a single GPU can hold.
– How many GPUs do I need to run GPT-3?
For instance, OpenAI’s GPT-3 comes with 175 billion parameters, which, according to the researchers, would need around 36 years with eight V100 GPUs or seven months with 512 V100 GPUs assuming perfect data-parallel scaling.
– When was GPT-3 trained?
The final version of GPT-3 has the ability to store 175 billion different machine learning parameters. The use of pre-trained language representations is becoming increasingly common in natural language processing (NLP) systems, and GPT-3, which was first released in May 2020 and entered beta testing in July 2020, is an example of this trend.
– Is GPT-3 an API?
The Application Programming Interface (API) of OpenAI grants access to both GPT-3, which is capable of performing a wide range of natural language tasks, and Codex, which converts natural language into code. The application programming interface (API) has been built so that users can test it out on nearly any project that involves the English language.
– How do I download OpenAI GPT-3?
The following is a list of the actions that must be completed before beginning to use GPT-3.
- Get API token from OpenAI.
- Do a clone of the repository.
- Install openai.
- Import modules, and configure API token.
- Add examples.
- Submit input.
OpenAI and a number of other organizations are now working on models that are even more capable and extensive. As a counterbalance to the exclusive ownership held by Microsoft, a number of open sources initiatives are currently underway with the goal of delivering a model that is both free and not licensed. OpenAI is planning on developing models that are larger and more domain-specific in the future. These models will be trained on a wider variety of text types. Others are examining the GPT-3 model’s applicability to a variety of use cases and scenarios.
Nevertheless, individuals who wish to include the features in their apps face problems as a result of the exclusive license held by Microsoft.


Welcome to the penguinTrace project, a tool to allow you to write code and see how the instructions that make it up get executed. The hope is that it can help people to understand how programs execute, or improve understanding of assembly.
This post gives a few details about the background, intentions and status of the project.
When writing C programs it’s possible to get the compiler to output the generated assembly, or disassemble a binary to see the instructions. However, seeing the instructions in a static form doesn’t show the flow through the program. Using a debugger you can step through the program but debuggers provide a lot of functionality and so it can be complicated to just show the instructions being executed.
The intention of penguinTrace is to provide a simple interface to compile and step through a program. It is also intended to support different architectures, for example running on a Raspberry Pi (AArch64), as well as x86_64. For this reason, penguinTrace runs as a web server that can be connected to from a browser. This is more lightweight than running a graphical editor/debugger and means that it can be run without needing a monitor.
Some technical information about how penguinTrace is put together is available on the More Details page.
This project is a personal project, developed with the hope that it will be useful to someone to explore how programs are executed. It was also used as a way to learn more about how executables, binaries and debuggers work.
Most of the functionality is implemented, although there are some elements of
the DWARF specification that are not fully implemented. This may mean that some
programs will give an error if the debug information for that program contains
an unsupported feature. Also, stepping through C++ programs should work, but
not all C++ types can be represented properly in the web interface.
std::map should all be
displayed in a more readable format.
If you find something not working, or want to give any feedback, create an issue on GitHub.