Minimal type inference for Linked Data consumers by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

“…We also prove subject reduction and type safety results, which justify our claim that our language is statically type checked and does not throw basic runtime type errors. …”
Get full text
Get full text

Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings / by Diagrams (Conference) (12th : 2021 : Online) 643173, Basu, Amrita, 1953-, editor 643175, Stapleton, Gem, editor 643176, Linker, Sven, editor 643177, Legg, Catherine, editor 643178, Manalo, Emmanuel, editor 643179, Viana, Petrucio, editor 643180

“…The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.…”

Between these bones by Park, Caitlin Elizebeth, Ng, Joyce Hui Jie, Li, Jiaqi, Shridhar, Pranamika Subhalaxmi

“…The film looks at how they cope with the inherent limitations present in spaces within the country and how they attempt to transcend them. Divided into three chapters, each segment explores the effects of space on different individuals. …”
Get full text

Silent invader by Loh, Wei Ting

“…Silent Invader is an immersive installation that underlines the entanglement of human and microplastics in everyday life. The three animated chapters highlight the microplastic impact on land, water, and air. …”
Get full text

Atkins' PHYSICAL CHEMISTRY / by Atkins, Peter, author 419586, De Paula, Julio, author 421494

“…The exceptional quality of previous editions has been built upon to make the tenth edition of Atkins' Physical Chemistry even more closely suited to the needs of both lecturers and students. Material within chapters has been radically reorganised into discrete topics, to give the text an inviting modular feel. …”

Dancing with Qubits : From qubits to algorithms, embark on the quantum computing journey shaping our future / by Sutor, Robert S., author 656109

“…This new edition is updated throughout with more than 100 new exercises and includes new chapters on NISQ algorithms and quantum machine learning. …”
Get full text
Get full text

Algorithmic discrimination and ethical perspective of artificial intelligence / by Kılıç, Muharrem, editor, Kahyaoglu, Sezer Bozkus, editor, SpringerLink (Online service)

“…Comprising an array of insightful chapters, this book offers an in-depth exploration of artificial intelligence technologies, encompassing a broad spectrum of topics ranging from data protection to algorithmic discrimination, the deployment of artificial intelligence in criminal proceedings to combating hate speech, and from predictive policing to meta-surveillance. …”
Get full text

No One Wants To Be A Parasitologist: The Shrinking Field of America's Least Favorite Animals by Richter, Hannah

“…An increasing volume of research shows that parasites play important ecological functions, from keeping animal populations in check to stabilizing food chains to driving evolution and biodiversity. …”
Get full text

Development of interfacing programs for low cost inertial navigation systems by Huang, Dongyu.

“…Programs are developed to configure the serial ports, read data continuously, check data packet validity, calculate and display inertial measurement results. …”
Get full text

Development of high performance Medium Access Control (MAC) protocol for wireless ad-hoc network by Phang, Jian Kai.

“…In order to reduce the collision of data packets within a concurrent transmission, control packets are implanted with collision avoidance information for neighbours’ usage so as to check the availability of transmission. A new-ACK (acknowledgment) sequence-mechanism is also introduced to eliminate the possibility of0collision between0data and ACK-packets. …”
Get full text

Development of solar power systems for solar UAV : evaluation of nomura MPPTs at sub-zero temperatures & solar modules encapsulation by Teo, Boon Rong

“…In addition, the energy generated by the solar cells at the time of Flight Test at India, Kanpur was calculated to check if the number of solar cells to be placed on the wing is sufficient. …”
Get full text

Animation in powerpoint for presentation of digital logic circuits by Myo Mon Mon Thet

“…The animation tool is versatile- a user can include images and colours that align with the topic of discussion These animation features are comprehensive, with different fonts available to choose from, Clipart with a myriad of cartoons and images, and even a spelling check to correct one’s grammatical errors. However, there is an absence of a specific element that can cater to the presentation of logic circuits. …”
Get full text

Hybrid energy harvesting from wind and vibration by Gan, Kenneth Jing-Han

“…Just as one would go for regular check-ups, structural health monitoring is essential for any structure to determine its structural health. …”
Get full text

Numerical simulation of oxygen delivery in presence of hemoglobin hydrogel based oxygen carriers by Tan, Kai Ying

“…Red blood cells have standard shelf life of only 42 days and unable to be checked and sterilized for infective agents like HIV. …”
Get full text

Safety assessment of autonomous vehicles using simulations by Ketki, Chaudhary

“…For different configurations of the afore-mentioned, the simulation data is analysed using MATLAB and checked whether or not it meets safety constraints. …”
Get full text

Impact of implicit feedback channel in cooperative relay networks by Madhukumar, A. S., James, Ashish, Tio, Surya Dharma, Kurniawan, Ernest

“…This paper studies the impact of such an implicit feedback channel by employing powerful codes which exhibit inherent incremental redundancy features, such as rate-compatible codes (rate-compatible punctured convolutional (RCPC) codes and punctured low-density parity-check (LDPC) codes) and rateless codes (Luby Transform (LT) codes). …”
Get full text
Get full text

An intrinsic algorithm for parallel Poisson disk sampling on arbitrary surfaces by Ying, Xiang, He, Ying, Xin, Shi-Qing, Sun, Qian

“…Hence, multiple threads can process the candidates simultaneously and resolve conflicts by checking the given priority values. Our algorithm guarantees that the generated Poisson disks are uniformly and randomly distributed without bias. …”
Get full text
Get full text

Ergativity in Tongan by Otsuka, Y

“…Following Chomsky (1993), I assume that a structural case is assigned by feature checking in a Spec-head configuration. I also assume that only one Agr can be active in intransitive constructions: Agrs in accusative languages and Agro in ergative languages (Bobaljik 1993). …”

Mitigate the effect of distributed generators connected to distribution system. by Oraibi, Saleh Khairullah, Mohamad Idris, Rasyidah

“…ETAP program is used for analyzing and checking the results obtained, where the operating time and TMS value of all relays in the system are calculated in case the distribution generators are not connected, and to ensure the quality of coordination by Etap software, then the distributive generators are connected, their effects are studied, and the relays are coordinated again by the two previous methods. …”
Get full text

Electroweak three-body decays in the presence of two- and three-body bound states by Briceño, Raul A., Jackura, Andrew W., Pefkou, Dimitra A., Romero-López, Fernando

“…For kinematics below the three-body threshold, we demonstrate that the scattering amplitudes satisfy unitarity. We also check that for these kinematics the finite-volume matrix elements are accurately described by the formalism for two-body systems up to exponentially suppressed corrections. …”
Get full text