Transfer Learning for Human & AI

The work provides an exhaustive comparison of some representative families of topology optimization methods for 3D structural optimization, such as the SolidIsotropic Material with Penalization (SIMP), the Level-set, the BidirectionalEvolutionary Structural Optimization (BESO), and the Variational TopologyOptimization (VARTOP) methods . The main differences and similarities of these approaches are highlighted from an algorithmic standpoint .…

Task offloading in Internet of Vehicles involves numerous steps andoptimization variables such as: where to offload tasks, how to allocate resources and how to adjust offloading ratio and transmit power for offloading . In this paper, we provide a Mixed Integer NonlinearProgramming Problem (MINLP) formulation for such task offloading under energyand deadline constraints in IoV.…

The association between productivity and impact of scientific production is controversial and poorlyunderstood . We present a large-scale analysis of the association between publication numbers and average journal-impact metrics for the Brazilianscientific elite . We find this association to be discipline-specific, career-age dependent, and similar among researchers with outlier andnon-outlier performance .…

Task offloading in Internet of Vehicles involves numerous steps andoptimization variables such as: where to offload tasks, how to allocate resources and how to adjust offloading ratio and transmit power for offloading . In this paper, we provide a Mixed Integer NonlinearProgramming Problem (MINLP) formulation for such task offloading under energyand deadline constraints in IoV.…

Many of the devices used in Internet-of-Things (IoT) applications are energy-limited . supplying energy while maintaining seamless connectivity for IoT devices is of considerable importance . We propose a simultaneous wireless power transfer and information transmissionscheme . We jointly optimize the trajectory ofthe UAV, the energy harvesting scheduling of IoT devices, and the phaseshiftmatrix of the RIS .…

The work provides an exhaustive comparison of some representative families of topology optimization methods for 3D structural optimization, such as the SolidIsotropic Material with Penalization (SIMP), the Level-set, the BidirectionalEvolutionary Structural Optimization (BESO), and the Variational TopologyOptimization (VARTOP) methods . The main differences and similarities of these approaches are highlighted from an algorithmic standpoint .…

Molecular design is particularly important owing to its broad applicationdomains and boundless creativity attributed to progresses in generative models . New online evaluation and structural filtering algorithmssignificantly improved the generation speed by 30 to 1,000 times with a widerstructural variety, satisfying chemical stability and synthetic reality .…

The problem involves packing all circular items into multiple identical circle bins as compact as possible . The packing density of ASA-GS on the top few dense bins is much higher than that of the state-of-the-art algorithm for the single circle packing problem .…

Reinforcement Learning(RL) has witnessed an intrinsic breakthrough in solving a variety of complex problems for diverse applications and services . The rapid increase in the percentage of chronic disease patients along with the recent pandemic pose immediate threats on healthcare expenditure and costs .…

We demonstrate that the ability to estimate the relative sign of an arbitrary$n$-qubit quantum state (with real amplitudes) would yield a $kn$-query algorithm for unstructured search . We show that an efficient procedure forsolving the sign estimation problem would allow for a polynomial time solution to the NP-complete problem 3-SAT .…

The work provides an exhaustive comparison of some representative families of topology optimization methods for 3D structural optimization, such as the SolidIsotropic Material with Penalization (SIMP), the Level-set, the BidirectionalEvolutionary Structural Optimization (BESO), and the Variational TopologyOptimization (VARTOP) methods . The main differences and similarities of these approaches are highlighted from an algorithmic standpoint .…

Molecular design is particularly important owing to its broad applicationdomains and boundless creativity attributed to progresses in generative models . New online evaluation and structural filtering algorithmssignificantly improved the generation speed by 30 to 1,000 times with a widerstructural variety, satisfying chemical stability and synthetic reality .…

Task offloading in Internet of Vehicles involves numerous steps andoptimization variables such as: where to offload tasks, how to allocate resources and how to adjust offloading ratio and transmit power for offloading . In this paper, we provide a Mixed Integer NonlinearProgramming Problem (MINLP) formulation for such task offloading under energyand deadline constraints in IoV.…

Minimum Circuit Size Problem (MCSP) is a problem to compute the circuitcomplexity of Boolean functions . MCSP is a fascinating problem in complexitytheory—its hardness is mysterious, and a better understanding of its hardness could have surprising implications to many fields in computer science .…

We study the dynamic and complexity of the generalized Q2R automaton . We show the existence of non-polynomial cycles as well as its capability to simulate the synchronous update the classical version of the automaton updated under a block sequential update scheme .…

Molecular design is particularly important owing to its broad applicationdomains and boundless creativity attributed to progresses in generative models . New online evaluation and structural filtering algorithmssignificantly improved the generation speed by 30 to 1,000 times with a widerstructural variety, satisfying chemical stability and synthetic reality .…

In this paper, we present a novel approach for local exceptionality detection on time series data . This method provides the ability to discover interpretable patterns in the data, which can be used to understand and predict the progression of a time series .…

The work explores a specific scenario for structural computational computationaloptimization based on the following elements: (a) a relaxed optimizationsetting considering the ersatz (bi-material) approximation, (b) a treatment based on a nonsmoothed characteristic function field as a topological design variable, (c) the consistent derivation of a relaxed topological derivative whose determination is simple, general and efficient, (d) formulation of theoverall increasing cost function topological sensitivity as a suitableoptimality criterion, and (e) consideration of a pseudo-time framework for the solution, ruled by the problem constraint evolution .…

Industry 4.0 technologies is a new paradigm of integration of cyber-physicalsystems and information and communication solutions . Study attempts to bridge this gap by investigating adoption process, based on I4.0 technology . This paperaims to identify barriers and benefits generated in the Supply Chainthrough a systematic literature review .…

Metal additive manufacturing (AM) processes often fabricate a near-net shapethat includes the as-designed part as well as the sacrificial supportstructures that need to be machined away by subtractive manufacturing (SM) The limitations of SM due to possible collision betweenthe milling tool and the workpiece can render an optimized partnon-manufacturable .…

Existing approaches to coalition formation often assume that requirements associated with tasks are precisely specified by the human operator . We propose a framework to learn implicit task requirements directly from expert demonstrations of coalition formation . We also account for the fact that demonstrationists may utilize different, equally-valid solutions to the same task .…

Industry 4.0 technologies is a new paradigm of integration of cyber-physicalsystems and information and communication solutions . Study attempts to bridge this gap by investigating adoption process, based on I4.0 technology . This paperaims to identify barriers and benefits generated in the Supply Chainthrough a systematic literature review .…

After White moves first in chess, if Black has a doublemove followed by a double move of White and then alternating play, play is morebalanced because White does not always tie or lead in moves . Unlike tic-tac-toe or checkers, it is not known whether optimal play in chess ends in a win for White or a draw .…

Algorithmic risk assessment instruments (RAIs) are increasingly adopted to assist decision makers . However, researchers have come to recognize that assessing theirimpact requires understanding their human interactants . In a vignette study, laypersons are tasked with predicting future re-arrests . Participants do not anchor on the RAI’s predictions, and Judicialdecisions, unlike participants’ predictions, depend in part on factors that areorthogonal to the likelihood of re arrest .…

The work explores a specific scenario for structural computational computationaloptimization based on the following elements: (a) a relaxed optimizationsetting considering the ersatz (bi-material) approximation, (b) a treatment based on a nonsmoothed characteristic function field as a topological design variable, (c) the consistent derivation of a relaxed topological derivative whose determination is simple, general and efficient, (d) formulation of theoverall increasing cost function topological sensitivity as a suitableoptimality criterion, and (e) consideration of a pseudo-time framework for the solution, ruled by the problem constraint evolution .…

We propose an end-to-end pipeline to robustly generate high-quality,high-order and coarse quadrilateral meshes on CAD models . This kind of meshenables the use of high-order analysis techniques such as high order finiteelement methods or isogeometric analysis . Validation on several CAD models shows that our approach is fast,robust, strictly respects the CAD features, and achieves interesting results interms of coarseness and quality .…

In this paper, we introduce a novel approach to deductive databases meant totake into account the needs of current applications in the area of dataintegration . We extend the formalism of standard deductivedatabases to the context of Four-valued logic so as to account for unknown,inconsistent, true or false information under the open world assumption .…

We show that the decision problem of determining whether a given (abstractsimplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This implies that the problem is polynomial time equivalent to determiningwhether a polynomorphic equation system has a real root .…

We propose an end-to-end pipeline to robustly generate high-quality,high-order and coarse quadrilateral meshes on CAD models . This kind of meshenables the use of high-order analysis techniques such as high order finiteelement methods or isogeometric analysis . Validation on several CAD models shows that our approach is fast,robust, strictly respects the CAD features, and achieves interesting results interms of coarseness and quality .…

Metal additive manufacturing (AM) processes often fabricate a near-net shapethat includes the as-designed part as well as the sacrificial supportstructures that need to be machined away by subtractive manufacturing (SM) The limitations of SM due to possible collision betweenthe milling tool and the workpiece can render an optimized partnon-manufacturable .…

To overcome many-query optimization, control, or uncertainty quantification work loads in reliable gas and energy network operations, model order reduction is the mathematical technology of choice . To this end, we enhance the model,solver and reductor components of the “morgen” platform, introduced in Himpe etal, to this end .…

To overcome many-query optimization, control, or uncertainty quantification work loads in reliable gas and energy network operations, model order reduction is the mathematical technology of choice . To this end, we enhance the model,solver and reductor components of the “morgen” platform, introduced in Himpe etal, to this end .…

We propose an end-to-end pipeline to robustly generate high-quality,high-order and coarse quadrilateral meshes on CAD models . This kind of meshenables the use of high-order analysis techniques such as high order finiteelement methods or isogeometric analysis . Validation on several CAD models shows that our approach is fast,robust, strictly respects the CAD features, and achieves interesting results interms of coarseness and quality .…

Metal additive manufacturing (AM) processes often fabricate a near-net shapethat includes the as-designed part as well as the sacrificial supportstructures that need to be machined away by subtractive manufacturing (SM) The limitations of SM due to possible collision betweenthe milling tool and the workpiece can render an optimized partnon-manufacturable .…

Partition of unity methods (PUM) are of domain decomposition type and providethe opportunity for multiscale and multiphysics numerical modeling . Differentphysical models can exist within a PUM scheme for handling problems with zones of linear elasticity and zones where fractures occur .…

We propose an end-to-end pipeline to robustly generate high-quality,high-order and coarse quadrilateral meshes on CAD models . This kind of meshenables the use of high-order analysis techniques such as high order finiteelement methods or isogeometric analysis . Validation on several CAD models shows that our approach is fast,robust, strictly respects the CAD features, and achieves interesting results interms of coarseness and quality .…

In this work, we present the development of a new database, namely SoundLocalization and Classification (SLoClas) corpus, for studying and analyzingsound localization and classification . The corpus contains a total of 23.27hours of data recorded using a 4-channel microphone array .…

In this paper we address the problem of handling inconsistencies in tables with missing values (or nulls) and functional dependencies . We use set theoretic semantics for tuples and functionaldependencies that allow us to associate each tuples with a truth value among the following: true, false, inconsistent or unknown .…

To overcome many-query optimization, control, or uncertainty quantification work loads in reliable gas and energy network operations, model order reduction is the mathematical technology of choice . To this end, we enhance the model,solver and reductor components of the “morgen” platform, introduced in Himpe etal, to this end .…

Bristol BettingExchange is a new agent-based model that simulates a contemporary sports-betting exchange, such as those offered commercially by companies such as Betfair, Smarkets, and Betdaq . It is aimed at producing synthetic data for in-play betting (also known as in-race or in-game betting) where bettors can place bets on the outcome of a track-race event after the race has started and for as long as the race is underway, with bets only ceasing when the race ends .…

Random uniform sampling has been studied in various statistical tasks but few have covered the Q-error metric for cardinality estimation (CE) In this paper, we analyze the confidence intervals of random uniform sampling withand without replacement for single-table CE . Results indicate that the upperQ-error bound depends on the sample size and true cardinality .…

Industry 4.0 technologies is a new paradigm of integration of cyber-physicalsystems and information and communication solutions . Study attempts to bridge this gap by investigating adoption process, based on I4.0 technology . This paperaims to identify barriers and benefits generated in the Supply Chainthrough a systematic literature review .…

The work explores a specific scenario for structural computational computationaloptimization based on the following elements: (a) a relaxed optimizationsetting considering the ersatz (bi-material) approximation, (b) a treatment based on a nonsmoothed characteristic function field as a topological design variable, (c) the consistent derivation of a relaxed topological derivative whose determination is simple, general and efficient, (d) formulation of theoverall increasing cost function topological sensitivity as a suitableoptimality criterion, and (e) consideration of a pseudo-time framework for the solution, ruled by the problem constraint evolution .…

Dementia is a family of neurogenerative conditions affecting memory and cognition in an increasing number of individuals in our globally aging population . Automated analysis of language, speech and paralinguisticindicators have been gaining popularity as potential indicators of cognitivedecline . Here we propose a novel longitudinal multi-modal dataset collected from people with mild dementia and age matched controls over a period ofseveral months in a natural setting .…

Spiking recurrent neural networks (RNNs) are a promising tool for solving a variety of complex cognitive and motor tasks . However training spiking RNNs on dedicatedneuromorphic hardware is still an open challenge . We present a simulation framework of differential-architecture crossbar arrays based on an accurate andcomprehensive Phase-Change Memory (PCM) device model .…

Numerical models of complex real-world phenomena often necessitate HighPerformance Computing . We present a parallelization strategy for multilevel Markov chain MonteCarlo, a state-of-the-art, algorithmically scalable Uncertainty Quantification(UQ) algorithm for Bayesian inverse problems . The main scalability challenge presents itself in the form of strong data dependencies introduced by the MLMCMC method, prohibitingtrivial parallelization .…

The introduction of the Basic Linear Algebra Subroutine (BLAS) in the 1970s paved the way for different libraries to solve the same problem with animproved approach and hardware . The new BLAS implementation led to high-Performance Computing (HPC) innovation . We rely on the FMA instruction, OpenMP, and the compiler tooptimize the code rather than implementing the algorithm in assembly .…

Simulating quantum systems is one of the most important potential applications of quantum computers to demonstrate its advantages over classical algorithms . The high-level circuit defining the simulation needs to be transformed into one that compiles with hardware limitations such as qubitconnectivity and hardware gate set .…

Phase transition from the human-limited, “analogue” way of research enquiry to the silicon-based, artificial intelligence (AI)-powered digital science isforthcoming . To facilitate this transition, I propose three project ideas: 1)CryptoScience platform, aimed to provide tools for endemic digitalization &open access of the research data .…

Researchers aim to create scientific datasets that adhere to the principles of findability, accessibility, interoperability, and reusability(FAIR) for data and artificial intelligence (AI) models . This article provides a domain-agnostic, step-by-step assessment guide to evaluate whether or not agiven dataset meets each FAIR principle .…