الصفحة 2
الصفحة 2
Hydra = هايدرا
Forgery involves the use of advanced algorithms to replicate and distribute deceptive products across various categories, casting shadows of doubt on the authenticity of goods. Although counterfeit detection can be useful in identifying and mitigating fraudulent activities, the widespread presence of counterfeit goods poses significant dangers, undermining consumer confidence and brand reputation. To underscore the severity of this issue, consider instances such as fake luxury items flooding the market, counterfeit electronics compromising safety, or bogus pharmaceuticals endangering health. Addressing this issue is critical in maintaining the integrity of brands, safeguarding consumer well-being, and preserving trust in the marketplace. The ability to distinguish between authentic and counterfeit products is paramount in ensuring accurate decision-making and preventing the harmful consequences of fraudulent goods. This technological context underscores the urgency of developing and deploying cutting-edge solutions to combat the evolving landscape of product forgery. Hydra emerges as a robust solution, utilizing a comprehensive approach that includes extracting posts and images from search engine tools, and is integrated with AI models to detect forgery. The Hydra platform not only provides users with a powerful tool for detecting counterfeit products but also offers tangible benefits such as enhanced brand security, increased awareness about the prevalence of forgeries, and the opportunity to actively participate in a real-time community.
Hybrid Systems: Computation and Control ; 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.
Hybrid Systems : Computation and Control ; Vol.3927 ; 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.
High-Dynamic-Range (HDR) Vision : Microelectronics, Image Processing, Computer Graphics
This first comprehensive account of high-dynamic-range (HDR) vision focusses on HDR real-time, high-speed digital video recording and also systematically presents HDR video transmission and display. The power of the eye-like, logarithmic optoelectronic conversion concept is demonstrated in machine-vision, medical, automotive, surveillance and cinematic applications, and it is extended to HDR sub-retinal implants for the vision impaired. While the book conveys the overall picture of HDR vision, specific knowledge of microelectronics and image processing is not required. It provides a quantitative summary of the major issues to allow the assessment of the state of the art and a glimpse at future developments. Selected experts share their know-how and expectations in this rapidly evolving art related to the single most powerful of our senses.
High performance computing - HiPC 2007 ; 14th International Conference, Goa, India, December 18-21, 2007, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, held in Goa, India, in December 2007. The 53 revised full papers presented together with the abstracts of five keynote talks were carefully reviewed and selected from 253 submissions.
Handbook on Scheduling : From Theory to Applications
This handbook covers not only in a unified approach the most important scheduling models and methods, it also put special emphasis to their relevance to practical situations. Many applications from industry and service operations management and case studies are described. Because the book offers some preliminaries concerning basic notions from discrete mathematics, it can also be used by beginners. As a consequence, the handbook is an indispensable source for a broad audience, ranging from researchers to practitioners, graduate and advanced undergraduate students in computer science/engineering, operations research, industrial and real-time engineering, management science, business administration, information systems, and applied mathematics curricula.
Handbook of big data analytics ; Vol.2 : Applications in ICT, security and business analytics
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time.
Handbook of big data analytics ; Vol.1 : Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time. This volume presents several methodologies to support Big Data analytics including database management, processing frameworks and architectures, data lakes, query optimization strategies, towards real-time data processing, data stream analytics, Fog and Edge computing, and Artificial Intelligence and Big Data.
Geotechnics of Roads : Fundamentals
Presents stresses and strains in road structures, water and heat migration within and between layers of road materials, and the effects of water on the strength and stiffness of those materials. It includes a deep analysis of soil compaction, one of the most important issues in road construction. Compaction accounts for only a small proportion of a construction budget but its effects on the long-term performance of a road are decisive. In addition, the book describes methodologies for nondestructive road evaluation including analysis of continuous compaction control, a powerful technique for real-time quality control of road structures.
GeoSensor Networks : 2nd International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, USA, in October 2006. The conference addressed issues related to the collection, management, processing, analysis, and delivery of real-time geospatial data using distributed geosensor networks. This represents an evolution of the traditional static and centralized geocomputational paradigm.
Genetic Programming ; 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the University of Naples Congress Centre with spectacular views over the Gulf of Naples. This volume contains the papers for the 21 oral presentations and 10 posters that were presented during this time. A diverse array of topics were covered refecting the current state of research in the ?eld of Genetic Programming, including the latest work on representations, theory, operators and analysis, evolvable hardware, agents and numerous applications. A rigorous, double-blind peer review process was employed, with each s- mission reviewed by at least three members of the international Program C- mittee.
Genetic Programming ; 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held in Valencia, Spain in April 2007 colocated with EvoCOP 2007.
Generator remote controlling using internet connection
The traditional technique of monitoring the electricity generated through regular checks on the alternator variables: oil, temperature, voltage and current on a daily basis. Therefore, maintaining a normal performance cycle requires hard work and is often imprecise. The idea is to create an application that monitors wireless generators using the popular smartphone Android operating system. Implemented sensors deliver analog signals that provide real-time data on the status of the generator. This data is converted and programmed through the Node MCU microcontroller, which reads the results from the sensors and then converts into a signal, which is transmitted to the android phone, through a router. Thus live feedback of the generator status is ensured. In addition, this project provides a control button that can actually turn this generator on and off. This project is the first step towards bringing systems and control together as it revolutionizes the ideology of monitoring and displaying real-time data that can be implemented in different fields according to different needs. These fields include electricity, mechanics, and communications.
From model-driven design to resource management for distributed embedded systems ; IFIP TC 10 Working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Modeling and Analysis of Timed Systems ; Vol. 3829 ; 3rd International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
Formal Modeling and Analysis of Timed Systems ; 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems.
Formal Methods for Industrial Critical Systems ; 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for reconciling tree-like data structures, using model-based test case generation, and the use of software model checking in design and development process.
