- Table View
- List View
Funambol Mobile Open Source
by Stefano FornariThe book is composed of two parts. The first part will take you through the steps required to fully understand and deploy Funambol to provide PIM synchronization and push email solution to your mobile users. This is done step-by-step, starting from a simple personal usage scenario to a more complex environment that must serve thousands of users. All components of the platform are smoothly introduced and explained, starting from the functionality they provide. The second part of the book is more informative and will assist you in building Funambol extensions. In particular, it contains an easy-to-follow tutorial that will allow you to write a Funambol connector in a few easy steps. If you are looking forward to install and get started with Funambol, this book is for you. You need to have a technical background and be confident with a bit of code tweaking, but not a developer. General server administration skills are assumed and familiarity with Java will be a benefit in places.
Functional Analysis and Applications (Industrial and Applied Mathematics #377)
by Abul Hasan SiddiqiThis self-contained textbook discusses all major topics in functional analysis. Combining classical materials with new methods, it supplies numerous relevant solved examples and problems and discusses the applications of functional analysis in diverse fields. The book is unique in its scope, and a variety of applications of functional analysis and operator-theoretic methods are devoted to each area of application. Each chapter includes a set of problems, some of which are routine and elementary, and some of which are more advanced. The book is primarily intended as a textbook for graduate and advanced undergraduate students in applied mathematics and engineering. It offers several attractive features making it ideally suited for courses on functional analysis intended to provide a basic introduction to the subject and the impact of functional analysis on applied and computational mathematics, nonlinear functional analysis and optimization. It introduces emerging topics like wavelets, Gabor system, inverse problems and application to signal and image processing.
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12560)
by Michael Hanus Claudio Sacerdoti CoenThis book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.
Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11285)
by Josep SilvaThis book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings (Lecture Notes in Computer Science #14659)
by Jeremy Gibbons Dale MillerThis book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings (Lecture Notes in Computer Science #13215)
by Michael Hanus Atsushi IgarashiThis book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Functional and Logic Programming
by Oleg Kiselyov Andy KingThis bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness.
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science #12073)
by Keisuke Nakano Konstantinos SagonasThis book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.
Functional and Logic Programming: 14th International Symposium, Flops 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Lecture Notes in Computer Science #10818)
by Martin Sulzmann John P. GallagherThis book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.
Functional and Reactive Domain Modeling
by Debasish GhoshSummaryFunctional and Reactive Domain Modeling teaches you how to think of the domain model in terms of pure functions and how to compose them to build larger abstractions.Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyTraditional distributed applications won't cut it in the reactive world of microservices, fast data, and sensor networks. To capture their dynamic relationships and dependencies, these systems require a different approach to domain modeling. A domain model composed of pure functions is a more natural way of representing a process in a reactive system, and it maps directly onto technologies and patterns like Akka, CQRS, and event sourcing.About the BookFunctional and Reactive Domain Modeling teaches you consistent, repeatable techniques for building domain models in reactive systems. This book reviews the relevant concepts of FP and reactive architectures and then methodically introduces this new approach to domain modeling. As you read, you'll learn where and how to apply it, even if your systems aren't purely reactive or functional. An expert blend of theory and practice, this book presents strong examples you'll return to again and again as you apply these principles to your own projects.What's InsideReal-world libraries and frameworksEstablish meaningful reliability guaranteesIsolate domain logic from side effectsIntroduction to reactive design patternsAbout the ReaderReaders should be comfortable with functional programming and traditional domain modeling. Examples use the Scala language.About the AuthorSoftware architect Debasish Ghosh was an early adopter of reactive design using Scala and Akka. He's the author of DSLs in Action, published by Manning in 2010.Table of ContentsFunctional domain modeling: an introductionScala for functional domain modelsDesigning functional domain modelsFunctional patterns for domain modelsModularization of domain modelsBeing reactiveModeling with reactive streamsReactive persistence and event sourcingTesting your domain modelSummary - core thoughts and principles
A Functional Approach to Java: Augmenting Object-Oriented Java Code with Functional Principles
by Ben WeidigJava developers usually tackle the complexity of software development through object-oriented programming (OOP). But not every problem is a good match for OOP. The functional programming (FP) paradigm offers you another approach to solving problems, and Java provides easy-to-grasp FP tools such as lambda expressions and Streams. If you're interested in applying FP concepts to your Java code, this book is for you.Author Ben Weidig highlights different aspects of functional programming and shows you how to incorporate them into your code without going "fully functional." You'll learn how, when, and why to use FP concepts such as immutability and pure functions to write more concise, reasonable, and future-proof code. Many developers seek to expand their horizons by using OOP and FP together. It's no longer either-or; it's both.In this book, you will:Get a high-level overview of functional programming, including the types already available to Java developersExplore different FP concepts and learn how to use themLearn how to augment your code and use Java's new functional features in your daily work without going fully functionalDevelop a functional mindset and improve your programming skills regardless of language or paradigm
The Functional Approach to Programming
by Guy Cousineau Michel MaunyA programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.
Functional Brain-Heart Interplay: From Physiology to Advanced Methodology of Signal Processing and Modeling
by Vincenzo Catrambone Gaetano ValenzaThis monograph offers a cross-system exchange and cross-modality investigation into brain-heart interplay. Brain-Heart Interplay (BHI) is a highly interdisciplinary scientific topic, which spreads from the physiology of the Central/Autonomous Nervous Systems, especially Central Autonomic Network, to advanced signal processing and modeling for its activity quantification. Motivated by clinical evidence and supported by recent findings in neurophysiology, this monograph first explores the definition of basic Brain-Heart Interplay quantifiers, and then moves onto advanced methods for the assessment of health and disease states. Non-invasive use of brain monitoring techniques, including electroencephalogram and function Magnetic Resonance Imaging, will be described together with heartbeat dynamics monitoring through pulseoximeter and ECG signals. The audience of this book comprises especially of biomedical engineers and medical doctors with expertise in statistics and/or signal processing. Researchers in the fields of cardiology, neurology, psychiatry, and neuroscience in general may be interested as well.
Functional Brain Mapping: Methods and Aims (Brain Informatics and Health)
by Vassiliy Tsytsarev Vicky Yamamoto Ning ZhongThis book provides an essential overview of the broad range of functional brain imaging techniques, as well as neuroscientific methods suitable for various scientific tasks in fundamental and clinical neuroscience. It also shares information on novel methods in computational neuroscience, mathematical algorithms, image processing, and applications to neuroscience.The mammalian brain is a huge and complex network that consists of billions of neural and glial cells. Decoding how information is represented and processed by this neural network requires the ability to monitor the dynamics of large numbers of neurons at high temporal and spatial resolution over a large part of the brain. Functional brain optical imaging has seen more than thirty years of intensive development. Current light-using methods provide good sensitivity to functional changes through intrinsic contrast and are rapidly exploiting the growing availability of exogenous fluorescence probes. In addition, various types of functional brain optical imaging are now being used to reveal the brain’s microanatomy and physiology.
Functional C#
by Wisnu AnggoroUncover the secrets of functional programming using C# and change the way you approach your applications forever About This Book • This book focuses on the functional paradigm of C#, which will give you a whole new angle on coding with C# • It illustrates the advantages that functional programming brings to the table and the associated coding benefits • This practical guide covers all the aspects of functional programming and provides solutions that can be applied in business scenarios Who This Book Is For This book is suitable for C# developers with basic prior knowledge of C# and with no functional programming experience at all. What You Will Learn • Develop an application using the functional approach • Implement unit testing to functionally program code • Create efficient code using functional programming • Work through a LINQ query so you can work with data • Compose asynchronous programs to create a responsive application • Use recursion in function programming in order to simplify code • Optimize the program code using Laziness and Caching Techniques In Detail Functional programming makes your application faster, improves performance, and increases your productivity. C# code is written at a higher level of abstraction, so that code will be closer to business requirements, abstracting away many low-level implementation details. This book bridges the language gap for C# developers by showing you how to create and consume functional constructs in C#. We also bridge the domain gap by showing how functional constructs can be applied in business scenarios. We'll take you through lambda expressions and extension methods, and help you develop a deep understanding of the concepts and practices of LINQ and recursion in C#. By the end of the book, you will be able to write code using the best approach and will be able to perform unit testing in functional programming, changing how you write your applications and revolutionizing your projects. Style and approach This book takes a pragmatic approach and shows you techniques to write better functional constructs in C#. We'll also show you how these concepts can be applied in business scenarios.
Functional Coherence of Molecular Networks in Bioinformatics
by Ananth Grama Mehmet Koyutürk Shankar SubramaniamMolecular networks provide descriptions of the organization of various biological processes, including cellular signaling, metabolism, and genetic regulation. Knowledge on molecular networks is commonly used for systems level analysis of biological function; research and method development in this area has grown tremendously in the past few years. This book will provide a detailed review of existing knowledge on the functional characterization of biological networks. In 15 chapters authored by an international group of prolific systems biology and bioinformatics researchers, it will organize, conceptualize, and summarize the existing core of research results and computational methods on understanding biological function from a network perspective.
Functional Data Analysis in Biomechanics: A Concise Review of Core Techniques, Applications and Emerging Areas (SpringerBriefs in Statistics)
by Edward Gunning John Warmenhoven Andrew J. Harrison Norma BargaryThis book provides a concise discussion of fundamental functional data analysis (FDA) techniques for analysing biomechanical data, along with an up-to-date review of their applications. The core of the book covers smoothing, registration, visualisation, functional principal components analysis and functional regression, framed in the context of the challenges posed by biomechanical data and accompanied by an extensive case study and reproducible examples using R. This book proposes future directions based on recently published methodological advancements in FDA and emerging sources of data in biomechanics. This is a vibrant research area, at the intersection of applied statistics, or more generally, data science, and biomechanics and human movement research. This book serves as both a contextual literature review of FDA applications in biomechanics and as an introduction to FDA techniques for applied researchers. In particular, it provides a valuable resource for biomechanics researchers seeking to broaden or deepen their FDA knowledge.
Functional Design and Architecture: Examples in Haskell
by Alexander GraninDesign patterns and architectures for building production quality applications using functional programming.Functional Design and Architecture is a pioneering guide to software engineering using Haskell and other functional languages. In it, you&’ll discover Functional Declarative Design and other design principles perfect for working in Haskell, PureScript, F#, and Scala. In Functional Design and Architecture you will learn: • Designing production applications in statically typed functional languages such as Haskell • Controlling code complexity with functional interfaces • Architectures, subsystems, and services for functional languages • Developing concurrent frameworks and multithreaded applications • Domain-driven design using free monads and other functional tools • Property-based, integrational, functional, unit, and automatic whitebox testing Functional Design and Architecture lays out a comprehensive and complete approach to software design that utilizes the powerful and fascinating ideas of functional programming. Its examples are in Haskell, but its universal principles can be put into practice with any functional programming language. Inside, you&’ll find cutting-edge functional design principles and practices for every stage of application development, from architecting your application through to running simple and maintainable tests. About the technology Functional programming affects every aspect of software development, from how you write individual lines of code to the way you organize your applications and data. In fact, many standard OO patterns are unsuitable or unnecessary for FP applications. This book will reorient your thinking to align software design with a functional programming style. The examples are in Haskell, but the ideas are universal. About the book Functional Design and Architecture teaches you how to design software following the unique principles of functional programming. You&’ll explore FP-first paradigms like Functional Declarative Design by building interesting applications, including a fun spaceship control simulator and a full-fledged backend framework. This is an opinionated book and you may disagree on some points. But we guarantee it will make you think in a fresh way about how you design software. What's inside • Control code complexity with functional interfaces • Architectures, subsystems, and services for functional languages • Domain-driven design using free monads • Property-based and automatic whitebox testing • Recalibrate OO designs for functional environments About the reader For experienced developers who know a functional language. About the author Alexander Granin is a senior software engineer and architect with more than 15 years of experience. He is an international speaker, researcher, and book author. The technical editor on this book was Arnaud Bailly. Table of Contents Part 1 1 What is software design? 2 The basics of functional declarative design Part 2 3 Drafting the MVP application 4 End-to-end design Part 3 5 Embedded domain-specific languages 6 Domain modeling with free monads Part 4 7 Stateful applications 8 Reactive applications Part 5 9 Concurrent application framework 10 Foundational subsystems 11 Persistence: Key–value databases 12 Persistence: Relational databases 13 Error handling and dependency inversion 14 Business logic design 15 Testing A Plenty of monads B Stacking monads with monad transformers C Word statistics example with monad transformers D Automatic white-box testing
Functional Encryption (EAI/Springer Innovations in Communication and Computing)
by Khairol Amali Bin Ahmad Khaleel Ahmad Uma N. DulhareThis book provides awareness of methods used for functional encryption in the academic and professional communities. The book covers functional encryption algorithms and its modern applications in developing secure systems via entity authentication, message authentication, software security, cyber security, hardware security, Internet of Thing (IoT), cloud security, smart card technology, CAPTCHA, digital signature, and digital watermarking. This book is organized into fifteen chapters; topics include foundations of functional encryption, impact of group theory in cryptosystems, elliptic curve cryptography, XTR algorithm, pairing based cryptography, NTRU algorithms, ring units, cocks IBE schemes, Boneh-Franklin IBE, Sakai-Kasahara IBE, hierarchical identity based encryption, attribute based Encryption, extensions of IBE and related primitives, and digital signatures.Explains the latest functional encryption algorithms in a simple way with examples;Includes applications of functional encryption in information security, application security, and network security;Relevant to academics, research scholars, software developers, etc.
Functional Imaging and Modeling of the Heart
by Hans Van Assen Peter Bovendeerd Tammo DelhaasThis book constitutes the refereed proceedings of the 8th International Conference on Functional Imaging and Modeling of the Heart, held in Maastricht, The Netherlands, in June 2015. The 54 revised full papers were carefully reviewed and selected from 72 submissions. The focus of the papers is on following topics: function; imaging; models of mechanics; and models of electrophysiology.
Functional Imaging and Modeling of the Heart: 12th International Conference, FIMH 2023, Lyon, France, June 19–22, 2023, Proceedings (Lecture Notes in Computer Science #13958)
by Olivier Bernard Patrick Clarysse Nicolas Duchateau Jacques Ohayon Magalie ViallonThis book constitutes the refereed proceedings of the 12th International Conference on Functional Imaging and Modeling of the Heart, held in Lyon, France, in June 2023.The 72 full papers were carefully reviewed and selected from 80 submissions. The focus of the papers is on following topics: increased imaging resolutions, data explosion, sophistication of computational models and advent of AI frameworks, while new imaging modalities have emerged (e.g. combined PET-MRI, Spectral CT).
Functional Imaging and Modeling of the Heart: 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings (Lecture Notes in Computer Science #11504)
by Yves Coudière Valéry Ozenne Edward Vigmond Nejib ZemzemiThis book constitutes the refereed proceedings of the 10th International Conference on Functional Imaging and Modeling of the Heart, held in Bordeaux, France, in June 2019.The 46 revised full papers were carefully reviewed and selected from 50 submissions. The focus of the papers is on following topics: Electrophysiology: mapping and biophysical modelling; Novel imaging tools and analysis methods for myocardial tissue characterization and remodeling; Biomechanics: modeling and tissue property measurements; Advanced cardiac image analysis tools for diagnostic and interventions.
Functional Imaging and Modeling of the Heart: 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings (Lecture Notes in Computer Science #12738)
by Daniel B. Ennis Luigi E. Perotti Vicky Y. WangThis book constitutes the refereed proceedings of the 11th International Conference on Functional Imaging and Modeling of the Heart, which took place online during June 21-24, 2021, organized by the University of Stanford. The 65 revised full papers were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: advanced cardiac and cardiovascular image processing; cardiac microstructure: measures and models; novel approaches to measuring heart deformation; cardiac mechanics: measures and models; translational cardiac mechanics; modeling electrophysiology, ECG, and arrhythmia; cardiovascular flow: measures and models; and atrial microstructure, modeling, and thrombosis prediction.
Functional Interfaces in Java: Fundamentals and Examples
by Ralph LecessiReduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reuse of functional methods utilized throughout the Java API. You’ll see how complex logical expressions can be reduced to chains of predicates and how chains of comparators can be used to sort data by several criteria in order. Other examples include streams that utilize functional interfaces to filter, sort, transform, and perform calculations on data; CompletableFutures that use functional interfaces to create cascading and parallel execution threads; and JavaFX programs that use functional interfaces to monitor the data backed by their graphical components.Each chapter contains a complete programming project: the Discount Dave project shows you how to qualify car customers by organizing questions as a list of predicates; the Real Estate Broker project shows you how to use chains of comparators to filter and sort homes according to customer priorities; the Dave's Part Inventory project shows you how to query and write reports from an inventory database using stream operations; and the Sentence Builder project shows you how to correct a sentence by implementing each grammar rule as a separate link in a future chain.Functional Interfaces in Java will help you quickly develop powerful and reliable programs that utilize functional interfaces to implement logic and calculations.What You Will LearnUse the functional interfaces in the java.util.function package to perform conditional logic, transform and generate data, and perform calculationsFilter and sort data by several criteria using comparators Process collections and filter, sort, transform, and reduce stream elements with functional interfaces Write cascading and parallel execution threadsWho This Book Is ForComputer science student or a professional Java programmer. This work is a rigorous discussion of the application of functional interfaces, so prerequisites for this text include basic Java programming and object-oriented Java programming.
Functional JavaScript: Introducing Functional Programming with Underscore.js
by Michael FogusHow can you overcome JavaScript language oddities and unsafe features? With this book, you’ll learn how to create code that’s beautiful, safe, and simple to understand and test by using JavaScript’s functional programming support. Author Michael Fogus shows you how to apply functional-style concepts with Underscore.js, a JavaScript library that facilitates functional programming techniques. Sample code is available on GitHub at https://github.com/funjs/book-source. Fogus helps you think in a functional way to help you minimize complexity in the programs you build. If you’re a JavaScript programmer hoping to learn functional programming techniques, or a functional programmer looking to learn JavaScript, this book is the ideal introduction. Use applicative programming techniques with first-class functions Understand how and why you might leverage variable scoping and closures Delve into higher-order functions—and learn how they take other functions as arguments for maximum advantage Explore ways to compose new functions from existing functions Get around JavaScript’s limitations for using recursive functions Reduce, hide, or eliminate the footprint of state change in your programs Practice flow-based programming with chains and functional pipelines Discover how to code without using classes